a)?
True
Suppose -31 = -5*j + 2*p + 31, -j = p - 11. Suppose 4 = -2*i + j. Suppose 5*g + i*w - 31 = 0, 0 = 3*g + g - w - 8. Does 3 divide g?
True
Let n(m) = -m**2 + 10*m. Let q be n(10). Suppose q = 3*p - p. Suppose 4*w = -p*x + 2*x - 98, -5*x + 221 = -4*w. Is 14 a factor of x?
False
Is ((-3)/(-6))/((-2)/(-140)) a multiple of 7?
True
Suppose 5 = -5*q + 5*v, 5*v + 2 = -2*q + 4*v. Let w be 4/1 + 1/q. Suppose -5*j + y = -108, 7*y - 2*y + 56 = w*j. Is 11 a factor of j?
True
Let w = 15 + 5. Does 10 divide w?
True
Let f(s) = -3 - 2 + 3*s + 3 + 7. Is 7 a factor of f(3)?
True
Suppose 3*q + 0*q = 12. Suppose 0 = -5*n - s + 35, -q*n + 2*n + s = -21. Is 4 a factor of n?
True
Suppose 4*j + 307 - 1475 = 0. Does 11 divide j?
False
Suppose -1 = 6*s - 43. Suppose -s*w = -8*w + 17. Does 13 divide w?
False
Let l(r) = r - 4. Let t be l(3). Is 13 a factor of 0 + t + (-2 - -16)?
True
Suppose -s - 345 = -6*s. Suppose -c - c + 56 = 4*k, 3*c - s = -3*k. Is 6 a factor of c?
True
Suppose -9*t - 652 = -1813. Does 9 divide t?
False
Suppose 3*o - 8 = 4. Let n(c) = -c**2 + 4*c + 1. Let i be n(3). Suppose i*w - w + v = 61, -3*w + o*v + 71 = 0. Does 13 divide w?
False
Suppose 5*g = 4 + 16. Let s be g/(-14) + 60/14. Suppose 98 = 3*z - 4*v, -4*v + 2*v + 94 = s*z. Is z a multiple of 11?
False
Suppose -3*x = 2*x + 15, -2*k + 181 = -5*x. Is 24 a factor of k?
False
Suppose t - 96 = -4*r, -t + r + 93 = 4*r. Does 28 divide t?
True
Let m be (-30)/35*(-28)/6. Suppose -44 = -l - m*i, -4*l - 2*i = l - 310. Is 13 a factor of l?
False
Suppose -2*l + 6*l - 48 = 0. Let z be (l + 2)*(-1)/2. Does 2 divide z/(-3) + 5/(-15)?
True
Suppose 0*i - 4*k + 40 = 2*i, 4*i - k = 125. Is 10 a factor of i?
True
Does 35 divide 16/(1/22*(-4 + 6))?
False
Let v(o) = 29*o**2 - 4*o + 3. Let m(d) = -d**2 - d + 1. Let c(n) = -2*m(n) + v(n). Is 7 a factor of c(1)?
False
Let v = 1 - -42. Let u = v + -24. Is 5 a factor of u?
False
Let g(o) = -o**2 + 18*o - 14. Is 11 a factor of g(8)?
True
Let z(q) = -q**2 + 1. Let w(b) = 3*b**2 - 4*b - 9. Let r(h) = -w(h) - 4*z(h). Does 10 divide r(-7)?
False
Let x = -32 + 59. Suppose o + o + 2*m = 14, x = 5*o + 3*m. Suppose 4*z = -2*t + 20, -2*t = -5*z - o + 1. Does 6 divide t?
True
Does 5 divide (-48)/(-9)*1 + 5/(-15)?
True
Suppose 3*j = 2*j - 2*w + 126, -w = -2*j + 252. Does 14 divide j?
True
Let q = -9 - -14. Is 10 a factor of 175/q + (-2)/1?
False
Let c be (27/(-2))/((-3)/12). Let b = c - 29. Does 10 divide b?
False
Let a(y) be the second derivative of y**4/12 - 4*y**3/3 + 7*y**2/2 + y. Let d be a(7). Let p = 26 + d. Is 13 a factor of p?
True
Let d be 2 + 3/3 - 3. Let j be 0/(3 + 0) - d. Suppose -5*r - 25 = 0, -2*g + 6*r - 2*r + 58 = j. Does 19 divide g?
True
Let d be 53/(-2) - 2/4. Let l = d + 1. Let s = l - -38. Is s a multiple of 4?
True
Let f(b) = -11*b. Does 7 divide f(-8)?
False
Let p(n) = -5*n - 5. Let s be p(-7). Suppose 0 = -2*r - 2*j + s, -3*j - 22 - 29 = -3*r. Is r a multiple of 8?
True
Suppose 72 = 5*l - 28. Does 10 divide l?
True
Let y = -3 - -17. Does 7 divide y?
True
Let s(i) = -i**2 - 6*i. Let c be s(-5). Suppose -8 = -4*g - 0*g. Suppose -d - c*f + 26 = 0, 3*d + 53 = g*f + 165. Is 18 a factor of d?
True
Let c = 24 + -8. Suppose c*z = 11*z + 60. Is z a multiple of 6?
True
Let h(d) = d. Let a be h(-6). Is (-214)/(-12) - 1/a a multiple of 5?
False
Let g = 11 + -11. Suppose 3*k - 392 + 113 = g. Does 25 divide k?
False
Let g = 14 + 49. Does 9 divide g?
True
Let s(c) = c**2 + 6*c + 4. Let j be s(-6). Suppose 4 = -2*z, -j*z + 8 = 4*t - 4. Suppose 3*k = 5*r - 116, -r + 3*r = t*k + 54. Does 8 divide r?
False
Suppose 3*m - 608 = -80. Let n = m - 106. Is 21 a factor of n?
False
Let c(w) = 14*w + 27. Does 37 divide c(6)?
True
Let m be (7 + -11)*6/(-8). Suppose -5*a = 20, -4*q = m*a + 2*a - 36. Does 11 divide q?
False
Let b(z) = -3*z - 5. Let k be b(-4). Suppose k*u - 36 = 3*u. Is 2 a factor of u?
False
Let g(h) = 6*h + 24. Is g(12) a multiple of 16?
True
Let h(k) = -k**3 + 4*k**2 + 6*k. Let y be h(5). Suppose -y*g = 5*w - 15, 4*g - 4 = w - 2. Suppose 2*t = w*d - 3*d + 53, 0 = d - 5*t - 53. Does 15 divide d?
False
Let p(w) = w**2 - 12*w + 1. Let x = -1 - -13. Let n be p(x). Does 25 divide (-1)/((-1)/51*n)?
False
Suppose 0 = -3*n + 97 - 13. Let a = 69 - n. Is a a multiple of 12?
False
Suppose -q - 4*p = -2*p - 100, 2*q - 4*p - 184 = 0. Is q a multiple of 12?
True
Let f = 190 - 67. Is 22 a factor of f?
False
Let p be 2/3 + (-10)/(-3). Let a be -2 + (-2)/p*-8. Suppose -2*y + 4*y = a*q - 34, 0 = 3*q - y - 53. Does 9 divide q?
True
Let n be 6 + -2 + -2 - 2. Suppose q + n*q - t - 1 = 0, -q + 17 = 3*t. Is q a multiple of 5?
True
Suppose o = 3*o + 10. Suppose -x + 3*x - 16 = 0. Let s = x + o. Is s a multiple of 2?
False
Let r be 7/(-35) - 182/(-10). Let d = -13 + r. Suppose -5*i - 14 = -o - i, -2*o = -d*i - 37. Is o a multiple of 12?
False
Is 54 a factor of (-281 + -1)/(-2) - (-12 - -9)?
False
Suppose -36 + 14 = -i. Is i a multiple of 4?
False
Let c(v) = 5*v**2 + 3*v - 1. Let x(y) = 10*y - 2*y**2 - 1 + 11*y**2 - 3*y. Let l(f) = -5*c(f) + 3*x(f). Does 6 divide l(-4)?
False
Suppose 24 = -3*u - 0*c + 4*c, 0 = -c + 3. Let m = 10 + u. Is m a multiple of 2?
True
Suppose 3*i - g = 139, -2*i + 5*g - 3*g = -86. Does 16 divide i?
True
Let o = 7 + -2. Is 0 - -41 - (-4 + o) a multiple of 8?
True
Let f be -1*1 - (5 + -9). Suppose 0 = 4*i - 5*r + r - 72, -46 = -f*i + 5*r. Is 11 a factor of i?
True
Let b(o) = o**3 - 2 - 4*o**2 - 3*o + 3 + 3*o. Is 26 a factor of b(5)?
True
Let n = 37 + 5. Does 21 divide n?
True
Let c = -1 + 6. Is 2 a factor of c?
False
Let x be 0/(((-2)/2)/1). Suppose 36 = 3*o - x*o. Does 12 divide o?
True
Suppose -3*c + 0*l = -4*l + 17, -2*c = -l + 3. Suppose 2*j = -4*f + 7 + c, -12 = 4*f. Does 5 divide j?
True
Suppose -3*t = -49 + 16. Does 5 divide t?
False
Let d = -1 + 1. Suppose -2*n + n + 30 = d. Is n a multiple of 10?
True
Let c(x) = x**2 + 9*x + 3. Let f be c(-9). Suppose -f*j + 208 = j. Is j a multiple of 13?
True
Let q = -19 + 39. Does 10 divide q?
True
Let z = -62 + 97. Does 7 divide z?
True
Let i(x) = 5*x**3 - 10*x**2 - 2*x + 9. Let v(b) = -b**3 + b**2. Let n(j) = -i(j) - 4*v(j). Let s be (-2)/(-6) + (-34)/(-6). Is n(s) a multiple of 3?
True
Is 21 a factor of 1/(-6) + (-2958)/(-36)?
False
Is 31 a factor of (-80)/(2 + 33/(-15))?
False
Suppose 0 = q - 0*q + 3*r + 15, q + 4*r + 20 = 0. Suppose -2*a - p = -7*a + 54, 4*a + 3*p - 28 = q. Is a a multiple of 10?
True
Suppose w = -4*b + 15, -5*b + 2*b = -6. Suppose 5*x - 28 = 2*v, 2*x = w*x + 2*v - 12. Suppose 9*r = x*r + 60. Is r a multiple of 4?
True
Let h = -1 + -9. Let b = h + 7. Is 13 a factor of 1 - (-96)/(b/(-1))?
False
Let f(r) = -r**2 - 9*r - 4. Let x = -13 - -8. Does 6 divide f(x)?
False
Does 62 divide (-45 - 1)*(-56)/16?
False
Suppose 6*n - 4*n = 20. Is (-122)/(-5) + (-4)/n a multiple of 12?
True
Let m = -9 + 15. Let s(k) be the first derivative of -k**4/4 + 7*k**3/3 - k**2 + 9*k - 1. Is 12 a factor of s(m)?
False
Suppose 4*z - d = 435, 450 = 4*z + 5*d - 3*d. Let h = -74 + z. Suppose -h = r - 4*r. Is 6 a factor of r?
True
Let o = 31 - 22. Is o a multiple of 4?
False
Let u be (0 + 1)*0 - -6. Suppose -s = -u*s. Suppose -2*i + 1 + 5 = s. Does 3 divide i?
True
Let v(u) = -u**3 - 11*u**2 - u - 6. Let f be v(-11). Suppose -f*c + 5 = 0, -2*c + 17 = -3*h - 6*c. Let p(q) = q**2 + 6*q. Is 7 a factor of p(h)?
True
Suppose 5*u + 83 = 673. Is 17 a factor of u?
False
Suppose v = -0*v + 5*p + 15, 0 = v - 3*p - 9. Suppose v*r + r = 24. Does 12 divide r?
True
Let k be 6*(-1)/2 + 79. Suppose 5*o - 195 = -2*h, -2*o + k = -4*h - 2. Is 16 a factor of o?
False
Suppose 0 - 25 = -5*w - 5*l, 0 = -w + 4*l - 20. Suppose w = -t + 2, 0 = -g + 2*g + 4*t - 52. Let b = g + -28. Is 8 a factor of b?
True
Let j be -1 + (258 - 3) + 0. Suppose -2*l - 190 = -3*r - l, 4*r - j = 2*l. Is 21 a factor of r?
True
Let n(m) = m**2 + 33. Does 12 divide n(0)?
False
Let j(p) = -2*p**3 - 2*p**2 - p + 5. Does 11 divide j(-3)?
True
Let l be 1/(-3 - 4/(-1)). Let j(v) = 11*v - 1. Does 3 divide j(l)?
False
Let t = -18 - 86. Is (t/(-5))/((-6)/(-15)) a multiple of 17?
False
Let g = 19 - 15. Is g a multiple of 2?
True
Let n(y) = 4*y**2 + 4*y + 1. Is 5 a factor of n(-4)?
False
Suppose -q + 2*q - 4*v - 17 = 0, 3*v + 10 = -2*q. Does 4 divide -5*(-8)/5*q?
True
Let u = -110 - 