uppose z - 69 = 51. Suppose 4*b + 39 = -3*p + 135, 5*b - 2*p - z = 0. Is b a multiple of 12?
True
Suppose 3*z - 5 - 12 = 2*d, 7 = z - 2*d. Does 3 divide z?
False
Let d = -20 - -43. Does 8 divide d?
False
Let n(z) = -9*z**3 + z**2 + z + 1. Let c = -3 - -3. Let h = -1 - c. Is 5 a factor of n(h)?
True
Suppose 2*c + 0*c + y - 3 = 0, -6 = -5*c - 3*y. Does 3 divide c?
True
Suppose -4*m = -14 - 10. Let w = 20 + m. Does 19 divide w?
False
Let i be 3 + 17 + 1 + -2. Let n = i + -9. Let x(v) = v. Is x(n) a multiple of 5?
True
Suppose 3*s - 249 = 3*u, -u = -3*u + 2. Is s a multiple of 14?
True
Suppose 0 = 5*m - 5*o - 29 - 96, -4*m + o + 100 = 0. Let f = m - 18. Does 7 divide f?
True
Suppose 0 = 4*f - 284 - 88. Is 31 a factor of f?
True
Suppose 3*l + 3 = -2*a + 93, 3*l + 3*a - 93 = 0. Let p = l - 13. Does 12 divide p?
False
Suppose -27 = -4*a - 5*d, 2*a + 0*d + 3 = 3*d. Suppose 4*j - 2*n - 431 = -n, 2*n = -3*j + 315. Suppose 23 - j = -a*k. Is k a multiple of 14?
True
Suppose 7 = 4*i - 5*x, -2*i + 2*x + 4 = -0. Suppose -5*a = -i - 27. Is 6 a factor of a?
True
Let c(j) = -2*j + 2. Let i be c(7). Let x(w) = -2*w**2. Let y be x(-1). Does 10 divide y/(-3) - 232/i?
True
Suppose i - 98 = -0*i. Suppose 2*w = -22 + i. Is w a multiple of 19?
True
Suppose -13*i = -10*i - 24. Suppose 12*n - i = 11*n. Is n a multiple of 2?
True
Let c be (-5)/(-10) - 358/(-4). Suppose 9*h + c = 14*h. Is h a multiple of 9?
True
Suppose 5*j = -4*y + 317 + 153, 0 = -4*j - 2*y + 370. Suppose 26 = -4*t + j. Let o = 30 - t. Is 14 a factor of o?
True
Does 16 divide (1 + 35)/((-2)/4 - -1)?
False
Suppose b - 39 = 4*b. Let j = -10 - b. Does 2 divide j?
False
Let y be (-6)/2 - 12*-2. Let z = y - 6. Is z a multiple of 3?
True
Suppose -3*m + 23 = -5*q + 74, 0 = 4*q + m - 34. Let k(s) = 2*s**2 + q + 2*s**2 - 2*s - 6. Is k(2) a multiple of 8?
False
Let h(u) = 18*u + 2. Let g be h(-2). Let z = -10 - g. Is z a multiple of 8?
True
Suppose -4*d = 5*d - 288. Is 13 a factor of d?
False
Let g = 20 - 5. Suppose 0 = -4*a + 1 + g. Is 4 a factor of a?
True
Suppose -100 = 6*g - 2*g. Let i = -20 - g. Is i even?
False
Let y(f) = f + 3. Let x be y(-5). Let i(a) = 16*a**2 + 1. Let p be i(-1). Let z = x + p. Does 7 divide z?
False
Let d be 0/2 + 1 + 0. Suppose d - 21 = t - q, 5*q = 2*t + 31. Is t/(-7) - (-4)/(-14) a multiple of 3?
True
Let b(y) be the third derivative of y**6/120 - y**5/30 + y**4/6 + y**3/6 + 3*y**2. Is 11 a factor of b(3)?
True
Let r(x) = 2*x + 1. Let a be r(5). Let n = a + -2. Does 6 divide n?
False
Let x(g) = -g**3 + 3*g**2 + g + 5. Let s be x(4). Does 3 divide 198/21 - (-3)/s?
True
Let w = -5 - -38. Is 11 a factor of w?
True
Let m = 17 - 25. Let d = 7 + m. Let c(n) = -8*n**3 - n**2. Is 7 a factor of c(d)?
True
Let g(c) = -c**2 - 4*c - 6. Let v be g(-5). Let b = v - -18. Is b a multiple of 3?
False
Suppose i + 30 + 3 = c, -i - 15 = 5*c. Let h(n) = 5*n**3 + 2*n**2 - 4*n + 3. Let f be h(2). Let a = i + f. Is a a multiple of 7?
False
Let m be (-108)/(-8)*(-28)/(-3). Does 26 divide -2 + m/(5 + -3)?
False
Suppose -2*w + 3*m = -58, 5*w - 4*w + 5*m = 55. Let y = -21 + w. Does 6 divide y?
False
Suppose 27 = 4*v - 9. Let o = v - 1. Is 4 a factor of o?
True
Let b(w) = w**3 - 2*w + 1. Let d be b(2). Suppose 6 = d*y - 2*y. Is 2 a factor of y?
True
Let u be 4/(-2) + (68 - 2). Suppose 3*d = 2*d. Suppose 0 = 4*l + 5*v - u, d = -2*v + v. Does 14 divide l?
False
Let m(d) = -d**3 - 8*d**2 - 8*d - 3. Let i be m(-7). Let k = 2 - i. Is (k - -13) + 1 + 0 a multiple of 12?
True
Does 2 divide 3/(12/88*1)?
True
Let l = 1 - 50. Let q = -23 - l. Suppose 0 = 4*g + 5*j - 62, 3*g + 5*j - q = g. Is 9 a factor of g?
True
Let q = 7 - 6. Is (19 + 5)*q/3 a multiple of 3?
False
Let u = 31 + -1. Is 30 a factor of u?
True
Let w = 45 - -4. Is 10 a factor of w?
False
Let a be -6*(-3)/(-3*2). Let x = a - -6. Suppose -x*n + m = -12, 4*m - 3 = 9. Is n a multiple of 2?
False
Suppose 0 = 4*f + 36. Let n be (-1 + f/(-6))*10. Suppose 0 = n*x - 82 - 3. Is 9 a factor of x?
False
Let g(h) = h**3 - 14*h**2 - 10*h - 24. Is g(15) a multiple of 13?
False
Let y(l) = 10*l - 50. Is 7 a factor of y(9)?
False
Let g be -7*1/((-21)/270). Suppose 5*c - 5*v - g = 0, 2*c + 3*v + v = 12. Suppose -4*z + c = -46. Does 15 divide z?
True
Suppose -2 - 37 = -5*c - 4*i, 8 = c + i. Let s(d) = d**2 + 3*d + 5. Is s(c) a multiple of 22?
False
Suppose 2*h - 166 = 2*v, 0*v - 2*v + 170 = 2*h. Is h a multiple of 14?
True
Let w(u) = u - 3. Let j be w(-3). Let v(h) = h + 11. Let n be v(j). Suppose -n*a - 5*k = -50, a - 2*k - 25 = 2*k. Is 6 a factor of a?
False
Let g = -58 - -139. Is 9 a factor of g?
True
Let i be (165/(-10))/(2/(-4)). Let x = -13 + i. Is 20 a factor of x?
True
Suppose 0 = -2*p - 3*b + 78, -5*p + 84 + 73 = -2*b. Let g = 31 - 52. Let w = p + g. Is 12 a factor of w?
True
Let p(l) = -l**3 + l**2 + l - 1. Let o be p(1). Suppose -5*b + 0*b + 65 = o. Does 5 divide b?
False
Let r(h) = 4*h**2 - 7*h - 10. Is 9 a factor of r(-3)?
False
Suppose 4*j = 201 + 119. Is j a multiple of 10?
True
Let w = -1 - -1. Let l = w - -1. Is 0 + 0 + (25 - l) a multiple of 12?
True
Suppose 4*z + 8 = 4*t, 0 = -5*z + t - 2*t + 8. Is 2 + 8 + (-1)/z a multiple of 8?
False
Suppose -3*s + s = 84. Let m = 87 + s. Is 15 a factor of m?
True
Does 4 divide (4 + -3)*-1 + 6?
False
Let y = 6 + -16. Let n = y - -14. Suppose n*z + 0*b - 2*b - 80 = 0, 0 = -z - 5*b - 2. Is 16 a factor of z?
False
Let f be 2/11 - (-40)/22. Suppose f*m - 2 = 10. Is 3 a factor of m?
True
Let y(p) = -p**3 + 7*p. Let u(w) = -2*w**3 + 15*w + 1. Let f(v) = 4*u(v) - 9*y(v). Does 11 divide f(3)?
True
Suppose 3*v - 6 = v. Suppose v*x = -78 - 15. Let p = x + 79. Is p a multiple of 13?
False
Let a(o) = 3*o**2 + 5*o - 3. Let w be a(-4). Suppose w = 4*s - 3*q, -3*s = 2*s + 4*q - 70. Does 10 divide s?
True
Let z(q) = -q**3 - q**2 - q + 45. Is 15 a factor of z(0)?
True
Suppose 95 = 3*g + 2*u, -4*g - u + 124 = u. Does 3 divide g?
False
Suppose 3*s + 4*r = 208, -3*s = -2*s - 2*r - 56. Is s a multiple of 8?
True
Is ((-9)/(-7))/3 + (-95)/(-7) a multiple of 5?
False
Suppose 6*b - 3*b + 5*x - 364 = 0, -248 = -2*b + 2*x. Suppose 0 = t - m - 51, 3*t - m - b = -4*m. Is t a multiple of 19?
False
Suppose -b + 2*b - 3 = 0. Let d be (-4)/18 - (-736)/72. Does 12 divide d + b/((-3)/(-2))?
True
Let a = -63 + 95. Does 12 divide a?
False
Suppose -4*c - 4*l = -108, 0*c = -c - 5*l + 31. Let t = c - 18. Is 17 a factor of (t - 2) + -3 - -14?
True
Let m be 4/6*60/4. Suppose 0 = -2*p + 6*p - 16. Suppose 10 = 2*w + 5*y, -m = p*y + y. Is 8 a factor of w?
False
Suppose -2*f + 42 = -f. Suppose -2*n + 5*i + 24 = 0, -i - 16 = -2*n + 2*i. Does 14 divide 12/9*f/n?
True
Let l = -9 + 25. Does 23 divide l*9/12*3?
False
Suppose 0 = 2*r + 1 + 7, 0 = -4*l - 4*r + 452. Does 39 divide l?
True
Suppose -32 - 16 = -3*x. Let z = x + -10. Is z a multiple of 3?
True
Suppose -8*w + 240 = -3*w. Is w a multiple of 16?
True
Suppose -5*n + 16 = -84. Is n a multiple of 10?
True
Suppose -14 = -3*j + 4*l, -2*j + j + 3*l + 8 = 0. Suppose -j*z = -67 + 17. Is 25 a factor of z?
True
Suppose d = -4*l + 123, -4*l = -2*d + 49 - 175. Suppose -4*t = -q + 9, 4*q = -2*t + l + 5. Is q a multiple of 9?
True
Suppose 0 = -i - 3, 4*g - 30 = -0*g + 2*i. Is 3 a factor of g?
True
Let v be (-7)/((-1 + -3)/4). Let g(c) = 3*c + 2. Let f be g(-4). Let j = v - f. Is 8 a factor of j?
False
Let s = 2 + 11. Let b = 25 - s. Is b a multiple of 12?
True
Suppose 0 = -5*f + f + 28. Suppose 5 = 3*s + 2*k, f*k - 4*k + 15 = 3*s. Suppose s*t - 9 = 0, -t - 13 = -5*m - 1. Is 2 a factor of m?
False
Let i = 1 - 0. Is 37 - (2/i - -1) a multiple of 10?
False
Let r = 53 + -46. Is r a multiple of 7?
True
Let d be 42*2*2/6. Suppose 4*t - 19 = -3. Suppose t*x - d = 32. Is x a multiple of 6?
False
Suppose -x = 2*x - 24. Let p(n) = n - 6. Let s be p(8). Suppose -x = -4*g, 4 = -3*u - s*g + 20. Does 3 divide u?
False
Let u(d) be the second derivative of d**5/20 - 5*d**4/12 - d**3/3 + 4*d**2 + 2*d. Does 16 divide u(6)?
True
Let m(q) = -q**3 - 5*q**2 + 11*q + 1. Is m(-8) a multiple of 35?
True
Is (50/(-15) - -4)*219 a multiple of 19?
False
Suppose -2*p - 4 + 8 = 0. Suppose 0 = -5*f - 2*q + 76, p*f + 0*q = 4*q + 16. Is 7 a factor of f?
True
Is (4 - 33)/((-3)/3) a multiple of 8?
False
Does 17 divide (124/(-155))/(2/(-45))?
False
Suppose 3*b - 