 2*v**2 + 5*v + 13. Is g(t) a multiple of 5?
True
Suppose 3*a + 204 = 5*a. Does 6 divide a?
True
Suppose -3*p + 2*p + 6 = 0. Let g = 0 + p. Suppose 0*i = 3*i - q - g, 4*q = -4*i + 24. Does 3 divide i?
True
Let u(i) = -15*i + 384. Is u(18) a multiple of 6?
True
Suppose 3*f - f - 80 = 0. Let b be -5*-4*(-12)/f. Does 13 divide (-1053)/(-18)*(-4)/b?
True
Let f be (-2 + 3)*-3 + 275. Suppose -f = -5*w + 3. Is w a multiple of 7?
False
Suppose -6*l = -3*l + 3. Let s(a) be the third derivative of 11*a**5/20 - a**3/6 + 34*a**2. Is s(l) a multiple of 16?
True
Let h = -9 - -12. Suppose 4*q - 5 = h. Suppose q*v - 51 - 11 = 0. Is 8 a factor of v?
False
Suppose -2*t - 2*i = -t - 12, 5*t - 32 = -3*i. Suppose -2*h + 34 = -5*y + 618, t*y - 5*h - 457 = 0. Does 36 divide 4 - ((-6)/3 - y)?
False
Suppose -m + 9750 = 14*m. Is m a multiple of 33?
False
Let n = -2447 - -2622. Is n a multiple of 5?
True
Is (-760)/6*4/((-16)/6) a multiple of 22?
False
Let r be 3 - (-2 + (-22)/(-2)). Let s = 7 + r. Let x = 6 - s. Is 2 a factor of x?
False
Let a be 3 + 47 + 2 + -2 + 0. Let w = a - -7. Is w a multiple of 19?
True
Let f(w) = 2*w**2 - 6*w + 6. Let q be f(2). Suppose -4*r + 364 = 4*h, q*r - 5*h - 63 = 112. Is 10 a factor of r?
True
Suppose 0 = -4*d + 2*d - 6, -21 = -2*u + d. Let k = u - -28. Is k a multiple of 9?
False
Let d = -914 - -1134. Is d a multiple of 14?
False
Let f(a) = -a**2 + 8*a - 7. Let n be f(6). Suppose n*g - 39 = 86. Suppose 5*c = g + 15. Is c a multiple of 7?
False
Suppose 5*t = -3*i + 35, -5*t + 5*i = -2 + 7. Suppose -t*g = 463 - 1247. Is 20 a factor of g?
False
Let y = -1323 + 2254. Does 34 divide y?
False
Let b(l) = -7*l + 4. Let g(o) = -o**3 - 4*o**2 + 5*o - 6. Let x be g(-5). Is b(x) a multiple of 23?
True
Is 40 a factor of (-5 - 2 - 1) + 987?
False
Let x(c) = -2*c**2 + 0 + 0 + 3*c**2 + 7. Let t be x(5). Suppose -t - 2 = -o. Is 7 a factor of o?
False
Let w(m) = -m**3 + 6*m**2 + 2*m - 6. Let z be w(6). Suppose 0 = -50*g + 126 - 26. Suppose -22 = -o - g*q, -2*q - z = -5*q. Does 6 divide o?
True
Let o = -5225 + 8165. Is 21 a factor of o?
True
Suppose -227 + 959 = 5*r - f, 0 = 3*r + 4*f - 430. Is r a multiple of 4?
False
Does 144 divide 2/(66/(-77))*-387?
False
Suppose 0 = 3*f - 8*f + 15. Let a be f - (-9)/(-3) - -2. Suppose 0*r - 41 = -5*r - 4*j, a*r - 22 = 4*j. Is r a multiple of 3?
True
Suppose 3*h + 0*h = 2*i + 9, -4*i - 8 = -4*h. Is 5 a factor of i - 5 - (-2 + -76 + 1)?
True
Let u be ((-8)/(-6))/(6/9). Suppose d = 3*y + 66, -y = u*d + 2*d - 199. Suppose d = m + 3*m - 5*g, 1 = g. Is 14 a factor of m?
True
Let i = -551 - -670. Is i a multiple of 11?
False
Suppose -16*q + 35052 = -27844. Does 11 divide q?
False
Let u = -115 - -216. Let q = -53 + u. Is 16 a factor of q?
True
Suppose 2*p + 61 = m + 5*p, 2*p = 2*m - 98. Does 7 divide (-8 + m)*-3*(-21)/36?
True
Let x(r) = -r - 1. Let z be x(-3). Suppose -5*o - w + 237 = 0, 0 = z*o + 2*o + 4*w - 196. Is o a multiple of 8?
False
Let p be ((-1)/(-1))/((-1)/249). Let i(u) = 32*u + 93. Let j be i(9). Let z = j + p. Does 34 divide z?
False
Suppose -14*m + 11*m + 105 = 0. Does 2 divide m?
False
Suppose -2*c = -5*z + 23, c + 2*c + 3*z = -3. Is 13 a factor of (c/1)/(13/(-338))?
True
Let g(o) = -44*o - 2. Let f be g(1). Let s = f + 55. Is 9 a factor of s?
True
Let b = 55 - 41. Suppose -b*y + 1501 = 31. Is y a multiple of 21?
True
Let t = -993 + 3388. Is t a multiple of 74?
False
Let p be (144/5)/(6/30). Suppose -147*t + 297 = -p*t. Does 33 divide t?
True
Let t(z) = 9*z + 3. Is t(0) a multiple of 3?
True
Suppose v - 162 = 7*v. Let d be ((-3)/(-2))/(v/(-2196)). Let s = d - 62. Does 15 divide s?
True
Let i(r) = 2*r**2 - 8*r**2 - 11 + 5*r + 5*r**2 - r**3. Is 47 a factor of i(-5)?
False
Is 10 a factor of ((-48)/2 - 2)*(21 + -46)?
True
Suppose -3*z - 2*z = -5. Let r(l) = 3*l - 6. Let o be r(3). Is 11 a factor of z/o*69 - 0?
False
Suppose -6 = -2*r + 3*r + 4*b, -7 = 3*r + b. Suppose -25 + 145 = 5*s. Is 14 a factor of -4 + r + s*2?
True
Suppose 2*k - 15 = -3*k. Suppose k*b = 6*b. Suppose b = -0*r + r - 17. Is 15 a factor of r?
False
Let m = -120 - -174. Let a = -24 - 0. Let x = a + m. Is 13 a factor of x?
False
Let n = -821 + 1703. Is 16 a factor of n?
False
Suppose 2*x = -5*w + 1803 + 1034, -2*w + 5*x + 1129 = 0. Is 7 a factor of w?
True
Suppose -5 = -2*f + 3. Let g(t) be the first derivative of 7*t**2/2 - 6*t + 2. Does 22 divide g(f)?
True
Let r be -38*(-3 - 4)*2. Suppose -4*u - 80 = -r. Is 24 a factor of u?
False
Suppose 0 = 194*b - 189*b + 20. Let z(j) = j**2 - 2*j - 12. Is z(b) a multiple of 3?
True
Suppose 7*o = 4*o + 1620. Does 45 divide o?
True
Let c be 6 - 22/3 - (-1)/3. Is 1/((-5)/(-445)) - c a multiple of 30?
True
Let h(s) = -s**3 - s**2 + 9*s + 7. Let t(i) = 4*i**3 + 3*i**2 - 37*i - 29. Let y(a) = -9*h(a) - 2*t(a). Does 5 divide y(-4)?
False
Suppose -5*f = 10, 0 = -n - 5*f - 3 - 3. Suppose n*o = -m + 3*m + 4, 3*m = -4*o + 14. Is 21 a factor of 24/(-5)*(-10)/m?
False
Suppose -5*b + t = -7, 3*b + 4*t - 16 = b. Suppose -b = 2*r - 8. Let g(i) = 5*i + 2. Is g(r) a multiple of 17?
True
Suppose 10*i - 436 = 14*i. Let x = -83 - i. Is x a multiple of 11?
False
Suppose 4*j - 2939 = -3*d, 14*j - 19*j = 3*d - 3673. Is 50 a factor of j?
False
Suppose -5*i = 4*s + 36, -4*s + i - 35 = 25. Let r(k) = -5*k + 10. Does 26 divide r(s)?
False
Suppose -4*i = i - 5*z - 15, -4*i + 12 = -5*z. Suppose i*n = 6*n + 60. Let c = n + 44. Does 24 divide c?
True
Suppose -423 = -4*b - 411, f = -2*b + 3913. Does 21 divide f?
False
Let h(g) be the first derivative of g**3/3 + 3*g**2 + 8*g + 1. Let y = 139 - 147. Does 8 divide h(y)?
True
Does 19 divide (-19 + 0)*(53 - 58)?
True
Suppose -l + 0 = 3. Let f(p) = -2*p**3 - p**2 + 3*p + 3. Is 17 a factor of f(l)?
False
Let j(y) = -13*y - 3. Let p be j(1). Is (-124)/p + 2/8 a multiple of 4?
True
Let l = 10 + -8. Let p(c) = 37*c + 2*c**2 - c**l - 41*c - 8. Does 13 divide p(-6)?
True
Suppose -83*t + 96*t - 34112 = 0. Is 11 a factor of t?
False
Suppose 3*d - 5*y = 2256, y = 3*d - 1579 - 665. Let l = d - 522. Is l a multiple of 24?
False
Is -3*(-1 + 15/9) + 622 a multiple of 8?
False
Let b(z) = -1 - 7 + 2*z**2 - z + 4. Let g be b(-3). Suppose -3 = -5*r + 5*i + g, r + i - 14 = 0. Does 2 divide r?
False
Let w(z) = -z**3 + 38*z**2 - 270*z + 21. Is w(17) a multiple of 30?
True
Let h(w) = -1. Let m(b) = 9*b - 3. Let a(v) = -2*h(v) - m(v). Does 32 divide a(-3)?
True
Suppose 0 = -t, 5*h - 2*t - 195 = 2*t. Let n = 24 + -36. Let b = h + n. Is b a multiple of 7?
False
Let t(o) be the first derivative of -7*o**2/2 - 10*o - 23. Is 6 a factor of t(-12)?
False
Suppose 5*q = -3*f - 31, -3*q - 2 = 4. Let l be 2/(-7) - 23/f. Suppose 36 = -0*m + l*m - 2*o, 3*o = 9. Is m a multiple of 9?
False
Let o = -21 - -19. Does 14 divide 42/(-4)*(240/9)/o?
True
Let s(t) = -t + 6. Suppose -39 + 29 = -l. Let u be s(l). Does 23 divide -6 + 89 - (u + 2)?
False
Suppose -6*r + 180 = -684. Is 6 a factor of r?
True
Suppose 5*l + 27 = -v + 9*l, 2*l = v + 17. Let y(w) = -w**2 - 17*w + 2. Is 8 a factor of y(v)?
True
Let h(b) = 3*b**2 - 29*b + 82. Is 28 a factor of h(18)?
True
Suppose -294 - 486 = -5*d. Does 78 divide d?
True
Let z be 3/(6/(-8)) + 0. Is (-154)/(-44) + 2/z a multiple of 3?
True
Suppose -3*s + 96 = 15. Is s a multiple of 27?
True
Let h(b) be the second derivative of b**3/3 + 21*b**2 + 7*b. Let x be h(0). Is 15 a factor of ((-1148)/x)/(2/(-3))?
False
Let a(b) = b**3 + 7*b**2 - 48*b + 24. Is a(5) a multiple of 12?
True
Let m(z) = -2*z - 9. Let d be m(-5). Let h = 35 + d. Suppose p = -5*p + h. Is 6 a factor of p?
True
Suppose -13*b + 19*b - 9480 = 0. Is 20 a factor of b?
True
Suppose 18 - 3 = -3*t - 3*x, 4*x + 20 = t. Suppose -2*m - 14 = 2*g - 4, 3*g - 4*m - 13 = t. Is 14 a factor of (g/2)/((-1)/56)?
True
Suppose -4*x + 58 = -62. Let z = x + -27. Suppose z*m - 2*u - 393 = -2*m, -2*m = -3*u - 155. Is m a multiple of 12?
False
Is 13 a factor of -130*(-5 + 27/6)/1?
True
Let y be 0/((-1 + -1)/(-2)). Suppose 61 = d + c, 3*d + c + 0*c - 185 = y. Let i = -29 + d. Does 11 divide i?
True
Let y = 14 + -3. Let z(l) = 22 - 10 - y - 41*l. Is z(-1) a multiple of 16?
False
Let n(c) = 9*c + 35. Is n(5) a multiple of 8?
True
Let b = 14 + -16. Let q be (-3 - -3)/(4/b). Is 21/(q + (4 - 3)) a multiple of 7?
True
Let v = 46 - 29. Suppose s - 35 = v. Is 13 a