
False
Suppose 3 = 3*s + 9. Let d be s/(2/1 + -3). Suppose -2*w + 14 = -d*i, -25 = w - 5*w + 3*i. Does 2 divide w?
True
Let f(b) = 0*b + 9 - 4*b**2 + 3*b - 12*b + 3*b**2. Is f(-9) a multiple of 9?
True
Let m = 59 + -29. Suppose 2*o = 2*z - 0*z - m, 2*z - o = 26. Does 3 divide z?
False
Let r be (1/(-3))/(1/(-9)). Suppose 2*y + 48 = r*y. Is 19 a factor of y?
False
Let s(l) = -l**3 - 10*l**2 + 7*l + 1. Let j be s(-11). Let c = j - 27. Is 6 a factor of c?
True
Suppose -3*v + 4*v - 3 = 0. Is 3 a factor of v?
True
Let p(j) = -105*j - 1. Let c = -3 + 4. Let n be p(c). Let q = n + 148. Does 15 divide q?
False
Suppose 16*o - 42 = 15*o. Is o a multiple of 21?
True
Let p(s) = 2*s + 16. Is p(10) a multiple of 12?
True
Let n = -19 + 49. Does 15 divide n?
True
Does 19 divide 35 - (0 - (1 + 2))?
True
Let i be (-1470)/(-24) + (-2)/8. Let k = i - 37. Does 8 divide k?
True
Suppose -64 = -0*v - v. Does 9 divide v?
False
Suppose 592 = 8*n - 8. Is 25 a factor of n?
True
Let f = -39 + 71. Is 16 a factor of f?
True
Let g(m) = 11*m**2 - m. Let i = 10 + -11. Is 4 a factor of g(i)?
True
Let t(a) = -a**2 - 7*a - 1. Let g be t(-6). Suppose -g*o - 5*x + 150 = 0, -o + 71 = 5*x + 25. Suppose 23 = 3*l + l + 5*d, 5*d + o = 3*l. Is 3 a factor of l?
False
Suppose -2*d = d, -5*y = -2*d - 20. Let a(u) = 2*u - u - y*u - 2. Is 14 a factor of a(-10)?
True
Let r = 6 + -3. Suppose u = r*u - 26. Is 13 a factor of u?
True
Let u(c) = -c**2 - 8*c + 3. Let j be u(-8). Let t = j + 2. Let p = t + 10. Is p a multiple of 15?
True
Is 29 a factor of (-2428)/(-28) - (-2)/7?
True
Is 20 a factor of (1 + -5)/(-2) + 158/1?
True
Suppose 3*m + 0*m + 3*o - 63 = 0, -3*m + 63 = 2*o. Let l(n) = n**3 + n**2 + n + 18. Let z be l(0). Suppose t = z + m. Is 13 a factor of t?
True
Let k = 322 - 154. Is k a multiple of 14?
True
Suppose z - 4 = k, 3*k - 3 = -3*z + z. Suppose -44 = -j + z*j. Let v = j - -38. Does 6 divide v?
False
Let m = 37 + -13. Does 12 divide m?
True
Let w(u) be the second derivative of -u**5/20 + 2*u**4/3 - u**3/6 + 9*u**2/2 + u. Let k be w(8). Is 6 a factor of ((-42)/(-3))/(k - 0)?
False
Let u(n) = -17*n + 4. Is u(-4) a multiple of 18?
True
Let t = -7 - -10. Suppose -3 = -t*n, i + 2*n = -4*i + 102. Is i a multiple of 7?
False
Is 23 a factor of 2/7 + (-2405)/(-35)?
True
Suppose -r = 2*r - 87. Suppose -3*j = -3*u + r - 5, j + u = -4. Let z = -1 - j. Does 4 divide z?
False
Let a(t) = -2 - 3*t**2 + 3*t**3 - 2 - 4*t**3 - 5*t**2. Is 21 a factor of a(-9)?
False
Let s(v) = v**3 - 5*v + 2. Suppose 5*b + 3*d = 5*d + 19, -4*d + 7 = 5*b. Is s(b) a multiple of 14?
True
Let c(b) = b**2 - 2*b + 1. Let w be c(1). Suppose -3*j - v = -4*j + 47, -4*j - v + 188 = w. Does 14 divide j?
False
Suppose -4*p - 4*k + 0*k = -436, -2*p - k + 218 = 0. Does 22 divide p?
False
Let l(y) = -5*y**3 + 4*y**2 - 16*y - 14. Let d(h) = 3*h**3 - 2*h**2 + 8*h + 7. Let z(u) = -7*d(u) - 4*l(u). Is 14 a factor of z(-5)?
True
Let y(h) = -2*h - 12. Let z = 7 - 15. Is y(z) a multiple of 4?
True
Does 10 divide (-4)/22 - 8/44*-331?
True
Let q(u) = 32*u**2 - 1. Let o be 18*(-1 + 1/2). Let v be 6/o*6/4. Is 13 a factor of q(v)?
False
Let k be (-4)/18 - 14/18. Does 13 divide 78/3 + (-2)/k?
False
Suppose x = -32 + 18. Let o = 27 + x. Is 3 a factor of o?
False
Let j be (-3)/6 - 18/(-4). Suppose j*f - 2 = 6*f. Let g = 8 - f. Does 9 divide g?
True
Suppose 0*l - 200 = -5*w + 4*l, -3*l + 80 = 2*w. Is 8 a factor of w?
True
Let s(q) = 34*q - 4. Is 24 a factor of s(3)?
False
Let l(q) = -q**3 - 6*q**2 - 4*q + 5. Let g be l(-5). Let d(f) = -f + 31. Is 14 a factor of d(g)?
False
Let u(f) = 6*f + 1. Let n be u(6). Let h(t) = 22 - 13 - 2 - t**2 + t - t**3 + n. Does 22 divide h(0)?
True
Let d be 5056/10 - (-6)/15. Suppose 5*x - d = 2*j, 314 = 3*x + 2*j + 2*j. Suppose -m = 2*m - x. Does 17 divide m?
True
Let q(i) = -4*i**3 + 2*i**2 + 2*i + 1. Let y be q(-1). Suppose -y*f + 10 + 5 = 0. Suppose 0 = f*t + t - 44. Is 11 a factor of t?
True
Let k be (-63)/6*(-1 - -21). Let n = k - -297. Suppose 3*z - 2*v + 13 - 61 = 0, v + n = 5*z. Is z a multiple of 6?
True
Does 6 divide 34 - -2*6/(-3)?
True
Let z = -8 + 12. Suppose z*v - 70 = -5*k - 27, -v - 14 = -k. Is 11 a factor of k?
True
Suppose -l = -3 - 4. Suppose c + 2*z + 11 = l*z, -4 = -z. Suppose -12*a + c*a = -183. Does 23 divide a?
False
Suppose 2*b + 0 = 8. Suppose 0 = 2*p - b*d - 118, 118 = 2*p + 3*d - 0*d. Is p a multiple of 18?
False
Let p = -16 + 8. Is 21 a factor of (42/p)/(2/(-8))?
True
Let c be (8/(-6))/(1/(-3)). Let u = -45 - -48. Suppose d + 2*f - c = 32, 5*f - 105 = -u*d. Does 10 divide d?
True
Suppose -5*l = -432 + 92. Let b = l + -46. Let o = b + 4. Is 14 a factor of o?
False
Let y = 2 + 4. Suppose -y*d + 729 - 165 = 0. Does 19 divide d?
False
Suppose 10 + 8 = d. Does 18 divide d?
True
Let c(t) = -t**2 + 5*t - 3. Let h be c(3). Let a be (-2)/(-1) - (5 - h). Suppose 6*o - 2*o + 4*w - 40 = a, -2*w = 6. Does 13 divide o?
True
Let y = -6 - -63. Suppose -5*j + 38 = 3*a, -4*a = -a - 5*j - 88. Let o = y - a. Does 12 divide o?
True
Let t = 9 + -5. Suppose t*j = 5 + 31. Does 5 divide j?
False
Let g = 31 + -100. Suppose 0 = -5*u - 0*u - 555. Let x = g - u. Is x a multiple of 21?
True
Is 7 a factor of 4/3*63/6?
True
Let t be (2/5)/(1/5). Is 2 a factor of 5/t + 6/(-12)?
True
Let y be (15/(-10))/(2/(-76)). Let p = -29 + y. Does 14 divide p?
True
Let g(f) = f**3 - 2*f + 17. Is 17 a factor of g(0)?
True
Let n be (-2)/(-4) + (-45)/(-10). Let h = n - 12. Let q(c) = c**3 + 6*c**2 - 10*c - 3. Is 10 a factor of q(h)?
False
Let z(p) = -p + 10. Let j be z(0). Suppose -4*a = -d - 7*a + j, 0 = d + 5*a - 18. Let q(n) = -23*n - 1. Is 18 a factor of q(d)?
False
Let x(o) = 4 + 3 - 2*o + 0. Does 9 divide x(-6)?
False
Suppose 5*a - 20 = 4*l, a + 2*l = l - 5. Suppose a = -i + 3*y + 51, 0*y - 2*y - 294 = -5*i. Is 20 a factor of i?
True
Let s(g) = -g**3 + 5*g**2 - 4*g - 2. Let v be s(4). Let y = v + 4. Suppose -3*f = y*f - 110. Is f a multiple of 11?
True
Does 16 divide 69/(-46)*152/(-6)?
False
Let d(u) = u**2 + 7*u + 4. Let h be d(-5). Is 5 a factor of (-4)/6 - 40/h?
False
Let a = -2 - -5. Let w be 8/a*(-9)/(-6). Suppose w*g + 0*g = 40. Is g a multiple of 7?
False
Is (-4 + 9/2)*88 a multiple of 11?
True
Suppose b - 17 = 9. Let w = 14 - b. Is (-117)/(-12) - 3/w a multiple of 9?
False
Let i be 1/(-3) - 2/(-6). Let q(f) = f**2 + 3*f + 18. Let r(k) = -4*k**2 - 10*k - 55. Let g(v) = 7*q(v) + 2*r(v). Is g(i) a multiple of 6?
False
Let d be (-14)/(-21)*3*1. Is 23 a factor of d - (-1 - 44) - 1?
True
Let t(n) = n**3 + 6*n**2 + 2*n - 5. Let q(j) = -j**3 + j + 3. Let k be q(0). Let z = k - 8. Is t(z) a multiple of 9?
False
Let q be 1 - (-2 - -3) - 2. Let a be (45/6 + q)*6. Does 4 divide (a/(-9)*-3)/1?
False
Let b = -61 + 127. Does 5 divide b?
False
Let a(d) = -d**2 + 7. Let m be a(6). Let n = m - -49. Is 5 a factor of n?
True
Let r(p) = -p + 4*p + 2 + 0*p - 5*p. Does 5 divide r(-6)?
False
Suppose -5*m + 95 = -10*m. Let h = m - -27. Is 8 a factor of h?
True
Suppose 5*j + 0 = 10. Let p be j/5 + (-406)/(-35). Suppose -3*l + p = -l. Does 6 divide l?
True
Suppose -4*d + 138 - 6 = 0. Is d a multiple of 9?
False
Is ((-486)/(-36))/(6/8) a multiple of 18?
True
Suppose 2*c = 4*c + 4. Is 4 a factor of ((-11)/c)/((-5)/(-10))?
False
Suppose 2*d + 6 = -2*a, 3*d + 5*a = 5*d - 15. Let c(y) = 6*y**2 + d*y + 3 - 3*y**2 + 2*y. Is 12 a factor of c(-3)?
True
Let h be 2 + (-2)/2 - -4. Let p be ((-51)/5)/((-1)/h). Suppose 4*w - 53 - p = 0. Is 13 a factor of w?
True
Suppose 8 = -2*c + 60. Is 13 a factor of c?
True
Let o be ((-639)/6)/(6/(-8)). Suppose -4*l - 74 - o = 0. Is 12 a factor of (4/2)/((-4)/l)?
False
Let h(l) = l**2 - 2*l - 1. Let q be h(3). Suppose -q*w = -i - 6*w + 44, 0 = -5*i - 5*w + 190. Is 12 a factor of i?
True
Suppose -3*x = -0*x - 27. Suppose 4*f = z + 37, 2*f = -5*z + 4 + x. Does 9 divide f?
True
Let z = 179 + -125. Is z a multiple of 9?
True
Let t(w) = -6*w + 8. Let r(f) = -f + 1. Let m(g) = -28*r(g) + 4*t(g). Is m(5) a multiple of 11?
False
Suppose -v - 2 = -4. Suppose -29 = 3*z - z - d, v*d = -2*z - 38. Let i = -3 - z. Is i a multiple of 12?
False
Suppose m - 3*o - 25 = -83, -2*m + 4*o = 116. Let x = 94 + m. Does 12 divide x?
True
Let b(y) = 3*y**2 - 24*y + 16. Is 8 a factor of b(9)?
False
Suppose k = 0, 2*k + 91 = 4*x + 27. Let w be x/10*(-30)