Question: 'Let r(v) = v**3 - 34*v**2 - 108*v + 27. Let t be r(37). What is the highest common factor of 230 and t?\n'

Answer: '46\n'


Question: 'Let j(h) = h + 15. Let l be j(-17). Let n = -18 - -34. Let c be (n/(-6))/(l/9). Calculate the greatest common divisor of 30 and c.\n'

Answer: '6\n'


Question: 'Suppose 364 = 4*s - 2*c, -3*s + 82 = -2*s + 4*c. Let h be (216/16)/(6/8). Calculate the greatest common factor of h and s.\n'

Answer: '18\n'


Question: 'Let f = 440 - -165. Calculate the greatest common divisor of f and 55.\n'

Answer: '55\n'


Question: 'Let g = 49 + -28. Let k(t) = -25*t - 6*t**2 + t**2 + 34 - 97 + 4*t**2. Let n be k(-21). What is the greatest common factor of g and n?\n'

Answer: '21\n'


Question: 'Let b(n) = 7*n - 8. Let x be b(8). Suppose 0*h - 69 = 4*h - 5*r, 0 = -3*h + 3*r - 48. Let m = h + 17. What is the greatest common factor of m and x?\n'

Answer: '6\n'


Question: 'Let p = 714 + -702. Let g = -1 + 49. Calculate the highest common factor of g and p.\n'

Answer: '12\n'


Question: 'Let k(j) = -40*j + 14. Let q be k(0). Calculate the greatest common divisor of 105 and q.\n'

Answer: '7\n'


Question: 'Let d = -588 + 1274. Is 14 a factor of d?\n'

Answer: 'True\n'


Question: 'Is (-8)/(-20) + (-3390)/(-25) a multiple of 17?\n'

Answer: 'True\n'


Question: 'Let g = 27 - 8. Suppose 1 = 5*w - g. Suppose 16 = -w*v + 64. Does 4 divide v?\n'

Answer: 'True\n'


Question: 'Suppose 0 = 5*u - 7*u + 850. Is 22 a factor of u?\n'

Answer: 'False\n'


Question: 'Let t(z) = -z**2 - 3*z + 30. Let k be t(6). Let h be 124/(-3) - 3/(-9). Let x = k - h. Does 11 divide x?\n'

Answer: 'False\n'


Question: 'Let f(s) = -28 + 6*s**2 - 10*s**2 + 7*s**2 + 4*s. Let q(m) = m**2 + m - 1. Let b(z) = -f(z) + 4*q(z). Does 6 divide b(0)?\n'

Answer: 'True\n'


Question: 'Suppose -2*w - 3*k + 3 = 0, -w + 7*k + 8 = 2*k. Suppose 0 = -3*r - w, -i + 80 + 28 = -4*r. Is 22 a factor of i?\n'

Answer: 'False\n'


Question: 'Let j(w) = 3*w**2 - w. Let i be j(1). Suppose -2*b + 17 = 5*r, i*b = 5*b - r. Is (3 - -5) + (b - -2) a multiple of 8?\n'

Answer: 'False\n'


Question: 'Suppose -18 = q - d, 0*d = q + 4*d + 28. Let o(f) = 3*f - 17. Let b be o(-17). Let y = q - b. Is 12 a factor of y?\n'

Answer: 'True\n'


Question: 'Let q be 21/(-14)*16/6. Let y be 3/4 - 21/q. Does 16 divide y/21 - 1364/(-28)?\n'

Answer: 'False\n'


Question: 'Let h be ((-12)/8)/((-6)/16). Suppose h*x = 205 + 3. Is x a multiple of 13?\n'

Answer: 'True\n'


Question: 'Suppose -3*s + 4 = -s. Suppose 2*r + 44 = -3*j + 381, 3*r + s*j = 518. Is r a multiple of 42?\n'

Answer: 'False\n'


Question: 'Let d = 2398 + -1139. Is d a multiple of 15?\n'

Answer: 'False\n'


Question: 'Suppose y = 3*w + 567 + 262, -5*y - w = -4097. Is y a multiple of 41?\n'

Answer: 'True\n'


Question: 'Let y = 522 - 88. Is y/10 + -6 + (-168)/(-30) a multiple of 15?\n'

Answer: 'False\n'


Question: 'Suppose -3*k + o = 2 - 15, -2*k + 37 = 5*o. Let w be k*-1*(-2)/6. Suppose -8 = -d + w. Is d a multiple of 10?\n'

Answer: 'True\n'


Question: 'Suppose 18 = 5*c - 42. Suppose 17*o = c*o + 125. Is o a multiple of 4?\n'

Answer: 'False\n'


Question: 'Suppose -l = -2*u + 157, -7*u + 2*l = -9*u + 142. Does 3 divide u?\n'

Answer: 'False\n'


Question: 'Let n(u) = -u**2 + 14*u - 9. Is 7 a factor of n(5)?\n'

Answer: 'False\n'


Question: 'Suppose -3*k - 3*n - 18 = -6*k, -4*n + 25 = 3*k. Is 17 a factor of 156 + (1 - k - -3)?\n'

Answer: 'True\n'


Question: 'Suppose 31*m = 32*m - 36. Suppose -3*y = -p + 2*y + m, -3*p = -4*y - 75. Is 12 a factor of p?\n'

Answer: 'False\n'


Question: 'Suppose -20*y + 5*y + 14790 = 0. Does 58 divide y?\n'

Answer: 'True\n'


Question: 'Let f(c) = 4*c + 20. Let m be f(-5). Is 2 + 0 + m + 36 a multiple of 10?\n'

Answer: 'False\n'


Question: 'Suppose 1 + 23 = 4*b + 2*n, 0 = -b + 5*n - 16. Suppose -j + 2 = 0, 3*r - 1 - 126 = b*j. Suppose r = 2*s + l, -3*s - 2*l + 69 = -0*l. Is 7 a factor of s?\n'

Answer: 'True\n'


Question: 'Suppose -74*w - 486 = -175866. Is w a multiple of 10?\n'

Answer: 'True\n'


Question: 'Suppose 4*q - 311 = 629. Suppose 190 = 3*f - 4*g, -3*g + q = 3*f + 2*g. Is 13 a factor of f?\n'

Answer: 'False\n'


Question: 'Let d = -38 - -16. Let k = d + 35. Does 2 divide k?\n'

Answer: 'False\n'


Question: 'Suppose -u + 4*u = 0. Let y = 5 + u. Suppose -12 - 13 = y*s, 3*c = -2*s + 2. Is 4 a factor of c?\n'

Answer: 'True\n'


Question: 'Let z = -13 - -13. Suppose -4*n + 0*n - 44 = z. Let d(f) = f**2 + 10*f + 2. Is 13 a factor of d(n)?\n'

Answer: 'True\n'


Question: 'Let w(i) = -5*i**2 - i + 1 + 2*i**3 - 2 - i**3. Let g be w(5). Does 7 divide (g + 8)/((-2)/(-7))?\n'

Answer: 'True\n'


Question: 'Let f be 24/(-18)*9/(-6). Suppose f*x - 204 = -x. Does 17 divide x?\n'

Answer: 'True\n'


Question: 'Let m be 6/15 - (-36)/10. Let u(t) = m*t**3 + 55 - 65 + 8*t**2 - 3*t**3 + 3*t. Is 9 a factor of u(-7)?\n'

Answer: 'True\n'


Question: 'Let g be 0/4*(6/(-4) + 1). Suppose g = -4*n + 37 + 163. Is n a multiple of 5?\n'

Answer: 'True\n'


Question: 'Suppose 0 = 7*r - 12*r + 2520. Is r a multiple of 63?\n'

Answer: 'True\n'


Question: 'Let j(t) = 7*t**2. Let i be j(1). Let c = 11 - i. Suppose -w = -q + 13, 6*w - w - 16 = -c*q. Is q a multiple of 6?\n'

Answer: 'False\n'


Question: 'Let q(o) = o**2 - 10*o + 14. Let p be 1/(2 - 0)*0. Suppose -3*a + 3*y + 9 + 24 = p, 0 = 5*y - 10. Is 22 a factor of q(a)?\n'

Answer: 'False\n'


Question: 'Suppose -4*b - 2*b + 12 = 0. Let z(h) = -h**3 + 17*h**b + 2*h - 12*h**2 + h + 1. Is 16 a factor of z(-3)?\n'

Answer: 'True\n'


Question: 'Let s(g) = 5*g**2 - 34*g - 43. Let w(v) = 2*v**2 - 11*v - 14. Let q(p) = -3*s(p) + 8*w(p). Is 17 a factor of q(-14)?\n'

Answer: 'True\n'


Question: 'Suppose -30*z - 132 = -36*z. Let h = -20 + z. Does 2 divide h?\n'

Answer: 'True\n'


Question: 'Let m(n) = 0*n - 25 + 9*n + 13*n + 3. Is m(5) a multiple of 8?\n'

Answer: 'True\n'


Question: 'Suppose 4*i + 996 = -0*y + 4*y, 2*y - 507 = 5*i. Does 15 divide y?\n'

Answer: 'False\n'


Question: 'Suppose 5*l + 567 = -4*n, -2*n - 117 = 2*l + 109. Let s = -74 - l. Is 12 a factor of s?\n'

Answer: 'False\n'


Question: 'Let y(f) be the third derivative of 3/5*f**5 + 0 - 1/6*f**3 + 0*f + 1/24*f**4 + 3*f**2. Is y(1) a multiple of 36?\n'

Answer: 'True\n'


Question: 'Let x(l) = -l**3 + 12*l**2 + 14*l - 33. Let o be x(11). Let j = 3 + o. Does 49 divide j?\n'

Answer: 'True\n'


Question: 'Let b(q) = 4*q**2 - 14*q - 36. Does 5 divide b(-3)?\n'

Answer: 'False\n'


Question: 'Let d(h) = -h**2 + 8*h + 9. Let g = 25 - 16. Let m be d(g). Suppose 0*v - 3*v + 232 = 4*k, v - 3*k - 60 = m. Does 24 divide v?\n'

Answer: 'True\n'


Question: 'Let p = 51 - -52. Suppose 2*u = 4*t - 78, 0 = -5*t + t. Let q = p + u. Is 16 a factor of q?\n'

Answer: 'True\n'


Question: 'Suppose -7*o = -3*o + 16. Is 11 a factor of 4 - (0 + 12)*o?\n'

Answer: 'False\n'


Question: 'Let h be (6/(-10))/(6/(-30)). Suppose -h*k + 4*k - 36 = 0. Does 17 divide k?\n'

Answer: 'False\n'


Question: 'Let a(r) = -505*r - 316. Does 78 divide a(-2)?\n'

Answer: 'False\n'


Question: 'Let v(h) = -71*h + 12. Let j be v(-3). Suppose -7*t - j = -1310. Does 17 divide t?\n'

Answer: 'False\n'


Question: 'Suppose 1727*j - 90 = 1724*j. Does 9 divide j?\n'

Answer: 'False\n'


Question: 'Let v = -4 - -11. Suppose -g + 4*z - v = -3, 0 = -2*g - z + 10. Is 20 a factor of (g - 20/1)*-5?\n'

Answer: 'True\n'


Question: 'Suppose -5*d = 58 - 378. Let y(a) = -63*a + 1. Let z be y(-2). Let h = z - d. Does 23 divide h?\n'

Answer: 'False\n'


Question: 'Let k(w) = -6*w**2 + 8*w - 4. Let l be k(1). Let h(f) = 10*f - 7. Let a(o) = -5*o + 4. Let q(s) = -11*a(s) - 6*h(s). Is 3 a factor of q(l)?\n'

Answer: 'False\n'


Question: 'Let o be ((-24)/12)/(2/(-10)). Suppose t - 2*t = o. Let v = t - -14. Does 4 divide v?\n'

Answer: 'True\n'


Question: 'Does 3 divide (3 + 98/10)/(4/10)?\n'

Answer: 'False\n'


Question: 'Suppose 2*z + 2*j = -2*j + 934, 3*z - j = 1387. Does 7 divide z?\n'

Answer: 'False\n'


Question: 'Let l(f) = f + 7. Let t be l(0). Suppose -t*i = -8*i + 3. Suppose g = i + 7. Does 10 divide g?\n'

Answer: 'True\n'


Question: 'Let q be ((-125)/3)/(3/((-18)/(-2))). Let x = -56 - q. Is x a multiple of 7?\n'

Answer: 'False\n'


Question: 'Let v = -145 + 256. Suppose v + 21 = 4*w. Let f = w - 24. Is 9 a factor of f?\n'

Answer: 'True\n'


Question: 'Suppose 3*q = -3*k + 7410, -5*q = -6*q + 3*k + 2458. Does 26 divide q?\n'

Answer: 'False\n'


Question: 'Let d(l) be the third derivative of l**6/720 + 7*l**5/40 + 5*l**4/24 + 2*l**2. Let w(c) be the second derivative of d(c). Does 21 divide w(0)?\n'

Answer: 'True\n'


Question: 'Let k be 200/(-16)*(-2)/(-1). Let n = k - -62. Does 18 divide n?\n'

Answer: 'False\n'


Question: 'Let b be (6 + -1)/(-3 - -2). Let d = 9 + b. Suppose 3*w + 5 = -2*h, d*h - w + 7 = 32. Does 5 divide h?\n'

Answer: 'True\n'


Question: 'Let x be (8/3)/((-6)/(-9)). Suppose 5*k - 5*w - 50 = 0, 5*w = x*k - 6 - 29. Does 2 divide k?\n'

Answer: 'False\n'


Question: 'Let v be -2 + (296/10)/(4/30). Suppose -s - v = -6*s. Is 7 a factor of s?\n'

Answer: 'False\n'


Question: 'Suppose -2*n = 5*t - 2404, -7*t + 4*n + 2392 = -2*t. Is t a multiple of 15?\n'

Answer: 'True\n'


Question: 'Let b = -300 - -190. Let p = b - -240. Suppose 3*d + 2*d = p. Is d a multiple of 8?\n'

Answer: 'False\n'


Question: 'Let p = -4 + 9. Suppose -4*v - 4*a = 4, 5*v - p*a = -8 + 43. Let z(j) = -j**2 + 7*j - 2. Is z(v) a multiple of 5?\n'

Answer: 'True\n'


Question: 'Let j(t) be the second derivative of 1/3*t**3 + 0 + 1/2*t**2 + 4*t. Is j(2) a multiple of 5?\n'

Answer: 'True\n'


Question: 'Let u be 4*(-37)/6 - (-11)/(-33). Does 28 divide (448/10)/((-5)/u)?\n'

Answer: 'True\n'


Question: 'Suppose 3*o - 7 - 11 = 0. Suppose 6*c - 7*c + o = 0. Is 6 a factor of c?\n'

Answer: 'True\n'


Question: 'Let t be (-5)/15 - (-41)/(-3). Let d(k) = k + 14. Let z be d(t). Suppose z = j + j - 14. Is j even?\n'

Answer: 'False\n'


Question: 'Let n(w) = -4*w - 9. Let x be n(-3). Suppose -x*l + 448 = -236. Does 57 divide l?\n'

Answer: 'True\n'


Question: 'Let t(y) = -y**2 - 48*y - 25. Is t(-35) a multiple of 25?\n'

Answer: 'False\n'


Question: 'Let f(q) = 2*q + 1. Let x be f(0). Let z(a) = -29*a + 2. Let s(p) = 58*p - 3. Let k(u) = 3*s(u) + 5*z(u). Does 10 divide k(x)?\n'

Answer: 'True\n'


Question: 'Let x(y) = -5*y + 2. Let o(v) = 15*v - 6. Let l(h) = -6*o(h) - 17*x(h). Let r be l(-5). Suppose 5*w = -2*g + 10 + r, 2*g - 30 = -4*w. Does 2 divide w?\n'

Answer: 'False\n'


Question: 'Suppose 5*w + d = 633, -3*w = -2*w - 4*d - 114. Does 24 divide w?\n'

Answer: 'False\n'


Question: 'Is 9*8*96/18 a multiple of 16?\n'

Answer: 'True\n'


Question: 'Suppose 3*p - 139 = 3*c - 4*c, 0 = 5*c - 20. Suppose -3*x = -3*z - 51, 5*x + 5*z = -0*z + p. Does 2 divide x?\n'

Answer: 'False\n'


Question: 'Let r(j) = -3*j - 3*j**3 - 3*j**2 + 8 + j**2 - 17. Is r(-4) a multiple of 37?\n'

Answer: 'False\n'


Question: 'Let d = -25 - -10. Let x = -11 - d. Suppose 4*p + x*q = 108, 3*p + 17 = 3*q + 98. Is 19 a factor of p?\n'

Answer: 'False\n'


Question: 'Suppose -2*m - 5*d + 16 = 47, 0 = 3*m - 3*d + 15. Let t be m/(-3)*(-1 - -82). Suppose -o = 3*c + 2*c - t, -5*c + 224 = -o. Is 22 a factor of c?\n'

Answer: 'True\n'


Question: 'Does 16 divide (-15)/(-30) - 3390/(-4)?\n'

Answer: 'True\n'


Question: 'Let f be ((-3)/5)/((-27)/90). Let p be ((-6)/2)/(-3 + 2). Suppose 0*r + 106 = 4*r + f*s, 3 = p*s. Does 19 divide r?\n'

Answer: 'False\n'


Question: 'Let y be (-2)/6*(-10 - -4). Let s(b) = y*b - b + 0*b + 11. Is 5 a factor of s(-5)?\n'

Answer: 'False\n'


Question: 'Let p(k) = k**3 + 47*k**2 + 31*k + 52. Is 9 a factor of p(-45)?\n'

Answer: 'False\n'


Question: 'Suppose 0 = 2*r + 5*x + 18, 5*r - 4*x + 0*x = 21. Let o be (r - 2)/((-2)/(-12)). Is 14 a factor of 1/(o/28)*-3?\n'

Answer: 'True\n'


Question: 'Suppose 66 = 4*f - 2*q, 0*f + 3*q = -f + 20. Suppose -f*i = -16*i - 54. Does 9 divide i?\n'

Answer: 'True\n'


Question: 'Let p = -1274 + 2354. Is p a multiple of 30?\n'

Answer: 'True\n'


Question: 'Let c(l) = l**3 - 8*l**2 - l - 6. Let u be c(8). Does 6 divide ((-30)/(-35))/((-2)/u)?\n'

Answer: 'True\n'


Question: 'Is 5 + (-20)/(-5) + -9 + 1408 a multiple of 64?\n'

Answer: 'True\n'


Question: 'Suppose 0 = 3*j - 3*h - 2*h - 9, 2*h + 6 = 2*j. Suppose j*t = t + 32. Is 4 a factor of t?\n'

Answer: 'True\n'


Question: 'Suppose 20*z = 23*z. Is 7*(0 - (-4 - z)) a multiple of 7?\n'

Answer: 'True\n'


Question: 'Let a(q) = -10*q - 342. Does 10 divide a(-39)?\n'

Answer: 'False\n'


