s x a multiple of 6?
True
Suppose 0 = 2*l - 3*d - 1655, l - 826 = -2*d + 5*d. Suppose -3*v = -n + 169, 5*n - 3*v + 4*v - l = 0. Is n a multiple of 20?
False
Let h(d) = -2*d**3 + d**2 + 4*d + 4. Let q be h(-2). Suppose -2*k + 5*b + 57 + 3 = 0, -b + q = k. Does 5 divide k?
True
Let a be (-1 + 3)/1 + 3. Suppose -a*w + 228 = -102. Is 22 a factor of w?
True
Suppose 0 = -4*p - 0*c - 2*c + 20, -p + 5 = 4*c. Suppose 0 = p*z - 9*z + 240. Is z a multiple of 15?
True
Suppose 4*p - 9 = p. Let a be (9 - 4) + -1*p. Suppose -5*f + 445 = 5*m, a*f + 0*f - 89 = -m. Is m a multiple of 15?
False
Suppose r - 42 = -3*d, r = -r - 4*d + 74. Let m = 80 - r. Let y = m + -27. Does 13 divide y?
True
Suppose -12*k + 3211 - 823 = 0. Is 51 a factor of k?
False
Let t(b) = b - 12. Let y be t(3). Is 8 a factor of 1*18 + y + 8?
False
Suppose -1230 = -d + 5*f, d - 1181 = f + 65. Is d a multiple of 10?
True
Let b be -4 - (4 - (2 + 10)). Suppose 2*j + 3*d - 44 - 24 = 0, -b = d. Is j a multiple of 9?
False
Suppose 2*t = -22 - 2. Let a = 8 - t. Is 3 a factor of a?
False
Let f(w) be the second derivative of -4*w**3 - 3/2*w**2 - 2*w + 0. Is 15 a factor of f(-2)?
True
Is 6 a factor of (-4304)/(-48) - (-3 + (-11)/(-3))?
False
Let x = 972 - 465. Is x a multiple of 7?
False
Let l = -624 - -1120. Does 31 divide l?
True
Let q = 3926 - 1274. Does 78 divide q?
True
Let l(b) = 6*b**2 + 7*b + 18. Does 8 divide l(-3)?
False
Suppose 162 = 19*h - 13*h. Is 2 a factor of h?
False
Let z(r) = -r**3 - 8*r**2 - r - 3. Let c be 8/(-6)*18/3. Let g be z(c). Suppose g*h + 0 = 30. Is 6 a factor of h?
True
Let i(m) = 14*m**2 - 2*m. Let s = 51 - 48. Is 18 a factor of i(s)?
False
Suppose 4*s = -5*c + 483, 4*c = -2*s + 3*s - 126. Does 12 divide s?
False
Let w = 224 - 168. Does 31 divide w?
False
Let a = 958 + 623. Does 31 divide a?
True
Let a(j) = -j**2 - 35*j - 53. Is a(-33) even?
False
Suppose -17 = -2*r - 3. Let a = r + -2. Suppose -5*s + 33 = -4*f + 200, 23 = f + a*s. Is f a multiple of 11?
False
Let t = -293 + 356. Is t a multiple of 7?
True
Suppose i = -5 + 7. Suppose 0 = -2*y + 5*s - 153, 3*s + 0*s = i*y + 143. Let k = -29 - y. Does 8 divide k?
False
Suppose 2*x + 42 = -4*t - 80, 3*x + 15 = 0. Is 2 a factor of -1*t/(-10)*5/(-1)?
True
Let v(t) = 13*t + 16. Let r(n) = 6*n + 8. Suppose 4*z = -8, 4*i + 11 = i + 5*z. Let u(y) = i*r(y) + 3*v(y). Is 12 a factor of u(-10)?
False
Suppose -3*g + 3*h = -105, h + 4*h + 140 = 4*g. Let n(p) = p**3 - 9*p**2 - 8*p - 18. Let t be n(10). Suppose 3*b + 2*u = g + 6, -u + 27 = t*b. Does 13 divide b?
True
Let k be ((-13)/26)/(1/(-54)). Suppose -q = 21 - k. Is 2 a factor of q?
True
Let h(b) = b**2 + 7*b + 1. Suppose -2*x - 3*x = 4*f + 41, -15 = 2*f - 3*x. Let l be h(f). Let w = l - -21. Is w a multiple of 21?
False
Let w(r) = -2*r + 111. Let f be w(0). Suppose -3*c + 6 = -f. Does 9 divide c?
False
Suppose 0 = 3*d + 5 + 37. Let w = d + 15. Is (-213)/(-12) + w/4 a multiple of 6?
True
Let j(g) = -g**3 - 5*g**2 - 4*g - 1. Let k be j(-3). Does 3 divide 24/(-7)*k/2?
True
Let y be 0 + 6 + -2 + -2. Let n be -3 + y/(6/453). Let k = n + -63. Is k a multiple of 22?
False
Suppose 3*q - 2*d = -4*d + 903, 2*q - 4*d - 602 = 0. Is q a multiple of 23?
False
Suppose 10*u - 36 = u. Does 18 divide 48 + u + -8 - 4?
False
Let w(p) be the third derivative of 5/12*p**4 - p**2 + 0*p + 1/3*p**3 + 0. Is w(4) a multiple of 12?
False
Let g be -2 - (-3 - (2 - 2)). Let o be -3 + g + 5/1. Does 4 divide ((-112)/(-24))/(1/o)?
False
Let w = -12 - -17. Let f = -6 + 8. Suppose 5*t - 2*v - 40 = f*v, w*v - 8 = -t. Is t a multiple of 8?
True
Let v(u) = 3*u + 1 - 23 + 9 + 7. Let i be 42/4*(-2)/(-3). Is v(i) a multiple of 5?
True
Let a(d) = 25*d - 17. Suppose 0 = -w - 4 + 9. Is a(w) a multiple of 38?
False
Suppose -t - 5*p = -10, -4*p + 2 = -t + 3. Suppose -4152 = -q - t*q. Is 6 a factor of q/36 - 4/18?
False
Let m = -64 + 68. Let s(c) = -5*c**3 - 8*c**2 - 3*c + 8. Let p(v) = v**3 + v**2 - 1. Let t(d) = 6*p(d) + s(d). Does 22 divide t(m)?
True
Suppose -22*j + 5*c = -19*j - 6399, -c = -j + 2131. Is j a multiple of 16?
True
Suppose -14 = -3*m + 7. Let f(n) be the third derivative of n**5/30 + n**4/24 + 188*n**2 + 1. Is 16 a factor of f(m)?
False
Suppose 5*l + 4*j = 15 + 30, 2*j - 30 = -4*l. Let q(n) = 10 + 12 - n - l. Is q(-12) a multiple of 7?
False
Let y(k) = 2*k**3 - 8 - 3*k**3 - 54*k**2 + 9*k + 51*k**2. Does 11 divide y(-7)?
False
Let n(m) = -m**2 - 14*m - 23. Let y(p) = -2*p**3 + p + 2. Let h be y(2). Let d be n(h). Suppose a + w = 39, 3*w - d = 4*a - 122. Does 13 divide a?
False
Let n(h) = 488*h**2 + 5*h - 5. Is 103 a factor of n(2)?
True
Let n(h) = h**3 + 10*h**2 - 12*h - 9. Let o be n(-11). Suppose 4*y + 20 = -0, 3*s - 106 = o*y. Let l = s + -22. Does 3 divide l?
False
Suppose 10*u = u + 1296. Suppose 13*c - 10*c = u. Is 12 a factor of c?
True
Let a(b) = -6 - b - 2*b + 2*b - 6*b. Let q(l) = -7*l - 6. Let y(v) = -6*a(v) + 5*q(v). Is 10 a factor of y(3)?
False
Let a(q) = -175*q + 961. Is a(-20) a multiple of 55?
False
Let r = 239 - 137. Suppose 4*i - r = 3*h + 152, 0 = 4*i - 5*h - 258. Is i a multiple of 32?
False
Let y(x) = -x**2 - 43*x - 190. Is 4 a factor of y(-34)?
True
Let s be ((-650)/(-1 + 6))/(-1). Suppose -u + 62 = 2*h, -2*u - 15 = h - s. Does 23 divide u?
False
Suppose 0 = 76*u - 77*u + 460. Is 23 a factor of u?
True
Suppose 0 = 4*l - 2*l + 32. Let s = -135 - -176. Let w = s + l. Is w a multiple of 8?
False
Suppose 2*g - 9 = 5*y, -g - 50 = 4*g + 2*y. Let w be 1245/24 - 1/g. Suppose r + w = 4*x - r, 2*x - 36 = -4*r. Is x a multiple of 14?
True
Suppose -30*v - 16416 = -39*v. Is v a multiple of 38?
True
Let h(d) = -9*d + 33. Let y(l) = -14*l + 50. Let t(v) = 8*h(v) - 5*y(v). Let i = -145 + 136. Is t(i) a multiple of 16?
True
Let m(r) = r**2 - 8*r + 15. Suppose 12 = 2*l + 2*c - 0, -30 = -5*l + 3*c. Let s be m(l). Suppose s = -3*g - 3, 3*g - 414 = -5*v. Is 28 a factor of v?
True
Let v(f) be the first derivative of 153*f**4/4 - f**3/3 + f**2/2 + f - 13. Is v(1) a multiple of 8?
False
Let k(a) = 3551*a**2 + 4*a + 5. Is k(-1) a multiple of 37?
True
Let u = 401 - -281. Does 11 divide u?
True
Let u = -27 - -158. Is 11 a factor of u?
False
Let m = 425 - -642. Does 34 divide m?
False
Let y(q) = q**3 + 4*q**2 - 20*q + 7. Let n be y(-7). Suppose n = x + 3*x - 608. Is 48 a factor of x?
False
Suppose -4*u = 5*p + 1611 - 5759, 2*u = -5*p + 4154. Does 13 divide p?
True
Let l(g) = 2*g**2 + 11*g - 16. Let o be l(-7). Suppose o*b - 13 - 737 = 0. Is 29 a factor of b?
False
Suppose -i + 5*i = 600. Let b = i + -134. Is 6 a factor of b?
False
Suppose k = -4*k - 30. Let i be (-5 - k)*2*4. Suppose -4*w + 4 + i = 0. Does 2 divide w?
False
Let w(x) = x**3 + 4*x**2 - 1. Let i be w(-4). Let g be (i + (2 - 4))*-1. Suppose 2*b - 141 = -5*o, 74 = -2*b + g*b - o. Does 19 divide b?
False
Suppose 24*t - 3807 = -3*t. Is 22 a factor of t?
False
Let c = 991 - 609. Suppose -2*s + 6*v - 7*v + c = 0, 3*s + v = 574. Does 18 divide s?
False
Let m(q) = -53*q - 2. Let h be m(-1). Let i = 108 - h. Does 19 divide i?
True
Let j be (-92)/6*((-36)/(-4))/(-3). Suppose j*p - 42*p = 224. Is 28 a factor of p?
True
Let t be 6 - 5 - 3/(-3). Suppose t*i - 61 = 415. Is i a multiple of 18?
False
Let l = 45 + -57. Is (-1)/((l/75)/4) even?
False
Suppose y - 2646 = -17*y. Is 2 a factor of y?
False
Let f be (-12)/6 - -5*2. Let l = 126 - f. Does 16 divide l?
False
Let h be 1/(-2) - (-63)/2. Let z = -228 - -206. Let u = h - z. Is 10 a factor of u?
False
Does 3 divide ((-1648)/24)/(2 + (-14)/6)?
False
Is 51 a factor of (-1 + (-100)/(-30))*(514 + -1)?
False
Let d(q) = q**3 + 15*q**2 - 44*q - 17. Does 17 divide d(-17)?
True
Is 152/(-266) + (-1761)/(-7) a multiple of 11?
False
Let o be 1*2*174/12. Let d = -8 + o. Is d a multiple of 2?
False
Suppose -10 - 3318 = -8*b. Suppose -9*y + y = -b. Does 13 divide y?
True
Let h(p) = p**3 - 6*p**2 + 2*p - 9. Let t be h(6). Suppose -2*o = l - 57, 0 = l - 0*l + t. Does 10 divide o?
True
Let i = -26 - -30. Suppose 150 = i*w + w. Is 6 a factor of w?
True
Let v be 63/14 - (-2)/(-4). Suppose v*s - 11 = c, -3*c - 5 = 5*s - 6. Suppose s*a + 2*k = 30, 3*a = 7*a - 2*k - 42. Does 7 divide a?
False
Suppose 7810 = -21*p + 20410. Does 30 divide p?
True
Let i(o) be the second derivative of -o**5/20 - o**4/3 - 5*o**3/6 - 3*o**2 - o. Suppose 0 = -