 = 4*t, 3*r + 80 = -k*t + 268. Let j = -24 + t. Is j a multiple of 10?
True
Suppose 3*l - 153 = -0*l. Does 14 divide l?
False
Suppose c = 3*c - 262. Does 12 divide c?
False
Suppose 0 = -q - 2*q. Suppose m - 5*w + 0*w = -7, q = -w + 5. Is 13 a factor of m?
False
Let r = 72 + -20. Does 21 divide r?
False
Let g = -520 - -863. Is g a multiple of 31?
False
Let j = -39 + 46. Is j a multiple of 2?
False
Suppose -5*s + r + 304 = -168, -5*s = 5*r - 460. Suppose -16 + s = 3*t. Is t a multiple of 10?
False
Does 25 divide (-5)/(35/(-187)) - (-4)/14?
False
Let z = 167 - 92. Is z a multiple of 15?
True
Let m(i) = -74*i**3 - 11*i**2 + 9. Let g(j) = 37*j**3 + 5*j**2 - 4. Let c(o) = -9*g(o) - 4*m(o). Does 18 divide c(-1)?
True
Let q(x) = x**3 + 7*x**2 + 6*x + 4. Does 7 divide q(-5)?
False
Let i = -63 + 91. Let n = -16 + i. Is 12 a factor of n?
True
Suppose -3*b - b = -20. Is b even?
False
Let r(i) = 3*i**2 + 2*i + 4. Is r(2) a multiple of 10?
True
Does 16 divide -1 + -3 - (-740)/(1 + 4)?
True
Let z(f) = -f**2 + 10*f + 2. Suppose 39 = 2*c - 3*t - 6, 0 = 3*c + 5*t - 58. Let n = -11 + c. Is 2 a factor of z(n)?
True
Let v(g) = 5*g**2 + g + 2. Let h(f) = -4*f**2 - 3. Let k(x) = -4*h(x) - 3*v(x). Is k(4) a multiple of 7?
False
Let f(y) be the first derivative of y**2/2 + 13*y - 2. Let u be f(-9). Suppose -b = u*b - 30. Is b a multiple of 4?
False
Let j(g) = -g**2 - 5*g - 2. Let x(t) = 3*t**2 + 15*t + 7. Let f(d) = d**3 + d**2 - d + 4. Let q be f(0). Let u(s) = q*x(s) + 11*j(s). Is 2 a factor of u(-4)?
True
Suppose -412 = -2*j - 84. Does 41 divide j?
True
Let n(v) = v**2 + 1. Let b be n(4). Suppose 2*u = -d - 5, d - b = -d + 5*u. Suppose 2 + d = m. Does 3 divide m?
True
Let b(x) = -2*x**3 - 3*x**2 + 4*x. Let z be b(-3). Let d = z - -2. Does 11 divide d?
False
Suppose 3*f - f - 24 = 0. Does 6 divide f?
True
Let h = 177 - 100. Is h a multiple of 7?
True
Let h(u) = u**2 - 5*u + 6. Let j = 4 + 2. Is h(j) a multiple of 12?
True
Let w(f) = -4*f + 16. Is 8 a factor of w(-8)?
True
Let g be 6 + -4 - (-2)/2. Suppose -2*f + 3*f + 6 = -4*o, -g*o = 5*f + 13. Is 14 a factor of (-9)/(-3) - o*25?
True
Suppose -4*d = 3*g - 49 - 18, 4*d - 4 = 0. Let k be (-3)/12 - g/12. Is (-1)/((-2)/((-12)/k)) a multiple of 3?
True
Let g = -125 - -257. Is 12 a factor of g?
True
Let m(b) = b + 6. Let s be m(-3). Let v(u) = 2*u - 4. Let l be v(-4). Is (-67)/(-4) - s/l a multiple of 17?
True
Is 12 a factor of ((-2)/4)/((-6)/864)?
True
Suppose -2*h + 2*m = h - 9, 0 = 4*m. Let u be 40/15*(-3)/(-2). Suppose 2*d - j - 7 = 0, u*j + h = -d + 4*d. Is d a multiple of 4?
False
Does 20 divide 81 - (-1)/(-1)*1?
True
Suppose 66 = f + 34. Is 32 a factor of f?
True
Suppose 2*a - 15 - 291 = -3*o, 0 = -4*o + 3*a + 391. Suppose -v = 4*v - o. Does 10 divide v?
True
Let g(q) = q**2 - 7*q - 16. Let v be g(12). Suppose 0 = -2*n - 70 - v. Let h = n + 100. Is h a multiple of 26?
False
Let n be 2 - 3 - (-292)/4. Suppose -7*w = -3*w - n. Does 18 divide w?
True
Suppose -5*s - 2*u = -0*s + 5, 4*s + 4 = -2*u. Suppose 0*r + 204 = -4*r. Is r*((-8)/6 - s) a multiple of 17?
True
Let x(m) be the first derivative of -m**4/4 + m**3 + 2*m - 2. Let n be x(3). Suppose -n = 2*z - 10. Is 2 a factor of z?
True
Let r(t) = 5*t + 8. Let k be r(6). Suppose k + 62 = s. Suppose 8*z - s = 3*z. Does 10 divide z?
True
Let y = 178 + -121. Is y a multiple of 13?
False
Let p(k) = -k - 1. Let g be p(-5). Suppose g*h + d - 187 = 0, 0 = 5*h - d + 22 - 267. Does 16 divide h?
True
Let u be 6/(-2)*(-1 - -2). Let c be -10*2/15*u. Suppose -c*q + 38 + 18 = 0. Is q a multiple of 12?
False
Suppose -72 = -3*f - 4*y, y = 4*f - 21 - 56. Is 20 a factor of f?
True
Let w(n) = -n**2 - 7*n. Let d(r) = r + 1. Let z(u) = -3*d(u) - w(u). Let f(a) = 2*a**2 - 4*a + 2. Let g be f(2). Does 6 divide z(g)?
False
Suppose 2*q + 3*q = 10. Suppose -3*o - 2*o - 5*x = -175, x = q*o - 58. Is 14 a factor of o?
False
Let t(b) = 4*b - 1. Suppose 3*u = -h + 26, 25 = 5*u + 2*h - 19. Let p be u/2 + -2 + 0. Does 3 divide t(p)?
False
Suppose -l + 1 = -3, -4*i + 332 = l. Suppose 0 = -5*q + 3*u + 82, 2*u + 12 - i = -4*q. Is 8 a factor of q?
False
Let a = -18 + 18. Is 9*(-2)/(-2) + a a multiple of 6?
False
Suppose 4*v - 4 = -0. Let n(d) = 79*d**3 + 2*d**2 - 2*d + 1. Let m be n(v). Suppose -3*w - m = -8*w. Does 8 divide w?
True
Suppose 4*h - 9 = h. Let m = 3 + -5. Does 13 divide (-13)/m*(h + -1)?
True
Suppose -2*m + 4*m - 608 = 0. Is 19 a factor of m?
True
Does 20 divide (1 - (-274 + 1)) + 2?
False
Let r be (-15)/(-2)*4/6. Let b(o) = r*o**2 + 5 + 2*o + 0*o**2 - 4. Does 7 divide b(-2)?
False
Let a(b) = b**3 + 15*b**2 - 2*b - 16. Suppose i + 75 = -4*i. Does 7 divide a(i)?
True
Suppose -u + 2*a + 35 = 2*u, -5*u + a + 63 = 0. Let l be 1/(-5) + 4/(-5). Let x = u - l. Is x a multiple of 14?
True
Let s = 20 - 16. Is s a multiple of 2?
True
Does 30 divide ((-320)/12)/((-6)/27)?
True
Let f = -6 + -34. Let z be -4*1 - (0 + 0). Is (6/z)/(3/f) a multiple of 10?
True
Let l(i) = 3*i**2 + 8*i - 4. Let k(j) = j**2. Let o(p) = -4*k(p) + l(p). Does 3 divide o(6)?
False
Let s = 88 + -51. Is 26 a factor of s?
False
Let s(k) = -k - 1. Let p(a) = -1. Let r(z) = 4*p(z) - s(z). Does 2 divide r(6)?
False
Let m(p) = -14*p - 58. Is m(-6) a multiple of 13?
True
Let q be (-36)/6*1/(-2). Suppose 5*a = q*s - 93, -a + 192 = 5*s + 3*a. Is s a multiple of 9?
True
Suppose -4*h + 10 = -3*a, 3*a + 7 = -h + 2. Let p be 1 + -2*1*h. Is -4 - -3 - 22/p a multiple of 12?
False
Suppose 1223 = 14*w - 163. Does 9 divide w?
True
Let q = -39 - -162. Is 22 a factor of q?
False
Let w(b) = 7*b**2 + b + 4. Is 15 a factor of w(-2)?
True
Suppose v - 296 = -7*v. Is 12 a factor of v?
False
Suppose 0*x - 5*x = 0. Suppose x = z - k - 86, 115 = z - 2*k + 27. Suppose y - z = -2*y. Does 14 divide y?
True
Suppose -4*q + 133 = -11. Does 4 divide 1/(q/32 + -1)?
True
Let i = 103 - 59. Does 13 divide 2/11 + 1180/i?
False
Let l(n) = 2*n + 2. Let g be l(-2). Let u = -2 - g. Is 12 + -2 - (0 - u) a multiple of 5?
True
Let y = 78 + 17. Does 22 divide y?
False
Let y be (-2)/(-2*(-4)/(-20)). Suppose -y*d = -211 - 59. Is d a multiple of 18?
True
Suppose -12*p + 123 = -105. Is p a multiple of 7?
False
Let l(y) = -y**3 - 5*y**2 + 6*y + 2. Let j be l(-6). Let q(o) = 27*o - 15. Let z(g) = -14*g + 8. Let x(i) = 6*q(i) + 11*z(i). Is x(j) a multiple of 14?
True
Let s be (3/3 - 1)*1. Let t = 16 + s. Is 16 a factor of (1 + 2 + -2)*t?
True
Let q(n) = 7*n**3 - n**2 + 2*n - 1. Let x be q(1). Suppose -2*d = -0*j - 4*j, -5*j + x = d. Is d even?
True
Is 24*(-1 + (-18)/(-4)) a multiple of 21?
True
Let a(i) = -10*i**2 - 1. Suppose 4*h = -5*m - 21, -h - 16 = 3*h + 4*m. Let j be a(h). Let n = 22 - j. Is 13 a factor of n?
False
Let n(j) = j**2 + 3*j - 4. Is 2 a factor of n(2)?
True
Suppose -2*w - 2*w = -100. Suppose 5*n = 22 - 102. Let m = w + n. Is 4 a factor of m?
False
Does 12 divide ((-9)/(-6))/(15/470)?
False
Let o = 107 + -65. Does 21 divide o?
True
Let a(v) = -3*v**3 + 3*v**2 + v. Let s be a(-2). Is (s/(-8))/(2/(-16)) a multiple of 17?
True
Suppose -191 + 6 = -5*b. Let y = b + -21. Does 8 divide y?
True
Let r(g) = -g**2. Let i(o) = 12*o + 1. Let p(t) = -i(t) + 2*r(t). Is 5 a factor of p(-5)?
False
Let z be (-8)/16 - (-26)/4. Is (z*1)/(6/9) a multiple of 7?
False
Suppose -308 = -2*y - 3*q, -3*q - 180 = -y + 2*q. Is y a multiple of 14?
False
Let h be (-70)/21*(-18)/5. Suppose -23 = 5*b + 7. Let m = h - b. Is m a multiple of 9?
True
Let v = 17 - -14. Let b = -15 + v. Is 7 a factor of b?
False
Let p be (-1 - -2)/(2 - 1). Is 31 a factor of 76 + (-5 + p - -3)?
False
Suppose -852 = 16*a - 18*a. Is 39 a factor of a?
False
Let z = 9 - 10. Is 27 a factor of 56 + z + 2 + -3?
True
Suppose -44 = -f - 4*s, -2*s - 2*s - 244 = -5*f. Is 12 a factor of f?
True
Suppose 0*k + 388 = 4*k. Does 33 divide k?
False
Is 3 a factor of (1/3)/(-1 + (-470)/(-465))?
False
Suppose 4*r - 36 = -4*v, 7*r - 4*v = 2*r + 54. Is 4 a factor of r?
False
Let s(y) = 4*y**2 - 6*y. Is 10 a factor of s(4)?
True
Let y = 22 + -4. Does 18 divide y?
True
Let n(o) = 3*o**2 - 7. Does 13 divide n(4)?
False
Let o(m) = -m - 1. Let h(z) = 5*z + 6. Let s(k) = -2*h(k) - 11*o(k). Let c be s(4). Suppose 0*v = -2*v + 4*i + 38, -v - c*i - 6 = 0. Does 9 divide v?
True
Let r(t) be the third derivative of t**5/60 - 5*t**4/24 + t**3/6 - 2*t**2. Le