i. Is 27 a factor of i?
True
Suppose 5*x = 44 + 51. Does 17 divide x?
False
Let r(f) = -f - 1. Let u(j) = 28*j + 24. Let y(d) = 24*r(d) + u(d). Let q be y(2). Is 7 a factor of 2/q + 141/12?
False
Suppose 0*z + 2*z = 0, 0 = -2*c + z + 38. Suppose 53 + c = 4*j. Is j a multiple of 9?
True
Let n(p) = -p**2 - 11*p - 6. Let g be n(-10). Suppose g*k + 5*y + 754 = 0, -2*k + k - 199 = -4*y. Does 24 divide (-3)/(-12) + k/(-4)?
True
Suppose 3*f = 5*h + 60, 5*f + 5*h - 140 = -0*f. Does 11 divide f?
False
Let g(n) = 2*n**2 - 2*n - 6. Let y be g(-4). Let t = y + -19. Is 15 a factor of t?
True
Is 4 a factor of (-13 - -5 - -6)*-2*19?
True
Let n(s) = s**2 - 5*s + 2. Suppose -o + 0*o + 5*q = -25, -15 = o + 5*q. Let d be n(o). Suppose 79 = d*v + 3*k - 6, -2*v - k + 83 = 0. Does 16 divide v?
False
Let l = 0 + -1. Let y = l + 1. Suppose -2*u + u + 57 = -4*i, 3*u + i - 171 = y. Does 15 divide u?
False
Let s(j) = 4 - j + 0*j + 2*j. Let q be s(-4). Suppose q = 3*w - 2*w - 8. Does 4 divide w?
True
Let p(n) = -n - 3. Let t be p(-6). Is 10 a factor of 23 - (t - (3 + -3))?
True
Suppose 4 = -4*g, -2*g = -3*x + 2*g + 10. Suppose -4*q = -x*q - 84. Is 10 a factor of q?
False
Let y(g) be the third derivative of 3*g**4/4 + g**3/3 - 2*g**2. Let k be y(8). Suppose 5*x - 3*d = d + k, -2*x - 4*d = -36. Is x a multiple of 13?
True
Suppose 25 = y + 2. Suppose -5*i - y = 12. Let p = i + 11. Is 4 a factor of p?
True
Suppose 5*m + 4*k - 76 = 0, 1 = -4*k - 3. Let u = -5 + m. Is 7 a factor of u?
False
Let a be (1*-7 + 1)/(-2). Suppose -a*p + 2 = i + p, 4*i - p - 8 = 0. Suppose 0 = -4*m + i*v + 106, 8*v - 4*v = 12. Is 14 a factor of m?
True
Let s(a) = -4*a. Let m be (-4 - -1) + 8/(-4). Is 10 a factor of s(m)?
True
Let x(q) = 13*q**2 - q. Suppose 3*g - 6*g = 0. Let v be 4 - g - (-6)/(-2). Is 11 a factor of x(v)?
False
Let m(i) = -2*i**3 + i - 2. Suppose a - 7 = 3*k, -3*k - 11 = a - 6*a. Is m(k) a multiple of 7?
False
Let a = -21 + 45. Suppose 0*j - a = -2*j - 4*i, -2*j + 3*i = -24. Is 4 a factor of j?
True
Is -3 + 54 + -4*2/(-8) a multiple of 12?
False
Let s(i) = i - 1. Let y be s(6). Suppose -u = -3*u - y*j + 37, 0 = -4*u + 4*j + 116. Is 13 a factor of u?
True
Let d = -8 + 4. Let h = d - -38. Suppose -4*t = -3*o + h + 67, 118 = 4*o + 3*t. Does 14 divide o?
False
Let j(c) = 5*c**2 - 4*c - 2. Let y(w) = 4*w**2 - 4*w - 1. Let l(b) = 5*j(b) - 6*y(b). Suppose -4*x + 29 = 5*f, -4*f - 4*x + 22 = -2. Does 14 divide l(f)?
False
Let s(a) = 43*a + 1. Does 24 divide s(3)?
False
Let s = 226 - 144. Is 11 a factor of s?
False
Suppose -3*n + 80 = 2*n - 5*v, -38 = -2*n - v. Is 1346/n - (-4)/18 a multiple of 15?
True
Let n(f) = -3*f**3 - 2*f**2. Let o(a) = -7*a**3 - 4*a**2 + a + 1. Let x be 1/(2*1/(-4)). Let h(s) = x*o(s) + 5*n(s). Is 13 a factor of h(-3)?
True
Let p(m) = 0*m + 24*m + 2 - 8*m + 6*m. Let q be p(3). Suppose -5*t - 136 = -4*f, -5*t + q = 2*f - 0*t. Is f a multiple of 13?
False
Suppose 4*n = 3*n. Suppose -4*k = -n*k - 68. Is k + (-2)/(-4)*-6 a multiple of 7?
True
Suppose -i = 4*f + 5, 2*i - 2*f = -0*f + 40. Is 10 a factor of (2 - (-1 - -2)) + i?
False
Is 2 a factor of 1*4 + (3 - 3)?
True
Let m be ((-36)/15)/((-2)/25). Suppose 10*f - 5*f + m = 0. Let v = 8 + f. Does 2 divide v?
True
Let x(o) = -4*o**3 + o**2 - 3*o. Is 21 a factor of x(-3)?
True
Let l = 22 + 20. Suppose -2*a = a - l. Is 7 a factor of a?
True
Let k(d) be the third derivative of d**6/120 - 7*d**5/60 + 5*d**4/24 - 5*d**3/3 + 3*d**2. Is k(7) a multiple of 10?
False
Let h(y) = y**2 + 2*y. Let l be h(-2). Suppose l*d + 2*d - 94 = 0. Does 11 divide d?
False
Let b(m) = m**2 + 7*m - 9. Suppose -2*v + 2 = 16. Let o be b(v). Let u(s) = -s**2 - 12*s + 3. Is 15 a factor of u(o)?
True
Let g(t) = 2*t - 10. Let z = -40 - -15. Let k = -15 - z. Is g(k) a multiple of 10?
True
Let q(o) = 5*o**3 + 35*o**2 - 8*o + 38. Let h(j) = 3*j**3 + 23*j**2 - 5*j + 25. Let c(i) = 8*h(i) - 5*q(i). Is c(8) a multiple of 19?
False
Let g(y) = 2 - 2 - 7*y + y - 1. Is 8 a factor of g(-3)?
False
Suppose 0 = -2*v + 6 + 56. Suppose 0 = g + 35 - 99. Let q = g - v. Does 22 divide q?
False
Let m(q) = 2*q**2 - 4*q + 4. Let x be m(4). Suppose -4*i = -2*i - x. Does 5 divide i?
True
Suppose 5*l - 2*f + 7*f - 1235 = 0, 5*l = -3*f + 1241. Suppose -5*x = 5*w - 284 - 136, -l = -3*w - 5*x. Is w a multiple of 22?
False
Let v = -35 - -52. Does 2 divide v?
False
Let p(o) = -33*o**3 - 2*o**2 + o. Let n(a) = 66*a**3 + 4*a**2 - 3*a. Let l(x) = 2*n(x) + 5*p(x). Let d be l(-1). Suppose -4*t + d + 120 = 0. Does 13 divide t?
False
Suppose -a - 1 = 2. Let w(o) = -2 + o - 3*o + o**2 - o. Does 8 divide w(a)?
True
Suppose -4*l = -3*d - 55, 3*l + 102 = -4*d + 12. Let z = d - -36. Is 8 a factor of z?
False
Let x = -32 + 5. Does 3 divide 6/x - 148/(-18)?
False
Let u = -14 + 34. Suppose 4*a + a = u. Suppose p - 12 = -3*y, -7*p + 2*p - a*y + 115 = 0. Does 19 divide p?
False
Let u(m) = 4*m**2 + 4*m + 3. Does 11 divide u(-2)?
True
Let v = 109 + -62. Does 8 divide v?
False
Suppose -15*w = -19*w + 672. Is w a multiple of 28?
True
Let p(y) = -y. Let s be p(0). Suppose -3*w - 2*m - 24 = 0, 5*w + m + 33 = -s*w. Let k = w - -11. Is k a multiple of 2?
False
Let m(a) = 3*a**2 + 6*a + 7. Let r(k) = 7*k**2 + 11*k + 13. Suppose 0*s - 4 = 2*s. Let v(d) = s*r(d) + 5*m(d). Is v(-7) a multiple of 2?
True
Let s(q) = -2*q**3 + 3*q + 2. Suppose -7*r - 8 = -3*r. Is s(r) a multiple of 6?
True
Suppose 0 = -5*w - 3 + 8. Suppose 0 = -n - 9 - w. Is (20/(-3))/(n/15) a multiple of 10?
True
Let q(d) = d**3 + d**2 + d + 325. Is q(0) a multiple of 65?
True
Let n = 162 - 87. Does 22 divide n?
False
Let s be (-8)/(-3) + 2/6. Let d = 0 - s. Is d/((63/(-30))/7) a multiple of 10?
True
Let n = -21 + 75. Does 54 divide n?
True
Let t = 1 - -24. Suppose 0 = q - 1 - 0, -5*s - 80 = 5*q. Let a = s + t. Is 8 a factor of a?
True
Suppose 0 = -8*y + 4*y - 24. Let w(b) = b**3 + 6*b**2 + 4*b - 4. Let s be w(-6). Let k = y - s. Is 10 a factor of k?
False
Let p(a) = -71*a**3 + 1. Does 36 divide p(-1)?
True
Let a = -12 + 33. Does 7 divide a?
True
Is 9 a factor of 2376/63 + 4/14?
False
Does 16 divide (1/(10/96))/((-5)/(-25))?
True
Suppose -2*n + 2*w = 2*n - 62, -w = 1. Is n/((-3)/24*-6) a multiple of 10?
True
Suppose 0*g - 2*g = -6. Suppose 98 - 32 = g*m. Does 11 divide m?
True
Let y be ((-10)/(-4))/((-3)/6). Let k = y + 15. Is k a multiple of 10?
True
Let v = -23 - -40. Let l = v - 6. Does 3 divide l?
False
Suppose 0 = -c - c - 6, -5*n = c - 42. Is (-2)/n + (-897)/(-27) a multiple of 17?
False
Let g(i) = 3*i**2 - 3*i + 3. Let k be g(5). Suppose -p + k = 4*t, -5*p + 0*t + 290 = -5*t. Is 11 a factor of p?
False
Let w(m) = 0*m + 4 + 3*m - 7*m - 4*m. Let x be w(-6). Is 13 a factor of (x/(1 + 1))/1?
True
Let q(m) = -2*m**3 - m**2 + m + 1. Let w be q(2). Let t = w - -12. Let d(u) = -u - 2. Does 2 divide d(t)?
False
Let b(n) = 4*n**3 + 11*n**2 - 2*n - 15. Let w(p) = 11*p**3 + 33*p**2 - 6*p - 44. Let d(u) = -8*b(u) + 3*w(u). Let a be d(-11). Is 25 a factor of (25/a)/(2/20)?
True
Let q(v) = 19*v**2 + v + 1. Let w(t) = 56*t**2 + 3*t + 3. Let b(c) = -11*q(c) + 4*w(c). Suppose i - 1 = 2*i. Does 15 divide b(i)?
True
Let i(w) = -w**3 + 8*w**2 - 3*w - 3. Let a(m) = m**3 - 9*m**2 + 2*m + 4. Let h(q) = -3*a(q) - 4*i(q). Let z = -7 + 12. Is h(z) a multiple of 15?
True
Let m(d) = 5*d + 3. Let l be m(-2). Let a be 2/(-3)*42/l. Suppose -a*k = -47 - 17. Does 8 divide k?
True
Let f = 22 - 38. Let m = f + 44. Is 17 a factor of m?
False
Let z(s) = 5*s + 13. Does 21 divide z(10)?
True
Suppose 2 = -w + 4*p, -2*w + 6*w - 5*p + 63 = 0. Let a be 3172/22 - (-4)/w. Let d = a - 102. Does 21 divide d?
True
Let a(t) = -5*t**3 + 3*t**2 + 2*t. Is a(-2) a multiple of 24?
True
Suppose 7*z - 2*z + 55 = -3*d, 4*z = 3*d - 17. Let h(p) be the third derivative of -p**4/6 + p**3/3 - p**2. Is h(z) a multiple of 17?
True
Suppose 2*q - m = -4*m + 25, -m = -4*q + 15. Let v be 7/35 - 76/q. Is -2 + 5/(v/(-42)) a multiple of 6?
True
Let g = 96 - 59. Does 7 divide g?
False
Let o(q) = 9*q**2 - 3*q + 3. Let z(l) = -l**3 - 2*l**2 - 3*l - 1. Let p be z(-2). Suppose -4*b = -3*h - 5 - 3, -2*h + 10 = p*b. Is o(b) a multiple of 11?
True
Suppose -3*r = -198 - 18. Suppose -x - 2*x = -r. Is x a multiple of 8?
True
Let f be 12/(-9)*6/(-4). Suppose 2*n + t = 41, -6*n + f*t = -2*n - 78. Is 10 a factor of n?
True
