 factor of o?
False
Let l = 14 + 3. Does 3 divide l?
False
Let t(n) = 7*n - n**2 - 2 + 2. Let q be t(7). Suppose -2*k + b + 2 + 31 = q, -5*b = 15. Is 7 a factor of k?
False
Let c(g) = g**3 + 4*g**2 + 2*g - 3. Let t be c(-3). Suppose t = -5*u + 4*u + 16. Does 8 divide u?
True
Suppose 12 = -3*j + 2*j. Let n = 20 + j. Does 7 divide n?
False
Let n(r) = -5*r + 1. Does 5 divide n(-5)?
False
Suppose -2*d + 853 - 153 = 0. Is 35 a factor of d?
True
Let h(o) = 2*o + 3. Let p be h(9). Suppose -3*n = -p - 6. Is 9 a factor of n?
True
Suppose 4*q + 872 - 172 = 0. Let k = -95 - q. Is 22 a factor of k?
False
Let d(g) = g**2 - 3. Let s be d(-5). Suppose 26 = 3*b - s. Does 8 divide b?
True
Suppose -x + 503 = 4*s, s - 2*x - 110 = 3*x. Is s a multiple of 9?
False
Suppose -7*p + 70 = -2*p. Let l = -4 + p. Does 5 divide l?
True
Let h = 0 + 0. Suppose h = 4*b - 2*b. Suppose 4*z + 7 = p, b = 4*p - z - z - 42. Does 5 divide p?
False
Let b be (-1 + 2)/(-1) + 61. Suppose 0 = 3*c - 0*c - b. Does 11 divide c?
False
Let f(v) = v - 8. Let u be f(12). Let l(n) = -n**3 + 7*n**2 - 2*n + 4. Is l(u) a multiple of 22?
True
Suppose 0 = 3*u + 2*u - 60. Let y = -13 + 12. Is 5 a factor of 15/u*(5 + y)?
True
Suppose -108 = -4*w - 2*u + 344, -5*u = 10. Is w a multiple of 19?
True
Let q be (-1)/(-1) + 3 + 0. Let h = -29 + 58. Suppose 5*b - 5*c = 4*b + 6, -q*c = -3*b + h. Does 7 divide b?
False
Let d = 71 + 11. Is 25 a factor of d?
False
Is 28*(12/(-336) + 4/14) a multiple of 2?
False
Let d(n) be the second derivative of -n**4/12 + 5*n**3/2 + 5*n**2 - 13*n. Let p be 12 - (-1 + 3)/2. Is 19 a factor of d(p)?
False
Let u(v) = v**2 - 3*v - 4. Let k be u(3). Let y = 2 - k. Is 3 a factor of y?
True
Let c = 16 - 8. Is 8 a factor of c?
True
Let b be 182/6 + (-4)/(-6). Suppose 0*h = -2*d - 3*h + 55, -2*d + b = -5*h. Does 5 divide d?
False
Suppose 0 = -x - 4 + 1, 3*b - 72 = 4*x. Suppose g - b = -o, -88 = -4*o - g + 5*g. Is o a multiple of 21?
True
Suppose -4*k - 667 + 31 = 0. Let b = 90 + k. Let a = -36 - b. Is a a multiple of 17?
False
Suppose 2*h - 5*x - 99 = 0, -41 - 61 = -2*h + 2*x. Let c = -24 + h. Is c a multiple of 10?
False
Let f(v) = -3*v**2 + 6*v + 8. Let q be 1 - 0 - 6/(-1). Let n(i) = -10*i**2 + 18*i + 25. Let d(m) = q*f(m) - 2*n(m). Is 3 a factor of d(6)?
True
Suppose 0 = 3*b - 2*o - 19, -6*o + o = -2*b + 20. Suppose 4*n = 2*p - 84, 0*p + 258 = b*p + 2*n. Suppose 2*z = -0*z + p. Is 9 a factor of z?
False
Suppose 0 = 2*t - 3*t + 60. Is 15 a factor of t?
True
Let b(y) be the first derivative of -y**3/3 + y**2/2 + 3. Let w(z) = z**3 - 3*z**2 - 4*z - 6. Let l(u) = 5*b(u) + w(u). Is l(8) a multiple of 2?
True
Suppose s - 28 + 4 = 0. Suppose 8 - s = -4*q. Suppose -3*i + 3*t + 50 = 2*i, -5*i + 85 = q*t. Does 9 divide i?
False
Suppose -5*j - 327 = -2*m, -m + 49 = -4*j - 119. Suppose 0 = b - 5*b + m. Is b a multiple of 13?
True
Suppose 25 = z - 19. Does 14 divide z?
False
Suppose -7*r = -2*r - 310. Let v = -38 + r. Suppose -4*f + 24 = -v. Is 6 a factor of f?
True
Suppose 0 = r - 0*r - 59. Is 15 a factor of r?
False
Let t = 58 - 10. Is t a multiple of 16?
True
Let b(f) = -f + 1. Let a be -6*(3 + 7/(-3)). Does 2 divide b(a)?
False
Suppose -12 = 2*g + 10. Is 13 a factor of g/(-44) - 206/(-8)?
True
Let r(q) = -q + 11. Let x(y) = -2*y + 23. Let j(b) = 7*r(b) - 3*x(b). Let l be j(5). Suppose l*a - 72 = -12. Is 13 a factor of a?
False
Let b(g) = -g + 2. Let z be b(-3). Is (-8)/20 - (-102)/z a multiple of 11?
False
Suppose 3*k - k = -2*d + 40, 5*k + d - 100 = 0. Is 10 a factor of k?
True
Suppose -2*j + 6*j - 434 = -3*z, -389 = -3*z + 5*j. Does 46 divide z?
True
Suppose 1 = -r - 4*t, 4*r + 6*t = 3*t + 9. Let j = 2 + r. Suppose -j*p + 5*s + 145 = 0, 2*p + 23 - 79 = s. Does 13 divide p?
False
Let r = -35 - -17. Let c = r - -32. Does 7 divide c?
True
Suppose 0 = -2*l - 53 + 521. Does 35 divide l?
False
Is 855/24 + (-3)/(-8) a multiple of 4?
True
Suppose -70 = -2*v + 5*i - i, 0 = -5*v + 5*i + 200. Suppose 2*r - 3*r - 4*l + v = 0, 0 = 4*r - 5*l - 180. Is 15 a factor of r?
True
Let v(l) = 5*l**2 - 5*l - 5. Is v(-3) a multiple of 13?
False
Let v(b) be the second derivative of -23*b**3/6 + b**2/2 + 2*b. Is 8 a factor of v(-1)?
True
Let n = 404 + -230. Is 58 a factor of n?
True
Let x(l) = -4 + 2*l + 1 + 2 + 32*l**2. Let p be x(1). Suppose -11 + p = 2*f. Is f a multiple of 4?
False
Suppose -4*t = -3 - 25. Suppose t*k + 2*g - 281 = 4*k, -3*g = 5*k - 468. Does 31 divide k?
True
Suppose -30 - 430 = -10*b. Does 13 divide b?
False
Let s = 18 + -8. Is 33/5 - 6/s a multiple of 6?
True
Let q = -1 + 3. Let m = q + 19. Is 10 a factor of m + -1 + 0/(-8)?
True
Let n be (-6)/4*(-4)/3. Does 8 divide 0/(-1*n) - -8?
True
Let z(g) = -g**3 + 8*g**2 + 8*g + 13. Let l be z(9). Suppose -95 = -5*u - 2*s + s, -95 = -l*u + 3*s. Is 16 a factor of u?
False
Suppose 115 = -6*c + c. Let y = 35 + c. Suppose 0 = 2*v - y - 0. Is v a multiple of 6?
True
Let r = 56 - 54. Let x be (6/4 - 1)*28. Suppose 2*p + x = 2*f, -2*f - r*p = 7 - 29. Is f a multiple of 9?
True
Suppose -2*a - o = -21, 3*a - 12 = -4*o + 12. Is a a multiple of 9?
False
Let g = 4 + -1. Suppose 2*x + 21 = -j + 84, -2*x = g*j - 57. Is 20 a factor of x?
False
Let j be 578/(-5) + 4/(-10). Does 10 divide (j/(-12))/(2/6)?
False
Suppose -2 + 0 = -2*q, 0 = -2*j + 3*q - 1. Suppose 11 - j = -2*s. Is 41 + s/(-1) + -2 a multiple of 21?
False
Let p be (-13)/(-5) + (-2)/(-5). Suppose 2*m = 4*m - p*o - 10, 4 = 5*m + 3*o. Suppose -32 = -m*j + 64. Is j a multiple of 14?
False
Suppose 5*z + 138 - 978 = 0. Is 24 a factor of z?
True
Let s(d) = -d**2 + 2 + 2 + 4*d**2 + d + 0*d**2. Is 5 a factor of s(-3)?
False
Suppose -b = -5*x + 40, 4*b + 4*x + 36 = -52. Let n be 4/(-6) - (-131)/3. Let f = b + n. Is 13 a factor of f?
False
Let s = 0 + 1. Suppose 0 = g - 53 + s. Is 25 a factor of g?
False
Suppose 0 = 3*c + 3. Does 20 divide (-2 - 16)*(-2 + c)?
False
Let t(g) be the third derivative of g**4/12 + 10*g**3 + 3*g**2. Is 30 a factor of t(0)?
True
Let y be (-4)/(-14) + (-120)/(-21). Let v = y - 3. Is v a multiple of 3?
True
Let h(x) = x**3 + x + 20. Let j be (-2)/4*(-7 + 7). Is h(j) a multiple of 7?
False
Let k = 73 + 34. Does 10 divide k?
False
Let h(z) = -z**3 + 12*z**2 - 11*z + 16. Suppose 5*i - 6*i = -27. Let t = 38 - i. Is h(t) a multiple of 8?
True
Let c(x) = -4*x + 1. Let m be c(-1). Suppose m*t - 4*l - 64 = 2*t, 3*t = -l + 59. Does 20 divide t?
True
Let c(p) = 38*p**2. Let h be (-1)/2*(5 + -7). Let q be c(h). Suppose 5*z - 82 - q = 0. Is z a multiple of 16?
False
Let j(l) = 33*l**3 - 2*l**2 + 1. Does 3 divide j(1)?
False
Let j(i) = -7*i**3 - i**2 - 2. Suppose -w - v + 3 = 0, 2*v - 2 = 2*w - 6*w. Let h be j(w). Suppose -3*k = -5*s - h, -5*k + 0*s + s = -54. Is 10 a factor of k?
True
Suppose -5*s = -18 - 7. Suppose -s*o + 0 = -45. Does 3 divide o?
True
Suppose -5*r + 10 = -c, 2*c - 4*r + 0 = -2. Suppose 0 = c*x - 87 - 13. Is x a multiple of 11?
False
Let x be (30 - (1 + 0)) + 1. Let k be (-1 + 0)*(14 + 2). Let i = k + x. Does 8 divide i?
False
Let x(i) = i**2 - 2*i - 1. Suppose -4*q + 48 = -0*q. Suppose -q = -4*g + 8. Is x(g) a multiple of 8?
False
Let m be (-32)/(-10) + 4/5. Suppose -y - 15 = -m*y. Is 5 a factor of y?
True
Let p(y) = -3*y - 4. Is 9 a factor of p(-6)?
False
Let z be (-3 - -3)*(-2)/4. Suppose 3*c = -z*c - 210. Let d = -37 - c. Is d a multiple of 17?
False
Let t = 8 - 9. Let u(f) = 57*f**2. Does 19 divide u(t)?
True
Is -1*5/10*-176 a multiple of 12?
False
Let y = -40 + 24. Let l be (-8)/12*48/(-2). Let g = l - y. Is g a multiple of 16?
True
Is (-40)/70 - 193/(-7) a multiple of 9?
True
Suppose -h - 242 = -s, 3*h + 12 - 1190 = -5*s. Is s a multiple of 34?
True
Let n(r) = 9*r**2. Suppose -5*j - 3*h = 36, 5*h + 5 + 35 = -5*j. Let m be (2/j)/(9/(-27)). Is n(m) a multiple of 9?
True
Suppose 4*s = -8 + 32. Suppose -3*o = -0*o + s. Does 13 divide 4*((-15)/o + -1)?
True
Let q = -78 + 118. Is q a multiple of 7?
False
Suppose -5*f + s - 440 = 0, -4*f - 5*s - 201 = 151. Is 6 a factor of f/(-14) + 12/(-42)?
True
Suppose 2*b - 5*k + 46 = -41, b + 11 = -4*k. Let a = 52 + b. Is 13 a factor of a?
False
Suppose 2*o + 5*a + 18 = -1, -4*a - 20 = 0. Suppose 23 = o*y + m, 2*m + m - 27 = -2*y. Is y a multiple of 6?
True
Let j(i) = -i**3 + 6*i**2 - 4*i - 4. Let l be j(5). Let v be 5/(-1)*(l - 2). Let a(o)