Question: 'Let x(f) = 3*f**2 + 11*f + 11. Let d be x(-3). Suppose p - 68 = 4*h, d*p - 2*h - 573 = -143. Is 22 a factor of p?\n'

Answer: 'True\n'


Question: 'Suppose 0 = 13*q - 12*q + 90. Is 9 a factor of q*(5 + 31/(-5))?\n'

Answer: 'True\n'


Question: 'Let o(c) = 541*c - 48. Is o(3) a multiple of 45?\n'

Answer: 'True\n'


Question: 'Let g be -9*2*(-2)/4. Let w = -16 + g. Is w/(28/(-72)) + -3 a multiple of 4?\n'

Answer: 'False\n'


Question: 'Let q be -1*-4*4 + -3. Suppose 71 = 2*l + q. Suppose 2*i + l = 3*i + 4*b, 13 = 2*i - b. Is 2 a factor of i?\n'

Answer: 'False\n'


Question: 'Let c(f) = f**2 + 1. Let m(t) = -t**3 - 5*t**2 - 3*t + 3. Let b be m(-4). Let j be c(b). Suppose -4*i + 3*i = -j*r + 1, 7 = 5*i - 4*r. Does 3 divide i?\n'

Answer: 'True\n'


Question: 'Suppose -4*d - 5*r + 711 - 155 = 0, 420 = 3*d + 3*r. Is 12 a factor of d?\n'

Answer: 'True\n'


Question: 'Suppose 53*p - 60*p + 854 = 0. Does 6 divide p?\n'

Answer: 'False\n'


Question: 'Suppose 8*k = 854 + 1266. Suppose t - k = -5*c - 0*t, -4*t + 176 = 3*c. Is 26 a factor of c?\n'

Answer: 'True\n'


Question: 'Suppose -3*k + 0*t = 2*t - 825, -3*k - 3*t + 828 = 0. Is k a multiple of 13?\n'

Answer: 'True\n'


Question: 'Let w(j) = 2*j**2 + 23*j + 110. Is w(-8) a multiple of 5?\n'

Answer: 'False\n'


Question: 'Suppose 84 = -8*v + 5*v. Let p = v - -60. Suppose -3*o = -p - 157. Does 23 divide o?\n'

Answer: 'False\n'


Question: 'Let p be (0 - -1) + -4 + 2. Is 9 a factor of (0 + 2)*p*(-126)/12?\n'

Answer: 'False\n'


Question: 'Suppose 3*y = y. Let r = -58 + 60. Suppose 0*q = 2*q + 3*f - 67, y = 2*q - r*f - 42. Is q a multiple of 7?\n'

Answer: 'False\n'


Question: 'Let r = 203 - 113. Let j be (-760)/25 - (-2)/5. Does 5 divide (40/j)/((-4)/r)?\n'

Answer: 'True\n'


Question: 'Let f = -585 + 1249. Is 8 a factor of f?\n'

Answer: 'True\n'


Question: 'Let c(l) = 101*l**2. Let v be c(1). Let h = v - 51. Is 9 a factor of h?\n'

Answer: 'False\n'


Question: 'Let o = -5 - -11. Let z be 18/30 + o/(-10). Suppose -5*v - j = -6 - 28, v - 2*j + 2 = z. Is 2 a factor of v?\n'

Answer: 'True\n'


Question: 'Let f be 45/2 - (-10)/20. Does 23 divide f/(-4)*(-7 - 5)?\n'

Answer: 'True\n'


Question: 'Suppose -5*d = -7*d + 8. Suppose -d + 8 = 2*o. Suppose 3*i = 4*s + 41, -o*i + 2*s = 2*i - 48. Does 6 divide i?\n'

Answer: 'False\n'


Question: 'Let k(n) = 20*n + 1. Let f be (-3)/6*(-3 + 3). Suppose f*w - 6 = -2*w. Is k(w) a multiple of 24?\n'

Answer: 'False\n'


Question: 'Let o(f) = -f**3 + 19*f**2 + 20*f - 1. Let s be o(20). Let x be 5/(10/(-102))*s. Suppose 2*r = -5*u + 67, -4*u - 3*r - 3 + x = 0. Does 3 divide u?\n'

Answer: 'True\n'


Question: 'Suppose 3*g + 3*o = 9903, g - 3307 = -23*o + 24*o. Is 118 a factor of g?\n'

Answer: 'True\n'


Question: 'Let y be 3 + -1 - (17 + -18). Suppose 3*n + 5*h - 106 = 0, 4 = -y*h + 19. Suppose -2*x + n = -53. Is x a multiple of 22?\n'

Answer: 'False\n'


Question: 'Let j(t) be the first derivative of -t**4/2 - 5*t**3/3 - t**2 + 2*t - 7. Let g = 7 + -10. Does 17 divide j(g)?\n'

Answer: 'True\n'


Question: 'Let h = 59 - 61. Let b(x) = 48*x**2 + x + 6. Is 14 a factor of b(h)?\n'

Answer: 'True\n'


Question: 'Let v = -23 - -26. Suppose 40 = 17*o - 19*o. Does 14 divide o/v*105/(-10)?\n'

Answer: 'True\n'


Question: 'Suppose 0 = y - 0 - 2. Suppose y*m + 4*m = -948. Is (-6)/(-24) + m/(-8) a multiple of 4?\n'

Answer: 'True\n'


Question: 'Let v(t) = -t**2 - 11*t + 1. Let b be ((-10)/(-30))/((-2)/66). Let r be v(b). Is 12 + 1*3/r a multiple of 9?\n'

Answer: 'False\n'


Question: 'Let u = -708 - -755. Is 37 a factor of u?\n'

Answer: 'False\n'


Question: 'Suppose 5*g - 7*g + 278 = 0. Suppose -b + 53 + g = 0. Does 32 divide b?\n'

Answer: 'True\n'


Question: 'Suppose -3*t = 3*c + 1 - 7, -2*t - 3*c + 2 = 0. Suppose -3*u + 10 = 2*u. Suppose v = -3*o + 90, -107 = -t*o + u*v + v. Is 6 a factor of o?\n'

Answer: 'False\n'


Question: 'Suppose -3*u + 0*r - 3*r + 237 = 0, -2*r = 4*u - 326. Let d = u + -24. Is d a multiple of 11?\n'

Answer: 'False\n'


Question: 'Let d = 3389 - 1919. Is 15 a factor of d?\n'

Answer: 'True\n'


Question: 'Does 67 divide (-67)/(-3 + (-39)/(-6) + -4)?\n'

Answer: 'True\n'


Question: 'Let t = 1984 - 1766. Does 53 divide t?\n'

Answer: 'False\n'


Question: 'Let s be 3/(-15) + 24*2/(-10). Is 330/(-99)*(-1)/(s/(-72)) a multiple of 17?\n'

Answer: 'False\n'


Question: 'Let t(a) = -3*a**3 + 5*a**2 - 4*a + 3. Let o(c) = -3*c - 9. Let s be o(-4). Let g be t(s). Is 13 a factor of (-10)/g + 1182/27?\n'

Answer: 'False\n'


Question: 'Suppose 365 = -2*c + 7*c - 5*u, 0 = 5*c - 3*u - 361. Is 28 a factor of c?\n'

Answer: 'False\n'


Question: 'Let u = 64 + -59. Suppose 9*a - u*a - 480 = 0. Does 30 divide a?\n'

Answer: 'True\n'


Question: 'Let d be 3/9 - (-2)/3. Let g = 2 + d. Suppose -4*m + 12 = 0, -g*m + 145 = 5*x + 2*m. Does 26 divide x?\n'

Answer: 'True\n'


Question: 'Let i = -206 + -1. Let p = -143 - i. Suppose 3*m + m = p. Does 7 divide m?\n'

Answer: 'False\n'


Question: 'Suppose -3 + 1 = -k. Let u(o) = -3*o**2 + o - k + o - 2*o - o**3. Is 7 a factor of u(-4)?\n'

Answer: 'True\n'


Question: 'Let j = -2207 - -4547. Is j a multiple of 36?\n'

Answer: 'True\n'


Question: 'Let m = 2683 + -2527. Is m even?\n'

Answer: 'True\n'


Question: 'Let j(f) = 27*f + 51*f - 2 - 1 + 1. Does 38 divide j(1)?\n'

Answer: 'True\n'


Question: 'Let y be 63/(-18)*24/(-14). Suppose -y*c + 5 = -1. Does 8 divide -2*c*(-9 + -2)?\n'

Answer: 'False\n'


Question: 'Suppose 7*z + 721 = -0*z. Let f = z - -208. Is f a multiple of 8?\n'

Answer: 'False\n'


Question: 'Let j(i) = -2726*i**3 - i**2 - 7*i - 6. Is j(-1) a multiple of 94?\n'

Answer: 'True\n'


Question: 'Let v be 3/5 + (-12)/(-30). Is (12/10)/(v/90) a multiple of 13?\n'

Answer: 'False\n'


Question: 'Suppose -7*x + 2535 = -1413. Is x a multiple of 47?\n'

Answer: 'True\n'


Question: 'Let n(o) = -o**3 - 5*o**2 + 5*o - 5. Let c be n(-7). Let w = 132 - c. Is w a multiple of 32?\n'

Answer: 'False\n'


Question: 'Does 8 divide (-402644)/(-330) + (-2)/15?\n'

Answer: 'False\n'


Question: 'Suppose 4*t - 7*t + 2*h + 199 = 0, -20 = -5*h. Does 2 divide t?\n'

Answer: 'False\n'


Question: 'Suppose -j - w + 246 = 0, 241 = j - w + 3*w. Suppose -25 = -3*l + j. Does 9 divide l?\n'

Answer: 'False\n'


Question: 'Let j = -124 - -1029. Is 13 a factor of j?\n'

Answer: 'False\n'


Question: 'Suppose 107 - 95 = -p. Is 8 a factor of 4/12 - 34*14/p?\n'

Answer: 'True\n'


Question: 'Suppose -5*x - 5*u = -125, 58 = 2*x - 7*u + 11*u. Is 4 a factor of x?\n'

Answer: 'False\n'


Question: 'Suppose -8 = 4*s - 9*s - 4*x, -2*s + 4*x + 20 = 0. Suppose 0*z - 47 = -3*w - 4*z, 0 = s*w + 3*z - 58. Is 12 a factor of w?\n'

Answer: 'False\n'


Question: 'Let x(o) = -12. Let u(n) = n + 12. Let f(m) = -3*u(m) - 4*x(m). Is 6 a factor of f(-5)?\n'

Answer: 'False\n'


Question: 'Suppose -3*k = 4*u - 56, -40 - 21 = -3*k - 5*u. Let d be ((-52)/k)/(2/(-12)). Suppose 64 = 2*n - 4*v, 67 = 4*n - v - d. Is 4 a factor of n?\n'

Answer: 'False\n'


Question: 'Suppose 14*g = -g + 4725. Is 21 a factor of g?\n'

Answer: 'True\n'


Question: 'Suppose 3*x + 11 = 32. Suppose -25 - x = -3*a - 2*r, a = 4*r - 8. Suppose -39 = 3*d - a*d - 3*m, 5*d + m - 33 = 0. Is d a multiple of 6?\n'

Answer: 'True\n'


Question: 'Suppose 4*t = -4*p + 1247 + 7945, -6902 = -3*p - 5*t. Is p a multiple of 44?\n'

Answer: 'False\n'


Question: 'Suppose -18414 = -13*f - 5*f. Is f a multiple of 33?\n'

Answer: 'True\n'


Question: 'Let s(d) = d**3 + 10*d**2 - 13*d - 21. Let c be s(-11). Is (3/(-1) - (-70 + 6))*c a multiple of 16?\n'

Answer: 'False\n'


Question: 'Let b = 10 - 9. Let u be -21*(0 + b)*1. Let r = u - -29. Is 6 a factor of r?\n'

Answer: 'False\n'


Question: 'Let r = 6 - 17. Let m = 14 + r. Suppose -m*p - 3 = 0, -3*v + 6*v - 59 = 5*p. Is 9 a factor of v?\n'

Answer: 'True\n'


Question: 'Suppose i + 10 = 2*o, 2*o - 3*o - 17 = 5*i. Suppose -5*w = -o*w - 332. Let f = -115 + w. Does 17 divide f?\n'

Answer: 'True\n'


Question: 'Suppose -2*t + 9*t = 7. Is 268/2 + t*-4 a multiple of 5?\n'

Answer: 'True\n'


Question: 'Let r = 1 + 3. Let t = r + -4. Let q(h) = h**2 + h + 50. Is 12 a factor of q(t)?\n'

Answer: 'False\n'


Question: 'Let t be 1*-2 - 0/2. Let h be 0 + (t - -2) + 9. Suppose -4*a + h = -3*a. Is 5 a factor of a?\n'

Answer: 'False\n'


Question: 'Let c be (-48)/(-5) - 10/(-25). Let s = 1 + 2. Suppose -c = -s*l + 50. Does 10 divide l?\n'

Answer: 'True\n'


Question: 'Let l(o) be the second derivative of -o**3/2 + 17*o**2/2 + 9*o. Is 18 a factor of l(-23)?\n'

Answer: 'False\n'


Question: 'Let z be 6/27 - 2590/(-9). Let u = -148 + z. Is u a multiple of 28?\n'

Answer: 'True\n'


Question: 'Suppose 42*r + 2527 = 50197. Does 4 divide r?\n'

Answer: 'False\n'


Question: 'Let k = 3507 + -428. Is 100 a factor of k?\n'

Answer: 'False\n'


Question: 'Let n(b) = 8*b**2 - 6. Is 26 a factor of n(11)?\n'

Answer: 'True\n'


Question: 'Let v be ((-5)/(-4))/(-5)*-20. Suppose 3 = -v*m + 4*m. Let n = 81 + m. Is n a multiple of 14?\n'

Answer: 'False\n'


Question: 'Suppose h - 3*u - 123 = -2*u, 240 = 2*h + u. Let q = h - 101. Is q a multiple of 20?\n'

Answer: 'True\n'


Question: 'Let l(x) = 10*x**2 - 32*x + 166. Is l(8) a multiple of 11?\n'

Answer: 'True\n'


Question: 'Let r = 70 - -19. Does 37 divide -1*4 + (r - -6)?\n'

Answer: 'False\n'


Question: 'Let j(v) = -16*v - 16. Let r(o) = -3*o - 3. Let q(l) = -2*j(l) + 11*r(l). Let s be q(-4). Suppose -3*b + 12 = p + b, s*p = -b + 25. Does 3 divide p?\n'

Answer: 'False\n'


Question: 'Let r be (1 + 2)*(-2)/(-3)*1. Let y = r - -112. Does 38 divide y?\n'

Answer: 'True\n'


Question: 'Let y = 22 + -20. Let x(v) = 7*v**2 + 3. Does 16 divide x(y)?\n'

Answer: 'False\n'


Question: 'Let c(g) = 9*g**2 - 20*g + 3. Let s(z) = -4*z**2 + 10*z - 1. Let v(d) = 6*c(d) + 13*s(d). Suppose -24 = 3*f + b, -f - 2*f - 2*b = 24. Is 17 a factor of v(f)?\n'

Answer: 'False\n'


Question: 'Let j be (-1)/(-8) - (-814)/16. Suppose -106 = -d - 2*b, 3*b + b = 5*d - 502. Let k = d - j. Does 17 divide k?\n'

Answer: 'True\n'


Question: 'Let p(c) = c**3 + 5*c**2 + 4*c + 1. Let r be p(-4). Suppose -2*x = -r - 1. Is 14 a factor of (-44)/(4/((-4)/x))?\n'

Answer: 'False\n'


Question: 'Is (-45)/(-15) + -1 - 367*-2 a multiple of 12?\n'

Answer: 'False\n'


Question: 'Suppose 39*v - 2*v = 36556. Is 26 a factor of v?\n'

Answer: 'True\n'


Question: 'Let t(h) = -4*h**2 - 56*h - 2. Suppose -3*v - 30 + 3 = 0. Is t(v) a multiple of 32?\n'

Answer: 'False\n'


Question: 'Let r = -1 - -35. Suppose 2*x + r = -14. Does 25 divide (-2106)/x - 1/(-4)?\n'

Answer: 'False\n'


Question: 'Let z(d) = 12*d + 656. Is z(-13) even?\n'

Answer: 'True\n'


Question: 'Let b(y) = -2*y**2 + 10*y + 12. Let a be b(6). Suppose 5*c - 5*j - 230 = a, -131 - 17 = -3*c + j. Is c a multiple of 17?\n'

Answer: 'True\n'


Question: 'Let m(q) = q**3 - 5*q**2 + 4*q. Let u(r) = -r + 1. Let w be -3 + 6 + (-8)/2. Let a(c) = w*m(c) - 2*u(c). Is a(3) a multiple of 2?\n'

Answer: 'True\n'


Question: 'Suppose 0 = -6*a - 0*a + 6. Suppose -6*v + a = -107. Is 18 a factor of v?\n'

Answer: 'True\n'


Question: 'Let h(q) = q**2 - q + 1. Let j be h(0). Let b(n) = -12*n + 19*n + 1 + 0 + 12*n. Is 17 a factor of b(j)?\n'

Answer: 'False\n'


Question: 'Let g be (6 + -3)/((-2)/2) - -3. Is 215/((3 + -4)*(-1 - g)) a multiple of 39?\n'

Answer: 'False\n'


Question: 'Let v be 0 - 0 - 4 - -21. Let t = v + -7. Is 5 a factor of t?\n'

Answer: 'True\n'


Question: 'Suppose 2*f = 4 + 4. Suppose h = f*h. Let u(b) = b**3 + b**2 - b + 79. Does 15 divide u(h)?\n'

Answer: 'False\n'


Question: 'Suppose c - 7*v = -2*v + 4, 5*c = 3*v + 20. Suppose -3*s - 4*k + 4 + 5 = 0, -s + 3 = c*k. Is s a multiple of 2?\n'

Answer: 'False\n'


Question: 'Let o = -1098 - -1546. Does 28 divide o?\n'

Answer: 'True\n'


Question: 'Let b(o) = 4*o**2 + 9*o - 1. Let g be b(-3). Is 2 a factor of 54/8*(-4)/(-8)*g?\n'

Answer: 'False\n'


Question: 'Is 10 a factor of ((-287)/(-41))/((-1036)/346 - -3)?\n'

Answer: 'False\n'


Question: 'Let o = 737 - 489. Is 45 a factor of o?\n'

Answer: 'False\n'


Question: 'Let k(r) = 8 - 17*r**2 - 2*r**3 + 13 + 3*r**3 + 17*r. Is k(16) a multiple of 5?\n'

Answer: 'False\n'


Question: 'Let a be 2/(-5) + (-2 - (-1902)/5). Is (-20)/8*a/(-35) a multiple of 9?\n'

Answer: 'True\n'


Question: 'Suppose -335 = 3*b - 1283. Is 21 a factor of b?\n'

Answer: 'False\n'


Question: 'Suppose -5*m - 43 + 3 = 0. Let q = -7 + m. Is 8 a factor of (-6)/q - 38/(-5)?\n'

