le of 21?
False
Let c(d) be the third derivative of d**4/24 + 3*d**3/2 - 2*d**2. Is 21 a factor of c(12)?
True
Suppose -26 = 3*s + 13. Let a = 18 + s. Suppose 0 = -a*q - 1 + 26. Is 3 a factor of q?
False
Let l(u) = -u + 12. Suppose -3*x - 1 = -2*x, 2*x + 2 = 4*w. Does 4 divide l(w)?
True
Suppose -4*f - 4*n = -104, 87 - 27 = 2*f + 4*n. Is f even?
True
Let y = 161 - 236. Let x = y - -107. Is 16 a factor of x?
True
Suppose -7*s + 2*s - 3*p + 55 = 0, -s - 12 = -4*p. Let i = s - 23. Let o = -9 - i. Is o a multiple of 5?
False
Let t(u) = -13*u - 21. Is t(-6) a multiple of 3?
True
Let w(g) = -11*g - 12. Is w(-7) a multiple of 18?
False
Suppose -2*s - 29 + 5 = n, -5*s = 3*n + 76. Let t = n - -62. Is t a multiple of 6?
True
Let a(i) = -i**3 - 5*i**2 - i - 3. Suppose 2*d = 3*j - 3*d + 10, 20 = -3*j - 5*d. Let n be a(j). Suppose n*s - 93 + 11 = 0. Is s a multiple of 22?
False
Let s(k) be the third derivative of -5*k**4/12 + 4*k**3/3 + 8*k**2. Is s(-7) a multiple of 31?
False
Suppose -2*h + 434 = 4*r, 4*r - h + 2*h - 429 = 0. Is 22 a factor of r?
False
Let m = 30 + -16. Is 13 a factor of m?
False
Let q be (1 - -1)/(1*-1). Let t(j) = j**2 + 14*j. Let x(z) = -5*z. Let f(r) = 4*t(r) + 11*x(r). Is 8 a factor of f(q)?
False
Suppose 0 = 7*u - 2*u - 1950. Is u a multiple of 61?
False
Suppose -t = -60 - 72. Does 55 divide t?
False
Let s be (-2)/((3 - 1)/(-4)). Is 10 a factor of 7 - ((1 - s) + 0)?
True
Let j be -250*(-2 + 8/5). Let p(m) = 2*m - 6. Let w be p(8). Suppose w*k = 5*k + j. Is 10 a factor of k?
True
Let r be 2/((1/(-20))/1). Let n be -1*(-1)/(2/r). Let x = 38 + n. Is 9 a factor of x?
True
Suppose 2*x = 5*a - 7, -a - 4 = -4*x + 9. Let u = a + 8. Is 4 a factor of u?
False
Suppose 0*s - 464 = -8*s. Does 18 divide s?
False
Suppose 9*z + 7*z - 400 = 0. Is 22 a factor of z?
False
Suppose -5*k = -4*v + 474, 0 = 2*k - 5*v + 193 - 17. Let u = -70 - k. Does 15 divide u?
False
Suppose 0 = -5*a + 24 + 11. Suppose 3*i = a*i - 44. Is 3 a factor of i?
False
Suppose 0*n + n = 0. Suppose 4*g + 4*p - 20 = 0, 0*g + 2*g - 2*p = 6. Suppose -5*j - 1 = 3*f - 75, n = -2*f - g. Does 16 divide j?
True
Let y = 16 + -27. Let p = -7 - y. Suppose 2*x - 5*t = 35, -3*x - p*t = -2*t - 43. Does 15 divide x?
True
Is 341 - ((-14)/7 - (-2 + 1)) a multiple of 18?
True
Let g = -2 - -5. Suppose 0*i + 81 = g*i. Does 12 divide i?
False
Suppose -2 + 4 = s. Let z be 28/16*24/s. Does 16 divide (z + -1 + -3)*1?
False
Let x = 134 - 114. Is x a multiple of 5?
True
Let v be (-2)/(-7) - (-19)/7. Suppose -4*a - r + v = 0, -a + 4*r = 2 + 10. Let y = a + 10. Is 6 a factor of y?
False
Let s(n) = n + 12. Let r be s(9). Suppose -3*w = 0, 2*w = -3*z - 0*z + r. Does 2 divide z?
False
Let b be 50/(-8) + 5/20. Let s(w) = w**2 + 6*w. Let n be s(b). Suppose -3*d + 116 + 34 = n. Is d a multiple of 18?
False
Let r(v) = -v**2 - 3*v - 2. Let j be r(-4). Is (-3)/j*(102 - -2) a multiple of 18?
False
Is 2 a factor of (-2 - -5)*(-32)/(-3)?
True
Suppose k + 1 = -0. Let z be (6/(-10) - k)*-75. Does 5 divide (4/(-3))/(4/z)?
True
Let q = 2 - -3. Let v = 53 + q. Suppose -4*p + p + 5*g = -v, 3*p = 4*g + 59. Is 18 a factor of p?
False
Let d be -6*(-3)/(-6) - -61. Suppose 5*k = 2*f + d, -f - 3 = 1. Is k a multiple of 5?
True
Suppose 4*v + 2 = 5*t, 3*v + 5 = t + t. Is (-36)/t - (-6 + 6) a multiple of 6?
True
Let b be (1 - -2)*(-8)/(-6). Suppose 3*v = b*v - 31. Suppose -50 = -3*f + v. Is 19 a factor of f?
False
Suppose 3*z - 2*a - 72 = -2*z, 12 = 2*z - 5*a. Is 7 a factor of z?
False
Suppose -2*s + 59 = 3. Is s a multiple of 9?
False
Suppose 4*t = -12, t + 2*t = 3*d - 45. Is d a multiple of 4?
True
Suppose -r - 397 = 2*o, 4*r + 3*o + 1578 = -0*r. Is 12 a factor of r/(-6) + 9/(-6)?
False
Let b(h) = h**3 - h**2 + h + 30. Let l be b(0). Let k = 60 + -16. Let t = k - l. Is 6 a factor of t?
False
Suppose 5*b = 4*b + 5. Suppose 0 = -2*a + 2*u - 128, -b*a + 3*u - 296 = 4*u. Let x = a + 88. Does 15 divide x?
False
Let y be (-12)/9*6/(-4). Suppose y*w = 22 + 20. Is 8 a factor of w?
False
Is 12 a factor of 5 - 2 - (-47 - -2)?
True
Suppose 46 = -3*l + 4*l. Is l a multiple of 13?
False
Let k(o) = -o**2 + 11*o + 5. Let q be k(11). Is 20 a factor of q*(1 + 284/20)?
False
Suppose -3*m + 2*r = -56, 0 = 2*m - 0*m - 5*r - 19. Suppose 111 = 15*y - 12*y. Let q = y - m. Is q a multiple of 5?
True
Let w = 97 + -2. Is w a multiple of 5?
True
Suppose -42*d + 22 = -40*d. Is 6 a factor of d?
False
Let z = 0 - 2. Does 16 divide z/((-6)/99) + -1?
True
Let c = 30 - 11. Does 10 divide c?
False
Let q(n) = -n + 8. Let j be q(5). Suppose -4*v = k - 9, 0 = -v - 2*k + 1 + 3. Suppose 28 = v*s - j*f, -4*f - f + 70 = 5*s. Is 7 a factor of s?
True
Let y = 1 + -1. Suppose y = -n - 3*n + 24. Is 7 a factor of 29/2 + n/(-12)?
True
Let q = -26 - -197. Suppose -5*h + 59 + q = -5*t, 43 = h - 4*t. Suppose -h - 28 = -5*c. Is 15 a factor of c?
True
Let v = 358 + -156. Is v a multiple of 17?
False
Let k be -1 + 1*(-2 - 1). Let y be k/(-5)*170/4. Suppose 4*j - 4 = 0, -4*j = -4*f - 2*j + y. Is 9 a factor of f?
True
Let w = -34 - 17. Does 10 divide (w*6/9)/(-2)?
False
Suppose -s = -4*y + 15, 3*s + 18 = 2*y - s. Let u be y - 4*(1 + 0). Does 10 divide (-7 + 12)/(u/(-4))?
True
Suppose 6 - 1 = 5*v. Does 16 divide 1023/18 - v/(-6)?
False
Does 5 divide 248/16 - 2/4?
True
Let a(r) = -2*r**2 + 56. Is 14 a factor of a(0)?
True
Let n(q) = -4 - 2*q + 5 - q**3 - q + 2*q**2 + 5*q. Let z be n(-1). Suppose 0 = -r + z*r - 23. Is r a multiple of 16?
False
Suppose -2*z + 7 = -137. Suppose 3*o - 18 = -2*u, -2*o = 4*u - 5*o - z. Is u a multiple of 8?
False
Is -2 + 8385/35 + 6/14 a multiple of 34?
True
Let z = 14 - 7. Let b be (-38)/(-2)*(-1 - -2). Let u = b - z. Is 12 a factor of u?
True
Suppose -3*k + 5*h + 17 = 1, -5*k - h + 8 = 0. Suppose 4 + 2 = k*i. Is 3 a factor of i?
True
Let v be (1/(-2))/((-2)/(-4)). Is 12 a factor of (1/v)/((-11)/473)?
False
Let l(j) = j**3 + 5*j**2 - 4*j + 7. Let k be l(-6). Let m(n) = -5*n**2 - 7*n + 3. Let c(q) = -4*q**2 - 7*q + 2. Let y(p) = 4*c(p) - 3*m(p). Does 9 divide y(k)?
True
Let k = 42 + -10. Does 32 divide k?
True
Let r = -187 - -308. Is r a multiple of 24?
False
Let k be (5 - 9)*(1 - -1). Let o = k - -16. Is 3 a factor of o?
False
Suppose -6*x = -2*x + 4, 0 = -2*h - 3*x + 9. Is 6 a factor of h?
True
Suppose 4*p + w = 558, -2*p - w + 269 + 9 = 0. Is 20 a factor of p?
True
Let o(v) = -2*v**3 - 27*v**2 + 11*v - 17. Does 3 divide o(-14)?
False
Let l = 6 - 4. Suppose -5*h = l*i - 2*h - 80, 164 = 4*i + 4*h. Is i a multiple of 11?
False
Let g = 15 - 8. Let t = g - -34. Is t a multiple of 21?
False
Suppose -68 = -2*i + 4*i. Let u = 48 + i. Is 5 a factor of u?
False
Let p(h) = 0*h + 0*h - 14*h. Is p(-3) a multiple of 14?
True
Suppose 407 = 3*v + l, 2*v = 3*v - 3*l - 129. Is 3/2 + v/6 a multiple of 8?
True
Suppose -j = -5 + 1. Suppose 4 - 24 = -j*q. Is 5 a factor of q?
True
Suppose 4 = 2*l, 83 = -g + 4*g + l. Does 9 divide g?
True
Let a(m) = 8*m**2 + m - 9. Let r(i) = -1. Let b(h) = a(h) - 6*r(h). Is b(-3) a multiple of 17?
False
Suppose 263 + 7 = 5*r. Does 18 divide r?
True
Let i = -169 - -244. Suppose i + 90 = 3*t. Does 11 divide t?
True
Let j(v) = 3*v**3 - 1. Let p be j(1). Is 22 a factor of (44/10)/(p/20)?
True
Suppose -125 + 50 = -3*j. Is 5 a factor of j?
True
Suppose 3*y - z + 4 = 20, 0 = y - 3*z - 8. Let q(n) = n**3 - 6*n**2 + 7*n + 1. Let o be q(y). Let b = o + 3. Does 12 divide b?
False
Let t = 234 - 126. Is t a multiple of 12?
True
Is 7 a factor of (-64)/288 - (1 + (-1588)/18)?
False
Let v(c) = -c**3 - 6*c**2 + 2*c - 14. Is v(-7) a multiple of 8?
False
Let b be (1 - 0)*(3 - 6). Let c = b - -11. Is c a multiple of 4?
True
Suppose -j = -0*j - 2*q + 17, 0 = -2*j + 2*q - 30. Let g = j + 9. Let n = 28 - g. Does 9 divide n?
False
Let x = 10 - 10. Suppose 2*g + 180 = 5*v + 5*g, x = -v - 4*g + 53. Is v a multiple of 11?
True
Suppose -n + q = -2, 2*n - q - 3 = -0*q. Is 3 + 41 + (n - 1) a multiple of 22?
True
Let g = 39 + -11. Is g a multiple of 4?
True
Let q(n) = 2*n**3 + 4*n**2 - 4*n - 1. Does 16 divide q(3)?
False
Is 22 a factor of 1099/5 + 12/60?
True
Let y(r) = r**3 - 5*r**2 + 5*r. Is y(6) a multiple of 9?
False
Let a = -14 - -102. Let q = a + -40. Does 24 divide q?
True
Let m = -2 + 3. Let h be 198/10 - m/(-5). Suppose 4*v = -0 + h. Is 2 a factor of v?
False
Supp