 be w(t). Suppose -3*h - a*m = -11 - 67, -3*m - 39 = -2*h. Does 5 divide h?
False
Let p(r) be the second derivative of r**3 + 13*r**2 + r. Suppose 35*f + 12 = 37*f. Is p(f) a multiple of 14?
False
Let v(o) = 3*o**2 + 22*o + 160. Is v(-9) a multiple of 7?
False
Let d(z) = -3*z**3 + 6*z**2 - 17*z - 15. Let n(b) = -4*b**3 + 9*b**2 - 25*b - 23. Let q(r) = 7*d(r) - 5*n(r). Is 16 a factor of q(-5)?
False
Suppose -50 = -17*x + 18*x. Is (-680)/x + (-2)/(-5) a multiple of 3?
False
Let y(u) = u**3 - 16*u**2 + 15*u - 8. Let d be y(14). Let q = d - -319. Is q a multiple of 32?
False
Suppose 3*d + 6*m - 2*m - 170 = 0, -164 = -3*d - m. Suppose -8*v + d = -5*v. Is 12 a factor of v?
False
Let x(a) = -a + 6. Let z be x(10). Is 4 a factor of 2250/81 + z/(-18)?
True
Is (1*-420)/(-15)*(43 + 0) a multiple of 14?
True
Suppose w + 32049 = 28*w. Does 40 divide w?
False
Let u(a) = a**2 - 2*a + 2. Let q be u(2). Let j(n) = 10*n**2 - 5*n**2 + 25 + 4*n - 4*n**2 - q*n. Is j(0) a multiple of 4?
False
Suppose i + 3*i = -8. Let r be (-3 - 6) + (-2 - i). Does 15 divide (-2 - 0) + (r - -56)?
True
Let b be (-81)/(-45)*(-10)/(-3). Is 75*b*(-8)/(-60) a multiple of 10?
True
Suppose -5*u - 9 = 1. Does 8 divide 1*((3/3 - u) + 149)?
True
Suppose -6*f + 7*f + 1646 = 5*a, -325 = -a - 4*f. Does 11 divide a?
False
Let i(t) = 2*t**2 - 8*t + 10. Let j(z) be the third derivative of -z**6/120 + 3*z**5/20 - 7*z**4/24 - z**3/6 - 2*z**2. Let b be j(8). Is 13 a factor of i(b)?
True
Let t(g) = 2*g + 8. Let l be t(9). Suppose 0*y = -y + l. Suppose -d + y = -0*d. Does 13 divide d?
True
Suppose -33*g = -38*g + 1755. Is g a multiple of 15?
False
Let b = -390 - -600. Let m = -42 + b. Is 56 a factor of m?
True
Suppose 2*q + 78 + 22 = 0. Is ((-90)/q)/(1/15) a multiple of 12?
False
Suppose -60 = -10*l + 4*l. Let w(m) = -21 + m + l + 9. Is 4 a factor of w(12)?
False
Let u(l) = l**3 - 3*l**2 + 2. Suppose -7*p + 2*p + 15 = 0. Let j be u(p). Suppose 76 = 2*i - 0*t + 4*t, -j*t + 8 = 0. Does 15 divide i?
True
Let u = 127 - -713. Is 28 a factor of u?
True
Let z = 13 - 8. Let q(r) = -r**2 + 5*r. Let l be q(z). Is 13 a factor of 1 + (47 - l - -4)?
True
Let l(j) = -6 + j**2 + 0*j + 8*j - 2*j**2. Suppose a - 6 = -q + 3*q, 5*a + 2*q = 18. Is 2 a factor of l(a)?
True
Let i(u) = 2*u + 53. Let f be i(-27). Is 32 a factor of (-96)/(f*(4/8 + 1))?
True
Let p(m) = -m**2 + 4*m + 8. Let k be p(5). Suppose 3*x + n = 71, 0*n - k*n + 103 = 4*x. Does 10 divide x?
False
Let s = 6 - 3. Let f = 172 - 99. Suppose s*a - 14 - f = 0. Does 13 divide a?
False
Is 21 a factor of (-3 - 50/(-18)) + (-4252)/(-18)?
False
Let z be 18/(-12)*2/(-3). Suppose l - 11 = -z. Suppose 17*w = 15*w + l. Is w even?
False
Let j(k) = 2*k + 5. Let x be j(10). Let i = -8 + x. Does 17 divide i?
True
Let w = 130 - -1438. Is 18 a factor of w?
False
Let o(c) = c**3 - 15*c**2 + 20*c - 14. Let r be (-112)/12*((-15)/2)/5. Is 7 a factor of o(r)?
True
Let l(h) be the third derivative of -7*h**4/24 - 3*h**3 - 3*h**2. Is 10 a factor of l(-4)?
True
Let n(a) = a**3 - 6*a + 5. Does 13 divide n(3)?
False
Is (-2)/4 - (-4062)/12*1 a multiple of 27?
False
Let y(u) = u**3 - 2*u**2 - u + 5. Let w be y(4). Suppose o + h = 13, 4*o + w = 5*o + 5*h. Suppose 4*g + o = 6*g. Is g a multiple of 2?
True
Suppose 0 = -o + 4*p - 14, 5 + 12 = -o + 5*p. Let k be (o/(-6))/(7/126). Suppose -3*j - 4*r = -k*r - 114, -j - r + 43 = 0. Is 20 a factor of j?
True
Suppose 0 = 36*b - 24*b - 21744. Does 12 divide b?
True
Let r(i) = 11*i**3 - 2*i**2 + 1. Let t = -24 + 25. Let s be r(t). Suppose x = -5*f - 2*x + 480, 0 = 2*x + s. Is f a multiple of 21?
False
Let z(o) = -4*o + 52. Let m be z(12). Is (-1 - 66/30)/(m/(-130)) a multiple of 15?
False
Suppose 4*l + 0*n = 3*n - 1185, -4*l = 3*n + 1191. Let a = -209 - l. Does 22 divide a?
True
Suppose a + 104 = -z, 0 = -5*z + 4 + 11. Let o = -59 - a. Is o a multiple of 24?
True
Suppose 0 = -6*t + 46 - 250. Let s = 100 - 53. Let b = t + s. Is 3 a factor of b?
False
Suppose -4*g + 2*a + 63 = -3*a, -4*g + 3*a = -73. Let l = g - 8. Does 7 divide l?
True
Let n(s) = -40*s + 40*s - 2*s**2 + 48*s**3 + 39*s**3 + 2. Is n(1) a multiple of 17?
False
Let g(m) = 9*m - 15. Let q be g(8). Let j = q - 21. Is j a multiple of 9?
True
Suppose -5*y = -5*f - 2*y + 185, 4*y = 3*f - 111. Is f a multiple of 11?
False
Suppose -2387 = -13*m - 437. Does 6 divide m?
True
Suppose -4*n - 20 = 0, -3 = -3*d - 2*n - 4. Suppose -d*j = -j - 138. Suppose -c + j = -0*c. Does 23 divide c?
True
Let w(k) = -10*k**2 + 46*k - 30. Let l(r) = 2*r**2 - 9*r + 6. Let f = 17 + -6. Let z(p) = f*l(p) + 2*w(p). Is 10 a factor of z(4)?
True
Suppose 4*n - 15*n + 1650 = 0. Suppose -2*v + n = -90. Does 10 divide v?
True
Let m = -46 - -28. Let k = 5 - m. Does 9 divide (k + -2)/(9/6)?
False
Let t be (-77)/(-22) - 3/(-2). Let b(f) = -f**3 + 8*f**2 - 12*f + 3. Does 6 divide b(t)?
True
Let j(g) = g + 4. Let b be j(-6). Does 14 divide (-7 - 89)*b/2?
False
Is (-4)/(-5) - (-12252)/60 a multiple of 37?
False
Let b(y) = 6*y**2 + 5*y + 3. Let m be b(-3). Let z = m + -13. Let s = 62 - z. Is s a multiple of 9?
False
Let i(w) be the first derivative of -w**4/2 - 5*w**3/3 + 7*w - 7. Is 12 a factor of i(-4)?
False
Does 46 divide 89 + (8 - 2) - 3?
True
Let w(h) = h**2 + 17*h + 85. Is 10 a factor of w(-19)?
False
Let o(c) = -5*c**2 - 6*c - 19. Let t(m) = -11*m**2 - 12*m - 38. Let g(j) = 13*o(j) - 6*t(j). Does 7 divide g(10)?
True
Suppose 2*i + 2 - 8 = 0. Suppose -81 - 125 = -i*o + z, 0 = 5*o - 3*z - 338. Is 26 a factor of o?
False
Let y(t) = -3*t**3 - 25*t**2 + 3*t - 12. Let w(g) = -8 + 7 + 13*g**2 - g + 2*g**3 + 7. Let b(h) = -5*w(h) - 3*y(h). Is b(9) a multiple of 12?
False
Let b(m) = -m**3 + 7*m**2 - 3*m - 16. Let d be b(6). Suppose -973 = -9*n + 4*n + u, 0 = d*n + 2*u - 394. Is 13 a factor of n?
True
Let x(k) = 2*k**2 - 10*k - 1. Let a(b) = -b**2 + 9*b. Let w(l) = 3*a(l) + 2*x(l). Let o be w(-7). Is 17 a factor of (o - -5)/((-6)/(-68))?
True
Suppose 0*v + 3*v + c = 1584, 3*c - 2640 = -5*v. Does 24 divide v?
True
Let b(v) = -v**3 + 3*v**2 + 2*v + 3. Let q be b(4). Let z(i) = -20*i - 30. Let d(m) = -3*m - 5. Let k(u) = -25*d(u) + 4*z(u). Is 10 a factor of k(q)?
True
Let m be 1/(4/(-12)) - -8. Suppose -63 = -m*g - 0*d - 3*d, 4*g + 5*d = 53. Is g a multiple of 4?
True
Let s = -39 - -44. Suppose -2*h + s*o + 330 = 0, h = o + o + 165. Is h a multiple of 15?
True
Let k(c) = c**3 + 3*c**2 - 5*c - 4. Let a be k(-3). Suppose 2*x - a - 1 = 0. Suppose -x - 2 = -i. Is i a multiple of 4?
True
Suppose 10*u - 450 = 2620. Is 2 a factor of u?
False
Let f = -232 - -502. Suppose -31 = -q + f. Suppose -8*c = q - 989. Is c a multiple of 11?
False
Let g = 5 + 0. Let v = g - 7. Is (92/(-2))/(4/v) a multiple of 5?
False
Let k(o) = -3*o - 13. Let l be k(-6). Suppose 0 + 19 = n - 4*s, -2*n + l*s + 47 = 0. Is 11 a factor of n?
False
Suppose 1071 = -5*c + 12*c. Is c a multiple of 9?
True
Suppose -4*r + 92 = -208. Let p = r + 1. Is p a multiple of 19?
True
Suppose 5*j = 163 + 207. Does 30 divide j?
False
Let u = 164 - 80. Is 7 a factor of u?
True
Is 36/2 - (28 + -28) a multiple of 18?
True
Suppose -12*f + 13*f = -145. Let b = f + 158. Does 3 divide b?
False
Suppose -3*z + 3*h = -0*h, 0 = 5*z + 5*h - 50. Let u(j) = j - 3. Let f be u(z). Suppose -f*g + c - 5*c = -88, 97 = 3*g - c. Is 9 a factor of g?
False
Suppose z + 6 = -0*z. Let w be 3/z*(1 - 1). Does 5 divide -2 + 51/(w + 3)?
True
Suppose 5*f + 2*v - 1410 = 0, -2*v - 1410 = -5*f + v. Suppose 5*h = 2*h - f. Let k = -52 - h. Is 12 a factor of k?
False
Let s(f) = 166*f - 100. Is 17 a factor of s(3)?
False
Let t be (13/(117/150))/(4/6). Suppose -t*p - 13 = -26*p. Is 13 a factor of p?
True
Let c(m) = 13*m**3 + m. Let q(a) = -53*a**3 - a**2 - 5*a. Let k(x) = -9*c(x) - 2*q(x). Let p = 220 + -221. Is k(p) a multiple of 6?
True
Let o(x) = 3*x**2 - 2*x + 2. Suppose -6*q + 55 = -q. Suppose -2 = 10*w - q*w. Is o(w) a multiple of 10?
True
Let l = 182 - 111. Suppose 2*v - l = 449. Is 40 a factor of v?
False
Let j(a) = 182*a**3 + 8*a - 8. Is 15 a factor of j(1)?
False
Let n = 21 - 6. Let o = 25 - n. Is 14 a factor of (-1272)/(-30) + (-4)/o?
True
Suppose 473*d = 462*d - 11. Let o(u) be the third derivative of -2*u**6/15 + u**5/60 + u**4/12 + u**3/6 - u**2. Does 3 divide o(d)?
False
Let g = -34 + 37. Let v(f) = -f + 1. Let