7 + u. Is 23 a factor of x?
False
Let o = -163 - -251. Is 11 a factor of o?
True
Let p = -9 + 12. Suppose 2*m = p*b + 10 - 126, -b - m = -32. Is 12 a factor of b?
True
Suppose 3*c - 496 = c. Is c a multiple of 13?
False
Let a(o) = o**2 - 7*o - 22. Let n be a(10). Suppose 4*g + 2*x - n = 0, 2*g = -7*x + 2*x - 4. Is g a multiple of 3?
True
Suppose 2*y = -2*h - 2*h - 66, -3*y + 3*h = 126. Does 4 divide y/(-3) - (3 - 0)?
False
Let u(r) = 57*r**2 - 57*r + 57. Let t(v) = -7*v**2 + 7*v - 7. Let m(o) = -33*t(o) - 4*u(o). Suppose -4*a - 6 = -7*a. Does 9 divide m(a)?
True
Let y(r) be the first derivative of -r**3/3 - 5*r**2/2 + r - 2. Let p be -2*(-1 - -3)*1. Is 4 a factor of y(p)?
False
Let w be 10/(-4)*(-30)/3. Is 17 a factor of (-5)/w + (-111)/(-5)?
False
Let u = 9 - 6. Suppose -5*c + 45 = 4*d - 12, u*d - 5*c - 69 = 0. Is 8 a factor of d?
False
Let y = 3 + 7. Let o be (y/(-4))/((-3)/30). Suppose -2*w - 5*s + o = 0, 2*w + 0*s - 31 = -3*s. Is w a multiple of 11?
False
Let q(t) = 3*t**2 + 9*t - 10. Let u be q(-7). Let x be 2/(-5) + u/10. Suppose 0 = j - 1, 2*c = -2*j + x*j + 5. Is 2 a factor of c?
False
Let w(y) = -y + 9. Does 2 divide w(5)?
True
Let a = -7 + 13. Suppose 5*j - 22 = -0*q - q, 0 = j + q - a. Suppose 4 = -0*m - m, j*y - 20 = -4*m. Is 9 a factor of y?
True
Suppose 136 = 5*o + 2*u, o = u + 15 + 8. Does 26 divide o?
True
Does 6 divide -42*(2 + 20/(-7))?
True
Let l be 4*1*(-5)/2. Let k = -5 - l. Suppose -2*o = 3*t + 37 - 200, 179 = 4*t - k*o. Does 13 divide t?
False
Let m(z) = 2*z - 8. Let c be -7*(0 - (1 + 0)). Let x(f) = -f**2 + 8*f + 1. Let d be x(c). Is 4 a factor of m(d)?
True
Suppose 0 = z - 2*z. Let k be -2 - -1*(1 + 1). Suppose v + k*v - 23 = z. Is v a multiple of 23?
True
Let c(f) = -4*f - 4. Let y be c(-4). Let j be (-6)/4*(-64)/y. Suppose -2*h - l = -11, 3*h - l = j*h - 35. Is h a multiple of 6?
False
Let s(i) = 2*i - 9. Let q be s(6). Let x(b) = -2*b. Let v be x(-7). Suppose -4*w + 8*w - v = -y, -q*y - 6 = 0. Is w a multiple of 3?
False
Let u(y) be the second derivative of 2*y**5/15 - y**4/24 + y**3/6 + y**2/2 - y. Let w(o) be the first derivative of u(o). Does 8 divide w(1)?
True
Suppose 0 = -x + 2*g + 12, -6*x + 2*g + 14 = -4*x. Suppose -x*r + 6*q + 26 = 2*q, -4*r = -q - 52. Does 4 divide r?
False
Let h = -4 + 6. Suppose -2 = -4*p + 18. Suppose 7*w = 2*w + h*d + 23, -5*d = -p. Is w a multiple of 5?
True
Suppose 3*n - 109 = o, -2*o - 190 = -5*n - 8. Does 4 divide n?
True
Let a(l) = -55*l + 1. Suppose s = 4*d - 1, d - 5 - 9 = 3*s. Does 28 divide a(d)?
True
Let m = -1 + 3. Suppose 2*r - m = 2*c, 2*c - 4*r + 24 = 3*c. Suppose 0 = -3*s - 4*v + 14, 3*s - c*v - 16 = 6. Is 3 a factor of s?
True
Let n(r) = -8*r**2 + r - 1. Let b be n(1). Is 9 a factor of b/(-44) - 97/(-11)?
True
Let y = -9 + 26. Does 6 divide y?
False
Let v(w) = -50*w + 2. Let r(b) = -2*b**2 + b. Let i be r(1). Does 26 divide v(i)?
True
Let c be -3*((-1)/3 + 0). Does 3 divide 5 + -2 + (6 - c)?
False
Let r = -10 + -14. Let m = 82 + r. Does 29 divide m?
True
Suppose -7*k = -3*k - 108. Is k a multiple of 27?
True
Suppose -2*f + 3*f - 2 = 0. Suppose f*m - 29 = 11. Is m a multiple of 10?
True
Suppose 23 = -v - 11. Let a = v - -122. Is 14 a factor of a?
False
Suppose -8*p + 290 = -766. Is p a multiple of 12?
True
Let z be 43 + 2 + (-4 - -2). Let x(l) = 2*l**2 - l + 1. Let y be x(1). Suppose -m = y*b - 11, 0*m + 5*m + 4*b - z = 0. Is 4 a factor of m?
False
Let x(h) = h**2 - 7*h - 9. Let l be ((-3)/(-6))/(1/22). Does 17 divide x(l)?
False
Let u(a) = -17*a - 21. Does 12 divide u(-9)?
True
Suppose 4*m = 8, 4*o - m = 4*m + 10. Suppose 3 = -b + 5*s, -4*s = b - s - o. Does 2 divide b?
True
Let z be ((-12)/12)/(2/(-6)). Let x = z - -1. Does 3 divide x?
False
Let v(x) = x + 5. Let m be v(-5). Suppose m*u = 4*u. Suppose -78 = -u*n - 2*n. Does 15 divide n?
False
Suppose 0 = 10*k - 639 + 39. Does 15 divide k?
True
Let k = -68 - -30. Let j = k - -73. Is 6 a factor of j?
False
Does 12 divide 45/25*(-40)/(-6)?
True
Let y(f) = 112*f + 17. Is 18 a factor of y(2)?
False
Let x(m) = m**3 + 15*m**2 - 19*m + 27. Is x(-14) a multiple of 18?
False
Let q be 28 + 0/(-1 + 0). Is 19 a factor of (-7)/q - (-153)/4?
True
Is 8 a factor of (3 + 1)/(2/4)?
True
Let s(v) be the first derivative of -v**3/3 - 2*v**2 - 3. Let w be s(-3). Suppose 0 = w*k - 30 - 102. Is 17 a factor of k?
False
Let t be (2/4)/(2/4). Is ((-152)/20)/(t/(-10)) a multiple of 19?
True
Suppose q + 420 = -3*q. Is 20 a factor of (q/(-28))/(6/32)?
True
Suppose 0 = 2*j + j. Suppose j = -3*w - 23 - 40. Let l = w + 38. Is l a multiple of 13?
False
Let j(c) = -c**3 - 6*c**2 - c - 2. Let h be j(-6). Suppose 0 = -h*p + 48 + 4. Is 13 a factor of p?
True
Suppose 57 = 5*t - 128. Is 8 a factor of t?
False
Suppose -7*a + 15 = -2*a, -2*a + 26 = -2*v. Let h(l) = -16*l**2 - 39*l - 39. Let t(m) = -3*m**2 - 8*m - 8. Let u(c) = 2*h(c) - 11*t(c). Is u(v) a multiple of 4?
False
Let i(a) = 7 - 15*a + 12*a**2 - 3*a**2 + a**3 - 19. Let o be i(-10). Suppose 4*f - o = 6. Is 11 a factor of f?
True
Let v(d) = -55*d**2 + 3. Let h(w) = 2146*w**2 - 116. Let l(z) = 3*h(z) + 116*v(z). Let c(y) = 2*y**2 - 4*y - 5. Let n be c(3). Does 22 divide l(n)?
False
Let b be (-5 - (-1 - 3))*-4. Is -3 + (65 - 16/b) a multiple of 16?
False
Let q = 3 + 0. Suppose q*c - 59 = -n + 5*n, -5*n = -3*c + 64. Is 11 a factor of c?
False
Let o = -106 - -175. Suppose 4*a - o = a. Is a a multiple of 23?
True
Suppose 87 = -5*u - 3*j, 4*u + 3*j = -j - 68. Is 20 a factor of (u/15)/((-6)/100)?
True
Let z(i) = i**3 - 7*i**2 + i + 5. Let a(f) = f**2 + f + 6. Let y be a(0). Let c(j) = j**3 - 6*j**2 + j + 1. Let m be c(y). Does 12 divide z(m)?
True
Let u(h) = 7*h**2 - 2*h - 10. Is u(-2) a multiple of 2?
True
Let l(f) = -f - 15. Let d be l(-11). Let z be 5286/15 + d/10. Is 22 a factor of (9/(-6))/((-12)/z)?
True
Let h = -6 - -4. Is 13 a factor of 39/h*(-12)/9?
True
Suppose 35 = 2*d - 45. Is (-8)/6 + d/3 a multiple of 9?
False
Suppose 2*q - 45 = 5*j - 0*q, -3*j - 2*q = 27. Let o(h) = -h**2 - 16*h - 3. Is 20 a factor of o(j)?
True
Let y(w) = w**2 + 4. Is y(3) a multiple of 3?
False
Suppose 0 = -f + j + 131 - 32, 4*j - 276 = -3*f. Does 32 divide f?
True
Suppose 0 = -3*x - 6 - 3. Let w(z) = -22*z - 16. Let c(q) = -7*q - 5. Let n(o) = 10*c(o) - 3*w(o). Is n(x) a multiple of 3?
False
Suppose n = 3*n + 6, -4*n = -4*p + 588. Suppose p = 3*m + m. Suppose -3*z = -0*z - m. Is 6 a factor of z?
True
Let i = -127 - -134. Is 3 a factor of i?
False
Let t(h) be the second derivative of h**4/3 + h**3/2 - 2*h. Is 10 a factor of t(-2)?
True
Let t = -22 + 152. Is 5 a factor of t?
True
Let i = 61 + -42. Suppose -3*n + 15 = -4*o, 4*n + 3*o = 8*o + i. Does 9 divide n - 0 - (-24)/1?
False
Does 26 divide 93 + 3 + (-1 - 6)?
False
Does 14 divide (48/(-9))/(2/(-33))?
False
Let l(m) = 3*m + 2*m**2 + 3 - 3*m + 4*m. Does 13 divide l(4)?
False
Let o(n) = 2*n**3 - 3*n**2 - n + 2. Let c be o(3). Let a = c + 25. Suppose 0*x - 5*x = 3*d - a, -2*x = d - 18. Is d a multiple of 5?
False
Let h(i) be the second derivative of 3*i + 1/3*i**3 + 0 - i**2. Is h(4) a multiple of 3?
True
Is 11 a factor of (1 - -2)/18 + (-778)/(-12)?
False
Let i(o) be the second derivative of -7*o**3/6 - o. Let q = -10 + 6. Is 14 a factor of i(q)?
True
Suppose -45 = 2*d + 3*z, 5*d + 30 + 72 = 3*z. Is 44/3*d/(-14) a multiple of 20?
False
Let a be (-2)/((-2)/(-6) + -1). Suppose -a*u + 5 = -16. Does 2 divide u?
False
Let b be 287/(-21) - 1/3. Is 7 a factor of (-4)/(-6)*(-315)/b?
False
Let x(w) = -14*w**3 + w**2 - w - 1. Let k be x(-1). Suppose k = 4*v + v. Is v even?
False
Let s(o) = o**2 + 6*o - 7. Let u be s(-7). Suppose u*t = 2*t - 350. Suppose -n - t = -5*c, -n = -0*c + 3*c - 97. Is 17 a factor of c?
True
Let t(d) = -d + 4. Let o(j) = -j**2. Let g be o(0). Let v be t(g). Suppose -9 = 2*s - 3*u, -5*s + 26 = -3*s + v*u. Does 2 divide s?
False
Is (-10 + (-36)/(-6))*294/(-4) a multiple of 14?
True
Suppose -5*b - 272 = -4*f, -2*b + 1 = 9. Is f a multiple of 14?
False
Suppose -2 = 3*h - 8. Suppose h*c - 4 = c. Suppose -3*v + 0*v + 17 = -2*b, -11 = v - c*b. Is v a multiple of 3?
True
Suppose -3*u + 2*r + 734 = 0, -5*u + 5*r = -1276 + 56. Does 13 divide 6/9*u/4?
False
Suppose 2*d + 39 = 199. Is 18 a factor of d?
False
Suppose -2*s - 35 = 3*s. Suppose -4*m + 32 = -16. Does 6 div