. Is j(14) a multiple of 6?
True
Let a = -1 + 4. Suppose -2*y + z + 91 = 0, -4*y + 221 - 44 = a*z. Is y a multiple of 15?
True
Let k(a) = a**2 - 9*a + 5. Let u be k(9). Suppose -4*v = -20, f - u*v - 34 = 149. Does 13 divide f?
True
Suppose -2*f = 4*d + 26, 0*f + 3*f + d + 29 = 0. Let h = f + 13. Suppose -h*l = 5*w - 0*l - 100, 3*l + 15 = 0. Is w a multiple of 12?
True
Let w(n) = 8*n - 2 + 4 - 7*n - 3. Let x(a) = -10*a - 6. Let h(u) = 6*w(u) - x(u). Does 14 divide h(2)?
False
Let j(r) = -9*r**2 - 7*r - 10. Let y be j(-2). Let b = y + 176. Does 16 divide b?
True
Let s = 58 - 99. Let y = 89 + s. Is y a multiple of 10?
False
Let m = 15 - 9. Let d be (4/(-6))/(m/108). Let p = d - -22. Does 6 divide p?
False
Let c(z) = 127*z - 820. Does 172 divide c(20)?
True
Suppose -5*i = -11 + 1. Let u(z) = -20*z + 9. Let q(v) = -10*v + 5. Let b(m) = 10*q(m) - 6*u(m). Is 12 a factor of b(i)?
True
Suppose 49 + 3 = 4*m. Suppose 2*n + 36 = 2*x + 2*x, 29 = -2*n - 3*x. Does 26 divide m/(-2)*(n - -2)?
False
Suppose 4 = -3*z - 3*q + 211, -3*q + 141 = 2*z. Suppose 2*w - 38 = -r - w, 2*r = -4*w + z. Is r a multiple of 20?
False
Let n = 3415 - 1774. Is 10 a factor of n?
False
Suppose -17*h + 12*h + 3202 = -4*q, h = 4*q + 634. Does 27 divide h?
False
Let m(s) = s**3 - 6*s**2 + 7*s + 1. Suppose -v - 22 = 4*t - 7*t, -4*t + 24 = -4*v. Let o = t + -3. Is m(o) a multiple of 3?
False
Suppose -6*h - 159 = -7*h. Is 11 a factor of h?
False
Suppose -5*t = -10*t. Suppose -7*p + 6*p - 44 = t. Let w = p - -64. Is 8 a factor of w?
False
Suppose 2*r - 10*r = -232. Let j(t) = 2*t - 6. Let s be j(-5). Let o = s + r. Is 13 a factor of o?
True
Suppose 4*y + 96 = -0*y. Let c be 16/y + (-28)/(-6). Suppose -5*k = m - 4*m + 93, 4*m = -c*k + 92. Does 13 divide m?
True
Suppose 18*l = -397 + 2629. Is l a multiple of 13?
False
Let f be 42/98 - 6/14. Suppose -4*o + 744 - 120 = f. Is 31 a factor of o?
False
Is 54 a factor of (-63)/(-28) + (-10603)/(-4)?
False
Let m = -64 - -65. Is 5 a factor of m/(1/1) + 19 + -15?
True
Suppose 55*t = 50*t + 2470. Is t a multiple of 38?
True
Suppose -702 = 5*f - 3557. Does 7 divide f?
False
Let c(v) = 3*v**2 - 7*v + 14. Let h be c(-7). Suppose 0 = 4*y - 4*n + 5*n - h, 0 = -4*n + 8. Suppose -g = g - y. Does 26 divide g?
True
Let u be (1 + (-8)/3)/((-27)/81). Does 15 divide -10*(66/u)/((-15)/10)?
False
Let h = 247 + -57. Let p = h + 13. Does 29 divide p?
True
Let m(d) = 143*d - 199. Is 34 a factor of m(8)?
False
Suppose -v - 5 = -257. Is v a multiple of 26?
False
Suppose 0 = 5*x - 2*u + 118, -u - 1 + 0 = 0. Let g = 30 + x. Is 19 a factor of g/(-4) + 924/8?
True
Suppose 7564 + 3997 = 2*o + a, 5*a - 23137 = -4*o. Is o a multiple of 107?
True
Suppose 5*i - 160 = 65. Suppose -27*h - i = -32*h. Is 2 a factor of h?
False
Suppose 0 = -2*k + 4*k - 4. Suppose -k*h + 13 = -y, 4*y + 10 = -4*h + 6*h. Suppose h*c = -5*l + 2*c + 130, 78 = 3*l + 4*c. Is l a multiple of 10?
False
Let y be (1/(-3))/(9/(-81)). Suppose -a = y*a - 16. Suppose 0 = a*m - 33 + 13. Does 2 divide m?
False
Suppose 120*l = 124*l - 16. Is 576/6 - l*-1 a multiple of 11?
False
Let x = 509 - 8. Suppose 109 = -4*m + x. Does 16 divide m?
False
Suppose f - 6 + 0 = 0. Suppose 47 + 661 = f*d. Suppose -5*a + 32 + d = 0. Is a a multiple of 10?
True
Let m(q) = 15*q**2 + 37*q - 266. Is 5 a factor of m(10)?
False
Let o be (-4 - -2) + 2 - -44. Let q be (-1 + 3)/(0 - -1). Suppose q*k = -t + 67, -o + 9 = -k - t. Is k a multiple of 16?
True
Let z be 3/(-2)*96/9. Let q = 5 - z. Let m = q + -3. Is m a multiple of 9?
True
Let c(x) be the first derivative of -x**4/4 + 10*x**3/3 + 5*x + 47. Is c(9) a multiple of 19?
False
Let t be 2/8 - 210/40. Let c(p) = -2*p**3 - 4*p**2 + 2*p + 6. Let m be c(t). Let w = -78 + m. Does 17 divide w?
True
Suppose -n + 16 = z, 2*n + 0*z + 3*z = 30. Suppose -3*d + 8 = -1. Suppose -d*y = -0*y - n. Does 2 divide y?
True
Let c = -14 - -19. Suppose 4 + c = 3*d. Suppose -d*g + 9 = z - 0*g, 0 = z + g - 11. Does 5 divide z?
False
Let s be 5*((-51)/(-15) + -4). Suppose -4*f + 4 = -2*d, -3*f - 3 - 1 = 2*d. Is 4 + s + 4 + d a multiple of 2?
False
Suppose 2832 = 22*t - 952. Is 30 a factor of t?
False
Let t = -14 - 19. Let j = t - -81. Is j a multiple of 12?
True
Suppose 4*l + 24*l = 3472. Is 3 a factor of l?
False
Suppose 24*k = -27433 + 68233. Is 50 a factor of k?
True
Let b(v) = -v**3 + 10*v**2 - 8*v + 7. Let s = 4 - -2. Let w be (2 + -8)*s/(-4). Is 16 a factor of b(w)?
True
Let t(b) = -3 + 7*b + 3 - 5. Let y(p) = p**2 + 15*p - 29. Let u be y(-17). Does 10 divide t(u)?
True
Suppose -39*s = -34*s - 1655. Is 70 a factor of s?
False
Suppose -5*v - 2*n + 0*n + 506 = 0, -409 = -4*v - 3*n. Is 10 a factor of v?
True
Let d = 359 + -269. Is 14 a factor of d?
False
Does 6 divide (13 + -24 + -7)*174*-1?
True
Let c = -16 + 38. Let t = -20 + c. Is 11 a factor of 2748/84 + t/7?
True
Let i be ((2 + 0)/2)/((-7)/(-1477)). Let x = i - 133. Does 8 divide x?
False
Suppose -5 - 19 = 2*v. Let d be 3904/7 + (-4)/(-14). Does 29 divide d/v*(-4)/6?
False
Let c(f) = 63*f**3 + 4*f**2 - 6*f + 2. Does 17 divide c(2)?
True
Suppose -3*w - 4*i = -32, -4*w = 3*i + i - 40. Suppose -9*m + 2 = -w*m. Is 12 a factor of (2 + (-7)/m)*-16?
True
Let u(n) = n**3 - 14*n**2 + n - 6. Let x be u(14). Is 10 a factor of (-4)/3*-6*(x - 3)?
True
Let i(h) = -h**3 - 35*h**2 + 75*h + 31. Let s be i(-37). Let a be 130/6 + 4/(-6). Is 14 a factor of (-914)/(-14) + s/a?
False
Let c = 74 + -67. Suppose m + 12*v = c*v + 178, 0 = m + 4*v - 174. Is 15 a factor of m?
False
Let w(m) = -m**3 - 11*m**2 - 11*m - 10. Let c be w(-10). Suppose 3*o - 263 = -4*x, c = 5*o - o - x - 376. Is 31 a factor of o?
True
Let m(s) be the first derivative of s**3/3 + 2*s**2 + 6*s - 1. Let d(v) = v**3 + 4*v**2 + 2*v + 1. Let h be d(-4). Is 14 a factor of m(h)?
False
Let g = 4 - 0. Suppose -4*p - 8 = 0, 0*w + 3 = 5*w - g*p. Let b(z) = 12*z**2 - z - 1. Is b(w) a multiple of 12?
True
Let t(o) be the third derivative of o**6/30 - o**5/30 - o**3/6 - o**2. Does 12 divide t(3)?
False
Let y(a) = -a**3 + a**2 + 3*a - 8. Is y(-4) a multiple of 20?
True
Let l(a) = -a**2 + 3*a + 2. Let n be l(6). Let m be (n/(-10))/(8/(-40)). Let i = 40 + m. Is i a multiple of 21?
False
Suppose 2*k = 6*k. Suppose k = 2*s - s - 61. Let p = -41 + s. Is p a multiple of 18?
False
Suppose -12 = 29*j - 33*j. Suppose 5*h - 8*s + 3*s - 100 = 0, 2*h = j*s + 44. Does 13 divide h?
False
Let q be -10*(-30)/(((-10)/3)/(-5)). Suppose 0 = -2*f + q - 34. Is f a multiple of 18?
False
Let u(d) = -d**2 + 6*d - 3. Let g be u(3). Suppose 0 = -g*s + 206 + 934. Is 19 a factor of s?
True
Let s(q) = 2*q - 10. Let g be s(7). Suppose -2*i = w - 230, 0*i + i = -g*w + 101. Is i a multiple of 17?
False
Let b be (-6)/(-4)*80/6. Suppose -3*v - b = -4*v. Is v a multiple of 14?
False
Does 15 divide (-16)/192 + 67863/36?
False
Let v(z) = 3*z**2 + 8*z - 5. Let l be v(9). Suppose 4*j - 3*x = l, j - x = 2*j - 81. Is (-16)/(-80) + j/5 a multiple of 7?
False
Let z be (-4)/18 + (-87)/(-27). Suppose z*r - 31 = -4. Suppose 3*w + r = 0, 4*w = -9*c + 4*c + 58. Is c a multiple of 2?
True
Let i be 6/(9/(-3))*-2. Suppose -1 = -3*x - 13, -t - 2*x + 31 = 0. Suppose -l - t = f - 4*f, -33 = -i*f - 5*l. Does 8 divide f?
False
Let c(o) = o**3 - 6*o**2 + 4*o + 1. Let f be c(6). Let s = 25 - f. Suppose g + 6 = -g, s = -2*m - g + 19. Does 3 divide m?
False
Suppose -4*d - o - 44 + 637 = 0, o - 741 = -5*d. Let u = d - 106. Is 21 a factor of u?
True
Suppose v - 2*v - 20 = 2*q, 5*v + 4*q + 76 = 0. Let o = -9 - v. Does 7 divide 83/4 + o/12?
True
Let d(h) = h**2 - 5*h + 4. Let c(a) = a**2 - 5*a + 3. Let n(m) = 4*c(m) - 3*d(m). Let g(i) = i**3 + 4*i**2 - i - 1. Let q be g(-2). Is n(q) a multiple of 6?
True
Let g = -25 + 28. Suppose 9*b - 72 = g*b. Is 6 a factor of b?
True
Let o(r) = -4 + r - 10 + 7. Let h be o(3). Does 2 divide h/(-10) + 28/5?
True
Is 3744/5 + 2/(-100)*-10 a multiple of 5?
False
Suppose -2*i = 5*a - 21, 0*i = -5*a + 5*i. Let f(m) = 11*m + 8. Let z be f(6). Is a/(-1)*z/(-3) a multiple of 11?
False
Let z(h) be the second derivative of h**5/20 + 2*h**4/3 + 4*h**3/3 + 10*h**2 + 20*h. Does 7 divide z(-7)?
False
Let j = -12 + 12. Let s be 1*(j/1 - 0). Suppose s = 4*b - 5*b + 31. Is 19 a factor of b?
False
Let x = -55 - -141. Suppose x + 34 = 4*v. Is v a multiple of 12?
False
S