e of 35?
False
Let x be (-2)/6 + (-142)/6. Let t = 36 + x. Does 8 divide t?
False
Let b(h) = 3*h**2 + 5*h + 2. Suppose -3*m = 10 - 1. Is 9 a factor of b(m)?
False
Let a = 78 + -146. Let q = 147 + a. Is q a multiple of 19?
False
Let m = -89 - -141. Does 16 divide m?
False
Let f(u) = 2*u**2 + 2*u - 1. Let y be (2/(4 - 2))/1. Does 2 divide f(y)?
False
Let a be (-2 + 0)*(8 - 0). Let l = -22 - a. Let t = l - -48. Does 21 divide t?
True
Let r(w) = 7 - 2*w + 10*w + w**2 - 1 + 3. Suppose 0 = -3*k - 7 - 17. Does 9 divide r(k)?
True
Let w(t) be the third derivative of -53*t**4/12 + t**3/6 - 7*t**2. Is w(-1) a multiple of 28?
False
Let h = -7 + 7. Is 10 a factor of 12 - (2 + h)*1?
True
Let l be (-21)/14 - (-78)/4. Let i = 29 - l. Is 11 a factor of i?
True
Let j be 54 + ((-2)/2 - -1). Suppose p = -f + 20, -2*f = 4*p - 140 + j. Is 7 a factor of p?
False
Let t = -102 + 199. Does 5 divide t?
False
Let d(c) = -14*c - 8. Does 3 divide d(-2)?
False
Let j = 18 + -10. Let o = 12 - j. Is (41 - 2)/(6/o) a multiple of 11?
False
Suppose -534 = -2*f + 4*x - 5*x, 267 = f - 4*x. Is f a multiple of 20?
False
Suppose -3*w - 15 = -3*y, -w + 5*w + 15 = 3*y. Suppose -11 = y*t - 1. Is (-6 - t)*-1*2 a multiple of 8?
True
Let x be (2/(-4))/(10/(-60)). Suppose 0 = -3*q - w + 105, -x*w - 2*w + 140 = 4*q. Is 7 a factor of q?
True
Suppose 2*p + p = 75. Let d(m) = -m**3 - 8*m**2 - 7*m + 2. Let b be d(-7). Suppose 0 = -b*k - 3*k + p. Is k a multiple of 4?
False
Let l = -13 + 11. Let m = 7 - l. Is m a multiple of 9?
True
Let k = 4 - 6. Let u(l) be the third derivative of -l**6/30 - l**5/60 - l**3/3 - 3*l**2. Is u(k) a multiple of 13?
True
Suppose -2*a - 30 = a. Does 7 divide -2 + (-2 - -1) - a?
True
Let l = -266 + 374. Does 27 divide l?
True
Let m(s) = -4*s - 8. Let y(r) = -r**2 - 2*r. Let p be y(-4). Is 8 a factor of m(p)?
True
Let y(z) = -z**2 + 4*z - 3. Let v be y(8). Is 22 a factor of 196/(-6)*90/v?
False
Suppose 2 = -3*s + 14. Suppose 5*i + 5*w = 145, -s*i + w = i - 169. Does 11 divide i?
True
Let l(k) = 5*k**2 - 10*k - 7. Is 61 a factor of l(-8)?
False
Suppose -4*r + 2*r = 114. Let z = -24 - r. Does 9 divide z?
False
Let d(w) = -w + 2. Let j be d(-1). Suppose 20 = f + r, -j*f + 54 = -0*f + r. Does 13 divide f?
False
Let p be 10/(-5) + (-1 - -102). Let u = p - 62. Is u a multiple of 14?
False
Suppose 0 = -4*u + 4*h + 8, u + 2*h = 6*u - 19. Let l(p) = -4*p**2 + 5*p**2 - 1 + p**2 - 4 + u*p. Is 22 a factor of l(4)?
False
Let z(i) = -13*i - 3. Let q be z(5). Let t = q - -100. Does 14 divide t?
False
Suppose 4*x - 3*z = 9, 2 = x + z + 5. Suppose 2*a - k + 42 = 6*a, -2*a - 4*k + 14 = x. Is 6 a factor of a?
False
Suppose 0*x - 4 = -x. Suppose -3*g = -h - 66, -x*h + 6*h = 0. Is g a multiple of 11?
True
Is 24 a factor of -3 + 4/(12/351)?
False
Suppose 2*n - 66 = -4*g, -2*n + 0*g = 3*g - 63. Suppose -3*k = -0*k - n. Does 2 divide k?
False
Suppose 3*j = 12, 2*j = 3*h - 0*j - 7. Suppose -5*m - 4*u + 79 = 0, 0*m = -2*m + h*u + 25. Does 12 divide m?
False
Let z = 78 + -24. Is z a multiple of 18?
True
Let c = -10 + 6. Let r(f) = -4*f**3 + 11*f**2 + 10*f. Let n(i) = -5*i**3 + 12*i**2 + 11*i - 1. Let s(b) = -5*n(b) + 6*r(b). Does 17 divide s(c)?
True
Suppose -4*y + 138 = 5*r, -4*r + 55 + 62 = y. Does 12 divide r?
False
Let l(c) = c**3 - 7*c**2 + 5*c + 4. Let a be l(6). Let u be -7*10*(-1)/a. Let q = 49 + u. Does 14 divide q?
True
Suppose 3*q + 79 - 313 = 0. Is q a multiple of 19?
False
Let q be ((-3)/9)/(2/(-750)). Let a = q + -74. Does 12 divide a?
False
Suppose 4*u + 5*g = 359, -u - 505 = -6*u + 5*g. Does 16 divide u?
True
Suppose 3 = -0*k + 3*k. Let c be 4 - k - 2/(-2). Suppose d + c = 16. Does 8 divide d?
False
Let m(a) = -2*a**2 + 3*a - 3. Let j be m(3). Does 13 divide (-195)/j - 2/8?
False
Suppose x + 10 = 4*k, 0 = -k + 4*k - 5*x - 16. Suppose k*l = -5*y + 29, 8 = -l + 4*y - 2*y. Suppose 3*a + 41 = -l*d + 7*d, 0 = -4*d + 4*a + 36. Does 7 divide d?
True
Suppose -i - 2*i + 9 = 0. Suppose -26 = -i*c + y + 26, -5*c + 84 = -3*y. Does 18 divide c?
True
Let t = 98 + -54. Is 11 a factor of t?
True
Let p(y) be the third derivative of -y**4/8 - 3*y**3/2 + 3*y**2. Let q be p(-9). Suppose 3*m = 3*o - q, o + 3*m = -4*o + 14. Is 2 a factor of o?
True
Suppose 5*j - 46 + 11 = 0. Suppose -5*k + j = -8. Suppose 47 + 43 = k*y. Is y a multiple of 13?
False
Let r(n) = -6*n + 14. Is r(-6) a multiple of 10?
True
Is 33 a factor of (1*(-55)/(-10))/(1/36)?
True
Let a be (-20)/(-6)*(-6)/(-4). Suppose -g - 16 = -2*g + 4*l, -5*l = -3*g + 20. Suppose -a*z + 54 + 11 = g. Is 11 a factor of z?
False
Is (388/(-6) + 4)/(2/(-6)) a multiple of 26?
True
Let j(a) = 6*a - 7. Does 29 divide j(6)?
True
Suppose 0 = -4*s + 2*s + 10. Suppose c = 3 + s. Is c a multiple of 8?
True
Let g = 8 + -10. Is 14 a factor of 40 - (-6 + 2 - g)?
True
Suppose -4*l + 3*d = 25, l + 3*d - 7*d + 16 = 0. Let p = 50 + l. Is p a multiple of 13?
False
Let u(l) = -l**2 - 14. Let w be u(0). Let y = 23 + w. Let p = 13 - y. Does 2 divide p?
True
Let p(w) = 7*w**2 - w - 1. Let a(n) = -n + 5. Let s be a(7). Is 13 a factor of p(s)?
False
Suppose 67*c = 69*c - 534. Does 12 divide c?
False
Let l = 5 - 3. Suppose -z - 28 = -l*z. Let j = z - 9. Is 7 a factor of j?
False
Let f be 0/(-1) - (-6 + 4). Let a = f + -2. Suppose -3*g - 3*v + 18 = g, a = -3*g - v + 11. Is 3 a factor of g?
True
Let o be -1 - (-1)/((-1)/(-1)). Suppose o = -k + 5*k - 80. Let q = k - 5. Is q a multiple of 15?
True
Let b = 8 - 6. Let z be (-23)/b*(-4)/1. Suppose -4*o - 5*g + 48 = 0, 2*o - g - 2*g = z. Is o a multiple of 17?
True
Let i = 2 - 2. Suppose i*s = s - 2*x - 11, -5*s + 37 = -4*x. Let j = 4 + s. Does 6 divide j?
False
Let h(p) = p**3 - 10*p**2 - 24*p + 16. Is 8 a factor of h(12)?
True
Let l(z) = 2*z - 7. Let h be l(5). Suppose -3 = -2*y + h. Suppose y*v - 5*v = 5*b - 24, 0 = 2*v + 2*b - 36. Is v a multiple of 11?
True
Suppose 3*b = -2*b + 60. Does 4 divide b?
True
Let j be 2/(((-2)/4)/(-1)). Is 18 + 3 + (-1 - j) a multiple of 10?
False
Let q(k) = 7*k**2 - 5*k - 3. Let i(c) = 8*c**2 - 4*c - 4. Let u(o) = -6*i(o) + 7*q(o). Is u(14) a multiple of 15?
True
Suppose 5*r - 26 = l, -4*r + 39 = 5*l - 5. Let c be (4/r)/((-2)/6). Is 18 a factor of (-6)/(c + -1)*18?
True
Suppose -5*m + 35 = -5*q, -m + 2*m + 2*q = 4. Suppose 3*y = m + 21. Does 6 divide y?
False
Let f(d) = -d**3 - 3*d**2 - 6*d + 3. Is f(-3) a multiple of 4?
False
Let t(o) = 3*o + 20. Suppose 0 = 3*c + c + 20. Let h(i) = 2*i + 10. Let q(w) = c*h(w) + 3*t(w). Is q(-8) a multiple of 8?
False
Let r = 6 - 8. Let c(b) be the first derivative of -4*b**2 - b - 3. Is c(r) a multiple of 15?
True
Let l(x) = x**2 + x + 34. Suppose 3*v = -0*v. Is 15 a factor of l(v)?
False
Suppose -4*o = -3*l + 4, o = -2*o - 3. Suppose -3*d - 7 + 25 = l. Is 6 a factor of d?
True
Let p = 238 - 61. Is p a multiple of 48?
False
Suppose 3*b - 3*l = 39, -5*b + 6*b + 5*l - 25 = 0. Let r = 6 - 15. Let d = b + r. Is d a multiple of 3?
True
Let l(n) = -n**3 - 4*n**2 - 3*n - 2. Let b be l(-3). Let i(u) = -10*u - 3. Is 11 a factor of i(b)?
False
Suppose 2*n = -n - 876. Let a = -202 - n. Suppose 6*f = 3*f + a. Is 15 a factor of f?
True
Let f(d) = d**3 - 2*d. Let a be f(-2). Let t be 0/7 - a/2. Suppose -10 - 2 = -t*z. Is 3 a factor of z?
True
Let q = 9 - -29. Does 7 divide q?
False
Suppose -2*x + 14 = -5*j, 5*j + 9 - 3 = -2*x. Suppose w + x*w - 123 = 0. Is w a multiple of 16?
False
Is (-650)/(-13) + (1 - -3) a multiple of 18?
True
Let x(q) = -11*q**3 + 5*q**2 + 5*q + 1. Does 33 divide x(-2)?
True
Let u = -32 - -85. Suppose -4*l = -u - 7. Is l a multiple of 6?
False
Let n = 405 - 288. Does 13 divide n?
True
Let i(d) = -d**3 + 6*d**2 + 4. Let a be i(6). Suppose -a = -h + 5*h. Is (-52)/(0 + h) + -1 a multiple of 22?
False
Let a = 10 - 10. Suppose 5*c - 4*k = 344, a = 3*c + 4*k - 192 - 40. Is c a multiple of 24?
True
Suppose -310 = 2*y - 4*y. Suppose y + 61 = 4*k. Suppose -z - k = -2*z. Is z a multiple of 21?
False
Let q = 12 - 9. Suppose 2*m - 13 = -q*f + 6, -5*m = -f - 5. Is m a multiple of 2?
True
Suppose 2*v + 30 = 5*v. Does 11 divide 216/v + 4/10?
True
Let l = 26 - 15. Let a = -4 + l. Does 7 divide a?
True
Suppose -4*h + a + 20 = 4*a, -8 = 2*h - 3*a. Let q be -1*h/(-1 - 0). Suppose -q*v - 44 = -4*v. Does 9 divide v?
False
Let m(u) = u**2 + 8*u + 4. Let i be m(-8). Suppose -