w(t). Is v(-1) a multiple of 7?
True
Let m(n) = -n + 7. Let y be m(5). Let r be y/7 - 36/(-21). Suppose -3*d + 40 = -r*l, -2*l + 6*l = -20. Is d a multiple of 9?
False
Let y be 3/1 - (-21)/7. Suppose -y*r + 75 = -3*r. Is 25 a factor of r?
True
Let d(a) = 4 - 7*a + 3 + a**2 + 2*a + 2. Let c = 13 - 7. Is 13 a factor of d(c)?
False
Suppose 3*o - 882 = -4*o. Is 7 a factor of o?
True
Suppose 5*s + 26 = c, -4*c + 60 = -0*s + 2*s. Suppose -l - 3*l - 7 = 3*q, 3 = -q - l. Let p = q + c. Is 8 a factor of p?
False
Let y(n) = n**2 - 8*n + 3. Let b be (0/(1*-3))/1. Suppose -2*x + 18 = -2*w - 2, -x - 5*w - 2 = b. Is y(x) a multiple of 2?
False
Let z(b) = -12*b + 1. Let c(j) = -2*j + 1. Let d be c(-1). Suppose 0 = -d*q - 6. Is 12 a factor of z(q)?
False
Suppose -5*l - 1 - 9 = 0. Let p = l - -14. Is p a multiple of 6?
True
Suppose j + 4*j + 3*y = 20, 0 = -y. Suppose j = 5*s - 2*h + 37, 12 = 3*h. Let r(x) = -x**3 - 5*x**2 - 6*x - 2. Does 14 divide r(s)?
True
Let f(o) be the first derivative of -5*o**2/2 + 4*o + 7. Is f(-6) a multiple of 17?
True
Suppose 1141 = x + 6*x. Does 9 divide x?
False
Let o(n) = n**2 + 13*n + 11. Is o(-14) a multiple of 25?
True
Let p be (-14)/(-8) - (-1)/4. Suppose -p*b + 28 = 4. Is 4 a factor of b?
True
Is -1*1 - (-12*9 - -7) a multiple of 20?
True
Let g(s) = -11*s + 15. Let m be g(-13). Suppose m = 5*n - 2*a, -a - 4*a + 5 = 0. Is 8 a factor of n?
True
Let p = 30 - -8. Is 8 a factor of p?
False
Is (34/(-3))/(6/(-9)) a multiple of 5?
False
Let c = 4 - 15. Let l = 9 - c. Is 15 a factor of l?
False
Let p be (-40)/15*(-18)/8. Does 14 divide (-7)/(((-3)/p)/1)?
True
Suppose -o + 12 = 9. Let f be (-20)/(-3)*18/5. Is (9/o + -2)*f a multiple of 12?
True
Suppose 5*r - 31 + 1 = 0. Let g = -4 + r. Suppose -2*u = -5*l + 19, 3*u = l + g + 2. Is 5 a factor of l?
True
Suppose -4*z + 67 = -2*c + 7*c, -4*c = 2*z - 38. Does 2 divide z?
False
Let m = -278 - -443. Suppose -2*d - m = -7*d. Is d a multiple of 11?
True
Let i(v) = v**3 + 3*v**2 + 3. Let r be i(-3). Suppose -f = 0, -2*n - r*f - 127 - 111 = 0. Let l = 170 + n. Is 21 a factor of l?
False
Let k(t) = -t**2 + t + 27. Let f = 3 + -3. Let i = 0 - f. Does 13 divide k(i)?
False
Let d(g) = -g**3 - 5*g**2 + 7*g + 8. Let s be d(-6). Suppose -z - s = -2*z. Suppose z*f = 22 + 36. Is f a multiple of 13?
False
Let f = 0 + 4. Let g = f + 1. Suppose 28 = 2*w + 4*b, 4*w + g*b = 53 + 9. Is w a multiple of 7?
False
Let w be (2 - 7)*(3 + -4). Let p be 0 - (0 - 6)*w. Is 3 a factor of p/4*4/5?
True
Let d be 0/(2/(-2) - -2). Suppose 10 = -5*y, -5*y - 18 = -3*c - 2*y. Suppose 3*k - 38 = -f, k = -d*f + c*f + 30. Is k a multiple of 14?
True
Let p = -5 - -1. Is 13 a factor of (-8)/p + (-37)/(-1)?
True
Suppose f + 11 = 5*i + 2, -5*f - 20 = 0. Suppose 6 = -3*l, -3*g - 4*l = -i - 6. Is 2 a factor of g?
False
Is 13 a factor of 0 + (-771)/(-15) + (-6)/(-10)?
True
Let c be (-234)/(-15) - 2/(-5). Suppose -4*r + 12 = -c. Is r*(0 - (-4 + 2)) a multiple of 6?
False
Let n(z) = z**2 + 6*z - 8. Let u be n(4). Let t = 17 + -9. Suppose u = 2*l - t. Is l a multiple of 19?
False
Suppose 138 = f + 19. Let m = -60 + f. Is m a multiple of 20?
False
Let v(h) = -3*h - 1. Is v(-7) a multiple of 4?
True
Let c(p) = -p**2 + 4*p - 1. Let q be c(3). Does 3 divide -6*((-21)/q)/7?
True
Let l = 33 + -31. Suppose 0 = -5*t - 4*s + 52, -2*s + 7 - 1 = 0. Suppose -t = 2*j - u - 27, 2*u = l. Is j a multiple of 10?
True
Let n(d) = -d**3 + 12*d**2 + d + 4. Is n(12) a multiple of 4?
True
Is 11 a factor of 14/(-35) + (-831)/(-15)?
True
Suppose b + 0*b + 4 = 0. Suppose 0 = 5*r + 6 + 74. Let y = b - r. Is 5 a factor of y?
False
Let k = 70 - 56. Is k a multiple of 2?
True
Let t be 3*(-2)/3 - -4. Let u(j) = 3*j**2 - 4*j**t - 1 + 11. Is 8 a factor of u(0)?
False
Suppose 2*r - 19 = 5*b, -6*r + r = -2*b - 58. Suppose 5*j = 2*j - r. Does 18 divide (-494)/(-14) + j/14?
False
Let i = -79 - -286. Does 9 divide i?
True
Let m(k) = -k**3 - 7*k**2 - 4*k + 3. Let q be m(-5). Let c = q - -42. Suppose -4*v = v - c. Does 2 divide v?
False
Let j(d) = 4*d + 10. Suppose 5*n - 3*f = -f + 33, 3*n - 4*f = 17. Let b be j(n). Suppose -20 = -2*q + 5*r + 9, 3*q - 2*r = b. Is 4 a factor of q?
True
Let s(u) = -6*u + 33. Does 33 divide s(-11)?
True
Let g be (1 - 1)/(4/4). Suppose 2*f - 40 = -g*f. Does 10 divide f?
True
Suppose 0 = -v + 2*v - 3. Suppose 372 = 4*c + 4*x, -x - 456 = -5*c - v*x. Is 30 a factor of c?
True
Let o(b) = -3*b**2 + 5*b - 2. Let y(p) = 7*p**2 - 11*p + 5. Let x(j) = -5*o(j) - 2*y(j). Let u be x(4). Suppose u*n + 10 = 66. Is 14 a factor of n?
True
Suppose 5*s - s = t - 859, -5*t = 3*s + 673. Let v = s - -310. Let k = -61 + v. Does 9 divide k?
False
Let s be (-9)/(-12)*4*1. Suppose 4*u = -5*t + 24, 0 = s*t - 3*u - 2 - 7. Is t a multiple of 2?
True
Suppose 16 = -j - 0*j + k, 4*k + 4 = 0. Let m = -6 - j. Does 9 divide m?
False
Let k(q) = 0 + 1 - 4 - q**2 - 6*q. Is 2 a factor of k(-4)?
False
Is 39*((-16)/(-30) - 1/5) a multiple of 3?
False
Let o be ((-2)/(-6))/(2/12). Suppose o*y = -2*y + 112. Does 14 divide y?
True
Suppose -18 = -0*n + n. Let l be (-562)/n + (-4)/18. Let q = -14 + l. Does 5 divide q?
False
Suppose -4*s + 11*s - 791 = 0. Is s a multiple of 32?
False
Let d = 27 + -11. Is d a multiple of 8?
True
Let a = 2 + -2. Suppose 0 = -4*g - g + 4*h + 45, a = -5*g + 3*h + 40. Suppose -5*f + g*b = -120, -5*f - 60 = -2*b - 186. Is f a multiple of 16?
False
Let u = 418 - 283. Does 11 divide u?
False
Let h(x) = -x**3 + x**2 + x - 18. Let t be h(0). Let b = t + 36. Is 14 a factor of b?
False
Suppose -4 = -2*q + 12. Suppose 3*i = s + q, 0 = 4*s + 5*i - 10*i + 25. Is 8 a factor of 2*8 - (s + 3)?
False
Suppose 3*x + 10 = q, 0 = -2*x - 3*x. Does 10 divide q?
True
Suppose -z + b + 32 = 0, -5*z + 79 = -3*b - 75. Suppose 0 = 3*r - 103 - z. Is r a multiple of 19?
False
Let z be -2 + (-3)/((-6)/(-4)). Let a = z - -7. Is a a multiple of 2?
False
Let c(r) = 3*r**2 - 3*r - 4. Let h be (-4)/(-12)*-4*3. Does 15 divide c(h)?
False
Let y be 8 - 3 - 0/(-4). Suppose s + 136 = y*s. Is 11 a factor of s?
False
Let s(b) = -20*b - 2. Suppose 5 + 4 = -3*g. Let k be s(g). Let v = k + -32. Is v a multiple of 13?
True
Let v = 27 + -1. Is 19 a factor of v?
False
Let p(g) = 13*g - 5. Let s(w) = -7*w + 3. Let o(k) = -6*p(k) - 11*s(k). Does 3 divide o(-6)?
True
Suppose 2*r = 2*a - 184, -5*a - 44 = 2*r - 497. Is a a multiple of 16?
False
Suppose -3*i + f = -0*i - 5, i - 3*f + 9 = 0. Let g = i + 0. Suppose -d - 10 = -g*d. Does 5 divide d?
True
Let f = 168 - 110. Let l = -30 + f. Is l a multiple of 8?
False
Suppose 5*m + s - 2 - 13 = 0, -4*m = -3*s + 7. Suppose d - 18 = -5*r + 27, m*r + 2*d - 10 = 0. Does 5 divide r?
True
Let r(b) = -b + 8. Let u be r(8). Let t be 0 - (-4 + u/(-3)). Does 11 divide t/(16/6)*10?
False
Let z(r) = -22*r - 2. Let g be z(-3). Suppose k = -d + 28, -3*d + k = -0*k - g. Is 11 a factor of d?
False
Let o = -443 + 749. Is o a multiple of 51?
True
Let n(p) be the first derivative of -p**4/4 + 2*p**3 - p**2/2 + p + 2. Let o be n(5). Suppose o = b - 2*w, 3*b = -0*b - 5*w + 41. Is b a multiple of 9?
False
Suppose -1 = -0*i + i. Let b be -1*(1 + (i - -1)). Is 5 a factor of (0 - 1)*(-9 - b)?
False
Let g(u) = u - 1. Let d be g(0). Let k(y) = 24*y**2 - 2*y - 1. Let r be k(d). Suppose 3*h - 62 = r. Is 11 a factor of h?
False
Suppose 5*l + 206 = 731. Suppose -4*c - 2*s = -7*s - 17, 0 = -3*c + 2*s + 11. Suppose -2*p = 4*i - c*i - 40, -4*i + 3*p = -l. Is 14 a factor of i?
False
Let t = 1 + -4. Let c be 4 + (0/t)/1. Suppose 5*n - 44 = -c*a, a - 3 - 8 = -n. Does 11 divide a?
True
Suppose 4 = -2*h + 6. Let m be (6 - 2)*(h - 0). Suppose 5*g - 5 + 30 = 0, m*a - 5*g - 97 = 0. Is 11 a factor of a?
False
Let p = 8 - 5. Suppose 2*n + p*n = -5*f, -2*f - 3*n = 2. Suppose q - 6 = -f*q. Is q a multiple of 2?
True
Suppose 0 = -3*j + 3*n + 72, n = 5*j + 3*n - 106. Let r = 48 - j. Does 8 divide r?
False
Suppose 6*s - 552 = -2*s. Is 23 a factor of s?
True
Let q(i) = -i**2 - 8*i + 6. Suppose 0 = 4*n + 4*s - 0 - 8, n - 2*s = 11. Suppose -o + n*o = -2*d - 24, 2*o = -4*d - 6. Is 13 a factor of q(o)?
True
Suppose 4*o - 6*o + 178 = 0. Does 23 divide o?
False
Let n(i) = -6*i - 1. Let u be n(-1). Let j(c) = c**2 - c + 1. Let o(f) = -6*f**2 - 5*f - 14. Let v(s) = u*j(s) + o(s). Does 6 divide v(-7)?
True
Let i(q) = -q**2 - 4