 2. Does 17 divide s(-3)?
False
Suppose -2*s + 9 = 3*a, -s + 0*s + 3*a - 9 = 0. Let w = 10 + s. Does 10 divide w?
True
Suppose -19 + 7 = -4*f. Suppose -5 - f = -k. Is 8 a factor of k?
True
Let q = -24 + 25. Does 2 divide (11/(-2))/q*-2?
False
Suppose 2*g - 53 - 7 = 0. Is 10 a factor of g?
True
Suppose 0*a = -2*a + 4. Suppose -m - 8 - 4 = 5*q, 3*m = a*q - 2. Does 7 divide 0 - q/2*11?
False
Suppose 3*g + 4*l = 11 + 5, -5*g + 24 = 4*l. Does 15 divide g/((-32)/(-228))*2?
False
Let f = -14 - 11. Let b = -6 - -4. Let u = b - f. Does 8 divide u?
False
Suppose -3*z - 4*y = -171, y - 114 = -2*z + 2*y. Is 17 a factor of z?
False
Let k(g) = -g**3 - 3*g**2 + 9*g - 13. Does 8 divide k(-6)?
False
Suppose -4*v = 2*v - 198. Is v a multiple of 11?
True
Let q = -107 - -178. Is 16 a factor of q?
False
Let g(t) = -17*t - 11. Is g(-5) a multiple of 12?
False
Let j(b) = -b - 3. Let p(l) = l + 3. Let s(m) = -4*j(m) - 5*p(m). Is s(-5) even?
True
Let t(g) = g**3 + 7*g**2 - g - 6. Let i be t(-5). Suppose -5*x - i = 1. Does 3 divide x/(3/(-5 + 2))?
False
Let s = 3 - -1. Suppose s*a = -24 - 92. Let t = a - -55. Is t a multiple of 13?
True
Is ((-4)/(-6))/(4 - 534/135) even?
False
Suppose 4*t + 0*t = 100. Suppose t = -0*q + q. Is 8 a factor of q?
False
Let s = 8 + -6. Suppose -s = -2*i + 32. Does 4 divide i?
False
Let x = 48 - -64. Does 28 divide x?
True
Suppose 32 = -0*u + 3*u - 5*j, j + 4 = 0. Is (24/9)/(u/54) a multiple of 9?
True
Let n(b) be the first derivative of b**4/4 + 2*b**3 - 3*b**2/2 - 2. Is n(-6) a multiple of 7?
False
Let b(v) = 9*v**2 - 8*v + 3. Does 17 divide b(3)?
False
Let c(z) be the second derivative of -z**4/2 + z**3/2 - z**2 - z. Let s be c(2). Does 6 divide s/(-2) + 0 + 1?
False
Let x be -2*(1 - -1) - 0. Let b be (87/2)/((-6)/16). Does 10 divide b/(-6) + x/(-6)?
True
Let m = -136 - -149. Is m a multiple of 9?
False
Suppose -155 = -3*a + a - 3*v, -4*v - 445 = -5*a. Does 17 divide a?
True
Let q(i) = 3*i - 3. Let k be q(4). Suppose 5*z - k + 2 = -g, 0 = 2*g - z - 47. Does 11 divide g?
True
Let y(c) = -c**3 + 5*c**2 - 2*c. Let l be y(3). Let o be l/9*(36 + 0). Let h = o - 14. Is 17 a factor of h?
True
Suppose 2*m + s + 274 = 0, -5*m + 4*m - 4*s - 151 = 0. Let t = -82 - m. Does 10 divide t?
False
Let d = 0 + 3. Suppose 0 = -4*r - 3*v + 81, d*r + 5*v - 51 = r. Does 15 divide r?
False
Let d(y) be the third derivative of y**4/24 + 7*y**2. Is d(9) a multiple of 9?
True
Let t(f) = -38*f**2 + f + 1. Let k be t(-1). Let o = -16 - k. Is 11 a factor of o?
True
Suppose 16 = -3*o - o. Suppose 0 = -3*u - 2 - 4. Does 6 divide ((-16)/o)/(u/(-7))?
False
Let z(n) = -5*n**2 + n - 14. Let o(j) = -j**2 + j - 1. Let l(k) = -6*o(k) + z(k). Let u(g) = -5*g - 8. Let f be u(-3). Is l(f) a multiple of 6?
True
Let i(h) = 20*h - 20. Is 52 a factor of i(14)?
True
Suppose 0 = 3*q - 434 - 10. Let b = -102 + q. Does 14 divide 6*(-3 + b/6)?
True
Is 5 a factor of (-12)/(-72) - 106/(-12)?
False
Let k(o) = 7*o**2 - 4*o + 1. Let g be k(4). Suppose -g = 5*v - 547. Suppose -2*w + 4*m = -8, 5*w - 2*m - v = -6*m. Does 7 divide w?
True
Let x(w) = 23*w + 1. Suppose 3*o - 211 = 4*l, -3*o - 175 = 3*l - 22. Let v be (-60)/l - (-6)/(-39). Does 24 divide x(v)?
True
Let f(u) = u**2 - 2*u + 7*u + 0 + 3. Let r be f(-6). Let k = r + 3. Does 6 divide k?
True
Let q(b) = b**3 + 5*b**2 - 5*b + 7. Let g be q(-7). Suppose 0 = -l + 6*l + 100. Let j = l - g. Does 18 divide j?
True
Let w be 1194/30 + 2/10. Let r be 223/(-9) - (-4)/(-18). Let p = w + r. Is p a multiple of 7?
False
Let g(v) = -v**2 + 1. Let z be g(1). Suppose -3*x = x - 80. Does 4 divide (x + z)/2 + 1?
False
Let o(n) = -4*n - 13. Let c be o(-5). Let q = -33 + 54. Let y = q + c. Is y a multiple of 12?
False
Let t be 45/9 - 1*-2. Does 6 divide 126/t*8/6?
True
Let r(v) = 14*v - 12. Is r(3) a multiple of 15?
True
Does 8 divide ((-168)/30*-2)/(1/5)?
True
Suppose 5*q = 3*m + 57 + 38, -2*m = q - 19. Suppose q = 2*i + 1. Is i a multiple of 5?
False
Let m = -7 + 11. Let c = 9 + m. Is 7 a factor of c?
False
Let r(i) = 10*i - 9. Let h = 21 - 17. Does 9 divide r(h)?
False
Let d be -1*1 - (1 + 1). Suppose 0 = -y + 7 + 7. Let s = y + d. Does 3 divide s?
False
Let l be 130 + (-1 - -2)/(-1). Suppose 4*t - l = o, -3*t + o = -8*t + 168. Does 11 divide t?
True
Let p(l) = -l**2 + 10*l - 7. Let m(d) = d**2 + 7*d - 11. Let o be m(-9). Is p(o) a multiple of 7?
True
Let w = -126 - -240. Is w a multiple of 19?
True
Let h = 7 + -1. Is 21 a factor of (-27)/6*(-64)/h?
False
Let p = -243 + 403. Is 13 a factor of p?
False
Let i(s) = -s + 7. Let t be i(5). Let a be 155 + 3 - (-4)/t. Is (-2)/6 + a/12 a multiple of 13?
True
Does 8 divide 93/(-9)*-9 - -3?
True
Let t(w) = -18*w**2 - w - 1. Let j = 2 - 3. Let z be t(j). Let v = -1 - z. Is 9 a factor of v?
False
Let b(z) = z**2 - 2*z - 2. Let i(a) = -3*a**3 + a**2. Let d be i(-1). Is b(d) a multiple of 6?
True
Suppose 0 = -0*v - v + 39. Is v a multiple of 13?
True
Let l be 20/(-15)*6/4. Let z be ((-7)/3)/(l/(-6)). Let n(i) = i**3 + 8*i**2 + 5*i - 8. Is 3 a factor of n(z)?
True
Let i = -1 - -5. Suppose -2*h + 7*h = 15. Suppose -3*b + 4*z + 44 = 0, h*b + i = -3*z + 55. Does 7 divide b?
False
Let k be 45/(-15)*(-2)/(-3). Is 5 a factor of (-69)/(-9) + k/3?
False
Let v(j) = -3 + j**3 + 7 + 9 - 11*j**2 + 9*j. Let n be v(10). Suppose n*l + 0*l = -4*u + 33, -5*u - 4*l = -40. Is 6 a factor of u?
True
Is 13 a factor of ((-39)/2)/((-2)/12)?
True
Let g(r) = -r**3 + 5*r**2 + 4*r - 4. Does 4 divide g(5)?
True
Suppose -5*v = 2*s - 267, s + 3*s - 94 = -2*v. Does 10 divide v?
False
Let n(r) = 2*r + 2. Let k be n(-4). Is 14 a factor of (k/(-4))/((-9)/(-84))?
True
Suppose -92 = -2*c + 4*g, -4*c = -3*g - 47 - 127. Is 14 a factor of c?
True
Suppose -7*q - 44 + 443 = 0. Is 19 a factor of q?
True
Let f(g) = -g**2 + 10*g - 7. Let p be f(9). Let q(l) = 8*l + 0 + 2*l**2 + 4*l**2 - l**3 - p. Is 3 a factor of q(7)?
False
Is 6 a factor of (-282)/(-4)*(-3 - 22/(-6))?
False
Let r(q) = -2*q**3 + 3*q**2 + 18*q - 12. Let z(t) = -3*t**3 + 5*t**2 + 27*t - 18. Let w(c) = 7*r(c) - 5*z(c). Is w(6) a multiple of 12?
True
Let s(i) = 79*i**2 - i. Let t be s(-1). Suppose t = 4*j - 156. Let m = j - 39. Does 14 divide m?
False
Let p be (-1)/((3/75)/(-1)). Suppose -14 - p = -k. Is 11 a factor of k?
False
Let s(z) = 1 + 5 + 21*z - 53*z. Is s(-2) a multiple of 16?
False
Let b be 2 + (5 + -2 - 1). Let z = 4 + b. Is 6 a factor of z?
False
Let d be 8/(-44) + (-92)/(-22). Let l be d/(-2 + 3/1). Suppose -2*x + l*x = 8. Is x a multiple of 4?
True
Let o be (-173)/(-4) - (-5)/(-20). Suppose -16 + 52 = 3*x. Suppose 2*l - o = -5*m, 53 = 3*m + 5*l + x. Is 4 a factor of m?
False
Let b(n) be the third derivative of n**5/60 + n**4/6 - n**3/2 - 3*n**2. Let s be b(-5). Suppose -4*t = 4*p - 52, -3*t - s*t = p - 17. Does 6 divide p?
True
Let o = 3 + 0. Let r be (-5)/(3/o)*-3. Let y = r + -4. Is y a multiple of 5?
False
Let d(j) = -j**2 - 4*j + 7. Let h = -1 + -4. Let l be d(h). Suppose -4*t = -l*f - 64, 2*t + t = -2*f + 55. Does 17 divide t?
True
Let u(d) = -d + 2. Let a = 2 + 1. Let b = a - 6. Does 4 divide u(b)?
False
Let b = -9 - -8. Let h = 3 - b. Suppose 2*u - 30 = -h. Is u a multiple of 12?
False
Suppose -5*l + y + 2*y - 2 = 0, -3*l + 3*y - 6 = 0. Let f be 3/((-3)/2) + l. Suppose 4*p + f*p - 40 = 0. Is p a multiple of 5?
True
Let a be 52/10 + (-1)/5. Let o(w) = -w**2 + 6*w - 2. Let s be o(a). Suppose 3*u + 2*n - 5*n - 39 = 0, s*u + 3*n = 69. Is 18 a factor of u?
True
Let g = 10 - 6. Suppose g*m - 70 = 98. Is m a multiple of 14?
True
Suppose 4*g + 2 = 4*w - 3*w, -g - 32 = 5*w. Let c = w - -8. Suppose 0 = 4*l + l - 4*z - 158, 0 = -c*z + 6. Is l a multiple of 17?
True
Let g(f) = -142*f - 2. Let t be g(1). Let r = -62 - t. Is r a multiple of 14?
False
Suppose g + 4*g = -4*i - 105, 0 = 3*g + 4*i + 63. Is (36/g)/((-4)/42) a multiple of 10?
False
Let x(j) = 3*j**2 - 3*j + 2. Let g be x(3). Suppose 3*m - 4*m + g = 0. Is m a multiple of 7?
False
Suppose 0 = 2*k + 2*k - 2*q + 24, 5*k - 2*q = -28. Let r = 18 + k. Is r a multiple of 14?
True
Let n(t) = t**2 + 15*t - 12. Let u be n(-16). Suppose 5*s = 2*s. Is s + (1 + u - 0) a multiple of 2?
False
Let r(u) = 3*u**3 - 4*u**2 + 2*u - 4. Let k be r(3). Suppose 4*s - a = -s + 73, 3*s + a = k. Is s a multiple of 12?
False
Suppose -5*t - 41 = -11. Let w be (