19 - -57. Does 10 divide i?
False
Suppose -2*g = -7 - 25. Does 5 divide g?
False
Let y be 1/((-3)/(-6)) - -4. Suppose 5*s - 14 - y = 0. Suppose -s*j - 16 = -168. Does 19 divide j?
True
Suppose 132 = 7*x - 64. Is x a multiple of 28?
True
Suppose -3*t = -0*t. Suppose -3*b + 63 = -3*l, 2*l + t*l = 5*b - 117. Does 12 divide b?
False
Suppose -6*p + 9*p - 6 = 0. Is (66/(-77))/(p/(-14)) a multiple of 6?
True
Suppose 52 = 5*a - 5*q - 48, 3*a = 5*q + 52. Suppose s + 4*c = a, -s - 32 = -2*s - 2*c. Does 10 divide s?
True
Let m be (-12)/18 - 2/6. Let o be ((-1)/(-2) + m)*470. Is 4/(-6) + o/(-15) a multiple of 4?
False
Let c be 123 + (1 - -2 - 0). Suppose -m = m - c. Does 16 divide m?
False
Let j(a) = 26 + a - 2*a + 6. Let u(d) = 8. Let m(n) = 2*j(n) - 9*u(n). Is m(-7) a multiple of 6?
True
Let h = -74 - -139. Suppose t - 2 = -0. Suppose -2*j = -3*m + j + 75, t*m = -j + h. Is m a multiple of 15?
True
Let s = 70 + -1. Suppose 5*n - 2*i - s - 51 = 0, -4*n = -i - 99. Is n a multiple of 13?
True
Suppose 3*n = 59 - 11. Is n a multiple of 3?
False
Let u(h) be the second derivative of h**3/6 + h**2/2 + h. Let n be u(1). Let z(t) = 7*t + 2. Is 14 a factor of z(n)?
False
Suppose -2*c + 204 = a + 3*a, -4*a = -4*c + 444. Is 20 a factor of c?
False
Suppose 5*a = 4*x - 33, 0 = x - 4*x + 3*a + 21. Let m = 1 - -4. Suppose -x*f = -f - m. Does 3 divide f?
False
Suppose -n = 4*n - 20. Let b be 321/(-9) + n/6. Let f = -22 - b. Does 9 divide f?
False
Suppose -l + 53 = -4*a, -a + 243 = 5*l + a. Suppose 2*y = -13 + l. Suppose -y = -t - 2*t. Is 3 a factor of t?
True
Suppose -i = -2*i + 58. Is 29 a factor of i?
True
Let v(s) = -s**3 + 10*s**2 - 6*s + 7. Let o(u) = u + 1. Let g(f) = 4*o(f) - v(f). Let w be g(9). Suppose -l = -w - 0. Does 2 divide l?
True
Let s(p) = p**2 - 8*p - 13. Is 2 a factor of s(12)?
False
Let t(q) be the first derivative of q**6/60 - q**5/30 + q**4/12 - q**2/2 - 2. Let v(j) be the second derivative of t(j). Is v(2) a multiple of 7?
False
Suppose 12 = -3*g - 0. Let b be -1*g/((-4)/(-15)). Suppose -4 = -k + b. Is k a multiple of 19?
True
Let l be (3 + -1 + -2)/1. Let w = l - -1. Is 9 a factor of 16 + 3 + -2 + w?
True
Is 3 - 1*(-9 - -3) a multiple of 4?
False
Let r(s) = s**3 + 2*s - 3*s**2 + 2 - s + 2*s. Suppose t = -4*w + 11, -4*w + 13 = 2*t + 3. Is 4 a factor of r(w)?
False
Let p be 2*((-5)/(-1) + -3). Suppose -5*q + p*w + 15 - 2 = 0, -q - 9 = 5*w. Is (-1 - q/(-2))*-110 a multiple of 22?
False
Let p(v) = v**3 - 9*v**2 - 8. Let y be p(9). Let r = y + 10. Suppose 160 = 6*b - r*b. Is 12 a factor of b?
False
Suppose 0 = 6*b - 2*b - 88. Is b a multiple of 22?
True
Let p(l) = 6*l + 2 - l**2 + 0 + 3*l**2. Let g(s) = -s**2 - 6*s + 2. Let a be g(-7). Does 13 divide p(a)?
False
Let l(a) = -a**3 - 4*a**2 + 5*a + 5. Let o be l(-5). Suppose -2*h = o*t - 30, 2*h = -3*h - 25. Is t a multiple of 3?
False
Let p be 2 + 5 + 3 + -7. Suppose 0 = -2*s - 4, 5*y = p*s + 156 - 45. Is 19 a factor of y?
False
Is 4/(-16) - (-290)/8 a multiple of 9?
True
Let p(i) = i + 10. Let j be p(-5). Suppose 0 = -s - j*r - 9, 4*s - 2*r = -s - 126. Let t = -17 - s. Is t a multiple of 7?
True
Suppose 4*c = -4*j - j + 325, 0 = -c + 5*j + 75. Is c a multiple of 20?
True
Let n(j) = 3*j**2 + 2*j - 2. Is 2 a factor of n(-2)?
True
Let z(t) be the second derivative of -t**6/40 - t**5/30 - t**4/24 + t**3/3 - t**2/2 + 2*t. Let m(f) be the first derivative of z(f). Is 10 a factor of m(-2)?
True
Let h(w) = -w**3 - 4*w**2 - w + 4. Let p be h(-3). Let u = -10 + 5. Is 17 a factor of p*1 - (-41 - u)?
True
Suppose y - 3 + 6 = 0. Let j be (-1)/y + 1077/9. Suppose -4*f = -0*f - j. Is f a multiple of 14?
False
Let p = 1 - 6. Is 7 a factor of (14/p)/((-5)/25)?
True
Suppose n = 30 + 10. Is 8 a factor of n?
True
Let g(o) = o - 4 + 30 - 1. Suppose 5*c = 3*t, -2*t + 5*t - 4*c = 0. Does 10 divide g(t)?
False
Let n = 11 + 17. Suppose 0 = -2*d - 5*i + 44, 0 = -d - d + 3*i + n. Let c = d + -12. Is c even?
False
Let p(c) = c**2 + 12*c + 4. Let o(z) = -11*z - 4. Let m(b) = 3*o(b) + 2*p(b). Is 20 a factor of m(8)?
False
Let j = -29 + 45. Does 15 divide j/(-6)*(-180)/16?
True
Suppose -20 = y - 25. Suppose y*v - 229 = -54. Is v a multiple of 7?
True
Let n be 3/3*-1 - 29. Let i = n - -15. Does 8 divide (-88)/(-5) + (-6)/i?
False
Suppose -5*f + 212 = -2*f - 5*i, 4*i = f - 59. Is f a multiple of 12?
False
Let q be 5 - (-1 + 0)*-1. Suppose 3*d - 3*a = 84, -d + 167 = 4*d + q*a. Is d a multiple of 14?
False
Let g(l) = 5*l**3 + l. Suppose -2*u = -5*u. Let b = 1 - u. Is 6 a factor of g(b)?
True
Suppose -5*h + 5*g + 465 = 0, -64 = -h + 2*g + 24. Is 14 a factor of h?
True
Suppose 0 = u - 3*k + 4*k - 116, -3*k - 212 = -2*u. Suppose 3*s - s = u. Does 14 divide s?
True
Let f(i) = 5*i**2 + 4 + i - 1 - 1 - 4*i**2. Let k(t) = -t**3 - t**2 - 2*t - 3. Let d be k(-2). Is 16 a factor of f(d)?
True
Let w(a) = 22*a + 1. Let j(u) = -45*u - 2. Let t(s) = -6*j(s) - 14*w(s). Is 12 a factor of t(-1)?
True
Let a be -12*(-1)/(-3 - -2). Let h = 26 + a. Is h a multiple of 14?
True
Suppose 6*x - 363 + 15 = 0. Is x a multiple of 10?
False
Suppose -2 = s + 2*a, 5 = -5*a - 0. Suppose 5*f - 275 = -s*f. Suppose 6*q - f = q. Does 11 divide q?
True
Suppose -5*i = 24 - 144. Let m = 41 - i. Is 4 a factor of m?
False
Let w(h) = 23*h**2 + 5*h - 3. Does 11 divide w(2)?
True
Let s = -116 + 202. Does 31 divide s?
False
Suppose -2*y = -5*u - 54, -3*y - 3*u = u - 35. Is 3 a factor of y?
False
Suppose 1 = 2*w + 15. Let t(i) = i**3 + 9*i**2 + 11*i + 10. Is t(w) a multiple of 12?
False
Suppose 138 = -2*y + 7*y + 4*d, d = -5*y + 147. Suppose 4*b + 2*w + 0*w = y, -2*b - 4*w + 6 = 0. Does 6 divide b?
False
Let n(x) = x**2 + 3*x + 2. Let l be n(-3). Let s(w) = 2*w**2 - 3*w. Let t be s(l). Suppose -4*b = -t*b - 10. Is 2 a factor of b?
False
Let f be -3 + (0 - -2) + 3. Suppose 0 = -2*s + n + 46, f*s = -s + n + 68. Is 11 a factor of s?
True
Suppose -3*n + 3 = 4*q - 15, 4*n = 2*q + 2. Suppose -4*z = 0, 2*z + n*z = 5*o - 75. Is o a multiple of 15?
True
Let z(i) = -i - 22. Let p be z(-16). Let d(g) = -g**3 - 5*g**2 + 4*g + 2. Is 14 a factor of d(p)?
True
Suppose -6*t = -3*s - 2*t + 64, 4*t = -s. Suppose -4*k + s = -0. Does 2 divide k?
True
Let p = 65 - 3. Does 16 divide p?
False
Let l = -10 + 6. Let b(p) = -5*p**3 - 2*p**2 + 6*p + 10. Let g(x) = -x**3 + 1. Let m(f) = b(f) - 4*g(f). Is 12 a factor of m(l)?
False
Suppose -189 - 211 = 5*z. Let i = z - -114. Suppose -3*p = -2*p - i. Does 15 divide p?
False
Let g = 18 + 15. Is g a multiple of 11?
True
Let d = 162 - 106. Is d a multiple of 14?
True
Suppose 9 = 3*z - 3*b, 25 - 9 = 4*z - 2*b. Suppose -r + 92 = z*h, h = -0*h + 5*r + 34. Does 19 divide h?
True
Suppose -p - 5*z + 53 = -3*z, -111 = -2*p - 3*z. Does 32 divide p?
False
Suppose -3 - 6 = 3*o. Does 13 divide 3 - (o + 7) - -22?
False
Let w be (10/(-3))/((-8)/228). Suppose 4*m = 33 + w. Is m a multiple of 11?
False
Let k(r) = -8*r + 25. Does 16 divide k(-3)?
False
Is (2/(-6))/((-4)/276) a multiple of 5?
False
Let d be 14*1*(-1)/(-2). Let r = d + -4. Does 2 divide r?
False
Let r(l) = 16 - 4*l - 2*l**2 + 17*l - l**3 + 15*l**2. Is r(14) a multiple of 2?
True
Suppose -5*g + 346 = 2*h, h - 208 = -3*g - 0*g. Suppose 0 = 3*m - 4*m - 1, 5*m + g = -k. Let y = k + 109. Does 17 divide y?
False
Let s(w) = 4*w**2 + 1. Suppose 3*n + n + 12 = 0. Does 23 divide s(n)?
False
Suppose -23 - 61 = 3*p. Let l = p - -16. Does 22 divide (-525)/l + 2/8?
True
Suppose 3*o - 16 = 272. Does 32 divide o?
True
Let k(o) = 4*o**2 - 6*o - 4. Does 28 divide k(-4)?
True
Suppose 2*z = -4*z + 18. Suppose -2*k + z*k = 73. Is k a multiple of 20?
False
Suppose 3*d + w = 2*w + 403, -4*d = -w - 539. Is d a multiple of 34?
True
Let x(m) = 2*m + 32. Is 8 a factor of x(0)?
True
Let m(i) = -6*i**2 - 2*i**2 - 3*i - 11*i**3 + 10*i**3 - 3. Does 12 divide m(-8)?
False
Let o(v) = 2*v + 12*v - v**2 + 0*v**2 - v - 6. Suppose -2*n - 32 = -3*i - 3*n, 4*i = 3*n + 34. Does 12 divide o(i)?
True
Let a(h) = 5*h**3 - 8*h**2 - 4*h + 6. Let d(p) = -6*p**3 + 9*p**2 + 5*p - 6. Let w(i) = 7*a(i) + 6*d(i). Does 18 divide w(-4)?
False
Let r(t) = 4*t - 12. Let i be (-8)/(0/(-2) - 1). Does 10 divide r(i)?
True
Suppose -5*o + 443 + 162 = -b, -3*o + 2*b + 363 = 0. Does 11 divide o?
True
Let v be (-5 - -5) + (-1 - -81). Let r = v - 44. Is r a multiple of 18?
True
