679 + 8608. Is t a multiple of 13?
False
Suppose 0 = 5*t - 217 + 22. Suppose 0 = -m - 14 + t. Is 25 a factor of m?
True
Let g(u) = 11*u**2 - 10*u + 11. Is 20 a factor of g(9)?
False
Suppose 2*i + 25 + 2 = 3*q, -4*q + 38 = -3*i. Let y = 9 + i. Suppose h - y*p - 18 = p, 3*h + 5*p = 88. Is 26 a factor of h?
True
Let d be (-194)/(-18) + (-30)/(-135). Suppose d*t = 647 + 123. Is 14 a factor of t?
True
Let r(c) = -2*c**2 - 2 + 5 - c - 2 + 59*c**3 + 1. Does 8 divide r(1)?
False
Let q = 50 - 56. Let o = q - -48. Is 2 a factor of o?
True
Suppose 2*u + 5*h - 781 = -218, -2*h - 598 = -2*u. Suppose 5*v + 2 = f, f - 4*v = 5*f - 32. Suppose 0*r = f*r - u. Is r a multiple of 14?
True
Suppose 0 = 5*f + u - 222, -f - 14 = 5*u - 44. Does 14 divide f?
False
Let n(r) = -r**3 + 15*r**2 + 20*r + 52. Is n(-10) a multiple of 21?
True
Suppose -3*j - 12 + 9 = 0. Let i = 26 - j. Is 7 a factor of i?
False
Suppose 20*m - 11985 = 15*m. Is 37 a factor of m?
False
Does 7 divide ((-24)/9)/((20/(-357))/10)?
True
Let w(u) be the second derivative of -27*u**5/20 + u**4/12 - u**3/6 - u**2/2 - 9*u. Let n be w(-1). Suppose 2*z = 4*z + 2*i - 76, z - n = 4*i. Does 12 divide z?
True
Suppose 0 = 9*g - 3048 - 8067. Does 46 divide g?
False
Let w(i) = 7*i**2 - 7*i - 1. Let f be w(3). Suppose -2*t + 3*t - 1 = 0. Suppose t = 3*s - f. Is 4 a factor of s?
False
Let h(r) = r**3 - 13*r**2 - 18*r - 10. Is 56 a factor of h(17)?
True
Let l be 242/3 - 8/12. Suppose 0*m = 5*m + l. Let k = 29 + m. Is 13 a factor of k?
True
Suppose -2*n = -3*g - 2285 - 1597, n - 1946 = -g. Does 38 divide n?
False
Let g(c) be the second derivative of c**4/12 - c**3/2 + 2*c**2 + c. Let t = 308 + -304. Is g(t) a multiple of 4?
True
Suppose -6*r - 1127 = -5711. Is r a multiple of 22?
False
Let o = -13 - -22. Is ((-520)/15)/((-6)/o) a multiple of 11?
False
Let g(o) = 9*o + 1. Suppose 4*j - 5*h = -1, 3*h + 0 - 6 = -3*j. Let k be g(j). Let r = k + 2. Is r a multiple of 3?
True
Suppose 3*b - 12 = 6*b, -d + 5*b = -29. Suppose -d*h + 253 = -926. Does 15 divide h?
False
Let a(k) = k**3 + 4*k**2 - 7*k - 6. Let i be a(-6). Let p = 30 + i. Let h = 22 - p. Is 8 a factor of h?
False
Let h(t) = -69*t**3 - 2*t**2 + 2*t - 2. Is 17 a factor of h(-2)?
False
Is 14 a factor of 125 + 24/(-6)*-1?
False
Suppose 0 = 3*c + c - 1040. Is 13 a factor of c?
True
Let y(p) = p**3 - 8*p**2 + 18*p - 22. Is y(11) a multiple of 27?
False
Let p be (5 + -1)*(-2)/7*-7. Suppose 2*q + 72 = p*q. Is q a multiple of 6?
True
Let c = 529 - 319. Let i be c/(-8)*336/(-18). Suppose 5*u = 5*r - i, -r = r + 5*u - 203. Does 29 divide r?
False
Does 2 divide 27/(-4)*58/(-29)*4?
True
Let z(m) = 13*m**3 + 11*m**2 - 44*m - 19. Is z(5) a multiple of 11?
True
Suppose -103 = -3*i + 74. Suppose -61*x = -i*x - 154. Is 11 a factor of x?
True
Let u(z) = -17*z + 2317. Does 103 divide u(0)?
False
Let n(x) be the second derivative of -x**4/12 + 5*x**3/6 + 5*x**2 + 2*x. Let u be n(6). Does 28 divide (-6)/u*(-1032)/18?
False
Is 3 a factor of 54 + -58 - 804/(-1)?
False
Let y be (33 - -3)/4 - (1 - -2). Does 15 divide (-4 + y + 23)*1?
False
Suppose -7*x + 2*y + 14 = -6*x, 0 = x + y - 2. Let l = x + 8. Does 14 divide l?
True
Let y be (2 - 5)*(-1 + 0). Let h be 3 - -22*y/3. Suppose -9 + h = 4*a. Does 4 divide a?
True
Let h(r) = r - 3. Let p be h(10). Let l = -115 + 138. Let m = l - p. Is m a multiple of 16?
True
Does 3 divide 11/55 + (-3)/(45/(-672))?
True
Suppose 2*b - x + 666 = 2298, 3*b + 5*x = 2422. Is 26 a factor of b?
False
Suppose 0 = 6*l - 4*l - 8. Suppose 7*y = v + l*y - 104, -5*v - 4*y = -482. Is v a multiple of 11?
False
Suppose -30 = 3*j + 99. Let t = 61 + j. Is (-6)/(-4) + t/12 a multiple of 3?
True
Let m = 499 + -263. Does 12 divide m?
False
Let l(n) = n - 6. Let u be l(6). Suppose -s - 3*s + 132 = u. Is (143/s)/((-1)/(-9)) a multiple of 12?
False
Let v(s) = 12*s - 6. Suppose 6 = 3*k - 12. Suppose 2*l = k - 0. Is v(l) a multiple of 9?
False
Let z(p) = 2*p**2 + 6*p - 2. Suppose 31*u + 30 = 26*u. Does 14 divide z(u)?
False
Suppose -3*p + 8 = -p. Suppose 0*b + p*b = 40. Is 8 a factor of (-20)/6*(-96)/b?
True
Suppose 30*x - 25*x - 2858 = 3*k, 1136 = 2*x - 3*k. Is x a multiple of 41?
True
Let o be (-3)/4*(-48)/(-3). Is -49*(1/(-4))/((-3)/o) a multiple of 19?
False
Suppose -5*d - 2*b = -116, -5*d + 2*b + 124 = -0*d. Does 7 divide d/(-6) + (-2 - -27)?
True
Let q(d) = -23*d - 49. Let u be q(3). Let v = u - -159. Is v a multiple of 32?
False
Let k = -41 - -85. Suppose 0*v - 16 = -4*v - 4*q, 0 = -5*v + q + k. Is 8 a factor of v?
True
Suppose 32211 = 55*y + 2621. Is y a multiple of 13?
False
Let h = 81 - -29. Suppose -94 = -3*q + h. Is 17 a factor of q?
True
Suppose 0 = 7*y - 2*y - 3*a - 112, a + 45 = 2*y. Let n = -43 + y. Let k = -7 - n. Is 5 a factor of k?
False
Suppose -4*i - i + 3*i = 0. Suppose 7*s = -i*s + 1176. Is 46 a factor of s?
False
Let s(y) = -y**3 + 2*y**3 - 8*y**2 + 8*y**2 - 4 - 4*y**2. Let k be s(4). Is 5 a factor of (1 + k)*(-10)/6?
True
Let g(i) = i**3 - 5*i**2 - 5*i - 33. Let p = 93 + -86. Does 5 divide g(p)?
True
Let n = 280 - -220. Is 43 a factor of n?
False
Suppose 2*h = 4*w + 708, -4*w = -5*h - w + 1749. Does 33 divide h?
False
Suppose 4*n - 813 - 2179 = -2*a, n - 4498 = -3*a. Is a a multiple of 20?
True
Let p(x) = -x**2 - 12*x - 11. Let k be p(-11). Suppose 3*h + 23 - 56 = k. Let t = h - 3. Does 2 divide t?
True
Let t(x) = 4*x**2 + 9*x**2 - 14*x**2 + 5*x**2. Is 36 a factor of t(-3)?
True
Does 25 divide 46/4*400/8?
True
Let t(a) = 4*a + 28. Let x be t(13). Suppose -6*i + x = -8*i. Is 3/(-5) + (-1824)/i a multiple of 14?
False
Let w = 23 + -21. Let m(b) = -6*b - b + 3*b + 7*b + 8 + b**w. Does 6 divide m(-5)?
True
Let s(h) = 3*h - 13. Let d be s(5). Suppose g - 3*r + d*r = 73, -2*r = 4*g - 274. Is g a multiple of 7?
True
Let k(m) = -14*m - 76. Is k(-8) a multiple of 2?
True
Let t(l) = 165*l + 33. Is t(3) a multiple of 24?
True
Let r = 186 + -153. Is 5 a factor of r?
False
Let i = -5 + 7. Does 15 divide 28/(-2 - i)*-11?
False
Let r(h) = h**3 + 5*h**2 - h. Let g be r(-5). Suppose -g = -i - 27. Is (-28)/154 - 356/i a multiple of 9?
False
Suppose -28 = -5*i - 9*i. Suppose -i*m - 5320 = -22*m. Is m a multiple of 38?
True
Suppose -5*m + s = -3*s - 19, -m - 2*s + 1 = 0. Let t be m*(-3)/(-18)*24. Is 100/15*t/10 a multiple of 3?
False
Is 41 a factor of 64/((24/328)/3)?
True
Suppose 0 = -3*n + 4*n - 4. Suppose 125 = 5*r - n*t - 224, t - 369 = -5*r. Is r a multiple of 28?
False
Suppose 0 = -28*a + 1574 + 3802. Does 43 divide a?
False
Let p(q) = 9*q**2 - 88*q + 9. Is 30 a factor of p(21)?
True
Let k = 14 + -98. Let w = k + 140. Is 28 a factor of w?
True
Let f(s) = -14*s**2 + 3*s + 2. Let b be f(-1). Let z = -12 - b. Suppose 0 = -z*x - 0*x + 72. Is 6 a factor of x?
True
Let k be 85/(-4) + (-2)/(-8). Let r = 25 + k. Does 5 divide (2/r)/(16/160)?
True
Let w(r) = r**2 + r + 54. Is 39 a factor of w(-20)?
False
Suppose 0 = 5*v + 5*u - 35, -6*v + 4*u - 1 = -v. Is (-13)/v*(-21 - 3) a multiple of 13?
True
Let f(p) = -p**2 - p - 211. Let k be f(0). Suppose -32*n + 13717 = 11*n. Let j = n + k. Is j a multiple of 30?
False
Suppose -125*q - 1560 = -133*q. Is 9 a factor of q?
False
Let v = -22 + 3. Let g = v - -22. Suppose -g*t + 188 = 2*z, -2*z - 131 - 209 = -5*t. Is t a multiple of 22?
True
Suppose 0*s - 9*s = 0. Is 40 a factor of (1 - 1)/(s - -2) + 200?
True
Suppose -3*q = -9 + 3. Suppose 0 = -q*c - c. Suppose -3*t = c, h + t = 8 + 24. Is h a multiple of 16?
True
Let t be -198*(-3 + 52/12 - 2). Suppose -7*u + 3*u = -t. Is 13 a factor of u?
False
Is (-2 - -305) + 1/(-1)*-3 a multiple of 9?
True
Let o(v) = -v**3 + v**2 + 7*v + v + 7 - 5*v**2 - 6*v**2. Is 10 a factor of o(-11)?
True
Suppose -2*b - 344 - 312 = 0. Let k = b + 463. Is k a multiple of 27?
True
Suppose 4*s - 6*s + 6 = 0. Suppose 0*b = s*q + b - 188, 3*b = -5*q + 308. Does 32 divide q?
True
Suppose 9 = -3*i - 5*y, -9 = -5*i + 3*y + 10. Suppose -i*d + 1 = m, -6*d = -2*d + 5*m - 5. Suppose u + 2*u - 162 = d. Does 18 divide u?
True
Is (-4)/(-62) - 296286/(-186) a multiple of 27?
True
Suppose 5*c - 7*r - 4491 = -3*r, -3*r = 3*c - 2700. Does 55 divide c?
False
Let y(c) = -2*c. Let j be y(-2). Suppose -j*w - 40 = -0*w. Let d = 18 + w. Is 3 a factor of d?
False
Suppose -4*f + 8 = 4, 1893 = 2*p + f. Does 40 divide p?
False
Suppose 0*c -