e s*r = -3*r + 528. Is r a multiple of 11?
True
Let t = 51118 - 25207. Does 8 divide t?
False
Suppose -4*w - 614 = 4*c - 3170, -5*w = -5*c + 3165. Suppose -11*i + 640 + c = 0. Let u = -61 + i. Does 8 divide u?
False
Let q(a) = -145*a**3 - 4*a**2 - 40*a + 16. Is 37 a factor of q(-5)?
True
Suppose -12 = -g - 3*g. Suppose g*y - 86 = 94. Suppose 0 = -q + 83 + y. Is q a multiple of 21?
False
Suppose 72 = 4*u + 4*g, -5 = -2*u + g + 46. Suppose 714 = u*l - 16*l. Does 23 divide l?
False
Suppose -43 + 40 = 3*a. Let k be (-462)/(-28) + a/2. Suppose -k*o - 70 = -17*o. Does 10 divide o?
True
Suppose -20*p + 140 = 8*p. Suppose -p*d = -20, -u - d + 567 = 2*d. Is u a multiple of 20?
False
Let w(n) = 1324*n**2 - 27*n + 80. Is w(5) a multiple of 15?
True
Let f(m) = 10014*m - 38. Does 9 divide f(2)?
False
Let z(t) = t**3 + 4*t**2 + 2*t + 1. Let o be z(-3). Suppose 2 = o*v - 3*v. Suppose 0*u - v*u = -290. Does 34 divide u?
False
Let z(t) = t**3 - 11*t**2 + 9*t + 3. Let o be z(8). Let p be o/(-18)*2/1. Suppose -17*m = -p*m - 64. Is 9 a factor of m?
False
Let j(m) = 276*m - 972. Is 14 a factor of j(40)?
False
Let y = -12634 + 15705. Does 37 divide y?
True
Let m(r) = 217*r**3 - 19*r**2 + 63*r - 4. Does 26 divide m(4)?
True
Suppose -214 + 60 = -7*n. Suppose -3*v + 2*v + 4*o - n = 0, v = -4*o + 18. Is v + -3*196/(-6) a multiple of 8?
True
Let r be (-3 - -2)*-2*2. Let y(l) be the first derivative of 19*l**2/2 + 2*l + 165. Does 11 divide y(r)?
False
Let k(r) = 50*r + 14. Let p(z) = -z - 2. Let f(v) = -k(v) - 4*p(v). Let n be -5 - 4/(16/(-12)). Is f(n) a multiple of 7?
False
Suppose u - 4*i - 7334 = -986, -u + 5*i = -6351. Is u a multiple of 66?
True
Suppose 261*w + 3050661 = 7950675. Is 14 a factor of w?
True
Suppose 36*l + 610 = 38*l + 3*b, 5*l + b - 1512 = 0. Let d = -93 + l. Is 19 a factor of d?
True
Let d = 211 - 198. Is 16 a factor of 199 - (2/6)/(d/39)?
False
Suppose -2 = d - 5. Suppose 2*k = 2*l + 202, -11 = d*l - 2. Suppose -4*h + 2*t + k + 78 = 0, 2*t + 131 = 3*h. Is 7 a factor of h?
False
Let r be (10815/(-6))/((-9)/18). Suppose 4*i - r = -i. Suppose i = -q + 8*q. Is 6 a factor of q?
False
Let a be ((-2954)/(-1 - -2))/2. Let d = 23 - a. Is d a multiple of 75?
True
Suppose -2*j + 9*f = 6*f - 13, -5 = 5*f. Let q(y) = -y - 1. Let z(o) = -o**2 - 3*o - 2. Let t(h) = 11*q(h) - 4*z(h). Is t(j) a multiple of 17?
True
Let b = -18905 + 27374. Does 33 divide b?
False
Let m be ((-2)/(-6))/(1/15). Is 3 + m + -10 + 466 a multiple of 58?
True
Suppose 191 - 163 = 2*a. Suppose 1688 = -a*n + 22*n. Is n a multiple of 36?
False
Let b(k) = 29*k + 50. Suppose -5*v = 4*d - 49, 5*d - 5*v = -3 + 8. Is b(d) a multiple of 4?
True
Let p(h) = h**3 - 8*h**2 + 4*h + 16. Let o be p(10). Suppose 2*i = o - 26. Is i a multiple of 50?
False
Let s be 1*-15*(14/(-6) - -2). Suppose 5*y = s*u + 25, y + 3*u = -4*y + 17. Suppose y*h - 371 = -55. Is h a multiple of 5?
False
Suppose 37*u = 55*u - 55674. Is u a multiple of 52?
False
Let g(u) = 10*u - 18. Suppose 2 = -q - j, q - 2*j - 4 - 3 = 0. Let y be (8 - (-3 - -8)) + q. Is 11 a factor of g(y)?
True
Let j(a) = 56*a. Let u be j(1). Suppose -5*x - 63 + 233 = 0. Let g = u - x. Is 5 a factor of g?
False
Suppose -5*m = s + 24 + 31, 2*s + 50 = -4*m. Let p = m - -17. Suppose -5*f = -2*w + p*w - 390, -f + w = -82. Is f a multiple of 16?
True
Let w be (-800)/(-96)*12/(-10). Is 9 a factor of 5*23 + 4*(w + 9)?
False
Suppose -2*g + 80 = 70. Suppose 31*v + g*j + 201 = 33*v, -5*v - 5*j = -415. Does 44 divide v?
True
Let a = 22101 - 20049. Does 171 divide a?
True
Let y = 10825 - 6461. Does 119 divide y?
False
Let c be -11686 + -15 - 2*1/(-2). Is 47 a factor of ((-12)/(-10))/3 - c/125?
True
Let n(s) be the first derivative of s**6/4 - s**5/20 + s**4/6 - s**3/3 - 2*s**2 - 23. Let j(a) be the second derivative of n(a). Is 5 a factor of j(1)?
False
Let j(y) be the first derivative of 79*y**4/4 + 5*y**2/2 - 4*y - 10. Does 16 divide j(1)?
True
Let u = -159 - -606. Suppose -1344 = -3*h + u. Is h a multiple of 19?
False
Let b = -1727 + 2563. Suppose -550 = -7*g + b. Does 23 divide g?
False
Let q be 50/(-2)*(-5 - -4). Suppose 3*o - 2*h - 36 = 0, h + 8 = 5*o - 45. Is o/2*45/q a multiple of 2?
False
Suppose 0 = 3*x - 2*j - 3 + 10, 2*x = -2*j - 8. Does 7 divide (2 - -310) + (-1)/(-1)*x?
False
Let g be (-7 - (-1491)/28)*-12. Let o = g - -939. Does 32 divide o?
True
Suppose 0 = 5*v, -6*h - 23490 = -9*h + 5*v. Does 30 divide h?
True
Let j = 1777 - 372. Is j a multiple of 5?
True
Let m(c) = c**3 - 3*c + 37. Let i be m(0). Suppose -13411 + 1756 = -i*d. Is d a multiple of 35?
True
Let s(d) = 2*d**2 - 7. Let j(y) = -4*y**2 - y + 13. Let v(r) = 4*j(r) + 7*s(r). Let l be v(-3). Is l - -12 - -4 - (0 + 1) a multiple of 2?
True
Suppose -2*x = -5 - 17. Let g(r) = 211*r**3 - 5*r - 105*r**3 - 9*r**2 + 8 - 105*r**3. Is 35 a factor of g(x)?
False
Let b(w) = 11 - 3 + 0 + 2 - 10*w**2 + 2*w**3 - 15*w - 3*w**3. Does 4 divide b(-9)?
True
Let o(p) = 17*p - 15*p + 2*p**2 - 3 - 6*p - 1. Is o(-2) a multiple of 2?
True
Let f(p) = -371*p + 1079. Does 30 divide f(-71)?
True
Let v = -5072 - -10185. Is v a multiple of 8?
False
Suppose -4*n + 23 = 5*q, 4*q - n - 11 = -1. Suppose q*y = -16 + 37. Let u(t) = 4*t**2 - 18*t + 10. Is u(y) a multiple of 7?
False
Suppose -854*h + 859*h = 6905. Is h a multiple of 14?
False
Suppose -10 = 5*j, 4*j - 6488 = 36*b - 38*b. Is b a multiple of 22?
False
Let l(x) = x**3 + 24*x**2 - 24*x - 38. Let j be l(-25). Suppose 5*p - 2*z + 440 = 0, 0*p + 2*p + 182 = 2*z. Let h = j - p. Does 23 divide h?
True
Suppose 22*m - 20112 - 17706 = 0. Does 9 divide m?
True
Suppose -5*z - 1595 = -240. Let o = -224 - z. Is o a multiple of 12?
False
Suppose 5*q = -d + 2505, 191*d - 194*d + 7572 = -4*q. Does 18 divide d?
True
Let k = -5 - -5. Let i = k - -6. Suppose 496 - 16 = i*m. Is m a multiple of 16?
True
Let i(r) = -49*r + 4. Let o(b) = 42*b - 139. Let m be o(3). Does 41 divide i(m)?
False
Let v(w) = -w**3 - 16*w**2 + 34*w - 41. Let n be v(-18). Let i(l) = -l**3 - 8*l**2 - 42*l - 7. Is i(n) a multiple of 4?
True
Suppose -219*l + 230*l = 69432. Does 58 divide l?
False
Let p be (9/((-27)/(-10)))/(36/162). Let t(n) = n**3 - 14*n**2 + 31*n - 34. Does 15 divide t(p)?
False
Let s = -511 - -517. Let p(t) = 20*t**2 - 24*t - 2. Does 39 divide p(s)?
False
Suppose -2*i + 2*d + 15710 + 5490 = 0, -3*i + 31798 = -2*d. Is 89 a factor of i?
False
Let m = -3977 + 7056. Is 26 a factor of m?
False
Suppose -5*t = -5*s - 5, -5*s + 1 = -2*t + 6. Let w = s + 205. Suppose 0 = -3*o - 3*y + w, -y = -5*y - 16. Is 10 a factor of o?
False
Let q = 640 - -296. Does 72 divide q?
True
Suppose 0 = -42*s + 47*s. Let c(t) = -3*t + 5. Let w be c(s). Suppose 11*h - 1014 = w*h. Is h a multiple of 32?
False
Let s = -16 + 21. Suppose -3*t = -4*n - 2 + 67, s*t = -n + 45. Suppose -85 - n = -7*m. Does 3 divide m?
True
Let g(x) = -x**3 - 55*x**2 + 240*x + 128. Does 225 divide g(-65)?
False
Let f = 8243 - -2077. Is 15 a factor of f?
True
Let a = -560 + 946. Suppose 4*w = -26 + a. Is w a multiple of 22?
False
Suppose 3*f + 3930 = 5*m, -5*m - 24*f + 3940 = -25*f. Is m a multiple of 21?
False
Let b(v) = 8*v - 117. Let a be b(19). Is 18 a factor of (a + -62)*104/(-3)?
True
Suppose 10*l - 27*l = -32496 + 8781. Is l a multiple of 16?
False
Is (6/7)/((-210)/(-6012790)) a multiple of 191?
False
Let p = -12 - -324. Suppose -15*m - 1896 = -471. Is 9 a factor of 38/m + p/5?
False
Suppose 2116*u = 2131*u - 167250. Is u a multiple of 12?
False
Suppose -7 = 3*c - u, 3*c + 4*u + 9 + 8 = 0. Let f(y) = -23*y - 13. Does 8 divide f(c)?
True
Suppose 0 = 115*d - 113*d + 8. Let a(y) = 18*y**2 - 5*y. Is a(d) a multiple of 44?
True
Suppose -5*z = -7*g + 25633, 7487 = -5*g + z + 25804. Is g a multiple of 10?
False
Let z(p) = -3*p + 14. Let x be z(6). Let r be 2/(-3 - x)*(-1 + 3). Suppose -r*w - 20 = -2*q, -2*q + 10 = q + 4*w. Is q a multiple of 3?
True
Suppose -g = -2*y + 3, 0*g + 5*g - 13 = 3*y. Suppose 16 = 4*t - y, 0 = -2*x - 3*t + 1461. Is x a multiple of 66?
False
Let o(i) = -i**2 + 16*i. Let r be o(15). Let m be (-2)/5*(-30)/12*39. Is (-6)/(-15) + m/r + 21 a multiple of 24?
True
Let k = -273 - -276. Suppose -4*y = -5*w - 2620 + 758, k*w = -3*y + 1410. Does 11 divide y?
False
Let j = -1510 - -2175. Let a = j + -288. Is 25 a factor of a?
False
Let y(w) = 2