 Let q be u(-3). Let a = q + -72. Is a a multiple of 3?
True
Is (1/3)/((4/(-357))/(-4)) a multiple of 17?
True
Does 11 divide (20/30)/(0 - (-4)/2838)?
True
Let k(o) = -7*o**3 + 2*o**2 + o + 1. Suppose -3*j - 9 = 0, -3*j - 9 = 2*h + 4. Is 7 a factor of k(h)?
True
Suppose -4*b = -k + 79, -k + 61 = -3*b - 2*k. Let s = -18 - b. Suppose 2*q - 113 = -0*q + 3*d, 0 = -s*q - 2*d + 88. Does 11 divide q?
False
Suppose 0 = -30*z + 12636 + 54. Is 6 a factor of z?
False
Let y(f) = 14*f**2 + 39*f - 22. Is 33 a factor of y(-7)?
False
Let j(w) be the third derivative of 13*w**4/6 - w**3/3 + 29*w**2. Does 5 divide j(1)?
True
Let l be -2 + (-5)/10*-2. Is l*(-3 - 128) + -3 a multiple of 25?
False
Let k = 0 - -5. Suppose 0 = -2*w - k*c + 2, 5*w + c - 26 = -c. Is (-3)/w*-90 - 1 a multiple of 11?
True
Let s = -170 + 328. Is 6 a factor of s?
False
Suppose -4*d - 3*t = -6*t - 2, 4*d + 2*t = 12. Let z(i) = 30*i - 2. Is z(d) a multiple of 15?
False
Suppose -f + 7197 = 4*b, 411*f - 406*f = 3*b - 5392. Does 8 divide b?
False
Let t = 4 + 15. Let y = 69 - t. Is y a multiple of 15?
False
Does 39 divide -6 + 276 + 6/18*9?
True
Let a(i) be the third derivative of i**6/120 + 19*i**5/60 - 23*i**4/24 - 5*i**3/2 + 23*i**2. Does 5 divide a(-20)?
True
Suppose 8 = 2*c + 2. Suppose 0 = -5*m + 4*g + 321, -c*g - 62 = -0*m - m. Suppose s + w + 11 = 5*w, -4*w = 5*s - m. Does 9 divide s?
True
Let f(x) = -2*x**3 + x**2 + 6*x + 5. Let j = -20 + 21. Let k = j - 4. Is f(k) a multiple of 14?
False
Suppose 0*w + 4*x - 140 = -w, 4*x - 512 = -4*w. Is 4 a factor of w?
True
Suppose -41*q + 44*q - 1488 = 0. Does 16 divide q?
True
Is (-3)/((-20076)/3344 + 6) a multiple of 11?
True
Let c(y) = 3*y**3 + 6*y**2 + 4*y + 1. Is 15 a factor of c(3)?
False
Suppose 4*b - 12 - 4 = 0. Suppose 2*i - 193 = -b*m + i, -m - 5*i + 53 = 0. Suppose -2*j = 5*z - 94, 0*z + 3*j + m = 3*z. Does 8 divide z?
False
Let j(n) = -n**2 - 7*n - 15. Let b be j(-11). Let k = b - -83. Does 3 divide k?
True
Let o = 4194 - 1600. Is o a multiple of 17?
False
Suppose -4*v + 22 + 6 = 0. Suppose 5*s = a + v, 2*s - 3*a + 0 = -5. Suppose -2*b + 6*b = -s*z + 92, -3*b = -5*z + 217. Is 15 a factor of z?
False
Let b(g) = -g**2 + 6*g - 6. Let v be b(4). Suppose v - 8 = -t. Is 3 a factor of 5 + -1 - (7 - t)?
True
Let f = -3 - 4. Suppose -5*o + 0*b - 5*b = 65, 0 = 3*o + 4*b + 39. Let r = f - o. Does 6 divide r?
True
Suppose -y - 30 = 5*y. Is (-718)/(-10) - 1/y a multiple of 12?
True
Suppose 4*t + 2*p - 88 = 0, -t + 40 = -4*p - 0. Is t a multiple of 3?
True
Let c be (-26)/(3/(9/(-3))). Let w be (c/39)/(1/210). Suppose r + w = 5*r. Is r a multiple of 7?
True
Let v(j) = j**3 + 29*j**2 + 4*j + 25. Is 125 a factor of v(-27)?
True
Suppose 0*h = -4*h + 788. Let s = 55 + -50. Suppose -h + 57 = -s*w. Does 6 divide w?
False
Suppose a + a - 22 = 0. Let y = 22 + -21. Is y + 1 + a + 2 a multiple of 15?
True
Suppose -42 = -4*o - 34. Suppose 0 = -3*c - 4*s + o*s + 642, c - 214 = -3*s. Is 14 a factor of c?
False
Is 39 a factor of 351*20/(-10)*(-3)/6?
True
Suppose 0*q - 24 = 4*q. Let l = 10 + q. Suppose 4*a = 2*m - a - 65, -2*m + l*a + 66 = 0. Is m a multiple of 9?
False
Let y(x) = -64*x - 1. Let q be y(-1). Is (q/(-9))/(1/(-2)) even?
True
Let s(z) = 2*z**2 + z - 7. Let u be s(-3). Suppose 5*g + 11 = 1. Let f = u + g. Is f a multiple of 2?
True
Let s(w) = -10*w**2 - 5*w - 3. Let u be s(-4). Let q = u + 82. Let c = -21 - q. Is 10 a factor of c?
True
Suppose -3*s = -1 - 11. Let p(c) = 0*c + 2*c**2 + 3*c - c**2 + 5. Is 10 a factor of p(s)?
False
Let m = -5 - -8. Suppose 0 = -5*u + 2*v + 12, -u + 4*v = -4*u + 2. Suppose 5*b = u*c + 292, 4*b = m*b - 2*c + 68. Is 20 a factor of b?
True
Let r(s) = 69*s + 9. Is 63 a factor of r(6)?
False
Let k = 31 - 5. Let b = -22 + k. Does 4 divide b?
True
Let j = -14 + 38. Let b be j/(-30)*10/(-4). Does 8 divide 193/8 + b/(-16)?
True
Suppose 0 = -5*r - v - 255, -175 = 4*r - 10*v + 5*v. Let o = 75 + r. Is o a multiple of 5?
True
Let q(h) = -h**2 - 27*h + 68. Is q(-23) a multiple of 10?
True
Let r = -5 + 18. Let f = -9 + 12. Is (r - (-4)/(-2)) + f a multiple of 6?
False
Let z(r) = 2*r - 12. Let q be z(13). Let v = 18 - q. Is (0 - v/6)*-102 a multiple of 26?
False
Suppose -w + 6 - 2 = 0. Suppose -2*j = 8, 0 = -w*k + 2*j + 14 + 62. Suppose 2*h = 5*a - 65, -a = -h - k + 7. Is a a multiple of 15?
True
Let y = 1325 + -1108. Is y a multiple of 4?
False
Suppose -5*n + a + 325 = 6*a, -2*n = 3*a - 128. Is 4 a factor of n?
False
Let n(y) = y**3 - 5*y**2 + 3. Let l be n(5). Let f be l + -4 + (-2 - -5). Suppose -4*j = -2*o - 0*o - 362, -j + f*o + 92 = 0. Is j a multiple of 24?
False
Let a(x) = x**2 + x + 1. Let s be a(-2). Is (240/(-9) + -2)/((-2)/s) a multiple of 22?
False
Suppose 28*x - 282 = 614. Does 8 divide x?
True
Suppose 5*t - 25 = 3*t + 5*i, -5*t = 4*i + 20. Suppose -5*w + 15 = t, -97 = -5*q + 2*w - 6*w. Let b = 3 + q. Is b a multiple of 5?
True
Let m(k) = 11*k + 5. Is 13 a factor of m(3)?
False
Suppose -2*c = 3*k - 634, 56*k - 52*k - 842 = -2*c. Is k a multiple of 13?
True
Let t be (-5)/(5/(-4))*(-4)/8. Let h(g) = 2*g - 2 + 2*g**2 + 0*g**2 + 4*g**2. Is 14 a factor of h(t)?
False
Suppose -860 = -4*g - 4*h, 3*h - 336 = -2*g + 95. Suppose 4*f = 2*c + 164, 5*f = -0*c - 2*c + g. Is f a multiple of 9?
False
Let v = 15 - 11. Let c = 0 + 0. Is 6 a factor of 3 - v - c - -19?
True
Let w(z) = 3*z + 1 - 2*z - 3*z**2 - 6 - z**3. Does 5 divide w(-5)?
True
Let i(a) = 15*a**2 - 4*a + 29. Does 23 divide i(4)?
True
Let g(c) be the third derivative of -c**5/20 - 7*c**4/24 - c**3/2 - 3*c**2. Let a be g(-4). Let y = a - -38. Is y a multiple of 5?
True
Let b(q) = -q - 12. Let n(r) = -2*r - 37. Let c(p) = 8*b(p) - 3*n(p). Let a be c(10). Let k(g) = -10*g - 6. Is k(a) a multiple of 11?
True
Let m(h) = h**2 - 4. Suppose -58 = 8*z - 2. Is 15 a factor of m(z)?
True
Does 8 divide (-1 - -137)/((11 + -3)/88)?
True
Suppose -17 = -w - 12. Suppose w*g - 221 - 389 = 0. Is 22 a factor of g?
False
Let c(a) = -2*a + 9. Let z be c(6). Suppose -2*q - q - y - 23 = 0, 0 = -3*q - 4*y - 38. Let w = z - q. Is w a multiple of 3?
True
Let p be 10*(-15)/(-18)*(-1 - 41). Let z = 503 + p. Is z a multiple of 21?
False
Let n = 117 + -99. Does 3 divide n?
True
Let x be (3 + 1)/((-6)/3*1). Does 11 divide ((-5120)/200)/(x/10*1)?
False
Is 23 a factor of 442 + -5*(3 - (-4)/(-2))?
True
Let q(y) = -685*y + 60. Is q(-1) a multiple of 7?
False
Suppose 0 = -4*h - 271 - 45. Let w be -3*(0 - 230/(-6)). Let l = h - w. Does 16 divide l?
False
Let k = 566 - 326. Is 15 a factor of k?
True
Is 12 a factor of ((-1290)/43)/((-1)/4)?
True
Let l(q) = q**3 - 13*q**2 + 15*q - 18. Let p be l(12). Suppose 46 + p = 4*f. Does 3 divide f?
False
Suppose 0 = 4*n - 5*n - 5*h + 381, -2*h = -5*n + 1932. Is n a multiple of 11?
False
Let h = -27 - -22. Does 3 divide ((-27)/h)/(1/5)?
True
Let a(t) = -t**3 + 6*t + 7. Let f be a(-3). Let x(q) = -4 + f*q**2 + q + 24*q**2 + 5. Is x(-1) a multiple of 13?
False
Let a = 158 + -160. Is 1/12*686 - a/(-12) a multiple of 4?
False
Suppose -c + t = 0, 2*c - 8 = 3*c - 5*t. Let k = 14 + c. Is 8 a factor of k?
True
Let g(t) = 4*t - 10. Let s = -9 + 14. Let y be g(s). Suppose -300 = 5*w - y*w. Is w a multiple of 20?
True
Let v(m) = -273*m**2 + 3*m + 2. Let u be v(-1). Let k = u + 417. Is 7 a factor of k?
False
Let w(n) = n**2 + 2*n + 4. Let f be w(0). Suppose 57 = -f*z - 2*g - 83, -4 = -2*g. Does 15 divide 2/(-6) + (-1452)/z?
False
Suppose 3*r - 199 = 365. Suppose 4*g = m - 47, 3*g - r = -3*m - m. Is m a multiple of 18?
False
Suppose -k - 3*u + 238 = 3*k, 3*u = -6. Is k a multiple of 14?
False
Suppose 2*y - 10 = -0*y. Suppose -y*q - 46 = -6*q. Is q a multiple of 7?
False
Is 70 a factor of ((-237)/6 - 3)*968/(-55)?
False
Let o(h) = 21*h - 29 + 29. Suppose 3*n + i = 0, 0 = 5*n - n + 2*i + 2. Is 7 a factor of o(n)?
True
Let t(h) = 4*h**2 + 2*h + 2. Let c be t(2). Suppose 23 = -v - 4*m, m + m - 16 = 2*v. Let r = c + v. Does 5 divide r?
False
Suppose -4*t = -170 - 414. Suppose 3*i - 507 = -p, -2*i + 3*p + t = -181. Is i a multiple of 21?
True
Let a(k) be the second derivative of k**4/12 - 7*k**3/6 + 11*k**2/2 - k. Does 9 divide a(8)?
False
Suppose -2*u - 4 = -2*w, -3*w + u + 11 - 3 = 0. Suppose -6 = -i + a, -2*a = -i + 4 + w. Let f(y) = 3*y**2 - 5*y + 6. Does 17 divide f(i)?
False
Let b = -23 + 