et b(j) = j. Let w(x) = 3*x - 41. Let d be w(12). Let p(s) = 4*s + 16. Let t(h) = d*b(h) + p(h). Is 24 a factor of t(-14)?
False
Suppose -w - 850 = -855. Does 44 divide 2/3*-15*(-230)/w?
False
Suppose -w + 949 = 5*u - 4*w, -5*w = 4*u - 774. Suppose u*v + 582 = 197*v. Does 8 divide v?
False
Suppose -6*h + 4*h = -14. Suppose -4*f + 12*r = h*r - 586, 3*r = 3*f - 438. Is f a multiple of 18?
True
Let x(y) = -y - 1. Let o(s) = -s**2 - 2*s + 26. Let r(m) = o(m) + 5*x(m). Let v be r(0). Suppose -2*z + v = 5*z. Is 3 a factor of z?
True
Let n = -134 + 660. Let v = 686 - n. Is 22 a factor of v?
False
Let f be 3052/16 - (-9)/36. Suppose 5*r - u - 630 = 0, 0 = 5*r - 2*u - 434 - f. Does 13 divide r?
False
Suppose 10*l + 9 = 39. Let t = l + 237. Is t a multiple of 20?
True
Suppose 7 = 3*m - 2*i, 4*m - 3*i - 14 = -5. Suppose -5*q = -9*d + 4*d + 5715, -2*d + 3434 = -3*q. Is 12 a factor of q/(-8) - m/6?
False
Let w = -17661 - -29361. Is 78 a factor of w?
True
Let q = 47 + -50. Let g(j) = 8*j**2 + j - 4. Let r be g(q). Does 18 divide ((-4)/10 + (-754)/r)*-3?
True
Let v(t) be the second derivative of -53*t**3/3 + t**2/2 + 19*t. Let r be v(1). Let j = -63 - r. Is j a multiple of 3?
True
Let l(c) = 90*c**2 - 3*c - 95. Is 19 a factor of l(-12)?
True
Let i = 78 - 72. Suppose -16 = i*r - 136. Suppose -21*s + r*s + 120 = 0. Is s a multiple of 10?
True
Let y(a) = 2*a**3 - 33*a**2 - 23*a + 42. Is 15 a factor of y(19)?
True
Is 100/(2/6 - 24/216) a multiple of 18?
True
Let s(m) = m**3 - 98*m**2 - 288*m - 125. Is 3 a factor of s(101)?
False
Suppose s - 15673 = 3*m, 4*s + m + 29892 = 92545. Does 88 divide s?
True
Suppose 0 = 5*t - 2*p - 2658, -2*t - p - 277 = -1333. Suppose 3*l - 560 = -4*n, 3*n = -3*l + 5*n + t. Is l a multiple of 18?
True
Let l = 71 - 70. Suppose -f + 2*t = l, -27 = -2*f - 4*t + 3. Does 16 divide (492/(-14))/(2/(f + -21))?
False
Let v = -9612 - -16264. Is v a multiple of 84?
False
Let f = 7338 - -7733. Is f a multiple of 12?
False
Suppose 38*f = 41*f - 510. Let d be 2/(-4)*(-3 + 7 + f). Is d/(-18) + 1/6 even?
False
Let c(y) = -y**2 + 244*y - 2059. Is 84 a factor of c(137)?
True
Suppose 2*w = 5*j - 14, 2*w - 5*j + 26 = 4*w. Suppose -42 = -w*i + 30. Is 33 a factor of 135/3*i/9?
False
Let j be ((-66)/24 - -3)*-428. Let s be 8855/45 - (-2)/9. Let c = s + j. Is c a multiple of 9?
True
Let d(p) = 7*p**2 + p + 7. Let i be d(-4). Let g = 170 + i. Is 13 a factor of g?
False
Let w = -41 + 44. Let i(z) = 3*z**2 + 10*z - 29. Is i(w) a multiple of 2?
True
Is (-6888)/(-735)*290 + 4/14 a multiple of 22?
False
Let m be 363 - (-2 - (-10 + 4)). Suppose -q - 3*g + 1059 = 2*q, 5*g = q - m. Is 29 a factor of q?
False
Let h(v) = 8*v**3 - 10*v**2 + 50*v - 66. Let l(x) = 11*x**3 - 9*x**2 + 51*x - 67. Let i(w) = 4*h(w) - 3*l(w). Is 14 a factor of i(-17)?
True
Let y(d) = 10*d**2 + 49*d - 144. Is 8 a factor of y(41)?
False
Let s = 9849 - 3177. Is 16 a factor of s?
True
Let f(i) = 2*i - 50. Let b be f(29). Suppose -159 = -b*d + 369. Is 6 a factor of d?
True
Let o be (-3)/(-3)*1499 + 5. Let u = o + -998. Is 46 a factor of u?
True
Let i be (9 + -10)*-4*1. Suppose -i*k + 16 + 0 = 0. Suppose 247 = k*w - 5*x + 27, -55 = -w - 3*x. Is 8 a factor of w?
False
Let v(l) = 572*l - 2442. Does 111 divide v(18)?
False
Let i be (102/(-4) + -3)*-2. Let k = -60 + i. Is 16 a factor of -5 + 85 - ((-6)/k + 0)?
False
Does 5 divide (-2 + -13)*(-577080)/756?
True
Let d = 20 + 20. Let g = d - 38. Suppose -10 = g*u, u + 4*u + 41 = y. Is 8 a factor of y?
True
Let g(l) = -7*l - 30. Let h(s) = -8*s - 31. Let f(n) = -4*g(n) + 3*h(n). Let z be f(11). Let r = -41 + z. Does 10 divide r?
True
Let k(j) = 7*j - 2*j + 59*j**2 - 67*j**2 - j**3 - 18. Is k(-9) a multiple of 3?
True
Suppose 2*a - 5*m = 3300, -2*a + 3*m - 214 = -3522. Does 24 divide a?
False
Let s = -102 + 106. Suppose 4*q = 3*p + 2309, -3*q = q + s*p - 2316. Is q a multiple of 60?
False
Suppose -91 = -3*w - 82. Suppose -5*x - 204 = -4*u + 68, 0 = w*x. Is u a multiple of 9?
False
Suppose 3*x - 568 = -5*o, -9*x + 7*x + 2 = 0. Let w be (-6)/21 - 1074/14. Let b = w + o. Does 6 divide b?
True
Let g = -744 + 1608. Is 16 a factor of g?
True
Let x(p) = -2*p**3 + 77*p**2 + 19*p - 652. Is 11 a factor of x(37)?
True
Let a(i) be the second derivative of i**5/20 - 11*i**4/24 + 8*i**3/3 + 8*i. Let v(j) be the second derivative of a(j). Is 4 a factor of v(4)?
False
Suppose 0 = -60*n + 58*n + 4656. Is n a multiple of 24?
True
Suppose -13477*w = -13481*w + 18768. Does 69 divide w?
True
Suppose 4*y + 5*k - 1887 = -572, -992 = -3*y + 2*k. Is y a multiple of 55?
True
Let k(i) = 3*i**2 - 7*i - 6. Let v be k(6). Let l = -335 + 339. Suppose -4*c - 3*p = -4*p - v, l*p - 16 = 0. Is c a multiple of 3?
False
Suppose -2*l - 3*u = -u - 37768, -5*l = -2*u - 94364. Is l a multiple of 6?
True
Let y = -2849 - -4557. Is 63 a factor of y?
False
Let k = -47 + 50. Suppose k*l = -5*u - 4, 2 = -4*u - 6. Suppose 86 = 2*r + l*f - 170, -r + 2*f = -122. Does 22 divide r?
False
Let v(g) = -g**2 + 16*g + 141. Let w = -770 + 770. Is v(w) even?
False
Suppose 5*z = 3*q - 47565, 9*q - 5*q - 63388 = -4*z. Is q a multiple of 150?
False
Let h = 1041 + -652. Let m = 815 - h. Is 22 a factor of m?
False
Let k = 2116 - 3294. Let u = 1954 + k. Is u a multiple of 91?
False
Suppose -4504 + 17612 + 8578 = 14*y. Is 23 a factor of y?
False
Suppose 11*q + 2*q = -38*q + 626841. Is q a multiple of 25?
False
Suppose 2*q + 4*q - 25695 - 23529 = 0. Is 4 a factor of q?
True
Suppose -17108 + 32961 = 32*k - 31475. Is k a multiple of 118?
False
Let a = 148 - 302. Let m = 656 - a. Suppose 15*q - m = 12*q. Is q a multiple of 10?
True
Suppose f = 5*m - 11998, 9*m - 14*m + 2*f = -12001. Is m a multiple of 31?
False
Is -4*19/(228/(-31455)) a multiple of 26?
False
Suppose -3*t - 195*c = -193*c - 6130, 3*t = 2*c + 6110. Does 19 divide t?
False
Suppose -4*m + 2*m + 26 = 4*j, -30 = -3*j + 2*m. Suppose 0 = q - 5*q + j. Is ((-1)/q)/((-3)/36) a multiple of 3?
True
Suppose 1764568 = -92710*b + 92729*b. Does 52 divide b?
True
Let w(r) = -44*r - 15. Let y(m) = -2*m - 29. Let a be y(-12). Is 16 a factor of w(a)?
False
Suppose -7*w + 2*w - 100 = -i, 3*i = -2*w + 283. Let m(l) = l**3 - l**2 + 2*l - 29. Let g be m(0). Let q = i + g. Is q a multiple of 7?
False
Let c be 1 - 28/(0 - 1). Let r = -2790 + 2789. Let v = c + r. Does 27 divide v?
False
Suppose -3*n - 4702 = -1288. Let l = -776 - n. Is 17 a factor of l?
False
Suppose 4*q + 2871 = 6*q - 3*k, -5*q - 2*k = -7149. Suppose 14*s = 23*s - q. Suppose s = j + t, 7*j + t + 477 = 10*j. Does 10 divide j?
False
Suppose 15*g = -1601 + 11381. Let b = g - 300. Is 32 a factor of b?
True
Suppose -18 = 6*k + 24. Let l(d) = -2*d**3 - 13*d**2 + 8*d + 4. Let y be l(k). Let n(j) = -17*j + 22. Does 6 divide n(y)?
False
Let y be (-2 - -2)/(14/(-7))*-1. Suppose -2*h + 3 + 3 = y. Is 2 a factor of h?
False
Let r(k) = -k**3 + 16*k**2 - 14*k - 17. Let p be r(15). Let q = -8 + 35. Let x = p + q. Is x a multiple of 6?
False
Let p(j) = -j - 8. Let c(z) = -43*z + 4. Let t(d) = -c(d) - 2*p(d). Let b be (8/6)/((-2)/(-6)). Is t(b) a multiple of 16?
True
Let y(d) = -3*d**2 - 18*d. Let t be y(-17). Let a = t - -923. Does 16 divide a?
False
Let v be 1 - 43457/(-13) - 42/(-273). Suppose v = -6*x + 17*x. Is 43 a factor of x?
False
Let m(y) = 12*y**2 + 3*y**2 - 7*y**2 - 44*y - 28. Is m(19) a multiple of 22?
True
Let x = 6361 - 3295. Is 60 a factor of x?
False
Let f be 1*(-1)/2*0. Suppose f = 5*h - 7*k + 2*k - 605, 5*k = -2*h + 263. Suppose -j = -3*t - h, -j = 4*t - 8 - 95. Does 23 divide j?
True
Let c = -54 + -27. Let l = -55 - c. Is l a multiple of 13?
True
Is (-21 + (-36)/6)/((-12)/3360) a multiple of 70?
True
Let w be (-7)/((-42)/(-4))*102. Let d = w + 57. Let n = 78 - d. Does 17 divide n?
False
Let h = 59 + 33. Suppose -h = -19*k + 15*k. Suppose k*r = 16*r + 980. Does 10 divide r?
True
Suppose 0 = -z - 4*m + 18, 3*z + m + 1 + 0 = 0. Let t(y) = 54*y**2 + 7*y + 15. Is t(z) a multiple of 31?
True
Let s(l) = -l**2 + 17*l + 174. Let d be s(24). Is (-1 - (-2)/d) + 18395/39 a multiple of 33?
False
Let f = 340 - 337. Suppose -17*b + f*b + 1232 = 0. Does 22 divide b?
True
Is 73 a factor of 3558 - -95 - (-2 - -5)?
True
Let b(s) = -3*s**3 - 3*s**2 - 30*s + 1. Let n be b(-6). Is (n/(-21))/(2/(-6)) a multiple of 2?
False
Let t(h) = 2*