 of 7?
True
Let n be (-1)/(-3 - (-41)/14). Let s = -10 + n. Suppose -2*p = -s*p + 40. Is 10 a factor of p?
True
Suppose 0 = 5*c + 251 - 1171. Is c a multiple of 18?
False
Suppose -b - 2*b - 39 = 0. Let k = 62 - b. Is 35 a factor of k?
False
Suppose 0 = -5*l + 25 + 15. Suppose -3*f + 1 = -l. Is f a multiple of 3?
True
Let q(p) = p**3 + 10*p**2 - 1. Does 19 divide q(-4)?
True
Suppose 189 = 5*n - 2*p, 3*n - 114 = 4*p - 3*p. Does 13 divide n?
True
Let d(o) = o + 2. Is d(7) a multiple of 2?
False
Suppose -y - 922 = -9*r + 4*r, 2*r = -5*y + 385. Suppose -2*k + 3*k = r. Suppose -a = -c - 37, 4*a - c = -a + k. Does 19 divide a?
False
Let n(s) = 10*s**2. Suppose 3*z - 2*h + 16 = z, 9 = -z + 2*h. Let d = 6 + z. Is n(d) a multiple of 10?
True
Let n be 3 - (3 - 1)*-1. Suppose 120 = 5*i - n*w, 4*i - w = -3*w + 90. Is i a multiple of 9?
False
Suppose 2*l + 5*u = 251, 5*l + 220 - 885 = -5*u. Let w = l + -81. Does 20 divide w?
False
Suppose -5*y - 15 = 0, 5 = a + 2*y + 3. Let j(v) = 3*v - 6. Let r(b) = 9*b - 19. Let p(m) = -8*j(m) + 3*r(m). Does 12 divide p(a)?
False
Let q = 22 + -19. Suppose -2*a + 3 = 7. Let o = q - a. Does 2 divide o?
False
Suppose -v = -3*b + 2, 2*v = 2*b - 4*b + 12. Let n be -3 - (-21 + 3) - 1. Suppose -b*f - n = -3*f. Does 7 divide f?
True
Let m = 85 - 126. Let g = 60 + m. Is g a multiple of 7?
False
Let j = 184 - -14. Does 20 divide j?
False
Let n be 45/2*(-12)/15. Let t = -6 - n. Is t a multiple of 2?
True
Let x be (24 - -2) + (-1)/1. Let o = -9 + 13. Suppose o*g = 19 + x. Is 11 a factor of g?
True
Suppose 2*l + n + 8 = 5*n, -4*l + 14 = 2*n. Let m(c) = l - 11*c + 0 - 1. Is 12 a factor of m(-1)?
True
Suppose 0 = -4*x - 4*m + 24, 2*x - 5 = 4*m + m. Let g be 1874/9 + (-4)/18. Suppose -x*d + g = -12. Is d a multiple of 16?
False
Let b(n) = n**3 - 7*n**2 + 6*n. Let p be b(6). Let l(s) = s**2 + 7. Let w be l(-7). Suppose p = -0*o + 2*o - w. Is o a multiple of 17?
False
Let t(i) = i + 2. Let b(z) = 4*z**2 - z. Let y be b(1). Let x = y + -1. Does 3 divide t(x)?
False
Suppose 28 = 2*o - 4*i, 5*o - 10 = 3*i - 8*i. Is o even?
True
Let r = -2 + 6. Suppose 0 = -0*c - r*c. Suppose 0 = 3*g - c*g - 18. Does 3 divide g?
True
Let o(d) = 29*d**2 - d - 1. Is 3 a factor of o(-1)?
False
Let r = 3 - 0. Suppose 108 = -r*t + 7*t. Suppose -3*d + 2*d = -t. Is 10 a factor of d?
False
Let l(c) = -c + 3 - 1 + 3 - 5*c + c**2. Let f(i) = 2*i**2 - 2. Let n be f(-2). Does 4 divide l(n)?
False
Let o be 1*-2*-1 + -3. Does 2 divide o/(-2 + (-6)/(-4))?
True
Suppose 4*u = 6*u. Let b(q) = q**3 - q**2 + 36. Let m be b(u). Let l = m + -24. Is l a multiple of 3?
True
Suppose 4*a + 3 + 1 = 0. Is ((-28)/35)/(a/35) a multiple of 13?
False
Let k = -6 - -5. Let g(i) = -i**3 - i**2. Let m be g(k). Suppose m = -r - 3*l + 38, -34 = -3*r + 2*r - 2*l. Does 13 divide r?
True
Let i(v) be the second derivative of -5/12*v**4 - 2*v - 1/10*v**5 + 3/2*v**2 + 0 + 2/3*v**3. Does 16 divide i(-4)?
False
Suppose 7*u = 9*u. Suppose u = 5*y - 4*y. Suppose -4*w + 5*a + 22 = y, 0*w - 2*w + 18 = a. Is w a multiple of 8?
True
Let g(c) be the first derivative of c**2 - 8*c + 2. Is g(9) a multiple of 9?
False
Suppose -5*z + 12 = 4*j, j + z - 3 = 4*z. Suppose 0 = -j*q + 51 - 6. Is 8 a factor of q?
False
Let g = 171 - 85. Let v = g + -51. Let r = v + -20. Is 15 a factor of r?
True
Suppose -m + 7 = 4*x, 3*m + 1 = -4*x - 2. Let f(v) = -9 + 4*v**2 - v**x + 4*v**2 - 2*v - 2*v. Is 12 a factor of f(7)?
True
Let v be 1/(-2)*2 + 6. Is 5 a factor of (-63)/(-3) + (v - 2)?
False
Let h(s) = -s**2 + 11*s - 6. Suppose 4*b + 2*u = u + 40, -3*b - u + 30 = 0. Let a be h(b). Does 7 divide 2 + 6/2*a?
True
Let r be (-224)/(-36) + (-4)/18. Let c(w) = w**2 - 4*w + 1. Let t be c(r). Suppose -k - 108 + t = -5*h, 3*h + 2*k = 44. Does 9 divide h?
True
Let u = 118 - 57. Does 15 divide u?
False
Suppose -5*s = i - 360, -223 = -3*s - i - i. Does 11 divide s?
False
Let h = 192 - 43. Is h a multiple of 40?
False
Let k = 39 + -14. Is k a multiple of 8?
False
Let z(i) = 9*i + 3. Let b be z(-2). Is (-40)/b*(-9)/(-4) a multiple of 4?
False
Does 33 divide 4008/36 - (-4)/(-3)?
False
Let k be (6 + -6)*(-2)/(-4). Let d(n) = -n + 1. Let m be d(-4). Suppose -m*t = -s - 1, k = -s - 2*t + t + 17. Is 14 a factor of s?
True
Let d(o) = -o**3 + o**2 - o + 18. Let w(k) = -k**2 - 5*k + 8. Let h be w(-6). Let j be (1 - h - -1)/2. Does 9 divide d(j)?
True
Let k(o) be the first derivative of 3*o**5/20 + o**4/6 - o**3/3 - o**2 + o - 1. Let w(g) be the first derivative of k(g). Does 13 divide w(2)?
True
Let z(y) = y**2 - 5*y + 16. Let a be z(7). Suppose -p + a = -0*p. Is p a multiple of 13?
False
Suppose 8*d = 25*d - 136. Is 5 a factor of d?
False
Let g(u) = -4*u**3 + 6*u**2 - 6*u + 7. Let r(y) = y**3 - 2*y**2 + 2*y - 2. Let h = -3 + 5. Let z(c) = h*g(c) + 7*r(c). Is 7 a factor of z(-4)?
False
Let w = -4 - -9. Suppose -w*c + 30 + 5 = 0. Is 2 a factor of c?
False
Let r be 1 + (-129 + 0)/(-3). Let l = 129 - r. Is 30 a factor of l?
False
Let f(h) = -h**3 - 6*h**2 - 4*h + 5. Let g be f(-5). Let y = 5 + g. Suppose -2*v + y = -9. Does 7 divide v?
True
Let l be 1 - (3/(-3) - 2). Let p be l/14 - (-12822)/(-42). Is 11 a factor of (-1)/2 - p/10?
False
Let u(j) = -31*j - 1. Does 25 divide u(-4)?
False
Suppose 3*a - 39 = -m, -2*a = 2*m - 91 + 21. Let g = m + -20. Suppose 14 + g = 3*t. Is 9 a factor of t?
True
Let z = 136 - 199. Let i = 129 + z. Suppose 5*c - i = -3*f, 4*c + 2*f = 6*f + 40. Is 12 a factor of c?
True
Suppose 0 = 4*k - 3*k - 2. Suppose 2*u + 96 = 3*o - k*u, -u = -3*o + 87. Does 13 divide o?
False
Suppose 5*c + 0*c + 5*v = 1040, 0 = -5*c + 3*v + 1056. Does 35 divide c?
True
Let j = -6 - 2. Let y(t) = t**2 + 7*t + 10. Is 9 a factor of y(j)?
True
Let y = 937 + -631. Is y a multiple of 18?
True
Suppose -j - t + 13 = 0, 2*j + 0*j = 4*t + 20. Suppose -g + 5*g = j. Suppose 0 = n - 4*l - 2 - 2, -97 = -g*n - 5*l. Does 24 divide n?
True
Let s(l) = 2*l**2 + 2*l + 4. Let c be s(-3). Suppose -u - 70 = -3*r + 3*u, 0 = 4*u + c. Does 9 divide r?
True
Suppose 4*a + 124 = 2*g, -2*a + a = 5*g - 343. Is g a multiple of 12?
False
Let g be (-22)/3*27/(-9). Suppose 18 = 3*i - 0*i. Suppose i*k - 4*k + 5*y - g = 0, -4*y + 89 = 5*k. Is 18 a factor of k?
False
Let l(n) = n**2 + 10*n + 6. Let a be l(-10). Let x(o) = o + 2. Is x(a) a multiple of 8?
True
Let y = -7 + 11. Let p be (-99)/(-12) - 1/y. Suppose -p*f + 50 = -3*f. Is f a multiple of 5?
True
Suppose 0 = 3*m - 5*m. Suppose 2*n - 3*z - 37 = m, -n + 4*z = -7 + 1. Is n a multiple of 13?
True
Let k(y) = -y**3 + 5*y**2 - 5*y - 2. Let w be k(4). Let h(r) = 2*r**2 + r - 8. Does 20 divide h(w)?
False
Suppose 0 = -r + 15 + 17. Let t = r + -14. Suppose t = 3*b - 3*s, 0 = 3*b + s + 21 - 51. Does 9 divide b?
True
Let l be 3/(2*(-6)/(-56)). Suppose -2*k - 5*r + l = -6*r, -4*k - 3*r + 8 = 0. Is k a multiple of 5?
True
Let k(s) = -2*s**2 + 2*s + s**2 + 6 + 8*s - 3. Does 8 divide k(8)?
False
Suppose -3*d = -4*d + 29. Does 29 divide d?
True
Suppose 2*u = -3 + 27. Is (15/9)/(4/u) a multiple of 5?
True
Suppose 14 = 2*f + w, 2*w + 0 = f - 2. Suppose -96 = -f*m + 2*m. Is 12 a factor of m?
True
Does 13 divide (-5)/(-10) - 6/4*-43?
True
Suppose 2*p = -7 - 5. Let m(d) = -d**2 - 11*d - 6. Is m(p) a multiple of 9?
False
Let m(f) = 3*f**3 + f - 1. Let y be m(1). Suppose 0 = 2*v + y*v - 95. Suppose 2*g - 36 = -2*j, -2*j + 3*g = -12 - v. Is 6 a factor of j?
False
Let t = 5 + -5. Suppose -5*c = -t*c - 80. Does 8 divide c?
True
Let z = -10 + 94. Does 14 divide z?
True
Let c be 33 + -4 + (1 - 0). Suppose 106 = 4*i + c. Is i a multiple of 19?
True
Let n(w) be the first derivative of w**3 + w**2/2 + 3*w + 1. Let y be n(-3). Let t = y + -6. Does 7 divide t?
True
Suppose 0 = d - 2*d + t + 117, -3*d + 349 = -4*t. Is 17 a factor of d?
True
Let j(y) = -2*y - 9. Let o be j(-7). Let q(k) = -3 + 2*k - 2*k + 0*k - o*k. Is 7 a factor of q(-2)?
True
Let b(q) = 3*q - 1. Let z be b(3). Let k be (-6)/(-12)*(z - 0). Suppose -2*t - k*l + 46 = 0, 8*l = -2*t + 3*l + 49. Does 12 divide t?
False
Let s(g) = 8*g. Let k be 1/(1 + -3 - -3). Is s(k) a multiple of 5?
False
Let a be 8/(-10) + 398/10. Let v = -24 + a. Is 15 a factor of v?
True
Let t(l) be the second derivative of -l**3/3 - 2*l**2 - 4*l. Does 7 divide t(-6)?
False
Is 5 a factor of (-3)/1 - (1 - 19)?
True
Let v(b) = -b**3 