. Let o(a) = -a**2 - 2*a - 14 + 2 - 12*a. Is o(m) a multiple of 6?
True
Suppose 5 = v + 2. Let i = 210 + -190. Suppose 4*r = i, -v*p - 5*r = -13 - 84. Is p a multiple of 11?
False
Let u(p) = 2*p**3 - 5*p**2 + 4*p - 3. Let y be u(2). Let v(n) = -102*n + 8. Let o(i) = 102*i - 7. Let r(q) = 6*o(q) + 5*v(q). Is r(y) a multiple of 25?
True
Let q be -17 + 13 + (-1 - 5). Is (-395)/q - 1/(-2) a multiple of 8?
True
Let p be 1/(-7) - 0 - (-612)/(-28). Let d(c) = -6*c - 8. Does 31 divide d(p)?
True
Let y be (-102)/24 - (-1)/4. Let c be y/18 - (-152)/36. Suppose j = -c*j + 165. Does 9 divide j?
False
Suppose 0 = -4*s - 97 + 25. Let q be 1/(-2)*(72 + 2). Let l = s - q. Does 6 divide l?
False
Let f(y) = y**3 + 12*y**2 + y + 1. Does 2 divide f(-2)?
False
Suppose -1832 - 3028 = -9*n. Is n a multiple of 60?
True
Let d(c) = -3*c - 18. Let y be d(-6). Suppose y = -5*m + l + 102, -4*l - l = 10. Does 5 divide m?
True
Suppose -4120 = 434*n - 435*n. Is 9 a factor of n?
False
Suppose 21*c = 53539 + 6143. Is c a multiple of 15?
False
Suppose -f + 1 = 5. Let t = 14 + f. Is 3 a factor of t?
False
Let z(a) = 10*a**2 + 7*a - 55. Is 15 a factor of z(4)?
False
Let s(h) = -h - 19. Let i be s(-9). Let k = i - -28. Does 5 divide k?
False
Let a(i) = 11*i**2 + 23*i + 29. Is 12 a factor of a(12)?
False
Let m = 42 - -148. Does 19 divide m?
True
Is -217*(-4)/24 - 12/72 a multiple of 6?
True
Let h(p) = -p**3 + 6*p**2 + 3*p - 5. Suppose -i + 27 = 3*i - 3*l, 0 = 5*i - 3*l - 33. Let a be h(i). Suppose -5*w + 27 + a = 0. Does 4 divide w?
True
Let o(c) = c**3 + 20*c**2 + 20*c + 34. Is o(-19) a multiple of 5?
True
Let d = 50 - -62. Is d a multiple of 14?
True
Let c be ((-13)/(-2) - 6)/((-1)/2). Is 17 a factor of c + -1 + 2/((-8)/(-212))?
True
Let h(g) = -g - 5 + g**2 + 6*g**2 + 4. Let o be h(-1). Let k = o + -4. Is k even?
False
Suppose -6*p + 2*p = 176. Let j be p*(-1)/(-2)*-1. Does 11 divide (j/(-6))/(4/(-24))?
True
Suppose -27*p = -10*p - 5814. Is 57 a factor of p?
True
Suppose -d + 340 = 5*h, 3*h - 348 = 56*d - 57*d. Is 8 a factor of d?
True
Let k be (-2)/(-9) - 4/18. Suppose -2*f + 124 = -k*f. Suppose 5*w - f = 3*w. Is w a multiple of 9?
False
Let m = -99 + 49. Let j(h) = -15*h + 10. Let u be j(8). Let x = m - u. Is 30 a factor of x?
True
Let v = 133 + 1241. Is v a multiple of 36?
False
Let n(j) = 27*j - 45. Is n(9) a multiple of 3?
True
Let d(r) = -52*r**2 - 3. Let u be d(-2). Let t = 130 + u. Let m = t + 159. Is m a multiple of 13?
True
Let o be 108/24*4/(-3). Is 5 a factor of (8/o)/(48/(-540))?
True
Suppose 0 = -3*x - 3*t - 15, x + 4*t - 4 = 3. Let h(n) = -6*n + 9. Let m be h(x). Does 13 divide 14/m + (-232)/(-9)?
True
Let g = 89 + -59. Let s = 2 + 2. Suppose -s*p + g = -2. Is 2 a factor of p?
True
Let x = -105 + 109. Suppose -x*f = -f - 405. Is f a multiple of 15?
True
Suppose 5*s = 2*s - 60. Is (-12)/((-5)/s*-2) a multiple of 8?
True
Let g = 603 + 191. Is 15 a factor of g?
False
Suppose -5*d + 14 = -4*d. Let l = d - 17. Is 16 a factor of (-17)/3*(l - 6)?
False
Suppose -3*t = -3*r - 336, 3*r - 4*t = -149 - 192. Let o = r + 119. Is 6 a factor of o?
True
Suppose 6*d = d. Suppose k = 3 - d. Suppose 13 = k*h - 29. Is 2 a factor of h?
True
Let x(s) = 12*s - 133 + 51 + 46. Is x(9) a multiple of 18?
True
Let m(z) = -z**2 - 1. Let n(i) = -i**3 - 14*i**2 - i - 18. Let r(q) = -4*m(q) + n(q). Let f be r(-10). Let g(k) = k**2 - k + 1. Does 14 divide g(f)?
False
Suppose 0 = -2*z - l + 15, -2*z + 1 + 4 = 3*l. Suppose 0*y = -2*y + z. Suppose y*u + 0*v - 483 = 4*v, -5*u + 3*v + 486 = 0. Is 28 a factor of u?
False
Suppose -p + 1201 = 8*m - 4*m, 5*m = 5*p + 1495. Is m a multiple of 15?
True
Let f = 255 - 145. Let n = f - 54. Is n a multiple of 7?
True
Let a be (6/9)/(15/351)*-5. Let c = a - -183. Does 21 divide c?
True
Let b be 4/(-18) + (-1660)/(-18) + 4. Suppose b = x + 5. Does 13 divide x?
True
Let i be (-364)/(-10) + 3/5. Let h = i - 21. Suppose 0 + h = 2*m. Is 2 a factor of m?
True
Suppose 0 = 7*p + 12 + 9. Let n(x) = 3*x**3 + 2*x**2 - 3*x + 2. Let v be n(3). Is 20 a factor of (v/8)/(p/(-18))?
False
Let n(p) = 57*p**2 + 12*p + 10. Is n(-3) a multiple of 34?
False
Suppose 5*k - 4*x = -0*k, 0 = 2*k - 2*x. Suppose k = -8*a + 3 + 29. Is a a multiple of 3?
False
Let k = 118 - 193. Let i be (-18)/(10/k*-5). Is 1*4*i/(-6) a multiple of 6?
True
Let x(w) = 10*w - 5. Let r(y) = y**2 - 6*y + 8. Let d be r(5). Does 5 divide x(d)?
True
Let k = -112 - -237. Suppose 3*r - k + 44 = -4*a, -2*r = 10. Is 8 a factor of a?
True
Let a be 8/(-4)*(-15)/6. Suppose -a*l + 2 + 18 = 0. Let v = l + 13. Is v a multiple of 17?
True
Let o(q) = -q**3 + 2*q**2 - 2*q - 13. Let g be 8/(-20) + 18/(-5) + 1. Is o(g) a multiple of 22?
False
Let u(m) = 3*m**2 + 19*m - 11. Let v be u(-10). Suppose -9 - v = -6*i. Does 13 divide i?
False
Suppose -2 = -r - 0. Suppose 5*h + 5*v + 10 = 0, -h + 2 = 2*v + 6. Does 7 divide 8 - (r - (h + 2))?
False
Let c(t) be the first derivative of -t**3/3 - 5*t**2 + 3*t + 4. Let i be c(-10). Suppose i*b = -b + 260. Is b a multiple of 13?
True
Let u(f) = 2*f**3 + f**2. Let l be u(1). Suppose -4*b + l*d = -211, -2*b - 3*b + 4*d = -264. Is 13 a factor of b?
True
Let f = 1763 + -516. Does 43 divide f?
True
Suppose -u - 12 = 2*u, -3*u = 3*d - 12375. Is d a multiple of 16?
False
Suppose 0 = -3*o + 7*o. Suppose 2*y = -o*y, 5*y + 105 = 5*v. Does 21 divide v?
True
Suppose 3*u + 5*d = 17, 0*u - 8 = -u - 4*d. Suppose -l = -u*l + 19368. Does 16 divide l/108 - (-4)/18?
False
Let i = 70 - 76. Is 9 a factor of 109/3 + (i - (-34)/6)?
True
Suppose 0 = -5*s - d + 2800, d + 560 = s + 5*d. Is s a multiple of 16?
True
Suppose -11*w = -14664 - 3728. Is 38 a factor of w?
True
Let z(o) = -98*o**2 + 498*o. Is z(5) even?
True
Let z = -76 - -79. Suppose -z*f = -u - 154, -3*f + 7*f = -2*u + 202. Is f a multiple of 4?
False
Does 24 divide (-17392)/(-4) - (-8 + 19)?
False
Suppose 4*q = 4070 + 186. Is q a multiple of 56?
True
Let h(n) = 2*n**2 - 14*n + 71. Is 14 a factor of h(4)?
False
Let j = 7001 + -4012. Is 61 a factor of j?
True
Let i(s) be the third derivative of s**4/8 - s**3/6 - s**2. Let d be i(2). Suppose d*w = -20, u + 4*w + w = -17. Is u even?
False
Suppose -m - 4*x - 8 = 0, 0 = 5*m - 4*x + 2*x + 18. Is ((m + 0)/2)/(1/(-53)) a multiple of 25?
False
Let k = 95 + -90. Suppose 5*c + r - 504 = c, 5*c - 655 = k*r. Is c a multiple of 39?
False
Suppose -5*u - 2*k - 2889 + 12197 = 0, 3*u - 5588 = -2*k. Is 12 a factor of u?
True
Let m(w) = w**3 + 7*w**2 + 4*w + 3. Let q(k) = -4 - 3*k**2 - 3*k + 3*k**2 - k**3 + 2*k**2 + 3*k**3. Let t be q(-2). Does 9 divide m(t)?
False
Suppose -8*l + 7*l + 780 = -y, l + y - 780 = 0. Is 15 a factor of l?
True
Let t(a) = a**3 + 2*a**2 - 5*a - 2. Let h be t(-3). Suppose -h*o - 1 = -193. Is 12 a factor of o?
True
Is 164 + 7 + (-6 - 0) a multiple of 11?
True
Is 11/(-88) + (-1513)/(-8) + -3 a multiple of 9?
False
Suppose 10477 = 9*h + 397. Does 13 divide h?
False
Let v = -26 + 29. Let u(y) = 4*y**2 + 7*y - 9. Is u(v) a multiple of 12?
True
Suppose -5*t - 4*c + 2*c = -287, -t = -3*c - 71. Let v = t + -31. Does 15 divide v?
False
Let o be (0 - 2)/(1/2). Let n(b) = -9*b**2 - 361*b**3 + 2*b**2 - 4*b + b**2 + 728*b**3 - 369*b**3. Does 16 divide n(o)?
True
Suppose 0 = -5*j + 12 + 13. Suppose j*m = -4*v + 35, -5*v - m + 3*m + 19 = 0. Is v a multiple of 5?
True
Let f = -232 - -601. Is 4 a factor of f?
False
Suppose 46*y = 36*y + 4200. Does 30 divide y?
True
Let a(z) be the first derivative of -2*z**4 + z**3 + z**2/2 + z - 54. Suppose 2*f - 5*p + 0 = 1, -1 = p. Is 10 a factor of a(f)?
False
Let l = 58 - 55. Suppose z + 337 = 5*p, 3*p - 199 = l*z - 4*z. Does 5 divide p?
False
Let y(i) = -2*i + 7. Let r(w) = 3*w - 10. Let v(n) = -5*r(n) - 7*y(n). Let k be v(-5). Let p = k - -8. Is 5 a factor of p?
False
Let m = -4 - -7. Suppose 3*y - 2*a = 26, 5*y + a - m*a - 38 = 0. Does 4 divide (5/(-1))/(y/(-12))?
False
Suppose -3*o + 12 = 0, 3*y = 2*o - 17 + 6. Suppose 2*t - 5*t + 62 = -4*h, 0 = -4*t + 5*h + 83. Does 21 divide 1*(t - (-1)/y)?
True
Let k(x) = x**2 + 3*x - 28. Let i(f) = -f**2 + 19*f - 50. Let w be i(17). Is 30 a factor of k(w)?
True
Suppose -6*c = -5 - 7. Suppose q = -2*q. Suppose c*b + b - 81 = q. Does 9 divide b?
True
Is (153/6 + -4)*14 a multiple of 11?
False
Suppose 2*i + 25 = 73. Let h be 6/(-1)*((-99)/27 