 + 25, 4*c - p = 44 - 14. Does 5 divide c?
False
Let k be ((-10)/(-4))/(5/10). Suppose -g = -k*c + 3*g + 35, -2*g = 10. Is c a multiple of 3?
True
Suppose 4*b - a - 30 = 0, -4*a + 16 = -5*b + 48. Let k = 12 - b. Suppose -2*j - k - 8 = -5*h, -h = -j. Is h a multiple of 3?
False
Let s(j) = j**3 + 7*j**2 + 4. Let k be s(-7). Suppose -k*f + 0 + 12 = 0, -2*w + 16 = 2*f. Suppose -3*y + 14 = -g, 2*y + 3*g = w - 3. Is y a multiple of 4?
True
Let d(g) = g**3 - 26*g**2 + 4*g - 30. Does 37 divide d(26)?
True
Is 15 a factor of 4 + (348 - 1 - (-3 + 0))?
False
Let l(a) = -a**2 + 7*a - 6. Does 3 divide l(5)?
False
Let m(d) = 3*d**2 + 9. Is 12 a factor of m(-3)?
True
Suppose -2*n + 130 = 3*c - n, 4*n = 5*c - 228. Suppose -h - c = -5*h. Is 11 a factor of h?
True
Suppose -5*i = -15, 0 = 5*o - o - 3*i + 93. Let f = 0 - o. Does 7 divide f?
True
Suppose -2*f = x + 3*x + 2, f = 1. Is 13 a factor of 5*3 - (3 + x)?
True
Let t = -1 - -1. Let y(g) = 42 + 3*g + g - 3*g. Is y(t) a multiple of 15?
False
Suppose 5*w = -w + 264. Does 15 divide w?
False
Let g(c) = c**3 - 11*c**2 + 3*c + 12. Is 15 a factor of g(11)?
True
Let b(h) = -7*h**2 + 5*h + 7. Let f(m) = 20*m**2 - 14*m - 20. Let v(k) = 17*b(k) + 6*f(k). Let l = 0 + -3. Is v(l) even?
False
Suppose -2*l = -l - 53. Suppose 0*j + k + l = 2*j, -4*k = -2*j + 38. Is j a multiple of 15?
False
Suppose -15*y = -1457 - 568. Does 15 divide y?
True
Let q(i) = i**3 + 3*i**2 - 6*i - 3. Let g be q(-4). Is 17 a factor of 0 + -1 + 90/g?
True
Let u be 2 + 0 + 3/3. Suppose -2*d = u*d - 60. Does 6 divide d?
True
Let c = -13 + 48. Does 7 divide c?
True
Let g = -34 + 54. Is g a multiple of 5?
True
Let o(t) = 8*t - 12. Is 3 a factor of o(3)?
True
Suppose 0 = 5*n - k - 42, 5*n + 5*k = -6 + 66. Let h = -5 + n. Is h a multiple of 2?
True
Let k = 9 + -6. Let g be (3 + 0 - k)/1. Suppose 4*w + 5 - 25 = g. Is w even?
False
Let r = -9 - -43. Does 30 divide r?
False
Let q(a) be the third derivative of 5*a**4/3 - 2*a**3/3 + 6*a**2. Is 19 a factor of q(2)?
True
Suppose 3*j = -97 + 496. Let a(m) = -m**3 - 10*m**2 - 9*m - 1. Let g be a(-6). Let o = j + g. Is o a multiple of 11?
False
Is 5 a factor of (-3096)/(-156) + 1*(-4)/(-26)?
True
Suppose -4*a + 604 - 56 = 0. Let g = a - 53. Is g a multiple of 22?
False
Suppose 2*t + 5*q - 31 = 0, -7*t + 52 = -4*t + 2*q. Is 13 a factor of t?
False
Let y be -5*-3*3/15. Let q be -1 + (1 - -21) - 0. Let v = y + q. Is v a multiple of 12?
True
Let o(n) = -52*n + 3. Is o(-2) a multiple of 22?
False
Suppose 3*q = 2*q + 11. Let u = q + 15. Does 13 divide u?
True
Let q(a) = -11*a - 12 - 14*a + 15*a. Is q(-6) a multiple of 12?
True
Suppose -5*j + 0*j = c - 25, 5*j - 3*c - 25 = 0. Suppose 0 = -j*p + 75. Does 5 divide p?
True
Is (-6)/(-27) + 1136/72 a multiple of 4?
True
Let d(m) = m - 6. Let f be d(6). Suppose 3*i - 11 - 13 = f. Does 7 divide i?
False
Let z(b) = -30*b - 2. Let o(r) = 61*r + 3. Let v(w) = -3*o(w) - 5*z(w). Does 9 divide v(-1)?
False
Suppose -4*v - a = -365, 5*v - 430 = 6*a - 2*a. Is 18 a factor of v?
True
Let v be 1/(-4) - (-26)/8. Suppose v*t = -t - 24. Does 3 divide t/3 + 6 + -1?
True
Does 30 divide (-45)/(-12)*(-2728)/(-33)?
False
Suppose -48 = 5*z - 6*z. Is z a multiple of 16?
True
Let s = 10 + 1. Is 4 a factor of s?
False
Let x(k) = k**3 + 3*k**2 - 2*k. Let m be x(-3). Let u = m - -9. Suppose -5*a - 3*o = -33, u = a - 2*o - 2. Is 7 a factor of a?
False
Let w = 6 + -3. Suppose l + 80 = -w*l. Is 15 a factor of 3*l/6*-4?
False
Let w = -51 - -195. Is w a multiple of 9?
True
Suppose 106 = 6*g - 128. Is g a multiple of 14?
False
Let q(p) = -2*p**2 - 8*p. Let r(o) = 5*o**2 + 24*o + 1. Let h(z) = 8*q(z) + 3*r(z). Does 5 divide h(7)?
True
Let b(p) = 14*p. Let l be b(-1). Let j = l + 29. Does 15 divide j?
True
Let i(y) = y + 1. Let s be i(-1). Suppose 365 = -s*a + 5*a. Is 19 a factor of a?
False
Let u be 10*((-28)/8)/(-7). Suppose 3*p = 5*c - c + 256, 0 = -u*c + 10. Does 19 divide p?
False
Suppose 4*a = -2*i + 40, -2*a = 10 - 0. Let x be (-9)/2*i/(-9). Let s = x - 2. Does 5 divide s?
False
Let j(b) = -2*b - 6. Let q be j(-5). Is -1*2*(-18)/q a multiple of 9?
True
Let x = 63 - 36. Does 9 divide x?
True
Let w(z) = 12*z - 6. Let t be w(12). Is 16 a factor of 1/((-273)/t + 2)?
False
Let z(h) = h**3 - 3*h**2 + 3*h - 2. Let l be z(2). Suppose l = -5*j + 5*b + 260, -3*j + 226 = j + 5*b. Is 23 a factor of j?
False
Is (-4)/(((-2)/15)/1) a multiple of 5?
True
Let b(n) = 8*n**3 - n**2 + 0*n + n - 9*n**3 + 36. Is b(0) a multiple of 23?
False
Let i = 42 - 10. Does 4 divide i?
True
Let w(y) be the first derivative of -5*y**2/2 + 3*y - 3. Let n be w(2). Let d = 17 - n. Is d a multiple of 8?
True
Let v be (10 - 0)*32/(-20). Let c be (-2)/(-8) + (-60)/v. Suppose 2*h - c = 36. Does 10 divide h?
True
Let g(c) be the second derivative of c**3/3 - 6*c**2 + c. Does 4 divide g(8)?
True
Let b = 0 + -2. Let i be (-1)/(b/(-2))*47. Is 24 a factor of i/(3/(-5 + 2))?
False
Let r(w) be the second derivative of -w**3/3 + 3*w. Does 6 divide r(-6)?
True
Let o(b) be the third derivative of 3*b**5/10 - b**4/24 - b**3/6 - b**2. Is o(-1) a multiple of 6?
True
Let p be 5 + (-1 - (-1 - 2)). Suppose -p*y + 84 = -3*y. Is y a multiple of 14?
False
Let v be 2/(-7) + (-357)/(-49). Let g = v - 15. Let r = 6 - g. Is r a multiple of 6?
False
Let g(p) = -6*p - 4. Suppose 9 = y - 2*y. Does 13 divide g(y)?
False
Let y be (-15)/(-2)*(-18)/(-15). Let b be (3/y)/(1/15). Suppose 2*o = 5*n, b = -5*n + 3*o - 0. Does 2 divide n?
True
Let m(c) = -c**3 - 2*c**2 + 5*c - 7. Let u be 3/9 - 4/(-6). Let d be 5*(u - (4 - 2)). Is m(d) a multiple of 18?
False
Let w = -11 + 23. Suppose 4*k - w - 20 = 0. Is 4 a factor of k?
True
Let b be 40/6 - 6/9. Suppose r = b - 1. Suppose -85 = -r*a + 5*f, 3*a - 2*a = -4*f + 2. Does 14 divide a?
True
Suppose -q - 4*q = -20. Suppose 3*a = 13 - q. Suppose 6*k - k - 43 = 2*u, -a*k + 17 = u. Does 2 divide k?
False
Suppose 0 = -o - 0*o + 5*m + 12, 59 = -3*o - 4*m. Let k = o + 29. Is k a multiple of 10?
False
Suppose -y = 5*v - 197, -2*v + y = -y - 74. Is v a multiple of 13?
True
Suppose u - 5*u = 0. Suppose u = -4*x + 47 + 21. Does 11 divide x?
False
Suppose -40 + 11 = r. Let f = 3 - r. Let w = f - 18. Is w a multiple of 14?
True
Let y(p) = -19*p**3 + p + 3. Let i(d) = 7*d + 3*d**2 - 10*d**3 + 2 - 3*d**2 - 6*d. Let q(n) = 5*i(n) - 3*y(n). Does 25 divide q(2)?
False
Let y(u) be the first derivative of -u**3/3 + 3*u**2/2 + 2*u + 2. Let p be y(3). Suppose 4*q + 6 = -p*z, z = 5*q + 34 - 2. Is z a multiple of 7?
True
Suppose 0 = -2*z + 2*r + 22, -3*r + 4 = 4*z + r. Let x(w) = -3*w + 3*w - z*w. Is 6 a factor of x(-3)?
True
Let n = 23 + 47. Does 12 divide n?
False
Suppose -4*h + 2*h + 10 = 0. Suppose -3*s + s + 87 = -3*v, s - h*v = 40. Is 10 a factor of s?
False
Suppose 6*g - 48 - 330 = 0. Does 15 divide g?
False
Let d(z) = z**2 + 8*z + 6. Let v be d(-7). Let w = v + 4. Is 21 a factor of 1/w + 348/9?
False
Let l = -172 + 275. Is 12 a factor of l?
False
Let j(s) = s. Let t be j(0). Suppose 2*l - 14 = 4*y - 2*y, 3*y = t. Suppose 0 = -5*w + 192 - l. Is 17 a factor of w?
False
Is -9*(8/(-4) + 140/(-3)) a multiple of 73?
True
Let d be ((-226)/4)/(2/(-4)). Suppose 5*r + 23 - d = 0. Does 6 divide r?
True
Let p = -14 - -16. Does 2 divide p?
True
Let m = 220 - 84. Is m a multiple of 34?
True
Let t be 2/(-3) + (-7)/3. Let a be (-49)/t + 6/9. Suppose p - 2*p = -a. Is 13 a factor of p?
False
Let h(o) = -45*o. Is h(-8) a multiple of 16?
False
Let u be ((-4)/6)/(1/(-24)). Does 9 divide 1/(u/(-36))*-12?
True
Suppose -o + 20 = 8. Does 12 divide o?
True
Suppose 5 = 8*x - 3*x. Suppose -4*c + 13 = x. Suppose y - 6*y - 92 = -c*l, 3*l - 102 = 3*y. Is 13 a factor of l?
True
Suppose -2*c + 6*c = 224. Suppose 3*v + v = c. Is 14 a factor of v?
True
Let w(x) be the first derivative of 4*x + 1/4*x**4 + 0*x**3 + 1/2*x**2 + 4. Does 2 divide w(0)?
True
Does 4 divide 4 + -4 + 4 + 4?
True
Let r(a) = -1. Let y(s) = 2*s - 2. Let q(h) = -4*r(h) + y(h). Is q(5) a multiple of 6?
True
Does 7 divide 1190/49 - 6/21?
False
Let z = 0 - -3. Suppose -3*t = z*r + t - 39, 5*r + 5*t = 60. Does 3 divide ((-4)/(-6))/(2/r)?
True
Let v(j) = -3*j - 15. Is v(-12) a multiple of 14?
False
Let h(x) = -13*x**3 + 3*x**2 - 2*x. Suppose 12 = 5*t + 2. Let i be h(t). Let o = -59 - i. Is o a multiple of 14?
False
Su