6 + 16. Is 9 a factor of q?
False
Is (52/(-39))/((-2)/39) a multiple of 12?
False
Suppose 2*l = 4*l + 4. Let v be 4 - (l + -2 + 2). Suppose -i = -2*i + v. Does 6 divide i?
True
Let l(g) = -g**2 + 3*g + 3. Let b be l(3). Suppose -23 = -2*v - b. Is 4 a factor of v?
False
Let s(g) = 10*g**2 + 3*g - 2. Is 11 a factor of s(2)?
True
Let v(b) = 29*b**3 - b**2 - b + 1. Let x be v(1). Suppose -x - 56 = -2*g. Is 24 a factor of g?
False
Suppose w - 5*j = 5, -j - 25 = -5*w + 3*j. Is 2 a factor of 28/w + (-4)/(-10)?
True
Suppose 4*h = 6*h. Suppose h = 4*t - t - 87. Is t a multiple of 6?
False
Let x(j) = 7*j**2 - 2*j + 1. Let h be x(1). Let o = h - -11. Is o a multiple of 7?
False
Let h = -70 - -77. Is 3 a factor of h?
False
Let h(k) = -k**2 - 15*k - 13. Let w be h(-11). Let j(o) = -o**2 - 6*o + 4. Let c be j(-6). Suppose -52 = -c*a - y, 5*a - w = 2*y + 21. Is a a multiple of 6?
True
Suppose 0 = 3*d + 15, u + 0*u - d = 9. Does 4 divide 2*2/u*11?
False
Let n be (5/(-20))/(1/(-4)). Let v = 6 + n. Is 6 a factor of v?
False
Let r(f) = 2 - 7 + 2*f - 2. Suppose 5*i - 50 = -x + 6*x, 3*i - 2*x - 26 = 0. Does 3 divide r(i)?
False
Let v(m) = -6*m - 9. Is 27 a factor of v(-6)?
True
Let y = -38 + 78. Is y a multiple of 16?
False
Suppose 5 = -2*q - c + 19, 2*q = 4*c + 4. Let f = -3 + q. Does 3 divide f?
True
Suppose -h = -5*h + 120. Does 15 divide h?
True
Is 19 a factor of (-1292)/(-16) + ((-6)/(-8))/3?
False
Let a(t) = t + 44. Is a(-16) a multiple of 14?
True
Let k(g) = g**3 + 9*g**2 + 4*g - 10. Is 19 a factor of k(-7)?
False
Is 38 a factor of (-6)/48 - (-3042)/16?
True
Let t(z) = 187*z + 3. Let p(i) = -94*i - 2. Let f(q) = -5*p(q) - 3*t(q). Let g be f(3). Does 21 divide g/(-6) - (-4)/6?
False
Suppose 537 + 199 = 4*z. Does 23 divide z?
True
Suppose -112*s = -110*s - 658. Is s a multiple of 20?
False
Suppose 0*d - 4*d + 168 = 0. Is d a multiple of 14?
True
Let q = -11 - 7. Let a = q + 36. Is a a multiple of 18?
True
Suppose -3*c + 191 + 19 = 0. Is 20 a factor of c?
False
Suppose -7 = -3*q - 0*b + b, -2*b - 11 = -3*q. Let o(g) = 4*g**2 - g. Is o(q) a multiple of 3?
True
Let k = 16 + 119. Does 27 divide k?
True
Let i = 324 + -165. Is i a multiple of 53?
True
Does 6 divide (35/(-2) - -2)/((-2)/4)?
False
Let x(t) = 13*t + 8 - 7 + 2*t**2 + 8. Is x(-8) a multiple of 6?
False
Let p be (7 + -1 + 1)*1. Let o(r) be the second derivative of r**3/3 + 4*r**2 - 4*r. Does 8 divide o(p)?
False
Let c be ((69 + 0)/(-3))/1. Let k = 32 + c. Let s = 15 - k. Does 3 divide s?
True
Suppose -t = -1 - 2. Suppose n - 10 = t*n, -13 = -3*j + 2*n. Let b = 8 + j. Is b a multiple of 9?
True
Let u = 2 - -22. Let j = u - 9. Does 5 divide j?
True
Let w(g) = -g**3 - 10*g**2 + 7*g - 2. Does 6 divide w(-11)?
True
Suppose -110 - 130 = -3*s. Is s a multiple of 10?
True
Suppose 0 = 4*w + 4*t + 15 - 71, -5*w = 2*t - 58. Does 2 divide (w/(-4))/(10/(-20))?
False
Let c(x) = 4*x - 4. Let k be c(4). Suppose -k + 2 = -5*l. Suppose 0 = -l*a + f - 0*f + 27, -4*a - f = -57. Does 7 divide a?
True
Suppose 2*s - 3*g = 1, -s - g = 2*g - 5. Suppose b + 0 = s. Is 13 a factor of 23 + (b - 1) + 2?
True
Is 30 a factor of (-18)/(24/(-4)) + 267?
True
Let a = 11 - 8. Let v be 20 + 0 + -2 + -2. Suppose -2*k - v = -a*k. Is 10 a factor of k?
False
Let t(c) = c**3 - c**2. Let s = -6 + 6. Let u be t(s). Suppose 4*j - 150 + 6 = u. Is j a multiple of 18?
True
Let d(l) = 3*l**3 - 6*l**2 + 2*l + 13. Does 10 divide d(4)?
False
Let a(y) = y**2 - y + 1. Let h be a(0). Suppose 3*v + 75 = 8*v. Suppose 0 = -4*c + w + 19, 3*c - w - v + h = 0. Is 3 a factor of c?
False
Let q(g) = 2*g - 2. Let z be q(2). Let i(f) = 47 - 10*f**z + 11*f**2 - 15. Is i(0) a multiple of 9?
False
Let l = -1 + 3. Suppose t + 5*n + 26 = 8, 0 = 3*t - l*n - 31. Suppose 3*k - 55 = -t. Is k a multiple of 7?
False
Suppose -3*f + 50 = -2*c, -f - 4*c = -0*f - 40. Is 12 a factor of f?
False
Let a be 3*(12/(-9))/(-2). Suppose 2*d = -3*b + 4*b - 24, -a*b = d - 23. Does 10 divide b?
False
Let p(r) = -r**3 + 5*r**2 + 7*r - 2. Let s be p(6). Let d = s - 0. Suppose 1 + d = -u - 2*t, -t = u. Is 5 a factor of u?
True
Let b(n) = 6*n**2 + 7*n - 14. Let a(h) = -9*h**2 - 11*h + 21. Let j(i) = -5*a(i) - 7*b(i). Is 25 a factor of j(3)?
False
Let u(k) = -27*k - 4. Let x be u(6). Let a be (-8)/20 + x/10. Let y = a + 37. Is y a multiple of 10?
True
Let l = 3 + -5. Let h(x) be the third derivative of -x**6/120 + x**5/20 + x**4/12 - x**3/6 - 3*x**2. Is 9 a factor of h(l)?
False
Suppose -5*v - 5 = -5*c, 0*v - 2*v + 23 = 3*c. Let d = 1 + 3. Suppose 0 = -d*w - v*a + 20, -4*w + 33 = w + a. Does 7 divide w?
True
Let p be (-6)/(-27) + 43/9. Suppose -7 - p = -2*x. Is 6 a factor of x?
True
Suppose -4*p + 6 + 2 = 0. Suppose 0*k + 51 = k - 2*v, -p*k + 101 = -5*v. Does 21 divide k?
False
Suppose -7*z = -3*z + 184. Let n = z + 79. Is 19 a factor of 1248/n + 2/11?
True
Let j be ((-8)/(-6))/(4/12). Let t(i) = -3 - 2*i**2 - 5*i + 3*i**2 + j*i. Is t(4) a multiple of 8?
False
Let g be ((-9)/6 - -1)*-12. Does 12 divide (g/3)/((-3)/(-36))?
True
Suppose 0 = 3*v + 5*z - 89, 5*v - z = 123 + 44. Is v a multiple of 3?
True
Suppose 5*g - 3*g - 22 = -3*y, y + 1 = g. Suppose y*z = -z. Suppose 41 = 2*p + v, z*p + p + 4*v = 10. Is p a multiple of 11?
True
Suppose -14*s + 1133 = 293. Is s a multiple of 12?
True
Let p(d) = -d**3 + 6*d**2 - 4. Let o = 58 - 6. Let q be 2/(-8) - o/(-16). Does 11 divide p(q)?
False
Let r(b) = b**3 + 6*b**2 + 2. Let z be r(-6). Suppose -5*n + 3*i - z*i = -6, -12 = -3*i. Suppose -12 = -n*m - 2. Does 3 divide m?
False
Let h = 24 - 19. Suppose -3*a = -5*d + 23 + 15, -30 = -d - h*a. Is 10 a factor of d?
True
Suppose 108 = -2*l + 5*l. Suppose c = -2*c + l. Is 6 a factor of c?
True
Let d = 1 + 1. Suppose 0 = -o - 4*t + 7 - 2, -d*o = t - 10. Suppose -o + 25 = 5*z. Is z a multiple of 3?
False
Suppose -4*x + 18 + 18 = 0. Let g(a) = a**3 - 10*a**2 + 10*a - 13. Let b be g(x). Let p(i) = -7*i - 4. Is 12 a factor of p(b)?
True
Suppose -2*w + 3 = -3. Suppose 3*c - 79 = -u, 12 + w = -5*c. Does 22 divide u?
True
Let h be 1/((1 + 0)/(-3)). Suppose -2*s + u + 9 = -0*s, 0 = -4*u + 20. Let q = s + h. Is q a multiple of 4?
True
Let w = 53 + -12. Is 11 a factor of w?
False
Is 1*107 + (-4 + -2)/(-6) a multiple of 6?
True
Let l(z) = z**3 + 10*z**2 + 10*z + 12. Let m(r) = -r**2 - 9*r - 6. Let g be m(-10). Let n = -25 - g. Is 2 a factor of l(n)?
False
Let t = 0 + -3. Let b(i) = -2*i - 5. Let m(y) = y + 1. Let w(k) = -b(k) - 4*m(k). Is 7 a factor of w(t)?
True
Suppose -77*p + 78*p - 75 = 0. Is p a multiple of 15?
True
Let l = -16 - -8. Suppose -2*v = -5*k - 20, 2*v = v + 3*k + 12. Let a = v - l. Is 8 a factor of a?
True
Let t(s) = s**2 + 4*s + 6. Let n(a) = 2*a**2 - 3*a - 4. Let i be n(3). Does 13 divide t(i)?
False
Let y(h) = 7*h - 2. Let w(r) = 2*r + 1. Let j be w(2). Let g = 8 - j. Is 11 a factor of y(g)?
False
Let r = -95 - -157. Is r a multiple of 16?
False
Let y be (-640)/(-35) + 2/(-7). Let z be (y/(-4))/(6/(-8)). Is 4 a factor of (-4)/z + 52/6?
True
Suppose 9*v = 7*v - 4. Let z(w) = w**2 - w + 4. Let r be z(3). Does 16 divide r*-1*5/v?
False
Is 2 a factor of 3 + ((-4)/18 - (-112)/18)?
False
Let u = -4 + 7. Let x = u + -3. Suppose x*l + 3*l = 108. Does 18 divide l?
True
Suppose 2*g + c - 390 = -86, 5*c + 20 = 0. Does 9 divide g?
False
Suppose -h - h + 13 = w, -4*h + 5 = -5*w. Does 31 divide 90 + ((-9)/(-3) - w)?
False
Does 7 divide 5*(-1)/(-25) + 418/10?
True
Let c(u) = 2*u + 0*u**2 + 2*u + 2*u**2 + 0 + 4. Is c(-4) a multiple of 5?
True
Let n be (-2)/(-6) - (-394)/6. Suppose a + 3*i = 17, -n = -5*a - 0*i + 4*i. Suppose a + 22 = j. Does 12 divide j?
True
Let q(j) = j - 8. Let r be (0*(-2)/(-6))/(-2). Let l be q(r). Does 5 divide 1 + (0 - 4) - l?
True
Let d(o) = -o**2 - 11*o + 14. Does 16 divide d(-9)?
True
Let b(r) = -r**3 + 4*r**2 - r - 1. Let k be b(2). Suppose -k*l + 226 = -24. Does 13 divide l?
False
Let v(w) = 10*w**2 - 4*w + 3. Is 9 a factor of v(1)?
True
Let s = -39 + 24. Does 12 divide (-4)/6 - 370/s?
True
Is ((-22)/(-8))/(1/20) a multiple of 18?
False
Is 5 a factor of 6/12*4 - -17?
False
Let j(t) = 5*t**2. Let p be j(1). Suppose -4*w = -11 - p. Suppose 0 = w*d - 56 - 48. Is d a multiple of 8?
False
Let l = 14 + 20. Is 10 a factor of l?
False
Let x be (-243)/(-6)*4/6. Let g = x - 6. Is g a multiple of 7?
True
