 0 = -3*s + c + 2412, -4*s - 12*c = -14*c - 3218. Does 27 divide s?
False
Let h(l) = -48*l**3 - 6*l**2 - 15*l - 29. Is 33 a factor of h(-3)?
False
Let d = 927 + -703. Is 28 a factor of d?
True
Let k = -38 + 23. Does 24 divide (-8)/(-60) - 1033/k?
False
Suppose 11*y - 122 = 9*y. Let i = y + -37. Is 8 a factor of i?
True
Let t(w) = w**3 - 24*w**2 + 27*w - 21. Is t(23) a multiple of 71?
True
Let t = -1138 + 2226. Is t a multiple of 4?
True
Let p(r) be the first derivative of 11/2*r**2 - 3 + r. Is 27 a factor of p(8)?
False
Let a(j) = 48*j + 3 + 1 - 5. Let f be a(3). Let x = 206 - f. Is x a multiple of 24?
False
Suppose -9*u + 7277 = 10*u. Is u a multiple of 9?
False
Suppose -5 = 5*m - 25. Let l be m/(-18) + 47/9. Suppose 3*y - 149 = l*o, 3*y = o + 214 - 69. Is y a multiple of 16?
True
Suppose -219 = -12*c + 933. Suppose 3*t - q = -0*q + c, 2*t - 64 = q. Does 10 divide t?
False
Suppose 4*q - 17 = 2*a + 133, -5*q + a + 195 = 0. Does 5 divide q?
True
Let l be 0/(1 + (2 - 1)). Let w = 71 - 66. Suppose 5*c - 153 = -3*j, l*c = -3*c - w*j + 95. Is c a multiple of 7?
False
Let i(l) = l**2 + 6*l - 5. Let y be i(-7). Suppose -4*c + 6 = -2*z, 4 = y*c + z - 1. Suppose 213 = c*s + s. Is 18 a factor of s?
False
Let q(g) = -3*g - 16. Let r be q(-6). Suppose j = 5*f - 4 - 25, 3*j + 12 = 0. Let z = r + f. Does 7 divide z?
True
Let z(k) be the first derivative of 1/2*k**2 - 4 + 11*k - 7/3*k**3 + 1/4*k**4. Is 9 a factor of z(7)?
True
Suppose -8*s - 2 - 142 = 0. Is 4/s + (-454)/(-18) even?
False
Suppose 0 = -14*r + 8*r + 1050. Does 35 divide r?
True
Let a(m) = -2*m - 12. Let x be 3 + (-2 - (0 + -1)). Suppose -3*b = -x*b + 10. Does 5 divide a(b)?
False
Suppose 175 = 2*i - 5*l, -5*i + 15*l - 10*l = -400. Does 25 divide i?
True
Let n(d) = 5*d - 4. Let v be n(4). Let a(h) = 4*h - 11 + 2*h + 47 - 28 - h. Is a(v) a multiple of 22?
True
Let y = -1 + 3. Let p be (-5)/2*56/(-35). Suppose f = 5*q + 48, -192 = -p*f - y*q + 3*q. Is f a multiple of 16?
True
Is 17 a factor of 2/(-5) - (-3567)/205?
True
Suppose 314 = -5*t + 3*t. Let d = t - -229. Is d a multiple of 6?
True
Suppose -3*p - c = -8, 5*p + 6 = 6*p + 2*c. Suppose -p*r - 594 + 24 = -5*y, -114 = -y + 3*r. Is 19 a factor of y?
True
Suppose -3*v + 2*v = -101. Suppose u = -3, 3*u = 3*s + 2*s - 29. Suppose 3*a - v = 5*b - 10*b, a - s*b = 28. Is 14 a factor of a?
False
Suppose n = 4*c + 1189, -7*n + 9*n + c - 2378 = 0. Does 30 divide n?
False
Let t(n) = -2*n**2 - 13*n - 32. Let x be t(-10). Does 18 divide (-11 + 6)*x/5?
False
Let s = 123 + -81. Suppose 0 = -2*b - s + 122. Does 10 divide b?
True
Let s(q) = 21*q. Let p = 45 - 44. Is 7 a factor of s(p)?
True
Let f(o) be the first derivative of 1/2*o**2 + 4*o + 5 - 7/4*o**4 - 1/3*o**3. Does 27 divide f(-2)?
True
Let o = 7 + -4. Let q(f) = 17 - 168*f - f**o + 166*f + 1. Is 9 a factor of q(0)?
True
Suppose -6*l = -5*l + 1, 3*l = -c + 8. Is c a multiple of 3?
False
Let t = -781 - -1146. Is t a multiple of 13?
False
Let l = -23 + 23. Suppose -3*w + 0*w = l. Suppose 5*x = 15, -4*b - 2*x + x + 131 = w. Is b a multiple of 16?
True
Suppose 4*r - 4*x - 608 = 0, -5*r + x - 3*x = -746. Is 15 a factor of r?
True
Is 5 a factor of 624/364*(-630)/(-4)?
True
Let c(s) = 3*s**2 - 3*s - 158. Is 6 a factor of c(-16)?
False
Let g = 1965 - 808. Suppose z + 4*s = -0*s + 592, 2*z - g = s. Is 2/(-12) - z/(-24) a multiple of 8?
True
Suppose -11*s + 14289 = -0*s. Is s a multiple of 36?
False
Let x(c) = c - 5*c**2 - c**3 + 1 + 13*c**2 - 8*c**2. Does 7 divide x(-2)?
True
Let i(j) = 30*j**2 - 3*j - 22. Is i(-4) a multiple of 10?
True
Suppose -2*q - 6 = 2*f - 14, 14 = 5*q - f. Suppose q*s + 192 = 3*g, -4*g + 89 = 5*s - 185. Does 6 divide g?
True
Let h(t) = -3*t**2 + 5*t + 17. Let d(z) = 4*z**2 - 5*z - 16. Let p(c) = 2*d(c) + 3*h(c). Let v be p(8). Let j = 55 - v. Does 12 divide j?
True
Let d(x) be the third derivative of x**4/8 + 31*x**3/3 - 5*x**2. Is d(0) a multiple of 28?
False
Suppose -12*l + 15668 = 8. Is l a multiple of 59?
False
Let s(y) = y + 8. Let z be s(-5). Let f(w) = -2*w**2 - 3*w + 11. Let p be f(-6). Is 5 - 3 - (p - z) a multiple of 12?
True
Let u(v) be the third derivative of -v**2 + 13/60*v**5 + 1/120*v**6 + 0*v + 8/3*v**3 + 0 + 0*v**4. Is 5 a factor of u(-13)?
False
Suppose 0 = i + 4*n - 0 + 14, 0 = -2*i + 2*n + 12. Let o be i*-2 + (-25 - -9). Is (-17 - -2)*16/o a multiple of 6?
True
Let g(m) = 2*m**3 - 18*m**2 - 30*m + 22. Let v(j) = j**3 - 9*j**2 - 15*j + 11. Let t(w) = 3*g(w) - 5*v(w). Let n be t(10). Let i = -10 - n. Is 12 a factor of i?
False
Let d(q) = -25*q + 3*q + 3*q - 2. Let c be (26/(-4) - -6)*8. Is d(c) a multiple of 19?
False
Let i = 704 - 616. Does 11 divide i?
True
Let j(d) = 3*d - 11. Let n be j(8). Let s(q) = 2*q**2 - 19*q + 12. Is s(n) a multiple of 12?
False
Let m(y) = -y**2 + 17*y - 22. Let l be m(16). Let g(r) = -r**3 - 2*r**2 + 8*r + 21. Does 9 divide g(l)?
True
Let c(s) = -2*s - 4. Let v be c(-5). Suppose -v - 3 = -3*u. Suppose -5*i = 2*h - u*h - 409, -3*h - 93 = -i. Is 27 a factor of i?
True
Let t = 158 + 389. Is t a multiple of 50?
False
Let x(u) = -u + 21. Let r be x(0). Suppose -2*g = 5*z - r, -4*z + 4*g = -6*z + 18. Suppose 0 = 3*d - z*a - 93, 2*d - 4*a - a = 56. Does 26 divide d?
False
Let y(z) = -z**3 + 6*z**2 + 18*z - 13. Let n be y(8). Suppose 3*l = n*t - 138, -4*t + l = 4*l - 163. Does 43 divide t?
True
Suppose 0*i + i = -1. Let a(n) = -2*n + 1. Let m be a(i). Suppose 5*r = -k + 17, -3*k - 2*r = m*r - 101. Is k a multiple of 11?
False
Suppose -2*m = -4*b + 10, -2*m - 3 - 7 = -5*b. Let p(f) = -f**3 - f**2 + 76. Is 38 a factor of p(b)?
True
Let f = 4161 + -507. Is f a multiple of 58?
True
Let s = 5 + -7. Let x be s/(-9) + 2/(-9). Suppose -4*i + 50 = -2*q, -2*i + 4*q + x = -22. Does 13 divide i?
True
Let s(h) be the first derivative of h**2/2 + h + 23. Let w be 2 + 5 + -1 - -1. Is 2 a factor of s(w)?
True
Let c(n) be the third derivative of 1/6*n**3 + 0 + 0*n + 49/60*n**5 - 1/24*n**4 - 6*n**2. Does 14 divide c(-1)?
False
Let n(y) = 2*y**2 - 9*y - 7. Suppose -2*b - 3*k + 1 = -4*b, -b = 5*k + 20. Is n(b) a multiple of 13?
False
Let r = -67 - -220. Does 3 divide r?
True
Suppose 4*y = s - 19, -3*s = -4*y - 40 + 7. Let m(x) = -x**2 + 12*x - 11. Let g be m(11). Let i = s + g. Is i a multiple of 5?
False
Let m be 82*-3*5/6. Is 9 a factor of (-1 - 1)*m/10?
False
Let q = 44 + -50. Let d = -6 + 4. Does 16 divide (14/q)/(d/30)?
False
Let x = 2 - 6. Let p be x/(-8) - (-9)/6. Suppose 0 = -p*h + 5 + 27. Does 4 divide h?
True
Does 5 divide 27/(-4 + (-52)/(-12))?
False
Let b be 18/((-6)/(-3)) - 1. Let n(s) = -s**3 + 10*s**2 - 6*s - 9. Let c be n(b). Suppose -4*o + 445 = -c. Is o a multiple of 29?
False
Is 69 a factor of 0/2 + (-3 + 6 - -713)?
False
Suppose 0 = -5*q - 2*i + 8321, 11*q + i = 6*q + 8323. Is q a multiple of 27?
False
Let l = 669 + -411. Suppose 6*u + 142 = 3*a + 4*u, -5*a = 2*u - l. Is a a multiple of 10?
True
Suppose -19692 + 6492 = -25*j. Does 16 divide j?
True
Suppose 1885 = 2*q + 3*q. Is 8 a factor of q?
False
Suppose -4*h + 4*n = -16, 12 = n - 4*n. Suppose 4*d - 102 = -3*u, 5*d - 143 = -h*d + 4*u. Is d a multiple of 9?
True
Suppose -u - 3*u - 2*w + 3066 = 0, 3069 = 4*u - w. Does 67 divide u?
False
Let s = 1 + -11. Let m = s - -67. Is m a multiple of 26?
False
Suppose -5*y - 2311 = a + 4689, 0 = 2*y + a + 2800. Is 34 a factor of (1/(-2))/(4/y)?
False
Does 12 divide ((-2 - -2)/(-6))/(-2) + 912?
True
Let f(m) = -315*m**3 - 2*m**2 - 2*m + 2. Let w(l) = 158*l**3 + l**2 + l - 1. Let o(v) = -4*f(v) - 7*w(v). Does 31 divide o(1)?
True
Suppose 2652 - 958 = 7*k. Suppose 0 = -5*s - 102 + k. Is 4 a factor of s?
True
Let u(n) = -n**3 + 6*n**2 - 3*n - 6. Let s be u(5). Suppose 3*h + v - 6 = 0, -3*v + 24 = s*h - 7*v. Suppose -49 = -h*c + 5. Does 6 divide c?
True
Suppose -12*a = -2087 + 743. Is a a multiple of 14?
True
Suppose 35 = -0*k + 5*k. Let g(t) = 2*t - 14 + 32 - t**3 + 9*t - k*t**2 - 4*t**2. Is g(-12) a multiple of 10?
True
Let p(j) = j**3 + 21*j**2 + 9. Let k be p(-21). Suppose 3*d - 15 = k. Is d even?
True
Let c = 2074 + -1204. Does 9 divide c?
False
Suppose -4*i + 3*i = 3*n + 1, 7 = 2*i - 3*n. Suppose 0 = i*p + p. Suppose p = -4*x - 3*q - 3 + 72, -24 = -2*x + 2*q. Is x a multiple of 7?
False
Suppose 2*r + 58 = 14. Let h be (-6 - 2)/(2/r). Let i = -38 + h. Is 28 