 14?
False
Let n = 9 - 21. Is n/(-4)*(5 + -2) a multiple of 9?
True
Let n(p) = -19*p + 3. Is 15 a factor of n(-3)?
True
Let d(k) be the third derivative of k**6/30 - k**4/8 + k**3/3 + k**2. Is d(2) a multiple of 14?
True
Is (-1308)/(-15) - 20/(-25) a multiple of 13?
False
Suppose 0 = s + z - 44, -131 = 4*s - 7*s - 2*z. Suppose 7 = 5*f - s. Does 10 divide f?
True
Suppose -r - 19 = -x, -2*x + 5*r = 2*x - 74. Does 7 divide x?
True
Let d(w) = -w**3 + 11*w**2 - 7*w - 13. Suppose 24 = 2*g + 4*j, 0 = 2*g + j - 2 - 19. Is d(g) a multiple of 10?
False
Let v = -162 + 236. Is 3 a factor of v?
False
Suppose -v + 3*v = -3*n + 80, 0 = 5*v + 25. Let s = n - 58. Let h = 39 + s. Is h a multiple of 11?
True
Suppose 0 = -5*k - 3 + 23. Suppose 0 = 7*d - k*d - 273. Is 23 a factor of d?
False
Suppose -471 = -7*l + 33. Is 24 a factor of l?
True
Let u(w) = -w**3 - 7*w**2 - 7*w + 3. Suppose 0 = -2*z + 4*q - q + 18, 2*z + 3*q - 6 = 0. Suppose -y + 30 = -z*y. Is 4 a factor of u(y)?
False
Let l(d) = -d**2 + 5*d + 1. Suppose -2*x = j + 2, 10*j - 5*j - 5*x - 35 = 0. Let i be l(j). Suppose i*g = 3 + 167. Does 12 divide g?
False
Let u = 3 - -105. Does 18 divide u?
True
Suppose -47 - 43 = -2*z. Is 15 a factor of z?
True
Suppose -4*j + 2 + 22 = 0. Suppose -s + c = -8, -4*s - c + j = -16. Does 2 divide s?
True
Let f(q) = 3*q - 3. Does 9 divide f(5)?
False
Suppose 2*z = -3*f - 11 - 5, -2*f + 6 = -2*z. Let l be ((-2)/2)/(z/15). Suppose 41 = 4*j - r, -l*j + 4*r - 6 + 40 = 0. Does 8 divide j?
False
Let b(a) = 9*a**2. Let n be b(-2). Suppose -d - 1 + n = -5*r, 3*d = r + 7. Is 3 a factor of (r/4)/(5/(-20))?
False
Is 25 + (6/(-18))/((-2)/(-12)) a multiple of 23?
True
Let u(l) = -l**2 - l + 1. Let i be u(0). Let r = i + 20. Is r a multiple of 21?
True
Suppose -j + 1170 = 5*j. Is 13 a factor of j?
True
Let b = 310 - 130. Is b a multiple of 20?
True
Suppose -2 - 196 = -11*x. Is x a multiple of 8?
False
Let z(l) = -l**2 + l - 8. Let r be z(0). Is 2/r + (-17)/(-4) even?
True
Let f be 8/20*2*10. Suppose 2 = -3*t + f. Suppose -s + t*s + 4*u = 10, 3*u + 6 = 0. Does 14 divide s?
False
Let f = 2 + -12. Let m(a) = -4*a - 7. Is m(f) a multiple of 20?
False
Let s(z) = -z**2 + 14*z - 8. Is s(12) a multiple of 10?
False
Suppose 30*j = 37*j - 595. Is j a multiple of 11?
False
Let i be 2/6 - (-17)/3. Let q be i - -31 - (1 + 1). Let s = q + -5. Does 13 divide s?
False
Let v = -26 + 43. Let i = 10 - v. Let b(s) = s**3 + 6*s**2 - 9*s + 6. Is b(i) a multiple of 7?
False
Let v = 14 + -20. Let u(b) = -2*b + 8. Does 5 divide u(v)?
True
Suppose -a = l + 4*l - 27, 5 = l. Let d(n) = -2*n**2 + 8*n + 5. Let z(o) = -4*o**2 + 17*o + 11. Let r(v) = -13*d(v) + 6*z(v). Is r(a) even?
False
Suppose -3*c = -8*c + 5. Let t = c - -5. Is 5 a factor of t?
False
Let c be (-16)/6*(-9)/(-6). Let o = c - -9. Let x(w) = 2*w + 1. Does 4 divide x(o)?
False
Let i(l) = l**3 + 19*l**2 - 22*l - 14. Is i(-20) a multiple of 3?
False
Let p = -24 + 48. Does 24 divide p?
True
Suppose -3*y - 22 = -145. Is 5 a factor of y?
False
Let y = 0 - -2. Let j be (0*(-3)/(-6))/y. Suppose j*m - m + 26 = 3*f, 0 = m + f - 16. Is 9 a factor of m?
False
Suppose -5*f - 4 = -4*f. Let l be (-2)/(-2) - (-3)/(-3). Does 4 divide (f - l/2)/(-1)?
True
Suppose 5*f + 12 = -3. Let r = -1 - f. Is r even?
True
Let c be 1 - 4/((-4)/95). Suppose -18 = -2*u + c. Is u a multiple of 14?
False
Suppose -2*r = -5 + 1. Does 8 divide 1/r - (-67)/2?
False
Let b = 25 - 20. Suppose -6*q = -b*q - 3*x - 68, 2*x + 144 = 2*q. Is 21 a factor of q?
False
Suppose -c + 152 = l, 0 = -5*c - l + 6*l + 760. Does 8 divide c?
True
Let x(g) = -g + 11. Let u be x(14). Is 30 a factor of u - -6 - 83/(-1)?
False
Let x = -498 + 699. Does 42 divide x?
False
Suppose 0 = 5*b - 2*y + 29, -4*y - 34 = 4*b + 6. Let j(d) = -2*d + 4. Does 18 divide j(b)?
True
Let z = -52 + 2. Let j = z - -74. Does 8 divide j?
True
Let p(x) = x**2 + 3*x - 4. Let t be p(5). Suppose 0 = -4*n - 0*s - s + 106, -n = 5*s - t. Is n a multiple of 8?
False
Let l(u) be the first derivative of u**4/4 - 2*u**3 - 9*u**2/2 - 11*u + 7. Is 9 a factor of l(8)?
True
Let g(p) = -p - 9. Let i be g(-9). Let y be -1 + 3 + 2 + 24. Suppose -o + 5*t + y = i, 2*o = -0*o - t + 34. Is o a multiple of 14?
False
Let c(m) = m**3 - 4*m**2 - 2*m + 4. Does 3 divide c(5)?
False
Suppose 2 = -3*i - 1. Let o(h) = 2*h + 4. Let w be o(-3). Does 12 divide 26 - (1/i - w)?
False
Let d(v) = -29*v - 28. Is 51 a factor of d(-12)?
False
Suppose 0 = -s + 3*s. Suppose q - 4 - 6 = s. Does 9 divide q?
False
Let i be -2 + (1 - -7) - -2. Suppose i = g - 9. Does 17 divide g?
True
Let a(u) = -5*u + 10. Let i be a(4). Let g = i - -37. Does 9 divide g?
True
Is (-42)/15*(-7 + 2) a multiple of 9?
False
Suppose 30*b + 4*z = 31*b - 118, -2*b + 4*z + 228 = 0. Does 11 divide b?
True
Let a be (3 + 0 - 1)/1. Does 17 divide 51/4*8/a?
True
Let q = -1 + -1. Let t be (3 - -1) + (q - 0). Suppose -t*x = -0*x - 28. Does 7 divide x?
True
Suppose 2 = -2*y + 6. Does 7 divide -2 + 2 + 21*y?
True
Suppose -4*s - 22 = -30. Suppose -155 = -s*p + x, 5*x - 161 = 2*p - 4*p. Is p a multiple of 37?
False
Let u = -7 - -23. Suppose m + 2 - u = 0. Is 7 a factor of m?
True
Let a be 500/30 + (-4)/6. Let b be (16/(-6))/(2/(-3)). Let r = a + b. Is 10 a factor of r?
True
Suppose 0 = 2*j + 6, -48 = 2*z - z + 2*j. Let q = -14 - z. Is 14 a factor of q?
True
Let k(n) = n - 5. Let a be k(5). Let f be (3 + -1)/(a + 1). Suppose 3*l + 33 = s, -f*s - 3*s - 4*l = -108. Is 12 a factor of s?
True
Let b be (2 + 4/6)*-3. Let w(x) = x + 1. Let p(t) = -t**2 - 4*t - 9. Let o(m) = -p(m) + 3*w(m). Is 9 a factor of o(b)?
False
Suppose -m + 43 = 3*b, 3*m = -8*b + 5*b + 129. Is m a multiple of 12?
False
Let s be (30/(-8))/((-1)/4). Suppose -16*v + s*v = -33. Is v a multiple of 11?
True
Does 8 divide (-12)/(-5 - -9) - 9*-3?
True
Suppose 4*b = 5 + 3. Suppose 50 = 3*l + b*n - 0, -5*l - 3*n + 82 = 0. Is 7 a factor of l?
True
Suppose -4*y + 12 = 0, 3*a = 2*a - 5*y + 13. Let x = a + 5. Suppose x*m + 0*m - 78 = 0. Is 13 a factor of m?
True
Let u be -96*(-2 - -3) + 0. Let d = -43 - u. Is 22 a factor of d?
False
Let k(x) = x**3 - 15*x**2 - 6*x + 1. Let b be k(15). Let l = -61 - b. Does 9 divide l?
False
Suppose -3*r - 6 = 3*h, 2*h = -2*r - 2*h - 12. Is 5*r*(3 + -1) a multiple of 20?
True
Let f(g) = -g**2 + 9*g + 11. Let b be f(10). Suppose 2*l - x = 13, 5*l = 4*l + 5*x + 2. Let y = b + l. Is y a multiple of 8?
True
Let h(w) be the second derivative of -w**3/6 + 7*w**2/2 + w. Let u(l) = -l**3 - 7*l**2 - 7*l - 6. Let c be u(-6). Is h(c) a multiple of 3?
False
Suppose -22 = -3*f - 19. Let y(d) be the third derivative of 7*d**4/12 + 2*d**2. Does 8 divide y(f)?
False
Is 4/3*30/4 a multiple of 2?
True
Suppose -4*t - 198 + 694 = 0. Is t a multiple of 15?
False
Suppose -5*t = -180 + 45. Suppose 5*y + 3*j = t, -3*y - 2*j + 20 = y. Suppose 5*q - 5*c - 60 = 0, 2*q + y*c - 45 = -2*c. Does 6 divide q?
False
Let l = 92 + -64. Does 7 divide l?
True
Suppose 0 = -3*v + 7*v. Let y(i) = i**2 + 75. Is y(v) a multiple of 32?
False
Let k be (5/(-10))/(1/(-6)). Let z be ((-1)/k)/(3/(-27)). Suppose 5*w + 23 = 3*p, w = z*w + 2. Does 4 divide p?
False
Let b = 2 - 0. Suppose 3*l - b*l - 37 = s, 4*l - 173 = -s. Does 14 divide l?
True
Let b = -61 + 121. Is b a multiple of 12?
True
Suppose 0*o = -2*o. Suppose 2*u + 14 = 5*c - 40, o = 4*c - 5*u - 33. Does 5 divide c?
False
Let a(i) = 2*i**2 - 11*i + 4. Let c(u) = 5*u**2 - 33*u + 11. Let s(m) = -8*a(m) + 3*c(m). Let j(y) = y - 7. Let p be j(-3). Is s(p) a multiple of 8?
False
Suppose c - 1 = -4*z, -c = 5*z + 2*c + 4. Let n(m) = m + 6. Let a be n(-6). Suppose 0 = -g - z, -2*b - 4*g + 40 = a. Does 8 divide b?
False
Let f(g) = -g + 6. Is 4 a factor of f(-10)?
True
Suppose t + t = 3*d + 35, 2*d = -t - 35. Let z(b) = -4*b**2 + 5*b - 4. Let x be z(3). Let w = d - x. Is 10 a factor of w?
True
Let f(d) be the second derivative of 7*d**3/6 + 7*d**2/2 - d. Let j(v) = 4*v + 4. Let t(h) = 2*f(h) - 5*j(h). Is t(-9) a multiple of 20?
False
Let m = -52 - -72. Is m a multiple of 4?
True
Suppose -5*j + 6 - 1 = 0. Suppose 6 = 4*t - 5*k, -5*t - j = -0*t - 2*k. Does 15 divide 30/(-4)*(-3 - t)?
True
Let r be (-2)/4 - 2/4. Does 4 divide 1/(r + (-12)/(-11))?
False
Suppose 31*h - 36 = 28*h. Is 6 a factor of h?
True
Let u be 2/(-6) + (-35)/(-15). Supp