 -0*j - 5*j + w. Does 12 divide j?
True
Suppose 5*r - 38 = 2*x, -3*r + 5*x + 28 - 9 = 0. Suppose r = -4*v + 6*v. Suppose -l - v*l = -290. Is l a multiple of 15?
False
Does 4 divide (-354)/(-30) - ((-9)/(-5) + -2)?
True
Suppose -3*l = 9, 4*l = 2*c + l - 489. Suppose 0*g = -5*g + c. Is 24 a factor of g?
True
Let x(v) = -v + 13. Let b be x(11). Suppose -q - 1 = 0, -2*q - 22 = b*y - 72. Suppose 0 = 5*z - 29 - y. Is 6 a factor of z?
False
Suppose m = -1 + 3. Let a = 22 + -19. Suppose -m*t - 2*t = -2*f - 2, f = a*t - 3. Is 2 a factor of t?
True
Let r = -49 + 22. Let i = -19 - r. Is 8 a factor of i?
True
Let l be 24/3*1 - -3. Let o = l - -25. Does 18 divide o?
True
Suppose -3*y = 2*n - 100, -n + 77 = 2*y + 9. Is 36 a factor of y?
True
Suppose -15 - 5 = -5*n. Let k(p) = 0 - 4 + p**3 - 3*p**2 + 2*p + 0*p**3. Is k(n) a multiple of 7?
False
Does 9 divide 27 - 0*(-1)/2?
True
Let x(m) = m**2 - 4*m - 6. Let d be x(6). Let z(n) = 8*n**2 - 4*n + 4 - n**3 + 3*n - n**2. Does 17 divide z(d)?
True
Let t be (-1)/2 - 2/(-4). Let j(b) = b - 8. Let k be j(6). Is (-37 - k)/(t + -1) a multiple of 22?
False
Let s be ((-4)/(-2))/2 + 27. Suppose 0 = 2*l + 4*b + 2, 3*l - 9 = -2*b - 0*b. Suppose l*o - 22 = s. Is o a multiple of 4?
False
Suppose 2*r = 144 + 58. Is r a multiple of 18?
False
Suppose 4*c - 2*k + 10 = 596, -5*c + 752 = 4*k. Is c a multiple of 18?
False
Let i = 197 + -33. Suppose 4*q = 3*t - 0*t + i, -3*t = 3*q - 144. Is 8 a factor of q?
False
Let u = 45 + -32. Let q(k) = -k**3 - 5*k**2 - 4*k + 2. Let g be q(-5). Let p = g - u. Does 4 divide p?
False
Let z(w) = -w**2 + w + 1. Let g be z(2). Let f = 2 - g. Suppose -f*j = j - 128. Is 15 a factor of j?
False
Does 13 divide 635/7 - 16/(-56)?
True
Suppose -5*i = 5*p - 55, 2*i - 7*i = -2*p + 50. Is p a multiple of 5?
True
Let b = 9 - 6. Suppose 15 = -3*c, -3*w - c = c - 74. Suppose -b*l + 5*j = 1, 6*j = -l + 2*j + w. Is l a multiple of 3?
False
Is 12/(4 - 1) + 59 a multiple of 21?
True
Let c = 9 - -6. Is 10 a factor of (18/c)/(-3)*-50?
True
Let t = 7 - 5. Suppose 4*c - 20 = 0, w = t*w - 5*c + 13. Is 4 a factor of w?
True
Let c(f) = -f**2 + 7*f - 8. Let j be c(6). Let z(q) = -5*q**3 - 2*q**2 - 2. Is 19 a factor of z(j)?
False
Let z = 8 + -16. Suppose 36 = -4*u + 5*u. Let y = u + z. Is 8 a factor of y?
False
Suppose 3*d = 5*d - 4. Suppose 4*x = 2*x + 4*v + 24, 4*x + d*v - 68 = 0. Is x a multiple of 8?
True
Let u = -4 + 5. Suppose -5*i + 83 = 4*t, 2*i - 5*t = -u + 54. Suppose -o + 2 = -0, -4*o - i = -q. Does 8 divide q?
False
Let o = -8 + 16. Let m = 1 + o. Suppose 6*d - 2*d + 5*q = m, 4*d - 15 = -3*q. Is d a multiple of 6?
True
Let q(d) = 4*d**3 + 1. Let g be q(1). Suppose g*f = 3*s + 13, -3*f + 9 = -0*s - 3*s. Suppose -4*j + 2*a = -160, -a - f*a = j - 54. Does 21 divide j?
True
Is 7 a factor of 46 + 0 + (-12 - -16)?
False
Let l = 23 - 4. Let p = 24 - l. Does 3 divide p?
False
Let o = 1 + 44. Is 15 a factor of o?
True
Suppose t - 10 - 4 = 0. Let v = t + 4. Is v a multiple of 11?
False
Suppose 0*q + 3*q = 9. Suppose 35 = -q*i - 109. Is 12 a factor of (-1 - -1) + i/(-4)?
True
Let h(o) = 4*o**3 + 7*o**2 + 6*o - 11. Let t(k) = 5*k**3 + 7*k**2 + 5*k - 11. Let d(c) = 6*h(c) - 5*t(c). Is d(8) a multiple of 13?
True
Let f be 6/15*(-13 - 2). Let y be (-1 + 2 - 1) + f. Is (y/(-8))/(2/32) a multiple of 6?
True
Suppose 2*y + m + 3*m - 128 = 0, -m - 103 = -2*y. Is 12 a factor of y?
False
Let h(v) = -2*v + 2 + 2*v - 5 + 10*v. Does 10 divide h(3)?
False
Let f(o) = o - 11. Let t be f(15). Suppose -2*c = -t*c + 78. Does 10 divide c?
False
Suppose -r - 848 = -u - 4*u, 860 = 5*u - 5*r. Suppose 0 = -5*v + u - 59. Is v a multiple of 8?
False
Let w(f) = -32*f - 1. Is w(-2) a multiple of 21?
True
Let o = -82 - -54. Let b = o - -97. Suppose 5*t = b + 61. Is t a multiple of 13?
True
Suppose -3*v - 15 = 0, -y = -0*v + 3*v + 10. Suppose -t = -y*f + 45 + 19, 3*f + 2*t - 41 = 0. Is f a multiple of 10?
False
Let a(f) = -f**2 - 3*f - 3. Let u be a(-2). Let g be u + 2/(-2) + 32. Suppose -g = 2*q - 5*q. Does 5 divide q?
True
Let y be (-44 - 1)*(-21)/35. Let b be 3/(y/(-6))*-3. Suppose b*x + 1 = a, -3*x = 2*a - 39 + 2. Is 6 a factor of a?
False
Let y = 230 - 121. Does 9 divide y?
False
Suppose 0 = 5*p - 2*b + 7 - 22, -2*b + 15 = 5*p. Let k(f) = f. Let r(j) = -2*j. Let g(y) = p*k(y) + 4*r(y). Does 4 divide g(-2)?
False
Let b = -53 - -98. Is b a multiple of 15?
True
Let r(t) = 2*t**3 - 3*t**2. Let c be r(2). Let d be -1*(-5)/((-10)/c). Is 9 a factor of 156/9 - d/(-6)?
False
Let o be (-15)/(-5)*58/6. Let b = -18 + o. Does 3 divide b?
False
Suppose 5*r = -2*g + 669, -4*r + 546 = -3*g + g. Suppose 25 = 5*m, -8*n + r = -3*n + 3*m. Is 8 a factor of n?
True
Let y(h) = -h**3 - 23*h**2 - 3*h - 57. Does 7 divide y(-23)?
False
Let g = -15 + 1. Let c be (-6)/(-10) - g/10. Suppose 3*l = 3*y + 18, c*y + 1 + 3 = l. Does 4 divide l?
True
Suppose f - 3 = -2*m, f = -0*f - 5*m + 3. Does 3 divide f?
True
Let i be (-63)/14 + (-1)/2. Let g(p) = -1. Let q(w) = -2*w - 9. Let z(l) = -4*g(l) + q(l). Does 2 divide z(i)?
False
Let n = 116 - 49. Is n a multiple of 35?
False
Suppose 3*q - 64 - 92 = 0. Suppose -17*c = -19*c + q. Is c a multiple of 13?
True
Let v be 21/35 - (-626)/(-10). Let b = v + 92. Is b a multiple of 10?
True
Let l = 5 + 0. Suppose 2*h = -y + 23, 2*y + l*h - 84 = -34. Is y a multiple of 5?
True
Let b(u) = u**2 + 14*u - 6. Let v(j) = 2*j**2 + 27*j - 13. Let r(l) = -11*b(l) + 6*v(l). Is 7 a factor of r(-11)?
True
Let y(t) be the first derivative of -2*t + 1/2*t**2 - 2. Is 5 a factor of y(7)?
True
Let h(o) = o**3 - 3*o**2 - 2*o - 13. Is 8 a factor of h(6)?
False
Suppose -2*z - 128 = 2*z. Let n = 36 - z. Does 24 divide n?
False
Let m(v) = -v - 6. Let d be m(-8). Does 11 divide (1 - d)*77/(-7)?
True
Let q be (-3 - (3 + -5))*21. Suppose 2*z - z - 34 = 0. Let a = z + q. Is a a multiple of 13?
True
Let w = -45 + 104. Does 25 divide w?
False
Suppose -3*o + 3*z - 27 = 0, -2*o - 5*z = -3*o - 29. Let t(j) = j**3 + 5*j**2 - 4. Let c be t(o). Is (c/7)/(8/28) a multiple of 4?
False
Let q = -38 - -21. Let m = q + 38. Does 4 divide m?
False
Let a(r) = 30*r**2 - 1. Let t be a(1). Let c = 43 - t. Is 14 a factor of c?
True
Let y(v) = 3*v**3 + v**2 + v + 3. Is 24 a factor of y(3)?
True
Suppose -9*h = -8*h + 3. Let n(q) = 4*q**2 - 4*q - 4. Is n(h) a multiple of 25?
False
Let h = -3 - -1. Let v be (-4)/18 + h/(-9). Suppose -2*a = -v*a - 22. Does 7 divide a?
False
Let m(y) be the second derivative of -y**5/20 - y**4/12 + y**2/2 - y. Let z be m(-2). Suppose -4*x = 4*c - 136, 2*c = -0*c - z*x + 80. Does 10 divide c?
True
Suppose 0 = -4*q - 3*p + 59, -2*p + 5*p + 18 = 3*q. Is 8 a factor of q?
False
Suppose -4*z + 24 - 8 = 0, 2*t = 5*z - 14. Suppose x + 132 = -2*q, 0*q - 196 = t*q + x. Is 11 a factor of (-2)/(-6) - q/6?
True
Let m(q) = -q**2 + 4*q + 2. Let l be m(6). Let n = 2 - l. Is n a multiple of 8?
False
Let d(i) = -9*i + 39. Let s(n) = n - 5. Let a(f) = 4*d(f) + 33*s(f). Does 5 divide a(-7)?
False
Suppose -10*i - 7 = -127. Does 9 divide i?
False
Let v = 71 + 8. Is 11 a factor of v?
False
Let w(m) = 242*m - 2. Is w(1) a multiple of 24?
True
Let y(q) = q**3 + 6*q**2 + 3*q. Is y(-5) a multiple of 5?
True
Let o(x) = -17*x + 5. Let p be o(-4). Suppose p = 5*h - 17. Is h a multiple of 9?
True
Suppose 1 = u - 0. Does 4 divide u/(-6) + 125/30?
True
Suppose 0*z + 3 = z. Suppose -z*v = -18 - 6. Is 3 a factor of v?
False
Suppose -b - 4*h + 83 = -0*b, 2*b - 210 = 3*h. Suppose -5*u = -l + 2*l - 11, -4*l - 2*u = -26. Suppose 3*q = l*q - b. Is q a multiple of 16?
False
Let p(c) = c**2 - 2*c - 2. Suppose 5 = v + 2. Let k be p(v). Let x = k + 2. Is 3 a factor of x?
True
Suppose -2692 = -5*t - 252. Let b = t - 348. Suppose 4*j = 4*c - 124, -2*c = 3*c - 2*j - b. Is 13 a factor of c?
True
Let b(t) = 11*t**2 - 3*t + 2. Let s(y) = 3*y**2 - 1. Let j be s(-1). Does 12 divide b(j)?
False
Let p be -1*1 - (-109)/1. Suppose 4*h = -0*h + p. Is h a multiple of 14?
False
Let q(a) = 3*a**2 - 2*a - 5. Let p be q(-5). Suppose -5*b + p = -2*h + 30, 3*b + 25 = -h. Let l = -11 - h. Is l a multiple of 14?
True
Let r = 218 + -120. Is r a multiple of 12?
False
Let n(h) = 32*h**2 - 1. Let l = -3 - -2. Does 10 divide n(l)?
False
Suppose -4*j = -9*j + 1035. Suppose 2*h - 6*h = -2*i - 242, -j = -4*h - 5*i. Suppose -5*c + h +