rue
Suppose 0 = -d - 17*d + 90. Suppose -155 = -4*c + d*w, 5*w - 70 - 55 = -3*c. Is 10 a factor of c?
True
Let u(o) = -19*o**2 - 9*o + 20. Let d be u(5). Let h = d + 659. Does 17 divide h?
False
Suppose -r - 2 = -2*t + t, -3*r - 10 = -5*t. Let m be (-238)/(-3) + (-2)/6. Suppose t*b - 77 = m. Is b a multiple of 26?
True
Suppose 7 - 3 = f. Suppose -s = f*s. Let t(w) = w**3 + 3*w**2 + 2*w + 28. Does 4 divide t(s)?
True
Let x = 28 + 33. Let s = x - 60. Is -131*(s - 2) - (2 - 1) a multiple of 26?
True
Let q(d) = -291*d**3 + d**2 + d - 1. Suppose 4 = -4*u + 2*r, -5*u = -2*u - 4*r + 13. Let m be q(u). Is 38 a factor of 18/12 - m/4?
False
Let t(n) be the first derivative of 29*n**2/2 + 84*n - 6. Is 12 a factor of t(12)?
True
Let i = -84 - -77. Is ((-5)/(-4))/((-282)/(-40) + i) a multiple of 5?
True
Suppose -x - x - 2*s + 6 = 0, 2*s = 4*x - 6. Suppose x*q - 29 = 3*q. Let r = q + 99. Is 10 a factor of r?
True
Let b = -131 - -1231. Suppose -12*k - p = -16*k + 905, -5*k = 5*p - b. Is 15 a factor of k?
True
Suppose s + 2*u + 263 = 0, 18*s - 17*s - 3*u = -238. Let y = s + 529. Is 4 a factor of y?
True
Suppose u = 9*u. Suppose 53*v - 49*v - 176 = u. Does 11 divide v?
True
Let k = 3108 - 3094. Let y(d) = 13*d**2 - d**3 + 0*d**3 - 17 + 11*d + 6*d. Is y(k) a multiple of 9?
False
Let r = 17005 + -15568. Does 48 divide r?
False
Suppose b = -r + 7680, -3*r + 18118 + 20272 = 5*b. Is 13 a factor of b?
False
Let g be (-2 + 8/3)*510/(-20). Let h = g - -87. Is 55 a factor of h?
False
Let d = -7475 - -20735. Is 72 a factor of d?
False
Let l(s) = -98*s - 227. Let m be l(-2). Let h be (-4)/14 - (-234)/(-14). Let q = h - m. Is q a multiple of 14?
True
Let t = -22 - -22. Suppose 4*w - m - 10 = 0, -2*m + 2 = 3*w - t. Suppose y + 4*k + 30 = 3*y, -y - w*k + 15 = 0. Is 15 a factor of y?
True
Let b = 139 - 134. Suppose -2*k = -5*t - 6*k + 235, -t + b*k + 47 = 0. Does 3 divide t?
False
Suppose -i = 4*t - 22, 3*i - 1 = 4*t - 15. Suppose t*b + 6 = 21. Is b + (-13)/(-1)*(-1 - -6) a multiple of 17?
True
Let i = 89765 + -63545. Is 46 a factor of i?
True
Let z be 279/2*(20/(-6) - -4). Suppose -3*j - 4*u = -115, -3*j + z = -2*u - 34. Is j a multiple of 35?
False
Suppose -49*z = -44*z + 5. Is (z/4)/(5/15)*-444 a multiple of 30?
False
Let i = -1668 - -3725. Suppose -i = -12*r + 2407. Is r a multiple of 6?
True
Does 8 divide ((-1738)/(-10) - -1)/(776/3880)?
False
Let x(b) = -b**3 + 2*b**2 - b + 1. Let v = -14 + 14. Let f be x(v). Is 2 a factor of f/8 + (-23)/(-8)?
False
Let m = 963 - 402. Suppose -a = 10*a - m. Does 2 divide a?
False
Let b(a) = -15*a**3 - 5*a**2 - 2*a + 9. Let u be b(-4). Is -9 - (-196)/21 - u/(-9) a multiple of 28?
False
Let w(m) = m**3 + 10*m**2 + 11*m + 13. Let f = 78 + -61. Let g = -23 + f. Is 13 a factor of w(g)?
True
Let b = -53 - -58. Suppose -3*s - z + 2 = -b, 5*z = -10. Suppose -s*m = -7*m + 336. Is m a multiple of 12?
True
Is 38 a factor of 3/15 + ((-4)/38 - 2202055/(-475))?
True
Let b = 138 - -42. Suppose 0 = -234*v + 229*v + b. Is 18 a factor of v?
True
Let l = -53 - -65. Let y(x) = 2*x**2 + x - 30. Is 9 a factor of y(l)?
True
Suppose -3 = -5*s + 37. Let d be s/14 + (-3)/21*-10874. Suppose -7*o + d = 7*o. Is 37 a factor of o?
True
Suppose 3*p + 9997 = 117*n - 116*n, -4*p = 12. Is 22 a factor of n?
True
Suppose 6237 = -2*l + 35*l. Suppose 914*u - 907*u - l = 0. Is u a multiple of 2?
False
Let s(p) = p**3 + p**2 - p + 1. Let b(d) = -4*d**3 - 6*d**2 + 6*d - 101. Let x(l) = -b(l) - 5*s(l). Let k be ((2 - 3) + 1)/(3 - 1). Is x(k) a multiple of 24?
True
Suppose x + 3*p = 4*p + 398, 3*x - 1173 = -4*p. Let s = 638 - x. Suppose 457 = 5*y - s. Is 14 a factor of y?
True
Let w = -85 - -92. Suppose 4*v - 12*d = -w*d + 553, 5*v = 2*d + 670. Does 33 divide v?
True
Let o(c) = 2*c**3 + 10*c**2 + 7*c**2 - c**3 + 10*c**2 - 77*c - 56 + 83*c. Is o(-26) a multiple of 58?
True
Suppose 0 = 2*k - 5*k + 3*w - 120, 3*w + 132 = -4*k. Let i be ((-18)/(-12))/((-2)/k). Does 18 divide (22/6 + 1)*i?
True
Suppose -24*a - 363 = -t - 21*a, -4*a = 4*t - 1500. Is 4 a factor of t?
True
Is 9 a factor of 12/(-2) + ((-55)/(-11))/((-15)/(-18285))?
False
Let t = 396 + -396. Suppose 8*g - 762 = 3*w - 6*w, -2*g - 5*w + 182 = t. Does 10 divide g?
False
Suppose 12540 = w + 5*p, -28*w + 30*w - p - 25003 = 0. Does 41 divide w?
True
Suppose 0 = 3*o + 3, -4380 + 1803 = -b + 3*o. Is 26 a factor of b?
True
Let i be (-2 - -1)/(1/(-26) + 0). Let j = i - 20. Is 21 a factor of j/27 - (-2370)/27?
False
Let r(u) = -2*u**2 - 43*u - 26. Let t = -47 - -30. Does 21 divide r(t)?
False
Suppose -4*d = 4*c + 340, -2*d + 3*c = 2*d + 305. Let f be (9/(-4))/(2/d). Let s = 107 - f. Does 17 divide s?
True
Is 23 a factor of (13386/(-4))/(130/(-260))?
True
Suppose 4031 + 2845 = 3*a. Does 11 divide a?
False
Suppose 0 = -4*h - 5*u + 3707, 5*h - 4641 = -0*h + u. Let s(m) = m**2 - 7*m - 1. Let p be s(8). Is 44 a factor of 102/42 + -3 + h/p?
True
Let g(r) be the second derivative of 11*r**3/6 + 10*r**2 - 19*r + 2. Is 15 a factor of g(5)?
True
Suppose 8319 = 4*v - p, 1733 + 2429 = 2*v + 2*p. Is v a multiple of 208?
True
Let s = 39 + -36. Let u be (-5 - -6)*(0 + s). Suppose 3*a - 2*i + 6*i = 333, -a = -u*i - 98. Is a a multiple of 14?
False
Let o = 20 + -131. Let u be o/(-4) + 2/8. Suppose t = -3*s + 23, 0*t + 2*s + u = t. Does 22 divide t?
False
Suppose -5 = -t - 6, -2*x + t = -1. Let v be 26/(2 + x) - (0 + -2). Suppose 5*y + 1180 = v*y. Is 8 a factor of y?
False
Let g(k) = 2*k**2 + 21*k - 16. Let u be g(-12). Suppose u*f - 8*f - 840 = 0. Suppose -3*z = 4*d - 185, -5*d + f = 5*z - 160. Does 26 divide d?
False
Let r = 61428 - 40036. Is r a multiple of 26?
False
Let b = 8 + -6. Suppose -1467 = 3*q - w, 4*w - 2438 = b*q + 3*q. Is 40/(-50)*q/4 a multiple of 43?
False
Let d(u) = 18*u - 192. Let v(g) = 3*g + 1. Let c(a) = d(a) - 2*v(a). Is c(27) a multiple of 10?
True
Let u = 2440 - 1459. Let h = 1701 - u. Is 36 a factor of h?
True
Suppose 2*g - s - 5 - 154 = 0, 378 = 5*g + 4*s. Let u = 100 - g. Let d = 263 + u. Is d a multiple of 49?
False
Let g = 45 + -40. Let m(l) = -4 + 0 - 10 - g*l. Is 18 a factor of m(-16)?
False
Suppose 0 = -7*g + 19 + 2. Suppose -g*n = -0*n + 138. Let q = 52 + n. Is q a multiple of 3?
True
Let y(b) = 24*b**2 - 5*b + 4. Let o = -190 - -194. Does 3 divide y(o)?
False
Let s be 3 - (-23 + 3 + -3). Let x = 58 - s. Is x/(-3)*3/(-2) a multiple of 15?
False
Let b(g) = -g**2 + 162*g + 601. Does 22 divide b(93)?
True
Is 18 a factor of (487 - -5)*78/52?
True
Suppose 14*p = 7*p - 28. Let j be -2*2/p*86. Let n = j + -45. Is n a multiple of 7?
False
Suppose -18320 = -5*h + o, -4*o = 3*h + 628 - 11620. Suppose -9*z = 7*z - h. Is z a multiple of 29?
False
Let z(t) = -t**2 + 81*t - 3. Does 16 divide z(4)?
False
Let g(a) = a**3 - 26*a**2 + 26*a - 19. Let k be g(25). Suppose 0 = -k*p - 5*p + 748. Is 4 a factor of p?
True
Suppose -3*m - 66*f + 70*f + 8835 = 0, m + 4*f - 2929 = 0. Is 72 a factor of m?
False
Let y(k) = -k**3 - 2*k + 8. Let o be y(0). Suppose 0 = 2*l + w - 4*w - o, 4*l - 12 = 5*w. Is 26 a factor of (l - -81) + (-4 - -3)?
True
Let h be (3*20/30)/(1/5). Suppose 1401 = h*j - 2889. Is 33 a factor of j?
True
Let m(u) = -u**3 - 15*u**2 - 12*u - 10. Let w be m(-13). Let j be ((-18)/(-8) - 0)/((-9)/w). Suppose -j*r = -43*r - 10. Does 2 divide r?
True
Suppose 0 = -7*p + 3*p - 3*o + 198, -5*o = -2*p + 86. Let n be (86/(-6))/((-16)/p). Suppose -3*s + 656 = -2*d, -2*d + n = -s + 267. Is s a multiple of 39?
False
Suppose -3124 = -a - 4*r, -2*a - 5*r = a - 9365. Is a a multiple of 16?
True
Suppose 13*w + 523 = 2*a + 10*w, 262 = a - 2*w. Does 16 divide (2/(-3) - a/39)*-48?
True
Suppose 12*v - 81*v - 14*v + 495178 = 0. Does 38 divide v?
True
Suppose 146*v = 165*v - 57. Suppose 248 = 4*n + 4*j, v*n + 316 = 8*n - j. Is n a multiple of 21?
True
Suppose 4*b + 6*t = 3*t + 8655, t + 4325 = 2*b. Does 8 divide 2/4 + (-3 - b/(-14))?
True
Is 21 a factor of 3 + (6 - (4 - 2862))?
False
Suppose 22*x = 28*x - 282. Suppose -1120 = -x*m + 37*m. Is m a multiple of 8?
True
Let d = 1301 + -762. Suppose -2099 = -2*a - d. Does 11 divide a?
False
Suppose 68*y + 823007 = 228*y - 2485633. Is 8 a factor of y?
False
Suppose 5252 = q + 5*j - 1076, -5*j + 20 = 0. Is q a multiple of 3?
False
Suppose 2*l = -3*i - 3409, -2*l + 5639 + 16 = -5*i. Let t = 1663 + i. Is 61 