Answer: 'True\n'


Question: 'Let x = 4114 - 2805. Is x a multiple of 22?\n'

Answer: 'False\n'


Question: 'Let b be ((-3)/(-6)*7)/(4/8). Let t(m) = m**3 - 7*m**2 + 19*m - 14. Does 17 divide t(b)?\n'

Answer: 'True\n'


Question: 'Let m = -13 + 17. Suppose y + 2*l + m - 17 = 0, -3*l + 18 = y. Is (-10)/(y/9*-1) a multiple of 5?\n'

Answer: 'True\n'


Question: 'Suppose -4*w = -419 - 245. Let f = 60 - -72. Suppose -4*q = 2*s - f, -4*q + w = q + 3*s. Is q a multiple of 16?\n'

Answer: 'True\n'


Question: 'Let a = 82 + 76. Is a a multiple of 67?\n'

Answer: 'False\n'


Question: 'Let f(p) = 3*p**2 - 6*p + 25. Is f(14) a multiple of 7?\n'

Answer: 'False\n'


Question: 'Suppose -5*g = -3 - 47. Let j(l) = 6*l**2 - 4*l + 18 - g + 7*l**2 - 6*l**2 - l**3. Is 20 a factor of j(6)?\n'

Answer: 'True\n'


Question: 'Let i(p) = 3*p**3 - 8*p**2 + 11*p + 7. Let v(h) = -5*h**3 + 16*h**2 - 21*h - 15. Let q(r) = 7*i(r) + 4*v(r). Suppose d + 2 = -6. Is q(d) a multiple of 12?\n'

Answer: 'False\n'


Question: 'Let g(z) = -5*z**3 + z**2 + 2*z + 1. Let u be g(-1). Suppose -u*n - 6 = -16. Suppose -252 = n*o - 8*o. Does 7 divide o?\n'

Answer: 'True\n'


Question: 'Suppose -2*u - n = -0*n - 15, 5*n + 3 = 3*u. Suppose u*o = o + 180. Is o a multiple of 6?\n'

Answer: 'True\n'


Question: 'Suppose -149 = -4*l - 149. Suppose -212 = -5*o - l*f + 4*f, -34 = -o - 2*f. Does 8 divide o?\n'

Answer: 'True\n'


Question: 'Let x be ((-8)/(-10))/(2/10). Is 20 a factor of (70 - (-1)/1) + (7 - x)?\n'

Answer: 'False\n'


Question: 'Let p(w) = -4*w. Let o be p(-1). Let c(y) = 3*y - 5. Let a be c(o). Suppose -4*l + a = -29. Is 4 a factor of l?\n'

Answer: 'False\n'


Question: 'Let w(r) = r**3 + 11*r**2 + 6*r + 40. Does 4 divide w(-5)?\n'

Answer: 'True\n'


Question: 'Suppose -p + q = -13 - 61, -4*q - 8 = 0. Is p a multiple of 12?\n'

Answer: 'True\n'


Question: 'Suppose 74592 = 16*a + 21*a. Does 36 divide a?\n'

Answer: 'True\n'


Question: 'Suppose -4*l + u + 3*u + 52 = 0, -3*u + 9 = 3*l. Suppose 2*z = 2*p - 114, l*z = -2*p + 3*z + 86. Is p a multiple of 25?\n'

Answer: 'False\n'


Question: 'Let f(w) = w**2 + 14*w + 64. Is 2 a factor of f(-7)?\n'

Answer: 'False\n'


Question: 'Let c(w) = -w**3 - 10*w**2 - 21*w - 13. Let t be -5 + 4 - ((-15)/(-3) - -3). Does 33 divide c(t)?\n'

Answer: 'False\n'


Question: 'Suppose 1204 = 4*y + a, 261 - 885 = -2*y + 5*a. Is 9 a factor of y?\n'

Answer: 'False\n'


Question: 'Suppose 2*p - 6842 = 536. Suppose 12*c - p + 989 = 0. Does 45 divide c?\n'

Answer: 'True\n'


Question: 'Let l = 95 + -55. Suppose 223*g = 235*g - 1200. Let n = g - l. Is 24 a factor of n?\n'

Answer: 'False\n'


Question: 'Suppose 3*h - 21 = -0*h. Let p(j) = -j**3 + 9*j**2 - 9*j + 6. Let s(u) = 5*u**3 - 45*u**2 + 45*u - 30. Let n(b) = 11*p(b) + 2*s(b). Does 22 divide n(h)?\n'

Answer: 'False\n'


Question: 'Let p(k) = -k**3 - 7*k**2 + 9*k - 13. Suppose 0 = 5*m, -3 = 5*q - 2*m + 42. Is p(q) a multiple of 8?\n'

Answer: 'False\n'


Question: 'Let u be 0/((6/3)/(-1)). Let q be 5/(-10)*(-2 + u). Is (-4)/((q/1)/(-8)) a multiple of 10?\n'

Answer: 'False\n'


Question: 'Is 3 + (-7 + 8)*19 a multiple of 5?\n'

Answer: 'False\n'


Question: 'Suppose -2*d + 18 = -5*d. Let v = 81 + d. Does 26 divide v?\n'

Answer: 'False\n'


Question: 'Let i = -7 - -13. Let j(d) = -d + 0*d - i*d**2 - 7 - d**3 + 11. Is j(-6) a multiple of 4?\n'

Answer: 'False\n'


Question: 'Suppose 2*p + n - 1048 = -p, 5*n + 1720 = 5*p. Is p a multiple of 85?\n'

Answer: 'False\n'


Question: 'Let l be (34/(-68))/(-1 + 1/2). Is 2 a factor of -14 + 11 - (-31 + l + -1)?\n'

Answer: 'True\n'


Question: 'Let n be 380/6 + 2/3. Let b = 28 - 69. Let r = n + b. Is 5 a factor of r?\n'

Answer: 'False\n'


Question: 'Let i(l) be the third derivative of l**5/60 - l**4/24 - 7*l**3/6 + 6*l**2. Does 4 divide i(-3)?\n'

Answer: 'False\n'


Question: 'Suppose -26*u + 424 + 10184 = 0. Is 21 a factor of u?\n'

Answer: 'False\n'


Question: 'Let x(c) = 3*c - 11. Let u be x(21). Let i = u + 39. Is i a multiple of 47?\n'

Answer: 'False\n'


Question: 'Let a(l) = l**3 + 6*l**2 + 4. Let f be a(-6). Suppose -2*m + 6*q - q + 4 = 0, f*m - 3*q = 8. Suppose 2*w + w + 14 = c, 2*w + 44 = m*c. Is 13 a factor of c?\n'

Answer: 'True\n'


Question: 'Suppose -9*u + 3220 = -2*u. Does 5 divide u?\n'

Answer: 'True\n'


Question: 'Suppose -o - 5 = -0. Let n(b) = 3*b**2 + 7*b - 1. Let r be n(o). Suppose 5*w + r = 259. Is w a multiple of 11?\n'

Answer: 'True\n'


Question: 'Let c(i) = 20*i + 30. Let x(w) = w. Let v(a) = c(a) - 30*x(a). Is v(-13) a multiple of 40?\n'

Answer: 'True\n'


Question: 'Is (-23142)/(-28)*2 - (-1 + 4) a multiple of 10?\n'

Answer: 'True\n'


Question: 'Let r(h) = 8*h + 10. Let z be r(4). Suppose 13*k = 11*k + z. Suppose 6 = -3*s, 4*s = 3*c - 26 - k. Is c a multiple of 5?\n'

Answer: 'False\n'


Question: 'Suppose -5*u = 4*b + 4, 4*u + 3 = -5*b - 2. Suppose s + 63 = 4*s. Let h = u + s. Does 5 divide h?\n'

Answer: 'False\n'


Question: 'Let u = 20 + -18. Let x(j) = -j**3 - 4*j**2 - 2*j + 3. Let i be x(-3). Suppose i = 2*f - u*y - 36, 3*f - 2*f + y = 8. Is 13 a factor of f?\n'

Answer: 'True\n'


Question: 'Suppose 37*y - 17315 = 10805. Does 40 divide y?\n'

Answer: 'True\n'


Question: 'Let a be (-4)/4*7 + -3. Let m be (-5)/(a/(-4)) - -4. Suppose m*k - 4*k = -190. Does 19 divide k?\n'

Answer: 'True\n'


Question: 'Let w = -141 + 208. Let d = w + -33. Is d a multiple of 8?\n'

Answer: 'False\n'


Question: 'Suppose -37*a + 48804 = 46*a. Is 4 a factor of a?\n'

Answer: 'True\n'


Question: 'Suppose -2*h - 46 - 90 = 0. Let y = -32 - h. Does 4 divide 8/y + 52/9?\n'

Answer: 'False\n'


Question: 'Suppose 13*r = 2440 + 303. Is r a multiple of 15?\n'

Answer: 'False\n'


Question: 'Let a be 6/(-9) - 62/6. Let h = a + 91. Is 40 a factor of h?\n'

Answer: 'True\n'


Question: 'Suppose -4*i + i = 0. Suppose -w = -i*w. Does 8 divide 7 + (1 - (0 + w))?\n'

Answer: 'True\n'


Question: 'Let r(b) = 11*b - 13. Is r(3) a multiple of 4?\n'

Answer: 'True\n'


Question: 'Let v be -3 + 4 - 39/(-3). Is 16 a factor of 494/v + 36/(-126)?\n'

Answer: 'False\n'


Question: 'Suppose 0 = -19*u + 15*u + 604. Does 7 divide u?\n'

Answer: 'False\n'


Question: 'Suppose 2*u - 3*t + 7*t = 1058, 4*u - 2108 = -4*t. Is u a multiple of 7?\n'

Answer: 'True\n'


Question: 'Let r(o) = -o**3 + 15*o**2 + 66*o + 21. Is r(16) a multiple of 53?\n'

Answer: 'False\n'


Question: 'Suppose 4*c + 0*c + 1284 = -t, 2*t + 5*c + 2553 = 0. Is 18 a factor of ((-5)/(-20))/((-4)/t)?\n'

Answer: 'False\n'


Question: 'Let g be 130*3/(-45)*-6. Suppose -g = -5*w + 113. Does 18 divide w?\n'

Answer: 'False\n'


Question: 'Let a(m) = -3*m - 23. Let t be a(-10). Suppose q + 252 = t*q. Is 4 a factor of q?\n'

Answer: 'False\n'


Question: 'Let j(o) = -o + 1. Let n be j(3). Let l be 8/20 - n/(-5). Let t = 6 - l. Is t a multiple of 3?\n'

Answer: 'True\n'


Question: 'Let l be 6*(-9)/(-6) - 0. Let z be l/6 + (-134)/(-4). Is 10 a factor of 1215/z - 4/(-14)?\n'

Answer: 'False\n'


Question: 'Let m be (-113)/6 - 3/18. Is m/(0 - (-4)/(-20)) a multiple of 30?\n'

Answer: 'False\n'


Question: 'Let g = 9 + -4. Suppose g*s + 1 = 16. Suppose -s*y = 2*y - 25. Does 2 divide y?\n'

Answer: 'False\n'


Question: 'Let m = 18 - 8. Suppose 13*a - m*a = 72. Is a a multiple of 6?\n'

Answer: 'True\n'


Question: 'Suppose 2037*s = 2046*s - 864. Is s a multiple of 8?\n'

Answer: 'True\n'


Question: 'Let p(m) = -m**2 + 9*m - 10. Let n be p(7). Suppose 0 = -z - 2 - n. Is 18/(5/((-15)/z)) a multiple of 8?\n'

Answer: 'False\n'


Question: 'Suppose 4*z = 5*z - 22. Suppose -3*p + z = -8. Does 18 divide (-48)/(-1) - (6 - p)?\n'

Answer: 'False\n'


Question: 'Let f(h) = -4*h - 1. Let o = 12 + -15. Is f(o) a multiple of 4?\n'

Answer: 'False\n'


Question: 'Let y(v) = 2*v**2 + 13*v + 38. Is y(-16) a multiple of 57?\n'

Answer: 'True\n'


Question: 'Does 16 divide (-29 + 1)/(-19 - 3644/(-192))?\n'

Answer: 'True\n'


Question: 'Suppose 0*r - 4*b - 26 = r, -3*r + 4*b = 14. Let h = 13 + r. Suppose h*p = 32 + 238. Is p a multiple of 30?\n'

Answer: 'True\n'


Question: 'Let q(s) be the third derivative of s**6/120 + 7*s**5/30 + 13*s**4/24 + s**3/2 - 12*s**2. Does 2 divide q(-13)?\n'

Answer: 'False\n'


Question: 'Let n(i) be the third derivative of i**5/60 - i**4/6 - 7*i**3/6 - 4*i**2. Let x(u) = 3*u. Let h be x(3). Is n(h) a multiple of 22?\n'

Answer: 'False\n'


Question: 'Let c be (1*-2)/(8/72). Is 12 a factor of (-4)/(-18) - 1076/c?\n'

Answer: 'True\n'


Question: 'Suppose -4*l = -5*k + 11548, -4639 = -2*k - 2*l - 3*l. Is k a multiple of 89?\n'

Answer: 'False\n'


Question: 'Suppose 0 = -3*j + 4*r - 130, -j + 5*j = 2*r - 170. Let x = -18 - j. Is 12 a factor of 456/10 + x/60?\n'

Answer: 'False\n'


Question: 'Suppose u = 3*u - 3*g - 398, 0 = -3*g + 12. Let s = u - 141. Is 16 a factor of s?\n'

Answer: 'True\n'


Question: 'Let n(c) = c**3 - 2*c**2 + 2*c - 2. Let j be n(2). Suppose 4*i = 2*m - 24, -34 = -3*m + j*i - 10. Is m a multiple of 3?\n'

Answer: 'True\n'


Question: 'Is (2 + -1)/((-59)/(-64369)) a multiple of 80?\n'

Answer: 'False\n'


Question: 'Suppose 3*f = -3*m + 347 + 283, -5*m - 3*f = -1042. Does 5 divide m?\n'

Answer: 'False\n'


Question: 'Is (14 - (295 + 10))*(1 + -4) a multiple of 61?\n'

Answer: 'False\n'


Question: 'Suppose -20*i - 52 = -16*i. Let k = -10 - i. Suppose 2*g + 5 = 3*g, k*g = 2*o - 23. Does 10 divide o?\n'

Answer: 'False\n'


Question: 'Suppose -45 = -18*y + 9*y. Suppose y*h - 216 = 4*p, -3*h - 4*p - 56 = -160. Does 20 divide h?\n'

Answer: 'True\n'


Question: 'Suppose -11*w - 18*w = -5887. Is w a multiple of 29?\n'

Answer: 'True\n'


Question: 'Let p be ((-234)/27)/((-4)/6). Suppose -9*v = -p*v + 8. Suppose 146 = v*w + 50. Is w a multiple of 13?\n'

Answer: 'False\n'


Question: 'Let p = -336 + 651. Is p a multiple of 15?\n'

Answer: 'True\n'


Question: 'Let i = -3 + 15. Suppose -q = -3*m + 26, -q + 2*q = 4*m - 35. Suppose -m - i = -z. Is z a multiple of 16?\n'

Answer: 'False\n'


Question: 'Is (4060/42)/(2/3*1) a multiple of 17?\n'

Answer: 'False\n'


Question: 'Suppose -k + 2*y + 1233 = 0, 24*k = 29*k + 5*y - 6105. Is 25 a factor of k?\n'

Answer: 'True\n'


Question: 'Is 7 a factor of (-6 - -12) + 735 + -2?\n'

Answer: 'False\n'


Question: 'Let k = 1375 + -1181. Is 7 a factor of k?\n'

Answer: 'False\n'


Question: 'Suppose 8*c = 5*c - 102. Let j = c + 178. Does 18 divide j?\n'

Answer: 'True\n'


Question: 'Let x be -12 - ((-4)/(-1))/1. Let d be (87 - 0)/((-24)/x). Let b = 23 + d. Is 18 a factor of b?\n'

Answer: 'False\n'


Question: 'Let a(f) = -f**3 - 23*f**2 - 7*f - 38. Does 3 divide a(-23)?\n'

Answer: 'True\n'


Question: 'Let h(y) = y**3 + 13*y**2 - y - 14. Let x = -47 + 34. Let r be h(x). Does 12 divide -3*26/3*r?\n'

Answer: 'False\n'


Question: 'Let g(k) = -k**2 - 26*k + 2. Let l be g(-15). Suppose l = -0*i + 5*i + 4*h, -4*i = -3*h - 115. Is i a multiple of 12?\n'

Answer: 'False\n'


Question: 'Let h = 190 + -154. Is 13 a factor of h?\n'

Answer: 'False\n'


Question: 'Suppose 3*r + 5*v = 5573 + 1925, -v = 4*r - 9986. Does 39 divide r?\n'

Answer: 'True\n'


Question: 'Let a(n) = 4*n**3 - 3*n**2 - 7*n - 6. Let q be a(-4). Is 4 a factor of q/(-9) + (1 - (-8)/(-6))?\n'

Answer: 'False\n'


Question: 'Let d be 6/4*(-80)/15. Let n(y) = 4*y + 12. Let w be n(d). Does 2 divide (-5)/(w/28)*1?\n'

Answer: 'False\n'


Question: 'Let j = 114 + -64. Suppose -130 = -3*f + j. Does 12 divide f?\n'

Answer: 'True\n'


Question: 'Let q = -80 - -425. Is q a multiple of 14?\n'

Answer: 'False\n'


Question: 'Let x(i) = -i**3 + 4*i**2 - 4*i - 17. Let m be x(7). Does 41 divide 72/m + 3526/16?\n'

Answer: 'False\n'


Question: 'Let f = 188 + -51. Let s = 130 + 7. Suppose -4*l - f + 1 = -5*h, 5*h - 3*l - s = 0. Does 14 divide h?\n'

Answer: 'True\n'


Question: 'Suppose 0*w - 3*w - 15 = 0. Let l = w + 8. Suppose 30 = l*b - 66. Does 16 divide b?\n'

Answer: 'True\n'


Question: 'Suppose -425 = -31*a + 1125. Does 38 divide a?\n'

Answer: 'False\n'


Question: 'Suppose -g = -r + 57, -6*r + 3*r = g + 37. Let q = 91 + g. Let k = 54 - q. Does 7 divide k?\n'

Answer: 'False\n'


Question: 'Let b = -447 - -587. Does 70 divide b?\n'

Answer: 'True\n'


Question: 'Let m be (-1*1)/((-2)/210). Let j(p) = p**2 - 14*p + 35. Let d be j(5). Is (d/25)/((-3)/m) a multiple of 6?\n'

Answer: 'False\n'


Question: 'Suppose 3 = 2*a - 1. Suppose f + 34 = a*q + q, -q + 18 = f. Suppose 0 = 3*g - 148 + q. Is 12 a factor of g?\n'

Answer: 'False\n'


Question: 'Suppose 7*x - 40 = -5. Suppose 3*f - 2*c = 252, c = -x*f + 3*c + 416. Is 41 a factor of f?\n'

