rue
Suppose 0 = m - 4*m + r + 1938, 2583 = 4*m - r. Let n = m + -429. Is n a multiple of 24?
True
Let h(s) be the second derivative of 33*s**5/10 + s**4/6 - s**3/3 - 11*s**2 - s - 4. Let d(m) be the first derivative of h(m). Is 40 a factor of d(1)?
True
Suppose 3*k = k + h + 24, 62 = 5*k - 3*h. Let f = k - 2. Suppose f*d - 968 = -3*d. Does 23 divide d?
False
Let o(p) = 26*p + 139. Let q(s) = 17*s + 92. Let l(c) = 5*o(c) - 8*q(c). Is l(-12) a multiple of 4?
False
Suppose 53*r = 61*r - 6312. Let m = 1209 - r. Is m a multiple of 42?
True
Let v(d) = 3*d**3 - 21*d**2 - 26*d - 20. Let j(a) = -5*a**3 + 42*a**2 + 52*a + 40. Let o(z) = -4*j(z) - 7*v(z). Does 25 divide o(-20)?
True
Let a = -321 + 58. Let z = a - -965. Is 26 a factor of z?
True
Does 5 divide 35/((-385)/(-594)) + 5?
False
Suppose 0 = 2*k + 1630 - 324. Let c = -301 - k. Suppose 5*a + c = 1157. Is 23 a factor of a?
True
Suppose 4*n - g + 12 = -6*g, -2*n - 3*g - 4 = 0. Let x(j) = -8*j + 69. Let l be x(8). Let c = l - n. Does 2 divide c?
False
Let s(l) = -88*l - 32. Suppose -292 + 322 = -6*n. Is s(n) a multiple of 17?
True
Suppose -51*a + 87*a + 73476 = 45*a. Is a a multiple of 26?
True
Is (-2)/(2/(-104)*512/(-416))*-256 a multiple of 16?
True
Let t(w) = 3*w - 5. Let j be t(5). Suppose 0 = j*g + 9*g - 2014. Suppose 0 = -4*i - g + 314. Is i a multiple of 26?
True
Let q = -10184 - -18430. Does 24 divide q?
False
Suppose -422 = -2*y + t, -150 = -2*y - 3*t + 288. Let s = -45 + y. Does 12 divide s?
True
Suppose 846 = 28*f - 386. Suppose f*t = 63*t - 5586. Is t a multiple of 41?
False
Let l(n) = -12*n + 1620. Does 2 divide l(-40)?
True
Suppose -4*n - a = -0*a + 383, 5*a + 91 = -n. Let i = -241 - n. Let k = i + 273. Is k a multiple of 31?
False
Let u(k) = k**3 - 4*k**2 + 28*k. Let s be u(6). Suppose 8*l = 11*l - s. Does 6 divide l?
False
Suppose -h + 4*h = 9*h. Suppose -2*f + 0*f + 80 = -5*u, -3*u = h. Does 8 divide f?
True
Let d = -826 - -277. Let v be 1*(d/12)/(5/40). Let c = v + 535. Is 13 a factor of c?
True
Suppose 2*o - 166 = -v + 6*v, -4*o = -5*v - 352. Is o a multiple of 93?
True
Suppose -5*i - 5*n = 650, -4*i + 4*n = -n + 520. Let t = i + 135. Suppose t*y - 118 = -q + 51, -5*q - 3*y + 779 = 0. Is q a multiple of 14?
True
Let r(c) = 19 - 2 - 3 + 25*c. Let w be r(-3). Let f = w - -71. Does 2 divide f?
True
Let h = 39 + -26. Let w = h - 9. Is 6 a factor of (-1)/(w/(-120))*1?
True
Let c = 1412 - 789. Let s = c - 332. Is 13 a factor of s?
False
Suppose 16*y - 104 = 8*y. Suppose 4*x + y = 29. Suppose x*l - 28 = -w, w - 6*l = -l - 8. Does 4 divide w?
True
Let v be (-10)/((0 - -2) + -4). Suppose v*r = r + m + 56, 3*r - m = 43. Let c(s) = 3*s - 30. Does 2 divide c(r)?
False
Does 50 divide ((-5610)/45 + 9)*-147?
False
Let s(h) = 2*h**2 + 17*h + 11. Let g be s(-8). Suppose -4*d - 245 = -3*i, -18*i = -15*i + g*d - 210. Is 66 a factor of i?
False
Suppose -17*v = -16*v - 319. Suppose 2047 = 6*w + v. Is w a multiple of 16?
True
Let c = 24148 - 9568. Is c a multiple of 27?
True
Let d(a) = -189*a**3 + 6*a**2 + 62*a + 13. Is d(-5) a multiple of 78?
True
Is 20/(220/693) + 13 a multiple of 5?
False
Let x(b) = 115*b**2 - 47*b + 197. Does 204 divide x(-10)?
False
Let r = -16 + 18. Suppose -3*z + 192 = 3*p, 3*p - 90 = r*z + 87. Does 9 divide p?
False
Let d be (-2 - 0)*(-2 - 2). Let t(j) = -39*j + 70*j - 8 + 0 - d. Is t(3) a multiple of 7?
True
Let y = -83 - -50. Let g = y - -33. Suppose 5*n - 3*x - 281 = g, 64 = n - 0*n + 2*x. Does 16 divide n?
False
Let m = 37 - 35. Suppose d - m*z = 208, 636 = 3*d - 3*z - 0*z. Is 8 a factor of d?
True
Suppose 4*x + 276 = 5*r, 4*x + 6*r = 7*r - 292. Let w = 462 + x. Is 36 a factor of w?
False
Suppose 2526 = -5*x + 231. Let o = x - -767. Does 11 divide o?
True
Suppose 0 = 4*s + 3*d - 160673, 13404 - 133887 = -3*s + 5*d. Is s a multiple of 266?
True
Let i(b) = 25*b**2 - 16*b - 49. Let m = 603 + -606. Is 4 a factor of i(m)?
True
Let x(a) = 297*a**2 - 128*a - 254. Does 34 divide x(-2)?
True
Suppose -3*n + 76*d = 81*d - 3124, 5*d + 3194 = 3*n. Does 13 divide n?
True
Suppose 3*t + 0*d = 4*d - 206, 5*d - 274 = 4*t. Suppose 4*i = -3*v + 430, -2*i - 2*i = -v + 170. Let k = t + v. Is 8 a factor of k?
False
Suppose 114*t - 119*t - 4*o + 7070 = 0, -5*o = -4*t + 5615. Is 48 a factor of t?
False
Let o(f) = 2*f**3 + f**2 - f + 8. Let m = -86 - -90. Does 15 divide o(m)?
False
Let p = -170 - -128. Is 48 a factor of 12/p - (-10760)/28?
True
Is (-1 + (1 - -2))*(3402 + 113) a multiple of 19?
True
Let z be (2 + -16)/7 - -7. Suppose 1736 = 2*w + 4*a, -z*w - 4*a + 6120 - 1792 = 0. Is w a multiple of 48?
True
Let g = -1181 - -1688. Suppose 4*h = a - 100, 0 = -4*a + 2*h - 65 + g. Does 4 divide a?
True
Let s(m) = m**3 + 7*m**2 - 7*m + 9. Let i = -78 + 70. Let x be s(i). Does 8 divide 92 + -2*(x - 3)?
True
Let o(r) = 6*r**2 - r - 152 + 143 - 2*r**3 + 0*r. Is o(-3) a multiple of 17?
True
Suppose -23*y = -13*y - 60000. Does 13 divide y?
False
Suppose -4*l + 15410 = -4*h + 5110, 0 = 5*l - 2*h - 12878. Does 16 divide l?
True
Let m be 115/23 - (-3 - 0 - -2). Is (m/24*-22)/(2/(-12)) a multiple of 33?
True
Suppose 50*m - 53*m + 4*r = -34524, -m = 3*r - 11469. Does 12 divide m?
True
Let f(s) = 47*s**2 + 2*s - 6. Let l(r) = 47*r**2 + 2*r - 5. Let y(a) = -5*f(a) + 6*l(a). Is y(2) a multiple of 24?
True
Let j(f) = f**3 - 17*f**2 + 18*f - 30. Let z be j(16). Suppose -z*m - 17 = -45. Is m a multiple of 10?
False
Suppose 12951*i + 22352 = 12955*i. Is 11 a factor of i?
True
Suppose 13 = r + 8. Suppose r*q - 105 = -5*h, 5*h - 111 = 4*q - 3*q. Let c = 155 - h. Is 19 a factor of c?
True
Let n be (18/2)/(-7 - -10). Suppose -420 = -3*f - n*i, -2*f + 42 = 3*i - 242. Does 7 divide f?
False
Let m(y) = -22*y - 9. Suppose 12*b + 24 + 0 = 0. Let i be 6*(b/(-4))/(1/(-2)). Is m(i) a multiple of 11?
False
Suppose -4*f + 3*x + 200 = -x, -x = 0. Is 6 a factor of 4480/f - (-3)/(-5)?
False
Let v(i) = -67*i - 5. Let y be v(-1). Let r = -3 - -4. Let a = y + r. Does 7 divide a?
True
Suppose -u - 4*g + 14608 = 0, 0 = 5*g + 5 - 25. Does 152 divide u?
True
Suppose -2*l - 160 = -4*t + 2*t, 0 = 4*t + 3*l - 334. Suppose 262 - t = 3*p. Let a = 104 - p. Is a a multiple of 4?
True
Suppose -5*f - 176 = -j, -3*f + 8 = -5*f. Suppose 0 = -d + x + 36, 2*x - j = -5*d + x. Suppose l = d + 6. Is 19 a factor of l?
True
Suppose -2466 = -0*l + 9*l. Let u = -212 - l. Does 3 divide u?
False
Let j be (3 - 3)*(-7)/14. Suppose -9 = -3*z - j. Suppose -15 = -z*r, 5*r + 184 = 5*t + 19. Is 15 a factor of t?
False
Let j = 445 + 7. Suppose -d = -3*q - 5*d + j, -3*q + 455 = d. Is q a multiple of 12?
False
Let l(s) = 4*s - 5 - 1 - 5 + 24*s**3 - 2*s**2 + 9. Let r be l(2). Suppose -m - h = -0*h - 182, -m + 3*h = -r. Is 37 a factor of m?
False
Let r = -2890 + 3277. Is r a multiple of 10?
False
Let g = 40815 - 6350. Is g a multiple of 22?
False
Let h(r) = -r**2 + 27*r - 74. Let y be h(24). Let c(z) = 136*z - 1. Let f be c(y). Does 25 divide (-51)/85 - f/5?
False
Suppose 3*f - 10*f + 35 = 0. Let w(q) = 7*q**2 - 11*q + 20. Let j be w(f). Let y = -100 + j. Does 9 divide y?
False
Does 49 divide 45/(-12) - (-3)/(-12) - -2171?
False
Let j be (21/9)/(17/(-5916)). Let p = -492 - j. Is p a multiple of 16?
True
Suppose -3 = y - 5. Let p(d) = 3*d**2 + 38 - 34 - 3*d + 4*d**y - 3*d**2. Is p(-4) a multiple of 8?
True
Suppose -13*j + 14*j = 19. Let p be (-1 + 0 - -1)/((-19)/j). Suppose -6*t + 143 + 97 = p. Does 40 divide t?
True
Let l = -42 + 33. Let u(q) = q**3 + 10*q**2 + 15*q + 21. Let r be u(l). Let w = r + 63. Does 13 divide w?
False
Let m(c) be the first derivative of -137*c**5/10 - c**3/3 - c**2/2 + 4*c + 19. Let i(b) be the first derivative of m(b). Is 47 a factor of i(-1)?
False
Suppose -3*n - 1842 = -2*v, 6*n + 1838 = 2*v + 5*n. Suppose 0 = -16*s + 25*s - v. Is s a multiple of 3?
True
Suppose 0 = 367*b - 369*b - 10, 0 = -5*s + 5*b + 1630. Is 14 a factor of s?
False
Suppose 4*f - 7363 + 1827 = 0. Suppose 19*p = 20*p - f. Does 24 divide p?
False
Suppose 0 = 4*s + 3*a - 32007, -134*a + 139*a + 15971 = 2*s. Does 129 divide s?
True
Suppose -4*u = -2*m - 742, 0 = 2*m + 5*u - 478 + 1238. Let l = -280 - m. Is l even?
False
Let l = 8 - 29. Let i = l + -24. Let p = -35 - i. Is 3 a factor of p?
False
Let s(q) = 5*q**2 + 8*q - 1. Let x(n) = 2*n**2 + 4*n. Let t(m) = -3*s(m) + 7*x(m). Let i