*o**3 - 3*o - 4. Is f(5) a multiple of 14?
False
Let f be (7 + 2 + -8)*(-454 + 0). Let p = 974 + f. Does 20 divide p?
True
Let f(l) = 1166*l - 623. Is 25 a factor of f(3)?
True
Is (-1)/(-8)*8*255 a multiple of 19?
False
Suppose 0 = 4*h + h - 25. Let d be (0*(2 - 0)/(-2))/(-2). Suppose d = -b - 5*j + 190, 81 = -3*b - h*j + 601. Is 39 a factor of b?
False
Let d(x) = -x**3 - 5*x**2 + 108*x - 18. Does 26 divide d(-27)?
True
Let q be 2*(-4)/(-1 - 0). Suppose -q = -i - 23. Let w(p) = p**2 + 11*p + 8. Is 23 a factor of w(i)?
False
Let h = -864 - 204. Let b = 96 - h. Does 12 divide b?
True
Suppose 4*z - 6*h + h + 5 = 0, -5*z + 5 = -4*h. Suppose 2*m - z*o = 415, -o = -4*m - 0*o + 839. Is m a multiple of 30?
True
Let b = 8364 + -3139. Does 11 divide b?
True
Let s(z) = z**3 - 4*z**2 - 5*z + 2. Let p be s(0). Suppose 4*u + 85 = 485. Suppose -2*c = p*f - u, c = 2*c + 2*f - 48. Does 11 divide c?
False
Let f = 468 + 3802. Is 70 a factor of f?
True
Let h = -71 - -69. Let c be ((2 - 1)*-51)/((-1)/h). Let x = -54 - c. Does 24 divide x?
True
Let y(u) = -172*u - 22 + 4 + 8. Let f be y(-3). Suppose -6*x = -f - 124. Is 35 a factor of x?
True
Suppose -18*r + 1356 = -12*r. Let b = -29 + r. Does 15 divide b?
False
Let p(m) = 3*m - 15. Let v be p(7). Suppose 4*q - v*q = 4*j - 536, 5*j - 537 = -2*q. Is q a multiple of 9?
False
Let p(v) = 3*v + 102. Let s be p(-34). Suppose s = 23*k + 4*k - 9234. Is k a multiple of 57?
True
Let s(f) = -f**2 - 40*f + 125. Let i be s(-38). Suppose 9 = -8*u + i. Does 13 divide u?
False
Suppose -2 = -7*g + 33. Let s(f) = 1. Let o(i) = -4*i - 3. Let z(w) = g*s(w) + o(w). Is 6 a factor of z(-19)?
True
Let o(u) = -73*u**3 - 6*u**2 + 49*u + 230. Is 26 a factor of o(-4)?
False
Let t(y) = 15*y - 200. Let k be t(14). Let a(b) = 166*b - 176. Is 40 a factor of a(k)?
False
Suppose -680*m - 358598 = -786*m. Is 16 a factor of m?
False
Let r(l) = -18*l + 50. Let t(q) = 61*q - 149. Let x(b) = -14*r(b) - 4*t(b). Does 4 divide x(27)?
True
Suppose 28*l + r - 910230 = 0, -33*l = -36*l + 4*r + 97500. Is l a multiple of 126?
True
Does 167 divide (-89)/267 + (7016/6)/1?
True
Suppose 33*i = 88929 - 17649. Does 60 divide i?
True
Let r(n) = 9*n - 20. Let j(v) = -v**2 + 12*v - 21. Suppose -4*q - 3*o + 8*o = -26, -o - 34 = -4*q. Let f be j(q). Is 6 a factor of r(f)?
False
Let d(c) = 2*c**2 + 19*c - 112. Let t(n) = -n**2 - 19*n + 114. Let b(m) = 2*d(m) + 3*t(m). Does 2 divide b(20)?
True
Let t(g) = -g**3 - 7*g**2 - 17*g - 21. Let m(s) = -5*s - 10. Let f(q) = q + 2. Let i(z) = 33*f(z) + 6*m(z). Let w be i(-4). Is 17 a factor of t(w)?
False
Suppose 5664*h = 5677*h - 21216. Is 8 a factor of h?
True
Suppose 124912 = 2*g - 2*k, -10*g + 224606 = k - 400053. Is 19 a factor of g?
False
Let g(w) = w**3 - 17*w**2 + 27*w - 86. Let t = 176 + -160. Does 7 divide g(t)?
False
Let y(b) = -3*b - 37. Let n be y(-13). Suppose -f = -g + 299, n*f + 4*g = -0*f - 580. Let t = 457 + f. Does 27 divide t?
False
Let l be 2 + (3 - 1) + 2. Suppose w = -3*p + 118, -p = -3*p - l. Is 2 a factor of w?
False
Let n(x) = -506*x - 2786. Does 32 divide n(-21)?
True
Let d(c) = -2*c**3 + 26*c**2 + 51*c - 22. Let i be d(16). Let m = 28 - i. Is m a multiple of 22?
True
Let b(o) = o**3 - 7*o**2 - 6*o - 8. Let x be b(8). Let l(m) = -3 - 27*m - x*m**2 - m**3 - 3 - 2*m**2. Does 5 divide l(-8)?
False
Let u = 15 + -26. Let j be 2 - -1 - 2 - u. Suppose 9*y + 219 = j*y. Does 12 divide y?
False
Is (19584/(-85))/(-32)*3/((-18)/(-465)) a multiple of 7?
False
Let n = 7061 + 9688. Is 8 a factor of n?
False
Is 18/(2/14*-2*(-294)/2058) a multiple of 5?
False
Suppose -18*i + 15232 + 49874 = 0. Does 7 divide i?
False
Let f = 45 - 41. Suppose f*t - 13*t = 450. Let h = t - -78. Does 7 divide h?
True
Suppose 24*h = 162 + 54. Suppose 0 = 2*g - h*g + 2681. Does 36 divide g?
False
Let t be 6/9 + -1 - (-6474)/(-18). Let a = 25 - t. Is 23 a factor of a?
False
Is 17 a factor of 3*((-255)/15 - -130)?
False
Let s(f) = 17*f**2 + 32*f - 181. Is s(5) a multiple of 13?
False
Is 8 a factor of (-1501)/(-38)*((-22)/(-33))/((-1)/(-348))?
False
Suppose 4*c + 5*f = -1712, 4*c = -0*f - f - 1728. Let n = c + 691. Does 43 divide n?
True
Let l(z) = -12*z**3 + 3*z. Is 6 a factor of l(-2)?
True
Does 72 divide 224/(-49) - -4 - (-25208)/14?
True
Let w be 1995/3 + 0 + -1 + 2. Suppose 666 = 2*h - m + 3*m, -2*h + w = 3*m. Does 20 divide h?
False
Let b(l) = 165*l - 1228. Is 8 a factor of b(28)?
True
Suppose -w - 3*p = -395, 2*p = -3*w - w + 1570. Is w a multiple of 58?
False
Suppose -54 = 3*m - 24. Let s = 10 + m. Suppose -137*q + 141*q - 352 = s. Is 11 a factor of q?
True
Let q(f) = 53*f**2 + f + 9. Let n be q(3). Let a be 2/(1608/807 - 2). Let d = n + a. Is d a multiple of 20?
True
Let p(o) = o + 14. Let x be p(-9). Suppose -2*l + 34 = -4*h, 3*l - x*h = -8 + 55. Is (-2)/l + (4 - (-4292)/36) a multiple of 20?
False
Does 76 divide (-62900)/(-25) - (-4 + 12)?
True
Suppose 0 = -2*c + 2, -5*b + 3*c - c = -13. Suppose -b*q + 380 = 77. Suppose q*f = 102*f - 57. Is f a multiple of 4?
False
Let s be (-10545)/60 - (-2)/(-8). Is 9 a factor of (27/12)/((-4)/s)?
True
Let d = 389 + -344. Suppose 46*g = d*g + 34. Is 4 a factor of g?
False
Let j = -31 + 21. Let s = -1171 + 1176. Is 25 a factor of -6*s/j + 47?
True
Let s(v) = 2*v**3 + 9*v**2 - 13*v - 54. Let p be s(-4). Suppose -5*o - 5*f + 2425 = 0, 11*o - 5*f = p*o - 1453. Is o a multiple of 9?
True
Let d(l) = 36*l**2 + 120*l - 616. Is d(5) a multiple of 68?
True
Let o = -8682 + 15851. Is o a multiple of 107?
True
Let a(f) = 3*f**3 + 3*f**2 - 12. Suppose -l - 5*o = 17, -6*l + 3*l + 2*o = -17. Is 6 a factor of a(l)?
True
Suppose 3*b + 5*u - 31539 = 35396, -2*b - 5*u + 44615 = 0. Is b a multiple of 20?
True
Let z = 61746 - 8605. Is 34 a factor of z?
False
Let x = -126 - -71. Let w be (-13)/26 + x/(-2). Suppose 0 = 2*m - 3*l - 18 - 39, -w = -2*m - 3*l. Does 7 divide m?
True
Does 112 divide 11*6/(-9)*-336?
True
Let n(i) = -15188*i**3 + i**2 - 170*i - 172. Is 109 a factor of n(-1)?
False
Let x(k) be the first derivative of 20*k**3/3 + 23*k**2/2 - 3*k - 86. Does 12 divide x(-7)?
True
Let a(f) be the second derivative of f**4 - f**3/3 + 4*f**2 + 19*f + 2. Is a(3) a multiple of 10?
True
Suppose 4*t + 636 = 5*b, 7*t - 10*t + 5*b = 472. Is (t/246)/((-2)/3123) a multiple of 50?
False
Let w be (-6)/5 - (-2)/10. Let c be ((-4)/(-3))/((-5)/(-15)). Is 2 a factor of w/(33/308 + (-1)/c)?
False
Suppose 0 = -4*r - 8, -6*q + 19 = -3*q - 5*r. Suppose -q*x + 2*a = -208, 2*x + 5*a = 62 + 64. Is x a multiple of 55?
False
Let u = 9140 + -4270. Is 39 a factor of u?
False
Let l(h) = -h**2 - 68*h + 482. Is l(-44) a multiple of 2?
True
Let m = 662 + -256. Let b = m - 136. Does 11 divide b?
False
Suppose 1 = 2*l + 4*y - 85, 0 = 4*l + 4*y - 176. Suppose -w = 17 - l. Is 25 a factor of w?
False
Let t(o) = 7*o - 79. Suppose -z = 2*i + z - 42, 28 = 3*i - 4*z. Does 4 divide t(i)?
False
Let b(f) = -f**3 - 25*f**2 + 28*f + 59. Let o(l) = -2*l**2 + 26*l + 34. Let c be o(15). Let r be b(c). Is ((-16)/(-10))/(r/((-3675)/(-10))) a multiple of 6?
True
Let y(l) be the first derivative of -19*l**2/2 - 20*l + 1. Suppose -14*r + 328 = 440. Is 33 a factor of y(r)?
True
Let d = -76 - -99. Let t(r) = 15*r - d*r + 24*r - 42. Does 42 divide t(11)?
False
Does 65 divide 33*1*(127400/(-42))/(-28)?
True
Suppose 1626*w - 1611*w = 563370. Is w a multiple of 89?
True
Let d(a) = -5*a - 6. Let n be d(-8). Let c(q) = 9*q - 13. Let u be c(4). Let m = n - u. Is m a multiple of 7?
False
Suppose 46 = 4*k + 3*f, 0 = -3*k + 8*k - 4*f - 73. Suppose 0 = u - 41 - k. Is 9 a factor of u?
True
Let x be (-108*1)/(-2)*3 - 0. Suppose x = 3*t - t. Let s = t + -54. Is 6 a factor of s?
False
Let i = 214 + -211. Suppose 2*d = -4*l + 954, 705 = 3*l + i*d + 2*d. Does 4 divide l?
True
Let p(q) = 28*q**2 + 15*q - 71. Let s be 2 - (3 - 40/8). Is 37 a factor of p(s)?
False
Let f = 56 - 49. Let y = -15 + f. Is (-106)/y - (-5)/(-20) even?
False
Suppose -22100 = -61*h - 2336. Is h a multiple of 81?
True
Suppose -5*h + 0 + 5 = 0. Is 11 a factor of (121 + 0 + 2)/h?
False
Let o be 7/(1456/354192) - (-2)/13. Let m = o + -926. Is m a multiple of 9?
False
Suppose -160*o + 161*o - s - 2296 = 0, 0 = 5*o + s - 11504. Does 10 divide o?
True
Suppose 2*n - 2*n = -5*n. Suppose n = p + p. Suppose 5*m + p*m = 570. Does