Answer: 'True\n'


Question: 'Let o = 13 + -3. Let k = o + -5. Suppose 3*n - 1 + 3 = -k*u, 5*n = 5*u + 50. Is n a multiple of 3?\n'

Answer: 'True\n'


Question: 'Is -1 + 961 + -11 + 16 + -11 a multiple of 42?\n'

Answer: 'False\n'


Question: 'Let k(n) = -n**3 + 10*n**2 - 3*n - 11. Let h be k(9). Let m = 64 - h. Is 3 a factor of m?\n'

Answer: 'True\n'


Question: 'Suppose 0 = 5*d, 3*c - 2*c - 486 = d. Suppose c = 3*h + 3*h. Is 14 a factor of h?\n'

Answer: 'False\n'


Question: 'Suppose k + 2*k = 360. Suppose 20 = -5*h + k. Let w = -6 + h. Does 14 divide w?\n'

Answer: 'True\n'


Question: 'Let l(g) = -6 - 3*g + 8*g - 59*g**2 - g**3 + 65*g**2. Is 4 a factor of l(6)?\n'

Answer: 'True\n'


Question: 'Does 26 divide ((-144)/5)/(22/(-2860))?\n'

Answer: 'True\n'


Question: 'Is 320 + 3 + -9 + 6 a multiple of 32?\n'

Answer: 'True\n'


Question: 'Let m = 252 + 190. Is 56 a factor of m?\n'

Answer: 'False\n'


Question: 'Suppose 232 - 28 = -4*v. Let n = v - -105. Is n a multiple of 27?\n'

Answer: 'True\n'


Question: 'Suppose 77 = x + 4*l - 7*l, 4*x - 244 = -4*l. Is x/((-5)/5*-1) a multiple of 10?\n'

Answer: 'False\n'


Question: 'Suppose 18*v - 2261 = 11*v. Is 12 a factor of v?\n'

Answer: 'False\n'


Question: 'Suppose -460 = -4*f + 4*y, f - 5*y - 79 - 40 = 0. Suppose 3*u + 63 = 2*s, -4*s - 4*u - 18 + 114 = 0. Suppose w + 4*v - 30 = s, 4*v = 2*w - f. Does 16 divide w?\n'

Answer: 'False\n'


Question: 'Let v = 1 + 3. Suppose 3*w = g - 1, -2*w - 4 = g - 2*g. Suppose -g = v*s - 190. Is s a multiple of 15?\n'

Answer: 'True\n'


Question: 'Let s = 148 + 104. Is s a multiple of 15?\n'

Answer: 'False\n'


Question: 'Let o(l) = 2*l**2 - 28*l + 36. Let d be o(13). Suppose d*h = 5*h + 75. Is 2 a factor of h?\n'

Answer: 'False\n'


Question: 'Let f(m) = -m - 1. Let c be f(-2). Let x be (8/c)/(-4 - -3). Does 4 divide ((-48)/4)/3 - x?\n'

Answer: 'True\n'


Question: 'Suppose 440 = 5*s - 400. Is s a multiple of 9?\n'

Answer: 'False\n'


Question: 'Let y(r) = r + 27. Suppose x = -3*x - 52. Does 14 divide y(x)?\n'

Answer: 'True\n'


Question: 'Let u be 796/(-6) + (-36)/27. Let n = 201 + u. Let p = 109 - n. Is 12 a factor of p?\n'

Answer: 'False\n'


Question: 'Let b = -74 + 52. Let w = b + 52. Is 8 a factor of w?\n'

Answer: 'False\n'


Question: 'Suppose 56*j - 61*j + 1205 = 0. Let h = j + -122. Is 26 a factor of h?\n'

Answer: 'False\n'


Question: 'Let t be 13/4 + 2/(-8). Let n be (4 - 11 - -4)/(6/(-10)). Suppose -2*l = 5*s - 7*l + n, s - 11 = -t*l. Is 2 a factor of s?\n'

Answer: 'True\n'


Question: 'Suppose 5*z - 708 = -0*d - d, 2*d = -5*z + 711. Let i be z*(-1 - (-4 + 2)). Suppose -5*l = -3*j + 145, -2*j - 15 = 4*l - i. Is j a multiple of 12?\n'

Answer: 'False\n'


Question: 'Let y = -65 + 40. Let a = y - -25. Suppose a = -5*z - 4*d + 269, -z = d + 2*d - 45. Is z a multiple of 19?\n'

Answer: 'True\n'


Question: 'Let l(u) = 18*u + 60. Is 6 a factor of l(10)?\n'

Answer: 'True\n'


Question: 'Suppose 2*t + 8 = -2*g, -3 = -3*t + 5*g - 55. Let h be (-15)/t - 1/(-3). Suppose -h*y - 4 = -14. Is y a multiple of 5?\n'

Answer: 'True\n'


Question: 'Suppose -4*b = 4*z - 8, 0 = -0*b - b - 2. Suppose 5*g - 17 = z*t, -3*t + 5*g - 4*g + 1 = 0. Suppose 6*v - 2*v = -2*i + 380, 0 = -t*i. Is 19 a factor of v?\n'

Answer: 'True\n'


Question: 'Let b = 422 + -325. Does 8 divide b?\n'

Answer: 'False\n'


Question: 'Let g = 0 + -4. Let v be (g/10)/((-4)/80). Suppose -104 = -4*b - v. Is 8 a factor of b?\n'

Answer: 'True\n'


Question: 'Suppose -3*d + 39 = -x - d, 5*x - 4*d + 207 = 0. Let q be 4*(-7)/28 + (118 - -2). Let n = q + x. Is n a multiple of 19?\n'

Answer: 'True\n'


Question: 'Is 15 a factor of (3/9)/(35/25305)?\n'

Answer: 'False\n'


Question: 'Suppose -12*k + 3346 = -12950. Does 7 divide k?\n'

Answer: 'True\n'


Question: 'Let b = -137 + 136. Suppose 0 = 4*c + 4*k - 6*k - 38, -3*k - 24 = -3*c. Is 0 - b - (-16 + c) a multiple of 6?\n'

Answer: 'True\n'


Question: 'Let g(i) = -i**3 + 23*i**2 - 22*i + 33. Suppose -5*q + 154 = 2*q. Does 7 divide g(q)?\n'

Answer: 'False\n'


Question: 'Let o(l) = 7*l**2 - 27*l + 11. Let k(b) = -20*b**2 + 80*b - 33. Let g(r) = 6*k(r) + 17*o(r). Is 9 a factor of g(8)?\n'

Answer: 'False\n'


Question: 'Let f(q) = 14*q**2 - 6*q + 3. Let z be -8*(-5)/(60/3). Is f(z) a multiple of 47?\n'

Answer: 'True\n'


Question: 'Suppose -d + 4*d = -9. Let b be 1/d - 354/18. Does 10 divide b/3*(-27)/6?\n'

Answer: 'True\n'


Question: 'Let l = 16 + -4. Suppose 3*r - 312 = -r. Suppose 11*y + r = l*y. Is y a multiple of 26?\n'

Answer: 'True\n'


Question: 'Suppose 1 = p - 1. Suppose 5*z + 4*t = 20, -14 = -3*z + 5*t - p. Suppose -5*y + 155 + 140 = 4*f, y + z*f = 43. Does 21 divide y?\n'

Answer: 'True\n'


Question: 'Let u = 131 - 47. Suppose z - u = -3*k, -2*z + 2*k + 59 = -101. Is z a multiple of 20?\n'

Answer: 'False\n'


Question: 'Let m = 6 + -9. Let k(y) = 13*y**2 + 5 - y**3 - 15*y**2 - 2 + 0. Does 6 divide k(m)?\n'

Answer: 'True\n'


Question: 'Suppose 0 = 11*o - 37 - 7. Suppose -o*v = -1077 - 163. Is v a multiple of 31?\n'

Answer: 'True\n'


Question: 'Let b be (5 - 5)*1/2. Is 16 a factor of (55 - 6)/(b + 1)?\n'

Answer: 'False\n'


Question: 'Suppose -2*u = 3*n - 367, 2*u - 89 = 3*n - 460. Suppose 4*p + 3*o + n = 578, -2*p = 3*o - 223. Does 26 divide p?\n'

Answer: 'False\n'


Question: 'Let h(j) = j**3 - 6*j**2 - 8*j + 8. Let f be h(7). Let p be (-10)/(1*f/4). Is 4/10 + (-1064)/p a multiple of 8?\n'

Answer: 'False\n'


Question: 'Let s(n) = 2*n**2 + 9*n - 180. Is s(30) a multiple of 27?\n'

Answer: 'True\n'


Question: 'Let h = -251 + 484. Is 10 a factor of h?\n'

Answer: 'False\n'


Question: 'Suppose n + 15*d - 11*d = 655, -3*n - 5*d + 1930 = 0. Is n a multiple of 13?\n'

Answer: 'False\n'


Question: 'Let a = 13 - 36. Let c = 23 + a. Suppose -v + 3*v - 84 = c. Does 8 divide v?\n'

Answer: 'False\n'


Question: 'Let b(l) = -l**3 + 25*l**2 - 12*l + 5. Is b(23) a multiple of 47?\n'

Answer: 'False\n'


Question: 'Is 23 a factor of (-15)/((-30)/388)*2/1?\n'

Answer: 'False\n'


Question: 'Let l = -1107 + 1562. Does 11 divide l?\n'

Answer: 'False\n'


Question: 'Let k = -18 + 20. Suppose 7*f - k*f - 240 = 0. Is f a multiple of 16?\n'

Answer: 'True\n'


Question: 'Suppose 2*b = 5*b - 12. Suppose k = -b*k. Is 15 - -1 - k/8 a multiple of 4?\n'

Answer: 'True\n'


Question: 'Let h(a) = -20*a - 13. Let n be h(-4). Suppose 3*i = n + 251. Does 13 divide i?\n'

Answer: 'False\n'


Question: 'Suppose 207 = -9*z + 12*z. Suppose 2*g - 3*v = 55 - 6, v = -2*g + z. Is g a multiple of 4?\n'

Answer: 'True\n'


Question: 'Suppose 105 = -3*c + 264. Let d(u) = u**3 - 5*u**2 + 7*u - 12. Let a be d(4). Suppose 2*n + 5*t - c = -a*t, -n = -3*t - 54. Is 13 a factor of n?\n'

Answer: 'True\n'


Question: 'Suppose 3*n + 239 = 257. Suppose -117 = -4*z + 3*q, n*q = q + 5. Is 6 a factor of z?\n'

Answer: 'True\n'


Question: 'Let s(w) = -8*w - 10. Let p be s(-7). Let l be -8*(-14)/52 + (-54)/351. Suppose -p = -l*d + 54. Is 10 a factor of d?\n'

Answer: 'True\n'


Question: 'Let s = -2901 - -1931. Is 20 a factor of ((-10)/25)/(2/s)?\n'

Answer: 'False\n'


Question: 'Suppose 5*b = -10, 0 = -4*m + 2*b - 4*b + 1600. Is m a multiple of 23?\n'

Answer: 'False\n'


Question: 'Let p(r) = -6*r. Let h = 9 + -5. Suppose -3*l + h*l = -1. Is p(l) a multiple of 2?\n'

Answer: 'True\n'


Question: 'Let c = -38 + 72. Let m be c/4 - (-2)/(-4). Suppose 0*u = -m*u + 176. Is u a multiple of 6?\n'

Answer: 'False\n'


Question: 'Suppose -4*t + 2*p = -154, 2*p - p = 5*t - 185. Let l(x) = -x - 13. Let g be l(-8). Let i = t + g. Is 22 a factor of i?\n'

Answer: 'False\n'


Question: 'Let y = -19 - -25. Is 9 a factor of y + -4 - -66 - -2?\n'

Answer: 'False\n'


Question: 'Let z(m) = -3*m**2 - 6*m - 3. Let i be z(-4). Let f be 8/(-4) - 2 - i. Suppose h = -2*h + p + 24, -2*h = -3*p - f. Is h a multiple of 2?\n'

Answer: 'False\n'


Question: 'Suppose -12 = 5*y - 2. Let p be (-3 - 6)/(y - -1). Does 28 divide (-3)/(p/(-168)*2)?\n'

Answer: 'True\n'


Question: 'Let w(x) = 7*x**3 - 5*x**2 + 11*x - 6. Let y(l) = -15*l**3 + 9*l**2 - 23*l + 12. Let z(c) = -13*w(c) - 6*y(c). Is 26 a factor of z(6)?\n'

Answer: 'True\n'


Question: 'Let r = -4 - -6. Let m be (r - 5 - -3) + 6. Is 1 - 4/m*-21 a multiple of 10?\n'

Answer: 'False\n'


Question: 'Suppose 4*r - 4*o = 444, 3*r + 3*o - 147 = 186. Is r a multiple of 29?\n'

Answer: 'False\n'


Question: 'Let k(l) be the second derivative of -13*l**4/24 - 17*l**3/6 - l**2 + 6*l. Let d(t) be the first derivative of k(t). Is d(-5) a multiple of 12?\n'

Answer: 'True\n'


Question: 'Suppose 0 = 2*r + r. Suppose -2*w - 5*q = -85, -20 = -3*w - 3*q + 85. Suppose -2*o + w + 50 = r. Is o a multiple of 10?\n'

Answer: 'True\n'


Question: 'Let n(m) = -3*m**3 - m**2 - 6. Let h(y) = 4*y**3 + y + 6. Let u(x) = -2*h(x) - 3*n(x). Is u(3) a multiple of 9?\n'

Answer: 'True\n'


Question: 'Suppose -17199 = -33*b - 6*b. Is b a multiple of 63?\n'

Answer: 'True\n'


Question: 'Suppose -591 + 3471 = 8*j. Does 6 divide j?\n'

Answer: 'True\n'


Question: 'Suppose -10*g = -3*g + 420. Suppose -4*k + 282 = -3*r - k, 0 = -5*r + 2*k - 482. Let q = g - r. Is q a multiple of 11?\n'

Answer: 'False\n'


Question: 'Suppose -7*u + 8496 = 29*u. Is u a multiple of 5?\n'

Answer: 'False\n'


Question: 'Let l(g) = 2*g**3 - 6*g**2 + 5*g - 3. Let i be l(8). Let z = -283 + i. Is 13/(-52) - z/(-8) a multiple of 13?\n'

Answer: 'False\n'


Question: 'Suppose 2*m - 6*m = 4*h - 296, h - 3*m = 94. Let b = h + 1. Does 40 divide b?\n'

Answer: 'True\n'


Question: 'Let o(p) = -p**2 + 14*p - 6. Suppose 4*y = -4*k + 60, -y - y + 36 = 4*k. Is o(y) a multiple of 6?\n'

Answer: 'True\n'


Question: 'Suppose 3*k + 3*z = 552, -k = -2*z - 114 - 58. Does 20 divide k?\n'

Answer: 'True\n'


Question: 'Let a = 10 - 10. Suppose -4*i - 20 = -4*r, -4*i - 4*r + a*r + 4 = 0. Let n(v) = -22*v - 3. Is 11 a factor of n(i)?\n'

Answer: 'False\n'


Question: 'Suppose -5*u = j - 400, 4*j + 5*u + 1073 = 2643. Is j a multiple of 28?\n'

Answer: 'False\n'


Question: 'Let r(b) = b**3 + 9*b**2 - 10*b + 2. Let y be r(-10). Suppose 0 = -5*j - y*u + 266, -3*j = 2*j + u - 268. Is 14 a factor of j?\n'

Answer: 'False\n'


Question: 'Let y = 12 - 23. Let n = -723 + 742. Let w = n - y. Is 10 a factor of w?\n'

Answer: 'True\n'


Question: 'Let j be (1 - (-5)/3)*33. Suppose 2*z - 36 = -2*f, -5*z + j = -6*f + 9*f. Does 17 divide z?\n'

Answer: 'True\n'


Question: 'Let v(k) be the first derivative of 2*k**5/15 - k**4/6 - 5*k**3/3 - 3. Let x(i) be the third derivative of v(i). Does 31 divide x(7)?\n'

Answer: 'False\n'


Question: 'Let x(v) be the third derivative of -v**6/120 + v**5/12 + v**4/4 + 4*v**3/3 + 4*v**2. Is 8 a factor of x(6)?\n'

Answer: 'True\n'


Question: 'Let m(p) = 10*p**2 + 10*p + 9*p**3 + 3 + 5*p**3 - 13*p**3. Does 16 divide m(-7)?\n'

Answer: 'True\n'


Question: 'Let n(t) = -5*t - 30. Let s be n(-5). Let d(m) = 5*m + 1. Let q be d(1). Is ((-48)/s)/(q/20) a multiple of 16?\n'

Answer: 'True\n'


Question: 'Let z(u) = u**3 - 3*u**2 - 2*u + 4. Let d be (-16)/6*3/(-2). Does 6 divide z(d)?\n'

Answer: 'True\n'


Question: 'Suppose 0 = 41*n - 43*n + 234. Is n a multiple of 40?\n'

Answer: 'False\n'


Question: 'Let p(w) = -2*w + 44. Let h be p(19). Suppose -h*f + f = -135. Does 9 divide f?\n'

Answer: 'True\n'


Question: 'Suppose 156 = 7*y - 11*y. Let s = y + 41. Is 29 a factor of 33 + (-8)/(s + 0)?\n'

Answer: 'True\n'


Question: 'Suppose 6*t = 3*t. Suppose -2*p + t*p - 176 = 5*g, 2*g - 2*p + 76 = 0. Is 18 a factor of (-8)/g - 662/(-18)?\n'

Answer: 'False\n'


Question: 'Suppose 4*i + 8 = -5*h + h, -3*h - 15 = 0. Suppose -i*j = j - 300. Does 15 divide j?\n'

Answer: 'True\n'


Question: 'Suppose 0 = 4*i + i - 35. Suppose 2*r = i*r + 75. Let u(j) = j**2 + 15*j + 5. Is 5 a factor of u(r)?\n'

Answer: 'True\n'


Question: 'Let p = -11 - -16. Let i be 754/8 - 153/(-204). Suppose -p*d + 295 + i = 0. Does 16 divide d?\n'

Answer: 'False\n'


Question: 'Let a(h) = -h - 2. Let x be a(-2). Suppose 3*n = z - 3, -3*n - z + 0*z - 9 = x. Let o(t) = -3*t**3 - 2*t**2 - 3*t - 1. Is 21 a factor of o(n)?\n'

Answer: 'True\n'


Question: 'Let t = -43 + 24. Let z be (t - 11) + (-2 - -4). Is (-8)/z + (-515)/(-35) a multiple of 3?\n'

Answer: 'True\n'


Question: 'Let g = -10 - -11. Is (-3 - -1 - g)*-4 a multiple of 3?\n'

Answer: 'True\n'


Question: 'Suppose 0*g = -g. Suppose v = -g - 9. Is 10 a factor of (-15)/2*24/v?\n'

Answer: 'True\n'


