le of 18?
True
Suppose -5*t + 216 = -3*t. Is t a multiple of 36?
True
Let c = 13 - 9. Suppose l - 170 = -c*l. Is l a multiple of 18?
False
Let r = 134 + -58. Is r a multiple of 16?
False
Let l(f) = f**2 - f - 2. Let x be l(-2). Let m(c) = -9*c + 14. Let j(o) = -10*o + 15. Let r(v) = x*j(v) - 5*m(v). Is 15 a factor of r(8)?
True
Is 22 a factor of 10/(-20) - 55/(-2)?
False
Suppose -1 = i + p, 2*i + 0*p - 2 = -p. Suppose -3 - i = -2*t. Suppose -117 = -0*n - t*n. Does 16 divide n?
False
Let l(g) = 12*g**2 - 2*g + 1. Is l(1) a multiple of 11?
True
Suppose t - 9 - 11 = 0. Let u = 2 + t. Is 18 a factor of u?
False
Let n = -26 + 71. Is 12 a factor of n?
False
Is 72/9*(4 - 0) a multiple of 7?
False
Let v(i) = -37*i + 20*i - 31*i - 1. Is 17 a factor of v(-1)?
False
Let s(w) be the second derivative of -3*w**2 + 1/6*w**4 - w + 0 + 4/3*w**3. Is s(-6) a multiple of 13?
False
Let t = 19 - 13. Let r = t - 6. Suppose r = -l - 5*s + 19, -5*l - 4*s - 29 = -145. Is l a multiple of 11?
False
Suppose 0 = 2*z - 6*z + 4*a + 80, -2*a - 62 = -3*z. Does 22 divide z?
True
Let s be 84/(-10)*(-80)/24. Let h = s - 22. Is h a multiple of 6?
True
Suppose -64 = -c + 4*g - 0*g, 184 = 3*c - 4*g. Is 20 a factor of c?
True
Suppose 0*y - 153 = -5*d + 3*y, -2*y - 62 = -2*d. Suppose 0 = 4*j - 2*b - 56, 2*j - 10 - d = -2*b. Does 5 divide j?
False
Suppose 24 = 4*h - 4*d, -3*h - d - 7 = -5*h. Let n be 7*1*(h - 2). Let y = 0 - n. Is 2 a factor of y?
False
Is 7 a factor of (-559)/(-39) + 1/(-3)?
True
Suppose -48 + 600 = 3*z. Does 16 divide z?
False
Let h = -4 + 12. Let m(r) = r**3 - 7*r**2 - 7*r - 4. Let a be m(h). Suppose -a*s - 102 = -5*d, -5*s - 63 = -5*d + 42. Is d a multiple of 9?
True
Let h(y) be the second derivative of -y**5/10 - y**4/3 + y**3 + y**2 - 2*y. Is h(-4) a multiple of 15?
False
Let k(g) = g**3 - 8*g**2 - 9*g + 7. Let r be k(9). Suppose -44 = -d + 4*m, -3*d = -r*d - 5*m + 176. Is 22 a factor of d?
True
Let r = 266 + -163. Let k = r + -74. Suppose 4*b - t - 48 = 0, -4*t = -0*b + b - k. Is b a multiple of 13?
True
Let b = -12 + 39. Let x = b + -10. Is 6 a factor of x?
False
Let f(x) = -x. Let l(m) = 3*m. Let a(z) = -9*f(z) - 4*l(z). Does 7 divide a(-9)?
False
Is -105*(14/(-3))/7 a multiple of 14?
True
Let w = 16 + 3. Suppose -w = -k - o, 3*o + 25 = k + 2*o. Does 14 divide k?
False
Suppose -p - 109 = -5*q, 127 - 36 = 4*q + 3*p. Let h = q + -15. Is h a multiple of 3?
False
Let d(f) = -f**2 + 7*f - 1. Let b be d(6). Suppose 3*p = 4*c + 99, -b*c - 51 = -2*p + 8. Is p a multiple of 17?
False
Let k(v) = -13*v + 390. Is k(0) a multiple of 10?
True
Suppose 0 = 6*z - 7*z + 45. Is 10 a factor of z?
False
Let m(g) = 3*g - 14. Is m(14) a multiple of 28?
True
Let i(u) = -3*u**2 - 2*u - 1. Let w be i(-1). Let g = 5 - -5. Let y = w + g. Is y a multiple of 8?
True
Suppose 0 = 3*r - 70 - 20. Is 10 a factor of r?
True
Suppose 0 = 5*l + 4*j - 322, l - 2*j = 2*j + 74. Does 22 divide l?
True
Let g(r) = -r**3 - 9*r**2 + 8*r + 1. Let h be (3 - 2) + -14 - -3. Is 7 a factor of g(h)?
True
Suppose -n = 4*g - 40 - 21, 5*n = 3*g + 374. Is 12 a factor of n?
False
Let z(v) = -v**3 - 4*v**2 + 5*v + 2. Let s be z(-5). Suppose -s*d + 14 = -d. Is d a multiple of 6?
False
Let b = 7 + -7. Suppose b = 4*p + p - 45. Is p a multiple of 9?
True
Is 12 a factor of (-6)/(-4)*872/12?
False
Suppose -5*f - 12 = -3*o + 6, 0 = 4*o - f - 7. Let r = 1 + o. Suppose 0 = r*j, -4*j + 68 = 3*c - c. Does 9 divide c?
False
Let f = -139 - -241. Suppose -o + 126 = 5*i + o, 2*o - f = -4*i. Does 8 divide i?
True
Let w(t) = t - 2 + 0 + 1. Let r be w(6). Suppose 0 = -m - 5*u + r + 37, -4*u - 14 = -2*m. Does 17 divide m?
True
Does 3 divide (-216)/(-10) - (6 - 288/45)?
False
Suppose 0 = 5*p + 4 + 21. Let s(g) = -1. Let l(j) = 8*j + 6. Let z(m) = -l(m) - 4*s(m). Does 15 divide z(p)?
False
Let h(c) = 4*c - 4. Let t(a) = a**3 + 3*a**2 - 1. Let k be t(-2). Does 7 divide h(k)?
False
Suppose 0 = 5*y - 31 - 29. Let p = y + 1. Is 6 a factor of p?
False
Let x(n) = 5*n**2 + 3*n + 5. Does 23 divide x(-4)?
False
Suppose 0 = -9*n + 4*n + 150. Does 8 divide n?
False
Is 40 + (-8)/4 + -2 a multiple of 18?
True
Does 3 divide (21 - -2) + -3 + 3?
False
Let i = 433 + -305. Does 11 divide i?
False
Let q(a) = 5*a**3 + 4*a**2 - 2*a + 2. Let l(p) = -5*p**3 - 5*p**2 + 2*p - 3. Let i(b) = -3*l(b) - 4*q(b). Let n = 4 + -6. Does 15 divide i(n)?
False
Suppose 3*x - 17 = -2*g + 56, 2*g = 4. Is x a multiple of 6?
False
Let n = 9 + -2. Does 5 divide n?
False
Suppose -7*l = -l - 384. Does 16 divide l?
True
Suppose 2*g - g - 3*c + 6 = 0, 0 = 3*g + 5*c + 4. Is 3 a factor of -3*20/(-6) + g?
False
Let v be (-40)/(-12)*6/5. Suppose 10 = b + 2*y, y + 0*y - v = 0. Suppose 0*d = b*d - g - 25, 0 = 2*d - 2*g - 26. Is 11 a factor of d?
False
Suppose 0 = 7*i - 2*i - 260. Suppose 2*r + 6 = i. Does 16 divide r?
False
Suppose -120 = -b - 2*b. Suppose -4*w = 2*q - 70, -2*q - 3*q + b = w. Is w a multiple of 12?
False
Let l(b) = -b + 8. Let g be l(6). Suppose 3*w + 6 = 0, t = g*t + w - 8. Is 5 a factor of t?
True
Suppose -15 = -2*t + 21. Let y = t - 5. Is y a multiple of 3?
False
Let s = 17 - -11. Let y be 4/10 - (-82)/(-5). Let g = y + s. Is g a multiple of 10?
False
Let w = 21 - 38. Let g = w - -27. Is 3 a factor of g?
False
Suppose -328 = -3*v - 2*v + 4*k, 248 = 4*v + 4*k. Is v a multiple of 8?
True
Let o(m) = -23*m + 6. Is o(-3) a multiple of 15?
True
Suppose -201 = -3*v + y - 4*y, 4*y - 12 = 0. Is v a multiple of 16?
True
Does 20 divide (111/18 - 5/(-10))*3?
True
Suppose -3 = 2*b + 5. Does 6 divide 0/b + (-3 - -16)?
False
Let p be (-99)/(-54) - (-2)/12. Is 4 a factor of ((-12)/6)/(p/(-12))?
True
Suppose -2*z + 6*z - 124 = 0. Is 12 a factor of z?
False
Let l = 81 + -27. Is l a multiple of 14?
False
Let u(r) = -r**2 + 11*r - 12. Let j be u(9). Suppose -b + j*b = 170. Let m = b + 11. Is 13 a factor of m?
False
Let h(o) = 3*o**2 + 5*o + 3. Let n be h(-3). Let k = 23 - n. Is k a multiple of 4?
True
Is 93/((-9)/(-6) - (0 - 0)) a multiple of 5?
False
Suppose 5*w - 19 = -4*n, 2*n + 2 = 2*w - 2*n. Suppose 4 = 3*c + 1, 23 = -4*p + w*c. Is (-91)/p - 2/10 a multiple of 13?
False
Suppose -3*i - 4*v - 4 + 12 = 0, -5*i = -v + 2. Suppose q - 2*h = -3*q, i = 5*q + h + 7. Does 15 divide 16 - (2/1 + q)?
True
Suppose d = -3*d + 36. Does 9 divide d?
True
Let q be (-117)/26*(1 + 1). Let a = 25 + q. Does 8 divide a?
True
Let n = -52 + 450. Is n/8 - (-3)/12 a multiple of 11?
False
Suppose 15 = -3*b, 5*q - b - 511 - 844 = 0. Is q a multiple of 46?
False
Suppose -2*s = 3*s - 40. Let p be (0 - (-1 - -3)) + 1. Let x = s - p. Is 4 a factor of x?
False
Suppose 0*d - 2*d - 3*z = -3, 2*z - 2 = 3*d. Suppose -2*x + 0*x + 38 = d. Is 4 a factor of x?
False
Suppose -2*u = -3*o, -4*o = -5*u - 3 + 10. Does 2 divide o?
True
Let k(m) = 7*m**3. Let a be k(-1). Let p = 77 + a. Let i = -29 + p. Does 13 divide i?
False
Let q(v) = -2*v - 7. Let x be q(-5). Let p(w) = w**2 - 7*w. Let a be p(-8). Suppose 0 = 2*r + x*r - a. Is 9 a factor of r?
False
Let x be 1/(-2) + (-1)/(-2). Let q(k) = k**3 + k**2 + 19. Does 13 divide q(x)?
False
Let f be -3 + -4 + 3 + 0. Does 7 divide (-1)/f + 374/8?
False
Let h = 4 + 6. Does 2 divide h?
True
Suppose 4*b + 5*k = k + 348, 93 = b - k. Does 18 divide b?
True
Suppose 3*q + 744 = 3*a, 1267 = 5*a - 0*q + 4*q. Suppose -l = -3*m + a, 3*l + 11 = -2*m + 160. Let x = -49 + m. Is x a multiple of 12?
False
Let a(l) = 2*l**2 + 3*l - 9. Let x be a(6). Let r be 6*(-3)/(-2)*-5. Let z = x + r. Is z a multiple of 16?
False
Let u be -1 - (3 - 4)*85. Let o = 120 - u. Is 9 a factor of o?
True
Suppose 2*l - 11 = -2*x + 3, -5*l + 2*x = -21. Suppose -o + 5 = -4*a, 2*o + 3*o - 25 = l*a. Does 2 divide (a/(-1))/(-1) + 2?
True
Suppose -12*w + 1720 = -92. Does 39 divide w?
False
Suppose -373 = -5*h + 2*r - 6*r, -2*h - 3*r + 145 = 0. Is h a multiple of 7?
True
Suppose -2*l - 92 = -4*q, -6*q + q = -4*l - 121. Let a = q + -4. Is a a multiple of 12?
False
Suppose 0 = -6*d + 17 + 13. Let s(j) = j - 3. Let m be s(3). Suppose 3*z - 45 = f, 0 = 4*z + d*f - m*f - 41. Is 8 a factor of z?
False
Let q = 27 - 7. Let n be (-5)/(-1)*16/q. Suppose 0 = -n*p - 0*p + 56. Is p a multiple of 7?
True
Let a(w) = 3*w**2 + 4*w. Let b be a(-5). Let f = b + -18. Suppose f + 3 = 2*k. Is k a multiple of 10?
True
Let q = 287 + -62. Is 13 a facto