*y - 9. Suppose -3*g = g - 16. Suppose -v*d = -g*d + 22. Is 11 a factor of d?
True
Let t be 15/(-2)*(-8)/12. Suppose -s + t*s = 0. Suppose -k - 4*k + 60 = s. Is k a multiple of 12?
True
Suppose 0 = 4*y + 2*a - 0*a - 8, -25 = -5*y + 5*a. Let q(h) = -14*h**2 - 10 + 13*h**2 + y*h - 13*h. Is 3 a factor of q(-7)?
False
Let d = 15 - 13. Is 5 a factor of d - 18/(-1) - 3?
False
Suppose -2*d + 64 = 2*d + 4*y, 4*y + 8 = 0. Does 12 divide d?
False
Let k = 2 + 2. Let o be 8/k*(0 + 1). Let x = o + 8. Is 7 a factor of x?
False
Let r(d) = 2*d. Let x be (9/15)/(2/10). Let w be r(x). Is (14/(-4))/((-1)/w) a multiple of 12?
False
Suppose -4*f + 3*t = -121, -3*f - 4*t - 116 = -7*f. Let s = f + 10. Does 16 divide s?
False
Let y(o) = -o**3 + 6*o**2 + 10*o + 4. Does 8 divide y(6)?
True
Suppose 0 = 3*q + 4*b - 43, 6*b = 4*q + 2*b - 76. Suppose 15 = -5*m, 4*m - 85 = -5*k - q. Is 8 a factor of k?
True
Suppose 5*p - 4 = -14. Is 2/p - (-22)/2 a multiple of 5?
True
Let t(r) be the third derivative of r**5/15 - r**4/12 - r**3/6 - r**2. Let o be t(-1). Is -5*o*3/(-3) a multiple of 19?
False
Let j = -171 + 276. Is j a multiple of 7?
True
Let n(x) = x**3 + 4*x**2 + x + 2. Let j be n(-2). Is 0 + 0 + -1 + j a multiple of 3?
False
Suppose -2*w = -5*v - 83, -5*w + 4*v = -105 - 111. Let p = -22 + w. Is 17 a factor of p?
False
Let j(s) = -5*s**3 + 12*s**2 + 11*s - 8. Let f(v) = 11*v**3 - 25*v**2 - 23*v + 16. Let d(x) = 4*f(x) + 9*j(x). Is 18 a factor of d(8)?
False
Suppose -2*v - 5*o = 15, -v + 9 = 4*v - 3*o. Suppose v*n - 18 = -n. Is 9 a factor of n?
True
Suppose 0 = 2*o + 5*g - 3 - 3, 5*o + 4*g + 2 = 0. Let c(u) = -5*u**3 - 3*u**2 - 2*u - 3. Is 14 a factor of c(o)?
False
Let k(r) = -9 + 6*r + 0*r - 6. Let z be k(10). Does 8 divide -2*(3 - z/6)?
False
Let j(g) be the second derivative of 25*g**4/12 - g**3/3 - g**2/2 + 2*g. Suppose -4*c - 1 = 3. Does 11 divide j(c)?
False
Let j(l) = 5*l**2 - 1. Let v be j(1). Let x = v - 4. Let c(b) = b**3 + 9. Is 5 a factor of c(x)?
False
Is 1/(-5*(-2)/640) a multiple of 16?
True
Let g = 13 - 6. Let r(j) = -j**2 - 5*j + 3. Let x be r(-6). Let f = x + g. Is f a multiple of 2?
True
Let l be (-16)/(-7) + 8/(-28). Suppose 0 = -l*j - 5 + 33. Is j a multiple of 12?
False
Let s be -2 + (12 - 2/(-1)). Suppose -5*m + 2*k + 2 = -1, s = -4*m - 2*k. Let p = m - -15. Is 7 a factor of p?
True
Let u = -62 - -160. Is u a multiple of 15?
False
Let b(s) = -s**3 + 3*s + 1. Let h be b(-2). Suppose -3*y + 49 = 4*d, 0*d = -3*d - h*y + 39. Is 4 a factor of d?
False
Suppose c + c = -12. Let r(f) = -4*f**3 - 10*f**2 - 3*f + 4. Let h(i) = -9*i**3 - 21*i**2 - 7*i + 9. Let q(l) = c*h(l) + 13*r(l). Is q(3) a multiple of 9?
False
Let i(b) = 45*b**2 - 4*b - 3. Is i(-1) a multiple of 23?
True
Is 23 a factor of 4 + (-8 - 0) - -75?
False
Let o(s) = 11*s**2 + 2*s. Let u(v) = v**2 - 5*v - 8. Let f be u(6). Let c be o(f). Suppose 0 = 5*l - 2*q - 112, -q = -l - 17 + c. Does 12 divide l?
False
Let p(d) = d**2 - 3. Let a(g) = g**3 - 5*g**2 - 7*g + 3. Let i be a(6). Is p(i) a multiple of 2?
True
Let f(g) = -18*g - 22. Does 17 divide f(-5)?
True
Let l be ((-3)/2)/((-6)/16). Suppose -o - 202 = -3*o + l*k, -1 = -k. Let i = -72 + o. Does 20 divide i?
False
Suppose -5*z = -7 - 8. Suppose -81 = -6*u + z*u. Is u a multiple of 9?
True
Let f = -56 - -25. Let a = f + 51. Is a a multiple of 10?
True
Let u be (-4)/18 + (-5194)/(-126). Suppose -3*x = -88 - u. Does 13 divide x?
False
Let j = -16 + 19. Is j a multiple of 2?
False
Let v(r) = r**2 + 2*r. Let b be v(-3). Suppose -3*o = -8*o + 2*n + 66, 0 = -b*o + 3*n + 45. Is 4 a factor of o?
True
Let d = -83 + 121. Is d a multiple of 19?
True
Let v = 83 + -10. Let z = -21 + v. Is 13 a factor of z?
True
Suppose 8*v - 76 = 7*v. Is v a multiple of 14?
False
Let z = 4 + -3. Let d(r) = 3 + z + 26*r - 21*r. Is 11 a factor of d(3)?
False
Let r = 30 - 0. Is r a multiple of 5?
True
Let h be (9/(-15))/(4/(-20)). Is 20 a factor of (-238)/(-6) + 1/h?
True
Suppose -4*y + m + 12 = 0, 4*m + 2 + 6 = -4*y. Suppose y*b - 4*b - 46 = -s, 178 = 4*s - 2*b. Suppose -4*g - 4*x + s = 0, 3*g + 4*x = 33 - 1. Does 6 divide g?
True
Let q(t) = 6*t**2 - 2*t - 1. Is q(2) a multiple of 2?
False
Suppose -2*b + 5*a + 205 = 0, -5*a - 501 = -5*b - 4*a. Is 17 a factor of b?
False
Let c be 2 + 24 + -4 + 1. Suppose 0 = 4*a - 75 + c. Is a a multiple of 13?
True
Suppose -4*l + 5*l = -4. Let n be -2 - (-1 + -2) - l. Suppose -1 - n = -j. Is j a multiple of 6?
True
Let k be -2 + 1/((-2)/(-10)). Suppose 0*p = 3*l - k*p, p = 3*l - 10. Let o(h) = 2*h + 1. Is o(l) a multiple of 11?
True
Let q = -52 + 104. Is q a multiple of 12?
False
Does 20 divide 2 - 111/(-2)*(-4)/(-6)?
False
Let k = 40 + -24. Let h = k + -14. Is h a multiple of 2?
True
Let i(j) = 17*j**2 - j - 7. Let s(u) = -8*u**2 + u + 3. Let t(g) = 3*i(g) + 5*s(g). Let n be t(4). Is 9 a factor of (-1)/(-5) - n/(-10)?
True
Let t(c) = -c**3 - 6*c**2 - c - 2. Suppose -5*a + a - 21 = -3*g, 4*a = -5*g - 29. Let b be t(a). Suppose b*w - 59 - 69 = 0. Is 16 a factor of w?
True
Suppose 0*t = 3*t - 171. Is 19 a factor of t?
True
Suppose 2*l = -3*l + 15. Let d = l + -1. Suppose -88 = -d*z - 2*z. Does 8 divide z?
False
Let q be (3 + -3)/((-2)/(-2)). Suppose q*l - 4*l = 2*d - 78, 0 = -5*d + 2*l + 147. Suppose i + d = 2*i. Does 12 divide i?
False
Let m = -8 - -48. Does 8 divide m?
True
Let n(c) = -14*c - 44. Is 5 a factor of n(-6)?
True
Suppose 293*a - 1270 = 288*a. Does 8 divide a?
False
Let l(f) = -f**2 + f - 30. Let h be l(0). Let a = -25 - -8. Let z = a - h. Is 7 a factor of z?
False
Is 20 a factor of 76/(-19) - (-1 + -121)?
False
Suppose -4*p + 116 = 4*y, -3*y + 132 = 4*p - 7*y. Does 11 divide p?
False
Let r = 2 + 3. Suppose 17 + 63 = r*u. Let y = -10 + u. Is y a multiple of 5?
False
Suppose -60*j - 45 = -65*j. Does 3 divide j?
True
Suppose -3*b + 4*b - 5*x = 10, b + 5*x + 10 = 0. Suppose 0 = -5*t + 2*j + j + 132, 4*t = 4*j + 112. Suppose 2*o - 5*o + t = b. Does 6 divide o?
False
Let n = -127 + 213. Let x(k) = 2*k**2 + 6*k - 17. Let i be x(-6). Suppose -3*r + 19 = 4*q - i, -5*r - q + n = 0. Does 6 divide r?
True
Suppose -4*w = -8*w + y + 7, -4*y = -4*w + 16. Let g(j) = 10*j**2 - 3*j**2 + 14*j**2 + 18*j**2. Is 14 a factor of g(w)?
False
Suppose -90 = 3*q - 8*q. Is q a multiple of 9?
True
Suppose -4*l + 108 = -60. Let w = l - 26. Is 8 a factor of w?
True
Suppose -1 = -2*o + 3*i, 4*o - 57 = -4*i - i. Let r(z) = -8*z - 1. Let l be r(-2). Is (o/(-5))/((-6)/l) a multiple of 3?
False
Let l(x) = 8*x - 6. Is l(17) a multiple of 26?
True
Let l(u) = -5*u - 2. Let j be -1 - (-4 - (2 - 3)). Let b be -3*j/(-8)*-8. Does 14 divide l(b)?
True
Let d(a) = 2*a**2 - 2*a - 8. Is 15 a factor of d(-6)?
False
Let g = -19 - -35. Is 8 a factor of g?
True
Is 26 a factor of 9/15 + 4368/20?
False
Let n(d) = -2*d**3 + d**2 - d - 1. Let q be n(-1). Suppose 4*g - 32 = 8*s - q*s, s = 2*g - 10. Does 2 divide g?
False
Let z = -81 - -233. Suppose q + 28 = -f + 4*f, -z = 4*q - 4*f. Let l = q + 67. Does 12 divide l?
True
Let c be (-303)/(-15) - 2/10. Is 4/12 - c/(-3) even?
False
Let l = 9 - 5. Suppose -11 - 1 = -l*u. Is 4 a factor of (0 - -13)*(u - 2)?
False
Suppose -407 = -12*g + 1369. Is 33 a factor of g?
False
Let y = 17 - 14. Suppose -30 - 24 = -y*i. Is 4 a factor of i?
False
Let k = 50 + -27. Is 10 a factor of k?
False
Suppose w + 1 = 6. Suppose -z - 2*z = v - 45, -v + w*z = -13. Is v a multiple of 11?
True
Let u(f) = f**2 - 3*f**2 + f**2 + 9*f**3. Let b be u(1). Is 3 a factor of b/(-2)*2/(-1)?
False
Suppose 3*d + 12 = r, d + 3*d + 27 = 5*r. Let k(y) = r*y**2 + 2*y**2 + 2 - 4*y**2. Is k(-3) a multiple of 11?
True
Let v(y) = -16*y - 24. Let o(m) = -5*m - 8. Let q(c) = 7*o(c) - 2*v(c). Suppose 11 + 5 = 4*k, i = k - 10. Does 4 divide q(i)?
False
Let p(r) = -49*r + 36. Does 15 divide p(-6)?
True
Let d(g) = -10*g**3 + 2*g + 7. Is d(-3) a multiple of 57?
False
Let o(l) = -l**2 + 3*l + 4. Suppose 4*f - 5*f - 4 = 0. Let w be o(f). Does 8 divide -1 + (w/(-3) - -1)?
True
Suppose -3*i + 40 = -5. Is 5 a factor of i?
True
Suppose -7*g + 12 = -5*g. Is 4 a factor of g?
False
Let y(r) = -r**3 + 7*r**2 + 8*r + 7. Is 21 a factor of y(7)?
True
Suppose -5*a + q = -180, -q = -a + 2*q + 50. Is a a multiple of 16?
False
Let u(k) = -k**2 + 6*k + 3. Let r be u(5). Let j(c) = c**3 - 7*c**2 + c - 9. Is 23 a f