of 26?
True
Suppose 2*s + 740 = 12*s. Suppose 14 = -3*x + s. Is x a multiple of 5?
True
Let s(t) be the first derivative of t**4/6 - t**3/2 - 2*t**2 + 6*t - 1. Let b(w) be the first derivative of s(w). Is 16 a factor of b(4)?
True
Let v(z) = -7*z**2 - 28*z + 3. Let b(l) = 13*l**2 + 55*l - 6. Let c(f) = -6*b(f) - 11*v(f). Let g be (-56)/(-32) + 79/(-4). Is 19 a factor of c(g)?
False
Let r(v) = -2*v**2 + 4*v - 31. Let g(w) = 3*w**2 - 5*w + 30. Let q(j) = -3*g(j) - 4*r(j). Is q(5) a multiple of 3?
False
Suppose 4*r - 2*w + 4*w - 364 = 0, w = r - 88. Is 30 a factor of r?
True
Let s(d) = -22*d + d**2 + 45*d + 3 - 24*d. Is 9 a factor of s(-6)?
True
Let y(i) = i**3 + i**2 + i. Let r be y(0). Let m(z) = 2 - 3*z - z**2 + r*z + 4*z**2. Is m(4) a multiple of 19?
True
Let m = 9 + -7. Suppose 7 = 4*p - i, i = p - 4*i + 22. Suppose -2*a = -n + p*a + 27, -m*n + 2*a = -30. Is n a multiple of 11?
False
Let s(l) = 68*l**2 + 45*l + 41. Let i(z) = -17*z**2 - 11*z - 10. Let o(h) = -9*i(h) - 2*s(h). Is 13 a factor of o(4)?
False
Does 47 divide 12156/18 - 30/(-18)?
False
Is 7374/9 - 4/12 a multiple of 15?
False
Suppose -n = -3*d - 2449, 34*d + 7329 = 3*n + 31*d. Does 40 divide n?
True
Suppose 2*h = h + 4. Let f = -31 + 52. Let s = h + f. Does 17 divide s?
False
Suppose 0 = -3*r + 2*c + 10, -c = -4*r + 3*r + 3. Let i be 1/r - 3480/(-32). Let s = -57 + i. Is s a multiple of 13?
True
Let l(t) = t**2 - 10*t + 4. Let p be l(10). Suppose -p*o + 270 = -2*z - 0*z, -3*o + 2*z = -204. Is o a multiple of 33?
True
Let m = 30 - 6. Let y = m - 26. Is 28 a factor of y - 86*(3 - 4)?
True
Suppose 2*b + 37 = 3*z, -6*z + z + 5*b + 65 = 0. Suppose 390 = -5*t + z*t. Is t a multiple of 44?
False
Let p(k) = k**3 - 7*k**2 - 61*k - 3. Is 2 a factor of p(-5)?
True
Let z = -8 + 8. Suppose 7 = y + 2*d, z = 4*y - 3*d - 5 - 1. Suppose -y*l + 55 = 2*l. Is 4 a factor of l?
False
Let y be ((-1)/2)/((-2)/92). Suppose 0 = -3*r + i + 143, -2*i + 17 = 3*r - 120. Let t = r - y. Is t a multiple of 20?
False
Let d(i) = i**2 + 7*i + 13. Let p(v) = -2*v**2 - 14*v - 26. Let s(b) = -11*d(b) - 6*p(b). Is 19 a factor of s(-11)?
True
Let n(v) = -v + 34. Does 12 divide n(18)?
False
Let c be (-1 - 12/(-8))/((-2)/128). Let p = 8 - c. Is p a multiple of 5?
True
Let w(c) = 63*c**2 + 2*c - 1. Is w(-1) a multiple of 3?
True
Does 9 divide ((-161)/69 - (-2)/6) + 56?
True
Let v be ((-72)/(-5))/((-2)/10). Let q be (-58)/(-18) - (-16)/v. Is (42/(-5))/(q/(-15)) a multiple of 28?
False
Let p(c) = -63*c - 48. Is p(-13) a multiple of 10?
False
Suppose 17*p - 4001 = 8613. Is p a multiple of 40?
False
Let v(l) = -211*l + 57. Is v(-3) a multiple of 13?
False
Let r(d) = d**2 + 3*d - 102. Is 36 a factor of r(12)?
False
Let l(a) = -a**3 - 13*a**2 - 2*a - 22. Let o be l(-13). Suppose o*z - 4*i - 457 = -i, -12 = 4*i. Is z a multiple of 25?
False
Suppose j - s = 7, -2*j + s - 53 = -6*j. Suppose -16*u + j*u = -684. Is u a multiple of 21?
False
Let g be ((-128)/12)/4*-3. Suppose -g*r + 10*r - 4 = 0. Let x = r + 9. Is 6 a factor of x?
False
Suppose -a - z = -5*a + 4, -z = 2*a + 4. Suppose 95 = 3*w + 2*p - 3*p, -2*p + 8 = a. Is 10 a factor of w?
False
Let w(a) = -a - 7. Suppose 2*c - 4*m + 10 = 0, 2*m + 22 = -2*c - 0*m. Let f be w(c). Suppose 4*n + 22 = 2*y - y, f*y + 3*n - 33 = 0. Is 9 a factor of y?
True
Let i(k) be the second derivative of k**3/6 + 17*k**2/2 - 2*k. Let m be i(-13). Suppose -3*y - 2*d = -26, m*d - 6*d + 18 = 2*y. Is 8 a factor of y?
True
Let l(u) = 7*u**2 - 13*u - 3. Let d(a) = -20*a**2 + 38*a + 9. Let n(g) = -3*d(g) - 8*l(g). Is 21 a factor of n(7)?
False
Suppose -6*k + 3*r + 766 = -2*k, r = -k + 188. Does 19 divide k?
True
Let u be 1 - (-4 + -47 + 0). Suppose -2*l + 5*f = l + 156, l - 5*f = -u. Is 15 a factor of (-229)/(-5) - l/(-65)?
True
Suppose 19*m = 62071 - 18903. Is 91 a factor of m?
False
Suppose 0 = 2*b + 4*p + 12, -3*p = -2*b + 4*b + 9. Suppose b*w + 2*w + 5*o - 931 = 0, -w = -4*o - 446. Does 55 divide w?
False
Is 146445/105 - (-3)/(-42)*-4 a multiple of 31?
True
Let y = 174 + -259. Suppose -55 = -4*u - 19. Let f = u - y. Does 18 divide f?
False
Let j be 6/2 - 19*(2 + 4). Let r = j - -155. Does 4 divide r?
True
Let g = -14 + 29. Let l be -5*(-2)/g*9. Suppose 3*m - l*m + 54 = 0. Does 9 divide m?
True
Suppose 4*u + 4*z - 7*z - 12 = 0, 0 = -3*u - 2*z + 9. Suppose u*p + 0*p = 156. Is p a multiple of 13?
True
Let b = -123 + 159. Does 12 divide b?
True
Is (-4)/(((-63)/1494)/7) a multiple of 47?
False
Let a(r) = -348*r - 321. Is 31 a factor of a(-6)?
True
Let g be (-14)/91 + (-1311)/13. Let w = 151 + g. Is 50 a factor of w?
True
Let d be 4/38 - 492/(-19). Let v = d - -13. Is 8 a factor of v?
False
Suppose -2 + 7 = -w, 4*i - 24 = -4*w. Suppose -5 = -x + i. Is x a multiple of 4?
True
Suppose 12*i - 3845 = -65. Is 12 a factor of i?
False
Suppose 6*p = 3*p - 147. Let q = p + 75. Suppose -2*l = -q - 8. Is 6 a factor of l?
False
Suppose 132 = r - 3*z, -9*r + 2*z = -7*r - 284. Is r a multiple of 17?
False
Suppose 5*m = 23*m - 16200. Is m a multiple of 18?
True
Let i be (-205)/(-5) - (2 + 3 + -3). Is (-21)/42*(-1 - i*1) a multiple of 20?
True
Let x = 82 + -25. Let s = -17 + x. Is s a multiple of 5?
True
Let t = 11 - 4. Is 20 a factor of (-2 + 58/t + -2)*28?
True
Suppose 1648 = 3*b - 4*u, 5*b - 2*u - 2745 = 3*u. Does 46 divide b?
False
Suppose i + 20*i - 3276 = 0. Is 26 a factor of i?
True
Let m(q) = -45*q - 21. Let o be m(9). Is o/(-27) - 4/(-18) a multiple of 8?
True
Suppose 8*o - 2*p - 450 = 5*o, -p - 757 = -5*o. Is o a multiple of 38?
True
Suppose 19 = 4*w - 1. Suppose 0 = w*n + 158 - 473. Does 21 divide n?
True
Suppose -2*n + 2285 = -w, 5*n - 41*w = -44*w + 5729. Does 44 divide n?
True
Let a(l) = l**3 + 8*l**2 - 24*l - 13. Is 4 a factor of a(-7)?
True
Let k = 9 - 5. Is 29 a factor of 18/k*(1 + 452/12)?
True
Let h(a) = 3*a**2 + 4*a - 6. Let r be h(3). Is (-1 - -1) + 4 + r a multiple of 21?
False
Suppose 3*t + 2*m - 3 = 4*m, -2*m + 6 = 0. Let c = t - -175. Does 31 divide c?
False
Let n = -369 + 1332. Is n a multiple of 3?
True
Let y be -17 - (3 - (8 - 4)). Does 28 divide ((y - -2) + -3 + 3)*-8?
True
Does 8 divide (-325)/(-130) + 1494/4?
True
Suppose c - 54 = 4*l + 134, -l = -4*c + 707. Is 16 a factor of c?
True
Let w(a) = -7*a**3 + 8 + 8 - a + 708*a**2 + a**3 - 706*a**2. Is 18 a factor of w(-3)?
False
Suppose -8 = i + i. Let t be 36 + (-2 - i) + -2. Does 8 divide (t/(-15))/(3/(-40))?
True
Suppose 4*v - 2*s = 3 - 1, 5*s = v + 4. Let z = 33 - v. Is z a multiple of 8?
True
Let l(v) = 16*v - 201. Is 5 a factor of l(21)?
True
Suppose 4*z = -5*g + 32, 0 = 3*g - 0*g - z - 26. Suppose 7*w - g*w = -57. Is 20 a factor of w?
False
Let h(c) = 2*c**3 - 35*c**2 - 5*c + 24. Does 6 divide h(18)?
True
Let r(d) = -3*d**3 + 6*d**2 + 9*d + 5. Is 28 a factor of r(-4)?
False
Let h(w) be the third derivative of w**5/60 - 5*w**4/8 - 11*w**3/3 - 17*w**2. Is 2 a factor of h(17)?
True
Suppose 0 = -2*z + z + 4*g + 102, -3*g = -3*z + 270. Let x = 140 - z. Is 4 a factor of x?
False
Suppose -5*y + 73 = 2*n, n - 3 = -y + 29. Let z(g) = 2*g**2 + 10*g - 3. Let r be z(-9). Suppose -d + n = 3*w, -d + 4*d + 3*w - r = 0. Does 10 divide d?
True
Let g(f) = -9*f**2 - 35*f + 140. Let y(j) = -5*j**2 - 18*j + 70. Let a(q) = 4*g(q) - 7*y(q). Does 21 divide a(-16)?
False
Suppose 0 = -11*p - 1210 + 4983. Is 41 a factor of p?
False
Let o = -103 - -165. Let q = -31 + o. Does 31 divide q?
True
Suppose 38*g - 48827 - 52747 = 0. Is g a multiple of 8?
False
Let v(u) = -47 - 25*u + 15 + 23. Is v(-4) a multiple of 13?
True
Let k(q) = q + 1. Let c(j) = -6 + 0 - 1 - 8*j + 2*j. Let r(u) = c(u) + 4*k(u). Does 3 divide r(-5)?
False
Suppose 0 = 21*w + 40*w - 103578. Does 20 divide w?
False
Let b = 7 - -44. Suppose b = q + 8. Suppose -u + q = -5*y, 175 = 4*u - 4*y - 13. Does 24 divide u?
True
Let p(k) = 2*k + 42. Suppose 2*o + o + m - 14 = 0, -o = -5*m - 10. Suppose o*c = 4*c. Is p(c) a multiple of 14?
True
Is 34 a factor of 2396 + (-6)/3 + 9?
False
Let o be 1 + -1 + (-18)/6. Let y be ((-22)/(-6) + o)*6. Suppose y*i - 2*g - 309 = -g, -402 = -5*i - 4*g. Is 21 a factor of i?
False
Suppose 0 = 4*x + 1 + 7. Let y(b) = -5*b**3 - 2*b**2 - 2*b - 3. Is 11 a factor of y(x)?
True
Let i(t) = -t - 11. Let k be i(-5). Let f(g) = -2*g + 8. Let d be f(k). Let w = d - -2. Is 22 a factor of w?
Tr