 z - -150. Suppose 8*s = k + 2. Is s a multiple of 17?
True
Let x = 2615 - 1342. Is 2 a factor of x?
False
Let n(b) = 7*b**3 + 2*b**2 + 12*b - 9. Let i(g) = 9*g**3 + 3*g**2 + 13*g - 8. Let u(l) = -4*i(l) + 5*n(l). Is u(-7) a multiple of 44?
True
Let u(q) = -q**3 + q**2 - q + 2. Let w be u(2). Is ((-223)/w - 1) + (-22)/(-88) a multiple of 9?
False
Let b = 138 + -133. Suppose p - 18*g = -23*g + 195, -b*g = -4*p + 805. Is p a multiple of 25?
True
Let u = 56 + -54. Suppose 2*a - u*w = -6 - 2, -3*a - 10 = -5*w. Is (114/a)/((-7)/(105/6)) a multiple of 19?
True
Let q(p) = 8*p**2 - 18*p + 148. Does 24 divide q(14)?
True
Let o(j) = 2*j**2 - 6*j + 2. Let m(w) = -w**3 - 8*w**2 - 7*w - 4. Let h be m(-7). Let b be (-1)/(h/40*2). Is 20 a factor of o(b)?
False
Let t = 13451 - 6207. Is 12 a factor of t?
False
Let z = -185 - -320. Suppose 648 = 137*j - z*j. Is 36 a factor of j?
True
Suppose 0 = 4*j + 2*j - 6. Let l = j - -1. Suppose -160 = -5*s - 5*h, s - 6*h = -l*h + 47. Does 29 divide s?
False
Let u = 20685 + -15042. Does 33 divide u?
True
Suppose 2*z - 2 = 0, 3*z - 242 - 2329 = -w. Is 16 a factor of w?
False
Suppose -2*l + 2*k + 192 = 60, 4*l - 5*k = 261. Let a = -58 + l. Suppose 2*b - 5*w - a = 0, 2*b - 105 = -3*b - 3*w. Is 3 a factor of b?
True
Suppose -26*l + 39 = -39. Suppose -5*v - 1260 = -2*s, 2*s - 3*v - 625 = 627. Suppose 13*b - l*b = s. Does 31 divide b?
True
Suppose -7*c = 5*u - 3*c - 14, 5*u - 6 = 4*c. Suppose 0 = -3*k + u*k + 3*i - 11, -4*k - 4 = -4*i. Is ((-5)/k - 1)/(3/(-144)) a multiple of 12?
True
Let z(r) = 37*r - 6. Let a = 27 - 25. Does 34 divide z(a)?
True
Suppose b - 3*b = 3*z - 28430, -3*z = 3*b - 42651. Is 13 a factor of b?
False
Suppose 4*p - 8*p = -8. Suppose -2*r + 1282 = -0*u + p*u, 0 = 4*r + 5*u - 2567. Is 59 a factor of r?
False
Suppose -20*o - 384 = -28*o. Suppose -3*g = -3*u - 0*g + 27, o = 2*u + 4*g. Is 3 a factor of 7/u*(1 - -35)?
True
Let z = 150 + -71. Let b = z - 79. Suppose b = -4*n + 32 + 72. Does 3 divide n?
False
Suppose 4*u - 5*t + 261 = 0, 2*u + 128 = t + 5. Suppose -5*a - 2*l = -403, a + 9*l = 4*l + 99. Let j = u + a. Does 5 divide j?
True
Let p = -2139 + 2873. Does 17 divide p?
False
Let h(m) = -m**2 + 18*m - 20. Let d = -25 - -29. Let p be 0/1 + d - -4. Is 30 a factor of h(p)?
True
Suppose 0*q + 84 = 7*q. Suppose 0 = 8*n - 4*n - q. Suppose -n*r + 88 = 2*s, 3*r + 5*s = 9 + 67. Is 8 a factor of r?
True
Suppose -44962 = -11*f - 6128 + 17519. Is f a multiple of 47?
True
Let y(d) = 84 - 30*d - 96 + 0*d - 79 - 53. Is y(-18) a multiple of 11?
True
Suppose -5*s + 11*s = 30. Suppose 36 - 11 = -s*c, 4*i = -4*c + 5380. Is 25 a factor of i?
True
Let h = -5067 + 7197. Is 36 a factor of 9/(32 + -5)*h?
False
Let l(w) = -w**3 - 16*w**2 - 18*w - 12. Let o(z) = z**3 + 7*z**2 + 12*z + 21. Let m be o(-6). Let p be l(m). Let j = p - 16. Is j a multiple of 16?
False
Suppose -4*u - 245 = 3*u. Let j = u - -57. Suppose -2*o + 94 = j. Is 6 a factor of o?
True
Let r = 34 - 54. Let v(k) = -36*k**2 - k. Let i be v(1). Let z = r - i. Does 8 divide z?
False
Suppose -2*b = 4*t + 3*b - 37, -b + 36 = 3*t. Let r(o) = 2*o**3 - 3*o**3 + 7*o**2 + 14*o - 25*o**2 - t - 18. Does 16 divide r(-19)?
True
Let s(c) = c**2 - 52*c + 5626. Does 20 divide s(0)?
False
Suppose 2829 = -4*b - 831. Let v = -504 - b. Does 9 divide v?
False
Let p be (-1)/6*-2 + 380/(-6). Let k = -63 - p. Suppose k = -4*d + 27 + 285. Does 13 divide d?
True
Let j = 478 + -474. Suppose 0 = -4*k - j*k + 680. Does 6 divide k?
False
Let b(y) = y**2 + 10*y - 2. Let a be b(-9). Let u be (2/7)/(a/(-77)). Suppose 5*i - 476 = -u*k + 93, -2*k + 456 = 4*i. Is i a multiple of 17?
False
Suppose 2*y = -5 + 9. Suppose 0 = -3*z + y*q + 1390, -4*q + 148 = z - 292. Does 46 divide z?
True
Suppose -31040 - 57671 = -19*u. Does 14 divide u?
False
Suppose -5*i = -2*f - 187, 8*i - 10*i + 93 = -f. Let c = 256 + f. Does 2 divide c?
False
Let v(j) = -j**3 + 115*j**2 - 1207*j - 442. Is 94 a factor of v(100)?
True
Suppose -35 = s + 2*y, -3*s - 3*y - 31 = 68. Let r = s - -203. Is 17 a factor of r?
False
Suppose 180*b - 235*b = -471295. Does 145 divide b?
False
Let c(p) be the third derivative of 2*p**4/3 - 19*p**3/6 - 23*p**2. Suppose 5*h = 13 + 12, 12 = y + h. Is 31 a factor of c(y)?
True
Let x(t) = -103*t + 3531. Does 47 divide x(32)?
True
Suppose 306*q - 4 = 307*q. Let a(u) = -5*u**3 + 2*u**2 + 10*u + 4. Does 3 divide a(q)?
False
Suppose 33*g - 252603 = -6*g. Is g a multiple of 22?
False
Let l = -38 + 41. Suppose 7*q - 32 = l*q + 4*r, -q + 4*r = -8. Suppose -2*j + 4*o + 32 = 0, -2*j - q*o = -5*o - 32. Is j a multiple of 3?
False
Suppose 0 = z - 34 + 15. Does 9 divide ((-820)/(-6))/(7 - z/3)?
False
Let t(u) = -4*u**2 + 3*u + 2. Let i(r) = -r**2 + r + 1. Let n(d) = -3*i(d) + t(d). Let z(a) = a**3 + 4*a**2 - 7*a + 12. Let c(b) = 5*n(b) + z(b). Is c(0) even?
False
Let o(i) = 3*i + 78. Let u be o(-34). Does 37 divide 453 - (-6)/u*36?
True
Let o = 839 - 1589. Is 7 a factor of (5 - (6 - o/18))*-6?
False
Suppose -4*h - 114 = -3*k, -4*k + 6*h = -8*h - 100. Does 20 divide k?
False
Is (-895014)/(-96) - 1/16 a multiple of 205?
False
Suppose 0 = -16*u + 19*u - 444. Suppose -3*n + 14 = -u. Suppose -n = -t - t. Does 9 divide t?
True
Let n(b) = 18*b**2 + 53*b + 2. Let s be n(-3). Suppose -10*o = 2*y - 5*o - 662, 0 = s*y - 2*o - 1655. Is 30 a factor of y?
False
Suppose 0 = -6*r + 3852 + 1920. Does 37 divide r?
True
Let p = -881 + 886. Suppose -2*q = -p*s - 374 + 2080, -3*s + 1024 = -q. Does 9 divide s?
True
Suppose 128*m - 112*m - 48352 = 0. Is 96 a factor of m?
False
Let v = -2202 + 2319. Is v a multiple of 19?
False
Suppose -11*p + 21 + 23 = 0. Suppose f + 7*m - 9*m - 344 = 0, 0 = p*f + 3*m - 1365. Is f a multiple of 13?
False
Let z(l) = 3*l**2 - 6*l - 39. Let c be z(-9). Let v = c + -207. Is v a multiple of 5?
False
Suppose -19 = -6*u - 19. Suppose 45*y - 49*y + 16 = u. Suppose -y*o + z + 1333 - 436 = 0, -z = o - 218. Is o a multiple of 20?
False
Suppose 84840 = 332*o - 312*o. Is 42 a factor of o?
True
Let r(k) be the first derivative of 31*k**2/2 - 2*k - 22. Let l(x) = x - 12. Let t be l(14). Does 20 divide r(t)?
True
Let h(l) = -129*l + 5. Let x be h(-3). Let v = -236 + x. Suppose -5*c = -2*u - v, 0*u = -4*c - 2*u + 114. Is c a multiple of 10?
True
Suppose 4*s = 12, -10*a + 6*s - 29422 = -11*a. Is a a multiple of 60?
False
Suppose -2*a - 2*p = -2264, 0 = -28*a + 20*a - 4*p + 9080. Is a a multiple of 21?
False
Let r(p) = p**3 + 11*p**2 + 19*p + 6. Let d(c) = -c**2 - 9*c - 20. Let l be d(-5). Suppose 2*n = -s, l = s + 3*n + 2 - 6. Is 9 a factor of r(s)?
False
Suppose 0*y = 2*y - 826. Let a be -9 - -11 - (0 - y). Suppose 125 + a = 10*n. Does 28 divide n?
False
Let l be (12/(-6))/(-2) + (2 - 4). Let p(t) = -76*t**3 + t**2 - 1. Is 4 a factor of p(l)?
True
Let g(w) = -w**2 + 8*w. Let b be g(8). Suppose b = 13*z - 72 - 32. Is 4 a factor of z?
True
Let k(i) = -i**2 - 4*i. Let n be k(-2). Let a(r) = 2*r**2 - 6*r + 9. Let p be a(n). Suppose -p*x + 25*x = 32. Is x a multiple of 3?
False
Suppose 5 = -d + 4*h, 0 = 5*d + 6*h - 5*h - 80. Suppose -17*f + 1450 = -d*f. Is 25 a factor of f?
True
Suppose 5*c - 103607 = -2*s, 4*s = -5*c + 6*c - 20717. Does 216 divide c?
False
Let s = -356 + 358. Is (144 - 45)/(s/(-6)*-1) a multiple of 24?
False
Let a(f) = -4*f**2 - 65*f - 47. Let n be a(-30). Let i = n + 2445. Does 17 divide i?
True
Suppose 57*k - 62*k - 60 = 0. Is 11 a factor of k/(-336)*21 + (-745)/(-4)?
True
Suppose 4*y = 4*t + 7 - 15, 0 = 4*t + 4. Is (y - (-1714)/14) + (-12)/(-21) a multiple of 12?
True
Let s = -215 - -209. Let w(r) = 7*r**2 + 3*r + 5. Is 12 a factor of w(s)?
False
Is (22149 - (17 - 14))/3 a multiple of 25?
False
Let k(n) = -31*n - 357. Let a be k(-12). Does 10 divide a/25 + (-1047)/(-5)?
True
Suppose w = -5*h + 5 + 22, 5*h + 2*w = 29. Let d be (3/6)/(h/50). Suppose -2*x = 0, -4*o - d*x = -0*x - 1396. Does 43 divide o?
False
Let h(o) = 10*o + 24. Let a be h(-2). Suppose -n = -2*f - 82, -74 = a*n - 5*n - 2*f. Is 6 a factor of n?
True
Suppose -2*k = 5*a - 24, 4*k = -4*a - 0 + 24. Suppose -3*m = k*z - 6*m - 1106, -5*m = 2*z - 1090. Is z/8 + 1/4 a multiple of 6?
False
Suppose -4*u - u + 20 = 3*v, -u + 4 = -2*v. Let a(m) = m**3 + 9*m**2 - 20*m + 24. Let o be a(-11). Is 9 a factor of (-6 + o - -27) + u?
True
Is 44 a factor of 