 s?
True
Let c(u) = 2*u + 38. Is c(14) a multiple of 22?
True
Let k = -50 - -60. Is 2 a factor of k?
True
Suppose -j = p + 2*p - 12, -p = j - 2. Let b be (0 - (-3 + 1)) + 37. Does 10 divide -1*b*3/j?
False
Suppose -3 = -4*q + 13. Suppose -3 = -y - q. Does 16 divide (y - -13)/(9/12)?
True
Let f be 1 + (-2 - 1) + 1. Suppose -2*s - w + 43 = 0, 12 = 2*s - 2*w - 16. Let k = f + s. Is k a multiple of 9?
True
Let a be 1/(-3) + (-28)/(-12). Suppose -a*z = -4*f + 30, 0 = -2*f + f - 5*z + 2. Does 3 divide f?
False
Let v = 48 + -13. Suppose 0 = -0*q + 3*q - 222. Let k = q - v. Is k a multiple of 14?
False
Suppose 3*r - 172 + 34 = 0. Suppose 0*p - p + r = 0. Does 12 divide p?
False
Let p(v) = v**3 - 12*v**2 + 21*v + 8. Is 3 a factor of p(10)?
True
Suppose -378 - 630 = -4*s. Suppose -2*c - s = -6*c. Is 13 a factor of c?
False
Suppose 0 = k + 4*c - 81, 0 = -c - 2*c. Does 9 divide k?
True
Suppose -n = 2*m - 5*m + 232, 5*m = -3*n + 396. Does 13 divide m?
True
Suppose 0 = 5*s - x - 388, -s - 8 = -x - 88. Is s a multiple of 11?
True
Let g = -2 + 13. Does 6 divide g?
False
Let r(b) be the second derivative of 2*b**3/3 + b. Let u be 5 + -2 + (-6)/(-2). Does 8 divide r(u)?
True
Let j(i) = -i + 4. Let y be j(2). Suppose -5*d = 0, y*k = -k - 5*d + 141. Is 21 a factor of k?
False
Suppose -783 = -9*j - 0*j. Is 29 a factor of j?
True
Let n(i) = 2*i. Let f be n(-2). Let x(q) = 2 + 2 - 4*q - 1. Does 12 divide x(f)?
False
Let c be (-24)/10 + 9/(-15). Let t = c - -7. Suppose 4*k - 147 = -j - t*j, 4*j = -3*k + 110. Is 19 a factor of k?
True
Suppose 0 = -g + 4*h + 10, g - 2*h - 6 = -0*g. Let o be g*2 + (-2)/(-1). Is 3 a factor of o + (2 - (1 - -1))?
True
Let z = 343 + -151. Does 10 divide z?
False
Let o be (-11)/(-2 - -3) + -1. Is 14 a factor of (-668)/o + 2/6?
True
Does 12 divide 362/6 + 40/(-12) + 3?
True
Let y = 2 + 4. Suppose 0*j - y = -3*j. Suppose j*a = 3*a - 20. Is 10 a factor of a?
True
Suppose -2*k + 5*k = -2*o - 19, 3*o + 1 = k. Is o/(-9) + 151/9 a multiple of 17?
True
Let m(t) = -2*t - 9. Does 10 divide m(-16)?
False
Let i = 11 + -8. Suppose y + 2*t + 2*t = 44, i = -t. Let w = -34 + y. Is w a multiple of 11?
True
Let u = -6 - -24. Suppose 2*x - 5*x = u. Is (9/(-4))/(x/32) a multiple of 8?
False
Suppose 17 = -2*n + 3*x, 5*x - 3 = 2*n + 12. Let a = -7 - n. Suppose -9 = -3*d + 3*y, -d - d + a = -3*y. Is 6 a factor of d?
True
Let x(y) = 3*y**3 - 4*y**3 + 7 - 2*y + 2*y**3 - 4*y**2. Suppose 0 = 3*o + 3*w - 24, -w - 3 + 26 = 4*o. Is 22 a factor of x(o)?
True
Let b(k) = -k**3 + 4*k**2 + 2*k + 6. Let q be b(5). Suppose 4*r - 2*r = 44. Let i = r + q. Is 9 a factor of i?
False
Let q(k) = 7*k**2 + k**3 + 1 + 3*k - 9 + 3*k. Let y be q(-6). Let x = 53 + y. Is x a multiple of 18?
False
Let v be (2/(-3))/((-8)/948). Let n = v - 47. Is 15 a factor of n + (0 - -6)/(-3)?
True
Suppose -i + 5*b = -1, 3*b = i + 8*b + 9. Let q be ((-3)/2)/((-3)/i). Is (-2)/q + (-18)/(-6) even?
True
Suppose 4*m = -0*m - 12. Let v = 3 + m. Suppose v = -5*u - 2*w + 10, 2*u - 6 = -u + 5*w. Does 2 divide u?
True
Let d(j) = 23*j. Suppose 4*s = -2*b + 6, -5*s + 15 = -s + 5*b. Suppose s*o + 1 = o. Is 20 a factor of d(o)?
False
Let q = -107 - -291. Is 39 a factor of q?
False
Let w = -152 + 232. Suppose -2*t - 2*t = -w. Is t a multiple of 5?
True
Let s(x) = -x**3 - 12*x**2 - 14*x + 7. Does 8 divide s(-11)?
True
Let c be (232/10)/((-4)/(-10)). Suppose c = 2*f + p, 3*f = 2*p + 67 + 13. Is 14 a factor of f?
True
Let j(i) = -i**2 + 3. Let t be j(-3). Does 18 divide -3*3/t*12?
True
Suppose s + 4*s - m - 940 = 0, -4*s = m - 743. Is 11 a factor of s?
True
Let p(x) = -x**2 - 25*x - 44. Is p(-22) a multiple of 4?
False
Let t(f) = -f + 2. Does 8 divide t(-6)?
True
Let k be 4/(-18) + (-152)/(-36). Suppose 47 = k*v + 19. Suppose 4*m - 59 = -v. Is m a multiple of 13?
True
Suppose 16 = y + 3*y. Suppose -y*g = x - g, -50 = -2*x + 4*g. Is 12 a factor of x?
False
Let g be ((-2)/6)/((-2)/6). Suppose 18 = -3*y + 9*y. Suppose -k + g = -y. Is k a multiple of 3?
False
Let k be (22/(-8))/((-9)/(-108)). Let i = -18 - k. Is i a multiple of 3?
True
Let v(l) = -2*l + 36. Let b be v(14). Let o = 1 - -4. Let y = o + b. Is 6 a factor of y?
False
Suppose -l + 4*l = 54. Let z = -3 - -8. Suppose g - l = -3*a - 2*g, -z*g + 24 = 3*a. Does 2 divide a?
False
Does 36 divide 0 + (144 - 0)/1?
True
Let v be (-231 + 7)*2/(-4). Suppose 0*d = 8*d - v. Is 7 a factor of d?
True
Let f = 5388 - 2379. Suppose -2*z - f = z - 2*s, 3*z + 5*s + 2988 = 0. Is z/(-35) - 6/10 a multiple of 28?
True
Suppose u + 3*u = 24. Suppose u = -g + 14. Does 6 divide g?
False
Let p be 59/2 + 6/12. Suppose 2*y - 8 = -0*y. Suppose h + 4*u - p = 0, u - 205 = -y*h + 2*u. Does 21 divide h?
False
Let m be 3/(-5) + (-316)/(-10). Suppose m + 4 = 3*j + 2*w, 3*j - 45 = 3*w. Let f = 27 - j. Is f a multiple of 14?
True
Suppose -3*y = -5*y - 2*j + 182, -3*j = 5*y - 459. Suppose -5*b - 23 = -y. Does 14 divide b?
True
Suppose k - 9 + 2 = 0. Does 6 divide k?
False
Let z(a) = a**2 + 5*a + 18. Does 48 divide z(-14)?
True
Suppose -8*h + 3*h = -200. Is h a multiple of 20?
True
Let b = 125 - 93. Is b a multiple of 8?
True
Suppose 0 = 3*r - 5*w - 0 - 14, 5*w = -5*r - 30. Let i be ((-3)/(-4))/(r/96). Is (-1)/(i/(-39) - 1) a multiple of 13?
True
Let o be ((-4)/(-10))/(5/50). Let c(m) = 6*m - 4 + 0 + 1. Does 7 divide c(o)?
True
Let f(b) = -3*b + 6. Let v be f(6). Let o be ((-156)/10)/(v/40). Suppose 0 = -z + 3*n + 37 - 7, 2*z - o = -2*n. Is 16 a factor of z?
False
Let f be 9/3 - (-99)/(-3). Let s = f - -56. Does 17 divide s?
False
Is ((-4)/10)/((-1112)/370 + 3) a multiple of 49?
False
Let h(i) = 7*i**3 + 5 - 6*i**3 + 4*i**2 + 0*i**2 - i. Let q be h(-4). Suppose 60 = 2*o + 4*s, 0 = 2*o - o - 5*s - q. Is 12 a factor of o?
True
Let p be (-2 - -2) + 4/(-2). Is p/(-1) + 4 + 5 a multiple of 11?
True
Let w(h) = h**3 - h**2 - 7*h - 6. Is 7 a factor of w(4)?
True
Suppose -4*l + 64 = s - 3*l, 4*s = 5*l + 211. Is 10 a factor of s?
False
Suppose z + 2*k = 4*k + 3, -3*z = -4*k - 11. Suppose -z*q + 10*q = 140. Is 14 a factor of q?
True
Let y = 5 + -3. Let o = 17 + y. Is 4 a factor of o?
False
Suppose 2*l + 9 = 3. Let m(a) = -1 + 7*a**2 + a + 0*a**2 - a**2. Is m(l) a multiple of 13?
False
Suppose 3*t = -0*t + 60. Is t a multiple of 13?
False
Let r(u) be the second derivative of -u**5/20 + 5*u**4/6 - 7*u**3/6 + 5*u**2/2 + u. Does 8 divide r(9)?
False
Let u be 35/14 - 1/2. Suppose 66 = q + 5*l, u*q + 5*l - 109 - 38 = 0. Suppose -5*h + 9 = -q. Is 6 a factor of h?
True
Let a(z) = -z**3 - 16*z**2 - z - 2. Is 2 a factor of a(-16)?
True
Let x(r) be the third derivative of r**4/24 - r**3/3 + r**2. Let s be x(6). Is 9 a factor of s/10 + 415/25?
False
Let v(m) be the first derivative of -13*m**2/2 + 2*m + 1. Let k be v(-2). Suppose 2*o = k + 12. Does 10 divide o?
True
Let g(n) = 2*n**2 - 4*n + 5. Let u = -6 - -11. Let w be g(u). Suppose -2*l + w = 5*r, 3*l = 4*l - r - 7. Is 5 a factor of l?
True
Let l(p) = -p**2 + 16*p - 10. Is 18 a factor of l(8)?
True
Let x = 164 - 84. Is x a multiple of 5?
True
Suppose 0 = 6*x - 8*x + 90. Does 15 divide x?
True
Suppose -5*s + 0 + 5 = 0. Suppose 2*o + 2*o - 14 = 2*a, 2*a = o + s. Is 3 a factor of a?
True
Suppose 5*g + 3 + 2 = 0. Let u be g - -1 - (-7)/1. Suppose -52 = -u*z + 3*z. Does 13 divide z?
True
Suppose 2*d - 247 = 73. Is 16 a factor of d?
True
Suppose 332 = 5*q + 3*s, s + 76 = q + 4*s. Is 16 a factor of q?
True
Let h(r) = 4*r**2 + 13*r - 46. Does 16 divide h(6)?
True
Suppose 0 = 2*m + m + 3*z - 66, -5*z = 4*m - 84. Is 12 a factor of m?
False
Suppose -420 = -6*b - 30. Is b a multiple of 5?
True
Let h(q) = q**3 + 3 - 6*q**2 - 7*q - 4 - 8 + 10*q. Let m = -9 + 15. Does 3 divide h(m)?
True
Suppose c - 3 = 0, t + 2*c = -0*c + 49. Suppose -4*d + 58 = 2*u, -3*d = 2*u - 13 - t. Is 7 a factor of u?
False
Let x = 19 - 74. Is 30/25*x/(-2) a multiple of 15?
False
Let o = -21 - -58. Does 14 divide o?
False
Does 12 divide 17 + -15 + -1*66/(-3)?
True
Let q(x) = 6*x**3 - x**2 - 3*x - 2. Let c be q(2). Let v(n) = -12*n + 3. Let d be v(2). Let h = c + d. Does 15 divide h?
True
Let h(v) = v + 6. Let t be h(-5). Let c be (-9)/3*t + 30. Does 18 divide (1 + 0/2)*c?
False
Let b(f) = 2*f - 1. Let c be b(2). Does 2 divide c/(0 + -1 + 2)?
False
Let m = 44 - -304. Is 58 a factor of m?
True
Let b = 175 + -102. 