4?
True
Suppose 5*y + h = 2*h + 31, 3*h = -5*y + 47. Let w(d) be the first derivative of d**4/4 - 7*d**3/3 + d**2/2 + d - 1. Is 3 a factor of w(y)?
False
Let y = 1 - 5. Is (-106)/y - (-2)/4 a multiple of 12?
False
Let o(n) = 4*n - 6. Let p(v) = v**2 - 3*v - 5. Suppose 0 = a - 2*a + 5. Let u be p(a). Does 7 divide o(u)?
True
Suppose -4 = -2*r - 6. Suppose 2*p = -0*p - 12. Let z = r - p. Does 5 divide z?
True
Suppose -2*p + 26 + 0 = 5*z, 3*p = -3*z + 12. Does 4 divide (12/z)/(3/6)?
True
Let o be 39 - -4 - (-1 - -2). Is -5 + 2/1 + o a multiple of 13?
True
Suppose -12*u + 294 = -9*u. Is u a multiple of 7?
True
Suppose -4*g - 3*g + 70 = 0. Is g a multiple of 10?
True
Suppose 0 = 7*x - 46 - 339. Is x a multiple of 12?
False
Let w be 3/(-12) + (-63)/(-12). Suppose -o + 2*l - 28 = -3*o, 4*o + 3*l - 51 = 0. Suppose o = w*r - 1. Is 2 a factor of r?
True
Let i be 2/(-7) + 1270/35. Let l = -26 + i. Does 9 divide l?
False
Suppose 4*f + 121 = 2*m + 25, 0 = 3*m - 3*f - 153. Does 18 divide m?
True
Let y = -26 + 40. Let c(j) = j**3 + 7*j**2 + j + 10. Let a be c(-7). Suppose 3*i + 3*n = 2*n + y, a*n + 3 = 0. Is 2 a factor of i?
False
Let z(y) = -y**2 + 16*y - 12. Let o be z(12). Let h = -16 + o. Does 5 divide h?
True
Suppose -14 = -4*d + 2. Suppose -4*n = d*s, 3*s - 30 = n + 2*n. Is s a multiple of 5?
True
Is (-572)/(-99) + 4/18 a multiple of 5?
False
Let g be (-28)/(-2)*-1 - -4. Let f(b) = -3*b + 3. Let a be f(2). Is 15 a factor of (11 - 2)/(a/g)?
True
Let n(j) = j**2 - 10*j. Let s be n(6). Let m = 11 - s. Does 11 divide m?
False
Suppose -2*t + 2*d = -4*t + 56, 3*d = 3*t - 114. Is t a multiple of 33?
True
Let x = -2 - -26. Suppose x - 8 = 4*f. Is f even?
True
Is 17 a factor of (4/2)/(-1*(-2)/193)?
False
Suppose 18 = -4*y + v + 8, 5*y + v + 17 = 0. Let b be 0 - (6/y + -68). Suppose 4*a = -d + 140, 0*a = 2*a + 2*d - b. Is 10 a factor of a?
False
Suppose 2*l + l - 90 = 0. Suppose 4*f - l = 14. Is 11 a factor of f?
True
Let m(k) be the first derivative of 2*k**3 - k**2 + k - 1. Let l be m(1). Does 2 divide (l/10)/((-1)/(-6))?
False
Let g(f) be the third derivative of f**5/30 + f**4/6 - f**3/2 - 5*f**2. Does 4 divide g(-4)?
False
Let v be 3/(-9) - (-178)/3. Let b = 111 - v. Is b a multiple of 26?
True
Suppose 3*k - a = 1 + 37, 3*a - 30 = -3*k. Does 3 divide k?
True
Let i be (-4)/(-12)*6 - 0. Suppose 141 = 4*m + i*a + 3, -2*a - 134 = -4*m. Does 15 divide m?
False
Let x(w) be the first derivative of -44*w**3/3 - w**2 - w - 2. Let j be x(-1). Let m = -27 - j. Is 6 a factor of m?
False
Suppose o + 5*w - 29 = 0, 5*o + 2*w = 90 - 14. Is 4 a factor of o?
False
Is 55 a factor of -1 + 12/(-6) - -221?
False
Let i(n) = n**2 - n + 2. Let a be i(2). Let d = 25 - a. Does 21 divide d?
True
Suppose 10*x - 1700 - 1590 = 0. Is x a multiple of 51?
False
Suppose 3*o - 2*l - 4 = 0, -3*o - 4*l = -o - 24. Is 4 a factor of o?
True
Let a be -2 - -3 - (0 - -7). Let t(d) = d**3 + 6*d**2 + d + 7. Let l be t(a). Does 16 divide (-48)/(-1) + -1 + l?
True
Let g(s) = -23*s - 1. Suppose -1 - 4 = 5*y. Is 22 a factor of g(y)?
True
Let i(z) = z**2 - 3*z - 4. Let g be i(5). Let m = g + 7. Is m a multiple of 13?
True
Suppose 5*s - 3*s + 24 = j, -63 = 5*s - j. Let x = s - -25. Does 11 divide x?
False
Let g(x) = -x**3 - 7*x**2 - 8*x + 6. Let i be g(-6). Suppose n - i - 6 = 0. Is 8 a factor of n?
True
Let d(r) be the third derivative of -r**5/60 - r**4/2 - 4*r**3/3 + 4*r**2. Let f be d(-11). Suppose -f*y - 22 = -4*y. Is y a multiple of 11?
True
Suppose 3*m - 10 = m. Suppose 65 = 5*x - m*j, 24 = 2*x - 6*j + 2*j. Is 4 a factor of x?
False
Suppose -6*v = -4*v - 58. Does 8 divide v?
False
Is 11 a factor of 2/5 + 2834/65?
True
Let t(m) = -3*m - 1. Is 6 a factor of t(-10)?
False
Let a = -23 - -56. Is a a multiple of 6?
False
Let h = 111 + -51. Does 30 divide h?
True
Let o(v) = -v**2 + v - 10. Let k be o(0). Let b = k + 40. Is b a multiple of 15?
True
Suppose 2*g - 1272 = -4*g. Does 31 divide (-3)/((-12)/g) + 3?
False
Let d = -94 - -101. Let u(f) = -5*f**2 - 16*f + 29. Let m(v) = -v**2 - 4*v + 7. Let s(w) = 18*m(w) - 4*u(w). Is s(d) a multiple of 22?
False
Let d(r) = 5*r - 10. Is 19 a factor of d(6)?
False
Suppose -f - 4*f = -10. Does 15 divide ((-15)/f)/((-3)/12)?
True
Is 3 a factor of (-1 - -4)/((-9)/(-69))?
False
Let n(h) be the first derivative of -h**3/3 + 11*h**2/2 - 15*h + 10. Is 9 a factor of n(7)?
False
Let r(j) = j - 1. Let w(f) = 3*f - 9. Let m(b) = -2*r(b) + w(b). Let x be m(8). Is 6 a factor of 70/6 + x/3?
True
Let h be (-5)/15 + (-474)/9. Let u = -33 - h. Is u a multiple of 20?
True
Suppose 0*v + 9 = 3*v. Suppose 18 = 2*d - 5*i - 21, v*i = -3. Does 6 divide d?
False
Let b(g) = g + 13. Suppose -5*m = -2*f + 102 - 22, -f = -2*m - 32. Let h = 9 + m. Is 3 a factor of b(h)?
True
Suppose -67 = -p + 31. Suppose -3*k + p = -i, 2*i - 158 = -5*k + 5*i. Is 17 a factor of k?
True
Let q(g) = 2*g**2 + 6*g - 2. Is 18 a factor of q(-7)?
True
Suppose 0 = 2*m - 50 - 200. Does 9 divide m?
False
Let s = -73 + 145. Suppose -x - 2*x + s = 0. Is 14 a factor of x?
False
Let q be (3 - 1) + 171 + -2. Suppose r = 4*w - 2*w + 34, 4*r - q = w. Is r a multiple of 11?
True
Is 14 a factor of (-3)/(-6) - (-83)/2?
True
Let n(x) = 2*x**3 + x**2 - x + 4. Let z be n(-3). Let j = -24 - z. Is j a multiple of 14?
True
Let j(f) = -f. Let u be j(-3). Let q(x) = 5*x + 2. Is 9 a factor of q(u)?
False
Let l(d) = -d**3 + 9*d**2 - 8*d - 15. Is 9 a factor of l(7)?
True
Suppose 0 = u - 3*u + 70. Let a(d) = -d**2 + d - 16. Let r be a(0). Let l = r + u. Is 7 a factor of l?
False
Let b(s) = 4*s - 7. Let a(v) = 12*v - 21. Let q(i) = 6*a(i) - 17*b(i). Is q(5) a multiple of 6?
False
Does 15 divide 4 - (-118)/(-2)*-1?
False
Let y(x) = 2*x**2 - 2*x - 2. Let u be y(2). Suppose -3*g - 4*j - 31 = 0, 0*g + 3 = g - u*j. Is ((-6)/(-15) + -2)*g a multiple of 8?
True
Let r be 1 - -130 - (0 - -2). Let d = -84 + r. Does 16 divide d?
False
Let z be (24/(-18))/(2 - (-308)/(-153)). Suppose -5*f - 16 = -4*n, -4*n + 4 = -3*n - f. Suppose -5*x + 170 = 4*h, -3*h - z - 34 = -n*x. Is x a multiple of 17?
True
Suppose -6*f + 11*f = 190. Is f a multiple of 38?
True
Let w(y) = -y**2 + 6. Let p be w(5). Let b = p + 39. Is b a multiple of 8?
False
Let c be (-4)/(1 + -3) + 5. Let h = c - 2. Let b(r) = 4*r + 6. Does 13 divide b(h)?
True
Suppose 2*c + 5*k - 12 - 6 = 0, 0 = 3*c - 3*k - 48. Let u = c - 9. Is 3 a factor of u?
False
Suppose -51 + 19 = -2*g. Is (-1 + g)*60/25 a multiple of 14?
False
Let q(f) = f**3 - f**2 + 1. Let d be q(0). Suppose 0 = k - 11 + d. Is k a multiple of 10?
True
Suppose q + 4*q - b - 484 = 0, 4*q + 5*b = 364. Does 18 divide q?
False
Suppose -3*c = 5*j - 179, -2*c - 3*c = -4*j - 286. Does 24 divide c?
False
Suppose -2*n + 64 = 2*n. Is n/(-4)*(-1)/2 even?
True
Suppose -3*s = -3*g - 90, 0*g = 2*s - g - 60. Is s a multiple of 5?
True
Let g(p) = 6*p - 5. Is 5 a factor of g(5)?
True
Suppose -3*r + 13*r = 270. Does 7 divide r?
False
Suppose -4*l + l = -510. Is l a multiple of 17?
True
Let h = 4 + -2. Suppose h*s = 23 + 3. Does 4 divide s?
False
Let n(x) = 4*x**2 - 10*x + 8. Does 8 divide n(4)?
True
Let l = -3 + 4. Let j(z) = -z**2 + 9*z - 10. Let o be j(8). Is (13 - l) + (-2 - o) a multiple of 6?
True
Is 11 a factor of ((-396)/(-15))/((-17)/20 - -1)?
True
Suppose -2*f + 3*a - 3 = -12, 3*a = 3*f - 6. Let z = f - -11. Is 2 a factor of z - (3 + -2 + 1)?
True
Suppose 6*k - 2*k + 196 = 0. Let w be 69/(-15) + (-2)/5. Does 10 divide k/w + (-2)/(-10)?
True
Let b(i) = 5*i + 2. Suppose -4*c + 5*c + 2 = 0. Let p be b(c). Let k = p + 20. Is 12 a factor of k?
True
Suppose -18*b = -12*b - 18. Is b a multiple of 3?
True
Suppose -67 = -3*d - 4. Let b = d + 1. Does 21 divide b?
False
Let k be 15/4 - (-6)/24. Suppose -8*o = -k*o - 8. Let f = 5 + o. Does 4 divide f?
False
Suppose -3*g + 532 = 4*y, -3*y - 3*g + 125 = -271. Suppose 4*p - y = w + 90, 0 = -4*w + 8. Is p a multiple of 26?
False
Suppose -2*z - 3*z = -65. Does 13 divide z?
True
Let f(l) = -18*l**3 + l**2 + l + 1. Does 5 divide f(-1)?
False
Let v = -4 + 6. Let c be (8/12)/(v/(-84)). Let h = 48 + c. Does 10 divide h?
True
Let a be 387/(-6) + 6/12. Let z = -34 - a. Is z a multiple of 10?
True
Let n(c) = c**2 - 3*c - 2. Let t = -3 + 1. Does 4 divide n(t)?
True
Let n be (-78)/((-3)/(1 + 2)). Suppose -5*s - 1 = -16. Suppose