8 a factor of y(o)?
True
Let a(v) = -v**3 - 11*v**2 - 12*v + 12. Let y be a(-11). Suppose -7*c = -3*c - y. Does 18 divide c?
True
Let m = -67 - -97. Let y be (24/m)/(4/490). Suppose -5*u + y + 222 = 0. Is u a multiple of 19?
False
Does 4 divide 1/(-4) + 538/8?
False
Let w = 60 + -12. Does 24 divide w?
True
Let f = -46 - -44. Does 15 divide 3 + f - -96 - -1?
False
Let f be ((-36)/(0 + 4))/(-1). Let x = -12 + f. Let m = 0 - x. Is m even?
False
Let s be 12/96 - 94/(-16). Let z(b) = -2 + 3 - 3 - 5*b + b**2. Is 4 a factor of z(s)?
True
Let a be 4/2*2*3. Suppose 2*t = -2 + a. Suppose -43 - 57 = -t*o. Is 10 a factor of o?
True
Suppose 0 = -5*t + 3*t + 120. Is 42 a factor of ((-15)/(-45))/((-10)/(-84))*t?
True
Suppose 69*n - 64*n + 3*c - 582 = 0, 4*n + 4*c = 472. Is n a multiple of 19?
True
Let v(r) = -r + 6. Let l be v(3). Let g(b) = -l*b + 4 + 2 + 3. Is g(-13) a multiple of 16?
True
Suppose -2*q + 5*g = -1247, -3*g + 2544 = 5*q - 527. Does 28 divide q?
True
Let z(u) = -3*u**3 + 2*u**2 - u - 7. Let b be z(4). Let x = -116 - b. Suppose 3*l - 2*j - x = 0, 2*l + j - 67 = -l. Does 7 divide l?
True
Let i(q) = -q**2 - 13*q - 1. Let n be i(-7). Suppose -n = 2*v + a, a + 1 = 2*a. Let t = v + 34. Is t a multiple of 7?
False
Suppose -249 - 381 = -5*o. Does 7 divide o?
True
Suppose -w = 7*x - 2*x - 179, 601 = 3*w - x. Suppose 0 = 5*j + 3*v - w, 2*v = -j - v + 47. Let r = 56 - j. Does 18 divide r?
True
Suppose 0*j + 80 = 2*j. Let g = j + -32. Suppose -u = 2*k - 4, -3*k + g*k = -2*u + 8. Does 4 divide u?
True
Is 31 a factor of 50780/9 + 11*34/(-1683)?
True
Let z(u) = 3*u**2 - 3*u. Let v(g) = -10*g**2 + 11*g - 1. Let x(w) = 2*v(w) + 7*z(w). Suppose 0 = h + h + 12. Is x(h) a multiple of 7?
True
Suppose 4*d = 2*v - 24, 0 = d - 4*d - 9. Let s(l) = 8*l + 18. Is 22 a factor of s(v)?
True
Let a be (-4)/(-3)*24/16. Suppose 5*b + a*w = 342, -3*b + b = 5*w - 141. Suppose -y + 6*y - b = -4*v, -2*y + 20 = v. Does 6 divide v?
True
Suppose 24*p + 3919 = 10447. Is 16 a factor of p?
True
Let p = -35 + 47. Let o(h) = h**2 - 8*h - 17. Is o(p) a multiple of 23?
False
Suppose -3*s - 12 = 0, 8 = 2*v - v - 2*s. Does 15 divide 113 - (1 - (4 - v))?
False
Suppose 69 = -i - 25. Is 11 a factor of (4 - i - -2) + -4?
False
Let m = 280 - 189. Is m even?
False
Let a be 4 - 0 - -23 - 2. Let f = 35 + a. Is 15 a factor of f?
True
Suppose -5*w - 395 = -5*k, 3*w = -4*k + 6*k - 154. Is k a multiple of 12?
False
Let z be (-5)/2*(-24)/(-20). Is (-91)/((-2)/(-6)*z) a multiple of 34?
False
Is 87 a factor of (3480/(-75))/(2 + 64/(-30))?
True
Let r(x) = 375*x - 15. Is r(1) a multiple of 24?
True
Let w be 19 + -2*(-3 - -2). Does 16 divide (-1)/(-3) - (-329)/w?
True
Let i(k) = 32*k + 41. Let v(b) = 33*b + 42. Let q(o) = -5*i(o) + 4*v(o). Is 50 a factor of q(-12)?
False
Suppose -21 + 6 = -3*u. Suppose u*t + 0*t + 252 = 3*q, 0 = -3*q + 2*t + 252. Does 21 divide q?
True
Suppose -5 = 2*h - 11. Suppose 22 = p - q, -4 - 2 = -p - h*q. Is p a multiple of 4?
False
Suppose 0 = -c + 11 - 9. Suppose -c*o = -11 - 21. Is 6 a factor of o?
False
Let k(b) = -b + 1. Let i(n) = -6*n + 6. Let d(j) = i(j) - 3*k(j). Let u = 322 + -326. Does 4 divide d(u)?
False
Let d(k) be the third derivative of 6*k**2 + 0*k + 0 + 1/2*k**3 - 1/12*k**4 + 1/15*k**5. Is 6 a factor of d(2)?
False
Suppose 3*f - 597 - 537 = 0. Is 18 a factor of f?
True
Let t(d) be the third derivative of -d**5/60 + 13*d**4/24 + 5*d**3/3 + 5*d**2. Let r be t(6). Suppose -2*c + 4*c = r. Does 14 divide c?
False
Suppose -l = -5*z - 13, 4*l = 2*z + 3*z + 22. Is 15 a factor of l*((-4 - -2) + 17)?
True
Suppose 2586 = 5*w + 4*r, 0 = 2*w - 2*r + 5*r - 1040. Is 20 a factor of w?
False
Let k = 86 - 86. Let v(i) = -i**3 - i + 29. Is 14 a factor of v(k)?
False
Suppose 8*d - 30 = 13*d. Let a = -26 + 14. Let f = d - a. Does 3 divide f?
True
Let g(r) = r + 7. Let w be g(-4). Suppose -w*v = -v. Suppose v = 6*m - m - 90. Does 3 divide m?
True
Suppose -70*m = -71*m + 4. Let f = 117 + -66. Suppose -2*z + m*o = -46, -4*o = z + o - f. Is 5 a factor of z?
False
Suppose 3935 = 5*p - 3*d, d + 10 - 15 = 0. Is 93 a factor of p?
False
Suppose 5*h - 5*s + 10 = 0, 0*s + 9 = 3*s. Is (10 - -9) + -2 + h a multiple of 3?
True
Suppose -20*k = -18*k + 5*y - 107, 0 = -4*k + 2*y + 202. Is k even?
False
Suppose -5*p + 11 = -4. Suppose 0 = -5*j - 5*d + 20, -p*j + d = -j - 8. Suppose -68 = -3*t + 4*f, -j*f + 11 = 2*t - 41. Is t a multiple of 13?
False
Let s(h) = 22*h**2 + h + 1. Let z be s(-1). Suppose 18*c = z*c - 520. Is c a multiple of 25?
False
Let i = 2536 - 1166. Is 116 a factor of i?
False
Suppose 0 = n - 6*n + 40. Suppose 0 = -2*x + 6 + n. Suppose -60 = 2*h - x*h. Is 3 a factor of h?
True
Is (-3924)/(-9)*2 + (-3 - -6) a multiple of 34?
False
Let x(w) = 3*w + 45. Let m be x(-15). Suppose m = -2*p - 82 + 612. Is p a multiple of 37?
False
Let o = 136 + -93. Suppose -18*n = -19*n + o. Does 11 divide n?
False
Is (-12)/60 - 523*6/(-15) a multiple of 11?
True
Let w = 77 + 9. Let a = w - 16. Is a a multiple of 18?
False
Let q = 612 - 324. Does 32 divide q?
True
Let i = -2170 - -1310. Does 15 divide i/(-5) + 3 - 2?
False
Let q be ((-100)/(-3))/((-13)/(-39)). Let c = q + -43. Is c a multiple of 22?
False
Is 85 a factor of 7 - -761 - 8 - 20/(-4)?
True
Let s(o) = 6*o**2 + 6*o - 4. Let c be s(-3). Is 712/c*(-4)/(-1) a multiple of 14?
False
Suppose -q - 24 = -5*q. Let l(c) = 21 + c - c**3 - 5*c - 19 + q*c**2. Does 7 divide l(2)?
False
Let p(i) = i**2 + i**2 + i - 6 + 5*i. Let a(z) = 2*z**2 + 33*z - 23. Let o be a(-17). Does 15 divide p(o)?
True
Let z = 78 - -81. Does 37 divide z?
False
Let d(v) = -9*v. Let a be d(-1). Let o = a - 6. Suppose 0 = -o*p + 27 + 18. Is 7 a factor of p?
False
Suppose 0 = 29*a - 32*a + 966. Is a a multiple of 14?
True
Suppose 9478 = -60*b + 193078. Is 36 a factor of b?
True
Let k(z) = -z**3 + 9*z**2 - 12*z - 8. Is 4 a factor of k(6)?
True
Let j be 109/(-4) - 7/(-28). Let m = j - -59. Is m a multiple of 32?
True
Let d = -1375 + 2350. Does 65 divide d?
True
Suppose -60*o + 58*o - 4 = 0, -359 = -r - 3*o. Is r a multiple of 6?
False
Suppose -9*d + 18 = -3*d. Suppose i = -2*l + 144, l + 3*l - 440 = -d*i. Is i a multiple of 21?
False
Suppose -d - 101 = b, 3*b + 2*b = -4*d - 500. Is 13 a factor of ((-7)/2)/(3/b)?
False
Suppose 2*f = 86 - 20. Let n = f - 27. Suppose -n*l + 3*l = -135. Is 6 a factor of l?
False
Let q = -130 - -141. Is 3 a factor of q?
False
Let d = -18 + 21. Suppose 0 = d*q - 5*o - 31, -2*q - 3*o = -19 - 27. Suppose 4*r + q = 157. Is 5 a factor of r?
True
Suppose -388*w = -389*w + 210. Does 42 divide w?
True
Let b(c) = -c**3 + 8*c**2 - 6. Let a be b(8). Let f = 17 + a. Let u(y) = -y + 20. Is u(f) a multiple of 2?
False
Suppose -5*r = -2*r + 33. Let q = 13 + r. Is -1 + -134*(-1)/q a multiple of 18?
False
Suppose -15 = 4*v + 1. Does 15 divide (-3 - -58)*(v + 5)?
False
Suppose -6 = -c - 3. Suppose c*n - 220 = -n - 4*b, -3*n = -3*b - 141. Is n a multiple of 6?
False
Suppose -15*n + 13*n = -130. Let g = n - -23. Does 22 divide g?
True
Suppose 0*y = 2*y. Suppose 2*d = -y + 4. Suppose 0*u = -5*u - 3*p + 29, d*p + 10 = 4*u. Is 2 a factor of u?
True
Suppose 5*s = 4*s + 4. Suppose -474 = -s*y - 2*z - 0*z, 612 = 5*y - 4*z. Does 20 divide y?
True
Let y = 1468 + -1307. Is y a multiple of 7?
True
Let i = 249 + -123. Is i a multiple of 25?
False
Suppose -i = i - 3*x - 75, -50 = -2*i - 2*x. Suppose -9 = 4*u + 5*a + 11, -5*a = -u - 5. Let t = i + u. Is 7 a factor of t?
False
Let q(k) = k**2 - 4*k + 1 - 3*k - 2*k - 2*k**2. Let o be q(-8). Suppose 3*h - 12 = o. Is h a multiple of 6?
False
Let f(j) be the second derivative of j**4/12 + j**3/3 + j**2/2 - 2*j. Let w = 17 + -15. Is f(w) a multiple of 3?
True
Let m be ((-2)/14*240)/(3/(-42)). Suppose -6*t + m = -294. Is t a multiple of 20?
False
Let s(u) = -u**3 - 4*u**2 - 9*u - 15. Let o be s(-6). Suppose -7*h + 8*h = o. Is 10 a factor of h?
False
Let o be -4 + 0 + 24/(-6). Does 11 divide ((-168)/o)/(2/22)?
True
Suppose -5*x + 15400 = -5*f, 12285 = 4*x + 13*f - 10*f. Is x a multiple of 75?
True
Does 14 divide 8 - (-20722)/39 - 1/3?
False
Let d(s) be the third derivative of 7*s**4/24 + 2*s**3/3 + 4*s**2. Is d(8) a multiple of 15?
True
Let j(c) = -36*c**2 - 3*c - 3. Let v be j(-1). Does 43 divide ((-86)/3)/(8/v)?
True
Let b be ((-20)/(-25))/((-4)/(-