(m) = m + 16. Let p be h(-13). Let o = p + 10. Is 5 a factor of o?
False
Suppose -6 = -3*z, 0 = -2*l + 2*z + 1114 + 466. Does 9 divide l?
True
Let r(p) = -2*p**3 - p**3 - 11*p**3 + 22 - 24. Does 24 divide r(-2)?
False
Let l(y) = 13 - 3*y - 5*y + 3*y + 6*y. Is 7 a factor of l(11)?
False
Let a = 63 - 58. Suppose -5*u = 0, -a*c + 40 = -c + 2*u. Does 5 divide c?
True
Let m(h) = -h**3 + 6*h**2 + h - 5. Let g be m(6). Let c be 11/(-22)*(g + -1). Suppose -4*b + 76 + 100 = c. Does 13 divide b?
False
Let p(z) = -20*z**3 - z - 1. Let d = -12 - -11. Let j be p(d). Is (8/6)/(j/30) a multiple of 2?
True
Let f(h) = -h + 13. Let i be f(10). Suppose 0*l - 3 = 3*l + i*j, -l = 2*j + 4. Suppose -20 = -l*s - 2*n, -2 = -s + 5*n + 8. Is 10 a factor of s?
True
Suppose -d + 2 + 0 = 0. Suppose d = 4*i - 6. Suppose i*y + 12 = 116. Is y a multiple of 13?
True
Let u(q) = -6*q - 2*q - 2 + 5*q + 4*q. Let v be (-1)/(-3) + (-69)/(-9). Is 2 a factor of u(v)?
True
Suppose -5*o - 5*y + 740 = -0*y, 0 = -5*o + y + 710. Let f = o - 39. Is f a multiple of 13?
True
Let z(l) = -19*l + 32. Is 17 a factor of z(-1)?
True
Let p be -7 + (1 + -2)/(-1). Let j be 1 + (-4)/p*3. Suppose l = 5*l + j*w - 225, 3*l = w + 185. Does 10 divide l?
True
Let k = 33 - 23. Let i(w) = 7*w - 7. Is i(k) a multiple of 11?
False
Let u = -16 - -18. Suppose 3*p = 5*p - u*f - 60, 2*f = -p + 36. Is p a multiple of 3?
False
Let h(p) = p - 6. Let r be h(6). Suppose -5*l = -r*l - 10. Suppose 0 = l*m - 3 - 37. Does 10 divide m?
True
Let n(d) = -6*d - 6. Let m(k) = -k**2 - 7*k - 7. Let x(v) = -3*m(v) + 4*n(v). Is 5 a factor of x(-3)?
False
Let y(v) = v**3 - v**2 - v - 8. Let i be y(4). Let k be 21 + (5 + 0 - 2). Let s = i - k. Is s a multiple of 3?
True
Let g = -109 + 109. Does 16 divide g - (-2 + 41/(-1))?
False
Suppose -9*m + 6*m = 0. Suppose m*l + 192 = 3*l. Suppose 3*u + 2*z - l = 0, 0 = -u + 2*z + 15 + 1. Is 11 a factor of u?
False
Let a(u) = -u**2 - 13*u. Let r be a(-13). Suppose -3*b = x - 223, 6*b - 2*b - 5*x - 329 = r. Suppose -20 = -4*w + b. Is w a multiple of 12?
True
Let k(a) = 2*a + 5. Let p be k(-8). Let w be 1/(((-4)/p)/4). Let r = 73 - w. Does 12 divide r?
False
Is 67 a factor of 1 + (-3)/(-3 - (-4800)/1604)?
True
Let m(v) = v**2 - 10. Let u be m(0). Let h be (-4)/u - (-1062)/(-30). Does 3 divide (-2)/10 - 427/h?
True
Let o = -140 + 157. Is o a multiple of 17?
True
Suppose -16 + 41 = 5*l. Let j(d) = 2*d + 9. Let y(i) = -i - 6. Let r(o) = l*j(o) + 8*y(o). Is r(3) a multiple of 3?
True
Suppose 4*s = 3*m + 122, -2*m - 5*s - 59 = 53. Let w = -28 - m. Is 8 a factor of w?
False
Let a be (-12)/(-2)*(2/(-3) + 1). Suppose -a*v + 1 = -3*s + 2*v, -5*s + 29 = v. Is 2 a factor of s?
False
Suppose 5*c + 14 = 34. Suppose v - c*v = s - 229, 3*v - 1157 = -5*s. Is s a multiple of 20?
False
Let j be (1 + -5)*((-26)/8 + 0). Does 6 divide 6/10 + j/(390/1032)?
False
Is 32 a factor of 6/(-60)*-5 - (-1397)/22?
True
Let v be 105/(-14)*(-4)/1. Let x be v/9*24/10. Suppose x = 3*d - 2*d. Does 8 divide d?
True
Let a = 264 - 208. Is 4 a factor of a?
True
Let z(o) = -o**3 - 13*o**2 - 3*o + 2. Let q(p) = p**2 - 6*p - 1. Let u be q(7). Suppose -u*d = -d + 65. Is z(d) a multiple of 29?
False
Let b(c) = c + 9*c - 3 + 11*c. Let j(f) = 3*f + 18. Let p be j(-5). Is 17 a factor of b(p)?
False
Let o(t) be the second derivative of 0 + 7/3*t**3 + 5*t - 3*t**2 + 1/20*t**5 - t**4. Is o(11) a multiple of 5?
False
Suppose 0*b + 4*l = b - 1, -2*b - 5*l = 24. Let x = 9 + b. Does 25 divide (x + 2/(-6))*15?
True
Let v(p) = -p**2 - 22*p + 119. Does 16 divide v(-11)?
True
Let q = 326 + -303. Is 6 a factor of q?
False
Let s(u) be the first derivative of -u**4/24 + 3*u**3/2 + 7*u**2/2 - 4. Let w(m) be the second derivative of s(m). Is w(0) a multiple of 2?
False
Let d be -3*((-65)/3 + -3 + 0). Suppose -5*m + d = -16. Is 10 a factor of m?
False
Suppose 2*o + 2 = 8. Suppose -4*q - 4*n + 104 = 0, 5*n = -o*q - 9 + 77. Does 4 divide q?
False
Suppose 3*q = a - 772, 4*q + a + a = -1016. Is q/(-48)*(-15)/(-2) even?
True
Suppose 2*q + 228 = -3*n + 5*n, -2*n = 4*q - 228. Is n a multiple of 34?
False
Let v be (-2)/(-2) - 1*-3. Suppose 0 = -v*h + 5 + 11. Let z = 14 - h. Is 3 a factor of z?
False
Let j = -115 + 939. Is j a multiple of 12?
False
Suppose -3*s - 158 = 2*u, 3*s - 2*u = -280 + 114. Let i = -58 - -26. Let y = i - s. Is y a multiple of 8?
False
Let s(o) = -2*o**2 + 9*o + 6. Let q be s(7). Let n = q + 33. Suppose 0*v = 2*v - n*a - 92, 0 = 5*a - 15. Is v a multiple of 13?
True
Does 10 divide 6 + 28*147/14?
True
Suppose 0 = 2277*s - 2273*s - 1360. Does 17 divide s?
True
Let d = 913 + -346. Does 13 divide d?
False
Let a be (3 - 9) + 3 + -2. Let b = 6 + a. Let m = b - -7. Is 3 a factor of m?
False
Suppose -4 + 29 = 5*f, -350 = -5*c + 3*f. Does 20 divide c?
False
Suppose 0 = -5*a + 1623 - 203. Let f = a + -160. Does 26 divide f?
False
Let m(d) = 2*d**2 + 20*d + 13. Suppose 0 = -5*u + 5*n - 80, 0*u + 3*u = -5*n - 40. Is 33 a factor of m(u)?
False
Let f = 62 + -49. Suppose 679 = -6*i + f*i. Is 11 a factor of i?
False
Let r be (0 - 0) + (9 - 7). Is 29 a factor of ((r - -4) + -4)*44?
False
Let i = 27 + -15. Suppose i = 4*m - 0*m. Is -2*m/6 + 53 a multiple of 14?
False
Suppose 22 = 9*p - 104. Let i = p - -22. Is 12 a factor of i?
True
Let s = -62 - -64. Is s/18 - (-726)/27 a multiple of 27?
True
Let d(i) be the second derivative of -i**5/20 + i**4/12 - i**3/3 + 11*i**2 + 14*i. Is 3 a factor of d(0)?
False
Let b be 2*-3*9/(-2). Is 654/b + 6/(-27) a multiple of 7?
False
Let r be 16/16*(-1 - -1). Suppose 0 = -5*k - 3*b + 17 + 43, 3*b = r. Is 6 a factor of k?
True
Is (996/(-9))/(3*5/(-135)) a multiple of 83?
True
Let y be 52/6*(-33)/(-22). Suppose 2*q = y - 1. Does 2 divide q?
True
Let y be (0 + -3 + 4)*-11. Suppose a + 36 = 3*a. Let m = a + y. Does 7 divide m?
True
Suppose 3 = 4*g - 5*h - 62, g - 2*h - 14 = 0. Is 2 a factor of g?
True
Suppose 3*z + 69 = 2*k, 5*z = -12 - 13. Suppose 2*r = -3*c + 106 + k, -3*r + 222 = 5*c. Does 5 divide c?
True
Let l(q) = q**2 + 17*q - 14. Let f be l(-18). Suppose c - f*a - 74 = 2, -399 = -4*c - 3*a. Is c a multiple of 16?
True
Suppose -2*x - 4*d = -482, x - 3*d - 696 = -2*x. Suppose u = 6*u - x. Let g = u + -21. Does 26 divide g?
True
Let g = -255 + 367. Does 16 divide g?
True
Let r be (4/1 - 2)/2. Let v be (0 - r)*(-5 - -4). Does 9 divide 19 + (1 - 3/v)?
False
Let i = -500 + 811. Does 15 divide i?
False
Let d(l) = l**3 + 17*l**2 - 57*l - 71. Is d(-14) a multiple of 63?
False
Suppose 5*m - 4*h - 305 = 0, -m - 3*h = -0*m - 61. Is m a multiple of 17?
False
Let s(v) = v**3 + 2*v**2 - 10*v + 7. Let x be s(-6). Let d be (-14)/x - 3406/(-22). Let y = d + -110. Is y a multiple of 15?
True
Let b = -12 - -17. Let p(j) be the third derivative of -j**5/60 + 11*j**4/24 + j**3 + j**2. Does 11 divide p(b)?
False
Let i(c) be the second derivative of c**7/2520 + c**6/180 + c**5/12 - c**4/6 - 13*c. Let z(f) be the third derivative of i(f). Does 42 divide z(-8)?
True
Suppose -2*o - 61 - 1533 = -2*y, 0 = 3*y - 4*o - 2388. Does 5 divide y?
True
Suppose f - 2 = 2, 2*z + 2*f = 1878. Does 17 divide z?
True
Let x = -24 - -49. Let g be (9/(-9))/((-36)/(-34) - 1). Let r = g + x. Is 4 a factor of r?
True
Let p(c) = c**2 + 19*c - 1203. Is p(66) a multiple of 39?
True
Let a = -26 - -28. Suppose -a*m = -h + 4, 5*m - 1 + 5 = h. Suppose -c = -h*c + 135. Is c a multiple of 17?
False
Let a be (-2)/2*(-3)/1. Suppose 15 - a = 3*p. Suppose 4*n = i - 6*i + 9, p*i - 2*n = 28. Does 2 divide i?
False
Suppose -15 = 5*v, -5*w - 3*v + v = 296. Let r = w + 134. Suppose -5*m + 5*c + 4 + r = 0, -30 = -2*m + 3*c. Does 9 divide m?
True
Suppose -4*c = -x - 43, 0*c + 3*x + 33 = 4*c. Suppose -9*d + c*d = 99. Is 14 a factor of d?
False
Let f = -3184 - -4708. Is 109 a factor of f?
False
Let i be -3 + -1 + 2 - 3. Is 20 a factor of 20/(-5*i/50)?
True
Let m be -5*1 + (-1904)/(-14). Suppose -3*z = -2*z - m. Does 16 divide z?
False
Let c be -2*(0 + (-36)/3). Suppose -3*i = -2*w + 8, 5*w - 5*i = -9 + c. Does 12 divide 26 + (0 - 2/w)?
True
Let b(y) = -13*y + 5. Let z be 3/2 + (-285)/30. Let u be b(z). Let d = u - 55. Is 15 a factor of d?
False
Let z(n) = -13*n + 14. Let r be z(-10). Suppose 4*o + 60 = -r. Is (-912)/o - 4/(-34) a multiple of 6?
True
Suppose n - 2*c = -2*n + 11, 0 = -3*c - 3. Supp