4 divide n(r)?
True
Let y(t) = 103*t - 215. Does 10 divide y(3)?
False
Let m(l) = 3*l**2 + 4*l + 10. Let s = -79 + 74. Does 6 divide m(s)?
False
Let s be ((-7)/14)/((-2)/6)*292. Suppose 90 = 8*z - s. Is 33 a factor of z?
True
Let f(p) = -2*p**2 + 14*p - 6. Let d be f(6). Let v(w) = -w**2 + 13*w + 1. Is v(d) a multiple of 43?
True
Let r(t) be the first derivative of -5*t**2 - 4*t + 2. Let x be r(-4). Suppose -121 = -5*b - x. Does 11 divide b?
False
Let j = -72 - -72. Suppose 7*s = -j*s + 98. Is s a multiple of 13?
False
Suppose 0 = -2*q + 1 + 5. Let l be q - (-1 - 2)/(-3). Suppose -3*n - l*n = -100. Does 8 divide n?
False
Let b(x) = -x**3 - 30*x**2 - 5*x - 102. Is 6 a factor of b(-30)?
True
Suppose -9*m + 207 = -216. Does 12 divide m*2/(4 - 20/6)?
False
Let h(x) = 3*x - 7. Let f be h(-7). Let q = -1 - f. Is 14 a factor of q?
False
Let a = 79 - 77. Suppose -a*i - 8 = 0, u = 2*i + 9 + 24. Does 5 divide u?
True
Let x(j) = j**3 - 10*j**2 - 81*j + 10. Is x(19) a multiple of 86?
True
Suppose 5*h + 4*j = 5738, 2*h + j = -2*j + 2298. Does 16 divide h?
False
Is 10 a factor of 3/9 + 46/12*50?
False
Suppose 5 = -c, 2*c = -4*h + 3*c + 25. Suppose h*k - 141 = 469. Does 35 divide k?
False
Let d = -24 + 24. Suppose 7*s - 2*s - 10 = d, -4*k = 2*s - 52. Does 4 divide k?
True
Suppose 0 = 4*s - s - 15. Suppose 4 = -s*g + 24. Suppose w + 181 = g*l, 2 - 17 = -5*w. Does 23 divide l?
True
Let d(x) = -111*x + 138. Does 9 divide d(-5)?
True
Let n(d) = -d**3 - 8*d**2 - d - 6. Let y be n(-8). Let m be 4/y*42/(-4). Let j = -2 - m. Is 16 a factor of j?
False
Is ((-434)/(-10) + -1)/((-28)/(-630)) a multiple of 53?
True
Suppose -3*z + 4*a - 211 = -1546, 2*z - 876 = -2*a. Does 9 divide z?
True
Let v(y) = -y**3 - 4*y**2 + 10*y - 15. Does 30 divide v(-9)?
True
Let g(y) = y**3 - 4*y**2 + 2*y + 5. Let x = -10 + 13. Let m be g(x). Suppose 4*r + m*t = 22, -2*r + 2*t = r - 27. Is r a multiple of 3?
False
Suppose -4*u + 35 = 3*k, 0*k = -3*u + 2*k + 5. Let v(t) = -t**3 + t**3 + 2*t**3 + u*t + 2*t**2 + 2 - 3*t**3. Is v(-3) a multiple of 16?
True
Suppose 6*q - 9*q = 0. Suppose 3*n - 7*n + 76 = q. Does 16 divide n?
False
Suppose 5*q + b = 1677, -2*q + 4*q + b = 669. Does 3 divide q?
True
Let v(w) = w**3 + 18*w**2 - 19*w - 87. Does 6 divide v(-8)?
False
Let g be (-6)/(-6*(-3)/(-12)). Let i be (3*-1)/(-5 + g). Suppose n = i*h - n - 41, -2*h + 3*n = -29. Is h a multiple of 4?
False
Suppose -6*p + 3 = 3. Suppose -h + 5*h = -5*l + 144, -3*l = p. Is 13 a factor of h?
False
Let q(m) = -4*m**3 - 4*m**2 + 26*m + 114. Is q(-5) a multiple of 24?
True
Let g be (13 + -4)*(-4)/12 + 8. Suppose 0 = s + 2, -6*z = -z + g*s - 65. Is z a multiple of 4?
False
Let v(l) = l**2 - 3*l - 7. Let d be v(5). Suppose -42 = -0*x - d*x. Suppose 4*z + y + x = 69, 4*z = 3*y + 43. Does 4 divide z?
False
Suppose -3*a - 3*r = -1197, 0 = 4*a - 4*r - 573 - 1055. Is a a multiple of 13?
True
Let g(x) = 217*x - 170. Is 18 a factor of g(8)?
True
Does 7 divide (-34653)/(-24) + 10/(75 - -5)?
False
Let a(t) = t**3 - 4*t + 4. Let m be a(4). Suppose 5*w - m = 3*w. Does 15 divide w?
False
Does 12 divide 1/((-3)/(-6))*(-459)/(-18)?
False
Let m = -72 - -79. Let q(k) = k**3 - 4*k**2 - 4*k + 7. Is 21 a factor of q(m)?
True
Let r(m) be the second derivative of 3*m**5/8 - m**4/8 + m**3/2 - 9*m. Let b(c) be the second derivative of r(c). Is b(1) a multiple of 14?
True
Let n(x) = -x**3 - 10*x**2 - 8*x + 26. Let h be n(-9). Let z(t) = -2*t - 7. Let l be z(-5). Suppose -l*k + 77 - h = 0. Does 8 divide k?
False
Suppose -2*y = 4*a + 103 + 33, -75 = y - 5*a. Let r = y - -123. Is r a multiple of 25?
False
Suppose -2*a - 13 = -3*g, -4*a = 5*g - 9*a - 25. Suppose 0 = 2*i + i - 5*d - 195, -3*d = -4*i + 260. Suppose -g*w + i = -2*w. Is w a multiple of 11?
False
Let l(z) = -11*z**2 - 6*z + 9. Let x be l(3). Let o = -14 - x. Is o a multiple of 33?
False
Suppose -s - 2*d = -0*s - 1798, 0 = -5*s + 3*d + 9003. Does 24 divide s?
True
Let c(u) = u - 13. Let g be c(9). Does 9 divide ((-18)/5)/(g/30)?
True
Suppose 103 + 212 = -o. Let b = o + 614. Is 10 a factor of b?
False
Let t be 360/(-25) + 12/(-20). Let w be (155/t + 1)*-3. Let z = w + -19. Is z even?
False
Suppose -10 = 5*y - 10*y. Let f = 11 - 2. Is 2 a factor of y + -3 + (f - 1)?
False
Let l be (3/5)/((-3)/(-15)). Suppose 0 = l*d - 49 - 41. Is 17 a factor of (2 - d)*(-90)/35?
False
Let p be 0*1/(-3)*-3. Suppose w = -2*q + 689, p = 2*w - 1 + 3. Is 23 a factor of q?
True
Let z = 620 + -363. Is z a multiple of 21?
False
Suppose 2*r - 5*y = -8*y + 12, 2 = 2*r - 2*y. Suppose 0*w - r*w + 9 = 0. Suppose 0 = -w*i + 7 + 74. Does 12 divide i?
False
Let q(d) = -14*d**3 + 3*d**2 + 2*d - 1. Let j be -6 - -5 - (1 + 0). Let p be q(j). Suppose -5*z + 4*u + p = 0, -3*z + u + 30 = -47. Is 9 a factor of z?
True
Let q = -6 - -9. Suppose q*i - 205 = 152. Suppose w + 4*r - 31 = 0, 5*w + 2*r = -0*r + i. Does 14 divide w?
False
Suppose -4*a + 2*y = 2398 - 6808, 0 = y - 5. Is 13 a factor of a?
True
Let g(u) = 2*u**3 + 2*u - 2. Let r be g(2). Let s(p) = -5*p + 20. Let v be s(5). Let y = r + v. Does 13 divide y?
True
Let x = 85 - 97. Let c(s) = s**3 + s**2 - 1. Let z be c(3). Let k = z + x. Is 4 a factor of k?
False
Suppose 11*b = 2*g + 6*b - 377, 2*g - 395 = -b. Is g a multiple of 7?
True
Suppose -4*g + 230 = -318. Is 10 a factor of g?
False
Suppose -136 = b - 3*b. Suppose -4*f + b = -184. Does 14 divide f?
False
Suppose 21*k - 8745 = 16*k - 4*m, 4*k = 2*m + 7022. Is 7 a factor of k?
False
Let h(v) = 15*v - 47. Let u(j) = 5*j - 16. Let w(g) = 4*h(g) - 11*u(g). Let s be w(-5). Let c = 55 + s. Is c a multiple of 7?
False
Suppose 3*p - 4*y - 35 = 37, -71 = -4*p - 3*y. Suppose -p = -w + 3*j, 4*w - 101 = 7*j - 2*j. Is w a multiple of 10?
False
Let u(x) = -2*x**2 - 25*x - 3. Let s be u(-13). Does 3 divide -3 - -3 - -1 - s?
False
Suppose 2*s = h + 54, 252 = -4*h + s - 5*s. Let l be (h/(-1 - 2))/(-1). Let a = 11 - l. Does 22 divide a?
False
Let q = -680 - -1340. Does 22 divide q?
True
Suppose -2 = 5*x - 12. Is 16 a factor of 6066/33 + x/11?
False
Let p(j) = j + 2. Let c be p(4). Let z(m) be the second derivative of m**5/20 - 5*m**4/12 + 7*m**3/6 - m**2 + m - 13. Is 30 a factor of z(c)?
False
Let l(p) = p + 65. Suppose 2*h - 16 = -5*n + 8, 2*h = -n. Is 20 a factor of l(n)?
False
Suppose x = 4*o - 23, 6*x = 4*o + 2*x - 20. Suppose m = 4*m - o. Let t = 19 - m. Does 17 divide t?
True
Suppose -28*f = -3*f - 975. Is 4 a factor of f?
False
Suppose 0 = 16*k - 239 - 273. Is 2 a factor of k?
True
Suppose -13*z + 2 = -12*z. Does 24 divide ((-7)/z + 2)/((-6)/344)?
False
Let x(v) = -v**3 + 8*v**2 - 8*v + 4. Suppose 3*w + j - 34 + 11 = 0, 0 = -2*w - 3*j + 20. Let n be x(w). Is 9 a factor of 30/(-4)*14/n?
False
Suppose 5*r = -v + 1096, -5*r = 5*v + 1219 - 6599. Is v a multiple of 17?
True
Let i = 10 - 10. Suppose -4*z + i*w = w + 137, -5*w = -3*z - 120. Let r = -3 - z. Does 8 divide r?
True
Is 32 a factor of -7 + 846/12*6?
True
Let n(p) = 3*p**2 + 49*p - 18. Let r be n(-17). Suppose -5*d + r*d = 1617. Does 10 divide d?
False
Let s be (-3)/((-24)/20)*18. Suppose 0 = -12*g + 7*g + s. Is 27 a factor of (-6)/g*-6 - -70?
False
Suppose -3*n + n + 8 = 0, 0 = -2*y - 3*n + 4. Let w = 1 - 16. Is 16 a factor of y/(-6) - 875/w?
False
Suppose 3906 = 3*n + 3*i, 5220 = 4*n + 3*i - 2*i. Suppose 3*o = 3*p + p + n, p = -4. Is (-2)/(-4) + o/20 a multiple of 12?
False
Let g(d) = d**2 - 7*d + 5. Let f(j) = 9*j**3 - 2*j**2 + j. Let c be f(1). Is 3 a factor of g(c)?
False
Let b = 6 - 2. Suppose -5*g = -2*w - 161 - 67, 4*w - b = 0. Is g a multiple of 7?
False
Let x(z) = -5*z + 4. Let h be x(-4). Let y(j) = j - 17. Is y(h) a multiple of 2?
False
Let c(o) = 17*o**2 - 4*o + 6. Is 6 a factor of c(6)?
True
Suppose 2593 + 5107 = 14*b. Is b a multiple of 22?
True
Let i(m) = -35*m + 13. Is i(-45) a multiple of 39?
False
Let i = 2120 + -1929. Is i a multiple of 2?
False
Let w(m) be the first derivative of -m**2/2 - m - 11. Let x(y) = y - 3. Let f be x(0). Is w(f) even?
True
Let i be (-220)/(-16) - (-2)/8. Is 2 a factor of (-20)/(-14) + 8/i?
True
Suppose 6*q - 3*q - 6 = 0. Suppose 0*j - 18 = q*j. Let g = 44 + j. Does 15 divide g?
False
Let h = -10 - -15. Let c(f) = 4*f**2 + 3*f - 62 - 5*f + 50 - f**2 - 2*f. Does 12 divide c(h)?
False
Is (-170244)/(-684) - 1/(19/(-2)) a multiple of 