e (-2)/((-4)/48*2). Let j = h - n. Is j a multiple of 18?
True
Suppose -5*g + 16 = -9. Suppose 4*u - 35 = -g*t, -4*t + 5*u + 8 + 61 = 0. Does 11 divide t?
True
Let c be (-8)/12 - 103/3. Let r = c - -79. Does 22 divide r?
True
Suppose 0 = -3*f - 3. Does 19 divide (-2)/((6/57)/f)?
True
Let u(g) = 2*g**2 - 3*g - 4. Suppose -l - 12 = -4*l. Is u(l) a multiple of 8?
True
Let j(q) = q**2 + q - 18. Is j(-9) a multiple of 9?
True
Let w be 5/((-20)/12) + 2. Is w/(-2)*22 - 0 a multiple of 3?
False
Let t(k) = 20*k + 2. Let j be t(2). Suppose 0 = -4*u - m + 168 - 68, j = u - 4*m. Let c = -9 + u. Does 13 divide c?
False
Let u = -1 + 11. Is u a multiple of 4?
False
Suppose 5*u - 78 = 152. Does 23 divide u?
True
Let a be (-6)/15 - 12/(-5). Let j(p) = -2 - 7*p + a*p - 2*p. Is 9 a factor of j(-3)?
False
Suppose 0 = -3*l - 5*h + 2162, -9 = 4*h + 11. Does 16 divide 6/(-10) - l/(-15)?
True
Let x(p) = p**2 - 8*p + 17. Is x(7) a multiple of 3?
False
Suppose -5*l + 15 + 10 = h, 3*l - 15 = -3*h. Suppose 2*r - 2*j + 36 = 6*r, -3*r - 5*j + 20 = h. Let c = r + 1. Is 7 a factor of c?
False
Let s = 11 + -7. Suppose 25 = m + s*m, -4*m = 2*w - 52. Is w a multiple of 7?
False
Let c be 4/(-6) - 2/(-3). Let r(x) = -x**3 + 11*x**2 - 7*x - 4. Let w be r(10). Let l = w - c. Is 13 a factor of l?
True
Is 2 a factor of 11/((16/(-4))/(-4))?
False
Suppose 4*v - 2*o - 112 = 0, v - 8 = -o + 20. Suppose 0 = -2*l + 12 + v. Is (l/30)/(1/6) a multiple of 2?
True
Let q(n) = -5*n - 5. Does 15 divide q(-7)?
True
Suppose -12 = -5*r + 4*r. Suppose 2*v - 10 = -5*p, 0 = 2*v - 3*p - r - 30. Is 6 a factor of v?
False
Is (-1 - (2 + 1)) + 215 a multiple of 28?
False
Is 17 a factor of 19 - (-2 - (-4 + 0))?
True
Let s = -28 + 96. Does 17 divide s?
True
Let n = -13 - -77. Does 14 divide n?
False
Let p(y) = 15*y - 4. Let j(d) = -27*d + 2 - 3*d + 6 + 0. Let m(g) = 4*j(g) + 9*p(g). Is 18 a factor of m(4)?
False
Let s(c) = c**2 + 8*c + 8. Let h be s(-8). Suppose -26 = -5*f + 2*l, 0*l - h = -3*f + 5*l. Does 6 divide f?
True
Suppose 3*n = t + 312, -2*t = -5*n - 0*t + 521. Is 26 a factor of n?
False
Let o(z) = -2*z + 65. Is o(13) a multiple of 3?
True
Let z = -4 - -47. Does 5 divide z?
False
Suppose 7 = 2*c + 3. Suppose 4*a + 5*i - 360 = 0, -a - 115 = -c*a + 5*i. Let n = a + -55. Does 20 divide n?
True
Let t be (-83)/(-7) + (-6)/(-42). Does 9 divide (-4)/t + (-56)/(-6)?
True
Is 24 a factor of (-1342)/(-8) + (-3)/(-12)?
True
Does 3 divide -15*(46/(-30) + 2/10)?
False
Suppose 0 = 2*t + 4*l + l - 235, -4*t + 2*l = -410. Suppose 4*x = -c + 83, c + 0*c - t = -5*x. Is 17 a factor of x?
False
Suppose -2*h + 23 = u, -4*h + 0*h + 2*u = -26. Is h a multiple of 4?
False
Suppose 160 = i + 2*j, -2*i + 150 = -i + 4*j. Let v(t) = -117*t**2 - 3*t + 1. Let n be v(1). Let m = i + n. Is 21 a factor of m?
False
Let k(d) = 3*d - 1 - d + 33*d**2 + 0*d. Let t be k(2). Suppose -2*m - 3*m + t = 0. Does 9 divide m?
True
Suppose -3*q = v - 9, 26 - 5 = 5*v + 3*q. Suppose -4*y + 15 - 3 = 0. Let b = v + y. Is 6 a factor of b?
True
Let t(p) = p + 115. Is 6 a factor of t(-25)?
True
Let v(m) = -41*m**3 - m. Is v(-1) a multiple of 7?
True
Suppose -5*c - n = -573, -n - 2*n = 6. Suppose 30 = -5*y + c. Does 4 divide y?
False
Suppose -3*k + 3*i = -0*i - 126, 3*k = -5*i + 150. Is k a multiple of 10?
False
Suppose 5 = -2*s + 2*m - 3, s + 6 = 3*m. Is 19 a factor of 57*(-3)/27*s?
True
Let s = 1 + -2. Suppose -3*l = -19 + 1. Is s/(-2 + 11/l) a multiple of 5?
False
Let o(b) = 93*b + 3. Is o(1) a multiple of 8?
True
Let d = 16 - 34. Let m = d - -46. Is 11 a factor of m?
False
Let n = 71 - 50. Suppose -n = -3*s - 0*s. Let m(y) = -y**2 + 7*y + 6. Is m(s) a multiple of 6?
True
Suppose 3 + 1 = 2*t - 2*a, -1 = t - 2*a. Suppose -t*d + 2 + 38 = 3*y, -2*d + 5 = -y. Is 4 a factor of d?
False
Suppose -y + 90 = 3*q, 5*q + 440 = 4*y + q. Is 22 a factor of y?
False
Let h(g) = -g + 3. Let j be h(-4). Let b(l) = -l**3 + 9*l**2 + 9*l - 1. Let x be b(j). Is x/12*18/8 a multiple of 15?
True
Suppose n + 2 = -2. Let h(k) = 3*k**3 - 6*k**2 + 5*k - 3. Let z(x) = x**3 - x**2 - 1. Let f(c) = h(c) - 4*z(c). Is f(n) a multiple of 13?
True
Let s = -10 - -13. Suppose -j + s*j + 22 = 4*i, -3*j + 47 = 4*i. Does 8 divide i?
True
Let g(s) = 2*s. Let a = -17 - -12. Let o(i) = 2*i + 1. Let q(y) = a*g(y) + 4*o(y). Is 7 a factor of q(-5)?
True
Let o(c) = c**3 - 5*c**2 + 2*c - 4. Let j be o(4). Let g(y) = -2*y + 6. Is g(j) a multiple of 10?
True
Let g(r) be the third derivative of -r**5/60 - r**4/4 + r**3/3 - 2*r**2. Let u be g(-6). Suppose 56 = u*i + 2*i. Is i a multiple of 7?
True
Suppose 0 = -4*m - 5*z - 23, 2*m = -2*m + z - 53. Let j be 1166/(-6) + (-4)/m. Does 16 divide j/(-6) + (-3)/9?
True
Suppose 797 = 4*p + 41. Is 7 a factor of (-1)/3*p/(-9)?
True
Let m(r) = 5*r**3 - 4*r**2 + 2*r - 5. Let l(h) = 14*h**3 - 12*h**2 + 5*h - 14. Let t(s) = 6*l(s) - 17*m(s). Let g be t(-3). Does 4 divide 4*2/g - -8?
False
Suppose 0 = 3*v - 8*v. Suppose -i - 2 = -v. Let r = 2 - i. Does 4 divide r?
True
Let d(x) = -x**3 - 4*x**2 + 4*x - 3. Let y be d(-5). Suppose 3*r = 5*m + 77, -y*r + 0*m + 50 = -2*m. Is 12 a factor of r?
True
Suppose 565 = 6*c - 107. Is 16 a factor of c?
True
Suppose 4*s = 3*s - 8. Is 15 a factor of 894/15 - s/20?
True
Let x = -1 - -1. Suppose x = -0*t + t - 1. Is (-3)/((t + 1)/(-12)) a multiple of 16?
False
Suppose -2*a = -4*t + 2*a + 28, 3*a + 23 = 4*t. Suppose t*d - 54 = -d. Is 12 a factor of d?
False
Let q(d) = -4*d - 1. Suppose 0*n - 2*n - 14 = 0. Does 7 divide q(n)?
False
Let a(p) = 32*p**2 + 5*p - 10. Is 11 a factor of a(2)?
False
Let q(j) = -4*j**2 + 0*j + 7*j**2 - 3 + j. Let b be q(5). Suppose m - 4*t - 80 = -m, t + b = 2*m. Is 11 a factor of m?
False
Suppose 5*x = -3*q + 121 - 32, 10 = -5*q. Let n = 53 - x. Does 17 divide n?
True
Let s(d) = 8*d**2 - 3*d + 3. Is s(3) a multiple of 21?
False
Suppose -t - 3*t + 16 = 0. Is 2 a factor of t?
True
Suppose -v + f + 3*f = 10, -3*f = 4*v + 59. Let r = v + 44. Is 15 a factor of r?
True
Suppose -442 = -12*z - z. Is z a multiple of 7?
False
Let j = -60 - -100. Is 8 a factor of j?
True
Let x(z) = -z**3 - 7*z**2 + 3*z - 7. Let q be x(-8). Suppose 3*k - 3*w = q, -2*w = 2*k - 6 - 8. Does 7 divide k?
False
Let v(p) = 14*p**2 - 3*p - 10. Let o(h) = -5*h**2 + h + 3. Let f(j) = 7*o(j) + 2*v(j). Let z be f(-1). Let c = z + 12. Does 2 divide c?
False
Is 29 a factor of 6/(-9) - 352/(-6)?
True
Let l be 1/((-4)/(-3) + -1). Suppose l*f - 2 = f. Is (f*2)/(1/4) a multiple of 8?
True
Let y be -4 + 6 + -1 + 2. Suppose 0 = y*c - 4*j, -7*c + 5*c - 7 = -5*j. Suppose -l + 116 = c*t, 0*l + 2*l = t - 20. Is t a multiple of 14?
True
Let p(v) = v**3 - 5*v**2 - 9*v - 9. Let l be p(7). Let o = -14 + l. Let d = o - -18. Is 18 a factor of d?
False
Suppose 4*b + 8 = -4*t - 64, 3*b - 3*t = -30. Is 12 a factor of (b + 0)*(-5)/2?
False
Let q(y) = y - 3. Let i be q(3). Suppose i = 4*n - 4*k - 0*k - 116, 0 = 5*n - k - 125. Is 6 a factor of n?
True
Let c(l) = l**2 - 3*l + 6. Suppose 2*w - w = 5. Does 6 divide c(w)?
False
Suppose -4*p + 4*x + 52 = 0, 0 = -2*p - 3*x - x + 44. Is p a multiple of 4?
True
Suppose 0 = 5*t + 9*t - 2940. Is 14 a factor of t?
True
Let l(h) = -2*h**3 - h + 0*h - 2*h**3 + 5*h**3. Let k be l(1). Suppose -2*d = -3*r + 3*d + 61, -5*d + 5 = k. Is 10 a factor of r?
False
Let m be (52/(-10))/((-3)/30). Let r = 34 - 63. Let n = m + r. Does 9 divide n?
False
Let p(k) be the third derivative of k**7/1260 - k**6/240 - k**5/40 + k**4/12 - 3*k**2. Let x(u) be the second derivative of p(u). Is x(6) a multiple of 18?
False
Suppose 2*f + 3 = 13. Is f a multiple of 3?
False
Let d(j) = j**3 + 10*j**2 - 13*j + 14. Is 5 a factor of d(-11)?
False
Let a be (-396)/(-6) - 3/1. Suppose h - a = -5*s, -5*h + 3*s = 51 - 226. Does 19 divide h?
True
Suppose 0 = b - 0*b - 2. Suppose -7*o + b*o = -140. Does 14 divide o?
True
Let o(h) = -h**3 + h**2 - h - 1. Let s(x) = -7*x**3 - x - 11. Let p(w) = -6*o(w) + s(w). Let c be p(-6). Let t = -20 - c. Is t a multiple of 12?
False
Suppose -5*f + 875 = 2*o, -o - 15 = -4*o. Does 29 divide f?
False
Let i(r) = 0*r**3 + 4 - 4*r**2 - 2*r**3 + r**3 + 5*r. Is i(-5) a multiple of 3?
False
Is 17 a factor of 2*57*3/18?
False
Let q(l) be the second derivative of -3/2*l**2 + 2*l + 0 + 1/2*l**3. Is 21 a factor of q(8)?
True
Suppose 5*a - 105 = -2*a. Is