 p = 3*y - 5*c, -2*y = 3*c + c - 62. Is y a multiple of 7?
True
Let d(u) = -u**3 + 10*u**2 - 6*u + 10. Let z(p) = -2*p**3 + 19*p**2 - 11*p + 20. Let l(y) = 5*d(y) - 3*z(y). Is l(7) a multiple of 11?
True
Suppose -b + 61 - 17 = 0. Does 7 divide b?
False
Suppose 2*i + i + 271 = -2*p, 5*i + 430 = p. Let n = i + 154. Does 14 divide n?
False
Suppose 0 = -7*f + 2*f + o + 120, -f + 50 = 5*o. Does 7 divide f?
False
Suppose -4*l - 4*w = -948, -4*l + 4*w + 975 = -w. Does 20 divide l?
True
Let s(h) be the first derivative of -h**4/4 + 4*h**3/3 - 4*h + 4. Is s(3) a multiple of 5?
True
Let m = -5 - -29. Is m a multiple of 24?
True
Let t(g) = -g**3 - 6*g**2 - 6*g. Suppose -6*d + 2*d - 7 = -s, 3*s = 5*d. Let i be t(s). Suppose 4*f = 2*j + 2*j + 28, -4*f = -i*j - 30. Does 2 divide f?
False
Let a be ((-9)/15)/(2/(-10)). Suppose -a*t + 3 = 9. Let n = t - -17. Is n a multiple of 15?
True
Let g = -13 + 69. Is g even?
True
Suppose p - 3*p + 6 = 0. Suppose 0 = 3*u + 2*u + 5*q - 135, 0 = 4*u + p*q - 107. Does 13 divide u?
True
Let v = 100 + -40. Is 30 a factor of v?
True
Let p = 40 + -18. Suppose 5*c = -2*q - 3 + 9, 3*c + 6 = 2*q. Suppose t = m + p, -5*t + 2*m = -c*m - 101. Does 12 divide t?
False
Let r be ((-6)/5)/(4/(-20)). Suppose -3*d + r = -33. Is 11 a factor of d?
False
Let k be (24/(-16))/(2/(-4)). Suppose 0*a = -5*a + g + 177, 0 = -a + k*g + 27. Does 18 divide a?
True
Is 3 a factor of (-1)/(6/(-82)) - (-110)/(-165)?
False
Is 21 a factor of (9/(-1))/3 - -45?
True
Suppose 6*x = 7*x - 32. Is x a multiple of 4?
True
Suppose 168 = 4*l - 92. Is l a multiple of 13?
True
Let u(l) = l**2 + 3. Let p be u(0). Suppose 4*r - p*k = 24, -r - k - 13 = -4*r. Is (1 + (-23)/(-3))*r a multiple of 13?
True
Let r(y) = -14*y - 3. Is r(-1) a multiple of 7?
False
Let g be (-6)/(-5)*10/3. Let u be 155*-1*1/(-1). Suppose f - u = -g*f. Does 15 divide f?
False
Is 25 a factor of (-274)/(3/9 - (-12)/(-9))?
False
Let k = 177 + -123. Is 18 a factor of k?
True
Suppose 2*s + 3*w - 77 = 0, -148 = -3*s + 5*w - 3*w. Is 10 a factor of s?
False
Let j be -12 - 2 - (-4)/2. Is 4 a factor of 6/(9/j*-2)?
True
Suppose -8*d - x = -3*d - 27, 3*x + 9 = 3*d. Let w(z) = -z**2 + 4*z - 2. Let n be w(d). Let o = 17 + n. Is 5 a factor of o?
True
Let i(h) be the first derivative of -h**4/4 - h**3/3 - 2*h**2 - 3*h - 1. Suppose 0 = 2*a - 0*a + 4. Is 6 a factor of i(a)?
False
Suppose 0*w + 20 = 5*w. Suppose w*x - 4*z + 5 = -187, 0 = -4*x - 4*z - 176. Let i = 76 + x. Does 15 divide i?
True
Suppose -z - 13 = 2*a, -2*a - 7 = 4*z + 9. Let p = 16 + a. Does 3 divide p?
False
Suppose 3*d + d = 276. Let j = -33 + d. Let v = j + -25. Is v a multiple of 11?
True
Let i(h) = h**3 + 11*h**2 + 8*h - 7. Let b be (-2)/10 - 49/5. Does 3 divide i(b)?
False
Is 12 a factor of -36*(2 - 3) - 0?
True
Let n = -107 + 151. Is 11 a factor of n?
True
Suppose 3 = d - 0*d. Suppose -2*p - d*p = -55. Is 3 a factor of p?
False
Suppose -3*i - 2*i = 0. Suppose -2*r + 2 = i, -4*r + 10 + 4 = 5*k. Suppose k*c - 7*c = -40. Is 4 a factor of c?
True
Let k(c) = 6 - 3*c**2 + 12*c + 4*c**2 - 8*c. Let j(z) = -z**3 - 3*z**2 + 5*z - 1. Let q be j(-4). Is k(q) a multiple of 11?
True
Let m(o) = 8*o**2 + 5*o + 1. Does 28 divide m(4)?
False
Suppose -5*g - 28 + 78 = 0. Is 3 a factor of g?
False
Suppose 6*a = 2*a + 8. Let i(z) = -2 - 4*z**a - 14*z + 3 + 3*z**2 + 3. Is i(-9) a multiple of 19?
False
Suppose -2*r - 31 = -2*j + 95, 20 = 4*r. Suppose 0 = 3*x + 14 - j. Does 17 divide x?
False
Suppose -22 = -2*w - 6*o + o, 0 = 5*w + 3*o - 36. Let u(l) be the third derivative of -l**4/24 + 7*l**3/3 - 7*l**2. Is 5 a factor of u(w)?
False
Let y = 43 - 30. Does 12 divide y?
False
Suppose t + 4*t = 0. Suppose -2*r - 2*q - 44 = 44, 2*r - 5*q + 74 = t. Let g = -22 - r. Does 17 divide g?
False
Let w be (1 - (1 + 0))/1. Suppose w*q - q + 30 = 0. Does 10 divide q?
True
Let d = -5 - -1. Let b(x) = -x**3 - 5*x**2 - 6*x - 5. Is 2 a factor of b(d)?
False
Let y = 38 - -3. Is 5 a factor of y?
False
Let s(f) = f**3 - 19*f**2 + 11*f - 9. Is s(19) a multiple of 11?
False
Let w(x) be the first derivative of -x**5/60 - x**4/6 + 2*x**3/3 + x**2/2 + 2. Let g(o) be the second derivative of w(o). Is g(-3) a multiple of 6?
False
Suppose 3*z = -34 + 226. Is z a multiple of 13?
False
Let u(y) = 23*y**3 + y - 1. Let g be u(1). Let x = g - -8. Let m = -18 + x. Is m a multiple of 8?
False
Let v(i) = -15*i - 3. Is 10 a factor of v(-3)?
False
Let m = -5 - -23. Let k = m + 7. Does 15 divide k?
False
Let x = 10 + -13. Let s be (x - 1)*105/(-4). Suppose -s = -5*t + 45. Does 15 divide t?
True
Suppose -4*d = -2*p, -1 = 3*d - 4. Suppose -5*q - 5 = -5*f, p*q - 12 = -q. Suppose 0 = -2*s + 5*l + 56, 140 = -0*s + f*s + 5*l. Does 14 divide s?
True
Let k = 3 - 1. Let v be 57*(-2)/(-4)*2. Is 8/12*v/k a multiple of 13?
False
Let c(l) = -l**2 + 7*l + 5. Let y = -11 - -18. Let q be c(y). Suppose q*s = 44 + 36. Is s a multiple of 6?
False
Suppose 5*t - 10 - 5 = 0. Suppose t*n + 57 = 18. Let k = -8 - n. Does 5 divide k?
True
Let q be 1/(-2) - (-20)/8. Suppose q*r - 5*p = 22, -p + 2 = 2*r + 4*p. Let v = r - 4. Is v even?
True
Let c = -28 + 58. Is c a multiple of 10?
True
Let s be 562/6 + (-10)/15. Let p = s - 42. Is 17 a factor of p?
True
Suppose -k = c - 84, -3*c - 417 = -3*k - 135. Is 15 a factor of k?
False
Let d be 1*(-1 + 1 - 1). Does 2 divide d*(-9)/(2 + 1)?
False
Is 21 a factor of 48 + -2 + (3 - 2)?
False
Let a be (-2)/2 - (-3 + -65). Suppose -3*d = 7 - a. Does 10 divide d?
True
Let b(t) = 108*t**2 + 2*t - 1. Does 19 divide b(1)?
False
Suppose -17*h - 44 = -21*h. Does 7 divide h?
False
Suppose -59 = 13*o - 14*o. Is 10 a factor of o?
False
Suppose 0 = 2*b - 3*b. Let q(u) = b*u + u**2 + 0*u + 4. Does 10 divide q(-4)?
True
Suppose -5*j = r - 37, -j - 3*r = 3*j - 34. Suppose 3*o - j = 2*o. Does 2 divide o?
False
Let t(a) = a - 6. Let d(h) = h - 7. Let i(r) = r + 5. Let k be i(-10). Let c(g) = k*d(g) + 6*t(g). Is c(6) a multiple of 2?
False
Let a be (1/(-2))/((-1)/(-2)). Let c = -3 + a. Does 11 divide (-114)/c*10/15?
False
Let u(b) = b + 3. Let s be u(-5). Does 15 divide (s/1)/(-1) + 25?
False
Let u be (-1)/3 + (-14)/(-6). Suppose u*n - 20 = -2*n. Does 12 divide 4/(-3)*(-14 + n)?
True
Let d(g) = 6*g - 2*g - 5 + 15*g. Let q be d(-4). Let f = -58 - q. Does 18 divide f?
False
Let p(q) = 4*q + 3. Let g be p(-2). Let a(d) = -d**2 - 10*d - 1. Is 10 a factor of a(g)?
False
Let d(x) = -12*x - 52. Does 11 divide d(-8)?
True
Suppose 0 = 4*n + 15 - 3. Let w be (4/n)/((-1)/6). Is 2 a factor of w/6*(-15)/(-10)?
True
Let g = 217 + -107. Is 17 a factor of g?
False
Let h(p) = -p**3 + 5*p**2 + 8*p - 4. Let n be h(6). Let u(g) = -g + 14. Is u(n) a multiple of 3?
True
Let t(b) = 41*b**3 + 4*b**2 - 9*b - 3. Let f(h) = 21*h**3 + 2*h**2 - 5*h - 2. Let l = -8 - -3. Let i(g) = l*f(g) + 3*t(g). Does 9 divide i(1)?
False
Let p(j) = j**3 + 7*j + 2 + 0*j - 5*j**2 - 3 - 3. Is 8 a factor of p(4)?
True
Suppose -5*f - x + 7 + 4 = 0, -4*x - 16 = 0. Suppose -g = -f*g + 12. Is g a multiple of 3?
True
Let j = 12 + -8. Does 26 divide -6 + j + 160/2?
True
Let w(v) = 30*v**3 - v**2 + 1. Let z be w(1). Suppose -2*b - 2*f + z = 0, -78 = -b - 4*b - 4*f. Is b a multiple of 11?
False
Let o(u) = -u**3 + 3*u**2 - 5 + 0*u + 5*u + u**2. Is 5 a factor of o(4)?
True
Let b = 239 + -347. Is 9 a factor of (b/4)/((-3)/2)?
True
Suppose 4*i = v - 0*v + 265, i - 71 = 5*v. Is i a multiple of 11?
True
Let s(m) = m**3 + 14*m**2 - 6*m - 19. Is s(-12) a multiple of 13?
False
Suppose 4*w - 4 = 2*w. Suppose -2*i - 49 = -5*v, 0*v + w*v = 3*i + 24. Is v a multiple of 3?
True
Suppose -12*i = 176 - 1784. Is 13 a factor of i?
False
Let z(g) = 6*g + 3. Let f be z(-2). Let u = f + 31. Is 5 a factor of 0 - (u*-1)/2?
False
Let r = -19 - -11. Let z = r + 11. Is z even?
False
Let y be 6/2 - 4 - -3. Suppose 3*u + y*r = -3*r + 80, -r + 51 = 2*u. Is u a multiple of 5?
True
Let s = 31 + -56. Let k(z) = 3*z**2 + z - 4. Let u be k(-4). Let t = s + u. Is t a multiple of 7?
False
Let k be (44 - 3) + 0/(-2). Suppose -4*n = -5*n + k. Let l = -26 + n. Is 8 a factor of l?
False
Let w be (1 - -61)*3/2. Suppose -56 = -k + 4*d, 4*d = -d - 25. Suppose 5*l - 81 - w = -3*g, -l + k = g. Does 11 divide l?
True
Let f be (8/20)/((-4)/(-4460)). Is f/7 - (-4)/14 a multiple of 20?
False
Suppose -7*h + 2*h - 20 = 0. L