s (-74)/((-2)/1*2 + r) a multiple of 37?
True
Suppose 3*o - 692 = -5*p, -5*o + 2*p = 7*p - 1140. Suppose -8*l - 80 = o. Does 3 divide (-12)/(-8)*(l/(-6) + 1)?
False
Suppose 0 = 108*d - 103*d - 2070. Suppose 903*a - 901*a - d = 0. Does 9 divide a?
True
Let o = 262 + -14. Let u = 304 - o. Is 8 a factor of u?
True
Let d(h) be the first derivative of -h**3/3 + 47*h**2/2 - 129*h - 7. Is 19 a factor of d(29)?
False
Let y(a) = a**3 - 67*a**2 + 5222. Is y(0) a multiple of 7?
True
Suppose q + 46*y = 45*y + 3255, 12985 = 4*q - y. Does 8 divide q?
True
Let l(f) = -2*f - 5*f + 83 + f**2 - 2*f - 35 + 2*f. Is l(0) a multiple of 12?
True
Suppose -3*u + k + 20 = 0, 0*u + 5*k = 5*u - 20. Suppose -u*q - 3206 = -22*q. Is 6 a factor of q?
False
Suppose 77237 = -9*f + 89611 + 212851. Does 91 divide f?
True
Let c(p) = 15790*p**3 + 3*p**2 - 4*p + 3. Is 43 a factor of c(1)?
False
Let i be ((-72)/216)/((-2)/66). Suppose 6*c - i*c = -1140. Is c a multiple of 38?
True
Let z(b) = -56*b - 6. Let h be z(-1). Let t(a) = -a**3 - 5*a**2 - 6*a - 5. Let l be t(-4). Suppose -l*n + h = 2*n + 2*g, -5*n - g = -55. Is n a multiple of 12?
True
Let w = 3 - -3. Suppose -a - w*a = 490. Is 5/(-2)*a/5 a multiple of 5?
True
Suppose 5*g + 2*w - 34658 = 0, 10*w = 9*w + 4. Does 55 divide g?
True
Let o = 767 - 3103. Is ((-1)/2)/(8/o) a multiple of 13?
False
Suppose 3*d = -3*a + 22386, 134*a - 22374 = -3*d + 137*a. Does 26 divide d?
False
Let c(f) = -f**3 - 9*f**2 - 22*f - 21. Let h be c(-6). Suppose -h*z - 3*g + 138 = 0, -5*g - 149 = -5*z + 71. Is 3 a factor of z?
True
Let u(j) = 6*j**2 - j + 185. Let z be u(0). Let a be ((-176)/(-2) - 2) + -1. Let x = z - a. Is 20 a factor of x?
True
Let a(k) = 8372*k**2 + 11*k - 21. Is a(2) a multiple of 9?
True
Let k(d) = -5867*d - 17. Is 82 a factor of k(-2)?
False
Suppose 3*i = 4*i - 2*i. Suppose i = -k + 2 - 165. Let y = -64 - k. Is y a multiple of 14?
False
Let u = 23 + -23. Suppose -t + 14 - 2 = u. Suppose t + 123 = 3*o. Is o a multiple of 5?
True
Suppose -42 + 7 = -7*d. Suppose d*b + 3*j - 7*j - 1975 = 0, -b = -2*j - 389. Is 18 a factor of b?
False
Suppose -2*x - 4*x = -24. Suppose -m - 2*m = k - 5, -4*k = x. Suppose -4*n - 3*i + 271 = m*i, -n = -i - 61. Is n a multiple of 8?
True
Let s(v) = 19*v. Suppose h + 3 + 9 = 0. Let p be ((-6)/h)/((-3)/(-12)). Is s(p) a multiple of 11?
False
Suppose 116*v - 115*v = 138. Let w = 148 - v. Is w a multiple of 10?
True
Let b(o) be the first derivative of 16*o**2 - 77*o - 65. Is b(12) a multiple of 13?
False
Let m(c) = 58*c - 114. Is m(11) a multiple of 4?
True
Suppose 108 + 108 = 3*k. Let r = k + -58. Let t(g) = 10*g - 30. Is t(r) a multiple of 11?
True
Let d(f) = -2*f**3 + 42*f**2 + f + 5. Suppose 3*v - 272 = -209. Is 3 a factor of d(v)?
False
Let h(c) = -c**2 + c. Let m(u) = u**2 + u - 543. Let q(v) = -2*h(v) - m(v). Is q(0) a multiple of 17?
False
Let g = 119 - 114. Suppose -4*l + 178 = g*z - 58, -z + 50 = -2*l. Is z a multiple of 24?
True
Suppose 0 = -v + 2*r + 788, 2*r = -59*v + 57*v + 1594. Does 11 divide v?
False
Suppose -13*i + 9246 + 36358 = 0. Is i a multiple of 7?
False
Suppose -59*v + 2*m = -62*v + 29058, 3*v = -5*m + 29076. Does 103 divide v?
True
Suppose 2*g = 3*p - 16537, -102*p - g + 11041 = -100*p. Is 35 a factor of p?
False
Suppose -9 = 2*s - 33. Let l(d) = d**2 - 12*d + 3. Let a be l(s). Suppose -5*i = a*p - 54 - 7, -i + 19 = p. Is p a multiple of 2?
False
Let i be ((-13)/2)/(5/(-180)). Suppose -s = -88 - i. Is s a multiple of 46?
True
Suppose 0 = -12*y - 3*y + 60. Suppose 4*w + y*i = 9*i + 855, 0 = 5*i + 15. Does 13 divide w?
False
Let t be (-223935)/90 - 2/(-12). Let u be (-22)/121 - t/11. Suppose 0 = k + 1, 4*k = 3*n + 12 - u. Is 14 a factor of n?
True
Let y = 50307 - 33884. Is 33 a factor of y?
False
Suppose 0 = -16*b + 3*d + 217530, 5*b = 2*d - 20716 + 88692. Is b a multiple of 89?
False
Suppose 9*o + 9*o = 72. Let w(y) = 20*y**3 - 2*y**2 + 4*y - 11. Is w(o) a multiple of 21?
False
Let h be (-1 + (-4)/16*-4)/2. Suppose -5*r + h*r = 2*x - 9, -4*r = 4*x. Is 25 a factor of x + 6 + -47*(-3 + 2)?
True
Let m = 26714 - 15276. Is 266 a factor of m?
True
Let f be 6/8 + (-78)/(-24). Let u be f/2 + -5 + 7. Does 30 divide -2 + u*59/4?
False
Suppose 0 = -10*x + 180 + 460. Suppose 7*y = 10*y + 6, -2*m + 3*y = 104. Let k = m + x. Does 9 divide k?
True
Let a = 2060 - 1433. Is 76 a factor of a?
False
Suppose 5*q = s + 15063, -5*q + 13023 = 3*s - 2028. Let t be 9/15 + q/30. Let b = 185 - t. Is b a multiple of 36?
False
Suppose -21*u - 3*t + 24788 = -17*u, 3*t - 18588 = -3*u. Is u a multiple of 31?
True
Let m(b) = b**2 + 7*b - 40. Let l be m(10). Let i = 135 - l. Suppose -2*a = 4*j - 0*a - 178, j = i*a + 17. Is 14 a factor of j?
True
Let b be 4 + (2 - 0 - -4) + -2. Suppose -4*t + 1223 = 3*a, 4*a + a - t = 2023. Suppose b*i - 11*i = -a. Is 23 a factor of i?
False
Let f = -12332 - -16721. Is 57 a factor of f?
True
Let n(o) = 13*o + 7841. Is 165 a factor of n(-32)?
True
Suppose 3*h = -8*h + 66. Let m(s) = 3*s**3 - 3*s**2 - 8*s. Does 23 divide m(h)?
False
Let s(f) = 13*f**2 - 73*f - 2. Let i be s(3). Is ((-61)/(-8))/((-13)/i) a multiple of 7?
False
Let h(l) = -2*l**2 + 42*l - 91. Let n be h(19). Suppose -195 = -5*q + 2*q. Let d = n + q. Does 25 divide d?
True
Let i(o) = o**3 + 8*o**2 - o - 9. Let u be i(-7). Suppose -24*y + 6842 = 1538. Suppose -3*w + 2*w - 2*l = -u, 0 = 4*w - 3*l - y. Is 40 a factor of w?
False
Let r(i) = -10*i**2 + 3. Let g(c) = c**3 + 4*c**2 + c + 2. Let d be g(-4). Let z be r(d). Let j = z - -77. Does 8 divide j?
True
Let p(g) = -13*g**2 - 8*g + 10. Let v be p(3). Let w = v + 191. Is w a multiple of 20?
True
Let i = -366 + 553. Let w = 308 - i. Is w a multiple of 11?
True
Suppose -5*d + 378*w - 379*w + 200454 = 0, 0 = 3*d - 4*w - 120254. Is d a multiple of 6?
False
Let x(o) = o**3 - 8*o**2 + 8*o - 4. Let v be x(7). Suppose 4 = 4*q, q - 322 = -v*d + 3*q. Let l = 269 - d. Is l a multiple of 39?
False
Let n = -452 - -456. Suppose 19*b + 1460 = 22*b + n*g, -5*b - g + 2456 = 0. Is b a multiple of 6?
True
Suppose 33*z - 22027 = -5758. Is 8 a factor of z?
False
Let f be -4*2*15/(-24). Suppose -r = -f, 6*y - 5*y - 282 = -3*r. Is 31 a factor of y?
False
Is 137 a factor of 9*(-3 + (-8050)/(-15)) + 1?
False
Suppose -24 = 4*r - 2*m + 4*m, -4*m = r + 20. Let s(u) = -2*u + 21. Is s(r) a multiple of 3?
False
Is 21 a factor of (12/(-22) - (-2079)/(-2178))*-3592?
False
Suppose 47*x - 2024 + 1033 - 1077 = 0. Let v(q) = -q**2 - 2*q - 5. Let y be v(-5). Let f = y + x. Is f a multiple of 12?
True
Suppose 4*w - 109 = -3*y, 0 = -2*y - 2*y - w + 141. Let k = 41 - y. Is (2576/12)/2 + 4/k a multiple of 16?
False
Let k = 1237 - 212. Is 33 a factor of k?
False
Let x be ((-328)/5)/(1/(-5) - 0). Suppose -x = -8*m - 8. Does 8 divide m?
True
Let s = 134 + -66. Suppose -3*c + s = -c. Suppose -3*t + c = -26. Does 6 divide t?
False
Suppose -581 = 13*t + 7882. Let v = 956 + t. Does 28 divide v?
False
Does 13 divide ((-4)/(-10)*-1)/(4/1565880*-3)?
False
Suppose 10*t - 2*t + 64 = 0. Let d(i) = 3*i**2 + 5*i + 34. Does 62 divide d(t)?
True
Suppose 5*x - 150 = -15. Let i = x + 23. Let n = i - -60. Is 37 a factor of n?
False
Let o(s) = 1520*s + 2724. Is 39 a factor of o(9)?
False
Let y(m) = -13*m + 23. Let v be y(15). Let n be (6/(-9))/(v/(-60) - 3). Suppose 315 = n*w - 105. Is 14 a factor of w?
True
Let p(g) = -1776*g - 131. Is p(-3) a multiple of 17?
False
Let f(s) = s**3 + 6*s - 7. Let i be f(5). Suppose -4*x + 6*x = i. Let o = x + -59. Is 2 a factor of o?
False
Let t(p) = -p + 27. Let x(s) = 13 + 2 + 11. Let m(q) = -3*t(q) + 2*x(q). Is 7 a factor of m(12)?
True
Let r be 2 + (0 - -2 - 408). Let d be 2 + 21/(-12) - 6462/24. Let b = d - r. Is b a multiple of 27?
True
Let d be 273/6*((-211)/(-7) + -1). Suppose -5*x + 5*n + 2210 = 0, 3*x + 49*n = 47*n + d. Is x a multiple of 17?
True
Let z(c) = 3*c - 20. Let y(a) = 3*a**3 - 2*a**3 + 2*a + 8*a**2 - a**2 + 16 + 4*a. Let k be y(-6). Does 7 divide z(k)?
True
Let w = -28608 + 40980. Is w a multiple of 99?
False
Let l(v) = 51*v**2 - 123*v - 7. Is l(9) a multiple of 7?
True
Suppose -a - 3 = -2*x, -2*a + 12 = 3*x - x. Suppose 0 = 4*h + j - 315, -4*h + 3*h - a*j + 65 = 0. Is h a multiple of 16?
True
Suppose 9*m = 4*m + 25, 4*s + 4*m = -380. Does 53 divide (2120/(-50))/((32/s)/4)?
True
Does