n + 737, 0 = 3*c - 3*n - 27 - 426. Let m = c + -15. Does 20 divide m?
False
Does 12 divide 42/(7/(476/8))?
False
Suppose 0 = -5*z - 0*z + 40. Let h(g) = -29*g - 4. Let v be h(-2). Is v/z*(3 + 1) a multiple of 8?
False
Is (-1 + -49)*((-255)/(-75) + -4) a multiple of 10?
True
Let r = 4106 + -2242. Is r a multiple of 45?
False
Suppose 4*b + 16*b = 4320. Does 54 divide -1*b/(-28)*7?
True
Suppose 11*d = 12*d - 6. Suppose d*h - 408 = 3*h. Is 30 a factor of h?
False
Suppose -4*d = -3*x + d - 87, 2*x - 2*d = -58. Let p = -21 - x. Suppose p*w - 10*w = -100. Is w a multiple of 10?
True
Let o be (-2)/(((-10)/80)/((-234)/(-8))). Suppose -o = 15*a - 18*a. Does 22 divide a?
False
Let m be -6*(35/(-15) + 3). Is (-280)/m*(-30)/(-25) a multiple of 21?
True
Let i = -107 - -199. Let r = i + -29. Does 12 divide r?
False
Suppose 64*s - 12904 = 61016. Is s a multiple of 41?
False
Let d(q) = -5*q - 2. Let t be d(2). Let w = t - -17. Is (2 - -45) + (w - 4) a multiple of 12?
True
Is 160/6*(13 - 410/(-40)) a multiple of 25?
False
Let s = -16 - -17. Let x be -6 + 7 - -2*s. Suppose -x*o + 0*o = -36. Is o a multiple of 12?
True
Let m(p) = p**3 - 5*p**2 - 2. Let w be m(4). Let f = -11 - w. Let g(k) = 6*k - 9. Is 8 a factor of g(f)?
False
Is (-1)/5 + 10398/45*3 a multiple of 99?
True
Suppose -m - 3 - 4 = 0. Let c(l) = -l**3 - 8*l**2 - 10*l - 7. Is c(m) a multiple of 5?
False
Let q be (-4)/10 + (-2)/(-5). Let l(m) = 0 + 4 + 311*m - 154*m - 158*m. Is 4 a factor of l(q)?
True
Let o = 35 - 41. Let v be 8/24 - 34/o. Is 10 a factor of (-4)/v + (-186)/(-9)?
True
Let n be 16/4 + 0 + 5 + -1. Suppose 0 = -2*q + n, -3*q = -i - 6*q + 36. Is i even?
True
Let n(z) be the second derivative of 3*z**5/10 - z**4/24 - z**2 + 5*z. Let p(m) be the first derivative of n(m). Does 6 divide p(1)?
False
Suppose 5*j = -5*g - 7 + 32, -3*j = -15. Suppose g = 5*u - 242 - 263. Does 9 divide u?
False
Let r(i) = 4*i + 72. Does 8 divide r(22)?
True
Let o(l) = l + 1. Let x be o(2). Suppose 2*d - 5*b + 0*b - 57 = 0, -3*d - x*b + 75 = 0. Does 3 divide d?
False
Suppose -17*w = -29*w + 924. Is w a multiple of 13?
False
Suppose -5 = s - 23. Let i(g) = -g**3 + 17*g**2 + 19*g - 7. Let f be i(s). Let b(c) = c**3 - 12*c**2 + 16*c - 16. Does 13 divide b(f)?
True
Let t = 30 - 27. Suppose 0 = -2*g + 5*g + t*c - 21, -4*g + 49 = -3*c. Does 4 divide g?
False
Suppose -24 = 5*a - 14, -4*a + 883 = 3*j. Is 13 a factor of j?
False
Suppose -3*i - 4*a - 112 = -1094, -4*i = -4*a - 1328. Does 51 divide i?
False
Let j(v) = v**3 + 19*v**2 - 3*v + 12. Is j(-19) a multiple of 2?
False
Let y(l) = -l - 2. Let o be y(10). Let w = 12 + o. Suppose 5*k + 4*b - 3*b - 123 = w, k + 5*b - 39 = 0. Does 6 divide k?
True
Suppose 0 = -r - 3*r - 644. Let w = -106 - r. Is w a multiple of 11?
True
Suppose 5*w + 9 = 19. Suppose 2*i = 5*g - 776, 302 = g + g + w*i. Does 11 divide g?
True
Let o = -384 + 388. Suppose 0*u = 2*u - 2, 0 = x - 5*u - 43. Is (x/o)/3 + 76 a multiple of 20?
True
Let c be 7/(14/16) + 3. Suppose -1 = -5*h - c. Let i = 16 + h. Is i a multiple of 7?
True
Suppose 2*c + 3 = 7. Let b be 120 + (4 + 0 - c). Let g = b - 74. Is 18 a factor of g?
False
Suppose -18*s = 6*s - 960. Is s a multiple of 8?
True
Suppose -37*c + 16502 = -0*c. Is 11 a factor of c?
False
Is (9996/(-7))/(-3) - (-2)/1 a multiple of 52?
False
Suppose -4*b = -3*u - 14, -b - 3*u + 16 = b. Suppose -b*a + a = -8, -3*m = -3*a - 108. Does 19 divide m?
True
Suppose 0 = -4*w - 71 - 233. Is 10 a factor of 1/((-4)/w) + 1?
True
Suppose -659 = -3*v + 541. Does 25 divide v?
True
Let q = 15 - 14. Let f be -3 + 11 + 1 + q. Suppose 25 = 5*b - f. Is 2 a factor of b?
False
Suppose -755 + 20 = -7*n. Suppose -3*z - 33 + n = 0. Does 8 divide z?
True
Let g(y) = y - 5. Let u be g(7). Suppose 2*s - u*m + 2 = 12, -5*m - 22 = -2*s. Is 10 a factor of (2/(-6))/(s/(-114))?
False
Let p(d) = d**2 - 5*d - 50. Is p(14) a multiple of 2?
True
Suppose 0 = 4*b - 22 + 2. Suppose b*r - 7 - 3 = 0. Is r a multiple of 2?
True
Let p be (134/(-4) - 0)/(1/(-10)). Suppose 0 = -3*w + 3*b + 96 + 96, 2*b + p = 5*w. Is w a multiple of 23?
True
Let x(t) = 14*t**2 + 9*t + 13. Is 17 a factor of x(-2)?
True
Let d = 3 - -2. Suppose 2*u - 5*r = 47, 0 = -4*u - d*r - 0*r + 169. Let m = u + -15. Is m a multiple of 13?
False
Let o(q) = 228*q**3 + 3*q**2 + 22*q - 40. Does 120 divide o(2)?
False
Suppose 4*i = -0*i + 216. Suppose 4*n = -4 - 12, -3*j + n = -19. Suppose -j*l = 2*c - 40 - i, -5*c + 266 = -3*l. Is 13 a factor of c?
True
Let s(l) = l**2 - 17*l + 254. Is s(17) a multiple of 6?
False
Let n(i) = -4*i - 1 - i - 4. Suppose 40 = -4*k - 3*w, -k - 4*w - 9 - 14 = 0. Does 14 divide n(k)?
False
Let u(i) = 3*i**2 + 10*i + 44. Is 13 a factor of u(-17)?
True
Suppose -2*k + 3662 = 5*v, 2*v - 781 = 2*k + 695. Is 7 a factor of v?
False
Let u = 1650 + 2035. Is u a multiple of 67?
True
Suppose 4*g + 208 = 3*b - 150, 3*g - 616 = -5*b. Suppose -36 - b = -i. Does 38 divide i?
False
Suppose -18*r - 88 = -1510. Is 4 a factor of r?
False
Suppose 0 = 4*w + q - 2*q + 225, -2*w + 4*q = 102. Let s = 16 + w. Let k = s - -68. Is 9 a factor of k?
True
Let x = -254 + 1512. Is x a multiple of 34?
True
Let h(g) = 4*g**2 + 17*g - 144. Does 24 divide h(16)?
True
Suppose -5*a = -g + 101, 532 = 5*g + a + a. Let y be 1/(1*2/g). Suppose -5*n + 9 = u, 0 = -3*u + 2*n + 59 + y. Does 17 divide u?
True
Suppose 39*u - 2*u = 14245. Does 11 divide u?
True
Let y(s) = -6*s + 9. Let z be y(2). Let x(i) = 12*i**2 + 4*i + 6. Is x(z) a multiple of 34?
True
Let k(c) be the first derivative of -c**4/4 + 5*c**3/3 - 5*c**2/2 + 4*c + 3. Let i be k(3). Suppose 0 = -2*m + i*m - 75. Is 4 a factor of m?
False
Let k(b) = 22*b - 9. Is 9 a factor of k(6)?
False
Let t(l) = 10*l - 73. Does 27 divide t(10)?
True
Let s(w) = 6*w**3 - 7*w**2 - 11*w + 15. Let a(g) = -7*g**3 + 7*g**2 + 12*g - 16. Let z(h) = 5*a(h) + 6*s(h). Let x = -136 - -144. Is z(x) a multiple of 12?
False
Let w(b) = b**2 + b - 4. Let p be w(0). Let z be p/((48/(-9))/4). Suppose 6*h = z*h + 108. Is 9 a factor of h?
True
Let j(s) be the second derivative of s**6/60 - 7*s**5/60 + s**4/4 - s**3/6 - 3*s**2 + s. Let r(g) be the first derivative of j(g). Does 18 divide r(4)?
False
Let c(z) be the third derivative of -1/6*z**3 + 1/60*z**5 + 0*z + 0 - 1/6*z**4 + 4*z**2. Does 8 divide c(-4)?
False
Let m(a) = -17*a + 63. Is 16 a factor of m(-16)?
False
Suppose 0 = 2*l - 0*j - 5*j - 17, -5*j = 2*l + 33. Does 6 divide -3 - 75/2*l?
False
Let v be (-12)/24 - 1454/4. Is (v/78)/(52/27 + -2) a multiple of 21?
True
Let y = -20 + 15. Is 6 a factor of (y/(50/12))/(19/(-570))?
True
Suppose -3348 = 452*n - 454*n. Does 54 divide n?
True
Suppose -8*x + 1625 = -63. Does 12 divide x?
False
Suppose -2*q + 94 = 228. Let x = 85 + q. Is x a multiple of 5?
False
Suppose 10*u = -3*u. Suppose u = -34*o + 32*o + 128. Is 16 a factor of o?
True
Let h = 33 + -28. Let d(x) = h*x**2 + 8*x - 3*x**2 - 14 - x - x**2. Is d(-10) a multiple of 4?
True
Suppose 0 = 3*c + 15, 5*y + 0*c - 60 = c. Suppose 4*i - y = 3*i. Does 4 divide i?
False
Suppose 3*z - 5*d - 5 = 9, -2*z + 3*d + 9 = 0. Let n(l) = 3 + 0*l + 6*l - z*l - 4. Does 3 divide n(3)?
False
Suppose -h = 4*n + 4 + 9, n + 8 = -5*h. Let d(t) = -t**3 - t**2 + 4*t - 1. Let a be d(n). Suppose -5*p - 1 + 26 = 0, i + a*p - 39 = 0. Is i a multiple of 7?
True
Suppose -2*b - 110 = -2*l, 2*b + 2*b - 275 = -5*l. Let y = l - -20. Is y a multiple of 25?
True
Let x(k) = -3*k - 4. Let t be x(-2). Suppose 43 = -t*j + 163. Suppose -9*b + 4*b = -j. Is 12 a factor of b?
True
Let y(i) = -i**3 - 18*i**2 + 19*i + 2. Let n be y(-19). Suppose 7*q = -n*q + 216. Is q even?
True
Let v be (-48)/9*-12*5. Let o = v + -140. Does 45 divide o?
True
Let g(s) = 86*s**2 + 58*s + 16. Does 75 divide g(-5)?
False
Let l(k) = -2*k**2 - 14*k + 3*k**2 - 9 + 5*k. Is l(12) a multiple of 9?
True
Is 6 a factor of 26*4 - (3 - 3 - 3)?
False
Suppose -266 = -s - 4*x, 5*s + 4*x = -235 + 1549. Is s even?
True
Let y be (40/(-16))/((-2)/8). Let d(u) = u**2 + u**2 - 7 + 24 + y + u. Is 7 a factor of d(0)?
False
Let m(t) = 3*t + 1. Suppose -l = l + 52. Let u be 2/(-6) + l/(-6). Is 5 a factor of m(u)?
False
Suppose -2*d + 9 = -3*u + d, 0 = 2*u + 3*d - 14. Suppose -u = s - 2*s - c, 0 = 5*s + 4*c - 1. Let i = 2 - s. Does 3 divide i?
False
Let n(v) = v**2 + v + 1. Let y(x) =