iple of 10?
True
Let y(n) = n**3 - n**2 + 2*n - 1. Let d be y(2). Let f = 9 - d. Suppose g = -f*r + 83, -5*g = -r - 4*r + 245. Is r a multiple of 22?
True
Suppose 0 = 4*s - 10 - 14. Does 2 divide s?
True
Let i(n) = -9*n + 1. Let f be i(-1). Let g = -5 + f. Does 3 divide g?
False
Let x be (109 + 2)/(-3) - 2. Let z = -18 - x. Is 9 a factor of z?
False
Let x(r) = -8*r. Let y(u) = u. Let i(t) = -x(t) - 3*y(t). Let g be 1/((-1)/(-1))*1. Is 5 a factor of i(g)?
True
Let w be ((-18)/15)/((-3)/10). Suppose -w*j + 3 = n + 2, -n = 3. Let r(b) = b**2 + 1. Does 2 divide r(j)?
True
Let d = 28 + -10. Suppose 5*l = 0, 5*i - 212 = -l + d. Is 23 a factor of i?
True
Let s be -8 + 12 + (1 - -2). Suppose -s*g = -6*g - 14. Is g a multiple of 14?
True
Suppose 125 = -4*o - 5*a, 5*a = o + 11 + 14. Let m be (-1 - 2)*(-1 + 2). Does 5 divide ((-2)/m)/((-4)/o)?
True
Is 38 a factor of ((-6)/(-12))/(2/264)?
False
Let o be -2 - (3 - 68 - -1). Suppose o = l + l. Suppose 3*n + n - 4*i = 144, 2*i = n - l. Is n a multiple of 14?
False
Let p(c) = 10*c**2 + c. Suppose -5*j = -5*l - 5 + 25, -18 = 5*j - 4*l. Is p(j) a multiple of 15?
False
Let i be 8/((-4 - -3)*-2). Suppose 5*s = 9*s + 4*h - 152, i*s - 188 = 5*h. Does 21 divide s?
True
Suppose -3*i = 2 - 8. Suppose -i*k + h = -0*h - 98, -k = -4*h - 49. Is k a multiple of 14?
False
Let g(m) = -12*m - 34. Is g(-9) a multiple of 37?
True
Suppose 4*l - 16 = 0, 4*l - 502 = -6*v + 3*v. Suppose 0*c + v = 3*c. Is c a multiple of 14?
False
Suppose -3*v - 3 = -3*k, -k = -2*k + 2*v. Suppose 2*o = k*l + 6, o + 4*o - 31 = l. Is o a multiple of 2?
False
Let k(f) = f**3 + f**2 + 6. Suppose -3*z + 3*h - 3 = 0, 0 = z - 5*h + 1 - 20. Let q be k(z). Is 8 a factor of q/(-11) - (-2)/11?
True
Suppose 17 = -5*h + 882. Suppose -48 = 5*p - h. Suppose 0 = -5*r - 0*r + p. Is r a multiple of 2?
False
Let n(d) = -2*d**3 - 6*d**2 - 2*d + 3. Is n(-4) a multiple of 13?
False
Suppose -2*i + 4 = -0. Does 11 divide i + (-30)/(-2)*1?
False
Is (-2)/(-3) - (-815)/15 a multiple of 12?
False
Let y(c) = 8*c + 5. Let o be y(-7). Let j = 126 + o. Does 25 divide j?
True
Let l be 9*(0 + (-3)/(-9)). Does 3 divide (10/6)/(1/l)?
False
Let h = -9 - -16. Suppose -17 = 2*d + h. Is ((-4)/(-6))/(d/(-54)) a multiple of 3?
True
Let s = 4 - -78. Is 13 a factor of s?
False
Is 5 a factor of (-470)/(-30) - 4/6?
True
Let l(g) be the third derivative of g**6/40 + g**4/24 - g**3/6 - 2*g**2. Let c be l(1). Suppose -q = -c*q + 14. Is 6 a factor of q?
False
Suppose o + 160 = 4*v - 0*o, 0 = 5*v + 2*o - 200. Suppose -4*t = -3*m + 43 - 178, -v = -2*t - 4*m. Does 30 divide t?
True
Suppose 2*q = t + 3, 0 = 3*q - 5*t - 3 + 2. Suppose 5*g - 3 = -5*v + 2, 2*v - q*g - 10 = 0. Suppose 2*k + 12 = v*k. Is 9 a factor of k?
False
Let n(t) = 4*t**2 + 4 + 0*t**2 + t**2 - 4*t**2 + 6*t. Does 4 divide n(-6)?
True
Let w(j) = 26*j**2 - j + 1. Suppose 2*b - 3*k = b - 8, -2*b = -2*k + 4. Does 10 divide w(b)?
False
Let d = 117 - 88. Is d a multiple of 2?
False
Let l be (-18)/(-12)*16/6. Suppose -l*u + u = -42. Is 7 a factor of u?
True
Let j(d) = -d. Let c(g) = -3*g - 2. Let r(u) = c(u) + 2*j(u). Let k be r(5). Is 4/((-12)/k) - 1 a multiple of 3?
False
Let a(s) be the first derivative of -4*s + 2 + 1/2*s**2. Does 2 divide a(7)?
False
Let r be 2/((-4)/10 - 0). Let h(g) = -g**2 - 8*g - 7. Let i be h(r). Let j(b) = -b**2 + 13*b - 12. Does 18 divide j(i)?
False
Let f be (-2 - -3)/(5/35). Let m be 2/f - (-61)/7. Let o = m - -5. Is 5 a factor of o?
False
Let x(g) be the second derivative of g**4/12 - g**3/3 - g**2 + 3*g. Does 6 divide x(4)?
True
Suppose 25 = 2*v - 0*v + 5*u, 4*u = -12. Suppose 2*y + 4*w = v, 3*w = 4*y - 4 - 14. Is y a multiple of 2?
True
Suppose -5*w - r + 120 = 0, -61 = -5*w - 2*r + 64. Is 15 a factor of w?
False
Is (-1240)/(-28) + (-2)/7 a multiple of 11?
True
Let i = 620 - 440. Is i a multiple of 30?
True
Suppose -3*m - 195 + 39 = -4*j, 0 = -4*j - m + 140. Is 3 a factor of j?
True
Suppose -24 = -9*h + 6*h. Is h a multiple of 4?
True
Let n = 9 - 1. Does 2 divide n?
True
Let j be 378/22 - 24/132. Suppose 16*x = j*x - 70. Is 15 a factor of x?
False
Let v be -2 + 3 - 1 - 0. Suppose v = -w + 10 + 25. Is w a multiple of 14?
False
Let n(h) = 16*h**2 - 2*h. Let f be n(-2). Suppose f = -2*z + 4*z. Is 17 a factor of z?
True
Let q = -5 + 15. Is 10 a factor of q?
True
Let w = 16 + -7. Let t = w + 22. Is 13 a factor of t?
False
Suppose w = -5*v - 0*w + 476, -4*w = 3*v - 289. Is 17 a factor of v?
False
Let q(u) = -u**3 + 4*u**2 + 2*u + 3. Suppose 3*j - 6 = 6, 3*b + 3*j = 21. Is 9 a factor of q(b)?
True
Let v(m) = m**3 + 8*m**2 - m - 1. Let f be v(-8). Let z = f + -2. Suppose -q = -z*u - 11, 0*u = -4*q + 5*u + 89. Is 11 a factor of q?
False
Suppose -4*y - 21 = -7*y. Suppose 0 = 3*z - 5*x - 166, -3*z = -y*z - 3*x + 231. Is 26 a factor of z?
False
Does 8 divide (-2 - -5)*(-124)/(-12)?
False
Let k(c) = -5*c - 6. Is 11 a factor of k(-10)?
True
Let d(m) = m**2 + 8*m + 9. Let k be d(-9). Let l be (1 + 8)/(k/24). Suppose -s + 0 + l = 0. Is 6 a factor of s?
True
Let u(t) = t**2 - 1 - 10*t - 1 - 2. Let n be u(10). Is n/6 - 42/(-9) a multiple of 2?
True
Let q(k) = 2*k**2 + 13*k + 5. Is q(-7) a multiple of 11?
False
Suppose -5*c + 8 = -c - 4*t, 5*t = -5*c - 30. Does 5 divide ((-4)/12)/(c/60)?
True
Let g = 9 - -11. Is 5 a factor of g?
True
Suppose -54 = -i + 5*p, -4*i + 125 = -2*p - 73. Does 16 divide i?
False
Let i(p) = 2*p**2 + 14*p + 14. Is 10 a factor of i(-9)?
True
Suppose 0*a + 4*a = -4*n + 116, a + 139 = 5*n. Is n a multiple of 14?
True
Let b be (-2518)/9 + 10/(-45). Is (-4)/6 + b/(-6) a multiple of 23?
True
Let p(f) = 30*f - 9. Does 47 divide p(5)?
True
Suppose 87 = 2*w - 97. Suppose 0 = 2*t + 110 - 310. Suppose -4*x + t = -w. Is x a multiple of 24?
True
Let s = 4 + -2. Suppose -6*d - 4*j = -2*d - 92, 0 = 4*d - s*j - 98. Let z = -10 + d. Is 5 a factor of z?
False
Suppose -3*z - 15 = 0, 5*t = 3*t + z + 197. Is (t/(-10))/(6/(-20)) a multiple of 15?
False
Is 5 a factor of 2*(-3)/3 - -17?
True
Let w(b) = -b**3 - 7*b**2 + 7*b + 2. Let u be 1/2 - 10/(-4). Suppose u*z + 33 = -3*d, -4*d - 3*z + 2*z = 35. Is w(d) a multiple of 7?
False
Suppose -2*g + 6*g = 12. Suppose g*z = -2*z + 35. Is z a multiple of 3?
False
Let b(j) = -j**3 + 9*j**2 - 4*j + 9. Suppose 3*y - 12 = 3*l, -2*y + 2 + 4 = -3*l. Let u be b(y). Suppose u = 2*f + 13. Does 20 divide f?
True
Suppose 74 = 4*s + 14. Suppose -7 = 4*z - s. Suppose 3*x - 60 = k, 4*x = z*k + k + 75. Does 21 divide x?
True
Let r = 4 - 4. Let j be -4*(r - 3/3). Is j + 3/((-3)/(-2)) a multiple of 3?
True
Let h = -5 + 5. Suppose h = -0*s + 4*s + i - 36, -2*s + 4*i + 36 = 0. Is 5 a factor of s?
True
Let m(d) = -d**3 + 4*d**2 + d - 1. Let g be m(2). Let s be (-2)/((-12)/g)*2. Suppose s*c - 2*x + 3*x - 100 = 0, 3*x = -5*c + 172. Is c a multiple of 16?
True
Let s be (2/3)/((-10)/(-75)). Let w(l) = 3*l**2 - 2*l - 2. Let o be w(s). Suppose 5*i - o = -3*r, 5*i - 3*r - 95 = 2*r. Is i a multiple of 5?
True
Suppose -2*x - 2*x = 0. Let t be (x - 1) + (-1)/1. Let f(w) = w**3 + 6*w**2 + 4*w + 3. Does 6 divide f(t)?
False
Suppose -3*b - l = 50 + 13, 5*l = 0. Let p = -13 - b. Is p a multiple of 7?
False
Suppose 1 = 3*t - 5. Let k(o) = -9*o - 3. Let x(r) = -5*r - 1. Let a(f) = 2*k(f) - 5*x(f). Is a(t) a multiple of 8?
False
Suppose -q - q = 2*k - 2, 4*k - 8 = -5*q. Suppose y = 2*y - 2*m + 27, 0 = 4*y - q*m + 120. Does 9 divide (1 - y) + 5/5?
False
Let v = 2 + -2. Suppose 3*w - 88 + 4 = v. Does 18 divide w?
False
Let z = 1 + 6. Suppose 2*a + 3*o - z*o = -4, 5*a + o + 10 = 0. Is (4 + 0)*(4 + a) a multiple of 4?
True
Let o(w) = -3 + 1 + 3*w - 4 - 3. Is 9 a factor of o(11)?
False
Suppose 2 = 2*o - 4. Let q(a) be the second derivative of a**4/6 - a**3/2 + 3*a. Is q(o) a multiple of 3?
True
Suppose -1848 = 30*m - 36*m. Does 20 divide m?
False
Suppose -s - 70 = -6*s. Is 14 a factor of s?
True
Let t be -279*(7/3 - 3). Suppose 0*o - 2*o = -t. Let y = o + -66. Does 9 divide y?
True
Let d(k) = -3*k - 12. Let i be d(11). Let j = 67 + i. Does 22 divide j?
True
Let n(p) = -5*p**2 - 9*p + 9. Let a(z) = -11*z**2 - 18*z + 19. Let d(t) = -4*a(t) + 9*n(t). Does 10 divide d(-7)?
False
Suppose 0 = 3*y - d - 110, 0*y + 2*y = -2*d + 68. Suppose -z = -5*z + y. Does 5 divide z?
False
Suppose 4*z = -1 + 17. Suppose z + 4 = d. Let t = d -