+ 5*q - 289 = -5*t. Is 22 a factor of t?
True
Let h = -27 - -157. Does 75 divide h?
False
Suppose 5 = -2*u - 2*i - 5, 0 = -5*u + 2*i - 39. Does 23 divide 9/(((-63)/114)/u)?
False
Suppose 0 = -7*b + 3*b, 0 = 5*a + 4*b - 10. Let j(q) = 24*q**3 + 2*q**2 - 4*q. Let p be j(a). Suppose 0 = 4*m + t - p, -208 = -2*m - 2*m + 3*t. Does 9 divide m?
False
Suppose -258*m = -216*m - 51282. Is m a multiple of 11?
True
Suppose -3*i + 5*w + 15 = -26, -14 = -i + 2*w. Let h be (182/21 - 8)/((-4)/(-18)). Is h - (-2 - -1 - i) a multiple of 16?
True
Let z(b) = -b - 18. Let w be z(-12). Let g be ((-12)/(-8))/((-1)/w). Suppose -7*j + g*j - 32 = 0. Is 16 a factor of j?
True
Let n = -446 - -2606. Is 54 a factor of n?
True
Let i(p) = 2*p**2 - 23*p + 92. Is 66 a factor of i(28)?
False
Suppose -8*y + 3*y = -30. Does 10 divide (-259)/(-14) + y/4?
True
Let i(x) = -21*x + 17. Let q be i(-8). Let z = q + -83. Does 17 divide z?
True
Let d = 695 + 355. Does 25 divide d?
True
Suppose -149*a + 240 = -144*a. Does 4 divide a?
True
Suppose k - 4*l + 3*l = 127, 4*l = 2*k - 262. Is k a multiple of 34?
False
Let c = 41 - -51. Does 23 divide (-2)/(1*(-4)/c)?
True
Is 56/(-21)*15*-3 a multiple of 12?
True
Is 133 + (-15)/(-9) + (-1)/(-3) a multiple of 12?
False
Let f(a) = 2*a**2 - 5*a + 5. Let l be f(8). Suppose 6*b - 123 = l. Does 6 divide b?
True
Let y be (10/3)/((-4)/(-222)). Suppose 6*s + y = -325. Let k = s - -129. Is 21 a factor of k?
False
Let u be 376/72 - (-4)/(-54)*3. Suppose -2*b + 3*g - 205 = -4*b, -u*b + 518 = 2*g. Does 26 divide b?
True
Let o(b) = b**3 - 7*b**2 - 4*b + 2. Let j be o(8). Suppose -2*s = 5*p - j, 21 = 4*s + 5*p - 27. Suppose -s = -m + 5. Is 12 a factor of m?
True
Let g(f) be the first derivative of -3*f**2/2 - f - 6. Let d be g(5). Is 3 a factor of (-5)/(10/d) - 2?
True
Let n(i) = -14*i + 514. Does 6 divide n(-5)?
False
Does 26 divide (-7395)/(-9) - 10/(-30)?
False
Let z(j) = -j**2 + 2. Let n be z(-2). Does 12 divide 2 + -3 - (-79 - 3) - n?
False
Suppose 7*m - i + 43 = 2*m, -4*m - i = 38. Let o be ((-56)/(-21))/(-8)*6. Let p = o - m. Is 7 a factor of p?
True
Let k(r) = -r**2 + 4*r + 19. Let m be k(7). Is 15 a factor of (-7800)/(-72) + m/(-3)?
False
Suppose -2975 = -3*k + 2722. Is 43 a factor of k?
False
Suppose 3*y + 5*u + 11 - 229 = 0, -2*u - 91 = -y. Let t = 100 - y. Is t a multiple of 3?
False
Let j(p) = -31*p - 19. Let z(s) = 29*s + 18. Let t(x) = 6*j(x) + 7*z(x). Suppose 0 = 4*o + 5*m - 4, -5*m + 4 = 2*o - 3*m. Is 29 a factor of t(o)?
False
Let l = 2804 - 1172. Is 6 a factor of l?
True
Let o = 773 - 13. Let m = -537 + o. Does 61 divide m?
False
Suppose 4*h - 3*t = 111, -t + 1 = 2. Does 10 divide h?
False
Is 75 a factor of 30*90*(2 + 28/(-16))?
True
Let p(t) = 7*t - 22. Let h be p(11). Suppose 50*w = h*w - 360. Is 18 a factor of w?
True
Let p = 1691 - 827. Is p a multiple of 16?
True
Let z(k) = -4*k - 80. Let q be z(-23). Suppose 10*i = 42 - q. Is i a multiple of 3?
True
Let m(h) = h**2 + 7. Let q be m(5). Suppose -2*t = -0*t + q. Let l = t - -41. Is l a multiple of 15?
False
Suppose o + 6 = 1, 2*o + 10 = 2*l. Suppose 3*j + 1 - 76 = l. Does 5 divide j?
True
Let b(q) = 74*q - 34. Is 16 a factor of b(3)?
False
Suppose o = 3*f + 16, 4*f - 3*f - 12 = -4*o. Let m = f + 27. Suppose 0 = -b - a + m + 29, -4*b - a = -196. Is 10 a factor of b?
False
Suppose -5*h - 4*j = -1892, -5*h + 980 + 918 = j. Is h a multiple of 3?
False
Let c be 14/91 + 15/(-13). Let g = 11 + c. Suppose -2*b = 5*t - 50, -t = -0*t - b - g. Is t a multiple of 4?
False
Suppose 0 = 29*m - 26*m - 9. Let t = -4 + -17. Let g = m - t. Does 8 divide g?
True
Suppose -n + 297 = 5*x - 2*x, n + 4*x = 292. Is 24 a factor of n?
True
Is 31 a factor of 1738*9/24 - 36/48?
True
Let j be (-11)/((-176)/(-84)) + 2/8. Does 21 divide (1 + -8)/(j - 176/(-36))?
True
Suppose 12*y - 7*y + 90 = 0. Is 12*2 - y/(-9) a multiple of 14?
False
Let v(m) = 29 - 25 - 6*m - 16. Suppose 0 = -0*c - 4*c - 36. Does 14 divide v(c)?
True
Let u = 2563 - -1221. Is 86 a factor of u?
True
Suppose 5*h - 1 - 1 = 4*r, 0 = 2*r - 4. Suppose -h*m + 96 = -3*w, 0 = -0*w - 3*w - 12. Is m a multiple of 14?
True
Suppose 1155 = 7*o - 1666. Is o a multiple of 34?
False
Suppose 0 = -3*r - 2*r + 15. Let i be 0 + 9/r - 1. Suppose -68 = i*w - 4*w. Is 17 a factor of w?
True
Suppose 0 = 2*u + 3*u + 115. Let r = 71 + u. Is r a multiple of 24?
True
Suppose 0 = 17*x - 11684 - 2018. Is x a multiple of 31?
True
Let g be -7*((-18)/6 - -6). Let v(f) = f**3 + 7*f**2 + 5*f - 7. Let b be v(-6). Let j = b - g. Is j a multiple of 10?
True
Suppose o = -38*o + 75504. Does 11 divide o?
True
Let c = -89 - -213. Is c a multiple of 6?
False
Suppose 2*h + 2*y - 284 = 72, 0 = 4*h + 2*y - 712. Is h a multiple of 21?
False
Let q = -5 + 3. Let z be (-1)/(47/23 + q). Let n = z + 40. Does 6 divide n?
False
Suppose 8*u - 150 = 3*u. Is u a multiple of 6?
True
Let p = 7 - -176. Let w = p - 98. Is w a multiple of 41?
False
Let l(v) = -v**3 + 2*v**2 - v. Let j be l(2). Let m be j/(-2) + 3/1. Suppose -28 = -3*y - 2*y - 4*u, -4*y + m*u = -44. Is y a multiple of 2?
True
Let f = 12 + -8. Let l be ((-87)/(-12) + -3)*f. Let o = l + 0. Is 15 a factor of o?
False
Let a(l) = -12*l**3 + 4*l**2 - 7*l. Let t be a(2). Let u = t - -154. Is u a multiple of 15?
True
Let v(k) = -7*k + 57. Is 3 a factor of v(3)?
True
Let k(i) = 17*i**2 + 3*i - 4. Let f(y) = y**2 + 21*y + 17. Let w be f(-20). Is 24 a factor of k(w)?
False
Let f be ((-10)/(-2))/((-3)/(-6)). Let l = 12 - f. Suppose -o + l*z + 88 = z, o - 4*z - 76 = 0. Is 23 a factor of o?
True
Suppose 941 = 4*t + 3*a - 274, -4*a = -5*t + 1480. Does 15 divide t?
True
Let n(v) be the second derivative of -v**5/20 + 5*v**4/12 + v**2/2 + 6*v. Let m be -2*(-5 + (1 - -2)). Is n(m) a multiple of 3?
False
Suppose -21910 = -1124*r + 1119*r. Is r a multiple of 14?
True
Suppose 2*n + 3*u = -0*n + 15, 2*n = -2*u + 10. Let a = -2 + 3. Suppose n = k - 13 - a. Does 14 divide k?
True
Suppose -3*j + z - 42 = 85, 0 = 4*j - 4*z + 156. Let c be 180/(-6)*j/6. Suppose -c = 2*r - 7*r. Is r a multiple of 22?
True
Let u be 0 + 1 - (3 - -8). Let o = 16 + u. Let g = 53 - o. Is g a multiple of 16?
False
Let h = -12 + 16. Suppose h*g = -5*q, -3*q + 2*g + 22 = -0*q. Let f(d) = d**2 - 2*d - 5. Is f(q) a multiple of 3?
True
Suppose 0 = -h - 0 + 6. Let k(u) = -8*u + 12. Let o be k(h). Is 14 a factor of (-8)/o + 493/9?
False
Let l = -14 - -53. Let d = l + -30. Is 9 a factor of d?
True
Let d be 88/(-20) - (-2)/5. Let m = d - -22. Does 6 divide m?
True
Let g(h) be the third derivative of h**5/10 - 2*h**3/3 - 5*h**2. Does 10 divide g(3)?
True
Let q(g) = g**3 + 6*g**2 + 16 + 6*g**2 + 22*g - 10*g. Let m be q(-11). Suppose -2*s + s - 82 = -m*n, -4*n + 77 = 3*s. Is n a multiple of 8?
False
Let x(h) = 78*h - 80*h + 2 - 3. Let u be (-76)/18 - 4/(-18). Is 2 a factor of x(u)?
False
Does 5 divide (8/5)/(40/17500)?
True
Suppose -7 = 6*c + 5. Is ((-1 + 2)/c)/(5/(-110)) a multiple of 11?
True
Let q(d) = d**2 - 3*d. Let f be q(3). Suppose -2*w = -f*w - 8. Suppose 7*g + 196 = w*l + 3*g, 143 = 3*l - 4*g. Is l a multiple of 21?
False
Suppose -5*i - 10743 = -3*l - 2639, -3*l = -4*i - 8105. Does 51 divide l?
True
Suppose 84*z + 105 = 85*z. Let q = 154 - z. Is 7 a factor of q?
True
Suppose 0 = -6*p + 15 - 3. Suppose p*v - 50 = v. Is 10 a factor of v?
True
Let p(h) be the first derivative of -6*h**2 - 3*h + 20. Does 9 divide p(-4)?
True
Let a = 56 - 31. Suppose 8*s = 3*s + a. Suppose 0 = -s*u + h - 3*h + 61, -5*h = -5*u + 40. Is u a multiple of 5?
False
Let r(f) = f**2 + 9*f + 50. Is 3 a factor of r(-6)?
False
Let q(r) = -r**3 + r**2 - 3*r - 3. Let t be q(3). Is 7 a factor of 147/2*t/(-45)?
True
Let n(z) = z**3 + 9*z**2 + 9*z + 7. Suppose -3*y + 140 = 5*t, 7*t = 2*t - 2*y + 145. Suppose 17 + 13 = -5*s + l, -2*l - t = 3*s. Is n(s) a multiple of 21?
True
Is 196*(-21)/18*-3 a multiple of 14?
True
Suppose -2*a + 272 = 5*q, 4*q - 5*q - 143 = -a. Suppose -5*p + v + 630 = 6*v, p = 2*v + a. Is p a multiple of 11?
False
Suppose 13*p + 2430 = 28*p. Is p a multiple of 6?
True
Suppose 0*h - 5*w = 2*h - 274, 2*h - 3*w - 258 = 0. Is 7 a factor of h?
False
Suppose -4 = -2*k, 5*m + k - 5*k - 17 = 0. Let g = 335 - 118. Suppose g = m*j - 68. Is 19 a factor of j?
True
Let d = 159 - 44. Is 7 a factor of d?
False
Let h be (3 - 7) + 3