Question: 'Suppose 0 = 508*t - 509*t + 1100. Is t a multiple of 29?\n'

Answer: 'False\n'


Question: 'Let k = 4 + -5. Let d(o) = -1. Let t(n) = n**2 - 16*n - 10. Let m(h) = k*t(h) + 3*d(h). Does 11 divide m(15)?\n'

Answer: 'True\n'


Question: 'Let n(t) = 39*t - 127. Does 27 divide n(10)?\n'

Answer: 'False\n'


Question: 'Suppose 3*u - 1562 = -4*p, -8*u + 3*u = p - 2609. Does 9 divide u?\n'

Answer: 'True\n'


Question: 'Suppose -18 = -5*b - 2*c, -3*c = -b - 0*b + 7. Suppose -b*f + 36 + 12 = 0. Suppose z + 1 = f. Is 4 a factor of z?\n'

Answer: 'False\n'


Question: 'Let l = 81 + -76. Suppose 5*q + 2*d = 1140, l*q = 10*d - 5*d + 1105. Is q a multiple of 39?\n'

Answer: 'False\n'


Question: 'Let j(o) = 485*o - 55. Is j(2) a multiple of 16?\n'

Answer: 'False\n'


Question: 'Suppose 5*t + 36 = 416. Suppose -2*c - 46 = -t. Is 3 a factor of c?\n'

Answer: 'True\n'


Question: 'Let j = -179 - -108. Let o = j + 106. Suppose -c + 2*c = o. Is c a multiple of 13?\n'

Answer: 'False\n'


Question: 'Let t = -34 + 146. Does 14 divide t?\n'

Answer: 'True\n'


Question: 'Suppose -8*s = -4*s - 396. Let f = s - 19. Is f a multiple of 10?\n'

Answer: 'True\n'


Question: 'Let s be 4/18 + 342/(-81). Let a(g) = g - 60. Let m be a(0). Is (0 - s)*m/(-8) a multiple of 15?\n'

Answer: 'True\n'


Question: 'Suppose -5*y - 4*z + 1139 = 0, 714 - 1877 = -5*y + 2*z. Is y a multiple of 11?\n'

Answer: 'True\n'


Question: 'Let j(s) = 4*s**3 + 12*s**2 - 45*s - 25. Is j(6) a multiple of 26?\n'

Answer: 'False\n'


Question: 'Does 6 divide (-8)/20 + 7584/60?\n'

Answer: 'True\n'


Question: 'Suppose 0 = -79*j + 78*j + 356. Is j a multiple of 42?\n'

Answer: 'False\n'


Question: 'Suppose -2*x + 25 = -3*b + 9, x = 3*b + 2. Let m(s) = s**2 + 4*s - 10. Let v be m(2). Suppose 5*t = -4*d + x, -v*d + 0*d - 32 = -4*t. Is t a multiple of 2?\n'

Answer: 'True\n'


Question: 'Suppose 0 = -5*v + 10, -2*v = 2*p + p - 16. Suppose p*n = n + 87. Is 8 a factor of n?\n'

Answer: 'False\n'


Question: 'Suppose -6 = 3*t, m + 5*t = 62 - 19. Suppose -2*s = -3*g - 11, -s - 2*g - 1 = 3*g. Suppose 0 = s*i - m - 3. Is i a multiple of 12?\n'

Answer: 'False\n'


Question: 'Suppose 66*l = 30895 + 455. Is l a multiple of 25?\n'

Answer: 'True\n'


Question: 'Let h = 15 + -25. Let z(f) = f**3 + 12*f**2 + 10*f + 8. Let c be z(h). Suppose 0*s = 2*s - c. Is 27 a factor of s?\n'

Answer: 'True\n'


Question: 'Suppose 0 + 3 = 4*c - 5*h, h - 3 = -c. Is 9 a factor of (-18)/(-12)*((c - -5) + -1)?\n'

Answer: 'True\n'


Question: 'Suppose 2*c - 1156 = 4*h, 0 = 2*h + 1 - 5. Is 7 a factor of c?\n'

Answer: 'False\n'


Question: 'Suppose -2*z + z = -33. Suppose z - 9 = -4*w. Let d(n) = -4*n - 7. Is d(w) a multiple of 4?\n'

Answer: 'False\n'


Question: 'Let q = 1435 - 1297. Is q even?\n'

Answer: 'True\n'


Question: 'Suppose -5*n = 5*d - 1010, -5*n - 781 = -4*d - 0*d. Let f be ((-24)/4)/((-6)/(-93)). Let r = d + f. Is 18 a factor of r?\n'

Answer: 'False\n'


Question: 'Let z(a) be the second derivative of a**4/24 + a**3/3 + 5*a**2/2 + 12*a. Let t(m) be the first derivative of z(m). Is t(8) a multiple of 2?\n'

Answer: 'True\n'


Question: 'Let d(c) = c**3 + 9*c**2 + 2*c - 15. Is d(-7) a multiple of 13?\n'

Answer: 'False\n'


Question: 'Let f(l) = -2*l + 8. Let n be f(-8). Suppose -n = -3*p + 24. Is 7 a factor of p?\n'

Answer: 'False\n'


Question: 'Suppose -w = 1 - 6. Suppose w*b + 15 = -0, 4*f - 314 = -2*b. Let y = -9 + f. Does 21 divide y?\n'

Answer: 'False\n'


Question: 'Suppose 12*s - 6*s = -342. Let v = s + 71. Is v a multiple of 7?\n'

Answer: 'True\n'


Question: 'Let f = 47 + -38. Suppose 0 = f*g - 12*g + 387. Does 15 divide g?\n'

Answer: 'False\n'


Question: 'Suppose -16*j + 24*j - 5672 = 0. Is 29 a factor of j?\n'

Answer: 'False\n'


Question: 'Suppose 7*v + 5460 = 33*v. Is v a multiple of 42?\n'

Answer: 'True\n'


Question: 'Let a = 60 + -4. Suppose 2*n + 5*y + 42 = 7*y, -3*n - 4*y = 28. Is 14 a factor of 296/7 + n/a?\n'

Answer: 'True\n'


Question: 'Is 8 a factor of (2*(-1 - -9))/(13/104)?\n'

Answer: 'True\n'


Question: 'Let b(i) = 47*i**2 - i - 1. Let l(w) = -w**3 + 7*w**2 - 5*w - 8. Let q be l(6). Let m be b(q). Suppose 18 = -3*x + m. Does 19 divide x?\n'

Answer: 'True\n'


Question: 'Suppose -4*h + 41 = -559. Suppose h = 2*u + 2*m, 2*u + 15 = 5*m + 130. Is u a multiple of 28?\n'

Answer: 'False\n'


Question: 'Does 47 divide -2*(-96 + -2 - -4) - 0?\n'

Answer: 'True\n'


Question: 'Suppose -5*c = -5*d + 1430, 3*c + 1146 = 8*d - 4*d. Suppose 14*z + d = 18*z. Is 36 a factor of z?\n'

Answer: 'True\n'


Question: 'Let y(r) = r**2 + 6*r + 1. Suppose p + p + 44 = 4*v, p = 4*v - 32. Does 23 divide y(p)?\n'

Answer: 'False\n'


Question: 'Suppose v = 2*v - 14. Does 5 divide (10/(-3))/(v/(-42))?\n'

Answer: 'True\n'


Question: 'Let v be (-18)/(1/84*-2). Suppose 0 = 12*n + 9*n - v. Is n a multiple of 12?\n'

Answer: 'True\n'


Question: 'Let r = -69 + 82. Suppose 829 + 1108 = r*p. Does 36 divide p?\n'

Answer: 'False\n'


Question: 'Let h = 3 + 63. Does 6 divide h?\n'

Answer: 'True\n'


Question: 'Let h(q) = -q + 5. Let y(m) = -1. Let x(i) = h(i) - 3*y(i). Let d be x(7). Is 17 a factor of (-71 + 3)*d/(-2)?\n'

Answer: 'True\n'


Question: 'Let j = -179 - -277. Suppose -o + 2 = 0, 0 = 5*s - o - 30 - j. Is s a multiple of 8?\n'

Answer: 'False\n'


Question: 'Is 8 a factor of (-8)/(1 - (-3)/18*-9)?\n'

Answer: 'True\n'


Question: 'Let a(b) = -b**2 - b + 5. Let n be a(-6). Does 12 divide (-135)/6*80/n?\n'

Answer: 'True\n'


Question: 'Let q(o) = 2*o + 8 - 7 - 4*o. Let d be q(-1). Suppose -3*t + 62 = 3*c + t, -d*t = -3*c + 27. Is c a multiple of 13?\n'

Answer: 'False\n'


Question: 'Let u be 2/(-7) - 372/21. Does 17 divide (68/6)/(u/(-27))?\n'

Answer: 'True\n'


Question: 'Does 12 divide 1 + 1324/8 + 2/(-4)?\n'

Answer: 'False\n'


Question: 'Let y = 260 - 152. Let p = y + -71. Is 6 a factor of p?\n'

Answer: 'False\n'


Question: 'Suppose 28*g - 142575 - 17389 = 0. Is 29 a factor of g?\n'

Answer: 'True\n'


Question: 'Let w(y) = -6 - 321*y + 3 + 3. Let j be w(2). Is j/(-24) - 3/(-12) a multiple of 15?\n'

Answer: 'False\n'


Question: 'Suppose 12*r = 21*r - 7110. Is 36 a factor of r?\n'

Answer: 'False\n'


Question: 'Suppose y - 2*y = -102. Suppose -3*l + 6*l - y = 0. Let f = l + -12. Does 12 divide f?\n'

Answer: 'False\n'


Question: 'Let z(k) = k**2 - 9. Let g be z(-3). Suppose -10*c - 12 + 1412 = g. Is 35 a factor of c?\n'

Answer: 'True\n'


Question: 'Let f(z) = -z**2 - 4*z + 2. Let t be f(-3). Suppose 5*u - 20 = -t. Does 2 divide u?\n'

Answer: 'False\n'


Question: 'Suppose 4*a = 495 + 665. Is a a multiple of 24?\n'

Answer: 'False\n'


Question: 'Suppose -5*k + 4 = 3*p - p, 5*k - 22 = 4*p. Let v(w) = 0 + 26*w**k - 2*w - 3 - 1 + 5. Is v(1) a multiple of 7?\n'

Answer: 'False\n'


Question: 'Let c(x) = x**2 + 7*x - 5 - 3*x + 4*x. Let f be c(-9). Let r(z) = z**3 - 3*z**2 + z - 5. Does 5 divide r(f)?\n'

Answer: 'True\n'


Question: 'Let h = -4 - -6. Suppose -h*j + 5 + 0 = -x, j - x = 2. Suppose j*g = 3*u - 117, 5*u = u - 5*g + 129. Is 12 a factor of u?\n'

Answer: 'True\n'


Question: 'Let b(x) = -18*x - 8. Let p be ((-24)/48)/(1/6). Does 23 divide b(p)?\n'

Answer: 'True\n'


Question: 'Suppose -116 = -4*b - 5*z, -2*z - 3*z + 20 = 0. Let h = b - 17. Suppose 120 = -3*r + h*r. Is 10 a factor of r?\n'

Answer: 'True\n'


Question: 'Let r(o) = o**3 - 73*o + 10. Is 32 a factor of r(9)?\n'

Answer: 'False\n'


Question: 'Suppose -32 = -2*x + 4. Suppose -x*z + 84 = -17*z. Is 7 a factor of z?\n'

Answer: 'True\n'


Question: 'Let k be 2/(-11) + 52/44. Let q(t) = -1. Let u(j) = -j + 2. Let x(g) = k*u(g) - 3*q(g). Is 13 a factor of x(-8)?\n'

Answer: 'True\n'


Question: 'Suppose -4*w - 723 = -5*t - 3393, -t - 1332 = -2*w. Is 5 a factor of w?\n'

Answer: 'True\n'


Question: 'Let x be (-3)/12 + (-9)/12. Let o = 0 - x. Is (o - (-4 + 1)) + 2 even?\n'

Answer: 'True\n'


Question: 'Let t(c) = -c**3 - 7*c**2 - 8*c + 5. Let p be 3 - 8 - (-5 - -6). Is 6 a factor of t(p)?\n'

Answer: 'False\n'


Question: 'Suppose -2*o + 27 = 3*w, 2*o + 6*w = 4*w + 32. Let l = o - 18. Suppose -2*i + 0*i + 146 = l*y, -4*y = 5*i - 183. Does 13 divide y?\n'

Answer: 'True\n'


Question: 'Let w be (-3 - 1 - -12) + -2. Is 17 a factor of 66/22*136/w?\n'

Answer: 'True\n'


Question: 'Suppose 0*g + 10 = 2*s + 2*g, 5*s + 5 = 5*g. Suppose 3*a - 4*j + 196 = a, -s*j + 286 = -3*a. Does 8 divide a/(-4) + (-27)/(-18)?\n'

Answer: 'False\n'


Question: 'Let m(l) = l**3 - 11*l**2 + 17*l - 2. Let d be m(9). Let x = d + 74. Is x a multiple of 21?\n'

Answer: 'True\n'


Question: 'Let o be -5 + (1 - -3) - -15. Suppose -12*s = -o*s + 272. Is s a multiple of 33?\n'

Answer: 'False\n'


Question: 'Suppose 3*p + 0*p + 4833 = 3*u, -4*u = -p - 6456. Is u a multiple of 85?\n'

Answer: 'True\n'


Question: 'Let j(m) = -277*m + 556. Is 78 a factor of j(-8)?\n'

Answer: 'False\n'


Question: 'Suppose z - 252 = -3*l + 253, 3*l - 509 = -5*z. Is l a multiple of 28?\n'

Answer: 'True\n'


Question: 'Let t(b) = -16*b + 1964. Is t(0) a multiple of 52?\n'

Answer: 'False\n'


Question: 'Let i(k) be the second derivative of 4*k**2 + 2/3*k**4 + 0 - 1/20*k**5 + 4/3*k**3 + 7*k. Is i(8) a multiple of 18?\n'

Answer: 'True\n'


Question: 'Let r = 279 + -74. Let a = r + -91. Does 20 divide a?\n'

Answer: 'False\n'


Question: 'Suppose 3*g = -l, -7*g + 2*g = 3*l. Suppose 0 = -4*x + 5*n + 125, g*x = -x + 5*n + 35. Is x a multiple of 14?\n'

Answer: 'False\n'


Question: 'Is -15 - 378/(-28) - 390/(-4) a multiple of 30?\n'

Answer: 'False\n'


Question: 'Suppose -z = 3*z. Suppose -3*p - 5*k + k - 67 = z, 5*p - 4*k + 165 = 0. Let q = -20 - p. Is 7 a factor of q?\n'

Answer: 'False\n'


Question: 'Suppose 23334 - 5693 = 13*p. Is 23 a factor of p?\n'

Answer: 'True\n'


Question: 'Suppose 4*i - 2*i = 252. Let f = i - 66. Does 10 divide f?\n'

Answer: 'True\n'


Question: 'Suppose 0 = -28*o + 32*o - 44. Suppose o*z = 2*z + 657. Does 9 divide z?\n'

Answer: 'False\n'


Question: 'Suppose 4*w = -2 + 18. Let v = 3 - w. Let n(g) = -15*g - 1. Does 7 divide n(v)?\n'

Answer: 'True\n'


Question: 'Let g be 151 + 2/2*(-9)/(-3). Suppose -5*r - d + g = -0*d, r = -5*d + 50. Is r a multiple of 6?\n'

Answer: 'True\n'


Question: 'Suppose 46*k = -16*k + 290656. Is 16 a factor of k?\n'

Answer: 'True\n'


Question: 'Is 936 - -6*4/(-3) a multiple of 12?\n'

Answer: 'False\n'


Question: 'Let u(t) = -19*t - 5*t**2 + 4*t**2 - 14 - 7*t + 5*t. Let z be u(-10). Let p = z + -48. Is p a multiple of 16?\n'

Answer: 'True\n'


Question: 'Suppose 63*r - 18097 = 677. Is r a multiple of 4?\n'

Answer: 'False\n'


Question: 'Let z = 1913 - 898. Suppose 0 = -14*f + z + 959. Is f a multiple of 12?\n'

Answer: 'False\n'


Question: 'Is 44 a factor of -94*((-8)/20)/((-1)/(-55))?\n'

Answer: 'True\n'


Question: 'Suppose 0 = -2*r + 2. Let i be (0/r)/(3 - 4). Suppose i*j + j = -s + 9, 3*s = -4*j + 35. Is j a multiple of 8?\n'

Answer: 'True\n'


Question: 'Let n = 56 - 56. Suppose 4*t - 2*j - 384 = 0, n*j = 5*j. Does 14 divide t?\n'

Answer: 'False\n'


Question: 'Let t = 80 - -176. Suppose -w - t = 3*w. Let j = 115 + w. Does 17 divide j?\n'

Answer: 'True\n'


Question: 'Let b = -373 + 481. Is 18 a factor of b?\n'

Answer: 'True\n'


Question: 'Does 12 divide (-432)/7*(-1806)/172?\n'

Answer: 'True\n'


Question: 'Let y(a) = 14*a - a**3 - 7*a - 22*a**2 + 13*a + 8 + 15. Is y(-23) a multiple of 7?\n'

Answer: 'False\n'


Question: 'Suppose -7*n = 2*n - 45. Suppose -n*x + 188 = -2*q + 7, 0 = -q + 2. Does 21 divide x?\n'

Answer: 'False\n'


Question: 'Let t be (2 - 5)/(((-38)/4)/19). Let y(w) be the second derivative of w**5/20 - w**4/3 - 7*w**3/6 - 4*w**2 - 2*w. Is 22 a factor of y(t)?\n'

Answer: 'True\n'


Question: 'Suppose -5*l - 2*y = -5, -3*y - 31 = -2*l + 2*y. Let x(s) = 97*s + 2. Let c be x(l). Suppose -5*u - 4*z = -c, -z - 181 - 127 = -5*u. Does 17 divide u?\n'

Answer: 'False\n'


Question: 'Let f(g) = 2*g + 15. Let z be f(-11). Let k = 10 + z. Suppose -5*w + 75 = -v, 0 = -2*w - k*w - 3*v + 95. Does 7 divide w?\n'

Answer: 'False\n'


Question: 'Suppose -t + 3 = -s, -9 = -t - t + s. Does 8 divide ((-636)/(-10))/(t/20)?\n'

Answer: 'False\n'


Question: 'Let j(q) = 41*q + 4. Does 62 divide j(6)?\n'

Answer: 'False\n'


Question: 'Suppose 5*z = -5*g + 20, 4*z - 7 - 3 = 2*g. Suppose z*q - 7*q = -76. Is 7 a factor of q?\n'

Answer: 'False\n'


Question: 'Let j = -5 - 2. Let t = 12 + j. Does 5 divide t?\n'

Answer: 'True\n'


Question: 'Let u be 0/(-3 - 2/(-2)). Does 9 divide -1 - u - (-11 + -8)?\n'

Answer: 'True\n'


