43*l**2. Does 2 divide r(-12)?
True
Suppose 3*g + z - 3260 = 0, g - 2*z + 0*z - 1082 = 0. Does 14 divide g?
False
Let q(f) = 2*f**3 + 24*f**2 + 25*f + 33. Let p be q(-11). Suppose r = 6*r - 165. Suppose p = g + 2*o - 33, 3*o + 0*o = -g + r. Is 13 a factor of g?
False
Suppose 5*x + 6 = 3*x. Let q be (-630)/56*8/x. Does 12 divide ((-18)/15)/((-1)/q)?
True
Let q = 453 - 279. Let n = -73 - 22. Let y = n + q. Does 10 divide y?
False
Let d(t) = -t**2 - 9*t + 5. Let l be d(-9). Suppose 0 = l*a - 455 - 105. Does 28 divide a?
True
Does 12 divide 1680 - (493/87 - (-2)/(-3))?
False
Let k = -86 + 86. Suppose 3*d + y - 160 = k, 4*y = 2*d - 3*d + 57. Is d a multiple of 9?
False
Let r(f) = -45*f**3 + 2*f**2 + 4*f - 15. Let k be r(3). Does 7 divide k/(-90) - ((-2)/6)/(-1)?
False
Suppose 2*m - 2*r = 332 + 428, m - 5*r = 364. Is 12 a factor of m?
True
Suppose 2*i - 3*i = 0. Suppose i = -4*k + k + 180. Suppose 3*u + 0*u - k = 0. Is 15 a factor of u?
False
Suppose -3*y + 3 = 3*k + k, 0 = -5*k - y + 12. Let a = 18 + -9. Suppose -k*r + a = -81. Is r a multiple of 15?
True
Let m = 19 - 15. Is 101/(4 + (-14)/m) a multiple of 23?
False
Let y(r) be the third derivative of r**4/4 - 2*r**3 - 6*r**2. Is y(5) a multiple of 18?
True
Let s = -5 - -7. Suppose 0 = 3*d - 3*i - 144, s*d - 2*i = -2*d + 192. Does 12 divide d?
True
Let i = -14 + 26. Suppose -2*c = -4*c - i. Let y = c - -24. Is y a multiple of 4?
False
Let h be ((-2)/(-3))/((-13)/(-195)). Suppose -44 = -2*l - 4. Suppose 0 = -3*p - 4*f + 54 + h, -2*p + 3*f = -l. Is p a multiple of 16?
True
Suppose 81 = 4*g + 4*w - 531, 0 = -2*g + 3*w + 291. Does 4 divide g?
False
Suppose 0 = 9*k - 2145 + 876. Suppose k + 48 = 7*a. Does 10 divide a?
False
Let j(v) = -v**3 - 9*v**2 - 11*v + 21. Is j(-9) a multiple of 8?
True
Suppose 15*w - 13518 = 342. Is 22 a factor of w?
True
Let w(x) = 2*x + 2. Suppose 5*i + 4 = 3*i + 3*a, 4*i - 2*a = 0. Let p be w(i). Suppose -4*b + 179 + 93 = 2*o, p*b - 280 = 2*o. Does 10 divide b?
False
Let n be 168/(-10)*150/(-20). Let v = n - 100. Does 13 divide v?
True
Suppose -3*j - 3*k = -42, 2*j = -3*j + 2*k + 56. Let u be 1/(-2) + 102/j. Let a(g) = 3*g - 3. Does 11 divide a(u)?
False
Let v be 122/6 + (-3)/9. Let z = 28 - v. Is z even?
True
Let q be (-2)/(-1) + (8 - 6). Suppose q*g = 3*z - 1, -3*z + 11 = -g + 4. Suppose p + 1 - 2 = 0, a - g*p - 1 = 0. Is 3 a factor of a?
True
Let m = 99 - 94. Let w(k) = -3 - 3 + 3*k + 1. Is w(m) a multiple of 5?
True
Let l(b) = b**3 - 22*b**2 + 36*b + 49. Is l(21) a multiple of 28?
True
Suppose 55 = 3*q + 2*y, 82 = 5*q - 5*y + 7. Suppose -2*b + q = 5*h - 20, -26 = -2*h + 2*b. Is 9 a factor of h?
True
Let w = 153 - 150. Is 3 a factor of w?
True
Let q be ((224/(-35))/8)/((-1)/1030). Suppose 7*f + 173 - q = 0. Is 14 a factor of f?
False
Let x = 6 - 14. Let l = 145 + -157. Let o = x - l. Is o a multiple of 3?
False
Suppose -2 - 33 = -5*x. Let f be x/14*(11 - 1). Suppose -f*i + 130 = -0*i. Is 10 a factor of i?
False
Suppose 4*w - 18 = 3*o - 2*o, 4*o = -4*w - 12. Let h(j) = -j**2 - 27*j - 18. Let i(z) = -z**2 - 28*z - 18. Let r(x) = o*i(x) + 7*h(x). Is 18 a factor of r(-15)?
True
Let i = 975 + -271. Is i a multiple of 9?
False
Let b(o) = -35*o**2 - 6*o + 7. Let g(a) = 35*a**2 + 5*a - 6. Let c(f) = 6*b(f) + 7*g(f). Is c(-2) a multiple of 39?
False
Suppose -46*p + 83*p = 43697. Is p a multiple of 17?
False
Let g = 1049 + 526. Is 21 a factor of g?
True
Let g = 554 - 384. Is 11 a factor of g?
False
Suppose 5*x + 2 = -2*f, 0 - 22 = -5*f + x. Is 4 a factor of f?
True
Let x(o) = -o**2 + 7*o - 3. Let r be x(6). Suppose -5*a = -r*l + 8*l - 435, 0 = 3*l + a - 253. Let m = l + -26. Does 13 divide m?
False
Suppose -z - 9 = 2*m + 2*z, 0 = -2*m - z + 1. Suppose 0*q + 8 = q - 2*x, -35 = -m*q - 5*x. Is q a multiple of 10?
True
Suppose 5*c = 2*c + 3*h + 2277, 4*h - 1500 = -2*c. Suppose -4*d = -d + 5*m - c, -12 = -4*m. Is 25 a factor of d?
False
Suppose 4*t - 24 = 5*u, t = -4*u + u - 11. Is (-57)/(1 - (-44)/(-8) - u) a multiple of 5?
False
Let x(n) = 19*n**2 + 2*n. Suppose -5*w - 3 = 12. Is x(w) a multiple of 33?
True
Let m(a) = 2*a + 27. Let w = -32 + 21. Let x be m(w). Is 0 + (437 - -3)/x a multiple of 24?
False
Suppose -3*s + 0*s = -27. Let q be -3*(-3)/(s/5). Is 19 a factor of 70/(-21)*(-114)/q?
True
Suppose 0 = 11*i - 12*i - 5. Let r(v) = -14*v - 40. Is r(i) a multiple of 3?
True
Is 54 a factor of (-14904)/(-322)*(441/(-6))/(-3)?
True
Is 14 a factor of (-1)/((3 - 1)/(50*-1))?
False
Suppose -894 = -34*h + 262. Is h a multiple of 3?
False
Let c(d) = -81*d - 837. Is c(-12) a multiple of 16?
False
Suppose -5*x = -123 - 212. Suppose 0*p + 5*p = t + 133, 2*p - 5*t = x. Does 16 divide (-24)/(-2)*p/8?
False
Suppose -9*m = 2*a - 6*m - 61, 142 = 5*a - 3*m. Let w(t) = 4*t - 5. Let x be w(5). Let q = a - x. Does 14 divide q?
True
Suppose -13*p = -11*p - 1276. Is p a multiple of 11?
True
Let s = -32 + 31. Does 11 divide 91 - ((-3 - -8) + s - 1)?
True
Suppose -316 = 3*a - 7*a. Suppose -2*g + a = -59. Does 20 divide g?
False
Suppose 7*r - 18 = 17. Suppose 3*f - 4*t = 167, -t - 73 = r*f - 359. Does 19 divide f?
True
Does 30 divide -1 + (8 - 10 - (-388 + 1))?
False
Let q(h) be the first derivative of -h**4/4 + 3*h**3 - 7*h**2 + 5*h - 16. Let t = -5 + 12. Does 2 divide q(t)?
False
Let c(y) = -y**3 + 23*y**2 - 18*y - 75. Is c(20) a multiple of 45?
True
Let n be (-9)/(-6) + 13/2. Suppose 2*t - n = -l, -3*t + 1 = 3*l - 14. Does 9 divide 21 - (t + 1 + -1)?
True
Is (-8)/((-16)/338) - -5 a multiple of 8?
False
Suppose -4*w + 5*a = 2, -2*a + 10 = 2*w + 2. Suppose -2*b = w, -4*l - 3*b - 3 = -8*b. Does 14 divide (l + -5)/(1/(-2))?
True
Suppose 35*m = -6022 + 17187. Is 11 a factor of m?
True
Let n(l) = 35*l**2 - l + 1. Let m = -3 - 16. Let o = -18 - m. Is 11 a factor of n(o)?
False
Let z be 21/(-14) - (-13)/2. Suppose i = -z*o + 720, -172 = -2*o - i + 116. Let q = -62 + o. Is 24 a factor of q?
False
Let s be 2/(-10) + 284/20. Suppose -l + 93 = -z, s*l + 4*z - 156 = 12*l. Does 21 divide l?
False
Let c be 141/3 + (-3 - 1 - -4). Let r = c - -25. Is r a multiple of 8?
True
Suppose s + 3 = n, 5*n = 39 - 14. Suppose -a - s*t - t = -2, 2*a = 3*t + 13. Is 4 a factor of a?
False
Let v(g) = -g**3 + 11*g**2 + 30*g + 34. Does 13 divide v(-11)?
True
Let t(k) = 2*k**3 - 3*k**2 + k + 1. Let b = 38 + -36. Does 4 divide t(b)?
False
Suppose -57 - 503 = -k. Is 10 a factor of k?
True
Let a = -69 + 69. Suppose -4*g + 700 = -3*r, a = -2*r - 2*r. Is g a multiple of 35?
True
Let h(a) be the second derivative of -5*a**3/6 + a**2/2 - 2*a. Let d(n) = 3*n + 6. Let r be d(-3). Does 8 divide h(r)?
True
Let k(r) = -r**3 + 15*r**2 - 15*r + 16. Let i be k(14). Suppose i*o + 13 = -5*c + 2, -4*o - 5*c + 3 = 0. Is 6 a factor of o?
False
Suppose -3*v + 879 = 303. Does 12 divide v?
True
Let x = -23 - -26. Let z(g) be the second derivative of g**4/3 - 2*g**3/3 + g**2 - 4*g. Does 4 divide z(x)?
False
Suppose 4*m = 5*k + 72, -4*m - 3*k = m - 53. Suppose 216 = 15*s - m*s. Does 9 divide s?
True
Let s be 1 + 3 + -2 - -61. Suppose -2*k = 3*o - s, -3*k + 5*o = -3 - 82. Does 14 divide k?
False
Suppose 3*u - 6*u + 5 = 2*y, 5*u = -15. Suppose -y = -5*w + 3. Suppose w*a - 32 = -0*a. Is a a multiple of 9?
False
Let s = 26 + 117. Let x = 20 - 78. Let j = s + x. Is 23 a factor of j?
False
Suppose 4*k - k = 4*k. Is 9 a factor of -81*(-1)/(1 + k)?
True
Let n(f) = 6*f - 39. Let m = -18 - -42. Does 21 divide n(m)?
True
Is 16 a factor of -5 - (12/(-30) + (-18549)/15)?
True
Let a = 31 + -27. Suppose f - 396 = -4*g, 5*g + 2*f = a*f + 495. Is 11 a factor of g?
True
Suppose -4*r - 7 = -5*q, -8 = 4*r + 4*q + 8. Let t be -6*(r/(-1) + -2). Is (-15)/(-6)*t/(-3) a multiple of 5?
True
Let k(y) = 2*y**2 + 21*y - 21. Let w be k(-21). Suppose -3*f - w = -6*f. Does 28 divide f?
True
Let y(q) = -q**2 + 6*q - 1. Let n(a) = -a**2 + 11*a + 17. Let k be n(12). Let s be y(k). Suppose 46 + 230 = s*v. Is 14 a factor of v?
False
Let w(o) = 194*o**2 + o. Does 17 divide w(-1)?
False
Let n(v) be the first derivative of v**4/4 + 10*v**3/3 + 5*v**2/2 - 9*v - 6. Let w(z) = z**2 - 9. Let s be w(0). Is 11 a factor of n(s)?
False
Let b = -452 - -838. Does 8 divide b?
False
Let g(m) = 68*m**2 - 8*m - 11. Let i(h) = 34*h**2 - 3*h - 5. Let a(s) = -2*g(s) + 5*i(s). Is a(2) a multiple of 10?
False
Let y = 83