8 a factor of (g - -359) + 13 + -10?
True
Suppose 4*r + 762 = 2930. Is r a multiple of 46?
False
Let n(o) = o + 18. Let d be n(-14). Suppose 191 = 2*c + b - 380, d*c = -b + 1143. Suppose -3*t + 266 = -p, -t = -4*t - 4*p + c. Is 30 a factor of t?
True
Let b = 386 + -64. Does 7 divide b?
True
Suppose -4*f + 2953 = 34*r - 39*r, 4*r = 4*f - 2948. Is 4 a factor of f?
True
Let l(f) = -f - 3. Let y be l(-3). Suppose -4 = -2*k - y*k. Suppose j + i - 25 = -k*j, 4*i = 4. Is 4 a factor of j?
True
Suppose 0 = -27*m + 25*m. Suppose h - f + 39 = 4*h, -4*h - 5*f + 52 = m. Is 13 a factor of h?
True
Let a(i) = 3*i**2 - 30*i - 326. Is 2 a factor of a(-8)?
True
Let k = 1752 - 1670. Is k a multiple of 37?
False
Suppose -138 = 6*z - 9*z. Let v = 53 + z. Is v a multiple of 34?
False
Let o(u) = -u + 1. Let t be o(-7). Is 18 a factor of 51*t/6 + 4?
True
Let h be 3 - (4*-2)/(-2). Is 14 a factor of (-18)/(-4)*(h + 62/6)?
True
Suppose 2*t = -3*g - 13, 5*g - 1 = 4. Let w be ((-10)/(-8))/(t/(-32)). Suppose 5*r = 4*i + 3*r - 400, 0 = 4*i + w*r - 428. Does 31 divide i?
False
Let x(w) = 9*w**3 + 3*w**2 - 2*w - 1. Is 8 a factor of x(3)?
False
Suppose w - 1 + 3 = 0. Let z be w/(-13) + (-1010)/(-26). Let d = -19 + z. Is d a multiple of 20?
True
Let c(g) = 189*g**2 - 2*g + 1. Let h be c(1). Suppose -h = -5*m + 172. Is 16 a factor of m?
False
Is (19 + -109)/((-34)/10 - -3) a multiple of 25?
True
Let o(q) = -3*q**2 + 16*q + 1. Let y be o(16). Let m = -350 - y. Suppose -m = -3*k + 5*t, -k = 3*k + 4*t - 236. Is k a multiple of 19?
True
Is 13 a factor of 0 - -3 - -43*(8 + -7)?
False
Let k(a) = -788*a + 784*a + 10 + 2. Does 5 divide k(-2)?
True
Let g(w) = -2*w + 8. Let f(y) = -y - 1. Let s be f(-4). Let k be g(s). Let p(c) = 9*c**3 - c + 1. Does 12 divide p(k)?
False
Let q(t) = -t - 1. Let f be q(2). Let g be (-2)/(-7) + 1644/(-21). Does 16 divide 1 + 0 + g/f?
False
Let l = -7 - -17. Let b = l + -7. Suppose 165 + 69 = b*d. Is d a multiple of 16?
False
Suppose 6 + 74 = v. Let w be (-4)/(12/9) + -3. Is (-6)/5*v/w a multiple of 4?
True
Let u be (-10)/4*(-12 - -10). Suppose -3*q - 16 = -1, -10 = -i + 2*q. Is 30 a factor of 335/(-25)*(i - u)?
False
Let u be ((-10)/(-3))/(5*(-5)/225). Let x(y) = 14*y. Let j be x(4). Let r = u + j. Is r a multiple of 26?
True
Is (-119268)/(-66) - (-3)/(-33) a multiple of 11?
False
Does 19 divide -3*(-916)/(-12)*-1 + -1?
True
Let s = -371 - -521. Suppose -3*h - 3*r = -s, 0 = -4*h + 4*r - r + 165. Is h a multiple of 6?
False
Suppose 0 = -5*s - 4*d + 2, 4*s + 3*d = 6 - 4. Suppose s*m - 5*m = 5*z - 162, -3*z = 2*m - 107. Is m a multiple of 23?
False
Suppose -10*b = -21*b + 924. Is b a multiple of 14?
True
Suppose -4*c + q = 4*q - 7, 0 = -5*c + 5*q + 35. Suppose c*u = -3 + 15. Suppose 5 + u = 2*t. Does 2 divide t?
True
Let s(f) = 4*f - 14. Let c be s(9). Let j = -23 - -7. Let n = j + c. Is n a multiple of 2?
True
Let h(t) = -2*t**3 - 17*t**2 - 11*t + 6. Is 10 a factor of h(-8)?
True
Let s be (2/(-5))/(27/(-675)). Let r(a) = 2*a - 9. Let o be r(7). Suppose -3*c - 4*i = -42, s*c - 99 = o*c + 3*i. Is 11 a factor of c?
False
Let f(z) = z**3 - 2*z**2 + z - 2. Let u be f(2). Suppose u = -3*c + 4*c - g - 75, -4*g = 5*c - 420. Suppose 16 = -s + c. Does 16 divide s?
True
Suppose -j = 3*j - 8. Suppose j*d - 2394 = -5*r - 0*d, 5*d + 2380 = 5*r. Does 24 divide r/15 - 8/(-60)?
False
Suppose 2*k - 4*k + 56 = 0. Suppose 3*c - 2 = 2*x + k, -4*x - 60 = -5*c. Let a = 28 + x. Is a a multiple of 4?
False
Let q = 955 - 682. Suppose -70 = -f + q. Is 43 a factor of f?
False
Let j(z) = -z**3 + 24*z**2 + 4*z + 83. Is j(24) a multiple of 9?
False
Let s(k) = -k**2 - 10*k + 8. Let u be s(-10). Suppose -5*m - 120 = -u*m + 2*v, m - 45 = -v. Does 11 divide m?
False
Let n(h) = 7*h**2 + h + 3. Let d be n(3). Let w be 7/2 + 10/(-20). Suppose w*q = 3*c + d, -2*c = -3*q - c + 63. Does 9 divide q?
False
Suppose -x + 11 = -5*g, -1 + 9 = 4*g. Does 8 divide ((-28)/x)/((-4)/27)?
False
Suppose -45 = -4*u - 5*a, 25 = -0*u + u + 4*a. Let t(k) = 3*k + 100. Let r be t(0). Suppose 0 = -u*c + c + r. Is 20 a factor of c?
False
Let g(b) be the third derivative of -1/12*b**4 - 2/15*b**5 - 1/120*b**6 + 2/3*b**3 + 0 + 2*b**2 + 0*b. Is 20 a factor of g(-8)?
True
Let w = 26 + -27. Is 14 a factor of 70/(w/2*-2)?
True
Let f = 2888 - 1700. Is 22 a factor of f?
True
Let x(d) = -20*d**3 + 7*d**2 + 6*d + 18. Is 16 a factor of x(-3)?
False
Let o(c) = 1 - 4*c**2 - 3 - 2*c**3 - 1. Let m(v) = 2*v**2 - 14*v + 9. Let s be m(6). Is o(s) a multiple of 12?
False
Suppose 16*c - 12*c + 476 = 0. Let f = 25 - -163. Let l = c + f. Does 23 divide l?
True
Let t(x) = 3*x**2 + 13*x + 14. Is t(-11) a multiple of 13?
True
Is 25 a factor of -10 + (-7 - -28) - -385?
False
Suppose -5*k - 4*b = -b - 1357, 5*k - b = 1341. Suppose 3*a - 189 = -2*c + k, a - 5*c - 130 = 0. Is 15 a factor of a?
True
Let t be 1 + (0 - -2)/2. Suppose -2*k - 10 + t = 0. Let z(c) = -2*c. Is 2 a factor of z(k)?
True
Let p(j) = -j**3 - 13*j**2. Let q be p(-13). Suppose q = -4*t + 8*t - 144. Is 6 a factor of t?
True
Let z(d) = -d. Let g(p) = -7 + 5 + 3 - 10*p. Let f(c) = -g(c) + 5*z(c). Is f(2) a multiple of 8?
False
Suppose -32*c + 15*c = -19533. Is 33 a factor of c?
False
Suppose 0 = -2*a - a + 30. Suppose -7*l = -2*l + a. Is 62/3 + l/3 a multiple of 20?
True
Let b(s) = -31*s**3 + 2*s + 3. Does 10 divide b(-2)?
False
Let b = 1943 - 1750. Is 19 a factor of b?
False
Let y be (-1)/(-3) - 14/(-3). Is 26 a factor of (-4 + (-298)/(-10))*y?
False
Let d = 1314 - 539. Does 7 divide d?
False
Suppose -24*r + 13*r = -3674. Does 32 divide r?
False
Suppose g = -g + 6. Let z(v) = 5*v. Let c be z(g). Suppose -k - c = -4*k. Is k a multiple of 2?
False
Suppose 273 = 2*r - 781. Does 20 divide r?
False
Let w = 717 + -645. Does 6 divide w?
True
Let x(t) = -4*t**3 + 2*t**2 + 2*t + 1. Let h be x(-1). Suppose -h*v = -2*v. Suppose v = -2*m - 2*s + 126, -6*s - 315 = -5*m - 2*s. Is 10 a factor of m?
False
Let f = -63 - -120. Suppose 5*m = 382 - f. Does 13 divide m?
True
Suppose 5*z = b + 15 - 3, -2*z = 3*b + 2. Suppose 3*q + 12 = -21. Let c = b - q. Is c a multiple of 6?
False
Let f = -44 + 25. Let r = -19 - f. Suppose 0 = 2*h + s - 67, r = h - 0*s + 2*s - 38. Is 9 a factor of h?
False
Suppose -k - 52982 = -119*k. Is k a multiple of 18?
False
Suppose -47*u + 16218 = -30*u. Is 32 a factor of u?
False
Suppose -4*z = -2*r + 784, -r - 2*z + 375 = -25. Is 33 a factor of r?
True
Let r = 10 + -8. Suppose 3*w = -r*w + 225. Is 15 a factor of w?
True
Let h(k) = k**3 - 18*k**2 + 37*k + 4. Does 4 divide h(16)?
True
Suppose 0 = 3*f - 16 - 248. Let s = 102 - f. Is s a multiple of 14?
True
Let q = -14 - -44. Let z = q - 2. Is z a multiple of 7?
True
Let c(v) = -v**3 + 5*v + 4. Let b be c(-3). Suppose -f - 5*o = 61, 4*o - b = 3*f - 2*f. Is 18 a factor of 15/(-2)*f/15?
True
Suppose 2079 = 11*q - 429. Is 7 a factor of q?
False
Let y(t) = 113*t**2 - 4*t + 4. Let h be y(1). Suppose 5*a + 2*j - 439 = 0, 0 = -2*a + 4*j + 53 + h. Does 29 divide a?
True
Suppose -3*n + 2*j = -250, -3*n + 270 = 8*j - 5*j. Is n a multiple of 30?
False
Let d = 14 - 7. Let q(g) = 4*g**2 - 6*g + 1. Let k be q(d). Suppose -3*j - 4*n + k = 0, 0*n = 3*j - 4*n - 115. Does 15 divide j?
True
Suppose -5*h + 33 = 8. Suppose 4*g + h*n = -37, 5*n + 19 = 6*g - 4*g. Is g + (0 - -69) - 3 a multiple of 21?
True
Let t(q) be the first derivative of q**4/4 - 7*q**3/3 + 3*q**2/2 - 5*q - 9. Is 12 a factor of t(7)?
False
Let y be (-8780)/(-12) + 7/21. Suppose -3*p + y = -252. Does 30 divide p?
False
Suppose 15*d = 14*d + 15. Let i = 21 + d. Is i a multiple of 9?
True
Let i(y) be the second derivative of -y**3/6 - 4*y**2 - 3*y. Let u be i(0). Let b = u + 20. Is 3 a factor of b?
True
Does 3 divide 30/(-18) - 100/(-6)?
True
Let v(k) = k + 6. Let x be v(0). Let j(w) = -w**3 + 6*w**2 - w - 2. Let c be j(x). Does 5 divide -3*(-2 + c/6)?
True
Let a(i) be the second derivative of -i**4/12 - 5*i**3/3 + 2*i**2 - 9*i. Let s be a(-10). Suppose -56 = -s*j + 76. Does 11 divide j?
True
Suppose 13*p - 2*p - 1408 = 0. Suppose 14*r - 12 = p. Does 2 divide r?
True
Let y(j) = j**3 - 2*j**2 - 8*j - 7. Is y(5) a multiple of 4?
True
Suppose -465 = -2*n - n. Suppose n = 2*i + 41. Does 7 divide i?
False
Let b = 375 + -16. Let g be 192*(4 + 112/(-21)). Let v = g + b. Does 27 divide v?
