j = q - 2, -q - 7 + 3 = -4*j. Suppose -4*r - 126 = -j*o + r, -5*o = 2*r - 257. Is 14 a factor of o?
False
Let a(s) = -4*s**3 - 6*s**2 - 6*s - 20. Does 6 divide a(-4)?
False
Suppose -s - s = -48. Suppose 0 = 4*b - 28 - s. Let n = 20 - b. Is n a multiple of 7?
True
Suppose -8*h + 100 = -7*h. Is h a multiple of 5?
True
Let a(w) = -w + 3. Let q be a(2). Let g = 5 - q. Does 4 divide g?
True
Suppose 8 = 2*u + 2*j, 4*u + 2*j - 3 = 5. Suppose u + 2 = t. Is 7/2*t + -1 a multiple of 3?
True
Let u = 26 + -3. Does 7 divide u?
False
Let l = 92 + -61. Let f = l - 12. Is 19 a factor of f?
True
Let n(z) = -1 + 13 - 1 + 0 - 6*z. Is 13 a factor of n(-5)?
False
Suppose -2*y - 134 = -4. Let m = 93 + y. Is 12 a factor of m?
False
Is 3 a factor of (12/9)/4*48?
False
Is 10 a factor of 6/(-9) - 160/(-6)?
False
Suppose -410 = -5*k - 130. Does 28 divide k?
True
Let n(x) = -x**3 + 2*x**2 - 7*x + 7. Let u be n(5). Let v = -70 - u. Does 10 divide v?
False
Suppose 8 = 2*b + s, -2*b - b - s + 12 = 0. Suppose -b*k - 8 = -6*k. Suppose 3*l = 4*n - n - 30, -3*l = -k*n + 35. Does 4 divide n?
False
Let w be (-1 - (-4 + 11)) + 1. Let l = -40 + 66. Let f = l + w. Does 9 divide f?
False
Suppose -5*m - 5*x = -130, 4*m - 5 - 99 = -2*x. Is 13 a factor of m?
True
Suppose 5*w - 77 = 438. Suppose -5*c = 2*k - 0*c - w, 2*k - 127 = 3*c. Is 12 a factor of k?
False
Let d = 14 - 18. Does 10 divide (1 - 0)*(-56)/d?
False
Let f(q) = -q - 1. Let v(a) = -a - 5. Let z(p) = -2*f(p) + v(p). Let g be z(5). Does 16 divide (2*1)/(g/28)?
False
Does 19 divide (152/(-3))/((28/(-21))/4)?
True
Let n(w) = 16*w + 20. Is 49 a factor of n(11)?
True
Suppose 3*s + l = -87 - 26, 2*s + 4*l = -62. Let u = 67 + s. Does 11 divide u?
False
Suppose 4*c - 2*c = 6. Suppose -c*h + 2 = -142. Is h a multiple of 12?
True
Let l(j) = j - 1. Let b be l(0). Is ((-2)/(-4))/(b/(-36)) a multiple of 9?
True
Let k = -158 + -53. Let z = -115 - k. Is z a multiple of 32?
True
Let s(z) be the second derivative of z**3/6 + z**2 + 3*z. Let i be s(-2). Suppose 4*a + 1 - 17 = i. Is 2 a factor of a?
True
Suppose -10 = -0*o - 2*o. Suppose -5*c - j + 2*j + 19 = 0, 0 = -3*c + 3*j + 21. Suppose 0 = 5*h + o*u - 190, -u = -c*h + 4*u + 154. Is h a multiple of 17?
False
Let c be (-1 - -3) + -1 + -11. Let b = 38 - 19. Let d = b + c. Does 3 divide d?
True
Suppose 0 = -0*s + 4*s - 2*b - 36, 3*s - 27 = -5*b. Does 9 divide s?
True
Let w be 1 - (2 - 5 - -2). Suppose -n + 2*j - 17 = -w*n, 49 = 5*n + j. Does 7 divide n?
False
Does 21 divide (37618/16)/7 + (-2)/(-16)?
True
Let k = 58 + 7. Does 27 divide k?
False
Let r be 1*(4 - 2 - 0). Let m(k) = 2*k**3 - k**2 - 4*k + 5. Is m(r) a multiple of 3?
True
Suppose 2*s + 0*s - 14 = 0. Suppose -3*l = s - 67. Is 20 a factor of l?
True
Suppose q - 13 = 94. Does 15 divide q?
False
Suppose -a = p - 1 + 4, -p + 4*a + 12 = 0. Suppose -3*y = -p*y. Suppose y = q - 2 - 21. Is 8 a factor of q?
False
Suppose 3*y - 5*n = 127, n - 12 = -2*y + 51. Does 8 divide y?
False
Let g be -4 + 6 + (19 - 0). Suppose 2*r + r = g. Is 7 a factor of r?
True
Suppose 2*w = 13 - 7. Let n(f) = -f - 21. Let b be n(0). Is 12 a factor of (-742)/b + 2/w?
True
Suppose -f + 36 = r, 0 = -f + 1 + 1. Is r a multiple of 9?
False
Suppose -100 = 4*l - 0*l. Is (20/l)/(4/(-210)) a multiple of 21?
True
Let i = 359 + -581. Is 12 a factor of (-4)/6 + i/(-9)?
True
Suppose 4 = p - 3. Let k(b) = b**3 - 8*b**2 + 6*b + 9. Let z be k(p). Suppose z*j - 17 = 13. Does 15 divide j?
True
Let g = 1 - -17. Is 6 a factor of g?
True
Let l = 2 + 2. Suppose -12 = -n - 5*k, l*k = 4*n + k - 117. Suppose n = w + 1. Is w a multiple of 13?
True
Let c be (-4)/(-22) - (-1400)/44. Suppose -h + c = 5*i, 3*i + i - 19 = -3*h. Is i a multiple of 3?
False
Let u = 166 - 84. Is 25 a factor of u?
False
Let l be (-3)/(-2)*11*2. Suppose -l = 4*g - 3*g. Let j = 55 + g. Is j a multiple of 10?
False
Let m(a) be the third derivative of 0*a - 1/12*a**4 + 1/20*a**5 + 1/2*a**3 - a**2 + 0. Is m(3) a multiple of 12?
True
Suppose 0 = b + 2*f - 273, 5*f + 1365 = 5*b + 6*f. Is 39 a factor of b?
True
Let b(t) = 3*t**2 + 12*t + 13. Let z(h) = 2*h**2 + 6*h + 7. Let n(d) = 3*b(d) - 5*z(d). Is 4 a factor of n(3)?
False
Let r(z) = -7*z**2 - 1. Let a be r(-1). Let p(m) = m**2 + 9*m + 8. Let u be p(a). Let y = 11 + u. Is y a multiple of 11?
True
Suppose 0 = -2*z - 0 + 6, -z + 3 = 2*l. Suppose -3*m + 5*m - 36 = l. Does 6 divide m?
True
Let i(j) be the second derivative of -1/3*j**3 + 1/20*j**5 + 1/4*j**4 - 1/2*j**2 + 0 - 2*j. Is i(-3) even?
False
Let y(p) = -6*p. Let q(o) = o - 1. Let u(l) = 2*q(l) + y(l). Let b be u(-2). Suppose b*m - 5*m = 26. Is m a multiple of 9?
False
Let w be (-2)/(-8)*(-44)/(-11). Suppose -2*u - w + 21 = 0. Is 10 a factor of u?
True
Let o = 17 + 35. Is 15 a factor of o?
False
Let v(o) = o**2 - 4*o + 5. Let b be v(4). Suppose 5*z - 2*z = -5*w + 59, 4*w = -b*z + 120. Is z a multiple of 14?
True
Does 5 divide (63/35)/((-8)/(-10))*20?
True
Suppose 17 = 5*y - 43. Does 2 divide (-2)/(-6) - (-32)/y?
False
Let z(a) be the first derivative of 2 + 9/4*a**4 + 0*a + 1/2*a**2 - 2/3*a**3. Is 7 a factor of z(1)?
False
Let b(z) = z**3 - 11*z**2 - z. Let a(g) = -g**3 + 10*g**2 + g. Let y(q) = 5*a(q) + 4*b(q). Is y(3) a multiple of 20?
False
Let i(h) = 3*h - 6. Let w be 36/6*1*3. Let s = -12 + w. Is i(s) a multiple of 6?
True
Let n(p) = -p**3 - 8*p**2 - 3*p - 6. Suppose 5*i - 5 = 0, 2*w + 22 = -2*i + 8. Does 8 divide n(w)?
False
Suppose 38 = 3*k - 4*u, 14 = k - 0*k - 2*u. Let s be k/55 + (-42)/(-11). Suppose -4*m + 48 = s*b, 4*b = m + 7 - 39. Is m a multiple of 6?
False
Let l be 626/8 - (-4)/(-16). Let q be 2/(-6)*(7 - 7). Suppose 3*g + q*g - l = 0. Does 19 divide g?
False
Let j = 11 - 1. Let g be (16/6)/(j/15). Let q = -2 + g. Is 2 a factor of q?
True
Let m(w) be the first derivative of -w**2/2 - 6*w - 1. Let z(t) = t**3 - 9*t**2 + 7*t - 1. Let n be z(8). Does 3 divide m(n)?
True
Let j = 8 + -6. Is 19 a factor of 8/j*19/4?
True
Let g(a) = 41*a**2 + 1. Let u be 1 - (-1 - (-3)/1). Does 21 divide g(u)?
True
Suppose 2*r + 2 = 10. Suppose 0 = f + 2*f - r*c - 68, 0 = -4*c - 8. Is 15 a factor of f?
False
Suppose -w - 421 = -5*v, -11*v + 6*v - 3*w = -417. Does 7 divide v?
True
Suppose -5*h = -5*j - 10, -2*j + 3*h - 3 = 5. Suppose -7*p + j*p - 5*y = -730, -p - 5*y + 150 = 0. Suppose 8*m - 3*m = p. Is 10 a factor of m?
False
Suppose 2*l - l - 35 = 0. Let t = 59 - l. Is t a multiple of 12?
True
Let z be (-4*1 + 1)*-1. Suppose -2*j + 7*j + t = -3, j - z*t - 9 = 0. Suppose 0 = -4*o - i + 190, j*o + 4*i = -5*o + 243. Is o a multiple of 17?
False
Suppose 0 = 5*g - 2*g - 9. Let n be g - 0 - (0 + 2). Let w(y) = 9*y. Is 4 a factor of w(n)?
False
Let h(w) = 3*w**3 - 3*w**2 - 2*w + 3. Is h(3) a multiple of 11?
False
Suppose 4*y - 5*l = 237, 3*y - 2*y - 73 = 4*l. Does 15 divide y?
False
Suppose 2*h = 5*t - 56, -2*h = -3*t + 2*h + 42. Is (t/6)/(1/3) a multiple of 4?
False
Let k be 1*3/9*102. Let m = 2 + k. Is m a multiple of 9?
True
Is 43/1 + (-6 - 2)/(-4) a multiple of 7?
False
Suppose 5*a - 3*n - 2*n = 195, 63 = 2*a - 5*n. Is 4 a factor of a?
True
Let s(q) = -4*q - 5. Is s(-5) a multiple of 13?
False
Let y be (-7)/2*2*-1. Let k(g) = g**3 - 8*g**2 + 10*g - 3. Does 15 divide k(y)?
False
Is 6*160/(-75)*(-30)/4 a multiple of 24?
True
Suppose 9 = 5*u - 1. Let k(r) = 3*r**2 + 7*r. Let h be k(-5). Suppose 3*m = -u*m + h. Does 4 divide m?
True
Let l = 459 + -319. Is l a multiple of 28?
True
Suppose 7*v + 28 = 112. Is v a multiple of 6?
True
Suppose 4*g - 15 = -g. Suppose 0 = -g*x - 5*j + 2*j + 27, -4*x - 3*j + 35 = 0. Does 7 divide x?
False
Is 11 a factor of -5*3/((-45)/(-87))*-2?
False
Let p(f) = 4*f + 40. Is 8 a factor of p(0)?
True
Let z = -3 - -1. Let m be ((-1)/z)/((-1)/2). Does 13 divide 13 + (m - (-2)/2)?
True
Let q(u) = -3*u**2 + 3*u + 3*u**3 + 3 + 9*u**2 - u**3 - u**3. Is q(-5) a multiple of 13?
True
Suppose -331 = -4*o - 115. Does 6 divide o?
True
Suppose -v + 25 = 4*w - 35, 3*w = 9. Does 24 divide v?
True
Suppose 2*d + 3*z = 6*d - 305, -5*d + 367 = z. Suppose 2*u - d = 5*l, -4*l = -0*u + 3*u - 88. Is u a multiple of 16?
True
Suppose -6*x = -8*x - 48. Suppose 0*j = -j + 2, 2*j - 4 = 3*h. Is (1 - h)*(-3 - x) a multiple of 13?
False
Let w = 70 + -56. Does 3 divide w?
False
Let l be ((-2)/(-3))/(6/(-9)). Let i be (2 - (4 + l))*-3. 