 b(-2). Let x = a - n. Is x a multiple of 4?
True
Suppose 0 = 4*y + 4*u + 4, 0 = -3*u - 12. Let x(i) = -3 - 26*i + 2 + y*i. Is x(-1) a multiple of 10?
False
Let w(r) be the first derivative of -5*r**2/2 + 8*r + 4. Is w(-7) a multiple of 12?
False
Is 1 + -1 - 1265/(-23) a multiple of 7?
False
Let h = 245 - 141. Is 52 a factor of h?
True
Let h be 0 - (1 - 7) - 4. Suppose -h*t - 85 = -7*t - 4*o, 0 = t - 3*o - 36. Is 7 a factor of t?
True
Let b = -65 + 162. Is b a multiple of 15?
False
Let p(k) = -21*k + 2. Let j be p(-2). Suppose -2*l + l = -j. Is l a multiple of 22?
True
Let o = 21 + -13. Suppose -3*y + o = y. Suppose -y*l = -6 + 2. Does 2 divide l?
True
Suppose 5*x + 2*f = 21 - 4, 0 = 3*f + 12. Suppose -3*d + 2 = x. Is 20 a factor of 4*8 - (1 - d)?
False
Suppose 3*k - 7*k = 0. Suppose 2*u - 2 = 0, -n + 11 = -k*n - 3*u. Is n a multiple of 7?
True
Let z(b) be the first derivative of 21*b**2/2 - 2*b - 2. Let a be z(3). Let m = a + -22. Is 13 a factor of m?
True
Is 20 a factor of 2805/20 - ((-52)/(-16) + -3)?
True
Suppose u + 2*y + 2*y = 43, 0 = 4*y - 20. Does 23 divide u?
True
Let d(u) = -11*u - 7. Suppose 5*z - 5*v - 29 = -v, 15 = 2*z - 5*v. Suppose 4*t + 35 = -0*t + z*n, 0 = -5*t - n - 22. Is 10 a factor of d(t)?
False
Let j(u) = -5*u + 0*u**2 + 2*u**2 - u**2 + 6. Is 3 a factor of j(5)?
True
Suppose g + 2*h = 0, 0*g = 4*g - 3*h - 22. Suppose 2*u + 103 = 3*d, 0 = -d - g*u + 3*u + 31. Is d a multiple of 16?
False
Suppose -160 = 9*o - 2392. Does 8 divide o?
True
Suppose 5*t + y = 319, -4*y + 4 = -3*y. Does 10 divide t?
False
Suppose -4*u + 4*r + 130 = u, -4*u + 95 = -5*r. Is u a multiple of 15?
True
Suppose -3*k = -0*k - 12. Let x = -4 + k. Suppose 0 = 3*u + 3*l - 51, 93 = 5*u + 3*l - x*l. Does 15 divide u?
False
Suppose 5*r - 165 = 535. Does 14 divide r?
True
Suppose -2*i - 2*n + 17 - 1 = 0, n + 4 = 3*i. Let u(v) = v**2 - v - 2. Let x be u(i). Suppose 233 = 5*s - x*y, 17 = -2*s - 2*y + 103. Is 18 a factor of s?
False
Suppose -1620 = -0*g - 9*g. Does 15 divide g?
True
Suppose d + 3*b - 25 = -0*d, -4*d + 58 = -2*b. Is d a multiple of 16?
True
Let h(k) = 4*k + 1. Let j be h(1). Suppose 0 = -j*b - 5*m + 55, 0*m + 4*m = 4*b - 36. Does 9 divide b/(-4)*(-54)/15?
True
Suppose -5*x = -2*d - 0*d - 470, 4*x = 4*d + 364. Is 32 a factor of x?
True
Suppose -3*v + 8*v = 25. Let t(z) = -2*z - 10. Let b(w) = -2*w - 11. Let f(a) = 3*b(a) - 4*t(a). Is 17 a factor of f(v)?
True
Let c be (-606)/(-12) + 2/(-4). Suppose 2*v - 6*v - 2*q - c = 0, -q = 4*v + 51. Let r = 51 + v. Does 15 divide r?
False
Suppose 0*k = -5*z + 3*k + 132, 3*k + 24 = z. Is 9 a factor of z?
True
Let g(r) = -r**3 + 11*r**2 - 3*r - 9. Let c be g(10). Let v = c - 37. Does 9 divide v?
False
Let t = 35 + -21. Suppose -z = 2*w - 2*z + t, 0 = -w + 5*z - 25. Is 15 a factor of 2 + -1 + (w - -26)?
False
Let x be (24/18)/(1/(-3)). Let u = 1 - x. Suppose -3*q = -u*q + 20. Does 6 divide q?
False
Suppose 5*f - 29 = 261. Does 16 divide f?
False
Let s = -24 + 112. Does 14 divide s?
False
Let p be (2/6)/((1/(-3))/1). Let w(z) = -21*z**2 - 2*z - 2. Let q(g) = -31*g**2 - 3*g - 3. Let x(b) = 5*q(b) - 8*w(b). Is x(p) a multiple of 6?
False
Suppose 5*c - 6 = 19. Suppose c*a - 6 = 4*a. Suppose 2*j - a*j = -2*p + 12, -3*p - 4*j = -48. Does 4 divide p?
True
Is 38 a factor of 3/((-9)/(-690)) + -2?
True
Suppose 120 - 685 = -5*q. Is 14 a factor of q?
False
Let u be (-1)/((-3)/21 - 0). Let d(v) = v**2 - 3*v + 5. Is d(u) a multiple of 10?
False
Does 17 divide (-20)/(-5) + -6 + 83 + -2?
False
Suppose -f - 2 = q - 4, -2*f + 4 = -3*q. Suppose -z = -f*z - t + 34, -2*t = -4. Suppose -2*p + 3*i + z = 0, -p - 3*p - 2*i = -80. Is p a multiple of 19?
True
Is 12 a factor of 4/(-10) - 242/(-5)?
True
Suppose 4*a = 2*a + 4*r - 34, 5*a + 5*r = -160. Does 3 divide (1 + 0)/((-9)/a)?
True
Suppose 1118 = -4*c - 2982. Let f = c + 475. Does 11 divide ((-6)/10)/(10/f)?
True
Suppose -3*u = 2*u - 50. Is 5 a factor of u?
True
Let f(q) = -q**3 - 4*q**2 - 3*q + 4. Let h(l) = -6*l - 7 + l + 4*l. Let r be h(-4). Is f(r) a multiple of 2?
True
Suppose -165 = -t + 5*d, t - 61 - 149 = -4*d. Does 38 divide t?
True
Let a(q) = -q + 35. Suppose -h = 5*w - 2 + 25, -w = -4*h + 13. Suppose -h*j = 2*j. Does 14 divide a(j)?
False
Let a = 51 + -39. Is a a multiple of 12?
True
Suppose k = 2*f - 9, 7*k - 5*f = 4*k - 30. Let d be (-5)/(-2)*4*-1. Let l = d - k. Is l a multiple of 3?
False
Let s(n) = n**2 + 2*n + 3. Let c be ((-36)/(-27))/(2/(-6)). Is 7 a factor of s(c)?
False
Let c = 94 + -90. Let l(r) = -5*r**3 - 11*r**2 - 5*r - 3. Let s(n) = -4*n**3 - 10*n**2 - 4*n - 3. Let f(t) = 5*l(t) - 6*s(t). Is 11 a factor of f(c)?
False
Let n(a) = a**3 + a**2 - a + 7. Let v be n(0). Suppose -50 = 7*q - 2*q. Let z = v - q. Does 6 divide z?
False
Let s(z) = -36*z - 115. Is s(-9) a multiple of 11?
True
Does 9 divide (-4)/(-18) + (-1288)/(-36)?
True
Let s(q) = -q**3 + 13*q**2 - 12*q + 2. Suppose f = -2*m - 3*f + 26, -3*f + 12 = 0. Suppose 17 = 4*z - 3*z + u, -m*z + 80 = 4*u. Is s(z) a multiple of 2?
True
Let l(x) = -176*x - 32. Let s(c) = -27*c - 5. Let a(y) = -5*l(y) + 32*s(y). Is 13 a factor of a(1)?
False
Suppose -2*s = 2*k - 132, -134 = -s - s - 3*k. Is s a multiple of 8?
True
Let i = -7 + 68. Suppose 3*o = 17 + i. Is o a multiple of 13?
True
Let j be 5 + -3 + 0 + 3. Suppose 0 = j*p + 23 - 98. Is p a multiple of 15?
True
Let b(m) = m - 1. Let y(w) = -5*w + 6. Let u(f) = 4*b(f) + y(f). Is u(-5) a multiple of 7?
True
Let m(s) = s**3 - 6*s**2 + 9*s - 14. Is 13 a factor of m(7)?
False
Suppose -4*y - p = -6*p - 8, 4*p + 2 = y. Suppose y*z - 6 = z. Is 2 a factor of z?
True
Is 6 a factor of (9/18)/(1/2)*31?
False
Let p be 22/6 + (-7)/(-21). Suppose 5*r - 24 = -p. Suppose 0 = q - r*q + 51. Does 7 divide q?
False
Is (6 + -3 - -39) + 4 a multiple of 17?
False
Let c(r) be the first derivative of -r**3/3 - 2*r**2 + 7*r - 4. Let d be c(-5). Is (-189)/(-18) - (-1)/d a multiple of 3?
False
Let p(u) = 5*u**3 - 4*u**2 - 9*u - 6. Let q(v) = -9*v**3 + 7*v**2 + 17*v + 11. Let m(k) = 7*p(k) + 4*q(k). Is m(-4) a multiple of 21?
False
Suppose 0 = 5*a - 3*v - 20, -a + v = -4 - 0. Suppose 5*q + a*n - 117 = 0, -5*q + q + 106 = -3*n. Suppose -b + q = -0*b. Is 15 a factor of b?
False
Let g = 25 + -7. Suppose -2*s = 3*j - 4*s - 18, -3*j + 5*s = -g. Does 11 divide (-9)/j*(-22)/3?
True
Let g(i) = -3*i + 2. Let x(c) be the second derivative of -c**3/6 + c**2/2 + c. Let p(r) = 6*g(r) - 14*x(r). Is p(-5) a multiple of 7?
False
Suppose 5*o = 3*k - 4 - 19, 0 = 2*o - 4. Is k a multiple of 11?
True
Let b be (-40)/25*(-15)/6. Does 12 divide (0 + 54)*2/b?
False
Is 5 a factor of (-158)/(-6) - (-20)/(-60)?
False
Let o(c) = c**2 - 11*c + 13. Let z be o(10). Suppose 3*l - 57 = -z*n, -n - 2*n = -4*l + 69. Is 6 a factor of l?
True
Let m(k) = 6*k**2 + 2*k - 2. Is 8 a factor of m(-2)?
False
Let p = 454 - 287. Suppose -p + 67 = -5*g. Is g a multiple of 18?
False
Let q(w) = w - 5. Let p be q(8). Suppose 0 = -o - 5*j + 31, 5*o - 105 = 2*o - p*j. Is o a multiple of 12?
True
Let o = 42 - 24. Let y be 1/3 + 2010/o. Suppose -4*d + y = -2*d. Is 20 a factor of d?
False
Suppose -4*i + 7 = 47. Let y(a) = a**2 + a. Let l be y(-2). Is (1 - i) + (-2)/l a multiple of 10?
True
Let u(p) = p + 12. Let d be u(-7). Suppose y + 8*b - 29 = d*b, -3*b + 69 = 3*y. Is 10 a factor of y?
True
Let f(p) = -p**3 + 7*p**2 - 3*p - 2. Suppose i + i = -2. Let v = 4 + i. Does 10 divide f(v)?
False
Let r(c) = 4*c + 71. Is 21 a factor of r(23)?
False
Suppose 32 = 3*l - 292. Is 35 a factor of l?
False
Does 13 divide -3 - (8/(-16) - (-71)/(-2))?
False
Let w(g) = -11*g + 1. Is 12 a factor of w(-1)?
True
Let b(n) = -2*n + 1. Let v be b(-7). Suppose z + 2*z = v. Does 5 divide z?
True
Suppose 32 = 3*n + 2*h + 6, -4*h = -2*n + 44. Let o(r) = r**3 - 11*r**2 - r + 3. Let k be o(n). Suppose 17 + k = 4*y. Is 19 a factor of y?
True
Let u(j) = 7*j**2 - j - 1. Is u(-2) a multiple of 6?
False
Let t(k) = -k**2 - 2*k + 38. Let f be t(0). Let m be (84/(-30))/((-2)/(-10)). Let u = f + m. Does 13 divide u?
False
Suppose -c = -0*c. Suppose h - 6*h - 42 = -v, c = 4*v - 8. Is (-31)/(-2) + 4/h a multiple of 6?
False
Suppose -1 + 21 = 5*m. Let n = m - 0. Is n even?
True
Let a(h) = -4*h + 2. Let x(g) = g - 1. Let m(c) = -2*a(c) - 7*x(c). Does 3 divide m(9)?
True
Let k = -260 + 469. Su