 -a - a + 7, -4*a + 5*u = -21. Let o be 127/a + 12/48. Suppose -3*r + k = 2*r - 65, o = 3*r - 2*k. Is r a multiple of 5?
False
Let m = -18 + 22. Suppose 3*s + 96 = m*s. Is s a multiple of 31?
False
Let j(u) = -u**3 + 6*u**2 + 5*u + 6. Let c be j(6). Suppose 0 = -v - 6 + c. Is v a multiple of 5?
True
Suppose s + g + 4 = 0, 4*g + 0*g + 25 = 5*s. Let z(t) = -12*t**2 - 4*t - 1. Let k(b) = -11*b**2 - 3*b - 1. Let l(y) = -5*k(y) + 4*z(y). Does 7 divide l(s)?
True
Let x(k) = 100*k - 102. Is 7 a factor of x(5)?
False
Is ((-13368)/(-18) - -12)/(6/9) a multiple of 7?
False
Let z = -31 - -22. Let t = 14 + z. Does 11 divide (-6)/(-45)*t*33?
True
Let j = -66 + 166. Suppose j = -3*h + 8*h. Does 10 divide h?
True
Let o = -2 - 35. Let g = o - -88. Does 16 divide g?
False
Let a = 824 + -440. Is 16 a factor of a?
True
Let h be 1 + -2 + (-4 - 7). Let y = 36 + h. Is 12 a factor of y?
True
Let f = 324 - 280. Is 11 a factor of f?
True
Let z(g) = 2*g**3 - 6*g**2 - 5. Let f(m) = -m**3 + m. Let u(w) = -f(w) - z(w). Let q be u(6). Does 17 divide (34 - 6) + q + 1?
False
Suppose r - 1776 = -2*v, -5*r = 2*v + 4518 - 13374. Is r a multiple of 15?
True
Is (-44 - -58)*(1*4)/2 a multiple of 4?
True
Let h = 42 - 37. Let v(w) = -w**3 + 6*w**2 - 3. Does 7 divide v(h)?
False
Suppose -2*f + 4*f = 5*p + 8, -f = 2*p + 14. Let r(a) = -2*a - 3. Let d be r(f). Suppose d = 3*o - 171. Is 30 a factor of o?
True
Suppose -3*v = 3*c + 75, -3*v - c = c + 77. Does 2 divide (-36)/(-27)*v/(-12)?
False
Suppose -5*j + 10*j - 15 = -5*u, -15 = -4*j - 3*u. Suppose 10*d - 1200 = j*d. Suppose 0 = -4*a - a + d. Is 15 a factor of a?
True
Let t(u) = u**3 + 5*u**2 + 2. Let i be t(-5). Let g be (-3 + 3)/(4/i). Suppose g*z + z = 42. Does 14 divide z?
True
Suppose 0 = -2*v + 4*s + 76, -22 = -5*v - 2*s + 120. Let f be ((-26)/(-5))/(v/75). Suppose 35 = q - f. Does 12 divide q?
True
Let c be 1/(-2) + 10/4. Let q(d) = -d**2 - 15*d + 39. Let x be q(-17). Suppose 63 = x*a - c*a. Is 9 a factor of a?
False
Suppose 10*v - 15*v + 890 = 0. Let u be v/(-10) + (-17)/85. Is 24 a factor of (-4)/(2 + 39/u)?
True
Suppose 4*z - 17 = 79. Let n = z - 24. Suppose -5*l = 5*h - 405, n = 2*l - 4*h - 185 + 17. Is 19 a factor of l?
False
Suppose 125 = 4*g + 41. Let a = -31 + g. Let z(n) = n**2 + 8*n + 11. Does 8 divide z(a)?
False
Suppose 2*j = 91 + 47. Suppose 5*b - 11 = j. Suppose -17 = -s + b. Is 11 a factor of s?
True
Suppose 2*r = -2*r + 308. Let m = r + -74. Is m a multiple of 2?
False
Let t = -951 - -1248. Is 9 a factor of t?
True
Suppose -32410 - 36470 = -30*s. Does 28 divide s?
True
Let l = 597 - 321. Is 2 a factor of l?
True
Is 420 + -7 + 5 - -7 a multiple of 47?
False
Suppose 0 = c - 3*u - 825, 3*c + u + 2515 = 6*c. Is 6 a factor of c?
True
Is 6 a factor of -1 - (-12)/10 - 1045/(-25)?
True
Is (-173 + -2)*120/(-100) a multiple of 14?
True
Suppose -2 = -4*i + 5*i. Let p be 77/2 - i/4. Let l = p + 0. Does 13 divide l?
True
Is 0 + 5 - (-867 + (-50)/5) a multiple of 10?
False
Let b = 90 - 17. Let i = 130 + b. Is i a multiple of 29?
True
Let l(j) = 693*j**3 - j**2 - 7*j + 8. Is 63 a factor of l(1)?
True
Suppose -3 + 15 = -4*f. Let p be f/((4 - 2)/6). Is 13 a factor of 6/p - (-428)/12?
False
Let t be 0/(-3) - (-5 - -4). Is 718/12 + t/6 a multiple of 10?
True
Let s be (1 - -3)*669/(-6). Let c = -315 - s. Is 16 a factor of c?
False
Let m be (-6)/21 - 3222/42. Let l = 212 + m. Is 27 a factor of l?
True
Suppose -4*i = 5*l + 2, 5*i - 5*l - 8 = 12. Let q be i/(-11) - 644/(-154). Suppose 5*w + 12 = 2*n, -5*w = n - 2*n - q. Is n a multiple of 4?
True
Let t = -178 - -388. Is 37 a factor of t?
False
Suppose r - 160 = -103. Is 57 a factor of r?
True
Let s(j) = j**3 - 5*j**2 - j - 2. Let v be s(5). Let l = 7 + v. Suppose l = -4*z - z + 80. Does 8 divide z?
True
Let m(r) = -329*r + 1. Let z be 6/(-18) - 6/9. Let h be m(z). Suppose -41 = -5*p + 4*v + h, -80 = -p - 5*v. Is p a multiple of 24?
False
Suppose 2*r + 21 = -i, -r = -3*i + 2*r - 36. Is 14 a factor of (-621)/i - 8/20?
False
Suppose -3*q - 147 = -2*j, 4*q = -4*j + 260 + 24. Is 6 a factor of (12/(-9))/((14/j)/(-7))?
True
Suppose b - 3 = 0, 165 + 46 = w + 2*b. Suppose -95 = -2*v - a, -w = -5*v - 0*a + 4*a. Suppose v = 11*z - 6*z. Does 3 divide z?
True
Does 7 divide 239/((-2)/(-30)*(-15)/(-6))?
False
Suppose -2*g = -2 - 118. Is g a multiple of 12?
True
Is 3 a factor of 14/84 - (-850)/12?
False
Let c = 12 - -6. Suppose -d = -84 + c. Does 11 divide d?
True
Suppose 3*y + 26*c - 30*c = 3138, -2093 = -2*y + 3*c. Is 28 a factor of y?
False
Suppose 3*t = 2*p + p + 48, 4*p - 1 = -t. Let f = 26 - t. Is f a multiple of 13?
True
Let u(a) = -a**3 - 18*a**2 + 19*a + 4. Let i be u(-19). Suppose -60 = -i*z - 2*h + 172, -h = -4. Is 24 a factor of z?
False
Let w(x) = 19*x**2 + x - 1. Let b(k) = -20*k**2 - 2*k + 1. Let y(m) = 3*b(m) + 4*w(m). Is 12 a factor of y(2)?
False
Is -1 - ((5 - (1088 + 7)) + -2) a multiple of 4?
False
Let p(d) = 4 - 2*d - 2 + d**3 + d**2 + d + d**2. Let s be p(-2). Suppose -s*q + 4*z + 132 = 0, 2*q + 2*z - 46 - 32 = 0. Is q a multiple of 18?
True
Suppose -2*d - 4 = -18. Suppose 2*q + 5*n - 433 = 0, -q + d*n = 5*n - 203. Does 14 divide q?
False
Let a = 536 + 784. Does 56 divide a?
False
Let b = 20 - 12. Let j(s) = s**3 - 9*s**2 + 7*s + 11. Let a be j(b). Suppose -a*r + 68 = r. Is r a multiple of 10?
False
Let s be 4/18 + (-112)/18. Let q be (196/(-8) + 3)*s. Let x = -65 + q. Is 32 a factor of x?
True
Suppose -19*o - 38 = -17*o. Let p(y) = -y**3 - 19*y**2 - 6*y - 47. Does 11 divide p(o)?
False
Does 10 divide (0 - 4)/((-8)/1080)?
True
Let o(h) = -h**3 - 3*h**2 - 2*h + 1. Suppose 5*v + 1 = 4*s - 6, 0 = -5*v + 3*s - 9. Let y be o(v). Suppose 3*a + 324 = y*a. Does 24 divide a?
False
Let n = -40 - -18. Is 1/((-2)/n*1) a multiple of 11?
True
Let l be (-107)/((0 - 1)/2). Let d be (-4)/16 + l/(-8). Let y = 74 + d. Is y a multiple of 12?
False
Let n(v) = 2*v - 4. Let p(a) = -5*a + 11. Let r(j) = 8*n(j) + 3*p(j). Let b be r(-3). Is (b/(6/75))/(-1) a multiple of 25?
True
Let k(g) = 3*g**2 - 11*g - 25. Does 17 divide k(7)?
False
Let o = -111 + 189. Suppose 6*c + o = 4*c. Let w = c - -71. Does 16 divide w?
True
Suppose -14*p = -13525 - 13131. Does 56 divide p?
True
Let j(q) = 7*q + 5 + 6 - 20*q. Let c(o) = -o**3 - 21*o**2 - 55*o - 22. Let s be c(-18). Is j(s) a multiple of 16?
False
Suppose -l - 2*l = 4*d + 56, 0 = -5*l + 2*d - 50. Let p be 40/l*-6 + 1. Let f = -6 + p. Is 15 a factor of f?
True
Is 4 a factor of ((-24)/5)/(90/(-2925))?
True
Let b(p) = -1. Let q(a) = -3*a - 3. Let k(d) = 2*b(d) + q(d). Does 2 divide k(-3)?
True
Let n(k) = k**2 + 12*k + 88. Does 7 divide n(-17)?
False
Suppose 0 = j + 10*f - 9*f - 766, 0 = 5*f + 20. Does 10 divide j?
True
Suppose -393 = 20*j - 21*j + 4*u, 1896 = 5*j + 3*u. Is 6 a factor of j?
False
Let d(h) = h**3 + 37*h**2 + 31*h + 48. Is 32 a factor of d(-36)?
False
Let b(q) = 3*q - 19. Let i be b(7). Suppose -i + 452 = 6*c. Is c a multiple of 15?
True
Suppose -y = 5*d - 24, 4*d - 34 - 2 = -5*y. Suppose 9*m - 20 = d*m, -5*m + 52 = 4*x. Is 145/20 + (-2)/x a multiple of 7?
True
Does 13 divide ((-2)/5)/(((-77)/(-3010))/(-11))?
False
Let d be (-2)/12 - 12848/96. Let r = -80 - d. Does 18 divide r?
True
Suppose 0 = -2*y + h + 8, -3*y - 4*h + 28 = -y. Is 4 + -3 + 248 + y a multiple of 26?
False
Suppose 5443 = -q + 9. Does 28 divide 4/6 + q/(-39)?
True
Let r(v) = -7*v + 10. Let t be r(5). Let p be (-10)/(-4)*(-30)/t. Suppose p*f - 2*j - 152 = -0*j, -3*f + 182 = 4*j. Does 18 divide f?
True
Let p be ((-120)/9)/(((-32)/42)/8). Let a = -62 + p. Does 27 divide a?
False
Let h(c) be the first derivative of 1 + 7*c + 1/2*c**2. Is h(9) a multiple of 4?
True
Does 10 divide (2 + -9)/(-1) + 313?
True
Suppose 0 = -d + 7*d - 396. Let a = d - 36. Does 14 divide a?
False
Let p(v) = 19*v**2 + 5*v + 15. Does 79 divide p(-7)?
False
Let a = 655 + -303. Is a a multiple of 44?
True
Suppose l + d - 7115 = -2*l, -3*l - 4*d = -7130. Is l a multiple of 30?
True
Let o = -175 + 164. Let j be 3/4*(-16)/(-1). Let d = j - o. Does 10 divide d?
False
Suppose -5*a - 5*r - 30 = -10*r, -r = 5*a. Is (13*a)/((-12)/240) a multiple of 33?
False
Let f(h) be the second derivative of 4*h**3/3 + 5*h**2/2 + 74*h. Suppose 2*m - 24 = -m. Is 20 a factor of f(m)?
False
Let b = 48 - 45. Is b*(-415)/45*-6 a multiple of 