31 = -s. Does 13 divide b?
False
Suppose -6*l + 45 = -207. Does 10 divide l?
False
Suppose 4*z + 180 = 9*z. Does 12 divide z?
True
Let m be ((-3)/(-1))/(3/2). Let x be (30/4)/(1/m). Suppose -35 = -5*v + x. Does 6 divide v?
False
Let l(h) = 5*h**3 - 2*h**2 - h + 2. Let q(n) = n**2 + 10*n + 11. Let c be q(-9). Is l(c) a multiple of 16?
True
Let o(d) = -24*d + 1. Does 12 divide o(-1)?
False
Suppose t - 46 = -4*y + 23, -2*t + 141 = 5*y. Is 25 a factor of t?
False
Let o(x) = -5*x - 4 + 0*x + 2*x - x. Is o(-5) a multiple of 8?
True
Suppose 6 = -w + 3*w. Let o = -11 + 15. Suppose -o*i + 3*a = i - 28, w*a = i + 4. Is 4 a factor of i?
True
Let p(m) be the second derivative of m**3/3 + 2*m**2 - 5*m. Is p(6) a multiple of 16?
True
Suppose 9 + 6 = -5*x. Is x/(6/20)*-4 a multiple of 20?
True
Suppose 5*a - y - 2 = 0, 0*a + 2*y - 11 = -5*a. Let i = a + 3. Suppose g - 90 = -i*g. Does 9 divide g?
True
Let u(h) = 2*h**2 + 3*h - 4. Let f(g) = -5*g**2 - 7*g + 8. Let r(b) = -3*f(b) - 7*u(b). Is r(6) a multiple of 10?
True
Let j = 2 + 42. Is j a multiple of 11?
True
Suppose 5 = 4*t + 2*l - 3, 5*l - 10 = 0. Let o = t - -26. Does 9 divide o?
True
Let k be (51/(-2))/((-4)/(-8)). Is 11 a factor of ((-10)/(-6) + -2)*k?
False
Let f(r) be the first derivative of r**2 - 5. Let z(g) = g**3 - 2*g**2 - 2. Let j be z(3). Is f(j) a multiple of 7?
True
Let f = 52 + -85. Let s = f + 66. Is s a multiple of 11?
True
Suppose -2*u = -5*z + 20, -3*u + z - 4 = u. Let g(s) = s**2 + s + 38. Is g(u) a multiple of 15?
False
Let f(q) = 5*q - 2*q + 50 - 4*q. Is 25 a factor of f(0)?
True
Let b(n) = -n**3 + 6*n**2 + 2*n + 7. Let t be b(6). Let c = -3 + t. Is 15 a factor of c?
False
Let j = 52 + -23. Is 29 a factor of j?
True
Let r(v) = -32*v + 3. Is r(-3) a multiple of 9?
True
Let j = 6 + -4. Let m = 5 + 1. Suppose -j*h = -m*h + p + 81, -3*h = -2*p - 62. Is h a multiple of 10?
True
Let t be (-2)/(-11) + 20/11. Let f(g) = -g + 4. Let w be f(t). Let v = 25 - w. Is v a multiple of 15?
False
Suppose -5*q - 2*q + 105 = 0. Does 7 divide q?
False
Suppose -4*q - 16 - 20 = -v, -20 = 3*q + v. Is 11 a factor of (q/10)/((-2)/55)?
True
Let l(j) = -j**2 + 7*j + 8. Let t be l(6). Suppose -t = -z + 4*o, -3*z - 7*o + 42 = -2*o. Is z a multiple of 7?
True
Let u = -11 - -18. Suppose i - 24 = -u. Is 5 a factor of i?
False
Suppose 28*d - 4715 = 5*d. Is d a multiple of 61?
False
Let q be -2 + 3/6*-14. Let m(u) = -u**2 - 12*u + 5. Is m(q) a multiple of 8?
True
Suppose -4*v = -z + 87 - 421, -2*v + 170 = z. Does 15 divide v?
False
Let c = -114 - -192. Is c a multiple of 5?
False
Suppose -4*m + 2*m + 3*g = -117, 121 = 2*m + g. Is 12 a factor of m?
True
Let m = 23 + -20. Suppose m*a = 89 + 22. Is 12 a factor of a?
False
Let w(x) = 2 + 5 + 2 + x - 5. Let l be w(0). Suppose 16 = l*a, 2*a + 36 = 2*s + 8. Does 9 divide s?
True
Is (-5)/(2/28*-2) a multiple of 8?
False
Let z(j) = j**3 - 7*j**2 + 3*j - 7. Let k(w) = -w**2 - 7*w + 7. Let b be k(-7). Is z(b) a multiple of 14?
True
Suppose -n = -4*n - 9. Let u = 2 - 3. Is 10 a factor of 30*((-5)/n + u)?
True
Let c(q) = 4*q**2 + q + 3. Suppose -6*j + j - 10 = 0. Is 9 a factor of c(j)?
False
Let q(r) = 5*r**2 - 3*r + 2. Is 4 a factor of q(2)?
True
Let n(v) = v**3 + 5*v**2 + 4*v + 1. Let h be n(-5). Let z = 38 - h. Does 19 divide z?
True
Suppose 5*i + 0*i + 30 = 0. Is i/3*-1 + 12 a multiple of 6?
False
Let j = 24 + -16. Suppose -j = -l - l. Let g(z) = z**2 + 4. Does 7 divide g(l)?
False
Let w = 23 + -48. Suppose 3*c + 106 = c. Let j = w - c. Is 14 a factor of j?
True
Suppose 15 = -5*b - 25. Let c(o) = -o**3 - 7*o**2 + 3*o + 8. Does 12 divide c(b)?
True
Let m = 157 - 94. Suppose 5*t = 2*t + m. Let g = t - 7. Does 7 divide g?
True
Suppose -6*d - 128 = -2*d. Let o = -17 - d. Does 15 divide o?
True
Let s(w) = 2*w**2 + 7*w - 2. Let o = 9 + -15. Let j be s(o). Let r = -8 + j. Is r a multiple of 9?
False
Suppose 3*n = -5*x + 1 - 5, -2*n - x = -2. Is 2 a factor of n?
True
Let j(c) = c**2 - 8*c - 7. Suppose -7 - 5 = -4*r. Suppose -q + 40 = r*q. Does 9 divide j(q)?
False
Let l be ((-36)/24)/(2/(-40)). Suppose u = -0*u + l. Does 8 divide u?
False
Suppose x + 2*x + 2*c = -279, 0 = 4*x - 4*c + 372. Let q = x + 132. Is q a multiple of 18?
False
Does 36 divide ((-16)/24 + 4)/(2/108)?
True
Suppose -4*g - 5*k + 690 = g, 2*g - 270 = -4*k. Is 25 a factor of g?
False
Suppose -2*z = -5*v - 16, 2*v = -3*z + 3*v + 11. Suppose r = z - 0. Suppose 0*n + 5*y = -r*n + 3, 3*y = -5*n + 21. Does 6 divide n?
True
Let b(m) = -m**2 - 19*m + 9. Is 10 a factor of b(-8)?
False
Is 12 a factor of 5*(1 - -2)*204/15?
True
Suppose l - 2*l - 34 = -2*r, 2*l = r - 17. Is r + (3/1)/(-3) a multiple of 5?
False
Let o(w) = 0*w**2 - 6 + 0*w**2 + 5*w**2 - 4*w**2 - 5*w. Let x be o(6). Suppose -5*l + 2*s + 59 + 1 = x, 4*l + 3*s - 71 = 0. Is 14 a factor of l?
True
Let q(x) = -3*x - 4. Does 11 divide q(-5)?
True
Let g(w) = -4*w**3 + 2*w + 1. Let v be g(-1). Let b(t) = 11*t - 4. Is b(v) a multiple of 18?
False
Let x(a) = 51*a + 8. Let i be x(7). Suppose -i = -5*v + 35. Suppose -3*l + 4*m = -59, 5*l = 2*m + m + v. Does 13 divide l?
True
Let r(f) be the third derivative of 3*f**4/8 - 5*f**3/6 + 3*f**2. Does 8 divide r(4)?
False
Suppose -a - 291 = -4*g, -g + 76 = 6*a - 3*a. Does 18 divide g?
False
Suppose -138 = -t + 41. Does 24 divide t?
False
Let c(a) = -16*a + 8. Is 22 a factor of c(-5)?
True
Let o(m) = -2 + 3*m - 3*m**2 + 0*m - 4*m - 5. Let q(t) = -t**2 - t. Let d(c) = o(c) - 4*q(c). Is 5 a factor of d(-6)?
False
Let j = 11 - 66. Let x = j + 39. Does 8 divide 66/8 - (-4)/x?
True
Let q = 89 + -53. Is (-8)/q*6*-6 a multiple of 4?
True
Let j = 23 - 14. Let b be 2/3 - (-21)/j. Suppose 2*h - 2*t = 24, 0 = b*t + 9 - 0. Is 9 a factor of h?
True
Let q(k) = k**3 - 6*k**2 - 5*k + 4. Suppose 35 = 4*f + f. Does 13 divide q(f)?
False
Let n(i) = i**3 + i**2 - 3*i + 1. Is n(3) a multiple of 7?
True
Suppose 144 = 4*l - 5*a, 2*l + a - 98 = -3*a. Let t = -11 + l. Is t a multiple of 10?
True
Let i = 166 - 246. Is 25 a factor of (-5984)/i + (-2)/(-10)?
True
Let u(q) = 15*q**2 + 9*q - 7. Let i(j) = 8*j**2 + 5*j - 4. Suppose -4*m + 2 = 2*r, -5*r - 19 - 18 = -4*m. Let l(c) = m*u(c) - 5*i(c). Is 6 a factor of l(1)?
True
Suppose 5*q - 7 = 3, 0 = 5*b - 4*q - 172. Is 25 a factor of b?
False
Suppose 2*f - 14 + 5 = r, r = -5*f + 19. Let d = 2 + 1. Suppose -z = q - 14, f*q = z + 9 - d. Does 5 divide z?
True
Let b(t) = t - 1. Let c(l) = l**3 + 7*l**2 + 6*l + 7. Let v(h) = -3*b(h) - c(h). Does 7 divide v(-6)?
True
Let z(n) = n + 1. Let c be z(-8). Let y = 10 + c. Suppose 2*f + 89 = 4*f + 3*r, 4*r - 132 = -y*f. Is 20 a factor of f?
True
Let h(t) = t**3 - t**2 + t - 1. Let n(s) = -3*s**3 + 8*s**2 + 4*s - 3. Let o(g) = 2*h(g) + n(g). Let y be o(7). Is y/(-9)*(-1 + 19) a multiple of 12?
True
Let f(h) = h**2 + 6*h + 4. Let l be f(-6). Suppose -102 = -l*y + 78. Does 15 divide y?
True
Suppose -a - 108 = -4*a. Is 11 a factor of a?
False
Suppose -53 + 13 = -4*x. Let l = -6 + x. Let d = l - -17. Is d a multiple of 13?
False
Let y = 71 - 48. Let x = y - 13. Is x a multiple of 10?
True
Let c be (-1)/(-2)*(3 + 1). Suppose c*u - 3*u + 23 = 0. Is u a multiple of 16?
False
Let x = -46 - -53. Suppose -14 = -5*w + 4*c, -3 = -w - 2*c + 3*c. Suppose j - x = -w. Is j even?
False
Let x(o) = o**2. Let r(b) = -5*b**2 + 10*b + 5. Let f(z) = -r(z) - 6*x(z). Does 19 divide f(-6)?
True
Let i(z) = -z + 8. Let c be i(5). Suppose -k = 5*j + c*k - 150, 0 = 5*j - 2*k - 150. Is j a multiple of 9?
False
Let d(s) = 3*s**2 - 2*s. Let x be d(-2). Let g = -4 + x. Is g a multiple of 6?
True
Let q = -13 - -31. Does 17 divide q?
False
Let w be -1 + 1 + 0 - -4. Suppose w*r - 105 = r. Does 13 divide r?
False
Suppose -s = -5*l + 123, -57 = -3*l - 3*s - 2*s. Does 8 divide l?
True
Suppose -3*l + 1 + 39 = 2*i, 4 = l - 4*i. Is 9 a factor of l?
False
Suppose 3*z = -4*l + 131 + 35, -4*z + 168 = 4*l. Is l a multiple of 10?
True
Suppose a = 4*a + 18. Let p = -2 - a. Is 4 a factor of p?
True
Suppose -o = -2*o + 93. Does 31 divide o?
True
Let s(n) = n**2 + 12*n + 1. Let p(j) = 6*j**2 + 60*j + 4. Let i(l) = -2*p(l) + 11*s(l). Does 10 divide i(7)?
False
Let i = 7 + -10. Let x be i/2*(-8)/6. Suppose -2*g + 44 = x*g. Is 11 a factor of g?
True
Let f(o) = o**3 - o + 1. Let a(y) = -y**3 - 5*y**2 + y - 2. Let w(s) = -a(s) - 