
False
Let c be (-4)/(0 - (2 + 0)). Suppose 4*o = 6 + c. Suppose h - 7 = -i - 2, -4*i + 18 = o*h. Does 3 divide i?
False
Let f = 46 + -28. Suppose -n = f - 94. Does 20 divide n?
False
Suppose -5*c + 22 + 3 = 0. Is 5 a factor of c?
True
Suppose 3*p - 95 = 4*k, -2*p + 75 = 2*p + 5*k. Is p a multiple of 5?
True
Suppose 0 = -s - 0*s + 7. Let q be 2/(-2) - (-112)/s. Does 4 divide (-57)/(-5) - 6/q?
False
Suppose 22 + 330 = 4*x - 4*g, 2*g = -4*x + 352. Suppose 5*f + 5*n + 54 = 4*f, -4*n + 240 = -4*f. Let o = f + x. Does 8 divide o?
False
Let u(z) = z + 1 + z + 4. Let d be u(-5). Let j(q) = -6*q + 1. Does 11 divide j(d)?
False
Let r = -145 + 165. Is r a multiple of 5?
True
Let r be (-2)/3*(-42)/4. Let v be r/(-1) + 4/2. Is 11 a factor of 17 + v/((-15)/6)?
False
Let i(k) = -1008*k**2. Let d be i(1). Let s be d/45 + (-4)/(-10). Is 11 a factor of (s/4)/(2/(-4))?
True
Let v(f) = -f**3 + 14*f**2 + 12*f - 3. Does 16 divide v(14)?
False
Suppose 7 = 4*p - 5. Is (p - 1)/((-12)/(-234)) a multiple of 17?
False
Let c(u) = 21*u + 9. Is 18 a factor of c(3)?
True
Does 9 divide 2/(166/54 - 3)?
True
Let k = 54 - 26. Does 3 divide k?
False
Does 4 divide 0 - (620/(-5))/4?
False
Let o(y) = 1 + 5 - 1 - 14*y + 6 + y**2. Is o(17) a multiple of 16?
False
Let a(w) = 7*w**3 - 3 - w**2 + 3*w - 6*w**3 + 0. Is 2 a factor of a(2)?
False
Let i be 1 - (1 - 2/1). Let v(a) = -35*a**2 + 3*a**3 + 65*a**2 + a - 33*a**2 - 1. Is v(i) a multiple of 5?
False
Let f = 9 - 9. Suppose f = 4*l - 74 - 2. Is 13 a factor of l?
False
Let g(i) be the second derivative of -1/6*i**3 - 2*i + 1/2*i**2 + 0. Does 2 divide g(-1)?
True
Suppose -k - 3 = 0, -h - 69 = -3*h + 3*k. Does 10 divide h?
True
Let g be -1 - -3 - 228/(-3). Suppose -5*a + g = -12. Is 18 a factor of a?
True
Suppose -g - 2*c + 66 = 3*g, -4*g - 4*c + 60 = 0. Is g a multiple of 18?
True
Suppose 2*z - 2*c + 0*c - 4 = 0, 2*z = -3*c - 16. Let i = -3 + z. Let g = i + 18. Is 13 a factor of g?
True
Suppose 2*d - i = -229 + 58, -i - 417 = 5*d. Does 9 divide (-2)/(-10) + d/(-5)?
False
Let m be 1/5 - 27/(-15). Suppose -35 = -p - i, -3*p - 41 + 144 = m*i. Is p a multiple of 18?
False
Let i(d) = 3*d**2 + 4*d - 2. Let u = -6 + 10. Suppose 5*n - 11 = u. Is i(n) a multiple of 10?
False
Let f be -2 + 3/(-3) + 8. Suppose -3 = f*a + 2. Is 15 a factor of -1*-31*1 + a?
True
Let m(u) = -u + 2. Let z be m(-3). Let q = 63 + -41. Suppose 4*j - 74 = 2*r, -z*j + q = -r - 78. Is 19 a factor of j?
False
Suppose 0 = -k - 5, -5*k + 10 + 41 = 2*a. Suppose 3*w - a = 2*i - 0*i, w - 3*i = 8. Is w a multiple of 8?
False
Does 14 divide (-3 - -2)*(-146 + 3)?
False
Suppose 0 = 2*b - 4*b + 6, 2*b + 129 = 5*v. Suppose v = 3*n + c - 13, 5*c + 34 = 3*n. Is 5 a factor of n?
False
Suppose -3*t = 2*t - 160. Let l = t + -13. Suppose 0 = 5*u - l - 141. Does 15 divide u?
False
Let r = 3 + -1. Let s be (9/12)/((-5)/(-20)). Suppose -r*p + 10 = s*p. Is p even?
True
Let x(y) = y**3 - 9*y**2 + 5*y + 1. Let j be x(8). Let r be (-3)/(-6)*4 - j. Is 3 a factor of 10/r - (-76)/10?
False
Suppose w + 120 = j - 300, 0 = -5*j + 2*w + 2109. Is j a multiple of 55?
False
Suppose -3*u - 2*u + 2*k + 74 = 0, -4*u + 50 = 3*k. Let b = u + 22. Is b a multiple of 6?
True
Does 9 divide 2078/10 + (-4)/5?
True
Suppose 3*q = 2*q - 4*c + 5, -5*c = -4*q + 20. Suppose q*d = 2*k - 35, 0 = -k + 5*d - 3*d + 16. Does 5 divide k?
True
Let a(n) = n**3 - 5*n**2 + n + 7. Let l be a(6). Suppose 2*t - 4*t = 3*y - 142, t - l = -y. Is y a multiple of 22?
True
Let a = 43 + -31. Suppose -a = 2*z - 44. Does 16 divide z?
True
Let u(h) be the second derivative of -h**2/2 - 2*h. Let o(q) = -4*q - 2. Let x(f) = -o(f) + 3*u(f). Is x(2) a multiple of 3?
False
Let z = -76 + 212. Is 34 a factor of z?
True
Let r = 5 + -5. Suppose r = -5*n + 20 + 20. Is n a multiple of 8?
True
Suppose -q + 120 = 5*q. Is q a multiple of 5?
True
Suppose 0*f = -2*f + 6. Suppose s = -f*s + 56. Is 10 a factor of s?
False
Suppose g + 12 = 5*j, 5*j + 4*g + 1 = 3. Does 9 divide ((-6)/10)/(j/(-30))?
True
Let h(b) = -b**3 - 7*b**2 - 4*b - 2. Let k be h(-7). Suppose -3*g = -70 - k. Does 24 divide g?
False
Let p(n) be the first derivative of n**3/3 - 3*n**2/2 - 4*n - 2. Let f be p(5). Suppose v = f + 16. Is v a multiple of 12?
False
Let i be -1 - (-3 + (-4)/(-2)). Let d = -2 - i. Does 4 divide -1*d/(-1) - -9?
False
Let q = 10 + -7. Suppose -q*d + 1 - 4 = 0, -2*j + 2*d + 36 = 0. Does 10 divide j?
False
Let q = -96 - -165. Does 20 divide q?
False
Let r(i) be the first derivative of i**3/3 + i**2/2 + 22*i - 1. Let c be r(0). Suppose w - 3*w = -c. Is w a multiple of 8?
False
Suppose -71 = -4*y + 33. Suppose 0 = 2*l + 8 - y. Is l a multiple of 7?
False
Suppose w + 4 - 19 = 2*v, v = 3*w - 50. Is 15 a factor of w?
False
Let f(s) = 2 + 0*s - 2*s + 3*s + 4. Is f(-4) a multiple of 2?
True
Let d(z) = z**3 + 10*z**2 + 7*z. Does 18 divide d(-8)?
True
Let o be (1/2)/((-1)/14). Let w = o + 18. Is w a multiple of 9?
False
Suppose -5*m + 91 = -104. Is 13 a factor of m?
True
Suppose -20 = -4*d, 2*o - o - 13 = 3*d. Suppose -5*j + o = -77. Is 11 a factor of j?
False
Let z(j) = -j - 3. Let x be z(-5). Suppose -4*u - 10 = 2*w + w, 8 = x*w - u. Suppose -w*m - 6 = -16. Is 4 a factor of m?
False
Suppose -12*p + 11*p + 80 = 0. Does 8 divide p?
True
Let y = 3 - 1. Suppose -a + y*d + 30 = 0, -a + 4*d + 10 = -16. Is a a multiple of 17?
True
Suppose 3*g - 16 = -g - 3*d, g - 4 = -3*d. Suppose q + 27 = -2*s, -g*q + 0*s - 3*s - 118 = 0. Let x = -19 - q. Does 6 divide x?
True
Suppose 145 = 2*n + 5*q, -5*n + 2*q + 249 = -157. Is 6 a factor of n?
False
Suppose 4*c = -122 + 434. Does 29 divide c?
False
Suppose -4*x = -25 + 1. Let w = x - -2. Suppose y + w = 3*y. Is y even?
True
Let y = -26 - -51. Is 9 a factor of y?
False
Let f(i) = -6*i + 6. Does 12 divide f(-10)?
False
Let g(j) = 8*j - 4. Let d be g(-6). Let m = d + 94. Does 11 divide m?
False
Let g = -5 - -68. Does 15 divide g?
False
Suppose -2*l + 3*j + 19 = -l, 2*j + 2 = -2*l. Suppose 4*f + 66 = 2*h, 0 = h - 6*h - l*f + 151. Does 10 divide h?
False
Let s(p) = -p - 1. Let a(k) = -182*k - 78. Let n(g) = a(g) - 78*s(g). Let h be n(-1). Suppose 3*t + 5*o - h = 0, -3*t - o - 24 = -148. Is 16 a factor of t?
False
Suppose -5*m + 7 = -3. Does 2 divide m?
True
Let o be (-134)/(-5) + (-3)/(-15). Does 15 divide 804/o + (-4)/(-18)?
True
Suppose 66 - 742 = -4*v. Is 16 a factor of v?
False
Suppose 0 = 3*u - 2*x - 13, x = 5*u + 3*x - 27. Let q(z) = 10*z - 7. Is 26 a factor of q(u)?
False
Suppose 5*j = 91 - 1. Suppose -j = -5*k + 7. Is 2 a factor of k?
False
Let y(b) = b**3 - 11*b**2 + 16*b + 6. Does 7 divide y(11)?
True
Suppose 3*n - 150 = 150. Is 11 a factor of n?
False
Suppose -11*m - 42 = -12*m. Is m a multiple of 21?
True
Suppose -5*o + 333 = -307. Is 32 a factor of o?
True
Suppose -4*o = -7*o + 5*y + 198, -4*o = 3*y - 264. Is o a multiple of 20?
False
Suppose -2*d - 3*d - 18345 = 0. Let h be d/(-33) + 8/(-44). Let i = -46 + h. Is i a multiple of 19?
False
Let s(u) = -u**2 + 6*u - 9. Let l be s(6). Let w = 2 - l. Is 4 a factor of w?
False
Let t(m) = m**2 + 5*m + 2. Let k(f) = -16*f - 10. Let a(s) = -5*s - 3. Let y(q) = 7*a(q) - 2*k(q). Let c be y(2). Is t(c) a multiple of 14?
False
Let r(o) = -28*o. Let p be r(3). Let v = -49 - p. Is v a multiple of 16?
False
Let f(d) = d**2 - 3*d + 2. Does 30 divide f(7)?
True
Does 5 divide ((-1)/(6/170))/((-1)/3)?
True
Suppose 0*g - 127 = -2*g - m, -2*g + 147 = -3*m. Let a = 130 - g. Is a a multiple of 16?
True
Let t = 6 + -4. Suppose -2*d + 12 = t*d. Suppose -5*p - j = -108, -3*p - d = -4*j - 77. Is p a multiple of 16?
False
Let x(z) = z**3 - 6*z**2 + 11*z + 1. Is 4 a factor of x(6)?
False
Let q(i) be the third derivative of 37*i**5/60 - i**4/24 + i**2. Let r be (-2 - -3)*2 - 3. Does 16 divide q(r)?
False
Let g = -3 - -10. Let s = g + 4. Is 3 a factor of s?
False
Let g(i) = -13*i - 1. Suppose 0 = -2*j + 4 - 6. Is 4 a factor of g(j)?
True
Let m = 80 + 55. Is m a multiple of 12?
False
Let o = 366 + -249. Let k = -78 + o. Does 12 divide k?
False
Let b(a) = a**3 - 20*a**2 + 23*a - 22. Does 5 divide b(19)?
False
Suppose -3*h = -5*u + 2, 2*h - 8 = -4*u - 2. Suppose -d = d - 14. Does 5 divide -2 + (h - 0)*d?
True
Is 5 a factor of -3*(-3)/(-18)*-90?
True
Let z(q) = 3*q - 1. Let l = 8 - 6. Let g be z(l). Suppose -5*r - 2*i = -2*r -