5/60 + 23*j**4/8 - 9*j**3/2 + 43*j**2. Is f(-21) a multiple of 9?
True
Suppose 3*m - 85 = -79. Suppose 2*s = -m*y + 259 + 127, 0 = 2*s + 5*y - 395. Does 19 divide s?
True
Let r = -3503 - -5261. Suppose 0 = 60*u - 58*u + 4*a - 720, -4*a - r = -5*u. Is u a multiple of 19?
False
Does 5 divide ((-2)/5)/((-42)/(-5502000)*-20)?
True
Let g(b) = b**3 + b**2 - 2*b + 121. Let n be g(0). Suppose n + 59 = 5*z. Suppose 4*s = z + 108. Does 7 divide s?
False
Let s(m) = -4 + 2*m**3 + 16*m + 2*m**2 - 3*m**3 - 20*m. Let d be s(0). Let y(a) = -a**3 + 6*a**2 + 2*a + 1. Does 23 divide y(d)?
False
Let k(d) = -d**3 + 32*d**2 - 19*d - 233. Does 71 divide k(22)?
True
Let d(c) = c**3 + 25*c**2 + 26*c + 55. Let n be d(-24). Suppose -588 = -n*w - 0*w. Is w a multiple of 42?
True
Suppose -18260 = 9*u - 23858. Does 18 divide u?
False
Let t(z) = -47*z + 21. Let o(r) = -2*r**2 - r + 2. Let j be o(-2). Let d be t(j). Suppose -167 - d = -8*l. Does 7 divide l?
False
Suppose -18 = 12*m - 78. Suppose -4*w + 2*w = 3*g - 19, -4*w - 2*g = -26. Suppose 0 = m*v + w - 180. Is v a multiple of 35?
True
Let v(n) = n**3 - 8*n**2 - 7*n + 7. Let a = -18 - -16. Let f = a - -12. Is v(f) a multiple of 13?
False
Suppose -2*h + 3 = -m, -5*h = -4*m + 1 - 4. Suppose -2*o = -7*o + a - 123, m*o - 3*a = -81. Is 13 a factor of (o/4)/3 - -101?
False
Let a(u) = -3000*u + 314. Is a(-2) a multiple of 8?
False
Let t be -1*(-366 + 0) + (7 - 8). Let z = t + -183. Is 7 a factor of z?
True
Suppose 21540 = -107*k + 111099. Does 7 divide k?
False
Let j = -29977 + 51344. Is 5 a factor of j?
False
Let x = -143 + 166. Suppose x*o - 41091 = -12709. Does 38 divide o?
False
Let m(h) = 2*h**2 + 17*h + 3. Let k be m(-10). Suppose -5*l = 3*y - 19, -5*l - y + k = -5*y. Suppose -3*z - 16 = -l*z. Is z a multiple of 3?
False
Let k = -25 - -24. Let w be (-2 - (-48)/18)/(k/(-6)). Let z(t) = 11*t - 23. Is z(w) a multiple of 12?
False
Let z = 2250 - 734. Does 4 divide z?
True
Let m(s) = 2*s + 33. Let f be m(-12). Suppose -k = -h - 57, -4*k + f*k - 4*h - 280 = 0. Let y = k + -44. Is y a multiple of 4?
True
Let l = 5647 + -2792. Is 61 a factor of l?
False
Is 113 a factor of (-1 + 1067)*(-28 - -29) - 8?
False
Let z(q) = 3*q**2 + 3*q - 13. Let l be z(-3). Is 651/155*1*l a multiple of 3?
True
Suppose 0 = 3*s - s - 4, 2*s - 16 = -3*z. Let m(w) = -5*w + 35 + 5*w - z*w + 97. Is m(0) a multiple of 22?
True
Let n(o) = o**2 - 3*o - 15. Let j be n(7). Suppose 3*q - j = -1. Suppose 416 = 3*w + q*r, 5*w - 709 + 34 = -3*r. Is w a multiple of 33?
True
Suppose -190 = -23*b + 4*b. Let c(j) be the first derivative of 5*j**2/2 - 11*j - 3. Is c(b) a multiple of 9?
False
Let i(q) = 2*q**3 + 8*q**2 + 5*q + 2. Let x be i(-3). Suppose -4*o = u - 1586, -x*o + o = 2*u - 1588. Is o a multiple of 33?
True
Let m = 8537 + -6507. Is m a multiple of 15?
False
Let y be -2 + 2 - ((-3 - 1) + 4). Suppose 2*z - 8 = y, -35 = m - 5*z - 170. Is 31 a factor of m?
True
Suppose -34 - 2 = -9*d. Suppose d*r - 5 = 7, -r - 489 = -3*a. Is a a multiple of 11?
False
Suppose 9*l = -50*l + 164846. Is l a multiple of 22?
True
Suppose -5*j + 3*j = -8. Suppose 1 = -j*k + 9. Suppose 0 = g - 3*v - 137, -3*v + v = k*g - 282. Does 15 divide g?
False
Let r(m) = 5*m**2 + 53*m - 36. Is 47 a factor of r(9)?
True
Let z = -24961 + 30971. Is 5 a factor of z?
True
Suppose -5*g + 17 = -b, 2*b + 0 = 4*g - 10. Suppose -4*s + 793 = -0*s - b*t, 0 = -4*s - 2*t + 778. Suppose -2*h + s = -104. Does 30 divide h?
True
Let b be 2/5 + 1 + 486/10. Is (-9880)/b*5/(-2) a multiple of 13?
True
Suppose 3*d + 386 = 641. Is d/(-119) + 6557/7 a multiple of 78?
True
Suppose -28*k + 63 = -25*k. Let f(c) = c**2 - 19*c - 5. Is f(k) a multiple of 37?
True
Let a be -7 + 7 - (3 - 147). Is 2 a factor of (95/20)/(6/a)?
True
Let h(d) = -2*d**2 - 20*d + 4. Let r be h(-9). Suppose 31*x = r*x + 216. Is 4 a factor of x?
True
Let h be (-2546)/((-9)/(-6) + (-5)/6). Is h/(-4) + -14*(-5)/280 a multiple of 31?
False
Let p(n) = -n**2 - 20*n - 35. Let d(g) = -1. Let z(o) = -3*d(o) - p(o). Let b be ((-378)/(-28))/((-9)/12). Is z(b) even?
True
Suppose 0 = -i + 400 + 50. Is i a multiple of 45?
True
Let n(l) = 5*l**3 - 38*l**2 + 6*l + 149. Does 43 divide n(17)?
False
Suppose -5*f + 3*f = 2*c - 1878, 0 = -3*f + c + 2813. Suppose -3*l - 251 = -3*s - f, 4*s = l - 223. Is 3 a factor of l?
True
Let i(t) = t**3 + 38*t**2 - 23*t - 24. Let z(l) = -37*l**3 - 2*l + 1. Let p be z(1). Is 25 a factor of i(p)?
True
Let p(a) = -192*a**3 + 11*a**2 + 34*a - 3. Is 99 a factor of p(-4)?
False
Let c = -64 + 210. Let s(j) = -j**3 - 15*j**2 - 18*j + 22. Let y be s(-14). Let n = c - y. Is 17 a factor of n?
True
Let z(d) = -d**3 - 6*d**2 - 26*d - 126. Is 61 a factor of z(-13)?
False
Let v(m) = 1592*m**2 + 29*m - 58. Does 26 divide v(2)?
False
Let o(q) = 367*q**2 - 14*q + 200. Does 16 divide o(6)?
True
Let n = -16 + 28. Let c(w) = 2*w**3 - 3*w**2 - 6*w - 3. Let i be c(-1). Does 32 divide i/(-8) + 1173/n?
False
Let j(q) = -1 + 0*q + 139 - 23 + q. Is 4 a factor of j(-15)?
True
Let g = -6977 - -18881. Is 192 a factor of g?
True
Suppose 59*p + 264 = 63*p. Suppose -3*i - 2*h + 106 = 0, -5*h - 60 = -4*i + p. Does 5 divide i?
False
Suppose 4*b - 127 = 5*n + 179, -4*b + 4*n = -304. Let r = -174 + 179. Suppose -3*t + a = -b, -140 = -t - 4*t + r*a. Does 23 divide t?
True
Let d(g) = 2*g**2 - g + 42. Let k(t) = -t**3 - t**2 - 3*t - 1. Let q be k(-2). Is d(q) a multiple of 39?
True
Suppose -4*l - 3*l + 77338 - 19812 = 0. Does 4 divide l?
False
Let a = 23 + -50. Let n = a + 32. Suppose 0*z - v = 2*z - 149, 0 = z + n*v - 97. Is z a multiple of 18?
True
Suppose -3*h + 26 = -4*x, -24*x - 18 = h - 20*x. Suppose 230 = 4*f + 5*g, 2*f + 236 = 6*f + h*g. Is 4 a factor of f?
True
Let d(b) = 15*b + 27 - 8 - 23*b + 1. Let s(y) = -y - 1. Let g(x) = 2*d(x) + 40*s(x). Is 8 a factor of g(-1)?
True
Let d = -7372 - -7696. Is d a multiple of 6?
True
Is 9 a factor of 14 + 7124 + 21 + -20?
False
Suppose 47*d = 43*d + 180. Suppose 10*m - 5*m = d. Does 3 divide m?
True
Let v be (-2 - 5)/((-1)/(-17)). Let j be (52/6)/(7/(2856/(-16))). Let z = v - j. Does 16 divide z?
False
Let x(g) = 293*g + 5920. Does 4 divide x(-19)?
False
Let n(i) = -103*i**3 - i**2 + 2. Let b(j) = 207*j**3 + 2*j**2 - j - 3. Let d(w) = -4*b(w) - 9*n(w). Is d(1) a multiple of 2?
True
Let d = 5773 - -7797. Is 64 a factor of d?
False
Let h be 0 + (-12)/(-3) + 0. Let x be (-56)/4 + 7 - -61. Suppose h*o - 42 - x = -5*d, -d = 5*o - 36. Is 7 a factor of d?
False
Let g be 9 + -2 + -5 + 13*-1. Let s be (6/5)/(g/(-2585)). Suppose 699 = 4*y + y + 4*x, -x = 2*y - s. Is y a multiple of 31?
False
Suppose -23*j = -21*j + 16. Let h(y) = y**3 + 11*y**2 + 22*y + 1. Let f be h(j). Is 4*f*90/40 a multiple of 17?
True
Suppose -4*z + 20 = 2*y + 2*y, y = 3*z - 11. Suppose -33 = z*f - 13. Let g(b) = b**3 + 5*b**2 - 7*b - 4. Is 25 a factor of g(f)?
False
Let v(d) = 2*d + 33. Suppose g - 2*g = 14. Let m be v(g). Suppose 86 = -m*h + 276. Does 6 divide h?
False
Let k(t) = -t + 16. Let p be k(10). Suppose -p*u + 1050 = -1446. Suppose f - 3*f + 163 = 5*d, -4*d + u = 5*f. Does 28 divide f?
True
Suppose -2 = x + 2. Let u be (1 - 1)*((-7)/2 - x). Suppose 11*a - a - 160 = u. Does 8 divide a?
True
Suppose -3*b - b - 4*i = -80, 4*b + i = 65. Does 3 divide (18/b)/(9/90)?
True
Let n = -182 - -198. Suppose 15*q - n*q + 84 = 0. Does 12 divide q?
True
Let d(x) = 3*x**3 + 4*x**2 + 5*x - 12. Let h be d(5). Let u = h + -320. Does 8 divide u?
True
Let n = -124 - -75. Suppose -351 = 6*c - 0*w - 3*w, 0 = -5*c + 2*w - 290. Let b = n - c. Does 7 divide b?
True
Suppose 5*a - 7 = -b, -b + 1 + 10 = a. Let t = -1546 + 2338. Suppose 4*w = b*w - t. Is w a multiple of 11?
True
Suppose 0 = 6*f - 12*f + 60. Is (-233 + f + -4)/(-1) a multiple of 36?
False
Let f(t) = -6*t - 5. Let w be f(-2). Let g(n) = -n**2 + 3*n + 28. Let m be g(w). Suppose m = 4*j - 3*j - 13. Is 2 a factor of j?
False
Let i(p) = 100*p + 688. Does 8 divide i(19)?
False
Let i = 8 - 14. Let a(s) be the second derivative of -s**4/12 - 2*s**3/3 + 11*s**2 + 204*s. Does 10 divide a(i)?
True
Suppose -946041 = -11*r - f, 2*r - 29327 - 142639 = 5*f. Is r a multiple of 35?
False
Let t(y) = -105*y**2 + 102*y**2 - 4 + 6*y + 2*y - y**3. Let l be t(-5). Suppose l*m - 288 = 240. Is 11 a factor of m?
True
Let j be (-8*(-2)/4)/((-2)/