Question: 'Suppose 2*k - 5*k - 9 = 0. Is 2 a factor of (9 + -2)*6/7 + k?\n'

Answer: 'False\n'


Question: 'Suppose -8 - 7 = -3*a - 2*u, -2*a - 3*u + 15 = 0. Is 20 a factor of a/5 + 487/5?\n'

Answer: 'False\n'


Question: 'Let l = 69 - -66. Does 3 divide l?\n'

Answer: 'True\n'


Question: 'Suppose -2*u = -5 - 3. Suppose -10 = 6*f - u. Let b(c) = -11*c**3 + c**2 + 2*c + 1. Does 5 divide b(f)?\n'

Answer: 'False\n'


Question: 'Let o(z) = -8*z**2 + 8*z - 8. Let x be o(-6). Let k = -218 - x. Does 9 divide k?\n'

Answer: 'True\n'


Question: 'Suppose 2*h = -4*h. Suppose h*l = -3*l + 6. Does 2 divide l?\n'

Answer: 'True\n'


Question: 'Suppose -536*u + 539*u + 9762 = 3*w, 16 = 4*u. Is w a multiple of 108?\n'

Answer: 'False\n'


Question: 'Let d(p) = -115*p - 1. Does 27 divide d(-3)?\n'

Answer: 'False\n'


Question: 'Suppose 2*m = -2*m. Let h(v) = -3*v + 14. Let x(n) = -2*n + 13. Let o(q) = -3*h(q) + 4*x(q). Is o(m) a multiple of 8?\n'

Answer: 'False\n'


Question: 'Suppose -5*o + 970 = 5*q, 5*q - 3*q + 752 = 4*o. Is o a multiple of 38?\n'

Answer: 'True\n'


Question: 'Suppose l - 5*r - 186 = 0, -4*r - r = -10. Suppose -8*s = -6*s - l. Is 14 a factor of s?\n'

Answer: 'True\n'


Question: 'Let o = -62 - -10. Let u = 22 - o. Is 37 a factor of u?\n'

Answer: 'True\n'


Question: 'Does 16 divide 2/6 - (3 - 12291/9)?\n'

Answer: 'False\n'


Question: 'Let q(x) be the first derivative of -x**4/4 + x**3 + x**2 - 3*x + 1. Let z(h) = -h**2 - 5*h + 17. Let m be z(-7). Does 2 divide q(m)?\n'

Answer: 'False\n'


Question: 'Suppose 39*y + 14592 = 58*y. Is y a multiple of 32?\n'

Answer: 'True\n'


Question: 'Let o(u) = u**2 - 11*u + 12. Does 24 divide o(12)?\n'

Answer: 'True\n'


Question: 'Let h = 719 - -185. Suppose 6*t = -286 + h. Is t a multiple of 24?\n'

Answer: 'False\n'


Question: 'Let v = 1102 - 1706. Is 6/(-15)*1 - v/10 a multiple of 15?\n'

Answer: 'True\n'


Question: 'Let j = 12 - -1. Let p = 15 - j. Suppose 5*g + 0*k = -p*k + 47, 0 = -5*g - k + 46. Is g a multiple of 2?\n'

Answer: 'False\n'


Question: 'Let s(u) = u**3 + 8*u**2 - 1. Let m be s(-8). Let p be (1 + m)*(0 + -1). Suppose c = -5*l + 93, p*c + 3*c = 4*l + 241. Is c a multiple of 15?\n'

Answer: 'False\n'


Question: 'Suppose a + 34 = -3*t + 5*a, 36 = -3*t + 3*a. Let z = t + 3. Let k = 82 + z. Does 18 divide k?\n'

Answer: 'False\n'


Question: 'Let b be (-2)/6 - 13897/(-39). Suppose b = -23*y + 27*y. Does 29 divide y?\n'

Answer: 'False\n'


Question: 'Suppose 34 = 5*w - 5*u - 1, -5*w = -3*u - 37. Let o(v) = 4 + 3*v - v + 8*v. Does 14 divide o(w)?\n'

Answer: 'True\n'


Question: 'Let x = 18 + -26. Let f = x + 53. Is 40 a factor of f?\n'

Answer: 'False\n'


Question: 'Let q(f) = 3*f - 20. Let b(p) = -3*p - 17. Let i be b(-11). Does 17 divide q(i)?\n'

Answer: 'False\n'


Question: 'Suppose -g = 5*g - 738. Let n = g - 46. Is n a multiple of 17?\n'

Answer: 'False\n'


Question: 'Let x be 2/(-7) - (-3199)/49. Suppose -4*l + 0*l = -4, -f + x = -3*l. Does 6 divide f?\n'

Answer: 'False\n'


Question: 'Let p = -69 - -72. Is (-1508)/(-6) + -6 - 1/p a multiple of 49?\n'

Answer: 'True\n'


Question: 'Let x be (-1)/(15/80)*-18. Suppose -2*v + 6*v = x. Is v a multiple of 6?\n'

Answer: 'True\n'


Question: 'Let c = 189 + -77. Let g = c - 64. Is 19 a factor of g?\n'

Answer: 'False\n'


Question: 'Let q = 860 + -584. Suppose 0*k = -4*k + q. Suppose -2*n + 2*d + 50 = 0, n - k = -5*d - 20. Is n a multiple of 6?\n'

Answer: 'False\n'


Question: 'Let f = 238 + -128. Is f a multiple of 11?\n'

Answer: 'True\n'


Question: 'Let j = 531 + -393. Is j a multiple of 17?\n'

Answer: 'False\n'


Question: 'Suppose -5*k - 2*p + 1252 = 0, 1260 - 4 = 5*k + p. Is k a multiple of 34?\n'

Answer: 'False\n'


Question: 'Suppose 5*y - 177 = -r + 1231, 4*y + r = 1126. Is y a multiple of 29?\n'

Answer: 'False\n'


Question: 'Let w(f) = -58*f + 3. Suppose -5*b = -0 + 5, -5*b - 4 = -l. Does 13 divide w(l)?\n'

Answer: 'False\n'


Question: 'Let h be (-2)/(-6) + 196/6. Suppose -j - 2*j = -m + 15, h = 5*m - j. Is 4 a factor of m?\n'

Answer: 'False\n'


Question: 'Let o = -8 - -13. Suppose -2*v = o*h - 176, -5*h + 26 = 4*v - 156. Suppose 2*w - h = 140. Is 27 a factor of w?\n'

Answer: 'False\n'


Question: 'Let p = 0 - 1. Let i be (96/42 - 2) + 10/14. Does 9 divide 25 - (-2 + i + p)?\n'

Answer: 'True\n'


Question: 'Let z be ((-36)/15)/((-3)/20). Let m be z - (-2)/((-2)/3). Let l(t) = -t**3 + 14*t**2 - 11*t - 16. Does 8 divide l(m)?\n'

Answer: 'False\n'


Question: 'Does 8 divide 1/3 - (-74252)/228?\n'

Answer: 'False\n'


Question: 'Suppose 18833 - 1794 = 11*m. Does 15 divide m?\n'

Answer: 'False\n'


Question: 'Does 17 divide 1 + (-2332)/(-2) - (-35 + 29)?\n'

Answer: 'True\n'


Question: 'Let j(i) be the first derivative of -i**3/3 - 15*i**2/2 - 10*i + 2. Let p be j(-14). Is (-1)/(p/252)*-1 a multiple of 21?\n'

Answer: 'True\n'


Question: 'Suppose -2*k = 823 - 1287. Does 29 divide k?\n'

Answer: 'True\n'


Question: 'Does 6 divide (-14)/(-6)*(2 - 256/(-4))?\n'

Answer: 'False\n'


Question: 'Let u(v) = -13*v**3 - 16*v**2 - v + 16. Let g(h) = -4*h**3 - 5*h**2 + 5. Let s(c) = 7*g(c) - 2*u(c). Does 25 divide s(-4)?\n'

Answer: 'True\n'


Question: 'Does 13 divide -18 + 402 - (0 - -7)?\n'

Answer: 'True\n'


Question: 'Let b = 74 + -48. Let t = b + 30. Is 4 a factor of t?\n'

Answer: 'True\n'


Question: 'Let y be ((-58)/(-3))/(1/(-6)). Let l = y - -216. Is l a multiple of 50?\n'

Answer: 'True\n'


Question: 'Suppose 539 = 2*p - 0*p + q, -p + 287 = 4*q. Suppose -b + 3*z - 65 = -200, -5*z - p = -2*b. Is b a multiple of 21?\n'

Answer: 'True\n'


Question: 'Let k = 1402 - 1078. Is k a multiple of 15?\n'

Answer: 'False\n'


Question: 'Is 15*((-136)/(-12) - 8/2) a multiple of 55?\n'

Answer: 'True\n'


Question: 'Suppose 6*a + 56 = 10*a. Let c = a + 27. Is 41 a factor of c?\n'

Answer: 'True\n'


Question: 'Let p be (1 - 6)*28/(-70). Suppose 2*j - 152 = -p*j - 5*g, 4*g = -3*j + 114. Is 19 a factor of j/(-4)*(-2 + 0)?\n'

Answer: 'True\n'


Question: 'Suppose 4*z - 5*w - 36 = 0, -4*w - 8 = -2*w. Suppose -4*a - z*j = -336, -5*a - j = -4*j - 404. Is 4 a factor of a?\n'

Answer: 'False\n'


Question: 'Let m(s) = 214*s - 32. Is 16 a factor of m(1)?\n'

Answer: 'False\n'


Question: 'Suppose 148*r = 156*r - 312. Is 4 a factor of r?\n'

Answer: 'False\n'


Question: 'Suppose 2*t + 1 = -b, -5*t + 6 = -4. Let h be (24/(-40))/((-1)/b). Is 18/4*(h + 9) a multiple of 9?\n'

Answer: 'True\n'


Question: 'Let r = -100 - 27. Does 25 divide r/(-5) + (-2)/5?\n'

Answer: 'True\n'


Question: 'Suppose y + 10 = 6*y. Suppose -94*b = -95*b + 18. Suppose -6 = -y*j - 2*w, -5*j + b = -3*j - w. Is j a multiple of 6?\n'

Answer: 'False\n'


Question: 'Suppose 5*n - 4*q = 51, 0*n - q - 18 = -2*n. Suppose 0 = -n*j + 9*j - 120. Does 20 divide j?\n'

Answer: 'True\n'


Question: 'Let u(h) = 49*h**2 - 8*h + 18. Is u(2) a multiple of 22?\n'

Answer: 'True\n'


Question: 'Let k = 10 - 13. Let j be (k - 0)/(6/(-4)). Suppose -z + 2*d + 15 = d, -2*z + 18 = j*d. Is z a multiple of 4?\n'

Answer: 'True\n'


Question: 'Suppose 0 = 42*l - 39*l - 1584. Is l a multiple of 22?\n'

Answer: 'True\n'


Question: 'Let o(v) = 9*v**2 - v + 12. Let u(f) = 1. Let y(w) = o(w) - 6*u(w). Does 21 divide y(3)?\n'

Answer: 'True\n'


Question: 'Let p be 2/(-5) - (-88)/20. Does 19 divide 76 - (3 - (p - -1))?\n'

Answer: 'False\n'


Question: 'Suppose 13*s = 11*s - 114. Let v = -28 - s. Does 2 divide v?\n'

Answer: 'False\n'


Question: 'Let g = -10 + 12. Suppose 6*x = g*x + 616. Does 29 divide x?\n'

Answer: 'False\n'


Question: 'Let r be 2 + (-32)/(-2) - -2. Suppose -5*o = r, 334 + 336 = 5*s + 5*o. Suppose -3*w - 2*n + s = 0, -w - w - 2*n = -94. Is w a multiple of 11?\n'

Answer: 'True\n'


Question: 'Let q(m) = -140*m - 40. Is q(-2) a multiple of 15?\n'

Answer: 'True\n'


Question: 'Suppose -w + 3*u = -24, 2*w + 4*u = 2*u + 24. Is 126/(-10)*(-100)/w a multiple of 16?\n'

Answer: 'False\n'


Question: 'Let q(r) = 5*r + 2*r - 6*r + 13. Does 19 divide q(6)?\n'

Answer: 'True\n'


Question: 'Suppose -8 + 42 = 2*h. Let z(k) = -k**3 + 16*k**2 + 19*k - 18. Is 6 a factor of z(h)?\n'

Answer: 'False\n'


Question: 'Let c(b) = -4*b**2 + 9*b - 2. Let q be c(8). Let u = q - -311. Is 25 a factor of u?\n'

Answer: 'True\n'


Question: 'Suppose 15*h - 6*h = 558. Suppose 3*q = 5*a + 219, 3*q - 4*q = 2*a - h. Does 34 divide q?\n'

Answer: 'True\n'


Question: 'Suppose -3*m + 15 = 0, 11*p - 13*p - 4*m + 344 = 0. Is p a multiple of 2?\n'

Answer: 'True\n'


Question: 'Does 36 divide 42*16*((-57)/(-12) - 4)?\n'

Answer: 'True\n'


Question: 'Suppose -3*l + 5*o = 14, 2*o + 2*o = -4*l + 24. Suppose -2*a - 4*w = 88, -3*a + 2*w - 122 = 3*w. Does 7 divide (-930)/a - l/8?\n'

Answer: 'False\n'


Question: 'Let x(i) = -i**3 - 5*i**2 + 13*i + 18. Let n be x(-7). Suppose -4*k + 37 = 5*b, 2*k = -3*k - 2*b + n. Does 2 divide k?\n'

Answer: 'False\n'


Question: 'Suppose 0 = -2*t + 4*y + 768, 5*y - 295 = -3*t + 890. Is t a multiple of 10?\n'

Answer: 'True\n'


Question: 'Let k(o) = 41*o - 68. Does 55 divide k(16)?\n'

Answer: 'False\n'


Question: 'Is 19 a factor of ((-678)/4)/(54/(-72))?\n'

Answer: 'False\n'


Question: 'Let f(y) be the third derivative of 29*y**4/24 + y**3/6 - 15*y**2. Is f(3) a multiple of 15?\n'

Answer: 'False\n'


Question: 'Suppose -2*s + 30 = u - 3*s, 5*u = -4*s + 114. Let p(j) = -5*j + 12. Let h be p(6). Let l = u + h. Does 8 divide l?\n'

Answer: 'True\n'


Question: 'Let k(m) = m**2 - 8*m + 6. Is k(-8) a multiple of 7?\n'

Answer: 'False\n'


Question: 'Suppose 0 = -5*g + 6*g + j - 742, -4*g + 3*j = -2954. Is g a multiple of 10?\n'

Answer: 'True\n'


Question: 'Suppose w - 10 = -12. Does 18 divide (6*(-3 + w))/(2/(-6))?\n'

Answer: 'True\n'


Question: 'Suppose 0 = -k - 4*h - 11, k - 3 = 4*h + 10. Let w(l) = -l**3 + 5*l**2 + l + 5. Let b be w(7). Let p = k - b. Is 29 a factor of p?\n'

Answer: 'True\n'


Question: 'Let f(n) = 22*n + 34. Let x(i) = -2. Let u(y) = -2*f(y) - 36*x(y). Suppose 4*o - 7*o + g = 10, -5*o + 2*g - 18 = 0. Is u(o) a multiple of 19?\n'

Answer: 'False\n'


Question: 'Suppose 1080 = 3*l + 2*l. Does 12 divide l?\n'

Answer: 'True\n'


Question: 'Suppose 28*j = 36257 - 8117. Does 15 divide j?\n'

Answer: 'True\n'


Question: 'Suppose -2*t + 856 = -q, -14*q = -15*q - 2. Is t a multiple of 19?\n'

Answer: 'False\n'


Question: 'Let p = -3914 + 6531. Does 26 divide p?\n'

Answer: 'False\n'


Question: 'Let t(r) be the first derivative of -r**5/20 + 11*r**4/12 - 11*r**3/6 + 7*r**2 + 8*r - 2. Let q(x) be the first derivative of t(x). Is q(10) even?\n'

Answer: 'True\n'


Question: 'Let y(k) = -7*k + 21. Let u(r) = 3*r - 10. Let n(j) = 15*u(j) + 6*y(j). Does 6 divide n(14)?\n'

Answer: 'True\n'


Question: 'Suppose 9*t = 2*t + 511. Is 17 a factor of t?\n'

Answer: 'False\n'


Question: 'Let t(k) = k**3 - k + 1. Let p(g) = g**3 + 7*g**2 - 7*g + 5. Let y(d) = p(d) - 2*t(d). Suppose 3 = -4*s - 5*v, 4*s + 4*v = -0*s. Does 12 divide y(s)?\n'

Answer: 'True\n'


Question: 'Let h(k) = 29*k - 10. Let t be h(5). Suppose -5*a = -10*a + t. Is a a multiple of 27?\n'

Answer: 'True\n'


Question: 'Let v = -381 + 586. Is v a multiple of 41?\n'

Answer: 'True\n'


Question: 'Is -2*(6 - 23)*86/4 a multiple of 43?\n'

Answer: 'True\n'


Question: 'Suppose -3 + 1 = -3*k - f, -5*k - 8 = -4*f. Suppose -5*q - 15 + 105 = k. Does 6 divide q?\n'

Answer: 'True\n'


Question: 'Suppose 6*k = 3*k + 4*p - 4, -5*k + 3*p - 3 = 0. Suppose -21*z + 16*z + 105 = k. Does 7 divide z?\n'

Answer: 'True\n'


Question: 'Let y(j) = -2*j**2 - 59*j - 38. Suppose -10*m + 4 - 254 = 0. Is y(m) a multiple of 17?\n'

Answer: 'True\n'


Question: 'Let g(j) = 14*j**2 + 122*j + 835. Does 29 divide g(-7)?\n'

Answer: 'True\n'


Question: 'Let y = -491 + 2246. Is y a multiple of 65?\n'

Answer: 'True\n'


Question: 'Let q(p) = -2*p - 13. Let i be q(-11). Let y = 14 - i. Suppose 0 = -y*z + 343 - 138. Is z a multiple of 16?\n'

Answer: 'False\n'


Question: 'Suppose -6596 - 541 = -3*c. Is c a multiple of 57?\n'

Answer: 'False\n'


Question: 'Let z be ((-24)/(-6))/(0 + 1). Suppose 3*u - 126 = 4*f, 0 = -z*u + 3*u + 4*f + 42. Suppose -4*p = -2*q - u, -5*q = p - 5*p + 33. Is p a multiple of 6?\n'

Answer: 'True\n'


Question: 'Let r = 375 + -269. Is r a multiple of 14?\n'

Answer: 'False\n'


Question: 'Let r(q) = -q**3 + 12*q**2 + 7*q + 9. Let o(c) = -c**3 + 20*c**2 - 36*c + 12. Let d be o(18). Is r(d) a multiple of 12?\n'

Answer: 'False\n'


Question: 'Suppose -145 = 5*c + 5*o, -3*c + 5*c + o + 54 = 0. Let t = c - -25. Does 16 divide -68*(-1)/(1 - t)?\n'

Answer: 'False\n'


