 factor of h(4)?
False
Suppose 3*x + 47*x = 97300. Is 17 a factor of x?
False
Let q = -215 - -343. Does 8 divide q?
True
Suppose -3*w + t + 23 = 0, -t = 5*w + 4*t - 25. Suppose 2269 = w*x + 435. Is x a multiple of 45?
False
Is -2 - (-14)/6 - (-7752)/18 a multiple of 62?
False
Let f(t) = -2*t + 14. Let q be f(6). Suppose q*w - g = 3*w + 2, -5*g - 22 = -w. Let y(p) = 4*p**3 + 3*p**2 - p - 1. Is y(w) a multiple of 13?
False
Let y = 192 + -118. Is y a multiple of 74?
True
Suppose 3*h - 9 = -3, -o + 5*h = 2. Suppose 0 = -9*u + o*u + 64. Does 33 divide u?
False
Let z(w) = w**2 + 4*w + 3. Let h be z(-4). Suppose 5*l - 4*v = -2*v + 58, 4*v + 56 = 5*l. Suppose x - l = -h. Is 9 a factor of x?
True
Let r(f) = 32*f + 4. Suppose -5 = 2*z - 7. Is 9 a factor of r(z)?
True
Let r be (23/(-2))/((-7)/(-70)). Let o = r - -188. Does 13 divide o?
False
Suppose 747 = 5*f + 127. Let j = -81 + f. Is 8 a factor of j?
False
Let i = -28 - -31. Suppose -2*h - i*h + 29 = 4*r, -2*h + 5 = -5*r. Suppose 4*b - 4 = 4*k + 40, -h*k = -25. Is 11 a factor of b?
False
Let l be 0/(-1) - 33*-2. Let o be l/4 + 15/10. Let c = 30 - o. Is 9 a factor of c?
False
Suppose 8*k + 0*k = 0. Suppose -5*a + k*a + 65 = 4*f, 0 = 4*f + 4*a - 64. Is 15 a factor of f?
True
Let w(r) = r**2 - 4*r + 4. Let d be w(3). Let u = 6 + d. Suppose 5*n + 60 = u*n. Is 10 a factor of n?
True
Let y be 52/(-2)*(-4)/2. Let o(c) = c**3 + 6*c**2 + 8*c + 17. Let z be o(-5). Suppose 0 = -k + 5*r + 38, 2*k + 0*k + z*r = y. Is 13 a factor of k?
False
Let k be 2/7 + 410/(-14). Let m = -51 - k. Let q = 28 - m. Is 15 a factor of q?
False
Let z(c) be the second derivative of -2*c**3/3 + c**2 - 7*c. Let w be z(-1). Does 13 divide (-237)/(-9) - 2/w?
True
Let g = 14 - 12. Let t(i) = -2 + 3*i - 4*i + 12*i - i**g + 0. Does 4 divide t(10)?
True
Is (-3649)/(-82)*(3 + -1)*7 a multiple of 6?
False
Let x(w) = 5*w - 2. Let l be x(3). Let c = l - 13. Suppose c = -t + 6*t - 70. Is 14 a factor of t?
True
Does 14 divide ((-14)/14 - (-5240)/5) + 3?
True
Suppose 4*m + 248 = 5*m - 2*j, 0 = 4*m + 4*j - 1028. Does 2 divide m?
True
Let g(a) = -907*a + 9. Does 44 divide g(-1)?
False
Let r(d) = 60*d**2 + 3*d - 1. Let y be -3*(2/2 - (-36)/(-27)). Is 11 a factor of r(y)?
False
Let h = -6 - -8. Let y = 17 - -9. Is 13/y - (-139)/h a multiple of 10?
True
Let s(d) = 7*d - 139. Is 11 a factor of s(22)?
False
Let s = 2 - 0. Let c be s/(-5) - (-26)/65. Suppose 0*x - 5*x + 135 = c. Is 18 a factor of x?
False
Suppose -q + 15 = 4*q. Suppose -4*c - q = -43. Is c a multiple of 4?
False
Let g(c) = 56*c - 5. Is 21 a factor of g(2)?
False
Is ((182/21)/13)/(3/1188) a multiple of 44?
True
Let l = 22 + 134. Let j = l - 96. Suppose 0 = 5*r - 2*r - j. Is r a multiple of 13?
False
Let i(a) = 29*a**3 + a**2 - 5*a + 3. Let z be i(3). Suppose f - 5*f = -3*q + z, 5*q = -f + 1300. Is 40 a factor of q?
False
Let q(h) = -h**2 + 1. Let v(d) = 8*d**2 + d - 3. Let y(w) = 2*q(w) + 2*v(w). Let u = 111 + -109. Is y(u) a multiple of 14?
True
Let w(j) = -j**2 - j. Let q(v) = -v**3 + 5*v**2 - 4*v - 4. Let c(o) = q(o) - 2*w(o). Does 7 divide c(6)?
False
Let f = 28 - 13. Let j = f + -4. Suppose -j = -k + 6. Is 10 a factor of k?
False
Suppose -5*l + l - 12 = 0. Let b(p) be the third derivative of -p**6/120 + p**5/60 - p**4/8 + 2*p**3/3 + 147*p**2. Is 16 a factor of b(l)?
False
Let j = 14 - -41. Let p be (-35)/2*(-66)/j. Suppose 0 = o - 3*b - p, 5 = -9*b + 4*b. Is 6 a factor of o?
True
Suppose w = 1 + 3. Suppose w*k = 7*k - 144. Does 4 divide k?
True
Let h = -566 - -568. Let i(v) = 11*v**2 - 9*v - 9. Let l(f) = -5*f**2 + 4*f + 4. Let o(j) = -2*i(j) - 5*l(j). Does 6 divide o(h)?
True
Suppose -v + 3576 = 3*v - 4*h, 3*v + 3*h = 2694. Does 28 divide v?
True
Let b = 631 - 552. Is 3 a factor of b?
False
Let i(f) = 16*f**3 + 2*f**2 + 4*f - 10. Does 4 divide i(3)?
True
Suppose -4*k = -4*s + 2956, -4*s + 733 = -3*s + k. Is s a multiple of 46?
True
Let z(y) = 15*y**2 - 3*y + 4. Let l(r) = -16*r**2 + 4*r - 5. Let d(a) = 3*l(a) + 4*z(a). Is d(1) a multiple of 2?
False
Let m = 952 - 560. Suppose u + m = 5*i, -u - 155 = 3*i - 5*i. Is i a multiple of 13?
False
Let g(l) = 3*l**3 - l**2 + 1. Let v be g(1). Suppose v*p + 4*p = 364. Is p a multiple of 12?
False
Let o(z) = -8*z - 66. Does 5 divide o(-15)?
False
Suppose 10 = 5*n, 0*n - 153 = -3*g + 3*n. Is g a multiple of 22?
False
Let v be (-33)/22*-4*1. Let c(o) = o**3 - 7*o**2 + 12*o - 12. Does 4 divide c(v)?
True
Let f(t) = 3*t**2 - 15*t - 98. Does 8 divide f(-9)?
True
Let z = -492 + 1009. Is z a multiple of 11?
True
Suppose 5*x - 1 = 9. Let l(k) = 28*k**2 - 2*k + 1. Is l(x) a multiple of 19?
False
Suppose 47 = 5*f - 4*y + 132, 4*f - y + 57 = 0. Is 11 a factor of (17*(-2)/4)/(f/130)?
False
Let f = 49 - 49. Suppose 0 = 3*t - 4*u + u - 36, f = -2*u - 2. Is t a multiple of 2?
False
Let z(p) = -3*p**3 + p**2 + 6*p - 2. Let t(y) = 7*y**3 - y**2 - 13*y + 5. Let b(i) = 2*t(i) + 5*z(i). Let j be b(3). Let u(x) = 8*x - 11. Does 17 divide u(j)?
True
Let l(b) be the third derivative of -b**5/60 + 5*b**4/12 + 7*b**3/6 + 2*b**2. Let o be l(6). Suppose 0 = 2*a + 7 - o. Is 4 a factor of a?
True
Let u = -10 + 8. Let p be (-12 - -7)*(-24)/(-5). Is 5 a factor of (-594)/p + u/(-8)?
True
Let v(c) = -2*c**3 - c**2 + 1. Let w = 14 - 15. Let i be v(w). Suppose i*o = 4*o - 22. Is 6 a factor of o?
False
Does 4 divide 1 + ((-14)/7 - -198)?
False
Suppose -34 = -9*s + 20. Suppose 0 = 2*i + c - 20, -i - 3*c + s + 9 = 0. Does 5 divide i?
False
Let z(y) = -y**2 - 13*y - 19. Let o be z(-11). Suppose 2*b + 132 = o*g, -g - 4*b + 198 = 4*g. Does 21 divide g?
True
Let a = 20 + -10. Is 13 a factor of a/(-35) + (-478)/(-7)?
False
Let k(z) = 8*z**2 - 65*z + 2. Let d be k(5). Suppose 5*o = 2*l + 351, -2*l - o = -2*o + 371. Let q = d - l. Does 10 divide q?
False
Let o = 6 + -3. Suppose -r - 4*a + 99 = -3*a, -r - 4*a + 90 = 0. Suppose 0*n + r = o*n. Does 17 divide n?
True
Is 3 a factor of 2/6 + (-86)/(-3)?
False
Suppose -4*d + 14 - 6 = 0. Is 1484/20 + d/(-10) a multiple of 6?
False
Let g = 39 - 22. Suppose -m - 15 = -3*y, -y - g = -3*y + 3*m. Suppose -2*w + 4*u = -200, -y*w + 294 = -u - 92. Is w a multiple of 12?
True
Let z be (4/2 - 2)/2 + 51. Suppose w - z - 64 = 0. Does 22 divide w?
False
Does 11 divide 2/8 - 5/((-80)/4572)?
True
Suppose -15*y = -9358 - 12392. Does 4 divide y?
False
Suppose 3*o = -11 + 26. Suppose -w + 2*c + 76 = -209, 2*w - o*c - 569 = 0. Is 23 a factor of w?
False
Suppose 2*y + y + a = -869, -295 = y - 5*a. Let u = 532 + y. Is u a multiple of 11?
True
Suppose 0 = 2*c - 4, 2*c - 5 = 2*u + 1. Let t be ((-3)/(-1))/(u + 2). Suppose -t*f = -6*f + 12. Is 2 a factor of f?
True
Let r(g) = g**3 - 2*g**2 - 2*g + 3. Let j be r(3). Suppose j*a = 16*a - 2030. Is a a multiple of 29?
True
Let j(k) = k + 7. Suppose 3*q = 7*q. Let s be j(q). Let o = s + -1. Is 3 a factor of o?
True
Let k be (-1)/1*(-15 + 19). Is 11 a factor of (3946/(-8) + 3/k)/(-2)?
False
Is (-3)/(-7) + 86581/119 a multiple of 50?
False
Let b = -12 + 141. Let x = 289 - b. Is 16 a factor of x?
True
Let v(t) = 14*t**2 + 4*t - 4. Let q(j) = j**2 - 6*j + 2. Let c be q(6). Does 17 divide v(c)?
False
Let d = 35 + -22. Let a = d + -10. Suppose -a*p - 131 = -5*y + 61, 3*y - p = 112. Is y a multiple of 12?
True
Let l be 156/(-8) + (-2)/(-4). Let a = l - -31. Does 3 divide a*(4/(-16))/(-1)?
True
Suppose 107606 = 37*v - 22227. Is v a multiple of 121?
True
Let f(q) = q**2 + 2*q + 8. Let l be f(0). Suppose 5*y = m - l, 5 = m - 2*y - 0*y. Suppose m*o + a - 41 = 9, 4*a + 8 = o. Is o a multiple of 4?
True
Let n(i) = -65*i**3 - 2*i**2 - 3*i - 2. Is n(-1) a multiple of 8?
True
Suppose 2300 = 4*i + 4*x, 0 = -4*i - 5*x + 1683 + 616. Suppose -i = -2*d - 6*d. Does 6 divide d?
True
Suppose 1 + 2 = -n. Suppose -2*a - 4 = -5*w + 58, 39 = 3*w - 3*a. Does 3 divide -9*(w/n + 3)?
True
Let c(k) = -2*k + 20. Let l be c(-10). Let b = l - -216. Suppose -t = -3*a - 4*t + 132, -5*a + 4*t = -b. Is 12 a factor of a?
True
Suppose -2*r = -3*r + 10. Suppose -2*g = -0*g - r. Suppose -g*l + 266 = -14. Does 14 divide l?
True
Suppose -3*f = -9 - 6, -4*p - 113 = -f. Let z = -14 - p. Is z a multiple of 7?
False
Let r(f) = 2*f**2 - 17*f - 37. Is r(31) a multiple of 8?
False
Suppose -3*d + 14 + 4 = 0. Let j be (12/9)/(4/d). Suppose z - 4*z = j*l - 24, -l + 7 = z. Does 5 