 - 208. Is m(-31) a multiple of 12?
True
Let a(p) = -p**3 - 8*p**2 + 51*p + 20. Does 58 divide a(-33)?
False
Suppose -5*t = -4*t - 1432. Let i = t - 757. Is 26 a factor of i/(10 - 5) - 5?
True
Let m(d) = -d**2 + 5*d - 1. Let q be m(4). Suppose 0 = -2*h - 0*o + o + 203, 5*h - 509 = q*o. Is h a multiple of 25?
True
Let r = 275 - 156. Suppose t = n - 68, 2*n + 2*t + 67 = 3*n. Let m = r - n. Is 26 a factor of m?
False
Suppose 10*l = 12*l + 3*z - 4019, -5*z = 25. Suppose -5*s - 207 = -l. Does 11 divide s?
False
Suppose -5*c - 3*j = -1156, 5*j - 1022 = -8*c + 828. Does 5 divide c?
True
Let u = -551 + 547. Let n(m) = m**3 + 5*m**2 + 3. Is n(u) even?
False
Is 10626/7 - ((-16)/(-4) - 4) even?
True
Suppose 2*k - 1435 = -5*g, -k - 429 = -3*g + 432. Let x = g - 7. Suppose -11*o + x = -o. Is 3 a factor of o?
False
Let b = 121 + -50. Let a = b + -63. Let d(i) = i**2 + 12*i - 16. Does 9 divide d(a)?
True
Suppose 14*b - 59 = -31. Suppose -b*d + 116 = 4*l, 3*d - 4*l = l + 185. Is d a multiple of 28?
False
Let b be 4 + (20*-50)/(-4) + -2. Suppose 0 = -2*w + 10*w - 3*w. Suppose w = z + 2*r - 362, 507 = 2*z - 3*r - b. Is 62 a factor of z?
True
Let p = 106 - 107. Is 9 a factor of 1 - p*(5 - -21)?
True
Suppose 4*z = 11*z - 238. Suppose -86 - z = 2*l. Is 5 a factor of (-1393)/(-15) - 8/l?
False
Suppose 224*f + 451478 - 593525 - 807265 = 0. Is 163 a factor of f?
True
Let m = 18 - -106. Let h(g) = -g**3 + 16*g**2 + 15*g - 280. Let y be h(10). Suppose -m = -3*c + y. Is c a multiple of 18?
True
Suppose -4*o - 3508 = -4*q, q + 3*o - 857 = -0*q. Let f be 20/(-50) - q/(-5). Suppose f = 15*x - 9*x. Is x a multiple of 11?
False
Let s = 20698 - -3347. Is 218 a factor of s?
False
Suppose -1 = g, 74755 = -270*x + 274*x + 5*g. Does 27 divide x?
False
Let s(d) = -585*d + 2214. Does 27 divide s(0)?
True
Suppose 299*a + 4*w + 21008 = 303*a, 5236 = a + w. Is 3 a factor of a?
True
Let r = 4808 + -2828. Let b be (-51)/136 + 3 + 83/8. Suppose b*q - r = q. Is q a multiple of 15?
True
Let c = 10322 + -6958. Is c a multiple of 29?
True
Suppose 18*w = 249928 - 7090. Is 176 a factor of w?
False
Let a = 150 + -699. Let x = -464 - a. Is 17 a factor of x?
True
Suppose 5*u - 18296 = -12116 + 20310. Does 12 divide u?
False
Suppose -4*v = 115 - 151. Suppose -4*m + 4*z = -280, -z = v*m - 5*m - 280. Is m a multiple of 10?
True
Let w(q) = 18*q**3 - 18*q - 40. Is w(6) a multiple of 11?
True
Suppose 2*r - 5*v = 639, -r + 4*v + 306 = 6*v. Is 4/18 + r/(-27)*-5 a multiple of 5?
False
Let s(u) = -80*u + 38. Let m be s(10). Let w = m + 1070. Is w a multiple of 11?
True
Let z be -6*3/(-42) - 2122/(-14). Let b = z + 39. Is 4 a factor of b?
False
Let f(s) = -4*s + 4. Let v be f(5). Let x be 4/3*168/v. Does 13 divide x/((-1 + 3)/(-5 - -2))?
False
Let t be 6 + 6 + 4 + -249. Let l = 103 - t. Is l a multiple of 12?
True
Let k(c) = -7 - 28*c + 1 + 2 - 2*c. Let v be (-1)/(1/2 - 0). Is 28 a factor of k(v)?
True
Suppose 3*q + 9*q + 1812 = 0. Let j = q + 273. Is 34 a factor of j?
False
Let f(i) = -i**2 + 12*i + 17. Let g be f(13). Let m be (g - -1)/((-4)/8*2). Is 148*(m/(-2) + -1) a multiple of 9?
False
Suppose 11*i = 251 + 189. Suppose 2*t - 4*t = -2*k - i, -k - 3 = 0. Suppose 3*d + t = 62. Is 15 a factor of d?
True
Suppose 6*b - 3*d = 4*b + 19044, 2*b + 4*d - 19086 = 0. Is 25 a factor of b?
False
Suppose 2*w - 77 = -0*x - 3*x, 5*x - 42 = -w. Let y = w - -95. Is y a multiple of 11?
True
Suppose -4*y + 13944 = 2*l, 6992 = l + 5*y - 8*y. Is l a multiple of 25?
False
Let t(i) = -i**2 - 129*i - 1000. Is 14 a factor of t(-54)?
False
Let d(h) = h + 3. Let b be d(-1). Let w be b + (-3)/(-15)*0. Suppose 238 = 5*v + 2*m, -v - 47 = -w*v - m. Is 10 a factor of v?
False
Does 133 divide 5/10*33238 - ((-140)/10 - -8)?
True
Suppose -832 = -5*x + x. Suppose 0 = -2*m + 5*n - x - 122, -2*m - 2*n = 330. Let h = 250 + m. Does 17 divide h?
True
Let p = 39411 + 4608. Does 26 divide p?
False
Suppose -52*p = -48*p + 2*k - 11080, -5*k + 2788 = p. Is p a multiple of 173?
True
Let k be 24/(-10)*20/6. Let q be k/20*10/2. Is q/(-3) + -1 + (-265)/(-3) a multiple of 44?
True
Is 46 a factor of ((5 - 365)/6)/(6/(-117))?
False
Suppose w = 2*u - 197, -2*u + 23*w + 215 = 28*w. Let z(r) = r**2 - 66. Let f be z(0). Let g = u + f. Is g even?
True
Suppose 29 = -4*h + 117. Let q = h - -53. Suppose -x - q + 94 = 0. Is x a multiple of 4?
False
Let q(m) be the first derivative of -m**3/3 + 7*m**2 + m - 14. Let v be q(13). Suppose -v = -j + 6. Is 10 a factor of j?
True
Suppose 4*o - 8 = 0, 5*r = 2*r - o - 316. Let i be 6/9 - 220/6. Let p = i - r. Is p a multiple of 5?
True
Let d(q) = -12*q - 55. Let g(x) = -24*x - 109. Let i(c) = 5*d(c) - 3*g(c). Is 28 a factor of i(5)?
True
Let z(s) = 42*s**2 + 7*s - 15. Let h be z(7). Suppose -10508 = -30*n + h. Is 15 a factor of n?
True
Let v(q) = -q + 15. Let h be v(-4). Let b(a) = -a**3 + 18*a**2 + 50*a + 26. Is 32 a factor of b(h)?
False
Let d(i) = 7*i**2 + 11*i - 6. Suppose -10*j = 10 + 40. Does 40 divide d(j)?
False
Suppose 3*x - 37929 = -3*v, -v = -46 + 42. Is 3 a factor of x?
True
Suppose 28*m - 552 = 27*m. Suppose 9*n - m = 7*n. Is n a multiple of 38?
False
Suppose 0 = -5*v, -2*u - u = 5*v + 135. Let o = 302 + -326. Let m = o - u. Is m a multiple of 7?
True
Let g = 7963 - 4047. Let o = -2740 + g. Is 14 a factor of o?
True
Let d = -2438 - -3397. Is d a multiple of 4?
False
Let u(w) = 4063*w**2 + 52*w + 51. Does 47 divide u(-1)?
False
Let g = -4800 - -9636. Is g a multiple of 54?
False
Suppose -2*y + 2*d + 17288 = 0, 0 = 302*y - 306*y - 2*d + 34600. Does 46 divide y?
True
Let c(l) = l**3 + 48*l**2 + 145*l + 112. Does 14 divide c(-44)?
False
Let o(u) be the third derivative of u**5/60 - 17*u**4/12 - 10*u**3/3 - 36*u**2. Does 11 divide o(38)?
True
Let q(g) = 327*g**3 + 2*g**2 - 5*g + 3. Let x be q(1). Is 9 a factor of 1/(5/(-2 + x))?
False
Let n(b) = -10*b - 19. Let w be n(-3). Let z = -1 - w. Does 14 divide (z/(-8))/3 + (-446)/(-4)?
True
Let w(t) = 955*t**2 - 64*t - 3. Does 100 divide w(3)?
True
Let i = -3 + 5. Suppose -1438*k = -1439*k + 249. Suppose -i*h + 212 = -5*s - 13, -2*h = 3*s - k. Is h a multiple of 20?
True
Let y(b) = -11*b**2 + 20*b**2 - 10*b**2 - 1 + 11*b. Let o be y(11). Does 13 divide -1 + 56 + o + 2/(-1)?
True
Suppose -25*j = -29*j + 3532. Let o = j - 183. Is 29 a factor of o?
False
Let j(m) = -4*m**2 + 18*m + 15. Let x be j(11). Let l = x - -178. Is 4 - (-5 - -7)*l a multiple of 20?
False
Suppose 33 = 3*b - 0*s - 3*s, s - 43 = -5*b. Suppose -b*p + 60 = 3*p. Let t = p - -113. Does 21 divide t?
False
Let s(u) = -u + 1. Let j be s(-4). Let h be 834/3 - (8/7 + (-104)/91). Suppose 13*t - h = -j. Is 4 a factor of t?
False
Is 97 a factor of (-4097752)/(-1030) + 7/(-5)?
True
Let b(n) = -n - 4. Let i(k) = k**3 + 12*k**2 - 5. Let y be i(-12). Let x be b(y). Suppose 5*j + 53 = w, -w + 37 = -2*j - x. Is w a multiple of 22?
False
Let g be (-3 + -1)/(4 - 6). Suppose -3*y - g*u = -1114, -2*y + 2*u = -551 - 175. Suppose -y = -4*b - 2*o, -2*o = b - o - 93. Does 7 divide b?
True
Let j(y) = y**3 + 2*y**2 - y + 2. Let d be j(-2). Is -4 - (-21)/9*60/d a multiple of 27?
False
Let h be (((-328)/(-6))/(22/33))/1. Let z = h - 48. Does 17 divide z?
True
Let s(z) be the third derivative of z**5/30 + 3*z**4/8 + 7*z**3/6 - z**2. Suppose -3*a + 6*a - 4 = -u, 0 = 5*a - 15. Is s(u) a multiple of 6?
True
Let v(u) = -u**2 - 44*u + 3. Let f(y) = -14*y + 12. Let b be f(3). Is v(b) a multiple of 10?
False
Suppose 91 = 44*w - 31*w. Suppose 6*p = w*p - 70. Is p a multiple of 14?
True
Let z(d) = 89*d - 61. Let o be z(2). Suppose -2*g - r = 25 - o, 5*g - r = 237. Is 11 a factor of g?
False
Let c = 140 + -138. Suppose 5*n - 988 = -2*y, -c*y - 3*n + 539 = -449. Is 20 a factor of y?
False
Suppose 5*x - 6*x = -3. Let a be (-1 - -7)/x*-2. Let g(u) = -11*u + 21. Is 13 a factor of g(a)?
True
Suppose -l = -2*c + c, -4*c = 2*l. Let k be 1 + l + (-7 - -8). Suppose -232 = -5*h - k*q, -186 = -4*h - 0*q - 2*q. Does 8 divide h?
False
Let w(g) = -24022*g**3 + 5*g**2 + 25*g + 22. Is 14 a factor of w(-1)?
True
Let o(n) be the first derivative of 8*n**3/3 - 9*n**2/2 - 31*n - 147. Suppose 4*r + 25 = 2*g - g, 2*g = -2*r. Is o(r) a multiple of 52?
False
Let v(f) = 212*f - 1607. Is 2 a factor of v(9)?
False
Let q(h) be the second derivative of 19*h**4/6 - 5*h*