Question: 'Suppose s = 5*s - 44. Suppose 3*w - 95 = 3*h - s, -5*w + 164 = h. Is w a multiple of 8?\n'

Answer: 'True\n'


Question: 'Let a(d) = -9*d**2 - 9*d - 2. Let p(m) = 10*m**2 + 8*m + 1. Let k(x) = 4*a(x) + 5*p(x). Is 10 a factor of k(1)?\n'

Answer: 'False\n'


Question: 'Let u(m) = 3*m**2 - 12*m + 15. Let n(c) = c + 1. Let w(b) = -3*n(b) + u(b). Let f be w(7). Suppose 5*a - 3*a = f. Is a a multiple of 9?\n'

Answer: 'True\n'


Question: 'Let r(c) = -c**3 + 7*c**2 - 3*c + 8. Let j be 0 + (2 - 2*-7). Let m = -10 + j. Does 26 divide r(m)?\n'

Answer: 'True\n'


Question: 'Suppose 0 = 5*b - 1266 - 714. Is b a multiple of 44?\n'

Answer: 'True\n'


Question: 'Suppose -d - 2*k + 1 = -3*k, -4*d - 3*k + 25 = 0. Suppose d*i = 5*i - 90. Is 18 a factor of i?\n'

Answer: 'True\n'


Question: 'Is (-3 - (-1 + 0)) + 134 a multiple of 33?\n'

Answer: 'True\n'


Question: 'Is (56/(-42))/(1/(-1674)) a multiple of 31?\n'

Answer: 'True\n'


Question: 'Suppose -7 = 8*s - 23. Is (-205)/(-5) - (s + -5 + 0) a multiple of 11?\n'

Answer: 'True\n'


Question: 'Let v be 6 - -3 - 3 - 2. Let k = v + 62. Is 6 a factor of k?\n'

Answer: 'True\n'


Question: 'Suppose -f - 264 = 2*f. Let v = -50 - f. Let c = -16 + v. Is 11 a factor of c?\n'

Answer: 'True\n'


Question: 'Suppose 4*p = 5*j + 135, 4*j - 140 = -3*p - 0*p. Is p a multiple of 8?\n'

Answer: 'True\n'


Question: 'Let h(u) be the third derivative of -23*u**5/60 - u**4/24 + 4*u**3 - 4*u**2. Let q(y) = -8*y**2 + 8. Let a(l) = -6*h(l) + 17*q(l). Is 24 a factor of a(5)?\n'

Answer: 'True\n'


Question: 'Let q(w) = 133*w**2 - 8*w + 1. Let o be q(2). Suppose -3*s = 5*b - o, -2*s + 2*b = 5*b - 344. Is 10 a factor of s?\n'

Answer: 'False\n'


Question: 'Suppose -h - 2*h = 3*w - 30, 2*h - 5 = w. Suppose h*u - 155 = 5*r, 0 = -4*r + 3 + 9. Does 24 divide u?\n'

Answer: 'False\n'


Question: 'Suppose 4*j = -2*a + 196, a + 40 - 135 = -5*j. Let o = a - -124. Does 55 divide o?\n'

Answer: 'False\n'


Question: 'Let x be (-604)/(-10) - 14/35. Suppose -t + 5*t + 3*c = 106, -2*t + x = 5*c. Is t a multiple of 9?\n'

Answer: 'False\n'


Question: 'Let d = -28 - -20. Let s = 12 + d. Suppose -111 = -s*m + 3*k, -m + 34 = -0*k - 2*k. Is 17 a factor of m?\n'

Answer: 'False\n'


Question: 'Let h = 25 - 22. Suppose -h*y = 3*y - 12. Is 36/(4*y/8) a multiple of 18?\n'

Answer: 'True\n'


Question: 'Suppose 2*t - 6*y + 5*y - 2074 = 0, 3085 = 3*t + 5*y. Is 45 a factor of t?\n'

Answer: 'True\n'


Question: 'Let w be (-528)/6 - (2 - 2). Does 3 divide (5 - w/40)*(-10)/(-2)?\n'

Answer: 'True\n'


Question: 'Let b = 244 + -98. Let n = b + -42. Does 18 divide n?\n'

Answer: 'False\n'


Question: 'Let y = 344 + -157. Is 8 a factor of y?\n'

Answer: 'False\n'


Question: 'Let y(g) = 7*g - 3. Let k be y(5). Let l = k + -14. Is l - 3/((-12)/(-16)) a multiple of 9?\n'

Answer: 'False\n'


Question: 'Let v(d) = -5*d**2 - 61*d - 2. Does 20 divide v(-7)?\n'

Answer: 'True\n'


Question: 'Let p = 253 - -946. Is 72 a factor of p?\n'

Answer: 'False\n'


Question: 'Does 12 divide (300/105)/(1/70)?\n'

Answer: 'False\n'


Question: 'Suppose -657 = -5*p - 4*r - 145, 4*r = -8. Suppose -10*c = -8*c. Suppose 3*n + n - p = c. Does 8 divide n?\n'

Answer: 'False\n'


Question: 'Let j be 3 - -3*(2 + 56/(-12)). Let r = 33 + j. Does 14 divide r?\n'

Answer: 'True\n'


Question: 'Let g(q) be the first derivative of -q**2/2 + 4*q + 1. Does 5 divide g(-7)?\n'

Answer: 'False\n'


Question: 'Suppose -5*s = -171 - 89. Suppose -y - y + s = 0. Is y a multiple of 13?\n'

Answer: 'True\n'


Question: 'Let o = 0 - -17. Let x = -96 - -149. Let r = x - o. Is 12 a factor of r?\n'

Answer: 'True\n'


Question: 'Suppose 0 = v - 185 - 53. Is (1/2*2)/(2/v) a multiple of 17?\n'

Answer: 'True\n'


Question: 'Let h = 25 - 20. Suppose -a = f - h*f + 18, -5*f + 2*a = -24. Let b(m) = 7*m**2 - 2*m - 4. Is b(f) a multiple of 26?\n'

Answer: 'False\n'


Question: 'Let m = 9 + -14. Let n(f) = -20*f - 4. Let v be n(m). Let i = 149 - v. Is i a multiple of 18?\n'

Answer: 'False\n'


Question: 'Suppose d = -5*b + 75, 2*b + 3*d - 1 = b. Suppose -18*g + 320 = -b*g. Is 32 a factor of g?\n'

Answer: 'True\n'


Question: 'Suppose g + 5 = 0, -5*w = 5*g - 9*g - 120. Let l = 67 - w. Is 47 a factor of l?\n'

Answer: 'True\n'


Question: 'Let p be (-3)/18*4 - (-28)/6. Let x be 114 + (0 + 2 - 2). Suppose p*l = x - 18. Does 9 divide l?\n'

Answer: 'False\n'


Question: 'Let x(q) = -35*q**2 + 2*q + 10. Let c(t) = -12*t**2 + t + 3. Let f(i) = -7*c(i) + 2*x(i). Does 32 divide f(-2)?\n'

Answer: 'False\n'


Question: 'Let s = -17 + 19. Suppose p = -s*p - 54. Is 12/p - (-574)/6 a multiple of 20?\n'

Answer: 'False\n'


Question: 'Let h be (6/(-8))/((-6)/24). Suppose -p = h - 60. Is 19 a factor of p?\n'

Answer: 'True\n'


Question: 'Suppose 2*q + 1086 = 2*k, 8*k + 2*q - 1609 = 5*k. Is k a multiple of 77?\n'

Answer: 'True\n'


Question: 'Let v(r) = -r - 4. Let i be v(-6). Suppose -4*w - 336 = -4*z, -2*w = -z + i*w + 90. Is z a multiple of 26?\n'

Answer: 'False\n'


Question: 'Does 60 divide (2 + (-16)/6)*-465?\n'

Answer: 'False\n'


Question: 'Suppose 4*a - 3*a + 3*n - 306 = 0, 5*a = -3*n + 1494. Suppose 4*f = -h + 4 + 73, -4*h - 5*f = -a. Suppose 3*k - h + 1 = 0. Is 6 a factor of k?\n'

Answer: 'True\n'


Question: 'Suppose -5*o - 1 + 26 = 0. Suppose -5*s + 2*c = -c - 587, -5*s = -o*c - 595. Is s a multiple of 26?\n'

Answer: 'False\n'


Question: 'Suppose 5*k - 5 = 0, -3*m - k + 2577 = m. Is 92 a factor of m?\n'

Answer: 'True\n'


Question: 'Let d(p) be the third derivative of -199*p**4/24 + 2*p**3/3 - 22*p**2. Is d(-1) a multiple of 29?\n'

Answer: 'True\n'


Question: 'Let y(l) be the first derivative of 1/4*l**4 - 1/2*l**2 + 72*l + 0*l**3 - 1. Is y(0) a multiple of 26?\n'

Answer: 'False\n'


Question: 'Let b be -3 - (-377 - (-6 + 3)). Let f = b - 212. Let x = f + -105. Is x a multiple of 11?\n'

Answer: 'False\n'


Question: 'Let i = 2 - 2. Suppose 2*d = -i*d + 4. Suppose d*f - 15 = -f. Is f even?\n'

Answer: 'False\n'


Question: 'Suppose -86 = 2*x - 0*x. Let s(q) = -8*q + 93. Let v be s(0). Let r = x + v. Does 13 divide r?\n'

Answer: 'False\n'


Question: 'Let t(l) = l + 96. Is 7 a factor of t(-12)?\n'

Answer: 'True\n'


Question: 'Let h(x) = -21 - 3*x**2 - 19*x + 6*x**2 + 4 + 6. Is 14 a factor of h(14)?\n'

Answer: 'False\n'


Question: 'Let p = 73 + -17. Suppose p + 344 = 4*u. Is u a multiple of 25?\n'

Answer: 'True\n'


Question: 'Let u(y) = 45*y - 42. Is u(2) a multiple of 24?\n'

Answer: 'True\n'


Question: 'Suppose 9 + 3 = 3*c. Let v = 9 - c. Let k(p) = 3*p**2 - 7. Is k(v) a multiple of 22?\n'

Answer: 'False\n'


Question: 'Suppose 0 = -4*n + 154 + 1050. Is n a multiple of 5?\n'

Answer: 'False\n'


Question: 'Let g be 2/(((-20)/8)/(-5)). Suppose -2*r - r = -810. Suppose g*s = t + 261, -4*s + r = -0*s + 2*t. Is 22 a factor of s?\n'

Answer: 'True\n'


Question: 'Let h(d) = 14*d + 2 + 7 - 3 - 13*d. Does 11 divide h(5)?\n'

Answer: 'True\n'


Question: 'Is 45 a factor of (36/(-21))/((-1)/420)?\n'

Answer: 'True\n'


Question: 'Suppose -h = 4*h - 5*m - 1330, -2*h - 3*m = -532. Does 14 divide h?\n'

Answer: 'True\n'


Question: 'Suppose 2 = -2*v - 16. Let h(x) = -x**2 - 7*x + 22. Let j be h(v). Suppose -j*g = 2 - 10, -2*a + 10 = -g. Is 2 a factor of a?\n'

Answer: 'True\n'


Question: 'Let r(m) = -m**3 + 4*m**2 + 31*m - 6. Is 3 a factor of r(5)?\n'

Answer: 'False\n'


Question: 'Let i(o) = -3 - 13 - o + o**2 - 3*o - 18*o. Does 4 divide i(24)?\n'

Answer: 'True\n'


Question: 'Let t be (-24)/(-180) + 1256/30. Suppose 718 = 4*v + t. Is 39 a factor of v?\n'

Answer: 'False\n'


Question: 'Let q(j) = -2*j**2 - 7*j + 9. Let i be q(-5). Let r(z) = 11*z + 76. Is r(i) a multiple of 10?\n'

Answer: 'True\n'


Question: 'Suppose -4*t - 3*w - 2*w - 40 = 0, -5*w - 55 = 5*t. Let f = -11 - t. Suppose f*x - 3*x - 20 = -3*v, 30 = 2*x + v. Does 4 divide x?\n'

Answer: 'False\n'


Question: 'Let a be 0*(-1)/4 - -119. Let o be 26/5 + (-8)/40. Suppose y + o*p + 6 = 0, a = 5*y - 4*p + 4. Is 19 a factor of y?\n'

Answer: 'True\n'


Question: 'Let n = 4 - 1. Suppose 2*b = -3*l + 15, -5*l + l - 14 = -n*b. Suppose b = -d + 19. Is d a multiple of 13?\n'

Answer: 'True\n'


Question: 'Suppose 6*n - 1458 = -252. Suppose -3*k + n + 18 = 0. Is 11 a factor of k?\n'

Answer: 'False\n'


Question: 'Let l(c) = -c + 2. Let u be l(1). Suppose 0 = 76*q - 71*q + 110. Is 3 - u - (q + -4) a multiple of 14?\n'

Answer: 'True\n'


Question: 'Suppose -s + 5*c + 7 = 19, -5*c = -15. Suppose s*d - 34 = 5. Let u(n) = n**3 - 13*n**2 + n - 10. Is u(d) even?\n'

Answer: 'False\n'


Question: 'Suppose -6*n - 1 + 19 = 0. Let a be 2/4 - (-1107)/6. Suppose -8*r = -n*r - a. Is r a multiple of 8?\n'

Answer: 'False\n'


Question: 'Let n(i) = 5*i**3 + i**2 - 3*i + 5. Let x(l) = -11*l**3 - 3*l**2 + 6*l - 10. Let j(r) = -13*n(r) - 6*x(r). Let b be j(-4). Is 20 a factor of 2*(-150)/(b - 2)?\n'

Answer: 'True\n'


Question: 'Let x(b) = -b**3 - 5*b**2 - 4*b - 3. Let t be x(-4). Let q be (15/6 + t)*-6. Suppose -47 = -q*n - 5. Is 14 a factor of n?\n'

Answer: 'True\n'


Question: 'Let p = 653 - 545. Is p even?\n'

Answer: 'True\n'


Question: 'Is 6 a factor of 11000/56 - (-9)/(-21)?\n'

Answer: 'False\n'


Question: 'Let v(i) = -494*i + 108. Is 116 a factor of v(-8)?\n'

Answer: 'True\n'


Question: 'Let v(i) = -i. Let f be v(-2). Suppose -3*z = 2*z - 15. Is (f + 10)*8/z a multiple of 16?\n'

Answer: 'True\n'


Question: 'Let o be (16/(-6))/((-2)/(-3)). Let y be (o/5)/((-2)/5). Suppose -i + 47 = -y*x + 4*x, -57 = -2*x - 3*i. Is 21 a factor of x?\n'

Answer: 'True\n'


Question: 'Let l = 465 + -218. Does 9 divide l?\n'

Answer: 'False\n'


Question: 'Let f = -295 - -403. Does 30 divide f?\n'

Answer: 'False\n'


Question: 'Suppose 2212 = 7*l - 903. Is 60 a factor of l?\n'

Answer: 'False\n'


Question: 'Let s = -87 - -94. Let d be 121/2 - 1/(-2). Suppose -2*a - s = -d. Is a a multiple of 10?\n'

Answer: 'False\n'


Question: 'Let x = 39 - -265. Is x a multiple of 19?\n'

Answer: 'True\n'


Question: 'Suppose f + 6 = -3*j, 5*j = -14 + 4. Let n be 1*(-1)/(-1)*f. Suppose n = -2*c - c + 15. Is 3 a factor of c?\n'

Answer: 'False\n'


Question: 'Suppose -7*y + 816 = 10*y. Does 12 divide y?\n'

Answer: 'True\n'


Question: 'Suppose 7*r = 8542 + 187. Is r a multiple of 27?\n'

Answer: 'False\n'


Question: 'Let t(j) = 11*j + 11. Let a be t(4). Let p = 147 - a. Is p a multiple of 46?\n'

Answer: 'True\n'


Question: 'Suppose 0 = -2*c - 3*i - 6, 5*i + 2 = -3*c - 9. Suppose c*w - 175 = -0*w - 5*l, w - 62 = 2*l. Suppose 20*v - w = 16*v. Is 3 a factor of v?\n'

Answer: 'True\n'


Question: 'Let m(b) = -35*b + 66. Suppose 0 = 2*n - 6*f + 9*f + 18, 0 = -f - 2. Does 12 divide m(n)?\n'

Answer: 'True\n'


Question: 'Suppose 3*f - 4*w = 29, 3*w + 2*w = 3*f - 34. Let l be 64/(f - (3 - 1)). Let i = l + -22. Is i a multiple of 14?\n'

Answer: 'True\n'


Question: 'Suppose -528 + 3080 = 29*n. Does 22 divide n?\n'

Answer: 'True\n'


Question: 'Suppose -5*s = 3*k - 2753, 4*s - 3*k - 227 - 1997 = 0. Is 44 a factor of s?\n'

Answer: 'False\n'


Question: 'Suppose 4*a + 44 = -4*k - 260, 5*a + k = -360. Let n = 6 - a. Let p = n - 19. Does 29 divide p?\n'

Answer: 'True\n'


Question: 'Let k = 88 - 81. Does 5 divide (38/10)/((-3)/(-105)*k)?\n'

Answer: 'False\n'


Question: 'Let i(t) = -4*t + 12. Let w be i(4). Let y(s) = 2*s**2 + 4*s + 2. Is y(w) a multiple of 2?\n'

Answer: 'True\n'


Question: 'Let u(d) = 102*d + 272. Does 14 divide u(8)?\n'

Answer: 'False\n'


Question: 'Let q(r) = 87*r + 2. Let g be q(1). Suppose x - g - 68 = 0. Does 33 divide x?\n'

Answer: 'False\n'


Question: 'Let u(v) = v**2 - 71*v - 472. Does 8 divide u(79)?\n'

Answer: 'True\n'


Question: 'Let s = -63 - -23. Is 10*(-5)/s*28 a multiple of 11?\n'

Answer: 'False\n'


Question: 'Let z = 4 - 2. Suppose 0 = y + 3*d - 20, -3*y - z*y + 2*d + 100 = 0. Suppose 0 = -0*m + 2*m - y. Is 3 a factor of m?\n'

Answer: 'False\n'


Question: 'Let f(g) = g**3 + 6*g**2 + 4*g - 4. Let t be f(-4). Suppose -t*b + 18 = -9*b. Does 6 divide b?\n'

Answer: 'True\n'


Question: 'Suppose 0 = -3*n - 2*r + 15, -r - 10 = -2*n - 5*r. Suppose -4*k + n*y = 4*y - 1097, -4*k = 2*y - 1082. Is k a multiple of 9?\n'

Answer: 'False\n'


Question: 'Suppose 5*h + 414 = y, 0 = y + 1. Let t = 100 + h. Is 5 a factor of t?\n'

Answer: 'False\n'


Question: 'Let j = 699 + -387. Is 52 a factor of j?\n'

Answer: 'True\n'


Question: 'Suppose -t = -3 + 1. Does 8 divide (-2)/((6/465)/(-1)) + t?\n'

Answer: 'False\n'


