tor of s?
True
Suppose r - 7*r - 6 = 0. Let j = r + 89. Is 52 a factor of j?
False
Suppose -q + 1 = 4*z, 3*q - 4*z + 25 = -2*z. Let t be 1/4*(1 - q). Suppose -c + 63 = 3*k, t*c - 5*k + 1 = 149. Is 14 a factor of c?
False
Suppose -1522 = -5*y + 2*g, -3*y + 604 = -y + 4*g. Does 13 divide y?
False
Let p(r) = -6*r**3 - 3*r**2 + 2*r - 4. Let l be p(-4). Let m = l + -197. Suppose k - m = -4*j + 2*k, 0 = -2*k + 2. Does 16 divide j?
True
Let q(m) = 8*m**2 - 8*m - 3. Let x be 255/(-45) + (-1)/3. Is 37 a factor of q(x)?
True
Let q(z) = -3276*z - 75. Is q(-1) a multiple of 33?
True
Let s = -1318 + 2122. Is s a multiple of 67?
True
Suppose 6*s + 750 = 9*s. Suppose s = -0*f + 5*f. Is 15 a factor of f?
False
Suppose -c + 3*x + 12 = 0, 0 = -2*c - 6*x + x - 31. Let y = c + -2. Is 1*-111*y/15 a multiple of 5?
False
Suppose 0 = -2*f - 2*f + 16. Let p be 1/(-1*(-2)/f). Suppose 0*t = -p*t + 32. Is t a multiple of 16?
True
Is 8/(-14) - 23*16/(-56) even?
True
Let i be 1*(3 + (-21)/6)*-10. Let x(f) be the third derivative of f**5/60 + f**4/12 + f**3/2 + f**2. Does 14 divide x(i)?
False
Let i = -52 - -59. Suppose -2*s = -i*s + 680. Is s a multiple of 17?
True
Let u be (4/(-8))/(((-3)/(-24))/(-1)). Let g(x) = 4*x + 12. Is g(u) a multiple of 11?
False
Let i be (25/(-2))/((-2)/(-12)). Let w = i + 30. Let u = -11 - w. Does 28 divide u?
False
Let k = -680 + 1512. Does 13 divide k?
True
Let f(q) = -2*q**3 + 32*q**2 + 41*q - 33. Does 13 divide f(17)?
False
Let x(u) = -3 - 26*u**3 + 0*u + 0 - 47*u**3 + 2*u. Let p be x(3). Does 12 divide p/(-64) - 1/(-4)?
False
Let n(c) = 2*c**2 + 13*c - 2. Let d be n(-4). Let i(w) = -w**2 - 28*w + 6. Does 32 divide i(d)?
False
Let k(p) = 2*p**3 + 2*p**3 + 3 + 8*p**2 - p**3 - 2*p**3. Let i(h) = -h**3 + h**2 + 3*h + 1. Let q be i(3). Is k(q) even?
False
Suppose 0*p + 576 = 2*p + 2*i, -p + i + 284 = 0. Does 26 divide p?
True
Let m(i) be the first derivative of 2*i**3/3 + 12*i**2 + 12*i + 26. Is m(-16) a multiple of 31?
False
Let z(x) be the second derivative of x**3/6 + 43*x**2/2 - 39*x. Does 13 divide z(-17)?
True
Let y(c) = c**2 + 4*c - 3. Let z be y(-5). Suppose -3*d + z*d = -64. Is d a multiple of 16?
True
Let d(q) = 7*q - q - 8 - 3*q. Does 10 divide d(18)?
False
Is 54 a factor of 25644/64*4 + 1/4?
False
Let x(o) = o**3 + 9*o**2 + 8*o + 7. Let l be -46*3*3/18. Let j = l - -15. Is x(j) a multiple of 7?
True
Let l(z) = z**2 - 6*z + 26. Let b be l(14). Let x = 36 + b. Is 29 a factor of x?
True
Let g = 2579 + -2294. Does 19 divide g?
True
Suppose -4*p = 5*p - 3816. Let a = p - 165. Is a a multiple of 37?
True
Let r be (-2)/8 + (-6)/8. Let f = r - -26. Suppose -f = -2*c + 53. Does 16 divide c?
False
Let f = -5 - -6. Let r be (1/(-1))/(f/(-88)). Suppose 0 = t + 3*t - r. Does 19 divide t?
False
Suppose 0 = -4*c + 5*t + 18915, 4*t + 1408 = 2*c - 8048. Does 55 divide c?
True
Suppose 2*p + 5*a - 119 = 0, -3*a + 24 = -3*p + 234. Suppose -l - 5*r + 0*r = -56, 5*r = 2*l - p. Is 9 a factor of l?
False
Let n(o) = 11*o + 319. Is 3 a factor of n(0)?
False
Let t = 333 - 223. Does 7 divide t?
False
Suppose -5*y = -5*d - 40, 2*y + 3*d + 9 = -0*y. Suppose -y*s + 1845 - 429 = 0. Is 3/(-5) - s/(-20) a multiple of 16?
False
Let w be (10 - 6) + 1 + -5. Suppose -q + 4*y + 37 = w, 5*y - 2 = -7. Is q a multiple of 7?
False
Let a(n) = -28*n - 84. Is a(-9) a multiple of 14?
True
Let o(u) be the third derivative of -u**5/60 + 5*u**4/24 + u**3/6 + 4*u**2. Let h be o(5). Let g = 5 - h. Does 2 divide g?
True
Let r(x) = 236*x**2 + 20*x - 35. Is r(2) a multiple of 21?
False
Suppose -9*r - 470 = -4*r. Let p = -72 - r. Does 22 divide p?
True
Suppose 3*c - 8*c + 125 = 0. Let u = 37 - c. Is u a multiple of 3?
True
Let j be (6/18)/(3/45). Let u be 0/(1 + -4 + j). Suppose u = -3*f + 3 + 27. Is 5 a factor of f?
True
Suppose 2*t = 5*x + 2954, 6*t = 2*t - 4*x + 5880. Does 64 divide t?
True
Let m = -33 + 63. Suppose 4*c - 102 + m = 0. Does 9 divide c?
True
Let c be (0 + -316)*(-16)/(-32). Let f = 227 + c. Does 25 divide f?
False
Suppose 5*g + 3*u = 104, 0*u = 5*g - 3*u - 116. Suppose -3*s + 2 = -3*o - s, -3*o - 4*s = -g. Does 15 divide (-93)/o*20/(-15)?
False
Suppose -3*v - 57 - 9 = -3*g, 4*v + 78 = 2*g. Let d = v + 27. Is d a multiple of 8?
False
Let k(n) = n**2 - 6*n + 18. Let v(x) = -2*x**2 + 5*x - 17. Let i(b) = -3*k(b) - 2*v(b). Is 26 a factor of i(-12)?
False
Let v be (-30)/9*-3 + -3. Let b(y) = y + 13. Is 5 a factor of b(v)?
True
Let l be (-4)/14 + 4/14. Suppose l = -9*g + 11*g - 122. Is 16 a factor of g?
False
Let k = 445 + -220. Let b = k + -120. Is b a multiple of 21?
True
Suppose 49*b - 18*b - 18848 = 0. Is b a multiple of 38?
True
Is (-18)/8*(1 - 337) a multiple of 12?
True
Suppose 0 = -5*p - 5, -5*f - 4*p = -1. Suppose 4*u = 3*k - 13, -u + f = k - 1. Does 3 divide k?
True
Let d = -22 + 23. Is 25 a factor of (406/28)/(d/8)?
False
Let y be (-4126)/8 - 4/16. Suppose 11 = -3*w - 10. Is y/(-42) - (-2)/w a multiple of 4?
True
Is 3*(-64)/6*(-4 + -12) a multiple of 15?
False
Let i(p) = 2*p**2 + 24*p - 29. Let t be i(-12). Let n(g) = -3*g - 84. Does 3 divide n(t)?
True
Suppose u + 5*v = -3*u + 2, 5*u = 4*v - 18. Is 4 a factor of ((-488)/40)/(u/10)?
False
Let s = -30 - -69. Let b = 57 + s. Is b a multiple of 6?
True
Let f be (-8)/(-44) + 2022/11. Suppose 0 = -0*m - 2*m + f. Is 27 a factor of m?
False
Let w = 785 + -652. Is w a multiple of 22?
False
Does 14 divide 27 + 87 - (1 - -2)?
False
Let l(o) = -19*o - 360. Is 5 a factor of l(-25)?
True
Let x(m) = 2*m**2 + 12*m - 6. Suppose -36 = i + 3*i. Is 12 a factor of x(i)?
True
Suppose 0 = -8*q + 52 + 60. Let o(d) = -d**2 + 16*d - 16. Does 12 divide o(q)?
True
Suppose 0 = -3*i - 3*x + 414, -8 = 3*x + x. Does 20 divide i?
True
Let c be 2/7 + (-36)/(-21). Suppose -c*n + 7*n - 23 = -w, -2*w + 3*n = 6. Suppose z = w*z - q - 79, 0 = 5*z - 5*q - 205. Does 7 divide z?
False
Let c(i) = i**2 - 2*i - 6. Let n be c(6). Suppose 12*x + 294 = n*x. Is 13 a factor of x?
False
Let i = -493 - -1109. Does 12 divide i?
False
Let v = -1006 + 2681. Does 33 divide v?
False
Let u(w) = w**2 - 4*w - 3. Suppose 33 + 27 = 6*y. Let o = -3 + y. Is u(o) a multiple of 9?
True
Let r(q) = -q**2. Let o(k) = k**3 + 11*k**2 + 22*k + 14. Let d(t) = o(t) - r(t). Does 7 divide d(-6)?
True
Suppose 5*d - p - 1818 = -3*p, -5*d + p + 1821 = 0. Is d a multiple of 28?
True
Does 2 divide (25/(-20))/(6/(-960))?
True
Let s(l) = -l**3 + 45*l**2 + 11*l - 109. Is 37 a factor of s(45)?
False
Is 13 a factor of 41/((-328)/(-160))*572/10?
True
Suppose 0 = -10*u + 9*u + 224. Suppose 0 = 6*n - 2*n - u. Is 21 a factor of ((-9)/2)/((-6)/n)?
True
Suppose 4*g - 2*r - 1566 = 0, 2*g - 7*r + 12*r = 765. Does 55 divide g?
False
Let x = 2 - -49. Let v be 7 - (9 + 4 + -8). Suppose v*u + 15 - x = 0. Is 18 a factor of u?
True
Let h(j) = 23*j**2 + 5*j - 3. Let d = -6 + 9. Is h(d) a multiple of 32?
False
Let f(b) = -b + 82. Let u = -13 + 13. Let j be f(u). Let z = j - 57. Is 8 a factor of z?
False
Let d(o) = -26*o**3 - 3*o**2 + 4. Let c be d(-2). Suppose -c = 6*j - 10*j. Is 18 a factor of j?
False
Suppose -1584 = -234*n + 232*n. Is n a multiple of 18?
True
Suppose 67*r - 16777 = 12167. Is r a multiple of 27?
True
Let b be (1 - 4) + 0 + 1. Let o(d) = -8*d + 4. Does 10 divide o(b)?
True
Suppose 3*h = 5*k + 5, -6*k - 10 = -3*h - 2*k. Is ((-4)/h)/(1/(-235)) a multiple of 19?
False
Let n = -39 + 36. Suppose -2*r - 2 = -20. Let q = r - n. Is 10 a factor of q?
False
Suppose -2*h + 10 = 3*h. Suppose -2*z = h*z + 2*q - 38, -5*z + 75 = -3*q. Is 7 a factor of z?
False
Is 9 a factor of (1*36/(-15))/(4/(-150))?
True
Let n be (876/16)/(4/16). Suppose 3*y + s = -4*s + n, 0 = 2*y - 2*s - 130. Is 17 a factor of y?
True
Let o be (-8)/3*(-150)/20. Is o*35/25*2 a multiple of 19?
False
Let a be -1 + -1 + 4*(-19 + 3). Let y = a - -294. Is 18 a factor of y?
False
Is (919/2)/((-63)/(-126)) a multiple of 17?
False
Suppose 7 = -4*z - 9. Is z/18 - ((-15285)/(-27))/(-5) a multiple of 45?
False
Is (12 - (-890)/(-30))/(2/(-114)) a multiple of 53?
True
Does 9 divide 384 + (-8 - -1 - -4)?
False
Suppose -3*k = -4*k + 11. Let u be -2 - k*(-6 - -1). Let n = u + -38. Is 15 a factor of n?
True
Suppose -34*i + 31*i = v - 28, 0 = -i + 3*v + 16. Is 9 a factor of i?
False
Let x = 10255 + -6923. Does 10 divide x?
False
Suppose 16*h + 2051 = 23*h