False
Suppose 0 = v - 3*z + 6*z - 84, -5*z = -4*v + 370. Let p = -4 + v. Suppose 2 = 4*s - p. Is 11 a factor of s?
True
Suppose -24*z + 21*z = -165. Suppose 56*a - 19 = z*a. Is 6 a factor of a?
False
Let o = 36 + -21. Suppose -1 = v, 2*n = 4*n + 2*v + 6. Let j = o + n. Is 6 a factor of j?
False
Let y = -28 - -47. Let n = y - 4. Does 5 divide n?
True
Let d(c) be the third derivative of c**5/20 - 5*c**4/24 + 5*c**3/6 + 5*c**2. Is d(3) a multiple of 16?
False
Let t = 160 + -95. Suppose 6*g + 23 - t = 0. Is g a multiple of 7?
True
Let d = -949 - -1437. Does 31 divide d?
False
Suppose 75 = 6*i - 9. Let p = 22 - i. Does 8 divide p?
True
Let y(m) = -5*m + 16. Let x be y(-7). Is 14704/136 + (-6)/x a multiple of 36?
True
Let n be 0 + 6/(-8) + 275/100. Suppose u - 64 = -4*a, -n*u - 3*u - 2*a = -392. Does 10 divide u?
True
Let g(m) = 22*m**2 - 4*m - 6. Let a be g(-4). Let n = a - 193. Is n a multiple of 12?
False
Let t(m) = -31*m - 19. Let x be t(-4). Let k = x + -21. Is 21 a factor of k?
True
Let t(y) = -y**2 - 2*y + 22. Suppose 0 = -3*d + 4*s + 20, -4*s - 20 = 0. Does 5 divide t(d)?
False
Let i = -234 - -280. Is i a multiple of 6?
False
Suppose -4168 = -4*z - 2*l, 1852 + 1272 = 3*z + 2*l. Does 12 divide z?
True
Let y = 14 - 14. Suppose -4*m - 4*t = 0, -3*m + y = t + 4. Let x(a) = 15*a**2 - 2*a. Is 26 a factor of x(m)?
False
Let g(s) = -192*s + 1. Is g(-2) a multiple of 28?
False
Let t be 4/8 + (-2)/4. Suppose t = -4*s + 3*h + 260, s + 3*h + 328 = 6*s. Is s a multiple of 15?
False
Suppose -1 = -n + 2. Suppose n*u - 408 = -9*u. Is u a multiple of 26?
False
Let d(h) = 77*h + 108. Does 18 divide d(6)?
False
Suppose 5*h - 2*s = 4936, 4*s = 2*h - 0*h - 1984. Is 17 a factor of h?
True
Suppose 85 = 5*z - 5. Suppose 4*p + 1 = -3*b - 1, -4*b + z = -5*p. Is b + -1*3*-11 a multiple of 17?
False
Let y = -1197 - -1692. Is y a multiple of 11?
True
Does 3 divide (-9 - -35) + 7 + -3*1?
True
Let g = 101 + -185. Does 29 divide (-24)/g + 607/7?
True
Let u(l) = -53*l + 5. Let m be u(-4). Suppose 0 = -4*q + 4*n + 344, 4*q - 5*n - 131 = m. Is q a multiple of 13?
False
Suppose -3*b + 135 = 4*x, -10 = 4*x + 2. Does 11 divide b?
False
Suppose 3 = -3*o - 9. Let j(i) = -2 - 61*i - 3 + 29*i + 28*i. Is 11 a factor of j(o)?
True
Let r(x) = -2*x - 2. Let s be r(-3). Let f(t) = s*t**2 - 6 + 13 + 0*t**2 - 3*t**2 + 4*t. Does 3 divide f(-4)?
False
Let p(t) = -6*t**3 - 3*t**2 + 11*t**3 - 4*t - 2*t**2 - 6*t**3. Suppose 4*d = -4*o - 28, -3*o - 6 - 3 = -3*d. Is p(o) a multiple of 10?
True
Suppose -2*g + 920 = 2*n, -10*n + 5*n = -g - 2276. Is n a multiple of 12?
True
Let i = 12 - -33. Let q = 82 + -8. Let n = q - i. Is 23 a factor of n?
False
Suppose u + 3 - 10 = 0. Let d = u + -8. Does 16 divide (-49)/3*-3 + d?
True
Let i = 11448 + -8028. Does 38 divide i?
True
Suppose -4*r + 2825 = 3*i, 2*r + 5*i - 606 = 817. Does 16 divide r?
True
Let f(p) = -75*p**3 - p. Let v(s) = -4*s - 17. Let k be v(-6). Suppose -3*g + 4 = k. Is 28 a factor of f(g)?
False
Let m(y) = -y**2 + 2*y + 19. Let k be m(9). Is 2 a factor of (1 - 3) + k/(-4)?
False
Let i be (-79)/9 - 52/234. Is (-1141)/i - (-4)/18 a multiple of 32?
False
Let x(u) be the first derivative of -u**3/3 - 9*u**2/2 - u + 2. Let y be x(-8). Suppose -2*j - 4 = 0, -4*r + 2*j = y*j - 38. Is 6 a factor of r?
True
Suppose -6*a = 191 - 185. Let q be -1 + -2 + 9 + 1. Let x = q - a. Does 8 divide x?
True
Let i = 68 - 65. Suppose -2*a = -2*o - 198, -i*a = -a - 5*o - 186. Is 16 a factor of a?
False
Let r(z) = 2*z**2 - 12*z - 74. Does 77 divide r(-10)?
False
Suppose -3*b + r = -390, -2*b - 5*r + r = -260. Let c = 5 + -2. Suppose -2*i + b = 4*j + i, i - 100 = -c*j. Is 16 a factor of j?
False
Does 8 divide (20056/(-16))/(-3 - (-5)/2)?
False
Does 10 divide -3 - (3/(-9) + 15997/(-51))?
False
Let a be (-3)/(((-117)/(-104))/(6/(-8))). Is 9 a factor of ((-108)/(-45))/(a/15)?
True
Let a(v) = 2*v**2 - 5*v + 3. Let z be a(5). Suppose -z = -2*t - 6. Is t a multiple of 4?
False
Is 73962/189 + 4/6 a multiple of 7?
True
Let j = 7 + 1. Suppose j*d - 6 = 5*d. Suppose 125 = 5*y + d*c, y + 2*c = 5*c + 8. Does 5 divide y?
False
Suppose -4*t + 10 = 2*r, r = -2*t - r + 10. Suppose j + q - 64 = t, 0 = 9*q - 4*q - 20. Does 15 divide j?
True
Suppose -4*m + 11 + 1 = 0. Suppose 2*s = f + m*f + 2, -s + 3 = 0. Does 20 divide (-60)/((9/(-6))/f)?
True
Let o be ((-1358)/(-56))/((4 - 2)/8). Let g = o + 11. Is 12 a factor of g?
True
Let s(g) = -9*g - 7. Let b be s(-3). Suppose -2 = -3*a + 4. Suppose b = -a*c + 74. Is c a multiple of 9?
True
Let k(x) = x**3 - 5*x**2 - 12*x + 9. Let i(t) = -3*t + 3. Let q(d) = -16*d + 16. Let c(z) = 11*i(z) - 2*q(z). Let m(u) = 3*c(u) - k(u). Does 6 divide m(6)?
True
Let i be (-2)/9 - (-10)/45. Let c(z) = 2*z**2 + z - 2. Let b be c(i). Does 7 divide 13/2 + (-1)/b?
True
Let x be 84/49 - (-4)/14. Suppose -7 = -x*r - 3, -3*r = -4*n - 10. Is 4 a factor of (-133)/(-28) + n/(-4)?
False
Suppose -3*i = 5*w - 15009, i = w - 3768 + 763. Is 13 a factor of w?
True
Let h = -567 + 892. Is h a multiple of 65?
True
Let l = -411 - -595. Is 8 a factor of l?
True
Does 12 divide (8/20)/((-3)/(-9735)*1)?
False
Let o = -517 - -591. Is o a multiple of 25?
False
Does 14 divide 0 - (11352/(-42) + 10/35)?
False
Let r(n) = 5*n - 12*n + 104 + 8*n. Is 34 a factor of r(0)?
False
Suppose 208 + 360 = 2*a. Suppose a = 5*t + 4*v, -2*t - 4*v = -98 - 6. Is t a multiple of 3?
True
Let j(d) = 6*d + 63. Is j(6) a multiple of 9?
True
Let k(t) = 4*t - 14. Let g be k(-11). Let b be g/(-3) + 3/(-9). Suppose -1 = 3*m - b. Is 5 a factor of m?
False
Suppose -a + 17 = 5*d - 3, -4*a - 3*d + 12 = 0. Is 44 - -1*(3 + a + -2) a multiple of 9?
True
Let d be (489 + -4)*2/10. Let b = d - 54. Is b a multiple of 19?
False
Let m = -98 + 137. Suppose -2*d - 72 = -4*g, 4*d + m = 2*g - 9. Is g a multiple of 8?
True
Suppose 4*f - 1923 = -3*s - 67, -5*s + 3132 = -3*f. Is s a multiple of 40?
False
Suppose 120 = 4*z + z. Let j = -24 - z. Let u = -3 - j. Is 16 a factor of u?
False
Let o(h) = 8*h**2 - 14*h - 4. Does 7 divide o(-5)?
True
Let a(w) = -w**2 + 6*w - 3. Suppose -3*q + 25 = 2*q. Let j be a(q). Suppose -j*g - 3*g = -220. Is g a multiple of 16?
False
Suppose 0 = -138*n + 156*n - 7452. Does 16 divide n?
False
Let r(o) = -489*o**3 - o**2. Let h be r(1). Is 13 a factor of h/(-38) - (-6)/57?
True
Let o = 35 + -33. Suppose -r - 498 = -2*t - o*t, 5*r - 362 = -3*t. Is t a multiple of 12?
False
Let n(u) be the second derivative of u**4/4 - 5*u**3/3 - 8*u. Let f(w) = -2*w**2 + 5*w. Let m(r) = -5*f(r) - 2*n(r). Does 9 divide m(4)?
False
Let d(m) = m**2 + 13*m + 17. Let l be d(-12). Suppose 4 = l*q - 16. Suppose 63 = -g + q*g. Is 8 a factor of g?
False
Let o = 21 + -12. Let g be (-2 - 1) + 37 + o. Suppose 17 = 3*t - g. Does 4 divide t?
True
Let s(b) be the second derivative of b**4/12 + 2*b**3/3 - 20*b**2 - 4*b. Let h(z) = -z**2 - 3*z + 41. Let l(d) = 4*h(d) + 3*s(d). Is 13 a factor of l(0)?
False
Let u be 4/(-18) + 47/9. Suppose -u*v + 209 + 261 = 0. Suppose h + 247 = 6*h + 2*j, 2*j = -2*h + v. Does 28 divide h?
False
Let a(z) = -875*z**3 - z**2 - z. Is a(-1) a multiple of 35?
True
Let p be 0 + 0 - (-4 + 74). Suppose -86*b + 94*b = -80. Does 28 divide 1/(b/8)*p?
True
Suppose 91 + 65 = 2*k + 3*b, -156 = -2*k - b. Is 13 a factor of k?
True
Suppose -5*y = 7*y - 7908. Is 15 a factor of y?
False
Let s(n) = 3*n**2 - 29*n + 19. Is s(18) a multiple of 7?
True
Suppose 8*i - 1658 = 1702. Does 14 divide i?
True
Let q(z) be the first derivative of 2*z**2 - 9*z + 1. Let u = 132 - 126. Is 4 a factor of q(u)?
False
Let s = 481 + -67. Suppose s = k + 5*k. Is 50 a factor of k?
False
Let d(k) = -3*k - 4. Suppose 0 = -5*g + 15 - 5. Suppose -g*x + 2 = -n - 5, -4*n - 5*x = 15. Is d(n) a multiple of 3?
False
Suppose -2*v = -3*s + v + 18, -4*v - 23 = -3*s. Is (-4 + s - -53) + 3 a multiple of 25?
False
Let v(m) = m**3 + 7*m**2 + m - 14. Let b be v(-6). Let x = b + -7. Is 2 a factor of x?
False
Is (-4)/34 + -565*364/(-238) a multiple of 24?
True
Let o = -50 + 77. Is 4 a factor of o?
False
Let l be 7 + (-7 - (-1 + -3)). Let v = l - 8. Does 6 divide (-220)/(-18) - v/(-18)?
True
Suppose -245 = -3*i - 2*i - 2*w, -i + 31 = 4*w. Suppose 408 = 5*y - c + 34, -c = -1. Let o = y - i. Is o a multiple of 6?
True
Let r(z) = -z**3 - 19*z**2 - 15*z + 11. Let x be r(