ltiple of 34?
False
Let m = -557 - -559. Suppose -167 = -m*t + 68*i - 63*i, -316 = -4*t + 4*i. Is 5 a factor of t?
False
Suppose 80 = 5*u - 2*c, -u = -3*c + 1 - 30. Suppose -8029 = -u*z - 1967. Is 14 a factor of z?
False
Let l(g) = -g**3 + 5*g**2 + 4*g + 14. Let u be l(6). Suppose -z - 3 - u = 0. Let v(k) = -k**3 + 2*k**2 + 9*k + 2. Is 33 a factor of v(z)?
True
Let v(o) = 2*o - 36. Let n be v(20). Suppose 5*s + 4*a + 11 = a, n*s + 1 = -5*a. Let l = s + 39. Does 35 divide l?
True
Let k(d) = 224*d**3 + 2*d**2 + 2*d. Let a be k(-1). Let m = -192 - a. Is 32 a factor of m?
True
Let s(f) = 48*f**2 + 78*f - 2. Is 5 a factor of s(-7)?
False
Is (-53580)/(-94) - (-21 + 6) a multiple of 65?
True
Let r = 9129 + 3093. Suppose 44*n - r = 35*n. Does 27 divide n?
False
Let a(f) = 11*f**2 - 25*f - 11. Let t be a(11). Let b = t - 617. Is 4 a factor of b?
True
Let p(b) = -30 - 10 - 3*b - 2*b - 2*b. Let i be p(-12). Let c = i - -37. Is c a multiple of 9?
True
Let p be (-7)/56 + 2/16. Let c(w) = -w - 2. Let v be c(-6). Suppose p = -5*q + 9 + 1, -220 = -v*m + 4*q. Does 20 divide m?
False
Suppose 0 = -3*y - 2*a + 397, -a + 2*a = 4*y - 533. Suppose i = -56 + y. Is i a multiple of 4?
False
Let a(y) = 27*y + 3. Let r be (-230)/(-70) - 4/14. Suppose -r*i + 7 = m, 2*i + 0*i = 3*m - 21. Is 12 a factor of a(m)?
True
Let p = -1977 + 6150. Does 10 divide p?
False
Let l(d) = -13 + 105*d - 21*d + 8 + 3*d. Suppose s - 6*s + 2 = o, 4*s = -o + 2. Is l(o) a multiple of 60?
False
Let g = -2654 + 3217. Does 17 divide g?
False
Let u be (-1855)/(-25) + 2/(-10). Suppose 3*a = 5*a - 116. Let x = u - a. Is 8 a factor of x?
True
Let x be (-874 + 1)/(-2 - -1). Suppose 9*g - x - 1935 = 0. Does 4 divide g?
True
Let c(f) = 16*f - 5. Suppose i - 36 = -2*i + 5*x, -x = 3. Let q be i/2*2 - (-1 - -4). Does 24 divide c(q)?
False
Suppose -3100 - 69120 = 125*v - 135*v. Is v a multiple of 104?
False
Let a be 234/12*(-3 + 5). Does 64 divide (5/(-4) - 1)/(a/(-22880))?
False
Let q(m) = 15*m**2 - 141*m - 238. Is 56 a factor of q(14)?
True
Suppose q - 23277 = 3*r, 199*q + r - 69841 = 196*q. Is q a multiple of 80?
True
Let c be 12/(-32) + 63/(-24). Is 47/c*(9 + -8 - 10) a multiple of 8?
False
Let p(b) = -b**3 + 7*b**2 + 7*b - 8. Let i be p(8). Let q(f) = -f**3 - 16*f**2 - 2*f + 19. Does 14 divide q(i)?
False
Suppose -90 = -34*n + 29*n. Is 10 a factor of (-1 + -54)*(-72)/n?
True
Let p(a) = 279*a**2 - 31*a - 211. Is p(-7) a multiple of 8?
False
Is 4 a factor of -1 + 1 - 50/(-20)*536?
True
Suppose -2*p + 7*k = 2*k - 2420, 2*k = -4*p + 4792. Does 24 divide p?
True
Let g = 6293 + 7659. Is g a multiple of 17?
False
Let n = 107 - 47. Suppose -10*p - 5*p + n = 0. Suppose -p*v - 76 = -2*i, -2*i = 2*i + 3*v - 174. Does 21 divide i?
True
Let l = -37 + 39. Suppose m + b = -l*m + 770, 4*m + 2*b = 1028. Suppose -9*a + m = -7*a. Is a a multiple of 32?
True
Let l = 141 + -90. Suppose y - l = -f + 4*y, 4*y = -16. Is f a multiple of 13?
True
Suppose -5*k + 1979 = 5*h - 616, 0 = -2*h - 4*k + 1036. Suppose 4*x + 0*x = -w - 413, h = -5*x - 2*w. Is (-594)/8*272/x a multiple of 22?
True
Suppose -f = -3*a - 2*a + 50, 0 = -5*a - 3*f + 50. Suppose i + a*i + 330 = 0. Does 9 divide (-1900)/i + 2/(-6)?
True
Let i be 180 - 3*(-3)/3. Suppose 0 = 5*t - 4*h - 1256, -t - 4*h + 73 = -i. Is 36 a factor of t?
True
Suppose 2*f = -5*d - 28, 0 = 2*f + 2*d + 16. Is 9 a factor of (-1)/(f/(-496)*-4)?
False
Let u = 4781 + -231. Is u a multiple of 50?
True
Let d(l) = l**2 + 5*l + 7. Let m be d(-5). Suppose 0 = 3*n + 4*b - 186, 5*b = -m - 8. Suppose 3*u = -3*u + n. Is 7 a factor of u?
False
Let l = -7 - -45. Is (l/(-6))/(27/(-1458)) a multiple of 18?
True
Let j = 178 - 175. Suppose 3*r - 3*q - 180 = 0, 0*q + j*q + 9 = 0. Is 4 a factor of r?
False
Let k be (-4374)/3 - 114/19. Let s = 3141 + k. Is s a multiple of 14?
False
Let s(a) = 3*a**2 - 2*a - 6. Let m be s(2). Suppose 2*h + m = 0, 8*h = -3*z + 3*h + 451. Let r = -98 + z. Is r a multiple of 7?
False
Let b = 90 + -86. Suppose b*j - 2443 = -4*o + 857, -4*o = -j - 3285. Suppose -6*q = -10*q - 2*y + o, 3*q = 4*y + 600. Does 34 divide q?
True
Let m(d) = d**2 - 4*d + 2. Let z be m(3). Let a be (0/(-1))/z - (1 + -3). Is 4 a factor of (a/(-4))/(1/(-26))?
False
Let l be 20/170 + (-166)/(-34). Suppose -l*w = 700 + 290. Let a = -133 - w. Does 18 divide a?
False
Let q(z) = z**3 + 17*z**2 + 11*z - 20. Suppose -9*s + 6*s - 12 = 0. Let a(c) = c**3 + 3*c**2 - 2*c - 8. Let u be a(s). Does 6 divide q(u)?
True
Suppose 1 + 47 = 6*h. Suppose x + 5*c = 16 + 4, 0 = -4*x - 2*c + h. Suppose u + 5*s - 52 = x, 3*s - 14 = 3*u - 242. Is u a multiple of 6?
True
Let p(w) = -4 - w + 21*w**2 + 23*w**2 + 39*w**2. Let x be p(-2). Suppose 0 = 7*r - x - 860. Is 35 a factor of r?
False
Suppose -5*k + 133636 = k + 71896. Is k a multiple of 6?
True
Is 12*112/96 + 19126 a multiple of 110?
True
Let m(b) = -b**2 + 14*b - 35. Let a be m(5). Suppose -a*v = 34 + 46. Is 9 a factor of 85 - 0 - (-3 - v - 2)?
False
Let j(l) = -l**2 + 30*l + 19. Let m be j(22). Let o be ((-8)/(-12))/((-6)/(-99)). Suppose -m = -16*q + o*q. Is q a multiple of 32?
False
Let s = 43 + -41. Let q(l) = 4 - 3*l + s*l - 1 + 14. Is 6 a factor of q(5)?
True
Let p = 316 - 297. Suppose -p*d + 1308 = -17*d. Is d a multiple of 13?
False
Let p(w) = w**3 + 10*w**2 - 14*w. Let r(b) = -b**2 - b + 4. Let d be r(-4). Does 24 divide p(d)?
True
Let x = 13479 + 2096. Is 89 a factor of x?
True
Let h = -391 - -228. Let p = h + 258. Is 5 a factor of p?
True
Suppose -4*h + 4320 = -4*v + 3*v, 3*h - 5*v - 3257 = 0. Suppose -x + h = -4*y, -x + 3*y + 189 = -888. Does 17 divide x?
True
Let k be 6 + -339 - (-1)/(-1). Let x = -33 - k. Does 12 divide x?
False
Let y(x) = -x**3 + 10*x**2 - 5*x - 19. Suppose 39 = 3*l + 4*w, 5*l + 3*w - 58 = -4. Is 6 a factor of y(l)?
False
Suppose 232*f - 1052364 = 1100364. Is 9 a factor of f?
True
Let w = 401 - -683. Does 24 divide w?
False
Suppose 642 = -16*o + 18*o - 3*k, -2*o - 4*k + 642 = 0. Let q = o + -313. Is q a multiple of 4?
True
Let n(q) = 12 - 284*q**3 + 3 + 557*q**3 + 1 - 277*q**3 + 10*q - q**2. Does 13 divide n(-4)?
False
Let u(o) = 132 - 88 - 80 - 3*o. Let s be u(-8). Does 56 divide (s/(-9))/(5/930)?
False
Let n = -37 + 78. Suppose 28 = -5*q + 88. Let h = n + q. Is h a multiple of 4?
False
Suppose 1538 = 4*t - 6*t + 4*q, 3*q + 1503 = -2*t. Let o = t - -1113. Is o a multiple of 17?
False
Let y = -186 - -186. Suppose -f - a + 58 = y, 0 = 5*f - a - 195 - 107. Does 15 divide f?
True
Suppose -96 + 44 = -13*d. Let c be 79 - 3/((-6)/(-4)). Suppose d*t = c + 79. Is 13 a factor of t?
True
Let q be (-5 - (-3 - -1)) + 4*3. Is 6 a factor of ((-1428)/108 - -13) + 272/q?
True
Let g be 8*6/20*15/(-2). Is (-6)/(-8)*(2 - g) even?
False
Suppose 0 = -5*h + 5*u + 1605, -8*h - 3*u = -6*h - 622. Is h a multiple of 3?
False
Let q(a) be the first derivative of 5*a**3/3 - 3*a**2/2 - 3*a + 6. Let r be q(-6). Suppose 0 = 2*g + n - 99, -2*g + 6*g + 3*n - r = 0. Does 22 divide g?
False
Let n be (-4345)/(-33) + 1/3. Let k = n - 70. Let r = 110 - k. Does 24 divide r?
True
Suppose -3*m + 4*n + 80 = 0, m - 4*n - 12 - 12 = 0. Is 3 a factor of m/98 - (-318)/14?
False
Suppose 2*s - 2000 = -0*s + 5*i, -4*s = 2*i - 3952. Suppose -7*n + 2*n = -s. Does 8 divide -4*(n/(-12) - 4)?
False
Let m be ((-4328)/6)/((-2)/3). Let y = -150 - m. Does 8 divide (-3)/(-5) - y/55?
False
Suppose 0 = 2*d + 4*s + 10, -4*d + 6*s + 35 = 3*s. Suppose -3*j + 105 = d*k, 3*j = -2*j - 4*k + 175. Is 7 a factor of j?
True
Suppose 9 = 3*f, 2*c - f - 5 = 30. Suppose 3*n - 23*o = -c*o + 1372, 5*n = -o + 2279. Is 8 a factor of n?
True
Suppose 10*t + 111 + 9 = 0. Let d(r) be the third derivative of -r**4/8 - 25*r**3/6 + 20*r**2. Is 4 a factor of d(t)?
False
Let p(f) = -1455*f - 285. Is p(-7) a multiple of 33?
True
Suppose 193 + 608 = -9*s. Let h = s + 164. Does 19 divide h?
False
Suppose -5*a - 18 = 7, 3*a + 10 = -r. Suppose 3*k - 32 - 483 = r*m, -4*m = -2*k + 346. Is k a multiple of 20?
False
Let q be 4/30 + (-534)/270*-6. Suppose -q = 3*v, -3*v = -4*b + 117 + 151. Does 4 divide b?
True
Suppose -4*g + 2*g - 17904 = -8*o, -5*g = -3*o + 6714. Does 28 divide o?
False
Let v be 321*-2*4/(-12). Let b = v - 118. Let a = 198 - b. Is a a multiple of 13?
False
Suppose 1 = o - 3. Suppose -1916 = -o*z - 3*b, 2*b - 438 = -5*z + 1950. 