t q(d) = 2*d**3 + d**2 + d - 22*d**3 - 28*d**3 + 1 - 33*d**3. Is q(-1) a multiple of 15?
False
Suppose -2*j - j = 0. Suppose -2*p - p + 39 = j. Does 7 divide p?
False
Let s = 408 + -206. Let f be s/22 - (-6)/(-33). Suppose z = 5*t - f, -2*t = 4*z + 2*t - 36. Does 3 divide z?
True
Let z(n) be the first derivative of -4*n**2 - 13*n - 2. Let l be z(-9). Let w = 105 - l. Is 23 a factor of w?
True
Let y = 2 + 38. Does 13 divide y?
False
Let k(v) = 4*v**2 + 4*v - 4. Is 10 a factor of k(-3)?
True
Suppose -z = -3*w + 16, -2*w - z = 3*w - 32. Let k = 14 - w. Is k a multiple of 7?
False
Suppose 11 = 5*k + 36. Let y = 10 + k. Suppose 0 = y*p - 0*p - 30. Is 6 a factor of p?
True
Let n(f) = 51*f. Does 13 divide n(2)?
False
Suppose -233 = -6*p + 487. Is 20 a factor of p?
True
Let t = 413 - 263. Does 10 divide t?
True
Suppose 474 = -4*p + s - 745, -3*p = s + 909. Is p/(-10) - 2/5 a multiple of 12?
False
Suppose -3 = -n + 1. Suppose 3*x - n*x = -28. Is 14 a factor of x?
True
Let v be ((-63)/4)/(-3)*16. Let m = v - 46. Is m a multiple of 19?
True
Let i(h) = -17*h - 6. Let x be (-4)/10 + 266/(-35). Let g be i(x). Suppose -3*v - 50 = -k, 0 = -k - 2*k + 4*v + g. Is k a multiple of 15?
False
Let b = -3 + 8. Suppose -4*d + 179 = b*f - 133, 5*f + d = 303. Is 15 a factor of f?
True
Is 30 a factor of (1260/(-49))/((-6)/28)?
True
Suppose 2*z + 78 = 4*t, 141 = -5*z - t - 21. Let l = z - -73. Suppose -f = 4*f - l. Does 8 divide f?
True
Suppose 5*m = -5*n + 15, -m = -4*n + 1 - 4. Suppose -72 = -2*t + 4*j, -2*t + m*j - 25 = -96. Does 3 divide 6/(-15) + t/10?
True
Let l(s) = -s**2 + s + 2. Let q be l(2). Let b be (2 - 3) + 13 + 1. Suppose -2*w + a + 3*a = -68, q = -w - 5*a + b. Is 9 a factor of w?
False
Suppose -5*a + 2*h + 26 = 0, 7*a = 3*a + 2*h + 20. Let y = a + 57. Is 21 a factor of y?
True
Let f(i) = i**3 - 3*i - 3. Let b be f(-2). Let r(u) = u**3 + 7*u**2 + 3*u - 7. Is r(b) a multiple of 14?
True
Does 4 divide -2*12/8 - -7?
True
Let g(q) be the second derivative of q**5/20 + 3*q**4/4 + 5*q**3/3 + q. Is g(-7) a multiple of 14?
True
Let d(v) be the third derivative of v**6/120 + 13*v**5/60 + 3*v**4/8 + 5*v**3/2 + 2*v**2. Is 18 a factor of d(-12)?
False
Let n(q) = 6 + 0*q**2 + 4*q + 4*q**3 - 3*q**3 + 6*q**2. Let y = 9 - 14. Is n(y) a multiple of 11?
True
Is 4/(-18) - (-276)/27 a multiple of 10?
True
Suppose 2*s = 6*s. Let k be (-3)/(s + 3) + 166. Suppose -y - 24 = 2*p - 71, -3*y + 2*p + k = 0. Does 22 divide y?
False
Let q = 40 + -20. Is 6 a factor of q?
False
Is 47 a factor of (6/(-10))/((-5)/1325)?
False
Let o = -20 + 46. Does 13 divide o?
True
Let a(c) = -4*c - 6. Suppose 0 = -2*g + 3*v - 93 + 36, 4*v + 1 = -g. Let t be g/6 + 2/(-4). Does 10 divide a(t)?
True
Let z(g) = g**3 - 8*g**2 + 7*g + 4. Let c be z(6). Is 6 a factor of (1 - c)*8/12?
True
Suppose 0 = 2*z + 3 - 7. Suppose 5*h + 112 - z = 0. Let i = 47 + h. Is 13 a factor of i?
False
Let g(n) = -2*n**3 - 2*n + n**2 + 0*n**2 + 0*n - 2 + 0*n**2. Let q = 6 + -8. Is g(q) a multiple of 11?
True
Suppose j - 6 = -j. Let a(d) = -d**3 + 5*d**2 - 3*d + 2. Does 5 divide a(j)?
False
Suppose -12 = -3*v + 7*v. Let y be 4/(-6)*v - 12. Let u = y + 25. Is u a multiple of 15?
True
Does 32 divide (-19)/57 - 386/(-6)?
True
Let i be 1 + 3/(-1) + -2. Let f(n) = -n**2 - 5*n + 4. Is 7 a factor of f(i)?
False
Let a = 538 + -368. Is 13 a factor of a?
False
Let t(g) = g**2 - 2*g + 52. Is t(0) a multiple of 13?
True
Suppose -d = -2*d + 4. Is 15 a factor of ((-10)/d)/(2/(-12))?
True
Let v(f) = 4*f + 3. Let q be v(-5). Let k = 33 + q. Does 16 divide k?
True
Let v = -23 - -43. Is v a multiple of 20?
True
Suppose -2*x + 94 = -42. Is x a multiple of 34?
True
Is (-1 + 19/3)*3 a multiple of 7?
False
Let b(q) = 74*q**3 + q**2 - q + 1. Let a = 15 - 14. Is b(a) a multiple of 22?
False
Let a(y) = -2*y**2 - 2*y**2 + 5*y**2 + 4*y - 6. Is 13 a factor of a(5)?
True
Let w(r) = -2*r. Let p be w(-3). Let i be (-166)/p - (-6)/9. Does 7 divide 2*(1 - i/6)?
False
Suppose -2*f = 6 - 16. Suppose 85 = 5*i - 5*l, -5*l = f*i - 2*i - 51. Does 5 divide i?
False
Suppose 4*b = -4, -2*h - 4*b + 2*b = -42. Is h a multiple of 14?
False
Let b = -171 - -296. Does 25 divide b?
True
Suppose 0*r + 4*r + 4*b = 0, r - 2*b - 9 = 0. Suppose 5*a - 26 = -2*d, r*d = -a + 39 - 13. Is 8 a factor of d?
True
Suppose 2 = 4*b - 2. Let c be ((-9)/(-6))/(b/(-2)). Let n(g) = 2*g**2 + 4*g + 1. Does 7 divide n(c)?
True
Let c be 161 + (3 - (3 + 0)). Let n = c - 106. Is 1220/n - 2/11 a multiple of 11?
True
Is 3900/18 - 2/3 a multiple of 18?
True
Let a = -18 - -27. Is a a multiple of 3?
True
Suppose 2*g + n = 3*g - 9, -3*g + n = -21. Suppose 31 = g*z - 5*z. Is 20 a factor of z?
False
Let t be -10 - -30 - 4/(-2). Suppose q = 3*q - t. Does 5 divide q?
False
Let d = -105 + 39. Let h = 110 + d. Is h a multiple of 22?
True
Suppose 8 - 23 = 5*j, -m = -5*j - 35. Let l be ((-33)/3)/(2/(-14)). Suppose -3*f + l = m. Is 12 a factor of f?
False
Let u = -21 - -47. Does 8 divide u?
False
Let g = -3 + 5. Let t(c) = 5*c**2 + c - 1. Let p be t(g). Does 6 divide 117/7 + 6/p?
False
Let p(w) = w**2 + w + 1. Let c be p(2). Let s(y) = y**3 - 5*y**2 - 5*y - 7. Let b be s(c). Is b/6*3/2 a multiple of 7?
True
Suppose -3*o = -2*o - 124. Let q = o + -87. Is 27 a factor of q?
False
Suppose -30 = -0*m - 3*m. Is 5 a factor of m?
True
Let p be -3 + (0 - (1 + -1)). Let g = p + 6. Suppose -g*w - w + 16 = 0. Does 2 divide w?
True
Suppose 0 = 5*q - q - 12. Suppose q*b = 4*x + 13, -3*b + 1 = -8. Is 15 a factor of (-303)/(-6) + x/2?
False
Let j = -31 - -81. Is 2 a factor of j?
True
Suppose 126 - 18 = 2*o. Suppose 0 = -4*d + 7*d - o. Is d a multiple of 18?
True
Suppose 5*c = 4*c + 24. Is c a multiple of 6?
True
Suppose 33 + 17 = -5*b. Let y(h) = -2*h - 3. Is 17 a factor of y(b)?
True
Suppose -4*j + 40 = -0. Is (-591)/(-15) + (-4)/j a multiple of 13?
True
Let o = -11 - -7. Let r(x) = 2*x**2 - 2*x + 1. Let y be r(o). Let p = y + -12. Is p a multiple of 11?
False
Let d = -18 + 12. Let u(l) = -15*l - 69. Let p(o) = 2*o + 10. Let n(x) = 27*p(x) + 4*u(x). Is n(d) a multiple of 15?
True
Let h(i) = -10*i - 6. Does 3 divide h(-2)?
False
Suppose 5*w = -4 - 46. Does 7 divide ((-14)/5)/(2/w)?
True
Let u be -7*-12*2/(-28). Let x(o) = -15*o - 1. Is 34 a factor of x(u)?
False
Let l = 5 - 3. Suppose -l*u + 5 = -u. Suppose 3*f - 69 = u*c - 0*c, 4*f = -4*c + 92. Is 14 a factor of f?
False
Suppose -4*h = 3*x + 8, x = -6*h + 2*h. Let t = x - -6. Does 12 divide (t/(-3))/((-2)/75)?
False
Let f(a) = a**3 - 12*a**2 + 27*a - 14. Does 27 divide f(11)?
True
Let b(r) = r**3 - 6*r**2 + 3. Is 3 a factor of b(6)?
True
Suppose 2*a - 2 - 58 = 0. Let s = a + -10. Is 4 a factor of s?
True
Let v(t) = -12*t**2 + t - 1. Let c = 3 - 2. Let b be v(c). Let f = b + 20. Is f a multiple of 5?
False
Let d(c) = -c**3 - 2*c**2 + c - 7. Is d(-4) a multiple of 8?
False
Let w(b) = -b + 42. Is w(15) a multiple of 6?
False
Let x = -132 - -222. Does 3 divide x?
True
Let h(w) be the second derivative of w**5/20 + w**4/3 - 5*w**3/6 + 3*w**2 - 3*w. Does 3 divide h(-5)?
True
Suppose 0 = -8*l - 10 + 938. Is 17 a factor of l?
False
Let c = -22 - -5. Let x(z) = -z + 29. Let a be x(0). Let q = a + c. Is 12 a factor of q?
True
Is ((-2)/(-4))/((-6)/(-624)) a multiple of 13?
True
Let s(i) = -i**2 - i + 44. Let v be s(0). Let r = v - 21. Does 8 divide r?
False
Suppose 0 = 8*a - 2109 + 405. Does 33 divide a?
False
Suppose -4*t + 1624 = -d - 2*d, -4*t = 3*d + 1616. Is (-4)/(-10)*d/(-6) a multiple of 12?
True
Let m(p) = 5*p**2 + 4*p + 3. Let l be m(-2). Let n be 5/(-2)*(-24)/l. Suppose n*d - 15 = -o - 2*o, 4*o = -2*d. Is d a multiple of 6?
True
Let a = -8 - -69. Is 12 a factor of a?
False
Suppose 0 = -w + 6*w - 265. Suppose 69 + w = 2*c. Does 19 divide c?
False
Suppose -w + 11 = -22. Let v = w - 80. Let x = v + 81. Is x a multiple of 17?
True
Suppose 0 = -3*u + 188 + 124. Does 13 divide u?
True
Suppose -b = -2*p - 3*b + 70, b = -2*p + 72. Let a = 2 + -19. Let l = p + a. Is l a multiple of 11?
False
Let f(j) = 2*j - 4. Let k be f(5). Is (-1 - 0)*k/(-2) a multiple of 3?
True
Let r be (92/(-16))/(2/(-8)). Let x = -38 + r. Let s = x - -25. Is 10 a factor of s?
True
Let q = 14 - 5. Let h(c) = -c**3 + 9*c**2 - c + 11. Let g be h(q). Does 8 divide (g - 0) + (2 - -4)?
True
Let q(x) = -28*x**3 + x**2 + x + 