= -1 + 2. Is 10 a factor of x*(3 + 0)*10?
True
Let h be (-2)/(-3) - (-161)/(-3). Let q = -79 + 45. Let u = q - h. Does 8 divide u?
False
Let z = -33 - -55. Is z a multiple of 7?
False
Does 13 divide 2 - -27 - (-11 + 8)?
False
Suppose -3*d = -y + 17, -d = -2*y - y + 11. Is (-1 - -7)/(y/4) a multiple of 4?
True
Let w = 18 + -12. Suppose -g + 43 = c, -c - 2*g = w - 47. Is 16 a factor of c?
False
Let o(g) = 4*g. Let b be 2 + 2 + 1 + -2. Is 3 a factor of o(b)?
True
Let o = -16 - -38. Let k = 64 - o. Does 21 divide k?
True
Suppose -5*g - 104 = -y, 3*g - 2*y + 48 = -5*y. Let a be 2 - 1 - 14/(-2). Does 2 divide (-55)/g - (-2)/a?
False
Let y(w) = -10*w**3 + 42*w**2 + 18*w - 56. Let z(c) = -7*c**3 + 28*c**2 + 12*c - 37. Let l(r) = 5*y(r) - 7*z(r). Is l(14) a multiple of 21?
True
Let k = 9 - -27. Is k a multiple of 9?
True
Suppose 18 = a - 5*z, a - 3*a = -2*z - 20. Let x(y) = -2*y - 5. Let n be x(-4). Let s = n + a. Is s a multiple of 5?
False
Suppose n = -2*j - 5, -5 = 4*n + 4*j - j. Is 6 a factor of (24/14)/(n/7)?
True
Suppose -56 - 138 = -2*k. Is 24 a factor of k?
False
Suppose i - 3*i + 8 = 0. Suppose 0*h = 2*h - 3*x - 17, i*h = -4*x + 64. Is h a multiple of 13?
True
Let v = 1 - 3. Let z be 10/((-3)/(-12)*v). Let h = -6 - z. Is h a multiple of 7?
True
Let i be 1*-2*2/4. Let c(d) = -35*d**3 + d**2 - 1. Is 8 a factor of c(i)?
False
Let i = 2 - 2. Let j(k) = 8*k - 3*k + 0 + i + 1. Does 11 divide j(2)?
True
Suppose 9*t = 4*t + 255. Does 11 divide t?
False
Let m = 222 + -104. Is 27 a factor of m?
False
Suppose 0*x - 4*h = 3*x - 10, -3*h - 45 = -3*x. Let v(i) = 4*i - 1. Is 13 a factor of v(x)?
True
Let n = 79 + -23. Does 14 divide n?
True
Suppose 0 = -n + 4*c - 0*c, 2*c - 12 = 2*n. Let p(z) = -z**2 - 7*z + 10. Let g be p(n). Suppose -7 = m - 5*r, -2*m = g*m - r - 67. Is m a multiple of 6?
True
Let n(t) = 4*t**2 - 3*t**2 - t**2 - 4 - 7*t - t**2. Is 2 a factor of n(-6)?
True
Suppose 0 = d - 4 + 1. Let l be 794/10 - 8/20. Suppose -d*v + l = 5*y, -4*y - 107 = v - 6*v. Is 9 a factor of v?
False
Let r = -14 - -109. Is r a multiple of 29?
False
Let x(b) = 19*b**2 - 7*b + 4. Is x(-3) a multiple of 28?
True
Is 2 a factor of 8/4*2 - -2?
True
Let z(y) = 3*y**2 + 29*y + 32. Let r(d) = -d**2 - 10*d - 11. Suppose -q + 85 = 4*q. Let v(j) = q*r(j) + 6*z(j). Does 5 divide v(-4)?
True
Is 27 a factor of (1 + (-1 - -5))*(-27)/(-5)?
True
Suppose -3*j = -14 - 16. Suppose -x = x - j. Is 13/x + (-4)/(-10) a multiple of 3?
True
Suppose -5 = 5*k + 25. Let t = k - -6. Suppose 18 = -t*d + 3*d. Is 3 a factor of d?
True
Suppose v + 6 = 20. Let o = v + -4. Does 6 divide o?
False
Is 4 a factor of 10/(-30) - 55/(-3)?
False
Let c be (-73)/(-3) + 12/18. Let g = c - 19. Is 4 a factor of g?
False
Let m be (-2)/3 - (-11)/3. Suppose 47 = m*h - 13. Is 10 a factor of h?
True
Let z = 1 - 5. Let u be (-9)/(-18) + 66/z. Is 16 a factor of 1/2 - 504/u?
True
Let x = -54 + 37. Let l = x + 24. Is l a multiple of 7?
True
Let u = -26 - -13. Let i = 7 + u. Let k(x) = -2*x + 5. Is 10 a factor of k(i)?
False
Let v = -241 - -411. Is 34 a factor of v?
True
Let b be (-332)/2*2/(-4). Let h = b - 56. Does 27 divide h?
True
Let k(n) = n + 7. Let v(u) = u - 5. Suppose 2*f + f - 33 = 0. Let a be v(f). Is k(a) a multiple of 11?
False
Suppose 0 = 2*l - 0*l + 28. Let x = 11 - -17. Let n = x + l. Is 11 a factor of n?
False
Is 28/(-35) - (-78)/10 a multiple of 5?
False
Suppose -29 - 9 = -2*q. Suppose -2*l + q = -9. Is l a multiple of 5?
False
Let q(s) = s**3 + 9*s**2 - 25*s + 7. Does 20 divide q(-11)?
True
Suppose 0 = -f - 5*k + 129, -3 = -3*k + 4*k. Is f a multiple of 8?
True
Let m(q) = 6*q**3 - q**2 + 1. Does 11 divide m(3)?
True
Suppose 23 - 127 = -2*q. Suppose -2*k + q = v, -29 = -3*k + 2*v + 42. Is 21 a factor of k?
False
Let y = 101 + 578. Suppose b + y = 4*g, 3*g - 258 = -2*b + 243. Let v = g + -117. Does 18 divide v?
False
Let u be -1*(-74)/(-3)*-3. Suppose 2*d - f + 3*f - u = 0, -2*d + 62 = 5*f. Let z = d + -1. Does 20 divide z?
True
Let b be 4/(-4) - (0 - 1). Let d(s) = -s**3 - s**2 - s - 5. Let g be d(b). Does 12 divide 66*(-2 + g/(-2))?
False
Suppose 4*d + 93 = -3*q, 18 = -5*q + 3. Let z be (-7)/(d/(-6)) - 1. Let a(m) = m**3 + 3*m**2 - 4*m - 1. Is 4 a factor of a(z)?
False
Let v(d) = 37*d**3 - 2*d + 1. Does 16 divide v(1)?
False
Let v = 43 + -19. Is 8 a factor of v?
True
Suppose 0 = 2*m - 4*o + 4, -m + 2 = -o + 3*o. Is 23 a factor of (m - -2)*90/4?
False
Let r(u) = -2*u + 2. Let y be r(5). Let o = -17 - -1. Let s = y - o. Is 8 a factor of s?
True
Let c = -4 + 8. Let u be 1*c*20/16. Suppose -u*p = 20, -4*n + 3*n = p. Is n a multiple of 2?
True
Let u(q) be the second derivative of q**5/20 + q**4/2 + q**3/2 + 2*q**2 + 4*q. Let m be u(-5). Let d = -1 + m. Is d a multiple of 9?
False
Let n = -278 + 400. Is 21 a factor of n?
False
Suppose -4*g + 2*a = 2, -6 - 19 = -5*a. Suppose -4*s + g*s + 128 = 0. Is 17 a factor of s?
False
Suppose -3*s + 0*s + 39 = 0. Is s a multiple of 3?
False
Suppose -y + 15 = 2*y. Suppose y*p = p + 140. Let q = p + -21. Is 13 a factor of q?
False
Suppose 4*y = 2*s + 238, 5*y - 8*s - 300 = -3*s. Suppose -y - 21 = -5*b. Is 8 a factor of b?
True
Let a = 60 + -129. Let z = -37 - a. Does 7 divide z?
False
Let z be (96/(-10))/(4/(-20)). Is 8 a factor of 1*z/(5 - 3)?
True
Let r = 19 - -15. Is r a multiple of 8?
False
Let x(t) = 2*t + 0*t**2 - t - 13*t + 2*t**2 - 7. Let r be -2 + 0 + (-11)/(-1). Is 18 a factor of x(r)?
False
Let t = 4 + -5. Is 19 a factor of (-1 + 85)/2 + t?
False
Let y(p) = -4*p**3 - 1. Let a be -1*(-1 - -4)/3. Is y(a) a multiple of 2?
False
Let b(y) = -9*y. Does 27 divide b(-3)?
True
Let j(f) = -f**2 - 4*f + 1. Let b be j(-2). Suppose -22 - 78 = -b*q. Is q a multiple of 10?
True
Let h(a) = 2*a + 14. Let o be h(-8). Is (2 + 0)*(32 - o) a multiple of 14?
False
Let r be (17 + 4)*(-4)/(-6). Let x = 8 + r. Does 11 divide x?
True
Suppose -l + 2*i + 54 = 0, l = -4*l - 2*i + 306. Is (15/(-10))/((-2)/l) a multiple of 15?
True
Suppose 3*j + 219 = -b + 3*b, -b = -2*j - 110. Is 4 a factor of b?
True
Let w = -50 + 67. Does 3 divide w?
False
Suppose -2*b = -3*i - 305, 2*i = -5*b - 3*i + 700. Suppose -j = j + h - 263, b = j + 5*h. Suppose 0*y - j = -5*y. Is 19 a factor of y?
False
Let z(k) = -18*k + 1. Is 23 a factor of z(-5)?
False
Let v(b) = b**3 + 8*b**2 + 8*b - 1. Let d be v(-7). Let r = d - -12. Suppose 0 = q + 4*g, q - r*q - 4*g + 24 = 0. Does 6 divide q?
True
Suppose 32 = 2*w + 8. Is w a multiple of 3?
True
Let z(c) = 148*c**3 - 2*c**2 - 2*c - 1. Let l be z(-1). Let f = -103 - l. Suppose 5*q - 5 = 0, k = 5*k - 2*q - f. Is 6 a factor of k?
True
Let p(h) = -h**2 - 6*h - 6. Let s be p(-4). Suppose s*j = 4*r - 32, 4*r + 0*r - 92 = 5*j. Does 10 divide (j/6)/((-4)/24)?
True
Let f = -165 - -240. Is (-1)/(-2) - f/(-2) a multiple of 13?
False
Suppose 0 = -2*y + y + 4. Suppose -39 = -3*s + 3*f, -s = -6*s + y*f + 65. Is 11 a factor of s?
False
Suppose 9*z = 4*z - 190. Let u = -10 - z. Does 14 divide u?
True
Suppose 5*n = 4*m - 318, 0 = -5*m + 2*n - 4*n + 414. Is 17 a factor of m?
False
Let n be (-2)/3*-3 - -7. Let i = 56 - n. Does 17 divide i?
False
Suppose 2*j + 138 = s, 2*s - 59 = 3*j + 221. Let z = -80 + s. Is 22 a factor of z?
True
Suppose -f = -4*p + 44, 0 = 4*p - 4*f - 29 - 3. Let d = p - -2. Does 5 divide d?
False
Let r(i) = -i**2 - 25. Let n be r(0). Let s = 53 + n. Is s a multiple of 9?
False
Suppose -2 = -5*a + 13. Suppose a*n = -0*n + 54. Is n a multiple of 9?
True
Suppose g = 2*g - 36. Does 24 divide g?
False
Let x(t) = -t. Let v(f) = -11*f**2 - 4*f - 3. Let a(i) = -v(i) + x(i). Does 13 divide a(-2)?
False
Suppose 0 = -5*r + 5*d - 23 + 3, 9 = -2*r + 3*d. Does 21 divide (1700/30)/((-2)/r)?
False
Let x(a) = a**3 + 8*a**2 + 8*a - 4. Is 4 a factor of x(-6)?
True
Suppose -32 = -4*i + 5*b, 4*b + 24 = 3*i - 1. Suppose -i*q - 49 = 14. Does 20 divide 1 - q/(-2)*-4?
False
Suppose -5*a - 3*b + 73 = -0*b, -2*a - b + 29 = 0. Does 7 divide a?
True
Suppose -4*l - 7 = q - 15, 7 = -3*l - 4*q. Suppose 0 = -l*b - 0*b - 3. Is b/((-3)/42) + -2 a multiple of 12?
True
Let h(r) = 3*r**2 - 7*r - 12. Is 8 a factor of h(-4)?
True
Let c(p) = -p + 27. Is 4 a factor of c(17)?
False
Suppose -2*c = -5*p - 54, -3*p - 34 + 90 = 4*c. Suppose 3*d = 2*d - 3*q + c, d - 25 = 5*q. Does 10 divide d?
True
Let q(v) = 2*v**2 -