-2*c(x) - i(x). Does 4 divide z(-9)?
True
Suppose 37*h - 1878 = 971. Is h a multiple of 2?
False
Let x(b) = b**2 - b. Let v(m) = 12*m**2 + 7*m. Let q(l) = v(l) - 2*x(l). Is 21 a factor of q(-3)?
True
Let b(m) = m**2 + m - 16. Is b(-6) a multiple of 11?
False
Let f(j) = j**3 + 67*j**2 - 2*j + 66. Is f(-67) a multiple of 10?
True
Let b(f) be the third derivative of -f**6/120 - 3*f**5/10 + 3*f**4/8 + 9*f**3/2 - 52*f**2. Does 31 divide b(-19)?
True
Let b be 2/2*(-4)/(-4). Suppose 0 = -64*q + 61*q - 9. Is (q - -4)/(b/10) a multiple of 10?
True
Let q(i) = 40*i - 71. Is q(2) a multiple of 9?
True
Let d = 6171 + -8929. Let m be (-3)/(-15) - d/10. Suppose 4*t + 0*t = m. Is t a multiple of 22?
False
Let c = 565 - 318. Is 10 a factor of c?
False
Is 68*((-3638)/(-680) + (-2)/(-5)) a multiple of 21?
False
Let n(r) = -r**2 + 7*r - 5. Let d be n(5). Suppose -16 = d*w - 6*w. Is 8 a factor of w?
True
Suppose 0 = -3*n - 2*n + 10. Suppose 105 = n*h + 33. Is h a multiple of 5?
False
Suppose 6*c - 5 = -305. Let v = c - -113. Does 21 divide v?
True
Let l(a) = -a**2 - 4*a + 7. Let o be l(-5). Let c(d) = 3 + 3*d**o + 0*d**2 - 1. Does 6 divide c(-3)?
False
Let d(t) = -t**2 + 14*t - 3. Let m be d(11). Suppose 5*a - m = -0*a. Suppose -4*y - a*h = -h - 127, 0 = -h - 1. Is 10 a factor of y?
False
Let h be (-27 - -20)*(-2)/7. Suppose b + 174 = 3*i, -h*b = i + 2*i - 165. Let u = 136 - i. Does 24 divide u?
False
Suppose 2*u = 6*u + 2*k - 324, 2*k - 244 = -3*u. Suppose -4*j + 80 = 4*m + 16, -5*j + u = 2*m. Does 7 divide j?
False
Suppose 0 = -s + 227 + 188. Does 29 divide s?
False
Let u(y) = -13*y**2 + 107*y - 4. Does 34 divide u(6)?
True
Let v(j) = -2*j**3 - 4*j**2 + 4*j - 1. Let q be v(-4). Suppose y = 15 + q. Is 15 a factor of y?
False
Suppose 5*o - 588 - 217 = -2*h, -4*h + 5*o + 1625 = 0. Suppose -3*x + h = 2*x. Suppose 2*n = -n + x. Does 25 divide n?
False
Suppose -30 = 2*x + 18. Is 8 a factor of x/((12/6)/(-10))?
True
Let s(v) = 2*v**2 + 12*v + 49. Is s(-8) a multiple of 3?
True
Let r(q) = -73 - 70 - 11*q - 27*q + 139. Is r(-2) a multiple of 34?
False
Suppose 2*f = 2*q, -f + 1 + 1 = -3*q. Let g be f/(-2)*(-2 + 4). Is 14 a factor of 20 - 5 - (g + 0)?
True
Suppose 14*s - 672 = 10*s. Let q = s - 84. Is q a multiple of 28?
True
Is 20 a factor of (-13304)/(-8)*5/(7 - 2)?
False
Let t = -588 + 1456. Is 30 a factor of t?
False
Let o(h) = 8*h - 6. Is 8 a factor of o(12)?
False
Suppose t + 4*t + 3*c = 33, t - c - 13 = 0. Does 6 divide 4/18 - (-511)/t?
False
Let a = 25 - 77. Let g = 91 + a. Is g a multiple of 13?
True
Let b(s) = 15*s**2 + 14*s + 22. Is b(-3) even?
False
Suppose 353 = 6*y - 79. Is y a multiple of 18?
True
Let a(i) = i + 6. Let n be a(-6). Suppose -u + n = -6. Is 9/u*(43 + -1) a multiple of 11?
False
Let z(r) = -4*r**3 + 15*r**2 - 8*r - 16. Let h(f) = -3*f**3 + 15*f**2 - 7*f - 16. Let i(w) = 5*h(w) - 4*z(w). Is i(-15) a multiple of 8?
False
Let r(j) = 49*j + 2. Let f be r(1). Let p = -13 + f. Let c = p - -50. Is c a multiple of 22?
True
Let y(i) = -5*i**2 - 2*i - 7. Let h(w) = 10*w**2 + 3*w + 13. Let g(t) = 3*h(t) + 5*y(t). Let c be g(4). Suppose 3*l - c = -l. Is 14 a factor of l?
False
Let n be (15/9)/(-5)*-9. Suppose -b = -n*x + 1437, 0 = -b + 6*b. Suppose 0 = 4*u - 8, 5*r - x + 77 = 4*u. Is 21 a factor of r?
False
Is 1/(-7*7/(-4802)) a multiple of 14?
True
Suppose 0 = -7*f + 5*f + 336. Suppose 7 + f = p. Suppose z - 5*m = -0*z + 17, -5*z + p = 5*m. Does 16 divide z?
True
Does 32 divide (-12523)/(-42)*6 + -5?
False
Let n be (-1 - -4)*(-17 - -1). Let l = 299 - 156. Is 2 a factor of (-26)/l + n/(-22)?
True
Let m = -155 - -103. Let o = 32 + -120. Let s = m - o. Is s a multiple of 9?
True
Let p(n) = 2*n - 8. Let t be p(7). Suppose -8*g + 28 = -t*g. Let z = g - 10. Is 2 a factor of z?
True
Is (-36)/15*(-1875)/10 a multiple of 45?
True
Let c(q) = -q**3 + 18*q**2 + 13*q + 63. Is c(18) a multiple of 21?
False
Let m be (18/(-9))/((-4)/78). Suppose 5*d - m = 4*o, 2*o - 33 = 2*d - 7*d. Suppose 0 = 8*g - d*g - 23. Is g a multiple of 23?
True
Let o(n) = -n**3 - 6*n**2 + 2*n - 3. Let b be o(-4). Let p(i) = 11*i**3 + i. Let y be p(2). Let x = y + b. Does 17 divide x?
False
Let r = -56 - -72. Is 32 a factor of (-6)/((-2)/9 + r/84)?
False
Suppose -4*c + 3*c + 15 = 4*z, 0 = -2*z + 4*c + 30. Suppose -z*s = a - 50, 0 = a - 5*s - 47 + 17. Does 7 divide a?
False
Let a(v) = 10*v - 32. Let q be a(4). Suppose -k - 5*s = -140, 2*k + s + q = 333. Is 11 a factor of k?
True
Let c = 6 + -26. Let m = 59 + c. Suppose -4*n = m - 123. Is 17 a factor of n?
False
Suppose 4*s - 5*d = 812, -4*d + 602 = 3*s - 6*d. Does 8 divide s?
False
Let p = -116 + 339. Suppose 3*y - 8 = p. Suppose 0 = -5*q + y + 113. Does 8 divide q?
False
Let f = 3212 - 1917. Does 13 divide f?
False
Suppose -u + 5 = 0, 2*r + 14*u = 10*u + 1328. Is 16 a factor of r?
False
Let j be (16/(-6))/((-8)/12). Let y be (-36)/(((-6)/j)/1). Suppose 3*a - y - 3 = 0. Is a a multiple of 6?
False
Let d(y) = 8*y + 186. Is d(-18) a multiple of 7?
True
Suppose 4*d = 4*p + 84, 0 = -4*d - 0*d - 2*p + 72. Suppose -2*m - d = 5*c, -3*c - c - 11 = 3*m. Suppose s - 7 = -y - 2*y, m*y + 4*s = 1. Is y a multiple of 3?
True
Let k(o) = o - 1. Let f be k(5). Let n be 2/(-8) - f/(-16). Suppose -3*c + z + 0*z + 34 = n, -2*c = z - 31. Is 13 a factor of c?
True
Suppose 11*c = -0*c + 572. Is (-4)/26 - 17*(-288)/c a multiple of 7?
False
Suppose 19*g = 8664 + 7942. Is g a multiple of 19?
True
Let k(z) = 17*z - 48. Let x be k(15). Suppose 5*r = -47 + x. Does 4 divide r?
True
Let o(j) = 8*j**2 - 3*j + 9. Let h = -18 - -21. Is 18 a factor of o(h)?
True
Suppose -342 = 4*w - w. Let o = -90 - w. Does 12 divide o?
True
Let n(w) = 15*w**2 + 7*w - 6. Is 8 a factor of n(1)?
True
Let n(c) = 8*c + 6. Let z be n(9). Let g = -55 + z. Is 10 a factor of g?
False
Let v = 82 + -79. Suppose 3*r + 0*r = -m + 19, -v*m + 3*r + 105 = 0. Is m a multiple of 13?
False
Let t(q) = -2*q**3 + 42*q**2 - 21*q - 2. Is t(20) a multiple of 3?
True
Let j = 1017 - 737. Does 20 divide j?
True
Let c be (1 + -1)*(-6)/(-12). Let b be c - 7*(-2 + 3). Does 20 divide (82 - 1) + b + 6?
True
Let a(d) = -2*d + 22. Let j be a(10). Suppose -2*c = -i + 2*i - 99, j*c = -2*i + 204. Does 21 divide i?
True
Is 128/12*1*(24 + -3) a multiple of 14?
True
Let s = -1043 - -1039. Let l = 4 + 0. Is 2 a factor of (s/8)/(l/(-104))?
False
Let u be (-18)/15 - 28/35. Let t(k) = 4*k**2 - k + 1. Does 19 divide t(u)?
True
Suppose -b - 1 = 4*z, 2*b - z + 12 = z. Let q be ((-8)/4 - -4) + 0. Is q/b - 12936/(-140) a multiple of 23?
True
Does 25 divide (-174)/(-232)*((-7970)/(-6) + 1)?
False
Suppose -u + 6 = -3*m, 0 = u + 2*u - 4*m - 43. Let z = 68 + u. Is z a multiple of 6?
False
Let y(s) = 8*s**2 - 3*s**2 + s**2 - 3 - 3*s. Let r be y(3). Let h = 20 + r. Is h a multiple of 16?
False
Let c = -36 - -17. Let i = 22 + c. Suppose 3*n = 4*v - v + 165, -i*v = -15. Is 15 a factor of n?
True
Let d(a) = 5*a - 2. Let z be (2 - (2 - 3)) + -9. Let l(n) = -4*n + 2. Let m(x) = z*l(x) - 7*d(x). Is m(-10) a multiple of 32?
False
Let m be ((-154)/21)/((-2)/(-21)). Let o = 119 + m. Is o a multiple of 7?
True
Let o(h) = -25*h + 200. Let p be o(8). Suppose -1 = -t + 1. Suppose p = -t*q + 5*q - 42. Is q a multiple of 4?
False
Suppose 3*f - 9 = -0*f. Let j(d) = 0 - 3 - 5*d + d**2 + f*d**2 + 10. Is j(4) a multiple of 17?
True
Let d(j) = j**2 - 16*j + 3. Let p be d(16). Suppose p*m - 44 + 8 = 0. Suppose 5*t - 60 = -v - m, -3 = -v. Is t a multiple of 3?
True
Suppose 14141 = -67*r + 96551. Is r a multiple of 123?
True
Let n(m) be the third derivative of m**6/120 + 13*m**5/60 - 19*m**4/24 - 7*m**3/6 + 19*m**2. Is n(-13) a multiple of 15?
True
Let f be (-27)/36*(-12)/1. Is 73 + (-9)/(f/(-2)) a multiple of 15?
True
Let g(s) = 3*s + 5. Let v be g(2). Let x = 20 - v. Is x a multiple of 9?
True
Let c(o) = 3*o. Let g be c(1). Suppose j = -5*s + 146, -g*j - s = 3*s - 460. Is 26 a factor of j?
True
Let u = 864 - 535. Is 47 a factor of u?
True
Let o(j) = -6*j**3 + j**2 + 30*j + 28. Does 118 divide o(-8)?
False
Let g(o) = 22*o**2 - 9*o - 17. Does 10 divide g(-2)?
False
Suppose -4*w - 8 = u - 85, 3*w - 74 = -4*u. Is 296/(-74) - (-1 + w)*-1 even?
False
Let r(i) = -150*i + 400. Is r(-16) a multiple of 28?
True
Let x = -40 - -43. Suppose x*q - 165 = -0*q. Does 10 divide q?
False