Question: 'Suppose -4*x - 712 = 656. Let i = -187 - x. Does 31 divide i?\n'

Answer: 'True\n'


Question: 'Let q = -16 - -148. Is q a multiple of 4?\n'

Answer: 'True\n'


Question: 'Let m(o) = -190*o - 1131. Does 8 divide m(-15)?\n'

Answer: 'False\n'


Question: 'Suppose -312 = -3*j - 78. Suppose p - 3*i - 82 = 0, -5*p = 3*i - 488 + j. Does 13 divide p?\n'

Answer: 'False\n'


Question: 'Let m(v) = 87*v - 30. Does 18 divide m(32)?\n'

Answer: 'True\n'


Question: 'Let g = -12 + 22. Let m be (-75)/g*(2 + -4). Is 8 a factor of -1 + 6/3 + m?\n'

Answer: 'True\n'


Question: 'Let w = 21 - 12. Let i(q) = q**3 - 9*q**2 + 1. Let l be i(w). Does 2 divide ((-12)/3)/(-4) + l?\n'

Answer: 'True\n'


Question: 'Suppose 0*h + 30 = h. Let n(a) = a**3 - 3*a**2 - 2*a - 5. Let i be n(4). Let v = h + i. Is v a multiple of 11?\n'

Answer: 'True\n'


Question: 'Suppose 3*m - 457 = -4*s, -1 = 3*m + 14. Suppose 0 = 2*v - 5*v + g + s, 2*v = -3*g + 86. Is v a multiple of 40?\n'

Answer: 'True\n'


Question: 'Let t(z) = 9*z**2 - 2*z + 3. Let u be t(1). Suppose 2*n - u = -2. Is (-29 - (n + -5))*-4 a multiple of 16?\n'

Answer: 'True\n'


Question: 'Let f(a) = -a**3 - 13*a**2 - a - 9. Suppose 12 + 27 = -3*u. Let b be f(u). Suppose -6 = -2*m - 0*m - b*o, 0 = o. Does 2 divide m?\n'

Answer: 'False\n'


Question: 'Let u = 152 + -142. Suppose u*d - 408 = 7*d. Does 17 divide d?\n'

Answer: 'True\n'


Question: 'Let g(h) = -155*h**3 + 156*h**3 + 4*h + 4*h - 6 - 2*h - 6*h**2. Is 14 a factor of g(7)?\n'

Answer: 'False\n'


Question: 'Suppose -6*c + 50 + 490 = 0. Is c a multiple of 2?\n'

Answer: 'True\n'


Question: 'Suppose -2*c - 7 = z, 4*z - 18 = 5*c + 19. Suppose 4*a - 7*a - 4*d = -80, 12 = -z*d. Is 16 a factor of a?\n'

Answer: 'True\n'


Question: 'Suppose -2*s = -5*s - 90. Let f be 1/((-1 - 0)/s). Suppose 2*v - 78 = -f. Is 24 a factor of v?\n'

Answer: 'True\n'


Question: 'Suppose -32*t + 31*t = 0. Suppose -j = c - 18, t = -3*j + 2*c - 0*c + 34. Is 6 a factor of j?\n'

Answer: 'False\n'


Question: 'Suppose 0*z = z - 2*k - 100, 385 = 4*z - 3*k. Is 25 a factor of (4/4 + z)*1?\n'

Answer: 'False\n'


Question: 'Suppose -39 = 2*o + 53. Let k = 116 + o. Let w = 122 - k. Is w a multiple of 13?\n'

Answer: 'True\n'


Question: 'Let c(r) be the third derivative of 0 + 1/6*r**3 + 0*r + 0*r**4 - 1/30*r**5 - 3/8*r**6 + 6*r**2. Is 11 a factor of c(-1)?\n'

Answer: 'True\n'


Question: 'Let w = 331 - 218. Let y be -8*(85/(-2))/(-5). Let g = y + w. Is g a multiple of 15?\n'

Answer: 'True\n'


Question: 'Let y(g) = g**2 - 7. Let k be y(4). Let i be (-30)/(-4)*(-6)/k. Let s(t) = -4*t - 3. Is s(i) a multiple of 10?\n'

Answer: 'False\n'


Question: 'Let y(s) = -s**3 + 5*s**2 - 6*s - 4. Let v(f) = f**3 + 4*f**2 - 5*f + 5. Let l be v(-5). Let d be y(l). Let a = d + 88. Does 11 divide a?\n'

Answer: 'False\n'


Question: 'Let x = 16 - 4. Suppose 22*w - x*w = 370. Is 19 a factor of w?\n'

Answer: 'False\n'


Question: 'Let t = 167 - 52. Is t a multiple of 25?\n'

Answer: 'False\n'


Question: 'Let f(i) = -i**2 - 48*i + 212. Let v be f(-50). Let o = 0 - -3. Suppose 3*u - l - v = 0, -2*u + 196 = o*u - 4*l. Is 11 a factor of u?\n'

Answer: 'False\n'


Question: 'Suppose -22*c + 4797 - 111 = 0. Does 29 divide c?\n'

Answer: 'False\n'


Question: 'Let t(p) = -13 - p**2 - 13*p + 11*p - 15 + 21*p. Is 50 a factor of t(13)?\n'

Answer: 'True\n'


Question: 'Let j be (-32)/16*-1*6/2. Is 16 a factor of 263/5 + j/15?\n'

Answer: 'False\n'


Question: 'Let i be (6/(-4))/(3/(-28)). Let t = i - 11. Let g(m) = 3*m**2 - 3*m + 2. Is 5 a factor of g(t)?\n'

Answer: 'True\n'


Question: 'Does 6 divide (-5)/((-648)/128 - -5)?\n'

Answer: 'False\n'


Question: 'Let w = -21 + 10. Let y(t) = -5*t - 10. Let k be y(w). Suppose 5*p = k + 150. Is p a multiple of 13?\n'

Answer: 'True\n'


Question: 'Let g be 4/(-10) + 190/(-25). Let o = g + 12. Suppose -o*p = -8, p - 21 - 15 = -h. Does 24 divide h?\n'

Answer: 'False\n'


Question: 'Let x be (-48)/(-26) + (-34)/(-221). Suppose 3*l - x*c = 63, 4*l - c = -l + 112. Does 10 divide l?\n'

Answer: 'False\n'


Question: 'Let c = 26 + 43. Suppose 4*k + 13 = c. Is k a multiple of 13?\n'

Answer: 'False\n'


Question: 'Let c be 115/13 + 16/104. Let l be (-16)/(-6) + 3/c. Suppose -222 + 77 = -5*r + 5*q, l*r - 85 = 5*q. Does 26 divide r?\n'

Answer: 'False\n'


Question: 'Let o be (1/2)/(4/(-72)). Let h(l) = 2*l + 16. Let w be h(o). Does 11 divide 3/(-3) - w - -19?\n'

Answer: 'False\n'


Question: 'Suppose -2*q + 2*f + 6408 = 0, -9611 = -3*q - 72*f + 74*f. Is q a multiple of 51?\n'

Answer: 'False\n'


Question: 'Suppose 4*m - 8379 = 3*b, 20*b = -5*m + 24*b + 10473. Is 30 a factor of m?\n'

Answer: 'False\n'


Question: 'Suppose -34 = -8*b + 6. Suppose -3*f + 4*o + 96 = 0, 3*f + 0*f = -b*o + 96. Is 8 a factor of f?\n'

Answer: 'True\n'


Question: 'Let l(d) = -d**3 - 16*d**2 - 5*d - 13. Let k be l(-15). Let m = -99 - k. Does 32 divide m?\n'

Answer: 'True\n'


Question: 'Suppose 0*j = 5*o - 3*j - 37, o - 21 = 4*j. Suppose t + t - 64 = 4*x, o*x - 10 = 0. Is 4 a factor of t?\n'

Answer: 'True\n'


Question: 'Suppose 159 = 5*g + 3*r - 75, g - r = 42. Is 5 a factor of g?\n'

Answer: 'True\n'


Question: 'Let f(p) = p**3 - 10*p**2 - 29*p + 15. Is 18 a factor of f(13)?\n'

Answer: 'False\n'


Question: 'Let i = -334 + 750. Is i a multiple of 13?\n'

Answer: 'True\n'


Question: 'Is (-1431)/(-15) - (26/(-10) + 2) a multiple of 12?\n'

Answer: 'True\n'


Question: 'Let t = -120 - -289. Let h = -64 + t. Is h a multiple of 21?\n'

Answer: 'True\n'


Question: 'Let j be 5*((-15)/(-5) - 2). Is 24 + j/(-20)*-4 a multiple of 9?\n'

Answer: 'False\n'


Question: 'Suppose 41*j - 32697 = 4613. Is j a multiple of 70?\n'

Answer: 'True\n'


Question: 'Suppose -3*h - h = 2*v - 470, -v + 5 = 0. Suppose -5*k + h = 5. Suppose 0 = -4*u, 273 = 5*c + 4*u - k. Does 22 divide c?\n'

Answer: 'False\n'


Question: 'Suppose 2*y = -5*l + 13, -4*y + 22 = y + 2*l. Suppose y*a - j = 7, -a + 3*j = 3*a + 3. Suppose -3*q + 129 = 5*b, a*q - 187 = b - 40. Is 8 a factor of q?\n'

Answer: 'True\n'


Question: 'Let b = -89 + 156. Let t = 14 - b. Let y = 116 + t. Is y a multiple of 21?\n'

Answer: 'True\n'


Question: 'Let i be (-18)/(0 - 4/6). Suppose 2*m + 28 = 3*s, 14*s - 3*m = 19*s - 53. Suppose -s - i = -w. Is w a multiple of 12?\n'

Answer: 'False\n'


Question: 'Let u(x) = x**3 + 11*x**2 + 14*x + 14. Let b be u(-10). Let d = 122 - b. Is 24 a factor of d?\n'

Answer: 'False\n'


Question: 'Suppose -110*l - 500 = -115*l. Is l a multiple of 25?\n'

Answer: 'True\n'


Question: 'Suppose 3*x - 192 = -i, 6*i - x - 391 = 4*i. Is 13 a factor of i?\n'

Answer: 'True\n'


Question: 'Suppose 135*f = 49892 + 170698. Is f a multiple of 51?\n'

Answer: 'False\n'


Question: 'Let v = 426 - 99. Let i = 473 - v. Is i a multiple of 24?\n'

Answer: 'False\n'


Question: 'Does 12 divide 6*(-1138)/(-12) - 3?\n'

Answer: 'False\n'


Question: 'Suppose -5*y - 46*u + 1232 = -42*u, -3*y + 5*u + 717 = 0. Is y even?\n'

Answer: 'True\n'


Question: 'Let s(a) = a**3 + 25*a**2 + 46*a + 27. Is 4 a factor of s(-23)?\n'

Answer: 'False\n'


Question: 'Let x be -2*(2/2)/1. Let j be 9*x/(24/(-76)). Let n = j + 3. Is n a multiple of 15?\n'

Answer: 'True\n'


Question: 'Let j = 15 + -15. Suppose j = 2*b + b - 12. Suppose q + b*m = 40, 4*q = 2*m + 3*m + 265. Is 12 a factor of q?\n'

Answer: 'True\n'


Question: 'Suppose 0 = 3*m + 26*m - 8555. Is 17 a factor of m?\n'

Answer: 'False\n'


Question: 'Let b be 2 - (-1 - (1 - 0)). Suppose -5*x + 0*u - 4*u + 336 = 0, 4*u - 16 = 0. Suppose -52 = -o - 5*c, -b*o + 68 = c - x. Is o a multiple of 16?\n'

Answer: 'True\n'


Question: 'Is 2 a factor of 12/26 + (-26400)/(-260)?\n'

Answer: 'True\n'


Question: 'Let f(s) = s**3 + 15*s**2 + 3*s + 25. Let q be f(-15). Let y = q + 37. Is 7 a factor of y?\n'

Answer: 'False\n'


Question: 'Suppose 0 = -34*j + 832 + 290. Does 11 divide j?\n'

Answer: 'True\n'


Question: 'Let u = -131 - -120. Suppose -3*m = -2*m - 19. Let o = m + u. Is o a multiple of 4?\n'

Answer: 'True\n'


Question: 'Suppose -17 = -4*i - 49. Let z(s) = -3*s - 16. Let n be z(i). Suppose -n*p + 180 = -3*p. Is p a multiple of 6?\n'

Answer: 'True\n'


Question: 'Let m(s) = 25*s - 22. Is m(12) a multiple of 25?\n'

Answer: 'False\n'


Question: 'Let z be (42/(-4) + 2)*2. Suppose 0 = -3*t + 8*t - 5*c + 140, 4*t + 3*c = -140. Let u = z - t. Is 14 a factor of u?\n'

Answer: 'False\n'


Question: 'Let g be (-2)/(-6) - (-110)/(-15). Let r(a) = -20*a. Is 25 a factor of r(g)?\n'

Answer: 'False\n'


Question: 'Suppose 4*s - 3*n - 286 = -s, s - 2*n = 53. Suppose 228*i = 226*i - 70. Let b = i + s. Is 12 a factor of b?\n'

Answer: 'True\n'


Question: 'Let r(u) = -u**3 - 7*u**2 + 3*u + 21. Is 24 a factor of r(-14)?\n'

Answer: 'False\n'


Question: 'Does 75 divide (90/3)/((-38)/(-285))?\n'

Answer: 'True\n'


Question: 'Is 11 a factor of (-4)/(-16)*-118*2*-5?\n'

Answer: 'False\n'


Question: 'Let q(v) = -v**3 - 3*v**2 - 6*v - 4. Let p = -120 + 116. Is 11 a factor of q(p)?\n'

Answer: 'False\n'


Question: 'Let o = -1318 + 1508. Is 2 a factor of o?\n'

Answer: 'True\n'


Question: 'Let y = -1482 + 1638. Does 27 divide y?\n'

Answer: 'False\n'


Question: 'Let r(p) = -2*p**3 + 2*p**2 - p + 3. Let g(x) = 2*x**3 - x**2 - 3. Let d(b) = b - 1. Let c be d(-3). Let z(v) = c*g(v) - 3*r(v). Is 5 a factor of z(-2)?\n'

Answer: 'True\n'


Question: 'Let s(a) = 13*a**3 - a**2 - 3*a + 2. Let g be s(2). Let f = g + -51. Suppose 0*n = -n + f. Is n a multiple of 9?\n'

Answer: 'True\n'


Question: 'Suppose 5*d + 2*r - 10500 = 0, -r - 3131 - 5256 = -4*d. Does 67 divide d?\n'

Answer: 'False\n'


Question: 'Let s = -110 + 2023. Is s a multiple of 73?\n'

Answer: 'False\n'


Question: 'Let o(x) be the third derivative of x**6/40 - x**5/60 - x**4/12 + 9*x**2. Let b(y) = y + 1. Let z be b(1). Is o(z) a multiple of 8?\n'

Answer: 'True\n'


Question: 'Let s be (30/(-12) - 2/(-4))*-2. Does 4 divide (40/2)/(s - 2)?\n'

Answer: 'False\n'


Question: 'Let d(r) = r**3 - 6*r**2 - r + 6. Let l be d(6). Suppose l*q = q - 72. Is q a multiple of 20?\n'

Answer: 'False\n'


Question: 'Let r(n) = -8*n + 2. Let t be r(2). Let x = t - -39. Suppose -x = -3*u + 4*a, 7*u - 2*a = 3*u + 50. Is u a multiple of 4?\n'

Answer: 'False\n'


Question: 'Does 33 divide 3*(-1 + 100)*(-4)/(-2)?\n'

Answer: 'True\n'


Question: 'Let r = -139 - -94. Let x(i) = -i**3 + i**2 + i - 192. Let p be x(0). Does 10 divide 9/r + p/(-10)?\n'

Answer: 'False\n'


Question: 'Let p be 78/9 + 1/3. Does 9 divide ((-168)/(-32))/(p/96)?\n'

Answer: 'False\n'


Question: 'Let h(t) = -2*t**3 + 7*t**2 + 4. Let r be (0 + 0 - (-10 + 14)) + 1. Is 11 a factor of h(r)?\n'

Answer: 'True\n'


Question: 'Let g(o) = -o + 1. Let b be g(-3). Suppose -3*k = b*x - 292, x + x = -4*k + 156. Does 14 divide x?\n'

Answer: 'True\n'


Question: 'Suppose 5*l - 20 = 5*t, -4*l + 0 = -4. Let f(j) be the first derivative of j**4/4 + 2*j**3/3 - 2*j**2 + 2*j - 11. Is 4 a factor of f(t)?\n'

Answer: 'False\n'


Question: 'Let p be 8*(-1)/4*-4. Let t = -17 + p. Let m = 42 + t. Does 11 divide m?\n'

Answer: 'True\n'


Question: 'Let f be (-66)/12 + (-2)/4. Let z(d) = -7*d**3 + 9*d**2 + d + 1. Let k(c) = -6*c**3 + 8*c**2 + 1. Let u(r) = f*k(r) + 5*z(r). Does 7 divide u(4)?\n'

Answer: 'True\n'


Question: 'Let h be 0/(-1) + -3 + (-35)/(-7). Let b = 1 + 3. Suppose -h*m + 5*p = -141, 3 + 1 = -b*p. Is 34 a factor of m?\n'

Answer: 'True\n'


Question: 'Let p be (19 - -5)*(0 - -82). Is 5/3 + p/18 a multiple of 37?\n'

Answer: 'True\n'


Question: 'Let x = -170 + 600. Is x a multiple of 17?\n'

Answer: 'False\n'


Question: 'Let c(x) = -4*x**2 - 15*x + 6. Let n(z) = 5*z**2 + 15*z - 7. Let u(g) = 4*c(g) + 3*n(g). Does 12 divide u(-11)?\n'

Answer: 'False\n'


Question: 'Let d = -21 + -53. Let q = -22 - d. Does 12 divide q?\n'

Answer: 'False\n'


Question: 'Let k = -1 + 2. Suppose -3*c + 2 = -k. Does 27 divide -3 + 1 + c*29?\n'

Answer: 'True\n'


Question: 'Suppose 5*n - 4*n - 57 = 0. Let c = 125 - n. Is 35 a factor of c?\n'

Answer: 'False\n'


Question: 'Let u = 453 + -159. Does 2 divide u?\n'

Answer: 'True\n'


Question: 'Let a(b) = -2*b**2 - 14*b - 4. Let y = -41 - -35. Is 8 a factor of a(y)?\n'

Answer: 'True\n'


Question: 'Suppose -5*t - 18 = g, 0*t - 4*g = 5*t + 12. Is 4 + -1 - (-55 + t) a multiple of 17?\n'

Answer: 'False\n'


Question: 'Suppose 0 = -x - 0*w - 5*w - 24, -5*x = w. Let s be (14/(-8))/((-1)/4). Let j = s - x. Is 3 a factor of j?\n'

Answer: 'True\n'


Question: 'Suppose 1420 = 3*d + 2*v, -2*d = 8*v - 5*v - 950. Does 8 divide d?\n'

Answer: 'True\n'