ppose -10 = -0*x + 5*x. Let a = 3 - 7. Is 20 a factor of 4*x/a - -50?
False
Let v(y) = 14*y**2 + 2. Is 13 a factor of v(-2)?
False
Suppose 5*o - 90 = 20. Does 11 divide o?
True
Suppose -5*n = -10*n + 280. Is n a multiple of 28?
True
Let l(d) = d**3 - 4*d**2 + 4*d + 7. Is l(5) a multiple of 26?
True
Suppose -3 = t - 7, 5*t = -2*w + 170. Suppose 4*i - w = 9. Is i a multiple of 7?
True
Suppose 0*d + 4 = d. Suppose -d*w = 2*t - 65 - 9, 4*t = -12. Is w a multiple of 10?
True
Let v be (3/2 - 0)*2. Suppose 3*z = 4*z - 2. Does 3 divide 8 - (1 + z)/v?
False
Let m be 1 + (-3)/(3/(-8)). Let b(d) = -3*d**3 + 3*d**3 + 11*d - 4*d**3 + 5*d**3 - 10*d**2 - 9. Does 9 divide b(m)?
True
Suppose 5*f - 4*f - 3*c - 25 = 0, 4*c = -5*f + 106. Let v = -2 + 18. Suppose -4*b + v = 4*r, -4*r + b + b = -f. Is 4 a factor of r?
False
Let h(c) = -c + c + 2*c + 5. Let x be h(-5). Is (0 + x)*(-1 + 0) a multiple of 3?
False
Suppose 4*c - 10 = 3*u + 10, -20 = -4*c - u. Let v be (6 - c)/(1/43). Suppose 0 = 5*w - 57 - v. Does 10 divide w?
True
Suppose 2*q - 4 - 4 = 0. Let x(c) = 3*c**2 - 2*c + 8. Let f(d) = 7*d**2 - 4*d + 17. Let v(j) = 4*f(j) - 9*x(j). Does 13 divide v(q)?
False
Suppose 4*t = 24 - 4. Let p = -2 + t. Suppose p*q - 11 = 1. Is 2 a factor of q?
True
Let z(c) = 9*c - 3. Is 5 a factor of z(4)?
False
Suppose 2 + 0 = -2*w. Let b(d) = 16*d**2 - 1. Does 15 divide b(w)?
True
Suppose -5 = z + t - 4*t, 0 = 3*z - 4*t + 5. Let s(n) = 23*n**3 - n**2 - n + 1. Is 11 a factor of s(z)?
True
Let p = -54 - -228. Does 29 divide p?
True
Let v(g) = g**3 + 9*g**2 - 4*g - 2. Let z = -19 - -10. Is 17 a factor of v(z)?
True
Let x be 8/20 + (-34)/10. Let l(j) = -j**3 - 2*j**2 - 1. Is 8 a factor of l(x)?
True
Let y = 38 - 16. Suppose 2*k = 4*k - y. Is k a multiple of 11?
True
Let h = 145 + -56. Is 11 a factor of h?
False
Let h be (-4)/3*(-9)/3. Suppose h*a + a = 160. Does 8 divide a?
True
Is 41 a factor of (-28)/(-28) - 20*2*-1?
True
Suppose 0 = 5*d, -f - 5*d = -48 + 12. Is 18 a factor of f?
True
Let h = -17 - -25. Suppose -5*k + k - h = 0. Is 11 a factor of (-366)/(-12) - 1/k?
False
Let h(u) = -u**3 + 14*u**2 + u + 10. Does 32 divide h(13)?
True
Suppose -2 + 5 = w. Suppose 6*p + 5*s = 4*p + 10, -15 = -w*p - 5*s. Is p a multiple of 5?
True
Let m be (-7)/(-2) + (-12)/8. Suppose -5*g + 5 = 0, b + 2*g = -0*b + 5. Suppose 0 = -f - 0*c + b*c - 6, 3*f = -m*c + 15. Is f a multiple of 2?
False
Suppose 2*q + 3*r - 2 = -3, q - 1 = -r. Suppose 0 = -3*z + 3*c + 45, q*z + 3*c = 4*c + 63. Is z a multiple of 15?
False
Let g(h) = 5*h - 5*h**2 + h**2 + 7*h**2 + 3*h**2 + 3 + h**3. Let c be g(-5). Suppose -c*z + 2*y = -3*y - 19, -4*z = -5*y - 27. Is 4 a factor of z?
True
Suppose -3*o - o + 220 = 0. Suppose -3*p + 2 + o = 0. Let q = p + -7. Does 6 divide q?
True
Suppose 5*i - 285 = -2*q, -q - 2*q = -3*i + 171. Is i a multiple of 19?
True
Let t(u) = -u**2 - 2*u + 3 + 10*u - 6. Let y be t(8). Let n = 44 - y. Does 19 divide n?
False
Suppose 0 = -95*l + 94*l + 96. Is l a multiple of 43?
False
Suppose 22 = w - 4*n - n, 0 = 5*w - 2*n - 156. Does 7 divide w?
False
Let k be 14/10 + 4/(-10). Let h be 1 + (0 + k - -51). Suppose -h - 31 = -4*w. Is 9 a factor of w?
False
Suppose -4*j + 148 = -192. Is j a multiple of 15?
False
Let h = 111 + -313. Let f = h - -327. Suppose -5*y + 80 = -f. Is y a multiple of 17?
False
Let b(q) = -2*q**2 + 4*q + 13. Let i be b(7). Let r = -40 - i. Is 6 a factor of r?
False
Suppose 0 = 3*d + 7 + 11. Let z(u) = u**3 + 7*u**2 + 6*u + 8. Is z(d) a multiple of 5?
False
Let x = 4 - 1. Suppose 4 + x = n. Is 3 a factor of n?
False
Suppose 10*v - 620 = 5*v. Suppose -c + 142 = -0*c + 4*t, 0 = c - 2*t - v. Suppose -5*n = -0*n - c. Is 13 a factor of n?
True
Let p = 9 - 6. Suppose -p*f + 12 = 3*i, 3*f - 22 - 6 = i. Is f a multiple of 4?
True
Suppose -y = 4*y. Suppose 3*s = -3*m + 69, y = -0*s - s + 5*m + 11. Does 7 divide s?
True
Let b be (7/(-3))/((-3)/9). Let y(c) be the third derivative of c**5/60 - c**4/6 - 5*c**3/6 + 3*c**2. Is 12 a factor of y(b)?
False
Let r(n) = -n**3 + 14*n**2 + 14*n - 6. Does 21 divide r(14)?
False
Is 23 a factor of (3 - -20)/(-1 - -2)?
True
Suppose o + 0*o = -9. Let q(m) = -m**3 - 10*m**2 - 9*m - 1. Let t be q(o). Let s = t + 15. Is s a multiple of 7?
True
Suppose 3*l - 528 = -3*l. Does 8 divide l?
True
Suppose -b + 28 + 62 = 0. Is b a multiple of 30?
True
Let z = 4 - -1. Suppose -r - z = 0, -v + 3*r + r + 54 = 0. Is v a multiple of 10?
False
Let w(y) = -y + 1. Let g be w(7). Let m = g - -8. Suppose -4*q + 3*l + 12 = -20, -m*l + 40 = 5*q. Is q a multiple of 4?
True
Let m be (-50)/3*(-9)/2. Let u = m + -51. Does 22 divide u?
False
Let r = -70 + 108. Is r a multiple of 11?
False
Let j(a) = a + 16. Let d be j(-12). Suppose -40 + d = -s. Does 15 divide s?
False
Suppose 5*x = 4*w + 160, -144 = 4*w + x - 2*x. Let u = w + 24. Let c = u - -30. Is 15 a factor of c?
False
Let f be ((-4)/(-3))/((-1)/(-3)). Suppose -f*v + 69 = 13. Is v*((-2)/4)/(-1) a multiple of 6?
False
Let o(y) = 6*y**3 - 2*y + 5. Does 12 divide o(2)?
False
Let x = 254 - 126. Is 16 a factor of x?
True
Suppose 4*o - 202 = 3*y, -4*y = 2*o + 15 - 127. Does 13 divide o?
True
Let z be 18*(-3 - (-4 - 1)). Suppose -n - 2*s + z = 2*n, 3*s = -5*n + 61. Is 5 a factor of n?
False
Let n(v) be the third derivative of 3/8*v**4 - 2*v**2 + v**3 + 1/30*v**5 + 0*v + 0. Is 12 a factor of n(-6)?
True
Let h = 20 + 18. Is 11 a factor of h?
False
Let s = -15 + 24. Let d(k) = k**2 - 9*k + 8. Is 6 a factor of d(s)?
False
Let q = 1 + -2. Let m(n) = 22*n**2 + n. Is m(q) a multiple of 15?
False
Let n(d) = 3*d**2 - 6*d + 1. Let b be n(4). Let a = b - 0. Let v = a + -11. Is v a multiple of 14?
True
Suppose 6 = -4*s + 62. Let m = s + -29. Let h = -5 - m. Is h a multiple of 10?
True
Suppose 0 = -2*s + x + 9, -4*s - x = -3*s. Let r be 16/6 - (-1)/s. Is 2 a factor of r/2*(-8)/(-3)?
True
Suppose -2*j + 5 + 1 = 0. Let d be (1 - 1) + 2 - j. Does 4 divide (d - -3)/(6/33)?
False
Let d(c) = -c**2 + 14. Suppose -2*s + 5*t + 6 = 0, 5*s + 16 = s - 4*t. Let j be 0/((4/2)/s). Does 14 divide d(j)?
True
Suppose 0*r - 8*r = -1000. Does 6 divide r?
False
Let p = 39 - 36. Is p even?
False
Let s = 59 + 102. Does 23 divide s?
True
Let s = 18 + 0. Suppose -2*g = 3*q - 3*g - 14, q + 3*g = s. Let x = q - -3. Is 9 a factor of x?
True
Let n be (-6)/(-10)*(-75)/(-5). Let u = n - 7. Is 11 a factor of ((-87)/6)/(u/(-4))?
False
Is (4 - 5) + 90 + -1 a multiple of 11?
True
Let k = -77 + 22. Does 17 divide 33/k + 646/10?
False
Let c be 8/20 + 4/(-10). Suppose 3*n + 2*s + 183 = c, -3*s = 2*n + 3*n + 306. Let q = 99 + n. Is 16 a factor of q?
False
Suppose -2*n - 3*x + 7 = 0, -4*n = -2*n - 4*x. Let t(k) = -36*k + 15. Let h(w) = -5*w + 2. Let p(u) = n*t(u) - 15*h(u). Does 6 divide p(2)?
True
Is 8/(2 + 2) - -5 a multiple of 3?
False
Let t(j) = 1 + 1 - 2*j + 6*j**2 + 3*j**2 - j**2. Does 12 divide t(2)?
False
Suppose 0 = p - 5*d - 33, -d - 3*d - 116 = -4*p. Does 8 divide p?
False
Let s(o) = 29*o - 27*o + o**2 + 1 - 36*o**3 + 0*o**2. Is s(-1) a multiple of 18?
True
Let l(t) = 0*t + 1 + t + 0*t. Let s be l(8). Suppose -2*i + s = 1. Is 2 a factor of i?
True
Let o = 45 - 33. Does 3 divide o?
True
Suppose 4*x = -0*x + 44. Suppose 0 = 2*o - 0*o - 12. Let w = o + x. Does 17 divide w?
True
Let o(k) = -53*k - 14. Let d(j) = 26*j + 7. Let n(g) = -7*d(g) - 3*o(g). Does 21 divide n(-2)?
False
Does 13 divide -2 + 3/1 + 51?
True
Does 44 divide (-8)/(-36) + 4/(36/1393)?
False
Let f = -1 + 3. Let w(k) = 2*k**2 + 10 + 5 - k**f. Is w(0) a multiple of 7?
False
Suppose 0*q + q - 51 = -3*f, 2*q + 3*f - 96 = 0. Does 6 divide q?
False
Let z = 4 - 2. Let y(s) be the third derivative of s**6/40 - s**5/30 - s**4/24 - s**3/3 + 2*s**2. Is y(z) a multiple of 10?
False
Let x(b) = b**3 + b**2 + b - 4. Let p be x(0). Does 3 divide p/(-6)*-3 + 8?
True
Let k(r) = -r - 1 + 0 + 2. Does 6 divide k(-5)?
True
Does 18 divide (-5453)/(-49) - 4/14?
False
Let z = 129 - 27. Is 23 a factor of z?
False
Let a(p) = -9*p. Let w be ((-42)/(-28))/(3/(-4)). Is a(w) a multiple of 9?
True
Suppose 2*n + 2*t - 42 = 0, 3*t = -4*n + t + 80. Suppose -4*r + n - 3 = 0. Let u = 10 - r. Is u a multiple of 6?
True
Let a(y) = y**3 + 6*y**2 - 5*y + 7. Is a(-5) a multiple of 19?
True
Suppose -168 - 264 = 3*x. Let i be -1*1 + x/(-8). Suppose 4*g = 85 - i.