e -3*u = -t*u + 80. Is 14 a factor of u?
False
Suppose -3*l + 12 = -5*k + 43, 0 = -5*l + 5*k - 45. Let t = 19 + l. Suppose 0 = 4*y - 44 + t. Is 5 a factor of y?
False
Let h(u) = -u**2 + 19. Let a be 0*(1 + (-3)/6). Is h(a) a multiple of 11?
False
Suppose 4*q - 100 = -q. Let l = q + -10. Does 8 divide l?
False
Suppose 5*r + p = 92, -2*p = r - 6*p - 10. Suppose -52 = 2*h + r. Let m = 8 - h. Is m a multiple of 20?
False
Let l(x) = x**2 + 5*x - 8. Let u be l(-6). Suppose 0 = -5*j + 2*j - 9. Does 8 divide (16/3)/(u/j)?
True
Does 28 divide (148/(-10))/((24/(-20))/3)?
False
Suppose m - 20 - 62 = 0. Is m a multiple of 12?
False
Let j(n) = 5*n + 5. Does 13 divide j(7)?
False
Let r(l) be the second derivative of -l**4/12 + 2*l**3 - 3*l**2 - 7*l. Does 5 divide r(11)?
True
Suppose -5*l + 2 = -3. Let j = -3 + l. Is (j/(-3))/(6/27) a multiple of 2?
False
Suppose 3*q + 4*u - 38 = 0, -u = -3*q + 2*u + 24. Is q a multiple of 8?
False
Suppose 11*b - 2765 = 799. Does 12 divide b?
True
Let b = 1 - 23. Let j = 32 + b. Is 10 a factor of j?
True
Let l be (-4)/(-10) - 8/20. Let y(v) = v**2 - 2*v - 3. Let d be y(-3). Suppose l = -4*s + 64 - d. Is 13 a factor of s?
True
Let g(t) = -2*t**2 + 3*t - 1. Let h be (-1)/((-6)/4)*3. Let q be g(h). Let n(m) = -m**3 - m**2 + m + 1. Is n(q) a multiple of 8?
True
Suppose 4*p = -2*q - 4 - 4, -3*p + 4*q + 16 = 0. Suppose -x + 6*x = p. Suppose x = 3*w - 5*t - 30, 0*t + 2*t + 26 = 4*w. Is 2 a factor of w?
False
Let x = -114 + 324. Suppose 4*u - x = u. Suppose 5*a - u + 30 = 0. Does 8 divide a?
True
Suppose 0 = -7*u + 3*u. Let w(z) = -z**2 - z + 15. Is 5 a factor of w(u)?
True
Let n be 1/(-2)*-4 + -2. Let j = 2 + n. Suppose 0 = -j*q, 3*u - 2*q + 24 = 7*u. Is 3 a factor of u?
True
Let k(b) = -21*b**3 - 1. Does 3 divide k(-1)?
False
Suppose 3*b = 5*b - 6. Suppose b*s - 117 = -0*s. Let a = -21 + s. Is 9 a factor of a?
True
Let c be (-2228)/(-20) + 4/(-10). Let n = -60 + c. Is n a multiple of 14?
False
Suppose -3*j + 12 = 0, -10 = 4*o - 5*j + 2. Is 23 a factor of (1 - o)*(-59 + -10)?
True
Suppose r - 2*r = 5*c - 5, -3*c + 3 = 2*r. Suppose r*d = 5*d - 245. Is d a multiple of 14?
False
Let c(d) = d**3 + 6*d**2 - 5*d + 10. Let g be c(-7). Is (7 - g)/(-1 + 2) a multiple of 11?
True
Suppose f + 76 = -13. Let v = -54 - f. Is 15 a factor of v?
False
Let q be (-4)/18 + (-40)/(-18). Does 9 divide (q/(-3))/((-1)/39)?
False
Suppose -16 = 9*s - 11*s. Is 8 a factor of s?
True
Let t be -2 + 1 - (-12 + -1). Suppose -2*o + t + 12 = 0. Is 12 a factor of o?
True
Let l(o) = -o**2 + o - 14. Let d be l(0). Let i = d + 9. Is 9 a factor of i/20 - (-93)/4?
False
Let d(f) = -f + 18. Suppose 2*z - 5*m = 43, z + 0*m - 4*m - 29 = 0. Let w be d(z). Let l(t) = -t**3 + 10*t**2 - 9*t + 11. Is 8 a factor of l(w)?
False
Let m = -104 - -164. Suppose r = -r + m. Does 15 divide r?
True
Suppose -5*q = 3*u + 55, 4*q - 5*q = -3*u - 61. Let f = u + 51. Is 8 a factor of f?
False
Suppose 3*t - 2*t - 29 = 0. Is t a multiple of 13?
False
Suppose 0 = 5*u - 27 + 7. Suppose -5 = c, -5*c - 97 = u*t - 6*t. Is t a multiple of 12?
True
Let s be ((2 - 2)/3)/(-1). Suppose 0 = -l + 1 - s. Suppose l = 2*y - 37. Does 8 divide y?
False
Let k(r) = 3*r - 9. Let w be k(4). Suppose 2*l = 5*v - 140, w*l = 4*v + 6*l - 89. Does 26 divide v?
True
Let u(d) = -d**3 + 2*d + 1. Let b be u(-1). Suppose -o = -b*o - 11. Is 6 a factor of o?
False
Let b be 0 - 1/(3/(-3)). Is 5 a factor of (b/1)/((-5)/(-75))?
True
Let k(d) be the third derivative of 2*d**5/15 + d**4/12 - d**3/6 + d**2. Suppose s - 2 = -0*s. Does 13 divide k(s)?
False
Let s be 22/(1 - (-2)/2). Suppose 0 = a - 31 + s. Is 6 a factor of a?
False
Let k(f) = f + 7. Let w = 3 + 3. Is 13 a factor of k(w)?
True
Let j be 1 + 3 + 4/4. Suppose -45 = -j*v + 210. Is v a multiple of 17?
True
Let b(i) = -i**2 - 10*i - 5. Does 4 divide b(-6)?
False
Let d be -1 + 0 - -6 - 1. Suppose -d*t = 4, -2*t + 0*t - 10 = -4*a. Suppose -2*z + 22 = -a*q, q = -4*z + 6*q + 48. Is z a multiple of 7?
True
Suppose p + 0*p = 5. Suppose -p*h = -2*w + w - 30, h = -w + 12. Is 7 a factor of h?
True
Let w be (-1)/(-3) - (-42)/9. Let p(d) = -6 - 2*d + 3*d + 8*d. Is p(w) a multiple of 15?
False
Suppose 4*l - 512 - 416 = 0. Is l a multiple of 8?
True
Let v be 1*((-9)/(-3) + -2). Does 6 divide ((-11)/(-1))/(v/2)?
False
Let r(c) = 2*c**3 - c - 9. Does 23 divide r(4)?
True
Suppose 2*d - 40 = -3*d + 4*u, 0 = -4*d + 3*u + 33. Is 12 a factor of d?
True
Let q = 68 - 41. Is q a multiple of 13?
False
Suppose 11 = d + 14. Does 2 divide (-12)/d*5/4?
False
Let o(b) = -2*b**3 + 16*b**2 + 3*b - 15. Is o(7) a multiple of 13?
True
Suppose 0*c - 2*c = -64. Suppose -52 - c = -2*x. Does 21 divide x?
True
Suppose 12 = 2*n - 2*i, -3*i - 1 = 3*n + 5. Let a = n - 2. Suppose a = -0*u - u + 12. Is u a multiple of 6?
True
Let z(o) = 15*o**2 - o + 1. Does 5 divide z(1)?
True
Suppose 0 = 8*d - 289 - 215. Is 21 a factor of d?
True
Let z(y) = -y**2 + 2*y + 1. Let x be z(3). Let v = x - 29. Let o = 46 + v. Is 5 a factor of o?
True
Suppose -4*v + 97 = 3*d - 0*d, -2*v + 35 = -3*d. Is 11 a factor of v?
True
Let g be (-4)/(-12) - 34/(-6). Let p(r) = -r**2 + 9*r - 15. Is 2 a factor of p(g)?
False
Let z(u) be the second derivative of u + 0 + 0*u**2 + 1/2*u**5 + 0*u**4 - 1/6*u**3. Does 4 divide z(1)?
False
Suppose 2*h = -t - 2 + 10, 5*t = -5*h + 20. Let b be (t + -3)/((-6)/8). Suppose 2*s = 36 + b. Is 13 a factor of s?
False
Suppose 186 = 2*l + a, 2*l + 3*a - 6*a - 178 = 0. Is l a multiple of 37?
False
Let r(y) = y**2 + 9*y - 11. Let f be r(-10). Is 3/(f/(40/(-6))) a multiple of 11?
False
Is 440/16 - 2/4 a multiple of 8?
False
Suppose 0 = -o + 1 - 18. Does 5 divide 2/((-53)/o - 3)?
False
Suppose -7*q = -q - 60. Suppose -2*n + 0*n = -q. Does 5 divide n?
True
Suppose 4*k - 213 = -3*y + 132, -5*k - 4*y = -432. Is 21 a factor of k?
True
Suppose -b + 6*b = 25. Suppose -58 + 43 = -5*m. Suppose -166 = -b*y - 2*t, -92 = -m*y - 0*t - 5*t. Is y a multiple of 17?
True
Let n(b) = -3*b + 0 + 5*b**2 + b**3 + 3 - 3*b. Let g be n(-6). Suppose -16 = -g*l + 11. Is l a multiple of 5?
False
Let i be 4*(-1)/(-2)*-1. Let y = i + 15. Does 11 divide y?
False
Let v(n) = -49*n - 1. Is 12 a factor of v(-1)?
True
Let r(v) = 5*v + 29. Let k(h) = -2*h + 14. Let x(b) = -b + 13. Let i(y) = 3*k(y) - 4*x(y). Let d(m) = 8*i(m) + 3*r(m). Does 13 divide d(-6)?
True
Let w = 46 - 27. Does 19 divide (12/4 + -2)*w?
True
Let r(d) = -9*d + 1. Suppose 1 + 1 = 2*y. Let q be ((-12)/16)/(y/4). Is 14 a factor of r(q)?
True
Let u be (1 - 0)*4*-1. Let t(g) = -g**3 - 4*g**2 - 2*g - 2. Let b be t(u). Suppose -b*j + 2*j = -72. Is j a multiple of 18?
True
Suppose -2*a - 2*q + 26 = 2*q, -4*a = -3*q - 8. Suppose -3*u + 3*o = -57, 0 = -a*u + 3*o - 2*o + 75. Does 3 divide u?
False
Let v(l) = -2*l + 24. Is v(-15) a multiple of 7?
False
Let o be 90/4*(-8)/10. Let q = o - -12. Does 13 divide 48/2 - q/3?
True
Let y be 6*(-6)/(-27)*3. Suppose y = 4*i - 20. Does 3 divide i?
True
Suppose -2 = -2*k - 3*x + 5, -2*k - 4*x + 6 = 0. Let b(m) = -m**2 + 9*m + 7. Is b(k) a multiple of 7?
False
Suppose -185 = -h + 129. Is h a multiple of 41?
False
Let w = 10 + -3. Is 7 a factor of w?
True
Let p be 441/54 - 2/12. Suppose 2*h + p = -2*h. Is 18 a factor of 14/h*72/(-28)?
True
Suppose -h + 211 = 5*m, -6*m + 4*m - h + 85 = 0. Is m a multiple of 14?
True
Let g(t) = t + 13. Let f be g(-9). Suppose f*q - 53 = 3*m - 8, -30 = -5*q - 5*m. Is q a multiple of 9?
True
Let m(v) = -5*v**3 - v**2. Let s be m(-1). Suppose 49 = s*y - 15. Does 10 divide y?
False
Suppose 4*i - 204 = 6*q - 2*q, 5*q + 15 = 0. Is i a multiple of 8?
True
Let v(k) = -k**2 + 15*k - 14. Let u be v(14). Suppose -o + 5 = -u*o, h + 5 = 3*o. Is h a multiple of 5?
True
Let g(o) = 5*o**3 - 8*o**2 + 14*o - 7. Let m(l) = -9*l**3 + 16*l**2 - 27*l + 15. Let q(n) = 11*g(n) + 6*m(n). Is 4 a factor of q(-9)?
True
Let j(g) = g**2 + 6*g**2 - g - 2 + 1. Let p(k) = 15*k**2 - 2*k - 2. Let r(u) = 13*j(u) - 6*p(u). Does 5 divide r(-2)?
True
Let v(r) = -r**3 + 9*r**2 - 7*r + 1. Does 11 divide v(5)?
True
Suppose 2*a + 9 = a. Let z(k) = k**3 + 10*k**2 + 4*k + 13. Is z(a) a multiple of 15?
False
Let a(z) = z**2 - 6*z - 7. Let p(t) = t**3 - t**2 + t + 9. Let i be p(0). Is a(i) a multiple of 10?
True
Let p(o) = -o**2 + 7*o. Let f be p(7). Let q = 0 - -4. Suppose 5*b