
False
Let x = -4 + 7. Suppose 4*k - 4*g = 28, 22 = k + x*k + 2*g. Is 3 a factor of k?
True
Let t = 391 - 177. Is t a multiple of 15?
False
Let x = -42 - -52. Does 3 divide x?
False
Let k = 5 + -6. Let d(h) = -h**2 + h + 1. Let b be d(k). Is 26 a factor of (-25 - (-1 + 2))*b?
True
Suppose -3*h + 21 + 105 = 0. Is h a multiple of 3?
True
Suppose 18 = -a + 55. Is 14 a factor of a?
False
Let r(d) = d - 6. Let o be r(8). Suppose -2 = o*j - 30. Is 9 a factor of j?
False
Let j(i) = -i**3 + 6*i**2 + i - 2. Let x be j(4). Suppose -2*g - x = -3*g. Does 17 divide g?
True
Suppose m - 12 = 5*m, -5*b - 3*m = -56. Does 5 divide b?
False
Let t(z) = 85*z**2 - z + 1. Does 9 divide t(1)?
False
Let v(j) = j**3 + 4*j**2 + 3*j + 1. Let b(p) = -p**3 - 7*p**2 - 2. Let z be b(-7). Does 3 divide v(z)?
True
Is 106/8 + (-21)/(-28) a multiple of 7?
True
Let o(w) = 2*w**2 - 2*w - 1. Let n be o(-1). Suppose -l - 12 = -3*l + 2*j, l - 4 = n*j. Suppose 0*u = u - l. Is 2 a factor of u?
False
Suppose -3*l + 3 = 6. Let z be l/5 - 22/(-10). Suppose z*f - 71 = -0*f - 5*q, -2*f - q = -59. Is 14 a factor of f?
True
Let l(w) = 3*w**2 - 2*w + 6. Let k be l(4). Let g = k + -20. Does 13 divide g?
True
Let k = -1 - 58. Let q = -26 - k. Suppose 4*s - q + 1 = 0. Is s a multiple of 6?
False
Let w(z) = -z**2 + 6*z + 1. Let x be w(6). Let l be -1 - (2 + -2)/(-1). Is 5 + x - (l + 0) a multiple of 7?
True
Let p(q) = -q**3 + 8*q**2 - 4. Let x be p(7). Is x/(-6)*4/(-3) a multiple of 7?
False
Suppose 57 = -3*q - 0*q. Let w = q + 75. Does 28 divide w?
True
Let h = -8 + 38. Is 10 a factor of h?
True
Suppose -3*w + 49 = 136. Let z = 21 + w. Is 4 a factor of (5/(-4))/(1/z)?
False
Suppose 2*h + 37 = 4*i + h, 0 = -2*i - 5*h + 35. Suppose -5*n = -z + i + 6, -28 = -5*z - n. Is z a multiple of 3?
True
Suppose 0*j - 95 = -5*j. Is j a multiple of 8?
False
Let a(h) = 3*h - 8. Suppose 5*s - 10 = -4*l - l, -l + 22 = -4*s. Is 5 a factor of a(l)?
True
Suppose -2*p - q = -8, -4*p + 2*q + 16 = -0*q. Does 12 divide -4*p/(48/(-57))?
False
Let y be 5/(-2)*(-8)/5. Let k be 13 - 6 - (y - 1). Suppose -3*n = -2*s + 2*n + 16, 14 = 2*s - k*n. Is s a multiple of 2?
False
Let y(k) = 9*k + 1. Let s be y(-3). Let w = 23 + -24. Is 9 a factor of 2 + w/1 - s?
True
Let c be 9/((-18)/(-8)) - 44. Suppose -x = 5*s + 101, -3*s + 0*x - 57 = -3*x. Let g = s - c. Is 12 a factor of g?
False
Let p(y) = y**3 + 8*y**2 + y + 4. Let h be ((-4)/(-5))/((-1)/10). Let v be p(h). Is (62/v)/(3/(-6)) a multiple of 12?
False
Suppose -3*v = -0*v - 2*y - 98, 4*y = -3*v + 110. Suppose -w = -0*w - v. Is w a multiple of 18?
False
Let m be 2*(-4)/((-16)/10). Suppose 2*i = -j + 23, j = -m*i + 4*j + 52. Is 11 a factor of i?
True
Suppose 0*u + u = 65. Suppose 4*t = -g + u, -4*g + 73 = 7*t - 2*t. Is 17 a factor of t?
True
Let y = 14 - 5. Let s = 9 - y. Suppose 2*w + s*w = 10. Is w even?
False
Suppose -5*v - 27 = -87. Is v a multiple of 2?
True
Suppose -3*a - 117 + 30 = 0. Let k = a + 59. Does 15 divide k?
True
Suppose 5*a + 22 = -33. Let c = a - -19. Is 8 a factor of (1*c)/((-4)/(-8))?
True
Suppose 5*r + 0*t + 35 = 5*t, -t - 7 = r. Let d = 4 - r. Let f(g) = g + 5. Is 7 a factor of f(d)?
False
Let v = 1 - -2. Let u = 25 - v. Does 11 divide u?
True
Suppose 0 = 3*c - 73 - 2. Suppose 25 = -3*y + 2*t, -5*y - 4*t + 0*t = 27. Let v = c - y. Does 16 divide v?
True
Suppose 55 = 5*y + 5*w, -y = w - 4*w - 23. Let g = 19 + 2. Is 5 a factor of 4/y - (-414)/g?
True
Let d = -65 - -251. Suppose 2*u + 0*u + d = 0. Let z = u - -134. Does 11 divide z?
False
Suppose -3*u - 7 = 17. Let f = 54 - 45. Does 12 divide (f + u)*(1 + 23)?
True
Let w(j) = -7*j - 12. Is w(-5) a multiple of 4?
False
Suppose -6*r + 99 - 3 = 0. Is r a multiple of 13?
False
Let z be -4*(164/16 + 3). Let p = z - -85. Is 7 a factor of p?
False
Let m(c) be the third derivative of c**6/60 - c**5/60 - c**4/12 + c**3/2 - 3*c**2. Does 4 divide m(2)?
False
Let w(r) = -10*r**3 - r**2 + r + 1. Does 13 divide w(-2)?
False
Let y(c) = c**2 + 12. Is y(-3) a multiple of 7?
True
Let j(n) be the first derivative of 0*n - 5/2*n**2 + 2 - 5/3*n**3 + 1/4*n**4. Does 6 divide j(6)?
True
Suppose -115 = -4*o + 29. Is o a multiple of 24?
False
Let l(n) = 45*n**3 - 2*n + 1. Suppose -4 = 2*a - 6*a. Let r be l(a). Let i = -31 + r. Is i a multiple of 13?
True
Let q be (-4)/2*29/(-2). Let u = -89 - -134. Let v = u - q. Is v a multiple of 9?
False
Let c = 0 - -2. Let v be 0/(4*1/c). Let z(b) = b**3 - b**2 + b + 38. Is z(v) a multiple of 19?
True
Let y(a) = -4*a - 35. Is 21 a factor of y(-14)?
True
Let p(y) = y**2 - 2*y + 1. Let g be p(1). Suppose g = -i - 0*i + 18. Is i a multiple of 12?
False
Let i(a) = -a**3 - a**2 + 1. Let l be i(-5). Let u = l + -47. Suppose 0 = -3*s - 3*q + u, -s - 2*q + 81 = 4*s. Does 15 divide s?
True
Let w = -14 + 22. Does 13 divide 1*4/w*54?
False
Let z(f) = f**3 + 5*f**2 + f. Let a be z(-5). Let y(b) = -b**3 - 4*b**2 + 4*b - 5. Let u be y(a). Suppose -2*k - k + 96 = u. Does 11 divide k?
False
Does 14 divide 80*(3 + 33/(-15))?
False
Suppose 2*c + c = -30. Let j = c + 9. Is 11 a factor of (1 - 1 - 28)/j?
False
Let r = 14 + -23. Let i(z) = -z**2 - 6*z + 17. Let f(q) = 3*q**2 + 18*q - 50. Let m(a) = 4*f(a) + 11*i(a). Is 13 a factor of m(r)?
False
Let d = -78 - -126. Is 16 a factor of d?
True
Let v be ((-10)/6)/(4/(-168)). Let p = v - 40. Does 4 divide p?
False
Suppose i = -2*g - 2*i + 18, 0 = -3*i - 6. Suppose -28 = -5*x - 3*a, 0*a - 3*a - g = -3*x. Suppose 0 = x*n - d - 51, 5*d - 31 = -3*n - 6. Does 10 divide n?
True
Suppose -2 = -0*q - q. Let r be (-6 - -3)/((-3)/q). Suppose -6*g = 5*a - r*g - 125, g = -5. Is a a multiple of 13?
False
Suppose -13 = -4*c - 1. Suppose -33 - 31 = -4*t + 5*f, -5*t - c*f = -80. Is 16 a factor of t?
True
Let h(i) = -16*i - 3. Let r be (-14)/4 + (-1)/(-2). Is h(r) a multiple of 25?
False
Suppose 72 - 228 = -3*p. Is p a multiple of 16?
False
Suppose 3*o - 2*c + 0*c = 115, 5*c = -2*o + 83. Let f = o - 22. Is 6 a factor of f?
False
Let s = 84 - 52. Is s a multiple of 16?
True
Suppose -b + 51 = 2*n - 20, 5*b - 3*n - 381 = 0. Suppose -s + b = -4*h, 0*h = 4*s + 3*h - 281. Suppose 2*q = 5*t - 187, 6*t + 3*q = 4*t + s. Does 11 divide t?
False
Let r(o) = -o**2 + 7*o + 5. Let b be r(6). Suppose z = -0*z + b. Does 11 divide z?
True
Suppose -d + 2*d - 26 = -3*k, -4*d - 56 = -4*k. Is k a multiple of 4?
False
Suppose 0*m - 8 = a - 2*m, 0 = 2*a + 5*m - 11. Is 4/(-4)*(-27 - a) a multiple of 15?
False
Suppose 4*r = -3*j + 229, 111 + 138 = 4*r - j. Is 8 a factor of r?
False
Let j(u) = u**3 + 8*u**2 + 6*u + 5. Let s(a) = -a**3 - 7*a**2 - 6*a - 4. Let y(o) = 2*j(o) + 3*s(o). Is y(-4) a multiple of 6?
True
Let t be (6/4)/(3/(-18)). Let w = 3 - 2. Is 4 a factor of -1*(t/1)/w?
False
Let t(v) = -26*v - 5. Let i be t(-4). Let m be 4/14 - i/(-21). Suppose m*j = j + 52. Does 5 divide j?
False
Suppose -10*j = 90 - 2650. Does 32 divide j?
True
Does 4 divide (-3)/(9/8)*(-87)/58?
True
Let h(l) = -l - 11. Let u be h(-6). Let n(r) = -r**3 + 6*r**2 + 6*r + 9. Let b be n(7). Is 7 a factor of (2/u)/(b/(-70))?
True
Let a = 60 + 17. Is 6 a factor of a?
False
Suppose -3*d = -2*z + 6 - 25, -3*d + 11 = 2*z. Suppose -d*t = -t - 72. Is t a multiple of 6?
True
Let m be ((-14)/4)/((-4)/(-8)). Let z = -4 - m. Suppose -z*x + 22 = -11. Is x a multiple of 11?
True
Let p be ((-86)/(-2)*-1)/(-1). Let v(g) = 3*g**2 - 2*g - 5. Let u be v(5). Let b = u - p. Does 15 divide b?
False
Suppose -5*t + 20 = 0, -316 = -2*h - 4*t + 120. Suppose -4*x = x - h. Is x a multiple of 14?
True
Let k = 77 - 29. Let d = 73 - k. Let t = -12 + d. Does 13 divide t?
True
Let y(h) = -h + 3. Let c be y(3). Let g(f) = -f + 4. Let z be g(c). Suppose -v - 33 = -z*v. Is 11 a factor of v?
True
Let x = 1 - 1. Suppose x = -4*s + 2*a + 66, s - 3*a - 17 = 12. Is s a multiple of 14?
True
Let h(u) = u. Let w be h(2). Suppose l - 36 = -w*l. Is 5 a factor of l?
False
Suppose 8 = -3*p - 1. Let q(g) = -7*g**3 - 4*g**2 - 3*g + 2. Let v(a) = -6*a**3 - 4*a**2 - 3*a + 1. Let i(z) = 5*q(z) - 6*v(z). Is 2 a factor of i(p)?
True
Suppose 2*y = 5*j - 2*y - 288, 5*y + 122 = 2*j. Is 8 a factor of j?
True
Let b be 0/((-1 - -2) + -3). Suppose b = 3*m - 56 + 8. Is m a multiple of 3?
False
Let y = 88 - 62. Is y a multiple of 13?
True
Suppose 4*k - l = 2*l - 12, -4*l = 4*k - 16. Suppose -8 = -2*n 