 = f + 30. Is r(u) a multiple of 15?
True
Let v = -7 + 9. Suppose -t + 38 = 3*q, -q - v*q + 40 = 2*t. Is q a multiple of 6?
True
Let k(z) = -z**3 + 16*z**2 - 14*z + 15. Is k(15) a multiple of 4?
False
Suppose 3*k = -5*n + 3*n + 158, 2*n = -2*k + 104. Does 17 divide (-205)/(-3) - 18/k?
True
Suppose -3*v = -v - 20. Does 5 divide v?
True
Suppose -j - 32 = 3*j. Does 4 divide (-1)/((-6)/j - 1)?
True
Let f(c) be the third derivative of c**6/120 + 3*c**5/20 - 3*c**4/8 + 7*c**3/6 - 2*c**2. Let v be f(-10). Does 8 divide v + 13 - (-4)/(-2)?
True
Suppose u + 4*z + 11 = -0*u, 5*u = 5*z + 70. Let g be u/15 + (-286)/10. Let p = -15 - g. Is 7 a factor of p?
False
Let c(k) = -k**3 - 8*k**2 + 14*k + 10. Let a be c(-9). Is -2 - 0 - (a + 1) a multiple of 13?
False
Let b(v) be the first derivative of 1 - v + 27/2*v**2. Is 13 a factor of b(1)?
True
Let a(c) = c**2 - 9*c - 10. Is a(11) a multiple of 12?
True
Let u(i) be the first derivative of 1/2*i**2 - 1/4*i**4 + 3 - 1/3*i**3 + 36*i. Is 18 a factor of u(0)?
True
Let y = 21 + 84. Does 17 divide y?
False
Let v(q) = q**3 + 9*q**2 - 13*q - 3. Is v(-5) a multiple of 40?
False
Is -2 - -29 - (-1 - 2) a multiple of 10?
True
Let f = 12 - 22. Let t be 2/f + 181/5. Suppose -5*c + 59 + t = 0. Does 6 divide c?
False
Let f = 59 + -39. Is f even?
True
Suppose 2*u - 9 = 1. Suppose 9 = u*x + c, -x + c + 4 = -c. Does 2 divide x?
True
Let t(g) = -3*g**3 - 2*g**2 + 2*g - 1. Let x be t(1). Let n be (0 - 3/6)*x. Suppose b + n*f + 141 = 6*b, 4*f + 50 = 2*b. Does 13 divide b?
False
Suppose 0 = -4*z + 8*z - 8. Suppose z*r + 66 = 2*h, 3*h + 2*r - 104 = -0*r. Does 9 divide h?
False
Let m = -3 + 6. Let d be (2 - 1)*-1*18. Does 7 divide d/m*(-5)/2?
False
Let x(m) = m**2 - 5*m + 4. Let o = 2 - -3. Let k be x(o). Suppose -2 = 5*a - 2*q - 27, k*q + 5 = -5*a. Is a a multiple of 3?
True
Suppose 5 = 5*h - 0. Is -1 + (-2 - (-36)/h) a multiple of 9?
False
Let f = -214 - -459. Does 35 divide f?
True
Suppose 0*o - 3*o = -234. Is o a multiple of 20?
False
Suppose 0 = 10*p - 6*p - 160. Is 14 a factor of p?
False
Let x be 378/4 - (-3)/2. Suppose -4*c + 144 = -x. Suppose 3*u - c = -2*u. Does 6 divide u?
True
Let m be ((-1)/2)/(3/(-18)). Let c = 9 + 5. Suppose 5*n + c = m*k, -3*k + 62 = k + 2*n. Does 12 divide k?
False
Suppose -4*a - 3 = -15. Let n(u) = u**2 - 3*u + 2. Let b be n(a). Is 12 a factor of 9/(3/(-2) + b)?
False
Let q = 76 - 70. Is q a multiple of 3?
True
Suppose 0 = 7*y - 389 - 136. Is y a multiple of 11?
False
Let p(x) = -60*x. Does 8 divide p(-1)?
False
Let g = -105 + 154. Is g a multiple of 28?
False
Let d(b) = -b**2 + 10*b - 10. Let a be d(8). Suppose 5*c = 5*x + 60, 3*x + 48 = 5*c - a. Suppose 49 = 4*n + c. Is 4 a factor of n?
False
Suppose 5*n - 25 = z, 3*n + 4*z - 4 = -12. Suppose k = n*k. Suppose k = 3*q - 8*q + 75. Is q a multiple of 6?
False
Let l = 42 - 30. Let r(h) = h**2 - 10*h + 12. Let p be r(l). Suppose 5*y - p = 3*y. Does 12 divide y?
False
Suppose 6*w = -2*p + w + 55, -2*p + 48 = -2*w. Suppose -83 - p = -6*r. Does 18 divide r?
True
Suppose -n = -2*t + 5*t - 37, 4*n - 4*t - 212 = 0. Is n a multiple of 7?
True
Suppose 4*j - 227 = -27. Does 25 divide j?
True
Suppose 0*a + n + 6 = 5*a, 0 = -4*a + 4*n + 8. Does 16 divide 1/(76/74 - a)?
False
Let s(n) = -105*n - 6. Is s(-1) a multiple of 9?
True
Does 11 divide (-2 - (-3 - -2))*-43?
False
Let y = -49 - -100. Does 5 divide y?
False
Let r = 61 - 38. Let j = 40 - r. Does 8 divide j?
False
Let g be (-2)/(-1) + (-3)/(-1). Suppose 0 = -3*r + 3*o + 26 + 28, -3*r = g*o - 94. Is 8 a factor of r?
False
Let u(x) = 3*x - 11. Is 10 a factor of u(7)?
True
Let z(v) = -10*v - 26. Is z(-9) a multiple of 10?
False
Is 9 a factor of -2 + 0 + 30 - -3?
False
Let l = -32 - -37. Is 4 a factor of l?
False
Let d = -105 + 176. Is d a multiple of 4?
False
Suppose -2*v = -7*v - 70. Let m = 19 + v. Is m a multiple of 4?
False
Suppose -2*h + 4 + 66 = 3*z, 2*h + 5*z = 78. Suppose -h = -p - 2. Does 27 divide p?
True
Let j = -5 + 7. Suppose -i - 49 = -j*i. Is i a multiple of 20?
False
Suppose 4 = -6*y + 2*y. Let x be 6*16/(-6)*y. Suppose 0 = 5*m + x - 46. Is 4 a factor of m?
False
Let b(t) = 6*t - 3. Let s be ((-30)/8)/(6/(-16)). Is 21 a factor of b(s)?
False
Let w be 0/((-1)/(3 - 2)). Suppose -4*z + 5*t + 63 = 0, w = 4*z + 2*t - 5*t - 65. Does 10 divide z?
False
Let d(p) = p**2 + 10*p + 9. Let y be d(-7). Let b = -19 - y. Let i = 24 + b. Is 17 a factor of i?
True
Let s = -19 - -28. Let d = 8 - s. Is 4 a factor of d + 9/1 - 0?
True
Suppose -20 = -t - 4*r, -r = -5*t - 0*r - 5. Suppose 7*n - 2*n = t. Suppose l = -y + 27, y - 5*l + l - 17 = n. Is y a multiple of 16?
False
Let z(p) = 15*p**2 + 1 - 12*p**2 + 24*p**2. Is z(-1) a multiple of 14?
True
Let i(g) = -10*g**2 + 8*g - 2. Let o be i(-11). Is 12 a factor of (-12)/10*o/30?
False
Let r(b) = b**3 + 7*b**2 + 5*b - 3. Let f be r(-5). Let v = -16 + f. Is 3 a factor of v?
True
Suppose 15*z = 14*z + 24. Is z a multiple of 13?
False
Suppose 4*s - 3*r - 201 = 0, -3*s + 4*r + 36 = -120. Is s a multiple of 16?
True
Let r = 14 + 5. Let o = r + 22. Does 14 divide o?
False
Let j(a) = a**3 - a**2 + 2. Let g be j(0). Let v be (2 - g)/(3/3). Is 5 a factor of v + (-2 - 0) + 14?
False
Suppose -s - 11 = -3*m, m - 2*s - 3*s + 1 = 0. Suppose 0 = m*l - 2 - 10. Is 2 a factor of l?
False
Suppose 13 = s - 4*c, -6*c = -2*c. Is 9 a factor of s?
False
Suppose 0 = -0*o + o + 22. Let n = 42 + o. Is 20 a factor of n?
True
Let l(j) = -j**3 - 3*j**2 + 6*j - 7. Let d(z) = z**3 + 4*z**2 - 5*z + 6. Let y(i) = 3*d(i) + 2*l(i). Let w be y(-6). Let o = w + 7. Does 13 divide o?
False
Suppose 6*l = 5*r + 2*l + 30, -5*r - l - 5 = 0. Let m(b) = -39*b + 2. Let s be m(r). Suppose 2*w - s = -2*u, -137 = -3*u - 5*w - 13. Is 13 a factor of u?
False
Let f(i) = 3*i**2 + 26*i + 28. Let g(u) = 2*u**2 + 13*u + 14. Let o(b) = 3*f(b) - 5*g(b). Let k be o(12). Let m = k - -8. Is 15 a factor of m?
False
Suppose 4*l = l - 237. Let r = -45 - l. Is (-1)/(-2)*r*1 a multiple of 5?
False
Suppose -4*r = -i + 2, -2*i = 2*i - 2*r - 22. Suppose -i = x + x. Is 17 a factor of x*(-10)/(-12)*-10?
False
Let f(z) = -z**3 - 8*z**2 + 4*z - 5. Is 10 a factor of f(-9)?
True
Let d = -13 - -1. Does 12 divide (-68)/6*d/8?
False
Suppose q = -0*q - 3. Let u = 21 - q. Is 9 a factor of u?
False
Let k = 20 + 1. Does 7 divide k?
True
Let g be (-620)/6*42/(-35). Let i = g - 18. Is i a multiple of 29?
False
Suppose -4*n - 2*c = -24, -8*n + 5*c = -4*n - 10. Suppose 2 = s + 3*h - n, 0 = -s - h + 5. Suppose u = s*u - 96. Is 11 a factor of u?
False
Let w = 27 + 145. Suppose 5*y + 0*y - 3*k - 214 = 0, -2*k - w = -4*y. Does 24 divide y?
False
Let u(p) = -9*p - 13. Let g be u(-14). Let n = g + -47. Does 22 divide n?
True
Let d = -13 - -14. Suppose 3*v - 37 = -d. Is 6 a factor of v?
True
Let y(k) = -6*k - 12. Does 9 divide y(-8)?
True
Let g = 6 + 4. Suppose -g = -s - 4*m - 1, -5*s + 105 = 5*m. Does 7 divide s?
False
Suppose 0 = -4*m + m. Let d(g) = -g**3 - 2*g**2 + g + 25. Let t(k) = -k**3 - k**2 - 1. Let s(r) = d(r) - 2*t(r). Is s(m) a multiple of 12?
False
Is (126/(-35))/((-3)/20) a multiple of 6?
True
Let s = 170 + -102. Let h = s + 69. Suppose 0 = a - 4*a + 5*i + h, 2*a - 92 = 4*i. Does 22 divide a?
True
Let r be (3 + -2)/(2/10). Let x = r - 1. Does 13 divide ((-1)/2)/(x/(-104))?
True
Let b(c) = -c**2 - 20*c - 22. Does 26 divide b(-10)?
True
Let b = 21 + 43. Does 11 divide b?
False
Suppose 0*s + 5*s - 15 = 5*k, 0 = -2*s - 6. Does 8 divide ((-4)/k)/(5/75)?
False
Suppose 3*a = -2*u + u + 25, 0 = 5*a - 4*u - 19. Let v = 51 - a. Is v a multiple of 11?
True
Suppose -322 + 91 = -3*f. Does 14 divide f?
False
Is 5/(2 + -1) - -53 a multiple of 14?
False
Let r(d) = -d + 2. Let b(h) be the first derivative of -h**2/2 + 2. Let x(z) = -3*b(z) - r(z). Is x(3) a multiple of 10?
True
Suppose -6*b + 227 = 3*c - 4*b, c = 4*b + 99. Is 21 a factor of c?
False
Suppose -785 = -5*n + 5*l, -n + 2*l + 467 = 2*n. Does 9 divide n?
True
Suppose -10 = -5*h + 10, -2 = -i - h. Is 11 a factor of 11 - ((0 - -2) + i)?
True
Is 13 a factor of 3 - (-2 - -7) - -57?
False
Let s be 9 - -1 - (-4 - -3). Let y = -7 + s. Suppose i - 27 = -5*h, y*i + h - 3*h - 64 = 0. Does 7 divide i?
False
Suppose 3*w + 0*z = -z + 10, -3*z = w - 14. Suppose -27 = g - w*g. Is g a multiple of 8?
False
Let r = 1 + 