pose 2*l = -2*m + 54, -14 = 5*m + 6. Is 11 a factor of l?
False
Let k(y) = -y**2 + 7*y + 3. Let u be k(7). Suppose -47 = -3*v + h, v + u*h - 6*h = 13. Is 5 a factor of v?
False
Suppose -3*u = 3*v - 249, 4*u + v = 5*v + 340. Is 21 a factor of u?
True
Let c(n) = 60*n**2 - 3*n - 3. Let q be c(-1). Let w = -8 + q. Does 12 divide w?
False
Suppose 0 = 11*z - 9*z - 18. Suppose -5*s - 64 = -z*s. Is s a multiple of 8?
True
Let x(f) = f**3 - 16*f**2 + 33*f - 1. Let n be x(15). Does 51 divide n + (-2)/(-4)*2?
False
Suppose -5*v + 4*h - h = -866, -4*h - 180 = -v. Does 6 divide v?
False
Suppose -n + x - 58 = -356, 5*x - 1460 = -5*n. Does 5 divide n?
True
Let n be ((-13)/(-26))/(2/(-100)). Let a = 39 + n. Let b(u) = -u**3 + 14*u**2 + 2*u + 15. Is b(a) a multiple of 10?
False
Suppose 5*u - 6*u + 4 = 0. Let q be (-8)/3 - 4/(-6). Is 22 a factor of 67 + -3 + u + q?
True
Suppose 11*x - 2*x = -1053. Is 17 a factor of (-5)/((-20)/8) - x - 0?
True
Is 8/(-28) + (2 - (-7780)/35) a multiple of 32?
True
Let y(p) = 12*p**2 + 26*p - 49. Is 10 a factor of y(2)?
False
Suppose 159 = -0*s + 3*s. Does 11 divide s?
False
Suppose -2*a - 8 = 160. Let t be (a/(-16))/(2/16). Suppose t = 5*j + 7. Is j a multiple of 7?
True
Let h = 194 + 100. Does 17 divide h/4*56/42?
False
Suppose 2*d - 4*k = -8, -4*d = -d - 4*k + 22. Is d*(-1)/(-2)*(-2 + -9) a multiple of 13?
False
Suppose 6*d - 4*v - 20 = 2*d, 3*v = -5*d + 9. Suppose -2*c - 2*n + 42 = 0, -4*c + d*n - 8*n + 85 = 0. Does 7 divide c?
False
Suppose 9*r - 13*r - 44 = 0. Let i(p) = p**3 + 7*p**2 + p - 6. Let l be i(-7). Let n = r - l. Is n a multiple of 2?
True
Suppose 5*u + 368 - 1133 = x, 2*u = -x + 299. Does 39 divide u?
False
Suppose 0 = -3*y + 2*g - g + 10, -y - 2*g = -15. Suppose -5*i = 2*p + 3, 3*i = -i - y*p + 1. Let m = 3 - i. Is 2 a factor of m?
True
Suppose -4*m + s = -101 - 550, 4*m + 5*s = 681. Let j = m + -136. Does 3 divide j?
False
Let a be (5/2)/((-3)/(-6)). Suppose -h - 3*h = -a*l + 12, -5*h + 30 = 5*l. Does 23 divide h/1*511/14?
False
Let r(v) = -2*v**2 - 18*v. Let z be r(-9). Suppose z = 20*h - 0*h - 480. Is h a multiple of 12?
True
Suppose 0 = 4*o + 16 + 20. Let s(d) = d + 12. Let u be s(o). Suppose h + u = 13. Is 5 a factor of h?
True
Let f(l) = 68*l - 1. Let j be 3/2 + (4 - 28/8). Is 16 a factor of f(j)?
False
Suppose 0 = -4*h + 116 + 12. Let z = 116 - h. Is z a multiple of 14?
True
Let x be ((-20)/(-6))/((-16)/312). Let j = x + 102. Suppose -l - 11 = -j. Is 26 a factor of l?
True
Suppose -3*b - 238 = -b. Does 9 divide (-8673)/b + 6/51?
False
Let o be 4/(-18) - 18390/(-135). Suppose 4*g - 1152 + o = 0. Is 32 a factor of g?
False
Let q = 35 - 36. Let m be q/(-3)*9 + 2. Suppose 0 = 5*o - 3*n - 185, 185 = m*o - 0*n + 4*n. Is o a multiple of 9?
False
Let y = -38 + 72. Let p = y - 7. Is 27 a factor of p?
True
Suppose 4*u + 408 = 3*g, -7*u + 2*u = -5*g + 675. Is 22 a factor of g?
True
Suppose 0 = -13*t + 11*t + 258. Let n = t + -34. Is n a multiple of 20?
False
Let j(s) = s**3 - 12*s**2 - 15*s - 16. Suppose 5*t - 85 = -4*m, m = 2*m - 5. Let r be j(t). Let u = r + 63. Is u a multiple of 4?
False
Suppose 13*w = 3748 - 615. Let c = w - 156. Is 17 a factor of c?
True
Suppose -12*v = -7*v + k + 473, 5*v + 477 = k. Suppose 241 = -2*m - 99. Let z = v - m. Does 25 divide z?
True
Suppose 3*n + 0*n + 306 = 0. Let k = 189 + n. Does 33 divide k?
False
Suppose -4*d + 3*d = -14. Suppose d*j = 17*j - 39. Does 13 divide j?
True
Suppose -4*u + 16 = 0, 10*h - 6880 = 8*h - 4*u. Is h a multiple of 28?
False
Suppose -4*n - 4*z + z + 53 = 0, 3*n + 3*z = 36. Let s = n + 7. Is (8/s)/((-1)/(-114)) a multiple of 19?
True
Is 1026*-7*(-6)/126 a multiple of 55?
False
Let w(d) = d**2 - 8 - 4 - 9*d + 2. Let p be w(8). Is 4 a factor of (-63)/p + (-1)/(-2)?
True
Suppose 3*x + 96 + 96 = 3*t, 0 = -t + 5*x + 80. Is t a multiple of 5?
True
Suppose 108 = n + 4*b, -3*n + b + 4*b + 375 = 0. Suppose -3*z = -3*l + 54, 4*l + 42 = 2*z + n. Is 3 a factor of l?
True
Is 10 a factor of (66 + -2 + 8)*(-40)/(-12)?
True
Is (-9 - 5)*(-1 + -2) a multiple of 3?
True
Let o(c) = -c + 11. Let p be o(9). Suppose -60 = 7*s - p*s. Does 6 divide 2/s - 844/(-24)?
False
Suppose -16*i + 21*i - 380 = 0. Let g = 108 - i. Does 8 divide g?
True
Suppose 187*j + 132 = 190*j. Is 4 a factor of j?
True
Let t = -1088 + 1343. Is 51 a factor of t?
True
Suppose 2 = -4*v - t - 2, 3*v + t = -3. Let g be v/(1 + -2) - -27. Suppose 2*z - 172 = -g. Is z a multiple of 18?
True
Let y = -65 + 817. Does 55 divide y?
False
Let l(h) = 733*h**3 + 2*h**2 - 2*h + 3. Does 46 divide l(1)?
True
Suppose -4*n - 2058 + 182 = 0. Let p = 716 + n. Does 13 divide p?
True
Suppose -3*s = -2*w + 1169, 5*s + 746 + 421 = 2*w. Does 4 divide w?
False
Suppose 0*l - l + 85 = 4*a, 4*a + 353 = 5*l. Suppose -235 = -3*m - l. Is m a multiple of 15?
False
Let m = 0 - -1. Let h be 0 + 66/(m/1). Let o = -34 + h. Is o a multiple of 16?
True
Let t = 0 - 0. Let o(a) = 2*a**3 + a**2 - 2*a - 37. Let l(c) = -c**3 - c**2 + c + 2. Let u(p) = -l(p) - o(p). Is 35 a factor of u(t)?
True
Let c = 114 + -69. Let s be c/(-2)*(-96)/(-20). Let j = -73 - s. Is 8 a factor of j?
False
Let s = -8 - -6. Let t(j) = j**2 - j + 7. Let o be t(0). Is 24 a factor of -16*(o/s + 2)?
True
Let h(t) = t**3 + 18*t**2 - 67*t + 42. Is h(-21) a multiple of 20?
False
Suppose 2*p - 3 + 15 = 0. Let d(i) = -33*i**3 - i**2 + 6*i + 7. Let m be d(-1). Let a = p + m. Does 11 divide a?
False
Suppose -12426 = -6*p + 2334. Is 15 a factor of p?
True
Let k = -1311 - -2736. Is k a multiple of 135?
False
Let n(a) be the second derivative of -8*a - 1/12*a**4 + 5/6*a**3 + 2*a**2 + 0. Is 2 a factor of n(4)?
True
Suppose u - 19 + 16 = 0. Suppose 2*r - 25 - 128 = -u*j, -5*j + 257 = 4*r. Let g = j - 2. Is 16 a factor of g?
False
Let k(p) = 62*p**2 + 16*p + 12. Is 17 a factor of k(-2)?
False
Let j(f) = -11*f - 9. Let m = 3 + -10. Is 14 a factor of j(m)?
False
Suppose -3*v + x - 2 = 0, -3*x = v - 7*x + 19. Let o be 2 - 0*v/(-3). Suppose -3*p = d - 64, o*p + 28 = 4*p - 3*d. Does 5 divide p?
True
Let m be ((-6)/(-10))/(3/285). Suppose -m = 12*o - 753. Is o a multiple of 10?
False
Let d = 104 - -14. Suppose -2*z - d = -2*f, -f + 2*f - 4*z = 50. Is 8 a factor of f?
False
Let o be -2 - (-5 + 6/(-2)). Is (2/o)/((-6)/(-666)) a multiple of 7?
False
Suppose -3*h = 3*r - 27 - 21, -5*r = 4*h - 67. Let w = h - 9. Suppose 3*b - 7*s + 4*s = 42, w = -s. Is 5 a factor of b?
True
Let g = -304 + 416. Is g a multiple of 53?
False
Let l(q) = 12*q + 29. Let s be l(-8). Let z = s + 175. Is z a multiple of 27?
True
Let r = 458 - 320. Suppose -4*w - f + r = -3*f, -5*w + 3*f = -174. Is 11 a factor of w?
True
Suppose -2*n + 401 + 623 = -2*h, -2*h = -3*n + 1533. Does 57 divide n?
False
Suppose -2*a = -2*x - 0 + 2, -5*x + 15 = 0. Let j be (a - 2 - 2)*-2. Suppose -2*v = -u - 115, u = -j*v - 2*u + 255. Does 15 divide v?
True
Let v(y) = 14*y**2 + 2*y + 8. Suppose -3*f - 19 = -f - 5*i, 0 = f - 4*i + 14. Is 12 a factor of v(f)?
True
Suppose -3*s - i + 0*i + 2 = 0, -i + 2 = 4*s. Suppose 8*z - 4*z = s. Suppose -y = -20 - z. Is 20 a factor of y?
True
Let z(c) be the third derivative of -5/24*c**4 + 0*c - 7*c**2 + 1/3*c**3 + 0 + 1/120*c**6 + 2/15*c**5. Is z(-6) a multiple of 35?
False
Suppose -35*w + 31*w + 7813 = -i, w - 3*i - 1956 = 0. Is w a multiple of 31?
True
Suppose 2821 + 4879 = 7*x. Is x a multiple of 20?
True
Let k be (-2)/(-4) - 1032/(-16). Suppose k = 7*s - 2*s. Does 13 divide s?
True
Let o(c) = -17*c**3 - 4*c - 5. Suppose 32*s + 5 = 27*s. Is 2 a factor of o(s)?
True
Let t(x) = x**3 - 4*x**2 + 5*x. Is t(3) even?
True
Suppose -5*q - 2*c = -c - 151, -3*c = -3. Let i = -42 + q. Does 3 divide (-4)/3*(-3 + i)?
False
Suppose f = 3*w - 796, 7*w = 4*w - 5*f + 772. Is 22 a factor of w?
True
Suppose -3 + 24 = -3*c. Let a = -14 - c. Let u(x) = -8*x - 8. Is u(a) a multiple of 32?
False
Suppose 5 = -3*o + 2*j, 3*j + 7 = -2*o - 18. Let z = 23 + o. Is z even?
True
Let a(s) = -s**2 - 11*s - 30. Let v be a(-5). Is ((-8)/(-20))/(v + 4/120) a multiple of 4?
True
Let t(z) = 16*z**2 - 4*z + 15. Does 16 divide t(6)?
False
Let x = -203 + 201. Let q(p) = p + 1. Let y(o) = 3*o**2 - o - 1. Let r(k) = -3*q(k) + y(k). Is r(x) a multiple of 8?
True
Let y(o) = 6*o + 2. Let a be y(-7). Suppose -u = -36 - 37. Let t = u + a. Does 6 divide t?
Fals