e -g*u + 31 = -8*u. Does 20 divide u?
False
Let c(t) = -21*t + 7. Let k be c(-3). Suppose -3*l + 310 - k = 0. Does 7 divide l?
False
Let i(h) = -48*h**2 - 3*h - 4. Let s be i(-2). Let w = -88 - s. Is 17 a factor of w?
True
Let m(p) = p + 7. Let u be m(-11). Suppose 3*j - 14 = 16. Let k = u + j. Does 4 divide k?
False
Let k(f) = -f**3 + 7*f**2 + 2. Let x be k(7). Let q be (0/x)/(-3)*-1. Suppose -3*v + q = -3*r + 12, -v + 12 = r. Is r a multiple of 4?
True
Suppose -7 = t - 5. Let n be (-31 + -2)*(t + 1). Suppose -5*g = -n - 42. Does 15 divide g?
True
Suppose -2*p + 5 = 1. Let n(f) = f**p + 3*f**2 + 5 + 2*f - 3*f**2. Does 13 divide n(-4)?
True
Let i = 50 + -46. Suppose 3*g = 5*c - 150, i*c - 120 = g + g. Is 15 a factor of c?
True
Let f be (-1112)/14 + 20/(-35). Does 4 divide (-3)/7 + 3/(-21)*f?
False
Let f = -61 + 76. Is (1 - -126) + f/(-5) a multiple of 19?
False
Let b be 361/3 - 38/(-57). Let a = b + -118. Does 3 divide a?
True
Let w be (1 - 6)/(10/(-4)). Suppose -w*l - 29 = -101. Is 12 a factor of l?
True
Suppose a + 2 + 1 = 0, 5*a + 895 = 5*l. Suppose b - l = 5. Is b a multiple of 52?
False
Let a = 87 - 85. Is a + (-4)/1 + 156 a multiple of 30?
False
Let g(i) = i**3 - i**2 + i. Let k(t) = -t**3 + 7*t**2 - 13*t - 9. Suppose -17*u + 20*u + 6 = 0. Let j(z) = u*g(z) - k(z). Is j(-7) a multiple of 10?
True
Let h(c) = -c**3 - c + 46. Let u be h(0). Let s = u - -27. Does 12 divide s?
False
Let z = -13 - 31. Let i(w) = 10*w**3 - 2*w**2 + 4. Let r be i(2). Let o = z + r. Does 11 divide o?
False
Let h(g) = -7*g**2 - 30*g - 12. Let s(z) = -15*z**2 - 61*z - 25. Let o(p) = 13*h(p) - 6*s(p). Is o(-19) a multiple of 7?
False
Let y(z) = 10*z**2 - 15. Let v be y(5). Let b = v - 133. Does 25 divide b?
False
Suppose 4*v + v + 395 = 0. Let y = v + 111. Is 15 a factor of y?
False
Let y(o) = 11*o - 5. Let t be (1/(-3))/((-1)/21). Does 9 divide y(t)?
True
Let n(l) = -l**2 + 20. Let c be n(-4). Suppose 4*i + c*i = 2128. Is i a multiple of 14?
True
Let o(d) = d**2 - 6*d - 9. Let l be o(-7). Suppose 0 = -3*s - 4*r - 70, 7*s - 2*r = 3*s - 108. Let h = s + l. Does 28 divide h?
True
Let l = -9 - -16. Suppose -650 = -l*u + 2*u. Is 26 a factor of u?
True
Let n = -978 + 1389. Is n a multiple of 22?
False
Suppose -5*j - v + 5*v + 65 = 0, -j + 13 = 4*v. Let k be ((-3)/4)/(2/24). Let c = k + j. Is 3 a factor of c?
False
Let a(g) = 3*g + 3 - 2*g - 2 + 9. Let m be a(-10). Suppose 2*c = -m*c + 2, w - 24 = -c. Is w a multiple of 13?
False
Let a be (-15)/(-4) + (-3)/(-12). Suppose 6*j + 8 = 10*j, 24 = 5*y + 2*j. Suppose 20 = a*l, -y*r + 2*l = -3*r - 4. Is r a multiple of 7?
True
Let b = 16 + 490. Is 22 a factor of b?
True
Let r(k) be the third derivative of k**5/60 + k**4/12 - 2*k**3/3 + 2*k**2. Let o be r(-4). Suppose -l = -5*l - 20, o*h + l = 223. Is h a multiple of 19?
True
Let h(a) = 12*a**3 + 8*a**2 - 21*a + 9. Does 32 divide h(6)?
False
Let a = 0 + 0. Does 14 divide a - (-5)/((-10)/(-112))?
True
Suppose u - 5*n - 10 = -0*u, -5*u + 98 = -n. Suppose -8 - u = -2*i. Is i a multiple of 10?
False
Let a(b) be the first derivative of -b**3/3 + 11*b**2/2 + 17*b + 18. Let l be 1/(-2 + (-25)/(-12)). Does 2 divide a(l)?
False
Let a = 698 + -527. Is 3 a factor of a?
True
Suppose 5*q = 4*q. Suppose 5*v = -4*i + 159, q*i - 5*v + 77 = 2*i. Is 12 a factor of i?
False
Suppose 15 = 4*z + 5*s, -3*s = -3*z + 4*z - 2. Suppose -3*y = -z*y + 10. Let l = y - -15. Is l a multiple of 10?
True
Does 10 divide (-10)/((-20)/414) + 3?
True
Let h(u) = 104*u**2 - 3*u - 2. Suppose 2*s + 3 = 1. Is 20 a factor of h(s)?
False
Suppose 0 = -3*j - j + 84. Suppose q = -j + 54. Is 10 a factor of 6/(-3)*q/(-2)?
False
Let c(i) = -i**3 + 3*i**2 + 1272. Is 70 a factor of c(0)?
False
Suppose 257 = 4*o - 0*o + 3*x, 4*x + 298 = 5*o. Suppose -3*w + 42 = -t, -2*t - 4*w - o = w. Is 7 a factor of (-872)/t + (-4)/18?
False
Let y = -15 - -14. Let l be 6*3/(-6)*y. Suppose 8*a = l*a + 90. Is 9 a factor of a?
True
Let f be -3 + 4*(-4)/8. Let y(r) = 6*r**2 + 6*r - 4. Let x be y(f). Suppose -3*t = 6*a - 2*a - 172, 2*t - x = -4*a. Is 29 a factor of t?
False
Suppose 3*s = 2*r - 368, 4*s - 89 - 497 = -3*r. Does 74 divide r?
False
Let i = -83 - -143. Suppose -57*l - 531 = -i*l. Is 24 a factor of l?
False
Let n(m) = -m**3 + 34*m**2 - 98*m - 3. Is 34 a factor of n(29)?
True
Let j(p) = -p**2 + 4*p + 27. Let i be j(-16). Let w = -172 - i. Does 11 divide w?
True
Let d = 117 - 70. Let q = d - -13. Is q a multiple of 30?
True
Suppose 3*b - 4 - 5 = 0. Let j = -7 + 15. Suppose 0 = -b*m + j + 187. Is 14 a factor of m?
False
Let o be (-13 + 1)/(-2 - (2 + -5)). Is (-1 - -220) + (-9 - o) a multiple of 9?
False
Let f(t) = -918*t + 240. Does 12 divide f(-2)?
True
Suppose -4*c + k + 7478 = 0, 3*c - 5903 = -5*k - 283. Is 30 a factor of c?
False
Let p(m) be the third derivative of -m**7/504 - m**5/12 + 3*m**2. Let v(x) be the third derivative of p(x). Is v(-1) a multiple of 7?
False
Let i(z) = 2*z**3 - 4*z**2 - 6*z + 3. Let c be i(-5). Let t = -181 - c. Is 22 a factor of t?
False
Let h(l) = -32*l + 62. Is 37 a factor of h(-5)?
True
Let a(r) = r**2 + 3*r + 8. Let c be a(-4). Suppose 2*z - 2 = -5*v - 0*v, 5*z - 40 = 5*v. Does 22 divide c*(26/z + 3)?
True
Let q(r) = -r**3 + 5*r**2 + 12. Let h = -14 - -18. Does 7 divide q(h)?
True
Let y(q) = 3*q**2 - 21*q + 172. Is y(39) a multiple of 22?
True
Let k(o) = o**2 - 12*o + 12. Let x = 44 - 32. Let i be k(x). Is 17 a factor of (i/(-21))/(2/(-119))?
True
Let t = 29 + -29. Suppose t = 4*o - 41 - 43. Is 7 a factor of o?
True
Let z = 87 - 85. Suppose z*o - 30 = 24. Does 9 divide o?
True
Let s = 7 - 3. Suppose -4*q = -q - 6, s*q = -4*t + 8. Suppose 5*v - 2*x - 78 = -t*v, 4*v = -x + 52. Does 6 divide v?
False
Suppose 0 = -221*d + 204*d + 17952. Is d a multiple of 88?
True
Suppose 68 = 2*a - 3*p - 1863, -1926 = -2*a + 4*p. Does 11 divide a?
False
Let w = -25 - -25. Suppose w*l = 5*l - 230. Is l a multiple of 29?
False
Suppose -2*c - 15 = -27. Let k be (0 - 3)/(7/(-35)). Suppose -3*b - c = -k. Is 2 a factor of b?
False
Let b be (0 - 2) + 10 + -10. Is 17 a factor of ((-8)/12)/b*111?
False
Suppose -4*m + m = -2217. Suppose 2*z = 2*l - 75 + 443, 4*z = 5*l + m. Is 37 a factor of z?
False
Let c(h) = -2*h**2 - 54*h - 1. Is c(-25) a multiple of 7?
False
Let l(g) = 2*g**2 - 27*g - 9. Let m be l(12). Is 15 a factor of m/(4/(64/(-12)))?
True
Let o = 28 + -17. Suppose 29 = j - o. Suppose 4*d - j = -d. Is 6 a factor of d?
False
Let l be 128/24*(-15)/(-4). Suppose -3*r + 13 = -l. Is 8 a factor of r?
False
Suppose i - 114 = 5*g, -3*g - 49 = -5*i + 15. Let l = g - -31. Is 3 a factor of l?
False
Suppose 2*n - 3*n = -51. Is 2 + (n - 1) - -2 a multiple of 11?
False
Let z = 899 - 621. Does 6 divide z?
False
Let q(h) = -h**2 + 3*h + 3. Let u be q(3). Let j(r) = r**2. Let x(y) = -8*y**2 + y - 3. Let c(s) = -6*j(s) - x(s). Is c(u) a multiple of 5?
False
Suppose -x + 6 = -0*x. Let f(i) = -i - 3. Let v be f(-7). Suppose v*w + x = 94. Is w a multiple of 8?
False
Suppose 178 = 2*r - 0*r. Suppose -4*p + a = -109 - 2, 0 = 3*p + 5*a - r. Is p a multiple of 14?
True
Suppose h - 155 = 412. Does 39 divide h?
False
Let h(o) = 19*o**2 - 2. Does 2 divide h(-2)?
True
Let l(z) = z - 1. Let w(j) = -9*j - 3. Let k(q) = 4*l(q) + w(q). Let d be k(-7). Suppose -300 + d = -4*u - 2*p, p - 2 = 0. Is u a multiple of 27?
False
Suppose r = -36 + 35. Let x(w) be the third derivative of -11*w**4/12 + w**3/6 + 2*w**2. Is 23 a factor of x(r)?
True
Let u be -2*2/((-6)/9). Let x be ((-11)/2)/((-1)/10). Suppose a - u*a + x = 0. Does 10 divide a?
False
Let q(n) = -804*n**3 - 2*n**2 + 1. Is q(-1) a multiple of 29?
False
Is 3 - (3*-38)/3 a multiple of 13?
False
Suppose 3*o - 2 - 21 = 4*d, -2*d - 15 = -5*o. Let m(u) = 71*u**3 - 2*u + 1. Does 14 divide m(o)?
True
Let f = -50 - -51. Let n = f - -44. Is 14 a factor of n?
False
Suppose -3*k - 2*k - 5*y = -40, -3*k + y = -4. Suppose k*s + 5*u - 10 = 0, -3*s = 2*s - 5*u - 30. Is 5 a factor of s?
True
Let p(q) = 25*q**2 + 18*q + 66. Does 10 divide p(-3)?
False
Let h = -17 + 30. Suppose -5*f = h + 2. Is 5 a factor of (-4 - f)/1*-9?
False
Let a(b) = 53*b + 2. Let v(s) = 26*s + 1. Let o(u) = 2*a(u) - 5*v(u). Let d be o(-2). Suppose -2*c + 27 = -5*k, 2*c - d + 0 = k. Is 13 a factor of c?
True
Let x(t) = 15*t**2 + 30*t. Is 8 a factor of x(