5240 + 6077. Is i a multiple of 31?
True
Suppose -4*q + 14502 = -3*l, 2*q - l - 7258 = 4*l. Is q a multiple of 98?
False
Let z = -134 - -140. Suppose 0 = z*n - 7112 + 1298. Is 17 a factor of n?
True
Let h(z) = 1649*z - 2501. Is 195 a factor of h(4)?
True
Suppose -3*f = 2*f - 5*w - 1325, w = 2*f - 528. Suppose -443 = -5*p - 3*b, 9*p - b - f = 6*p. Is 16 a factor of p?
False
Let q(s) = 9*s + 1. Let w be q(1). Let j be (-92 + -8)*4/w. Is (-3 + (-13)/(-5))*j a multiple of 5?
False
Let i(d) = -d**3 - 73*d**2 - 91*d - 295. Is i(-72) a multiple of 75?
False
Let w(g) = -100*g**3 + g**2 - 7*g + 7. Let b(x) = x**3. Let r(a) = 5*b(a) - w(a). Does 26 divide r(1)?
True
Let l(y) = 4*y**2 - 31*y + 33. Let t be l(7). Let o be (-2)/(-6) + 11/3. Suppose t = o*n, 2*n + 330 = 3*k - 2*n. Does 38 divide k?
True
Let z(v) = 2*v**2 + 123*v - 33. Is 21 a factor of z(-71)?
False
Suppose 10*w - 371 = 19. Suppose -43*p + 1716 = -w*p. Does 33 divide p?
True
Suppose 5*l - 54 = 8*x - 4*x, -2*l - 52 = 3*x. Let z(n) = -17*n - 27. Does 12 divide z(x)?
False
Suppose 4*c - 12434 + 1818 = 4*v, -2*v + c = 5306. Let a = -1766 - v. Suppose -10 = -6*r + r, -3*r + a = 5*h. Is h a multiple of 17?
False
Let c(f) = f**3 - 25*f**2 + 60*f + 53. Is 95 a factor of c(28)?
True
Let i be (-13)/(-4) - (-7)/(-28). Let v(w) = 14*w**3 + 3*w**2 - 4*w + 5. Let f be v(i). Suppose -421 = -13*r + f. Is r a multiple of 55?
False
Let c(z) be the first derivative of -1/2*z**2 - 8 + 2/3*z**3 - 7*z. Does 7 divide c(5)?
False
Suppose -1362 - 71 = -c - v, -v + 5 = 0. Suppose -1424*o = -c*o + 2472. Does 27 divide o?
False
Suppose 269 = y - 3*x, 789 + 4 = 3*y + 5*x. Suppose 0*k - 2*k = -3*b + y, 2*b - k = 179. Is b a multiple of 23?
True
Suppose -12*l = -22 - 2. Let h(v) = 14*v - 37 - v**l - 5*v + 31. Is h(7) a multiple of 8?
True
Let i(h) = -831*h - 85. Let g be i(-2). Suppose -3*c = 4*r - 2034, 0 = -5*r - 2*c + g + 962. Does 13 divide r?
True
Let w = -795 + 1466. Suppose -w*p + 670*p + 645 = 0. Is 55 a factor of p?
False
Suppose 13489 = -28*o + 1085. Let x = -167 - o. Is x a multiple of 6?
True
Let g = 4 + -241. Let k = g - -417. Is k a multiple of 18?
True
Suppose v - 5 = -q - 0*v, -q = -4*v + 10. Is 9 a factor of (0 + q - 4)/((-8)/108)?
True
Let k(w) = 200*w**2 + 16*w - 9. Is k(-6) a multiple of 43?
True
Is ((-4)/8)/(9/(-258))*3*148 a multiple of 37?
True
Let a be 3*(-1 + (-239)/3). Suppose -j - 620 = -d - 236, -4*d - 5*j + 1473 = 0. Let n = a + d. Does 21 divide n?
False
Is 1*6 - 77/(1463/(-106704)) a multiple of 6?
True
Suppose -4*d - 6*g + 2*g = -2208, 0 = 2*d + 3*g - 1106. Is d a multiple of 55?
True
Let i = -26 + 24. Let j(n) = n**2 + 2*n + 5. Let o be j(i). Let b(s) = 11*s - 9. Does 4 divide b(o)?
False
Let w(m) = 2*m**2 + 8*m + 11. Let c be w(-7). Let s = 55 - c. Suppose -s*o = 5*f - 34 - 107, -3*o + 264 = -3*f. Does 21 divide o?
False
Let k(s) = 2*s + 12. Let z be k(29). Is 8 a factor of ((-140)/175)/(-1*2/z)?
False
Let y(k) = -64*k + 94. Let q(x) = 2*x**3 + 34*x**2 + 34*x + 17. Let j be q(-16). Is y(j) a multiple of 21?
False
Let q be 3*305/(-9)*-3. Let c = q + -143. Suppose -9*o + 3*o = -c. Is 9 a factor of o?
True
Let q = 121 + -80. Suppose 136 = u - 2*d + q, -190 = -2*u + 5*d. Is 4 a factor of u?
False
Let j = -277 + 314. Suppose 33*h = j*h - 1344. Does 12 divide h?
True
Suppose 2*f + 0*f + 4 = 0. Let x(d) = -97*d - 10. Let c be x(f). Let r = c + -99. Does 5 divide r?
True
Suppose 0 = -k - 5*f + 10640, -28*k + 10*f = -29*k + 10635. Is k a multiple of 49?
False
Is 184 a factor of (-14722)/(-16) + (7/112)/(5/(-10))?
True
Suppose 41*w + 59*w + 411956 = 2878656. Is 196 a factor of w?
False
Does 33 divide (-10)/8*(-264)/660 - (-11546)/4?
False
Let l = -13786 + 22435. Does 9 divide l?
True
Let z be (-2 - 1) + (18 - 10). Let g be -2 - (0 - z) - 2. Suppose -g = -y, 0 = 5*i + y + 4*y - 75. Is i a multiple of 6?
False
Suppose 0 = 23*n - 2702 - 58. Suppose 2*z = -10*z + n. Is z a multiple of 3?
False
Let l(j) = 7*j + 7. Let b be l(-1). Suppose 0 = 5*y - k + 101 - 777, -5*y - 3*k + 672 = b. Is 45 a factor of y?
True
Suppose 120*y = 176*y - 134344. Is y a multiple of 41?
False
Let c(q) = 30*q - 355. Let x be c(17). Suppose -462 - x = -n. Is 47 a factor of n?
False
Let q = -190 + 180. Does 20 divide q*(-1 + (3 - 6))?
True
Let l = 23 + -14. Suppose -2*y - 113 = -i, 4*y - 104 = -i + l*y. Suppose -5*j + 116 = -2*h, -5*j + 0*h + 3*h = -i. Is j a multiple of 2?
True
Suppose -4*u - 1184 = -2*u. Let x = 1322 + u. Is 11 a factor of x?
False
Let u(t) = -44*t + 35. Let v(z) = -87*z + 69. Let k(b) = 5*u(b) - 3*v(b). Is k(10) a multiple of 42?
True
Let a(y) = y**3 + 56*y**2 + 22*y + 261. Is a(-52) a multiple of 33?
True
Let a(q) = 221*q - 964. Is a(36) a multiple of 17?
False
Suppose 24 = 4*f + n + 2*n, -2*n + 24 = 4*f. Let m(o) = 502*o. Let x be m(2). Suppose f*i - x = 76. Is i a multiple of 36?
True
Let w = -4373 - -4523. Is 3 a factor of w?
True
Let g(b) be the first derivative of -b**3/3 + 13*b**2/2 + 33*b - 11. Let y be g(15). Suppose 5*p - z = -2*z + 257, -y*z = 9. Is 26 a factor of p?
True
Let r be (372/(-30))/((-4)/10). Suppose 26*h + 900 = r*h. Let i = h + -125. Is 10 a factor of i?
False
Let y(n) = 53*n**2 + 77*n + 520. Is 244 a factor of y(-25)?
True
Let r(s) = -4668*s + 44. Is r(-1) a multiple of 10?
False
Let g(m) = m**3 + 17*m**2 + 15*m + 3. Let j(x) = x**3 + 16*x**2 + 14*x + 3. Let k(y) = -4*g(y) + 5*j(y). Suppose 0 = -3*s + 39 - 72. Does 7 divide k(s)?
True
Let l(j) = 6545*j**3 + 106*j**2 - 105*j - 2. Is 6 a factor of l(1)?
False
Is 21 a factor of (10321 + 21 + -31)/1?
True
Let v(k) = 15*k**3 + k**2 - 4*k + 3. Let q be v(1). Let t(y) = 11*y - 85. Does 8 divide t(q)?
True
Let f be 25*2/(60/234). Is (0 - -1) + (f - 36) a multiple of 10?
True
Let s(p) = 285*p**2 + 5*p - 43. Does 59 divide s(3)?
True
Let l = 24 - 5. Suppose -11 = -3*d + p, 0 = -d + 3*d - 3*p - l. Is 262/14 - d/(-7) even?
False
Let h(p) = 120*p**3 - p**2 + 28*p - 255. Does 30 divide h(5)?
False
Let k(v) = v**3 + 16*v**2 + 4*v - 33. Let d = 283 + -294. Is k(d) a multiple of 8?
True
Let q(h) = 3607*h - 19447. Is 31 a factor of q(10)?
False
Let j(x) = 83*x + 652. Is 7 a factor of j(57)?
True
Suppose 0 = -6*l - 23 + 47. Suppose -3*g + z = -109, -9*g = -l*g - 4*z - 170. Is g a multiple of 7?
False
Suppose 34*p = 3*p + 213962. Suppose -2*n = 27*n - p. Is 10 a factor of n?
False
Suppose 0 = 4*n + 5*f - 17, -1 + 3 = 2*f. Suppose -2*m = n*o - 197, m + 193 = 3*o + 2*m. Is o a multiple of 21?
True
Let v = -10 + 9. Let q be (-25)/v + (-5 - -1) + 3. Does 25 divide q/9*(-63)/(-6)?
False
Suppose -104*i = -34*i - 55372 - 29048. Is i a multiple of 134?
True
Suppose -4*p - 6 = 2, -12217 = -5*m + p. Does 61 divide m?
False
Suppose -4*t = -a + 5805, -35*a - 5*t + 5805 = -34*a. Does 5 divide a?
True
Let w = -44 + 46. Let l be (w + -4 - -3) + 1. Suppose -7*o + 350 = -l*o. Is o a multiple of 10?
True
Suppose 5*y - 1 = -o + 19, -3*o - 4 = -y. Let i be y/(-18) + (-4872)/(-54). Is 19 a factor of 5 + -3 + i + 2?
False
Let v(t) = -10 - t**3 + 15*t**2 + 7*t**2 + 22*t + 6*t. Does 5 divide v(23)?
True
Suppose -198*w - 205523 = -564893. Does 33 divide w?
True
Let y(p) = -p**3 + 12*p**2 + 31*p + 3. Let z(f) = f**2 - 15*f - 2. Let i be z(16). Let h be y(i). Suppose -5*q + 170 + h = 0. Is q a multiple of 20?
False
Let u(l) = -3*l + 10. Let j be u(2). Suppose j*h = -2*k + 730, 10 = -2*h + 12. Is k a multiple of 33?
True
Let d(y) = -y**2 - 11*y - 20. Let i be d(-8). Suppose -2*v = 7 - 241. Suppose j = i*f - v, -13 - 29 = -f - 4*j. Is f a multiple of 6?
True
Let n(c) = 3430*c + 124. Is 36 a factor of n(2)?
True
Suppose -190 = 12*g - 2*g. Let n(w) = -16*w - 15. Let b be n(g). Suppose -5*z - 3*v = -806 - b, 2*z - v = 427. Is z a multiple of 36?
True
Let c(p) = p**2 + 11*p + 25. Let d be c(-10). Let q be 1 + 6/d*5/2. Suppose -5*w + 134 = -q*k, -4*w + 4*k + 96 + 16 = 0. Is w a multiple of 19?
False
Let k(s) = -s**3 - 7*s**2 + 10*s + 12. Let c be k(-8). Let b be 4 + (2 - 2)/c. Suppose b*m = -m + 390. Does 39 divide m?
True
Let s = 325 - 316. Is 179 + s + 5/(0 - -1) a multiple of 44?
False
Let b = 25661 + -19499. Is b a multiple of 173?
False
Let x = -4161 + 8635. Is 27 a factor of x?
False
Let u = -84 - -88. Let v(s) be the first derivative of 8*s**2 + s - 41. Does 7 divide v(u)?
Fa