or of k?
True
Let g(t) = t**3 + 4*t**2 - 7*t - 6. Let v be g(-5). Let u = v - -11. Suppose -u + 5 = -b. Is b a multiple of 10?
True
Let i(n) = -n**2 - 8*n - 6. Let u be 5*(1 - -4) - -1. Suppose -3*g - u = -11. Does 9 divide i(g)?
True
Let x = 206 + 130. Does 8 divide x?
True
Let z = 93 - -701. Does 5 divide z?
False
Let z = -1805 - -3758. Is 21 a factor of z?
True
Suppose -5*s - 3*s + 16 = 0. Suppose 4*t - 132 = 5*n - 11, 0 = -s*t - 3*n + 55. Is t a multiple of 12?
False
Let i(s) = -s**3 - 14*s**2 + 2*s - 16. Let q(n) = -2*n**3 - 28*n**2 + 3*n - 31. Let v(w) = 5*i(w) - 3*q(w). Let f be v(-14). Does 19 divide f - (82/(-1) - 0)?
False
Let g = -11 - 2. Let z be 4/8 + g/2. Is ((-3)/z)/(1/60) a multiple of 7?
False
Suppose 9 = 3*p - 3*m, p - 5*p + m + 3 = 0. Let v be 2 - 0*(1 - p). Suppose v*y = 2*u + 29 - 3, -u = -1. Does 6 divide y?
False
Let s be ((-8)/(-5) - 0) + (-6)/(-15). Suppose 0 = -s*z - 2*h + 176, 0 = 3*h - 2 + 5. Is z a multiple of 12?
False
Does 7 divide 63*6/45*10?
True
Let j(k) = 3 - 8 - 3*k + 3*k - k. Let d be j(-9). Is ((-9)/d)/((-9)/24) a multiple of 3?
True
Let f(y) = -y**3 + 11*y**2 - 5*y + 9. Let g be f(7). Suppose 0 = u - g + 43. Let z = u - 55. Is z a multiple of 11?
False
Let u(n) be the first derivative of 6*n**2 + 10*n + 15. Does 14 divide u(5)?
True
Suppose -5*l + 0*l - 3*h + 399 = 0, -4*l - 3*h + 318 = 0. Suppose -t = -2*x + l, -7*x = -2*x - 2*t - 205. Let g = 94 - x. Is g a multiple of 8?
False
Suppose -2837 - 1448 = -3*p + 2*z, 3*p = -z + 4288. Does 18 divide p?
False
Let l = -40 - -37. Is (-113)/l - (-4)/(-6) a multiple of 22?
False
Suppose 0*r = r + 136. Let a = r - -33. Let m = 214 + a. Is 33 a factor of m?
False
Let w = -179 - -1169. Does 9 divide w?
True
Is 1218 + ((-4)/2)/2 a multiple of 41?
False
Is 32 a factor of (144/1)/((-15)/(-20))?
True
Let f(l) = -8*l**2 + 56*l + 13. Is f(6) a multiple of 17?
False
Let p = -79 + 79. Suppose 2*m = v + 418, -3*v = -p - 6. Is 26 a factor of m?
False
Let u be 13 + (-1 - 2) + 3. Let x = 17 - u. Suppose -4*g + 65 = -0*m + 3*m, 4*m - x*g - 124 = 0. Is 7 a factor of m?
False
Suppose -3*c = -10 - 17. Suppose 0 = -4*d + 7 + c. Suppose -l = -d*l + 354. Is 33 a factor of l?
False
Let o(j) = 9*j - 5 - 2 + 0. Does 20 divide o(3)?
True
Suppose -28*w = -25*w - 498. Let h = w + -12. Does 22 divide h?
True
Let t(n) = 0 - 16 + 199*n + 3*n**2 - 176*n. Does 12 divide t(-11)?
False
Let u = -230 - -427. Does 21 divide u?
False
Let u(t) = t**3 + t**2 + 40. Let c be u(0). Let z = 16 - 12. Suppose -2*w + 2*m = -m - 16, 4*m = z*w - c. Is w a multiple of 7?
True
Let f(i) = -i**3 + 2*i**2 + i + 7. Let b be f(3). Suppose -s = -23 + b. Does 22 divide s?
True
Suppose 2*h - 13 = -3*s, 2*s - 10 = -0*s - 2*h. Suppose -34 + 4 = -s*b. Is 5 a factor of b?
True
Suppose 5*a + 5*j = 195, 16 + 61 = 2*a + j. Let g = a - 2. Is 9 a factor of g?
True
Let v(c) = 3*c**2 + c - 2. Let u be v(2). Let a(t) = t**3 - 11*t**2 - 11*t + 13. Is 12 a factor of a(u)?
False
Let g(b) = -b**3 - 3*b**2 - 29*b - 165. Is g(-7) a multiple of 43?
False
Is 86 a factor of 3/(-2) + (-29107)/(-26)?
True
Let s(z) = 2*z**2 + 5*z + 3. Let d be s(-3). Suppose -10 = d*t - 46. Is ((-39)/(-2))/(t/8) a multiple of 11?
False
Suppose 4*g - 2*g + 2 = 0. Let y be g/((-2)/(-40)*4). Let n(o) = o**3 + 9*o**2 + 3*o - 2. Is n(y) a multiple of 24?
False
Let k = -159 + 213. Is 9 a factor of k?
True
Let z(v) = v**3 - 4*v**2 - 12*v + 4. Let s be z(6). Let i be 0 + (-3 - s)*-1. Does 6 divide (-24)/8 - i*-3?
True
Let n(k) = k**3 + 6*k**2 - k - 2. Let a be n(-6). Suppose -a*h - 4*p + 7*p = -493, -239 = -2*h + 3*p. Does 16 divide h?
False
Suppose -6*x = -k - 2*x + 130, -4*k + 520 = 5*x. Let w be (66/(-4) + 3)/((-9)/(-60)). Let b = w + k. Is b a multiple of 24?
False
Let d be 1 + 8/(4 + 0). Suppose g + 1 = -d*v, 4*g - v - 4*v - 30 = 0. Suppose -5*r - 191 = -x - 2*x, g*r = 5*x - 335. Does 24 divide x?
True
Let x = -35 - -205. Suppose -4*y = -x - 562. Let q = y + -108. Is q a multiple of 10?
False
Let g(n) = -n**3 + 18*n**2 - 3*n + 5. Let k be g(9). Suppose k = 4*c + 211. Suppose 26 + c = 5*s. Is 10 a factor of s?
True
Suppose -5*o - 102 - 293 = 0. Let f = o - -130. Does 17 divide f?
True
Suppose 8*d - 506 = 174. Does 2 divide d?
False
Let v(x) = 3*x + 3. Let m(o) = o**2 + 2*o - 4. Let f be m(-5). Is 9 a factor of v(f)?
True
Suppose 0*s = 2*s + 2*k, -k + 9 = 4*s. Suppose -d = -5*j - s*d - 8, 16 = 4*j - 4*d. Does 2 divide (-5 - -4) + 5 + j?
True
Suppose 0 = 2*c + 7 - 19. Let p(d) = 23*d + 5. Let g be p(c). Suppose g + 17 = 5*j. Does 13 divide j?
False
Suppose 4*u + 31 - 79 = 0. Let d = u + -8. Suppose -8*s = -d*s - g - 118, 66 = 2*s + 3*g. Is 10 a factor of s?
True
Let v = 1694 + -1507. Does 2 divide v?
False
Let v(g) = g**3 + 6*g**2 - 3. Let m be v(-6). Is 20 a factor of (15/(-9))/(m/144)?
True
Does 10 divide 4/6 + 5 + 3430/30?
True
Suppose 54 = -8*g - 66. Is g/((-44)/8 - -4) a multiple of 10?
True
Is ((-522)/(-45) - 12) + (-394)/(-10) a multiple of 39?
True
Suppose 7*o - 3240 = -o. Does 17 divide o?
False
Suppose -4*k + 2308 = z, -2*k - 11518 = -30*z + 25*z. Is 144 a factor of z?
True
Let r = -727 + 1120. Is 55 a factor of r?
False
Let s be 3 - 0 - (-2 + 3). Let w be 4*((-3)/4 + s). Suppose 4*n - 188 - 154 = 3*r, w*n - 426 = 3*r. Does 25 divide n?
False
Let o = 414 - 66. Does 87 divide o?
True
Suppose 20 = 5*b, -5*i = -8*b + 6*b - 2212. Is 12 a factor of i?
True
Let y = -5 + 8. Let z be 2*3/(-8)*(-280)/30. Suppose z*x - y*x - 36 = 0. Is x a multiple of 3?
True
Suppose 5*v + 8*n - 3*n = 2570, -5*v - n + 2554 = 0. Is v a multiple of 10?
True
Let i be (-7 - -9)/(2/4). Suppose -i*d = -2*d. Suppose -2*y - m + 3*m + 30 = d, -6 = 3*m. Is y a multiple of 4?
False
Let z be (788/(-6))/(-2 + 24/18). Let t = -137 + z. Is t a multiple of 26?
False
Let m = 47 - 44. Suppose 319 = 4*t + 3*x, 4*x - 233 = -3*t + m*x. Is t a multiple of 8?
False
Let z = 695 - -49. Is 8 a factor of z?
True
Let s be ((-2)/3)/(1/(-9)). Suppose s*l - l = -5. Is (1/(-2))/(l/36) a multiple of 9?
True
Let d(s) = s**3 - 12*s**2 - 15*s + 4. Does 12 divide d(14)?
False
Let w(v) = v + 9. Let r be w(-4). Suppose -r*o + 665 = -0*o. Does 23 divide o?
False
Suppose -170*n + 181*n - 3784 = 0. Is 43 a factor of n?
True
Suppose m = 5, -h + 3*h + 3*m = -1. Does 15 divide -4 - (1 - h)*-5?
False
Suppose -8*q + 252 = 6*q. Is 333/6 + 9/q a multiple of 14?
True
Let d = 33 + -45. Let t = 18 + d. Is 4 a factor of t?
False
Let g(m) = 2*m**3 - 12*m**2 + 4*m + 11. Let q(i) = i**3 - 11*i**2 + 3*i + 10. Let u(s) = 2*g(s) - 3*q(s). Does 15 divide u(-8)?
False
Let o = 201 - 54. Is o a multiple of 21?
True
Let b = 5 + 5. Let r be 24/b - 2/5. Suppose -2*u = -k - 28, k = -4*u + r*u + 32. Is 5 a factor of u?
True
Let h(y) = y**2 + 2*y - 5. Let f be h(-5). Let w(a) = 8*a + 1. Does 17 divide w(f)?
False
Suppose 4*t = 8*t, -4*b + 7852 = -t. Does 81 divide b?
False
Suppose -5*p - 50 + 10 = x, 3*x - 4*p = -63. Let z be 10/(-15)*141/2. Let u = x - z. Does 14 divide u?
False
Suppose 0 = -3*t + 242 + 28. Suppose y = -y - t. Let o = y - -113. Does 18 divide o?
False
Let v = 70 + -67. Suppose 0 = -t - 4*l + 188, 0 = -v*t + 5*t - 3*l - 343. Is t a multiple of 16?
True
Suppose 464 = 4*p - 2*c, -3*p + 290 = 4*c - 80. Is 8 a factor of p?
False
Let r(t) = 6*t + 8. Let o be r(-7). Let i = -18 - o. Is 8 a factor of i?
True
Let g(v) = -2*v**2 + 30*v - 21. Is 67 a factor of g(11)?
True
Let t(h) = 1 - 34*h + 10*h - 17*h. Let d be t(1). Is -1 - d/(2 + -1) a multiple of 13?
True
Let g(x) = -2*x**3 - 7*x**2 - 5*x - 1. Suppose 4*j + 28 = -3*j. Let z be (1*j)/(11 - 10). Does 17 divide g(z)?
False
Suppose -10 = -2*y - 4*h, -2*y + 2*h + 4 = -0. Suppose -225 = -y*r - 15. Suppose -5*w + 4*b + 94 = 0, -w - r = -4*w - b. Is w a multiple of 22?
True
Let p = 59 + -22. Suppose 2*q - p = 121. Is q a multiple of 8?
False
Let b(d) = 9*d - 53. Is b(13) a multiple of 4?
True
Let u(y) = y**3 - 17*y**2 + 58*y - 64. Does 16 divide u(14)?
True
Let d = 3000 - -331. Is d a multiple of 50?
False
Suppose -15 = 5*b, -4*n + 3396 = n - 2*b. Suppose -4*y + 2*c - 68 = -752, -c + n = 4*y. Suppose 3*k = 2*h - h + y, 8 = -4*h. Is 14 a factor of k?
True
Suppose 5*p = -q + 10, 0*p - 5*q = 4*p - 8. Suppose -o = -5*i - 83, -o = 3*o + p*i - 266. Does 17 divide o?
True
Suppose 65 = 89*b - 84*b. D