7. Is t a multiple of 4?
True
Let h = 69 + -17. Let y = h + -36. Is y a multiple of 10?
False
Let f(g) be the second derivative of -g**5/120 + 7*g**4/24 + g**3/6 - 5*g. Let x(s) be the second derivative of f(s). Is x(-6) a multiple of 9?
False
Let t = 7 + -1. Let j(h) be the second derivative of 5*h**3/6 + 7*h**2 - 213*h. Is 9 a factor of j(t)?
False
Let y(f) be the second derivative of 0 + 1/20*f**5 - 2/3*f**4 - 2*f**3 + f - 7*f**2. Is 33 a factor of y(10)?
True
Let w(x) = x + 5. Let g be w(-3). Suppose g*k + 0*k = 110. Suppose 3*a - k = -4*n, -a - 3*n + 2*n + 19 = 0. Is 7 a factor of a?
True
Let c(b) = -b**2 + 10*b + 15. Let d be c(11). Suppose -3*n - p + 3*p + 11 = 0, d*n + 4*p + 12 = 0. Is 15*n*36/10 a multiple of 18?
True
Let q(v) = -v**2 - 11*v - 16. Let l be q(-9). Suppose 64 = l*m + 5*y, y + 40 = m + m. Is m a multiple of 6?
False
Suppose 5*m - 19 = 3*i, m - 3*i + 4*i + 1 = 0. Does 25 divide (m - (-16)/(-6))*-75?
True
Let c = -68 - -130. Suppose o - 8 = c. Does 18 divide o?
False
Suppose 0 = 4*h + 3*a - 134, -3*h - 3*a + 152 - 53 = 0. Let l = -14 + h. Let g = l + -10. Is g a multiple of 3?
False
Suppose -574 = -y - 4*t - 180, 1948 = 5*y - 2*t. Suppose 15*s - 21*s = -y. Is s a multiple of 13?
True
Let n = -2289 - -5840. Does 39 divide n?
False
Let h(r) = r**3 + 6*r**2 + r - 26. Let a be h(-5). Let k(c) = -2*c**3 - 9*c**2 - 3*c + 11. Is 25 a factor of k(a)?
False
Suppose 16368 = -150*t + 162*t. Is t a multiple of 62?
True
Let u = -686 + 1526. Is u a multiple of 21?
True
Let k = -13 + 29. Suppose -k = -9*p + 5*p. Does 24 divide 82/6*(7 - p)?
False
Suppose -6*x + 4*x - 132 = 0. Is (5/((-5)/x))/(-29 + 30) a multiple of 11?
True
Let w = -494 + 1069. Is 25 a factor of w?
True
Let n(d) = 257*d**3 + d**2 - 1. Let l be n(1). Let k = -352 - -357. Suppose -4*f = k*b - 271, f - 2 = -5*b + l. Does 17 divide b?
True
Let v(c) = -4*c**2 + 3*c - 2. Let u be v(2). Let d be -3*1/(3/u). Let l = 56 + d. Is 10 a factor of l?
False
Let h = 37 - 35. Let b(m) = 7*m - 4. Is b(h) a multiple of 5?
True
Let q(p) = -p**3 - 12*p**2 - 11*p + 2. Let z be q(-11). Let y = -72 - -120. Suppose r + 2*g - 34 = 0, -z*r - 1 = -3*g - y. Does 4 divide r?
True
Suppose 2*x = -5*t - 3 - 16, -5*t - 5*x = 10. Let d = 29 + t. Suppose 0 = -a - 3*a + d. Is 3 a factor of a?
True
Let a(h) = -h**2 + h. Let i(z) = 3*z**3 - 3*z**2 - 5*z + 4. Let b(t) = -5*a(t) + i(t). Is 19 a factor of b(4)?
False
Suppose -5*c + 3721 = -2*x + 917, 5*c - 2825 = -5*x. Suppose 4*v = -y + 749, 5*v + y - c = 2*v. Let u = -112 + v. Does 25 divide u?
True
Suppose 39 = 5*n + 9. Let i be (2 - -85)/(n/4). Let r = i - 30. Does 16 divide r?
False
Suppose 6*b + 2*a + 4 = b, 4*b - 1 = -3*a. Let o be b/7 + 792/28. Let m = o - 17. Is m a multiple of 3?
False
Let v = -25 + 45. Suppose 3*z - v = 31. Is 2 a factor of z?
False
Suppose -6*v = 4*w - 4*v - 332, -5*w = -5*v - 445. Suppose k + w = j - 0*k, -255 = -3*j + k. Does 19 divide j?
False
Let k(j) = -12*j + 1. Let o be k(-2). Suppose 2*c + 5*z = 24, -3 = c - 4*z - z. Suppose -c*w = -2*w - o. Does 4 divide w?
False
Let w be 7 - -1*(3 + -5). Let b(v) = v - 1. Let q be b(w). Suppose -4*j + 7*s - 2*s + 45 = 0, -4*s = q*j - 36. Is 10 a factor of j?
True
Suppose h - 18 = 9. Let l = -19 + h. Suppose -208 = -4*k + l. Is k a multiple of 18?
True
Suppose -4233 = -12*h + 4839. Is 22 a factor of h?
False
Let l(w) = -1 + 5*w - 3 - 9 + 4*w + w**2. Is l(7) a multiple of 20?
False
Suppose -54*g - 15*g = -1449. Let m be -2*((-22)/4 + 1). Suppose 0 = -p + m + g. Is 12 a factor of p?
False
Let j be (-15)/(-6)*(-56)/35. Let b be j/(-6) - (-256)/12. Suppose 25*t - b*t = 36. Is t a multiple of 6?
True
Suppose p - 25 = 4*h, -25 = 5*h - 0. Suppose -p*m + 15 = -0. Suppose -2*w = 4 - 2, -m*w = -3*d + 36. Is d a multiple of 11?
True
Let q(t) = 31*t**2 + 1. Let a(n) = n**2 - n. Let s(l) = 2*a(l) + q(l). Is s(1) a multiple of 6?
False
Let o be (-1)/(9/6 - 2). Let j(m) = 5*m. Let r(g) = -16*g - 1. Let v(h) = 7*j(h) + 2*r(h). Is 4 a factor of v(o)?
True
Let n be 3/2 + (-5)/4*6. Does 16 divide 3*24/(-27)*n?
True
Let b(l) = 28*l**3 - l**2 + l + 2. Let p be b(2). Suppose 2*a - p = -2*a. Does 13 divide a?
False
Suppose -u + 6*u - 25 = 0. Suppose -a - 5*n = -2*a + u, 2*n = -5*a + 25. Suppose 2*j - 28 = -4*y, -a*j - 4*y = -j - 56. Is 7 a factor of j?
True
Let q(o) = 8*o + 11. Let c(p) = -7*p - 26. Let i be c(-4). Does 10 divide q(i)?
False
Suppose -2*d - 5 = -3*b, 3*d = 4*d - 5*b + 13. Let f be 15 + -2 + d/2. Is 5 a factor of 206/f - 6/(-21)?
True
Let w be (-7)/2*(-10 - -8). Let g(y) = 2*y**2 + 6*y + 2. Let o(f) = f**2 + f - 1. Let d(a) = -g(a) + 3*o(a). Does 13 divide d(w)?
False
Let w = -28 + 27. Is 8 a factor of (-11 + (1 - -2))/w?
True
Let a(k) = -2*k**2 + 6*k + 4. Let h be 0 + 3 + 16/4. Let r be a(h). Is 3 a factor of (6 - 1)*r/(-65)?
False
Suppose 0 = -2*j - 2*o - o + 65, -3*j = -2*o - 65. Let v = j + -31. Let d(r) = r + 16. Is d(v) a multiple of 4?
False
Let s = 335 + -232. Let x = -61 + s. Is 6 a factor of x?
True
Suppose 8*s = 13*s - 15. Suppose -4*l + 13 = i, 5*l - s*l + 56 = 2*i. Does 2 divide i?
False
Suppose -y = 5*p - 25, -3*y - 44 = -5*p - 19. Suppose 0 = -5*i - 0 - p. Is 2 a factor of (i - -6) + (-15)/5?
True
Let d be ((-7632)/(-90))/((-2)/(-5)). Suppose -8*y = -292 - d. Is y a multiple of 21?
True
Let i(a) = -a**2 + 9*a - 12. Let d be i(7). Suppose d*v = v + 115. Is 37 a factor of v?
False
Let c = -4 + -2. Let a(q) = -q**3 - 6*q**2 + 9*q + 7. Let n be a(c). Let f = -28 - n. Does 7 divide f?
False
Suppose -7560 = 24*f - 48*f. Is f a multiple of 9?
True
Let u(q) = 12*q + 8. Let k = 37 + -32. Is 34 a factor of u(k)?
True
Let o(z) = 2*z**3 + 2*z**2 - 2*z + 2. Suppose 0*w + 2*w - 26 = -2*h, -2*h + 5*w - 2 = 0. Suppose -h = -7*y + 4*y. Is o(y) a multiple of 34?
True
Suppose -4*q = 2*z - 6, 3*z + 2*q - 13 = -2*q. Let b(y) = y**2 - 14. Does 5 divide b(z)?
True
Suppose 5*p - 150 = -10. Let x = p + -26. Suppose 0 = x*f + 9 - 29. Is 7 a factor of f?
False
Is (69/4)/((-45)/(-7320)) a multiple of 15?
False
Suppose 0 = -4*y - 0*y + 12, h = -4*y + 109. Suppose -101*w + 960 = -h*w. Is w a multiple of 48?
True
Let r(o) = -2*o**3 + 2*o**2 + o. Let h be r(-1). Let f = 52 + -50. Suppose -h*d - f*d = -290. Does 21 divide d?
False
Suppose 0 = 5*s - 2072 + 412. Let u = s + -211. Is u a multiple of 21?
False
Suppose 60*l + 224 = 64*l. Is 5 a factor of l?
False
Suppose 2*f = -190 + 28. Let r = f - -169. Is 22 a factor of r?
True
Let q(n) = 12*n - 3. Let b be q(4). Is (12/9)/(1/b) a multiple of 15?
True
Let w = -460 - -550. Is 10 a factor of w?
True
Let r = 280 + -137. Suppose -z + 2*n + r = 40, 3*n + 15 = 0. Suppose 4*i - 7*i = -z. Is i a multiple of 10?
False
Suppose 2*h + 3276 = 19*r - 15*r, -4*r + 5*h = -3288. Is r a multiple of 11?
False
Suppose 5*p - 216 - 79 = 0. Does 15 divide p?
False
Suppose -o - 116 + 704 = 0. Is o a multiple of 84?
True
Let b(l) = l - 4. Let v be b(5). Let u(j) = 105*j**2 - 2*j + 1. Is 26 a factor of u(v)?
True
Suppose -17*v - 5*x - 189 = -19*v, 4*x = -4*v + 392. Does 10 divide v?
False
Suppose 185 = 17*t - 529. Let z = t + 3. Is z a multiple of 2?
False
Suppose 2*f = -7*f + 675. Suppose -2*s + f = b, 3*s + 0*b = -4*b + 125. Is s a multiple of 3?
False
Let w be (9/(-12))/3 - (-233)/4. Let f = 98 - w. Does 6 divide f?
False
Let l(j) = 4*j**2 - 2*j + 53. Let p(k) = -13*k**2 + 6*k - 159. Let b(x) = 7*l(x) + 2*p(x). Is b(0) a multiple of 19?
False
Let o(y) be the third derivative of -y**5/60 - y**4/3 + y**2. Let s be o(-8). Suppose 0 = -s*u + 4*u - 44. Is u a multiple of 11?
True
Suppose -59*r - 2686 + 13070 = 0. Is r a multiple of 4?
True
Let v be (-1 - -11)*15/6. Let s = 3 + v. Is s a multiple of 7?
True
Suppose -f + 0*f = 113. Let i = -39 - 18. Let t = i - f. Does 17 divide t?
False
Let k = 11 - 6. Suppose 9*p - 4*p - 12 = y, 2*p - 48 = -k*y. Suppose -y*j + 165 = 3*u - 3*j, -2*j = 0. Does 12 divide u?
False
Let f be ((-148)/(-8))/(3 - 4)*2. Let i = 17 - f. Is i a multiple of 27?
True
Let b = -1 + 12. Let t = 18 - b. Let o = t + -5. Is 2 a factor of o?
True
Let g(z) = -8*z + 56. Let y be g(-6). Let t = y + 47. Does 37 divide t?
False
Suppose -5*t - 6 = -181. Is 33 a factor of t?
False
Let d(b) = b**2 + 19*b + 5. Let m = -22 - -3. Is 5 a factor of d(m)?
True
Suppose -408 = 18*n + 2166. Let