i. Suppose 5 = 3*s - y. Does 5 divide s?
True
Let t = -12 + 21. Let x = t - -38. Is 18 a factor of x?
False
Let q(p) be the first derivative of -p**3/3 - 8*p**2 + 12*p + 4. Does 25 divide q(-9)?
True
Suppose -5*p - 13 + 3 = 0. Is p/(-3)*3 + 3 a multiple of 5?
True
Let w be 2 + 1/(3/(-3)). Let d be w + -2 + 2 - 19. Let k = -13 - d. Is k a multiple of 3?
False
Let a = 4 + -8. Let p = a - -22. Suppose 0*d - 45 = -5*d + 5*j, 4*j + p = 2*d. Is d a multiple of 5?
False
Does 12 divide 1/(-3) - 163/(-3)?
False
Let i(m) = m**2 - 1. Let g be i(3). Does 4 divide -2 + 1 + (g - -4)?
False
Let k(l) be the third derivative of -3/20*l**5 - l**2 - 5/3*l**3 + 7/24*l**4 - 1/120*l**6 + 0 + 0*l. Is k(-10) a multiple of 10?
True
Let w(h) = -h**3 - h + 20. Let x(o) = o + 4. Let r be x(-4). Let a be w(r). Suppose 2*z = -10, -n = -4*z + z - a. Is 3 a factor of n?
False
Let b(x) be the third derivative of 0 + 0*x - 1/8*x**4 - 4/3*x**3 + 3*x**2. Is 5 a factor of b(-6)?
True
Let u = -39 + 91. Is 13 a factor of u?
True
Suppose -2*f + 19 = -59. Does 13 divide f?
True
Let m(n) = -5*n**3 - 3*n**2 - n - 2. Let l be -6*(20/12)/5. Is 6 a factor of m(l)?
False
Let q = -45 + 99. Does 15 divide q?
False
Suppose 2 = -r + 6. Suppose -r*c = -2*c - 4*y - 92, -3*c - 3*y = -102. Does 12 divide c?
False
Let s(q) = -5*q - 5. Let x be s(-2). Suppose 5*h - 80 = -x*r, -3*r - 95 = -5*h - 5*r. Is h a multiple of 8?
False
Let p = 52 - 23. Suppose 5*j = -4 + p. Is j even?
False
Let j = -5 + 3. Let b(m) = 2*m**3 + m**2 - m + 1. Let f be b(j). Is 20 a factor of (-354)/f + 8/12?
True
Let j = -23 - -15. Let b(w) = w**3 + 9*w**2 + 11. Is b(j) a multiple of 22?
False
Suppose 0 = 3*s - s - 2*i - 14, 4*s - i = 19. Let j(q) = 7*q + 4. Is 16 a factor of j(s)?
True
Suppose 0 = -4*f + 4*s + 940 + 584, -5*f + 1929 = 3*s. Does 48 divide f?
True
Suppose 405 = 3*g + 2*g. Does 27 divide (-8)/(-6)*g/2?
True
Let z = -1 - 15. Let g = z + 24. Is g a multiple of 3?
False
Let i(v) be the second derivative of -v**3/2 - 3*v**2/2 + 3*v. Is 7 a factor of i(-4)?
False
Suppose 0*s + 66 = 3*s. Is 11 a factor of s?
True
Let s = 32 + -13. Let p = s + 17. Does 14 divide p?
False
Let o be (4 - -49) + -2 + 0. Does 11 divide ((-4)/(-6))/(2/o)?
False
Does 3 divide 1*-1 + (-18 - -34)?
True
Let i be 1*(-26)/(-2)*2. Let c = -12 + i. Is c a multiple of 14?
True
Let z = -7 + 10. Suppose -q + 7*n - 152 = 2*n, -6 = -z*n. Let c = -89 - q. Does 17 divide c?
False
Let f be (5 + 1)/(3/4). Let v = 61 + f. Is 13 a factor of (v/9)/((-1)/(-3))?
False
Let g(t) = 5*t + 10. Let a be g(-11). Let j = -21 - a. Does 12 divide j?
True
Let c = -26 + 16. Let z be (-1 + 1/2)*-12. Does 3 divide (z/c)/((-1)/15)?
True
Let q = 59 - 33. Does 2 divide q?
True
Let q(w) = w**3 + 13*w**2 + 8*w - 20. Is 2 a factor of q(-12)?
True
Let m = -28 + 13. Let r = 29 + m. Is 8 a factor of r?
False
Is 6 a factor of -1*(1 - 128/4)?
False
Let u(i) = i**2 - 7*i - 9. Is 2 a factor of u(9)?
False
Let z(l) = 4*l**2 - 3*l. Let m be z(2). Suppose -2*a + 0*t = 2*t - 14, 2*t - m = -a. Does 3 divide a?
False
Let q = -1 - 0. Let c be q/(-3)*0 - -2. Suppose 3*z + c*z = -t + 97, 0 = -4*t - 12. Is 10 a factor of z?
True
Suppose -5*h - 2 = 3, 4*i + 2*h - 14 = 0. Suppose 2*x - 16 = i*v, -5*v = -2*x + 24 - 7. Suppose 5*q - 3*q - x = 0. Does 3 divide q?
True
Suppose 2*u - 126 - 106 = 0. Is u a multiple of 29?
True
Suppose 2*n - b - 80 = 3*b, 35 = n - 3*b. Does 10 divide n?
True
Is 13 a factor of 92*((-28)/(-8))/7?
False
Let a(k) = k**2 + 7*k + 2. Let w be a(-7). Let y(u) = 2*u + 5*u**2 - 4*u**2 + w - 4*u. Is 17 a factor of y(5)?
True
Let p(q) = -q**3 - 6*q**2 - 9*q - 5. Let j = 14 - 20. Let y be p(j). Let i = y + -25. Is i a multiple of 12?
True
Let x be (-2)/(-1 + (-2)/(-4)). Suppose n + 7 = -3*t + 21, -x = -4*t. Is n a multiple of 5?
False
Let m(r) = -r**2 + 5*r + 10. Let g(y) = -2*y**2 + 4*y + 11. Let p(l) = -2*g(l) + 3*m(l). Let o be -14*((-6)/(-4) - 1). Is 4 a factor of p(o)?
True
Let n be (-9)/(-3) + 3 - 0. Let q be n/10 - 1126/10. Let h = -72 - q. Is h a multiple of 16?
False
Let m be 3/7 + (-1560)/(-35). Suppose -5*w - 36 + 3 = -a, -2*a = -3*w - m. Does 12 divide a?
False
Let r = 9 + -6. Let y(o) = -2*o**2 + 1. Let d be y(r). Let v = 31 + d. Is 14 a factor of v?
True
Suppose -3*g + 53 = -100. Is g a multiple of 17?
True
Let p = -25 + 39. Does 9 divide p?
False
Suppose -5*m + 10 = -10. Suppose m*i = 5*i - 51. Does 17 divide i?
True
Let s = -2 + 6. Suppose -2*d + s = -8. Does 2 divide d?
True
Let v be 0 + 2 + (2 - 1). Suppose 2*c - c = v. Suppose a + 4*d - 29 = d, -c*d + 12 = 0. Is 6 a factor of a?
False
Let y = 23 - -8. Is 20 a factor of y?
False
Let k = -22 - -22. Suppose -147 = -k*u - 3*u. Does 15 divide u?
False
Let o = 2 - 5. Is (2 - 0 - o)/1 a multiple of 5?
True
Let b(d) = 2*d - 9*d - 5*d. Let l be (-44)/10 - 22/(-55). Does 24 divide b(l)?
True
Let s(q) = 48 + 2*q**2 - 4 - 3*q**2 + 0*q**2 + q. Does 22 divide s(0)?
True
Let a = 2 - -2. Let k be 0 + -6 + (a - 2). Does 5 divide k/(9/(-6) + 1)?
False
Let d(z) = -18*z - 3. Does 8 divide d(-2)?
False
Let x = 157 - 99. Is x a multiple of 45?
False
Let p(h) = -h**3 - 6*h**2 + h - 10. Let z be (-4)/10 - (-33)/(-5). Let f be p(z). Let u = -18 + f. Does 14 divide u?
True
Let k be (-42)/(-8) + (-3)/(-4). Does 4 divide (4/k)/((-10)/(-105))?
False
Let r = 96 + -12. Is 42 a factor of r?
True
Suppose 4*g - 4 + 36 = 0. Does 16 divide (-507)/(-12) - (-2)/g?
False
Suppose -4*i + 51 = n, -3*n - 55 = -3*i - 13. Does 6 divide i?
False
Let p(t) = t**2 - 4*t + 10. Is 14 a factor of p(10)?
True
Suppose 0 = -3*b - 2*c + 462 - 73, -147 = -b - 5*c. Does 21 divide b?
False
Let n(z) = 5*z + 3. Let s be n(5). Let x be 39 + -6*2/4. Suppose -2*b + x = -s. Does 12 divide b?
False
Suppose 4 = -c, -3*g = -5*c - 66 + 1. Does 15 divide g?
True
Let t be 90/(-7)*28/6. Is (3/2)/((-2)/t) a multiple of 15?
True
Suppose -100 = -2*d - 2*d. Let o = -15 + d. Is o a multiple of 3?
False
Suppose 2*u + 7 = -3, 3*u = -o + 56. Is 13 a factor of o?
False
Suppose -5*m + 2*f + 2*f + 10 = 0, 2*f - 10 = -5*m. Suppose 0 = m*n - 4*n + 20. Is 5 a factor of n?
True
Let n = 1 - 2. Let v be 147/3 - (n + 2). Suppose -2*j + v = 2*j. Is j a multiple of 12?
True
Let h be ((-2)/8)/(3/(-24)). Suppose -5*p - h - 13 = 0. Let o(n) = n**3 + 5*n**2 + 3*n + 2. Is o(p) a multiple of 11?
True
Suppose 0 = 4*w + 4*t + 52, 3*w = -t - 61 + 18. Is 9 a factor of (-75)/(-4) - w/(-20)?
True
Let a(y) = -18*y. Let f be a(1). Is 13 a factor of (f/5)/(6/(-40))?
False
Suppose 0 = 5*k + 4*q - 5, -5*k + 3*q + 51 - 11 = 0. Does 8 divide 6/(k/(-4) - -2)?
True
Let r be (-3)/5 + 115/25. Suppose -2*u + 0*w = 2*w + r, 13 = -4*u + w. Let n = u + 14. Does 5 divide n?
False
Let z = 10 - 5. Suppose 51 - 351 = -z*t. Suppose 0 = -2*l - 3*l + t. Is l a multiple of 12?
True
Let m(y) = -y**2 - 10*y - 2. Let s = -2 + -6. Is 14 a factor of m(s)?
True
Let l(p) = -p**3 + 7*p**2 + p + 1. Let h be l(7). Suppose 2*s + 0*s - h = 0. Is 4 a factor of s?
True
Let a(y) = 4*y**3 - y. Let j be a(-2). Does 3 divide 8/(-16) - j/4?
False
Suppose -21*l = -13*l - 1152. Is l a multiple of 17?
False
Suppose -n = -2*o + 4*o, 4*o = 2*n - 16. Suppose -3*x + n*x = 32. Suppose a = -3*t + 6 + x, a + 5*t - 34 = 0. Is a a multiple of 17?
False
Let n = 26 + 4. Is 4 a factor of n?
False
Let m(a) be the first derivative of a**2/2 + 7*a - 3. Is m(6) a multiple of 5?
False
Let b = 456 + -224. Is 18 a factor of b?
False
Let h(a) = a**3 + 4*a**2 + 2*a + 6. Suppose 0 = -4*t + 8*t + 16. Let d be h(t). Is 2 a factor of (-2 + 8)*(-2)/d?
True
Let t be 1 + (-6)/(6/(-2)). Suppose 9 = -t*y - 27. Is (22/(-4))/(3/y) a multiple of 6?
False
Suppose 39 - 451 = -4*f. Suppose 2*p + 124 = 8. Let n = f + p. Is 19 a factor of n?
False
Let c(i) = i + 31. Is c(-8) a multiple of 8?
False
Suppose 5*d + 0*d + s = 720, d + 2*s = 144. Is d a multiple of 12?
True
Suppose -30 = 4*g + 90. Let p = 49 + g. Is p a multiple of 7?
False
Suppose -5*k + 65 = 3*q, 0 = 2*q - q + 3*k - 27. Is q a multiple of 15?
True
Suppose -4*o - 221 = -4*y + o, 0 = 3*y + o - 142. Does 41 divide y?
False
Let t be 1 - (-3 - -1 - 0). Is 13 a factor of t*(26/2)/1?
True
Suppose -9 + 0 = -3*r. Let f be (1 - -2) + -7 + 6. Suppose -2 = v, r*d - 43 = -f*v - 11. Is 6 a factor of d?
True
Suppose -4*k + a = -0 - 16, k - a = 7. Sup