et y(c) = c**3 + 6*c**2 + 4*c + 5. Let j be y(-5). Suppose 36 = 5*q - k, -3*k + 2 = -j. Is q a multiple of 8?
True
Let b(c) = -c**3 + 6*c**2 - c + 6. Let r be b(6). Suppose r = 2*y - 7*y + 30. Is 3 a factor of y?
True
Suppose 3*w - 3*q + 9 = 0, 0 = 2*w - 5*q + 4 + 11. Let u be (12/7)/1*28. Suppose 0 = 4*n - w*n - u. Does 6 divide n?
True
Suppose -5*o = -o. Suppose n - 4*t - 7 = o, -37 = -0*n + 5*n + 4*t. Let k(x) = -x**3 - 5*x**2 - 2*x + 5. Does 15 divide k(n)?
True
Suppose 4*j = -4*d + 20, -4*d + 5*j - 5 = 2. Let f = 1 + d. Suppose f*l = 3, 0 = -4*i + l + 4*l + 19. Is i a multiple of 2?
True
Suppose 4*r = -0*r + 4. Let y be r + -2*2/(-4). Suppose 4*l - 60 = y*l. Does 13 divide l?
False
Let w(b) = b**3 + 5*b**2 - b - 3. Let n be w(-5). Let g(l) = 3*l**2 + 3 + 2 - l - 4. Is 3 a factor of g(n)?
False
Suppose -4*d = -4*k - 0*d + 8, 3*k = -3*d + 12. Suppose 32 - 119 = -k*f. Is 23 a factor of f?
False
Let h be -1 + 8 - (-4)/(-2). Suppose h*v - 36 = -4*j, -15 - 5 = 5*v. Is 6 a factor of j?
False
Let u be (8/(-5))/(4/120). Let m = u - 7. Let q = 86 + m. Does 10 divide q?
False
Is (-6)/(-4)*48/9 a multiple of 5?
False
Suppose 70 = 4*n + n. Is n/2*1 + -1 a multiple of 6?
True
Let d(q) = 8*q + 5*q**3 - 5*q**2 - 4*q**3 - 5 - 2 - q**2. Does 8 divide d(5)?
True
Let x = 18 + 23. Suppose 0 = 5*l - 2*b - 10, -4*l = -b + 6*b - x. Is 4 a factor of 1/(-4) + 33/l?
True
Let w(d) = d**3 - 16*d**2 - 10*d - 33. Does 30 divide w(17)?
False
Let v(h) = 3*h - 32. Does 3 divide v(14)?
False
Let w(n) = n**2 + 8*n. Let i be w(-8). Suppose 52 = 2*y + 3*c, -4*y + y - 3*c + 75 = i. Is 23 a factor of y?
True
Let v be (3/4)/((-39)/(-104)). Suppose -v*j = 4*n - 190, 8*j = 3*j + 2*n + 415. Does 21 divide j?
False
Suppose -3*b = 4*t - 29, b - 13 = -t + 6*b. Is t a multiple of 3?
False
Let o = 8 + -6. Suppose 26 + 4 = -k - z, 0 = -4*k - o*z - 126. Does 7 divide k/(-5) + (-2)/(-5)?
True
Suppose 0*b - 960 = -6*b. Is b a multiple of 10?
True
Let b(w) = -w**3 - 9*w**2 + 9*w - 2. Let o(d) = d**3 - 7*d**2 + 5*d - 4. Let i be o(6). Does 8 divide b(i)?
True
Let r = -3 - -13. Suppose w - 14 = 3*b, 0 = 2*w + 5*b + r + 6. Does 2 divide (6/9)/(w/6)?
True
Let t(z) = -5*z**2 + 4*z + 3*z**2 + z**2 + 1 + 5*z**2. Let a = -1 + -3. Is t(a) a multiple of 17?
False
Does 15 divide 50*1 + (132/4)/(-11)?
False
Let m(o) = -3*o**3 + 1 - 5*o**2 + 4*o**3 + 3*o + 1 + 3*o**3. Is m(2) a multiple of 10?
True
Suppose 2*b - 9 = -2*d - 3*d, 0 = 5*b + 15. Let t(n) = -2 + 4 - n + 0*n**2 - n**2 + 0 + 2*n**3. Is 15 a factor of t(d)?
False
Suppose 3*l + 4*n - 76 = 2*n, -4*n = -5*l + 112. Does 16 divide 1398/l + (-2)/8?
False
Let i(u) = 25*u + 25. Is i(6) a multiple of 14?
False
Does 27 divide 65 - 8/((-16)/4)?
False
Let y = -6 - -2. Let q be (37 + -2)/((-2)/y). Suppose 3*x + 2*x - q = 0. Is 14 a factor of x?
True
Suppose n + 2 = 3*j - 9, 3*n = 3*j - 3. Suppose j*t - 3*f = 70, -4*f + 29 = 5*t - 6. Is t a multiple of 11?
True
Let k = 239 + -107. Does 19 divide k?
False
Let o = 0 + 2. Suppose -o*u - 4*k = -14, 0*u + k = u - 1. Is (-2)/u + (-152)/(-12) a multiple of 12?
True
Let l = 75 - 11. Suppose 0 = 4*n + 20 - l. Is 11 a factor of n?
True
Suppose -4*m - 208 = -3*x, 2*m + 322 = 5*x - 34. Does 12 divide x?
True
Let s(m) = -m - 7. Let z be s(-5). Let o be (9/z)/(2/4). Is 10 a factor of 2/(-6) + (-147)/o?
False
Let o be 0/(3 + 0 - 2). Suppose 237 = 6*c - c + n, 2*c + 4*n - 84 = o. Is c a multiple of 18?
False
Let s be (-160)/(-25) + (-4)/10. Let r(a) = -6*a + 18 + s*a - a. Is r(0) a multiple of 7?
False
Suppose -9*w = -8*w - 46. Is 4 a factor of w?
False
Suppose -3*m = -0*m. Suppose m = -5*f + 14 + 21. Suppose -2*n - 1 = -f. Does 3 divide n?
True
Suppose -35 = -5*n - 10*l + 5*l, -2*l - 22 = -2*n. Is (-27)/(-2)*(-7 + n) a multiple of 27?
True
Suppose 4*o + 408 = 5*z, 3*o + 136 = -4*z + 450. Suppose -3*c - 2*c + 90 = -5*u, -4*c + 2*u + z = 0. Does 9 divide c?
False
Suppose 3*w + 19 = 4. Let i(q) = -3*q**3 - 12. Let z(j) = 7*j**3 + 25. Let m(b) = w*i(b) - 2*z(b). Does 10 divide m(0)?
True
Let f(s) = -2*s**2 - 9. Let w(q) = -3*q**2 - q - 10. Let i(m) = 4*f(m) - 3*w(m). Is 22 a factor of i(4)?
True
Let g = 7 - 42. Let c = -20 - g. Is c a multiple of 7?
False
Suppose 0 = -2*g - 3*k + 7, g + 5*k - 1 = 3*g. Let t(x) = -g*x + 7 - 5*x + 5*x + 3*x. Does 2 divide t(-5)?
True
Suppose 3*m + 3*f - 624 = 0, f + 2 = 1. Is 30 a factor of m?
False
Suppose 2*t - 3*a - 26 = 0, 3*t + 3*a = -2 + 11. Suppose -2*y + t*y + k = 64, 2*y + 3*k - 36 = 0. Is y a multiple of 9?
False
Suppose 0 = 5*g + 2*y - 327, 18*g - 191 = 15*g + 4*y. Is 5 a factor of g?
True
Let t = -114 + 64. Let i = -30 - t. Is 7 a factor of i?
False
Let i(d) = d + 1. Let x be i(11). Let k = x + -17. Is 13 a factor of (2/k)/((-4)/200)?
False
Suppose 3*n - 4*x - 268 = -n, 3*n = -5*x + 209. Does 17 divide n?
True
Let z be (-99)/(-15) - 10/(-25). Suppose -5*q = -2*p + 30, -3*p + 15 = 4*q - z. Is 6 a factor of p?
False
Suppose 12*m - 7*m = 0. Suppose 5*y + 4*t - 193 = m, -2*t = 2*t - 8. Let g = y + -15. Does 11 divide g?
True
Let q be 49/(-6) - 1/(-6). Let l(h) = 4*h + 11*h**2 - h**3 + 2*h**3 - 4*h**2 - 14*h. Does 10 divide l(q)?
False
Let g = -18 - -37. Is g a multiple of 7?
False
Let c = 24 - 4. Suppose -4*z = -0*z + 44. Let m = c + z. Does 9 divide m?
True
Let n be 16/(-6)*(-18)/4. Does 9 divide 12*(1 - 3/n)?
True
Is 10/(-35) - (-816)/14 a multiple of 10?
False
Suppose -l = 2*k - 53, -2*l + 74 = -k - 3*k. Let y = 30 + -6. Let w = l - y. Is 9 a factor of w?
False
Let y = 9 - 3. Does 4 divide y?
False
Let z = 18 + 6. Does 6 divide z?
True
Let z(f) = -f**3 + 2*f**2 + 4*f - 3. Suppose 0 = m + 4*m - 15. Let j be z(m). Let b = 4 + j. Is b a multiple of 4?
True
Suppose z = -3*z + 140. Suppose f - 6*f + z = 5*d, -9 = 3*f - 3*d. Suppose f*g = b + 96, 210 = 5*g - 0*b + 5*b. Is 26 a factor of g?
False
Let n be (-16)/(-6)*(-3)/(-4). Is (1 + n)/(12/16) a multiple of 2?
True
Does 2 divide (4/8)/((-1)/(-22))?
False
Let q = -121 + 362. Does 37 divide q?
False
Let q = 0 + 50. Is q a multiple of 10?
True
Suppose -2*x + 37 + 25 = 0. Is 23 a factor of x?
False
Suppose 4*y = -102 + 410. Is 7 a factor of y?
True
Let c be ((-23 - -2) + 1)*1. Is 11 a factor of ((-24)/c)/((-2)/(-55))?
True
Let l(p) be the first derivative of 2*p**3 - 5*p**2/2 + 4*p + 3. Is 19 a factor of l(3)?
False
Suppose -2*w - m + 0*m + 1 = 0, 4*w = -4*m. Suppose 0 = -4*s + w + 7, -4*d - 4*s + 48 = 0. Is 3 a factor of d?
False
Let w = -4 + 30. Is 13 a factor of w?
True
Does 11 divide 152/14 - 7/(-49)?
True
Suppose -28 = 3*y - 10. Let c(r) = -r**2 - 6*r + 6. Is 2 a factor of c(y)?
True
Let v(o) = -o**3 + 5*o**2 + 4*o - 9. Is v(4) a multiple of 6?
False
Let w(c) = c**2 - 8*c + 4. Let f be w(8). Suppose 3*n = -2*y - 2 + 51, f*y = -5*n + 83. Is 5 a factor of n?
True
Let x = 11 - 7. Suppose 3*v - x*v = -18. Is 9 a factor of v?
True
Suppose -2*o - 375 = -7*o. Suppose x = -2*x + o. Does 11 divide x?
False
Let q = -18 + 0. Is q/(-45) + 113/5 a multiple of 10?
False
Let n = 4 - 4. Let t be n/(1 + 2) - -3. Suppose -o + 0 = 4*m + 7, 19 = 2*o - t*m. Is o a multiple of 5?
True
Suppose 7*i - 4*i - 12 = 0. Suppose 0 = -i*y + 43 + 53. Is y a multiple of 12?
True
Let k = -60 + 43. Suppose 114 + 50 = 4*z. Let b = k + z. Is 12 a factor of b?
True
Let z(j) = j - 7. Let n = -5 - -10. Let q be z(n). Let b(u) = -7*u + 1. Does 15 divide b(q)?
True
Suppose -4*y - 2*l = 14, 3*l - 5*l = 5*y + 15. Let t = y + 15. Is 7 a factor of t?
True
Let m(r) = r**3 + r**2 + r + 3. Let b be m(0). Suppose b = -4*t + 187. Does 13 divide t?
False
Let h(o) = -o**3 + 9*o**2 - 7*o - 3. Is h(8) a multiple of 2?
False
Suppose 5*j - 44 + 16 = -4*w, -4*j = 5*w - 26. Suppose m - j*m + 12 = 0. Suppose 5*h + m*p - 67 = 0, -4*p - 7 = -2*h + p. Is 7 a factor of h?
False
Let n = 35 - 17. Let k = n - 8. Is k a multiple of 8?
False
Suppose -4*c = -3*c - 29. Does 10 divide c?
False
Suppose -3*t - 2*t + 135 = 0. Suppose 3*f = 2*q + f - 4, t = q + 4*f. Suppose q*v - 144 = 3*v. Does 18 divide v?
True
Suppose 4*o - 10 = 10. Suppose -10 = -0*z + o*z. Does 3 divide 5 - (z - -8)/3?
True
Suppose -24 = -10*h + 486. Is h a multiple of 5?
False
Let w(t) = 10*t + 6*t**2 - 10 - t**3 - 6*t**2 + 6*t**2. Does 6 divide w(7)?
False
Suppose -3*g + 0*g - 6 = 0, -4 = -i + g. Let z be (-4)/12 + (-52)/(-12). Suppose 