of 2?
False
Suppose 2*b = -b. Suppose -j - 4*s + 23 = b, -3*j + 80 = 2*s - s. Does 8 divide j?
False
Let g(r) = 3*r. Let d be g(1). Suppose -8 - 49 = -d*o. Is o a multiple of 12?
False
Suppose 11 = 4*g - 3*b, 4*b + 0 = -3*g + 2. Let h be (g - (-3)/(-2))*8. Suppose 191 = h*z + 55. Is z a multiple of 17?
True
Suppose -3*q + 20 = j, -j - 2*j + 5*q - 10 = 0. Let c be (8/3)/(j/(-15)). Does 11 divide ((-264)/32)/(2/c)?
True
Let s = -12 + 11. Is 2/(6/(-21)*s) a multiple of 7?
True
Suppose 3*q = -q + 12. Suppose -2*b + 197 = 5*c - b, -q*c + 5*b = -107. Is 13 a factor of c?
True
Suppose 6*z - z = 960. Does 48 divide z?
True
Suppose 8*u = 11*u - 57. Is 19 a factor of u?
True
Suppose -4 = c - 1, -405 = -5*x - 5*c. Suppose -3*y + 46 = 5*j - 20, -5*j = -3*y - x. Is 15 a factor of j?
True
Let r be -1 - (-6 + -1) - 1. Let p = -5 + r. Suppose p = t - 4 - 6. Does 10 divide t?
True
Let k = -29 - -20. Let u(b) = -b**2 + 7*b + 1. Let c be u(7). Does 15 divide ((-10)/6)/(c/k)?
True
Let y = -22 - -49. Is y a multiple of 8?
False
Suppose 0 = -2*b + 6, 3*b - 115 = -2*o + 182. Is 18 a factor of o?
True
Let y be 26/7 - 8/(-28). Suppose -12 = -y*s + 12. Is 4 a factor of s?
False
Let k be 16/5 + 1/(-5). Suppose 4*f = k*f. Is f + 0 - (-10 + 2) a multiple of 3?
False
Suppose -3*s + p = 3*p + 2, 3*p + 8 = -2*s. Does 10 divide 17/(2/(s - 0))?
False
Let a be 5/(((-6)/3)/(-10)). Let w be (a/10)/(2/(-4)). Let t = 5 - w. Is t a multiple of 10?
True
Suppose -3*t = -t - 6. Let y(q) = 2*q**3 - 5*q**2 + 2*q + 1. Is 16 a factor of y(t)?
True
Suppose -4*g + 20 = -2*q, 6*q - 2*g + 10 = q. Suppose q = 4*x - 244 + 676. Does 5 divide 3/(3 + x/39)?
False
Let c be -2 - (6/2 + -47). Suppose x + 0*x - c = 0. Is x a multiple of 21?
True
Suppose -d = -3*s - 547, 4*d - 363 = 3*s + 178. Let q be ((-2)/(6/s))/1. Let y = q + -31. Is y a multiple of 21?
False
Suppose f = -3*f. Suppose f = 6*p - 117 - 45. Does 13 divide p?
False
Suppose -2*c - 11 = -c. Let b = c - -20. Is b a multiple of 3?
True
Let o = -44 - 36. Is (-126)/8*o/15 a multiple of 25?
False
Let y = 247 - 346. Let h = -15 - y. Suppose s + s = h. Is s a multiple of 13?
False
Suppose 4*g - z + 145 - 412 = 0, 9 = -3*z. Is g a multiple of 9?
False
Let t = 30 + -11. Does 11 divide t?
False
Let w(t) be the first derivative of t**3/3 - t**2 + 11*t + 5. Is 30 a factor of w(9)?
False
Is 22 a factor of 6*-1*156/(-9)?
False
Let i be 2/3 - (-48)/(-18). Let r = 43 + i. Does 22 divide r?
False
Let b = -7 + 18. Let s = 18 - b. Is 4 a factor of s?
False
Suppose 0 = -b + 3*b. Suppose 5*m + b*m - h - 83 = 0, 5*h = -15. Does 16 divide m?
True
Is -3 + 0 + 98 + 3 a multiple of 31?
False
Let g(q) = -5*q**3 - 3*q**2 - q. Let u = -11 - -9. Is 15 a factor of g(u)?
True
Suppose 0 = -4*q + 8*q - 1008. Does 42 divide q?
True
Suppose i = 2*j + 18, 5*i + 0*j - 90 = -4*j. Is 14 a factor of i?
False
Let z(i) be the third derivative of -i**6/120 + 7*i**5/60 - i**4/6 + 4*i**3/3 + 3*i**2. Is 10 a factor of z(6)?
True
Let z = 42 - 80. Let k = 63 + z. Is k a multiple of 6?
False
Is 11 a factor of (13/4)/(2/8)?
False
Let l be (-3)/(-6) + 9/(-6). Let d = 5 - l. Is 6 a factor of d?
True
Let b be 0/2 + 1 + -54. Let g = 279 + -188. Let d = g + b. Does 15 divide d?
False
Let m = 1 + 26. Is m a multiple of 9?
True
Suppose 0*g + 5*g = 265. Suppose 0*k + 3*k - 55 = -2*h, 0 = 3*k + 4*h - g. Is k a multiple of 6?
False
Let f = 69 + -29. Is 10 a factor of f?
True
Let j(a) = -2*a - 7. Let i be j(-5). Suppose -12 = -0*t - i*t. Suppose -t*b + 16 = 0, -2*u + 5*u + 3*b = 90. Is 13 a factor of u?
True
Let d = 24 + -51. Let q be (-620)/(-12) + (-4)/6. Let c = d + q. Is 12 a factor of c?
True
Let g(k) = -4*k**3 + 4*k**2 - 4*k + 3. Let l be g(2). Let q = -10 - l. Is 6 a factor of q?
False
Suppose 2*n = -2*n + 4*o + 12, -2*o = 5*n - 15. Is 4/(-10)*(-7 - n) a multiple of 3?
False
Let t be (-93)/7 - 2/(-7). Let d = 21 + t. Does 7 divide d?
False
Let q be -1*((1 - 1) + 0). Let a be -4*(-3)/(q - -6). Suppose -r - 5 = p + a*r, 3*p + r = 9. Is p a multiple of 3?
False
Suppose -2*l + 3*b + 4 = 0, 3*l + 0 = 3*b + 9. Let s be (3/4)/(2/72). Suppose s - 2 = l*q. Does 5 divide q?
True
Let s be 8*(9/(-4) - -3). Suppose 4*u - s + 25 = -5*n, -4*n + 3*u = 9. Let a(r) = r**3 + 2*r**2 - 4*r. Is a(n) even?
False
Suppose -5*v = 4*h - 149, -3*h + 108 = -0*h + 3*v. Let o = -22 + h. Suppose -35 = -4*z + o. Does 4 divide z?
False
Suppose 158 = a + 4*i, -84 - 74 = -a - 2*i. Is a a multiple of 26?
False
Let n(v) = -v - 1. Let f(b) = -b**3 - 8*b**2 - 6*b + 6. Let c(p) = f(p) + 3*n(p). Is c(-7) a multiple of 7?
False
Suppose -n + 4*n - 4*y - 21 = 0, 0 = -3*n - 5*y + 21. Let u = n + -5. Suppose 4*q - u*q - 32 = 0. Does 8 divide q?
True
Let m = -243 - -409. Is 43 a factor of m?
False
Let s(i) = -2*i**2 + 2*i + 105. Is 35 a factor of s(0)?
True
Suppose -3*q = -4*t - 100, 2*q - 5*q + 92 = 4*t. Suppose 5*u + x + q - 228 = 0, -48 = -u + 2*x. Is u a multiple of 20?
True
Suppose 7*h - 210 = h. Is 7 a factor of h?
True
Let q(a) = 2*a**2 - 10*a - 22. Does 8 divide q(9)?
False
Suppose 156 = 3*g - 2*p, -2*g + 5*p + 44 + 49 = 0. Does 9 divide g?
True
Let o = -65 + 98. Suppose 6*t - 3*t = 0. Suppose r - o = -t*r. Is r a multiple of 13?
False
Let l(w) = w**3 - 9*w**2 - 9*w - 2. Let q be l(10). Suppose -q = -4*x - 2*c, 2*c + 2 = -6. Is 948/30 + x/10 a multiple of 14?
False
Suppose -3*w + 251 = -5*n, 5*n - 358 = -4*w - 0*n. Does 29 divide w?
True
Suppose -5 = -0*a - 5*a. Let l(u) = 6*u**3 - u**2 + u - 1. Is l(a) a multiple of 5?
True
Let u = 178 - 59. Suppose -5*t + u = -2*t + r, 5*t - 195 = -r. Is 17 a factor of t?
False
Let a be ((-5)/(-15))/(2/66). Suppose t - 22 + a = 0. Is 5 a factor of t?
False
Let z be (15/20)/((-2)/32). Let h = z + 20. Is h a multiple of 8?
True
Suppose 5*s = -15, 3*t + 2*s + s = 153. Is t a multiple of 18?
True
Let i = -11 - -8. Let d be i/(2/8 - 1). Let r = d - -11. Does 15 divide r?
True
Suppose -13 = -k + 18. Let s = k - -35. Is 20 a factor of s?
False
Does 28 divide (-3 - -4)*16*7?
True
Let b(s) = s**3 + 5*s - 23. Does 4 divide b(3)?
False
Let u = -30 - -40. Is 8 a factor of u?
False
Suppose -2*c + 0*c + 3*s - 137 = 0, -2*s - 132 = 2*c. Let f = c + 98. Suppose -f - 2 = -3*i - 5*g, 0 = 2*i - 4*g. Is i a multiple of 6?
True
Let g(d) = d**2 - d + 42. Does 6 divide g(0)?
True
Suppose -2*k + 3*y + 15 = -24, 4*y + 56 = 3*k. Is 3 a factor of k?
True
Suppose -6 = -0*g - 2*g. Let y = g + -6. Let s = y + 9. Is 3 a factor of s?
True
Let h be 0 + 5/(-2 + 3). Suppose -129 = -h*y + 191. Suppose -36 = -5*x + y. Is x a multiple of 10?
True
Does 3 divide 7 - ((0 - -2) + -1)?
True
Let c = -10 + 4. Is 11 a factor of c/9 + (-35)/(-3)?
True
Let w = 10 + -7. Let n = 3 - w. Suppose n = 5*m + 8 - 18. Does 2 divide m?
True
Is 10 a factor of (-276)/(-21) + 4/(-28)?
False
Let k(t) = t**3 - 7*t**2 - 8*t + 4. Let a be k(8). Suppose g + a = -g. Let n = g + 7. Does 5 divide n?
True
Suppose 2*z - 45 = 23. Does 34 divide z?
True
Let p(l) = -19*l + 3. Let g be p(-6). Let y = -78 + g. Is 13 a factor of y?
True
Let a = -16 - -25. Is a even?
False
Let r = -28 + 59. Suppose 0 = -5*x + v + r - 3, 24 = 3*x - 3*v. Does 3 divide x?
False
Is 3 a factor of (-2)/(6/9) - -19?
False
Let n(p) = 3*p - 2. Let o be n(-5). Let t = 15 - o. Is 8 a factor of t?
True
Suppose 32 = -3*h + 5*h. Is 16 a factor of h?
True
Suppose -17*t = -20*t + 726. Is t a multiple of 37?
False
Suppose -5*g = 8 - 33. Let h(k) = -k**3 + 3*k**2 + 2*k + 5. Let c be h(4). Is 3*((-50)/c)/g a multiple of 5?
True
Suppose 2*b + 2*b - 135 = i, -2*i - 39 = -b. Does 6 divide b?
False
Suppose x = 3*w + 17, 4*x - 13 = 2*w + 25. Is 3 a factor of x?
False
Let h(t) = 72*t + 3. Does 15 divide h(1)?
True
Is 6 a factor of 5*((-64)/5)/(-4)?
False
Let u(j) = 9*j**2 + 4*j - 2. Let f be u(6). Is (-4)/(-10) + f/10 a multiple of 7?
True
Let m be 1/(2/10 - 0). Suppose m*d - d - 240 = 0. Does 27 divide d?
False
Suppose 0 = -3*s + 15, -2*s + 2 = 3*g - s. Is (-3 + g)*(-55)/10 a multiple of 11?
True
Suppose -5 = -2*l + 27. Let h be 81/(3 - (-3 - -5)). Suppose 5*z - h = -l. Is z a multiple of 9?
False
Suppose 4*k + 528 + 1796 = 0. Is k/(-21) + (-4)/6 a multiple of 12?
False
Let m(l) = l + 5. Let u be m(-3). Does 21 divide ((-116)/u - 1)*-1?
False
Is 492/10 - 10/50 a multiple of 7?
True
Let y be (0 - 4) + 2 + 5. 