= -3*i - 17. Let f be v(-7). Is 3 a factor of a(f)?
False
Suppose 7*s - 377 - 99 = 0. Suppose -51*x - s = -52*x. Is x a multiple of 8?
False
Is (7/(-28))/((-6)/15720) a multiple of 11?
False
Suppose 2*m + 0*g + 86 = g, 4*g - 92 = 2*m. Let d(w) = -w**2 + 4*w - 4. Let z be d(4). Let o = z - m. Is 15 a factor of o?
False
Suppose 0 = -3*a - 2*a + 155. Let m = 31 + -31. Let r = a - m. Is r a multiple of 12?
False
Let a = -45 + 75. Does 37 divide 1106/a - (-14)/105?
True
Let d(r) = -6*r - 14. Let p be d(-2). Is (-159)/6*(-8 - p) a multiple of 9?
False
Let k(n) = -2*n**3 - n**2 + 2*n - 1. Let m be k(-2). Let q(f) = 3*f**2 - 16*f - 10. Is q(m) even?
False
Suppose 0 = -g - 4 + 14. Let r = g + -8. Suppose -r*u - 2*u = -304. Is u a multiple of 21?
False
Let y(m) = m**3 - 6*m**2 + 7*m + 2. Let x = 35 + -28. Is 10 a factor of y(x)?
True
Does 7 divide (3 - (-8 - -10))*599?
False
Suppose -27*a + 4772 = -277. Is a a multiple of 17?
True
Let p(n) = n**2 + n - 27. Let m be p(0). Let q = m - -87. Let u = q + -34. Is 14 a factor of u?
False
Suppose 27 = -5*g - 323. Let c = g + 154. Is 12 a factor of c?
True
Let v(r) be the second derivative of r**3/6 + 3*r**2 + 6*r. Let j be v(-3). Suppose 4*w = -2*g + 16, 2*w + 22 = j*g - g. Is g a multiple of 3?
False
Suppose 3*x + 3*n = -360, 4*n = 2*x - x + 145. Let s be -13*-2*(-68)/8. Let t = x - s. Is t a multiple of 16?
True
Suppose 69 = 5*g + 4*x, -3*x - 59 = -4*g + 21. Let i = g + -15. Suppose -3*q + 47 = 5*c + q, 0 = -i*c + q + 24. Is 9 a factor of c?
False
Is 63 a factor of 327/5 + 72/120?
False
Let i(o) = 5*o**2 + 2*o - 2. Let v be i(1). Suppose -4*j + 346 = v*c, 3*c + 5*j - 262 + 44 = 0. Is c a multiple of 22?
True
Let x(n) = -27 + 27 - n**3. Let j be x(1). Is ((-4)/(-6) - j)*15 a multiple of 25?
True
Let i = -983 + 1714. Is i a multiple of 17?
True
Let p(f) = 4*f - 48. Let s be p(13). Is 41 a factor of s + 47*2*(0 - -3)?
False
Let s be ((-34)/3)/((-2)/(-159)). Let z be (-1)/4 - s/4. Suppose -z = -4*b - 1. Is 15 a factor of b?
False
Suppose 8*a - 270 = 5*a. Is a a multiple of 30?
True
Suppose n - 3*g = -n - 174, 3*n - 2*g + 266 = 0. Does 15 divide n/8*(-224)/42?
True
Let x(t) = -t**3 + 18*t**2 - 16*t + 6. Is x(10) a multiple of 4?
False
Suppose 4*u - 1429 - 1859 = 0. Is 24 a factor of u?
False
Suppose -5*t - 21 = -8*t. Suppose 0 = -t*n + 162 - 43. Suppose i = 4, 3 + n = q + 2*i. Does 3 divide q?
True
Suppose 0 = -7*r + 2*r + 45. Let m be (-1 - -1) + (3 - (4 + -313)). Suppose -r*p = -13*p + m. Does 22 divide p?
False
Is 7 a factor of (-3040)/(-9) - (-22)/99?
False
Let p(q) = q**2 - q + 4. Let z be p(0). Suppose 0 = -3*s - 3*h + 150, 206 - 6 = z*s - 2*h. Does 25 divide s?
True
Let p(k) = -2*k - 6. Let d be p(-7). Suppose -3*h - 177 = -4*t, 4*h + 4 + d = 0. Does 8 divide t?
False
Let j = -16 - -24. Suppose -x + 3*a + j = 0, 4*x + 0*a - 80 = -4*a. Does 11 divide x?
False
Let m(q) = q**2 + 4*q + 7. Let y be m(-3). Suppose 3*w - 5244 - 115 = y*p, -w + 1790 = -5*p. Is 6/(-9)*w/(-10) a multiple of 15?
False
Suppose -3*h = -15, -4*l - 10 = 3*h - 205. Let z = l + 21. Does 10 divide z?
False
Suppose 0 = -6*u + 11*u + 135. Does 5 divide (1 + 0 + u)/(-7 + 5)?
False
Let u(t) = 254*t**2 - 28*t. Does 49 divide u(2)?
False
Let r(f) be the third derivative of f**7/840 - f**6/360 + 5*f**4/12 - f**3/3 - 7*f**2. Let x(i) be the first derivative of r(i). Is x(0) a multiple of 10?
True
Suppose -2*v + 44 = q - 16, 2*v = -3*q + 56. Let t(b) = -2*b + 86. Is 4 a factor of t(v)?
True
Let i = -34 + 844. Is 90 a factor of i?
True
Suppose -109*v + 202386 = -20*v. Is v a multiple of 14?
False
Let m = -54 + 671. Does 20 divide m?
False
Let q = 2 + 2. Suppose q*r - 31 = -3*i - r, -i + 27 = 5*r. Is 7 a factor of 6/(-2)*(-1 - i)?
False
Suppose -24 = 3*g - 5*g. Does 6 divide g/(-1 - 0 - 22/(-16))?
False
Let t(l) = l**3 - 47*l**2 - 29*l - 4. Is t(48) a multiple of 51?
False
Let s(x) = -10*x - 57. Let v be s(-18). Let c = v + -42. Is c a multiple of 11?
False
Suppose -3*l = 2*l - 20, -3*p + 5*l - 8 = 0. Suppose 0 = -2*a + 6*a - p, 49 = -5*f + 4*a. Is 23 a factor of (-3)/f + (-366)/(-9)?
False
Suppose -11*u + 6200 + 23544 = 0. Is 52 a factor of u?
True
Let x(n) = 5*n**2 - 15*n - 56. Does 21 divide x(-11)?
True
Let j(g) = 4*g**2 - 2*g - 2. Let k(u) = u + 7. Let d be k(-8). Let t be j(d). Is 16 a factor of (-1740)/(-54) - t/18?
True
Let z be (-2 + -4 + (-46)/(-8))*-316. Suppose 5*i - 16 = z. Does 3 divide i?
False
Let v = -10 + 13. Suppose -5*g + 0*g + 45 = 5*a, 15 = -g + 5*a. Is 4 a factor of (g - v) + 2 + 14?
False
Let v(s) = -s**3 + 2*s + 29. Let y(a) = -2 + 8 + 6*a**2 + a**3 + 3 - 3 + a. Let d be y(-6). Is v(d) a multiple of 29?
True
Suppose -5*n + 1010 = 5*w, 5*w = 4*n - 562 - 210. Does 9 divide n?
True
Let a = 836 - 444. Is 49 a factor of a?
True
Let j be 3/(6/2) - 1. Suppose 2*k = -j*k + 140. Suppose u + 4*u = k. Is u a multiple of 7?
True
Let r = -166 + 168. Suppose r*c - 4 - 6 = 0, -45 = -2*s + c. Is s a multiple of 5?
True
Is (-14535)/510*(8/(-6))/1 a multiple of 7?
False
Let s be (-1)/(-6)*-2 + (-381)/(-9). Let u = s + 90. Is u a multiple of 21?
False
Suppose -l + 3*d + 1748 = 0, 3*l + 4*d - 2679 = 2617. Is 20 a factor of l?
True
Suppose -p + 4*p = 0. Let v be p - (-5 + 1) - -69. Let q = v - 20. Is 8 a factor of q?
False
Suppose 0 = -i - 3*t - 5 + 4, 5*i = -2*t + 21. Let a = 4 + -3. Suppose -4*x = -m - 138, -2*m = -i + a. Is 27 a factor of x?
False
Suppose 3*s + 3*a - 2583 = 0, 28*s - 3*a = 29*s - 855. Is 12 a factor of s?
True
Let j = 5 + -2. Let c be (-11 + -1)/j*-12. Suppose -3*l = d - 20, 4*d - c = 2*d - 4*l. Is 12 a factor of d?
False
Let m = -10 + 14. Suppose -m*v + 0*v = -b - 222, -2*b + 51 = v. Is 11 a factor of v?
True
Suppose 0 = -4*u + 307 + 329. Suppose -u = o - 436. Let x = o + -197. Is x a multiple of 39?
False
Suppose 5*m - 1548 = 52*f - 50*f, -m + 316 = -2*f. Does 22 divide m?
True
Let l = 21 - 19. Suppose 0 = -2*d + 3*h + l*h + 63, -3*h = -15. Is d a multiple of 12?
False
Let c(x) = 5*x**2 - 11*x + 48. Is c(8) a multiple of 56?
True
Let p(j) be the third derivative of 2*j**5/3 - 3*j**2. Does 20 divide p(1)?
True
Let h be 10*((-28)/(-8) - 3). Suppose -2*z = 2 + 6, 0 = -3*s + h*z + 128. Is 5 a factor of s?
False
Let k(q) be the third derivative of -q**6/120 - 7*q**5/60 - q**4/24 + 7*q**3/6 - 3*q**2. Let z be k(-6). Let a = z - -35. Is a a multiple of 4?
True
Let x(k) = k**2 + 4*k - 13. Let d be x(9). Let t(i) = -3*i**2. Let w be t(0). Suppose w = -0*f + f - d. Is 26 a factor of f?
True
Let x(q) = q**2 + 7*q - 2. Let i be x(-5). Let z = 12 + i. Let g(s) = s**2 + s + 32. Is g(z) a multiple of 7?
False
Let i = 787 - 545. Is i a multiple of 34?
False
Let s be 8 + (-7)/((-14)/(-8)). Let m = 23 + -11. Suppose -4*f - s*h + m = -h, -5*h = -f + 26. Is f a multiple of 3?
True
Let p(t) = 3*t**2 + 20*t + 98. Is p(-19) a multiple of 89?
True
Let s(u) = u**3 - 6*u**2 - 4*u + 16. Let t be s(6). Let w = t - -33. Let h = w + -20. Is 2 a factor of h?
False
Suppose 2*a - z - 6040 = 4*z, a = 3*z + 3021. Is a a multiple of 45?
True
Let x = 217 - 113. Suppose 9*n - 5*n - x = 0. Does 19 divide n?
False
Let k = -41 + 101. Let r = k + -4. Does 8 divide r?
True
Suppose -5*c - 2*b + 3*b - 31 = 0, -c - 4*b = 23. Let w = c - -29. Is w a multiple of 20?
False
Suppose 0 = 2*c + 3*o - 3, 0 = -3*c - 3*o - 3. Let h = 90 + c. Suppose 3*x - 3*l = h, 5*x - 156 = -4*l + l. Is x a multiple of 10?
True
Let k = -282 + 323. Is k a multiple of 2?
False
Suppose 3*n + 4*r + 5 = 0, -4*r - 45 = -5*n - 0*r. Suppose 4*i - 4*a = 192, -2*a = n*i + 3*a - 230. Does 11 divide i?
False
Let p = 18 - -50. Suppose 4*q - 5*k = 94, k - p + 196 = 5*q. Is 14 a factor of q?
False
Let b(j) = 4*j**3 - 6*j**2 + 8*j - 6. Is 10 a factor of b(3)?
False
Suppose r + 5*o = 359, 5*r = 81*o - 80*o + 1821. Is r a multiple of 28?
True
Let u = 11 - 9. Suppose 3 = -s - u*d - 1, d + 27 = -3*s. Let v = s - -12. Is v a multiple of 2?
True
Let o(c) = -c**3 + 8*c**2 + 4*c + 10. Suppose 0*a - 8 = -a. Is o(a) a multiple of 27?
False
Suppose -20*c = -17*c - 18. Let q be (-1)/(-2) + (-54)/12. Does 16 divide c*8/(-6)*q?
True
Let p(u) = -u**3 + 2*u**2 + 1. Let c(d) = d**3 + 9*d**2 + d + 11. Let m be c(-9). Let r be p(m). Does 14 divide -1*r*(3 - 45)?
True
Suppose -1047 = -23*n - 242. Is 2 a factor of n?
False
Let 