f 1/3 + l/(-9)?
False
Let h(r) be the second derivative of -r**5/20 - 5*r**4/12 - 11*r**3/6 - 13*r**2/2 + 11*r. Is h(-6) a multiple of 10?
False
Let h(b) = -1. Let c(s) = s + 6. Let v(q) = -4*c(q) - 22*h(q). Suppose -2 = 3*z - 4*p, -5*z = -0*z - 4*p + 6. Is 2 a factor of v(z)?
True
Let p = 0 + 0. Suppose p = -5*j + j. Suppose j = 2*z - z - 1, 3*l - z - 149 = 0. Is l a multiple of 25?
True
Let f = -318 + 1854. Is f a multiple of 16?
True
Let r(d) = 51 - 4*d + 61 - 85. Is r(3) a multiple of 2?
False
Let n(m) = 2*m**2 + 5*m + 1. Suppose -z + 5*z = -16. Let r be n(z). Let b = r + -8. Is b even?
False
Let q = 35 + 36. Suppose u = -y + 19, q = -u + 5*u + 3*y. Does 9 divide u?
False
Let u = 810 - 486. Is 74 a factor of u?
False
Let a be (-6)/(12/(-278)) + -1. Suppose -w + a = -44. Does 11 divide w?
False
Let i = 34 + -26. Let m(c) = -c**2 - 44*c - 11. Let a(j) = 9*j + 2. Let n(d) = -11*a(d) - 2*m(d). Is 12 a factor of n(i)?
False
Let q be -9*((-4)/(-36)*-3 + 1). Is 216*(3 - 6 - 22/q) a multiple of 6?
True
Suppose -244 = -4*m + 5*c, -4*m = -8*m + c + 228. Suppose -m = 6*x - 10*x. Let f(b) = b**2 - 11*b + 9. Does 17 divide f(x)?
True
Let v = 10 - 15. Let l be (-145)/(-4) + v/20. Is 4 a factor of (3 - (-20)/(-8))*l?
False
Suppose 3*t + 2*y + 34 = -9, 4*y + 9 = t. Let m = -5 - t. Suppose 15 = 7*z - m*z. Is 15 a factor of z?
True
Let v = -3 - -8. Suppose 4*w - v*c - 94 = 0, 42 = 2*w - 4*c - c. Does 13 divide w?
True
Let y = 448 - 273. Is (-2)/(-4) + y/14 a multiple of 2?
False
Suppose -4*b - f = 2*f - 7, 3*f = 3*b + 21. Let c(d) = -2*d - 9. Let y be c(-6). Is y/b*110/(-15) a multiple of 10?
False
Let n(j) = -5*j - 14. Let q be n(-5). Suppose 2*l - 5*b + 38 = 0, 3*l - b - b = -79. Let x = q - l. Does 9 divide x?
False
Let y = 22 + 9. Suppose 97 + y = 4*i. Is 14 a factor of i?
False
Suppose 230 = 7*k - 3732. Does 101 divide k?
False
Let r(d) = -18*d - 19. Let g be r(5). Let z = g - -149. Is z a multiple of 4?
True
Let n(q) = 13*q**2 + 9*q + 7. Let u(j) = -j**3 + 7*j**2 - 2*j + 11. Let y be u(7). Does 10 divide n(y)?
False
Let h = 10 + -7. Suppose 0 = h*w + 5*u + 49 - 15, -56 = 2*w - 5*u. Is 17/(2 - (-33)/w) a multiple of 34?
True
Suppose 0 = 4*q - 187 - 1001. Is 27 a factor of q?
True
Suppose v = 3, -48*v + 995 = 2*s - 45*v. Is s a multiple of 17?
True
Suppose 0 = -6*w + 31*w - 3500. Is w a multiple of 4?
True
Suppose d + 3*x - 910 + 270 = 0, 0 = -d + 2*x + 665. Is 36 a factor of d?
False
Let l(n) = -2*n**2 + 36 - 37 + n**3 - n - 3*n. Let t(m) = -m**2 + 6*m - 3. Let x be t(4). Is 9 a factor of l(x)?
True
Suppose -11 = -3*f + m, -m - 4 = -4*f + 3*m. Let g(w) = w - 1. Let y be g(f). Suppose 0 = v - u - 78, 180 = y*v - u - 129. Is 18 a factor of v?
False
Let d = -525 + 880. Suppose 6*o + d = 5*s + o, 5*s + o = 361. Is 18 a factor of s?
True
Let u(l) = 40*l - 6. Let d = 30 + -28. Is 15 a factor of u(d)?
False
Let i(j) = j**2 - 5*j + 2. Let b be i(8). Let w = -18 + b. Suppose -h - w = -t + 2, 2*t = h + 18. Is t a multiple of 4?
True
Let d(b) = 5*b**2 - 8*b - 58. Is d(-6) a multiple of 10?
True
Suppose 5*t = 2*g - 6 - 5, 0 = -3*g - t + 25. Let y = g + -3. Suppose -u + 5*k = -33, -y*u - 4*k - 66 + 318 = 0. Does 12 divide u?
True
Let k(j) be the first derivative of 16*j**3/3 + 2*j**2 - 4*j + 1. Does 16 divide k(-3)?
True
Suppose 0 = -d - 17*z + 22*z + 473, -3*z + 933 = 2*d. Is d a multiple of 12?
True
Let m(k) = -1. Let j(w) = -w**2 + 2*w + 2. Let z(a) = -j(a) + 4*m(a). Is 7 a factor of z(-6)?
True
Suppose 0 = 15*r - 3953 - 6427. Is 9 a factor of r?
False
Let j be (-23*13)/(-10 + 9). Let h = j + -131. Is h a multiple of 13?
False
Does 47 divide ((-51)/12 + 5)/(7/7896)?
True
Is 2 a factor of (6 + 6 - (-2 + 3))*2?
True
Suppose 0 = 7*h - 4*h + 18. Let a(m) = -3*m - 8. Does 5 divide a(h)?
True
Suppose -5*a = -a - 4*f - 1024, -f - 1009 = -4*a. Is 29 a factor of a?
False
Let q(r) = -3*r**3 + 35*r**2 + 4*r - 12. Does 39 divide q(8)?
False
Suppose 1 + 2 = j. Let n = j - 1. Is 2 a factor of n?
True
Let q be 48/(-20) + (-6)/(-15). Let g be -6 + (1 + -2 - -1). Is 27 a factor of q/6 - 488/g?
True
Suppose 0 = p - 2*p + 38. Suppose -s = 2*x - 6, -4*s - 4*x = 2 - p. Suppose 0 = -s*t + 9*t + 39. Is 10 a factor of t?
False
Let u = 8 - 17. Is 2/u - 0 - 14000/(-225) a multiple of 14?
False
Suppose 2*h = -331*y + 327*y + 23228, -y = h - 5805. Does 92 divide y?
False
Let g = -232 + 513. Suppose -l = 4*l - 15. Suppose -1 = l*y + 2*i - g, 5*i = -5. Is 27 a factor of y?
False
Let y = 1048 - 569. Is y a multiple of 20?
False
Let c(f) = -6*f - 4. Let z(a) = a + 5. Suppose 4*r = 3*u - 31, 0*u = r - 3*u + 10. Let n be z(r). Is 8 a factor of c(n)?
True
Suppose 0 = 5*w + 474 + 446. Let f = 291 - w. Is 30 a factor of ((-4)/5)/((-10)/f)?
False
Let j(x) = 2*x**2 - 10*x**2 + 7*x + 4 + 10*x**2 + 6. Is 5 a factor of j(-5)?
True
Let r = 37 + 27. Is r a multiple of 8?
True
Let w(m) = 2*m**2 - 6*m - 77. Is w(-17) a multiple of 9?
True
Let s = -59 - -334. Is 8 a factor of s?
False
Let d be (9/(-27))/((-1)/6). Suppose 0 = 4*t - 12, 0*t - t = d*j - 221. Does 18 divide j?
False
Let u = 7 + -3. Suppose 0 = 3*s + 12, 0 = -u*a - 2*s + 6*s - 176. Is 22 a factor of 2*a/(-9)*3?
False
Let n be 10*((-2)/(-6) - 93/(-45)). Suppose -3*p = -48 - n. Is p a multiple of 8?
True
Is (-11 + 2)*(-1)/((-7)/(-7)) a multiple of 2?
False
Let v(f) = 69*f + 23. Is v(26) a multiple of 23?
True
Let r(h) = h**3 + 12*h**2 - 11*h + 31. Let v be r(-13). Suppose y + 4*m - 12 = 0, -17 = -2*y - 0*y - m. Suppose y*l - v*l - 27 = 0. Is l a multiple of 9?
True
Let i be 0*((-6)/(-10) + 6/15). Suppose -2*v + 468 = -i*v. Is 18 a factor of v?
True
Let c(o) = o**2 + 5*o - 11. Let f be c(-7). Suppose 3*k + h = 8 - 2, 4*k + 5*h + f = 0. Suppose 2*t - 10 = 0, -4*t = s - k*s + 68. Is 11 a factor of s?
True
Let r = 5 + 32. Suppose -205 = -5*h + 3*z - 8*z, -h + r = 5*z. Is 14 a factor of h?
True
Let p be 0 + 1 + 0/(-3). Suppose -3*d = p - 16. Suppose 2*h = n + 12, -3*n + n = d*h - 30. Is h a multiple of 5?
False
Suppose -6*x + 42 = -3*x. Suppose 0 = 2*m - 10, -f - m + x = 2. Is f a multiple of 3?
False
Is -2 + -7 + (141 - 46) a multiple of 43?
True
Suppose -56*k + 1344 = -54*k. Is k a multiple of 42?
True
Suppose -693 = 4*f + 815. Let r = f + 589. Is r a multiple of 13?
False
Suppose 0 = 2*t + 3*j - 7*j - 918, 0 = 4*t - 3*j - 1821. Is 12 a factor of t?
False
Let n = 662 + -126. Is n a multiple of 20?
False
Suppose 12*v - 181 = 107. Suppose v*h = 11*h + 169. Does 4 divide h?
False
Suppose 14*h = 15*h - 921. Is h a multiple of 35?
False
Let v = -100 - -148. Suppose -v = -7*i + 267. Does 9 divide i?
True
Suppose 0 = -0*o + 2*o. Suppose 12*h - 21*h + 243 = o. Is 8 a factor of h?
False
Let x = 609 + -585. Is x a multiple of 23?
False
Let u(c) = c**2 + 8*c + 10. Let v be u(-7). Suppose -4*j + 2*j + 5 = v*k, -4*j + 45 = -k. Does 2 divide 42/j - (-2)/(-10)?
True
Let p = 49 - -51. Let u = -38 + p. Is u a multiple of 21?
False
Let r(z) be the first derivative of 5*z**3/3 + z**2 + 15*z + 43. Is r(-6) a multiple of 61?
True
Let o(v) = 1. Let p(c) = 6*c - 4. Let z(y) = -3*o(y) + p(y). Let q be z(7). Suppose -3*n - q = -143. Is n a multiple of 12?
True
Let x(q) = q**3 - 5*q**2 - 3*q + 7. Let d be x(6). Suppose 4*k - 7 = d. Is k a multiple of 7?
False
Let u = -36 + 41. Suppose -u*q + 58 = -497. Is q a multiple of 16?
False
Let x(t) be the third derivative of -67*t**4/24 - t**3/6 - 13*t**2. Is 22 a factor of x(-1)?
True
Let c = 229 + -136. Suppose 5*b + 2*w - 6*w - 137 = 0, -3*b + c = 3*w. Does 5 divide b?
False
Let p(u) = u**2 - 6*u + 4. Let r be p(5). Let x be (-22)/143 + (-805)/91. Let w = r - x. Does 8 divide w?
True
Suppose -4*o = 9*o - 16107. Is o a multiple of 21?
True
Let c(l) = 13*l**2 - 3*l - 72. Does 22 divide c(8)?
False
Suppose 0 = 8*n - 6*n - 2460. Suppose t + 2*o - n = -3*t, -4*t + 1250 = -2*o. Is t a multiple of 15?
False
Let i = 1876 - 1562. Is i a multiple of 16?
False
Suppose -2*c = -0*c - 30. Does 2 divide (-39)/(-15) - c/25?
True
Suppose -1031 - 153 = -5*n - 3*r, 220 = n - 5*r. Is n a multiple of 15?
False
Suppose -3*i - 9 = -12. Does 17 divide (-2 + i)*(-25 - -8)?
True
Let y = -163 + 167. Is y a multiple of 2?
True
Suppose -2*a - 48 = 2*w, 3*a + 39 = -5*w - 33. Does 7 divide ((-90)/a)/((-3)/(-28))?
True
Is (408/(-18))/(3*4/(-90)) a multiple of