2 - 22*c - 17. Let o be i(-21). Does 3 divide (-2)/(-2) - -11 - (2 - o)?
False
Let n = 15 - -202. Let m = 312 - n. Does 19 divide m?
True
Is 12 a factor of (-4)/14 - (-11358)/63?
True
Let v(y) = 9*y + 10. Let d(z) = -17*z - 19. Let s(c) = -3*d(c) - 5*v(c). Let l be s(8). Is 19 a factor of 6/18*(l - -2)?
True
Let v(q) = 17*q - 11 - 7 + 15*q - 23*q. Does 5 divide v(7)?
True
Let x be (40/24)/((-2)/(-18)). Suppose -x = -4*y + 9. Does 3 divide (-3 - -3)/2 + y?
True
Suppose 3*h + 9*h - 4164 = 0. Is h a multiple of 16?
False
Let p(j) be the first derivative of -j**3/3 + 9*j**2 - 23*j - 10. Does 14 divide p(7)?
False
Let q(u) = -u - 6. Let g be q(-4). Let p be 18*(-2)/(-8)*g. Let f = 15 - p. Does 8 divide f?
True
Suppose 5*k + 900 = l, 0 = 4*l + 7*k - 12*k - 3600. Is l a multiple of 10?
True
Suppose -y + 5*m = -65, 4*y - 3*m + m - 188 = 0. Let j = y - 38. Is j a multiple of 6?
False
Suppose b - 1707 = -d, -4*b - 6852 = 6*d - 10*d. Does 9 divide d?
True
Let q(s) = -7*s - 3. Let u be ((-30)/(-9)*3)/2*-1. Is 16 a factor of q(u)?
True
Let h = 37 + -15. Suppose j - h = -2. Is 10 a factor of j?
True
Suppose 0 = 6*t - 11*t + 10. Let m(l) = -3 + 2 - 9*l**3 + 2*l**2 - 3*l**t - 2*l. Is m(-1) a multiple of 5?
False
Let o(d) = -2*d**2 - 26*d - 23. Let r be o(-12). Does 3 divide 1/(266/(-91) - -3*r)?
False
Let k be -4*1 + 1/((-4)/804). Let a = k + 316. Is a a multiple of 16?
False
Suppose 4*p = 5*s + 45, -p + 5*s = p - 35. Suppose 0 = 3*h - 88 - p. Does 10 divide h?
False
Let s be (-2)/(-8)*4 + -1. Suppose 5*b + s = 15. Is b a multiple of 3?
True
Let c be 1*(-2)/4*-4. Suppose -c*v - 3*v + 220 = 0. Suppose 2*x - 6*x + v = 0. Is 11 a factor of x?
True
Suppose -117 + 33 = -14*l. Suppose -l*c + 2*c = -32. Is 8 a factor of c?
True
Suppose 4*o - 5*v - 7 = 31, -5*o + 31 = 2*v. Suppose -11 = -6*h + o. Suppose -181 = -h*q - 7. Is q a multiple of 12?
False
Let r = 425 - -472. Is 69 a factor of r?
True
Suppose 2*o - 5*u = 104, 2*u - 72 = -2*o + 46. Suppose 147 = 2*b - o. Is 17 a factor of b?
True
Let z(t) = t - 9. Let j be z(9). Suppose 9*v - 8*v + 13 = j. Let u(x) = -2*x - 2. Does 8 divide u(v)?
True
Let i(q) = q**3 - 6*q**2 + 20*q - 42. Is i(12) a multiple of 25?
False
Is 60 + (-3 - 0/(6 + -5)) even?
False
Let o be 1/9 - (-52)/18. Let t be (1/o)/((-12)/(-36)). Does 22 divide -1 - t - (-11 - 35)?
True
Let m(q) = q**3 - 12*q**2 - 26*q + 70. Does 18 divide m(14)?
False
Suppose -2*d + 147 = 135. Does 7 divide 501/d - (-12)/(-8)?
False
Suppose -57 = 3*d - 78. Suppose 5*k - d*k = -342. Is 19 a factor of k?
True
Let k = 137 - 28. Let y = 190 - k. Is 9 a factor of y?
True
Let c(d) = -8 - 3*d + 7*d - 4*d - 10*d. Does 15 divide c(-4)?
False
Let f be 2504/72 - (-4)/18. Suppose f*q + 58 = 37*q. Is 8 a factor of q?
False
Does 8 divide 6*(6/14 - 2970/(-28))?
False
Suppose 0 = -3*i - 13 - 98. Let m = -21 - i. Suppose 5*f - 3*f - m = 0. Is 3 a factor of f?
False
Suppose -9*a = -5*a + 4. Let j(r) = -91*r**3 + 2*r**2 + r. Does 14 divide j(a)?
False
Let m = -26 - -45. Suppose -u + 22 = m. Let z(q) = 2*q**2 - 3*q + 3. Does 10 divide z(u)?
False
Let b be 1/(-2)*(-753 + -1). Let s be b/39 + (-4)/6. Is 27 a factor of (42/8)/(s/84)?
False
Let a(y) = 6*y - 4. Let m = -14 - -22. Is a(m) a multiple of 22?
True
Let k = -32 + 57. Let r = -17 + k. Suppose 2*g - r - 12 = 0. Is g a multiple of 7?
False
Suppose -3*z + 2480 = -5*m + 190, -3*z = 3*m - 2298. Is z a multiple of 17?
True
Let a(x) = x**2 + x + 4. Let n be a(-4). Let b = -16 + n. Suppose 3*z - 43 = -r - 4*r, -5*z + 2*r + 51 = b. Is z a multiple of 10?
False
Suppose 5*i + 0*i = -a, 15 = 2*a - 5*i. Suppose -2*t = -g + 188, -a*g + 966 = t - 7. Is g a multiple of 22?
False
Let p be (1*-4)/((-2)/(-4)). Let u(d) = -d + 4. Let k(h) = -3*h + 11. Let g(j) = p*u(j) + 3*k(j). Does 3 divide g(-2)?
True
Let j(i) = 39*i**2 - 84*i - 24. Let g(f) = -11*f**2 + 24*f + 7. Let x(p) = 18*g(p) + 5*j(p). Let h be x(11). Let c = -128 - h. Is c a multiple of 21?
False
Is (4/(-10))/((-537)/(-270) - 2) even?
True
Suppose -2*q - q = 6. Let a = q + 70. Does 34 divide a?
True
Let k = 1396 - 471. Does 46 divide k?
False
Is 54 a factor of 1*6*7714/57?
False
Let r = 16 + -10. Suppose -84 = -r*m + 2*m. Suppose 2*u - 95 = -m. Does 9 divide u?
False
Suppose -22*j = -73*j + 86292. Does 12 divide j?
True
Let m = 9 + 5. Is 10 a factor of (-204)/(-21) - 1/(m/(-4))?
True
Let m = -5 - -8. Suppose 1716 = 5*p - m*p. Is 10 a factor of (-2)/(-5) - p/(-30)?
False
Let i = -41 + 40. Let b(w) = 35*w**2 + 3*w + 2. Does 10 divide b(i)?
False
Suppose -5*p + 0*p + 3*x = 19, p = 4*x - 14. Let k(h) = -41*h**2 - 2*h + 1. Let w be k(p). Is w/(-3) - (9 + -8) a multiple of 14?
False
Let f be 2935/20 - ((-1)/4 - -1). Let v = f + -71. Is v a multiple of 25?
True
Let y(w) = 2*w**2 + 3*w - 148. Does 38 divide y(24)?
False
Let y(d) be the first derivative of -d**3/3 - 16*d**2 - 68*d - 23. Is y(-24) a multiple of 12?
False
Let i = -525 - -583. Is i a multiple of 3?
False
Suppose 0 = -4*z + 2*j + 86, -2*j - 3*j = -2*z + 23. Suppose -z = -0*p - p. Is 10 a factor of p?
False
Let w be (2 - -7) + -4 + 26. Suppose 3*g = 5*a - 2*a - 18, 2*g - 3*a + 7 = 0. Let j = w + g. Is j a multiple of 3?
False
Let f = 25 - 27. Suppose -4*n + 14 = 2*g + g, 5*n - 25 = 0. Is (g - (0 - f)) + 15 a multiple of 3?
False
Suppose 12*n + 609 = 15*n. Is 17 a factor of n?
False
Suppose -32*p = -36*p + 3192. Is 59 a factor of p?
False
Let y = 11 + -15. Is 20 a factor of -2 - (-22)/((-4)/y)?
True
Suppose 0 = -4*d + 4*n - 0 + 28, 4*d = 3*n + 25. Suppose -56 = d*y - 376. Does 16 divide y?
True
Let t(q) be the first derivative of 11*q**6/120 - q**4/24 - 3*q**2 - 8. Let k(p) be the second derivative of t(p). Does 2 divide k(1)?
True
Let q = -1126 + 2358. Does 22 divide q?
True
Let n be -2*6/((-24)/(-1670)). Is -3 - 3/(15/n) a multiple of 23?
False
Let t(m) = -95*m - 1. Let z(j) = -191*j - 1. Let c(y) = 11*t(y) - 6*z(y). Let g be c(2). Let u = g + -131. Is 22 a factor of u?
True
Suppose -4*y = -3*y - 144. Suppose -12 = -6*w - 0. Suppose r - y = -w*r. Is r a multiple of 15?
False
Suppose -2*k - k + 90 = 0. Is 10 a factor of k?
True
Suppose -59 = 2*v - 19. Let s = v + 33. Does 5 divide s?
False
Let u(j) = j**2 + 9*j - 13. Let y be u(-11). Let i(x) = -4*x + 19. Let g(c) = -4*c + 18. Let f(r) = -6*g(r) + 5*i(r). Does 4 divide f(y)?
False
Let c be 1/(-3) - (-160)/30. Suppose -c*w + 8*w = 111. Let k = -1 + w. Is k a multiple of 12?
True
Let b be -1*6/((-24)/(-748)). Let m = -97 - b. Does 23 divide m?
False
Let c(a) be the first derivative of a**3/3 + 7*a**2/2 - 19*a - 6. Is c(-13) a multiple of 8?
False
Let h = 35 + -15. Let m = h + -19. Let b(o) = 37*o - 1. Does 12 divide b(m)?
True
Let m(z) = -5*z + 36. Let s be m(10). Is 36 a factor of (-4400)/s - -1*2/(-7)?
False
Let m = -36 - -66. Let t = -35 + m. Let i(q) = -15*q + 12. Does 33 divide i(t)?
False
Let n(o) = -5*o**3 - o. Let r be n(1). Let l = r + 4. Does 2 divide ((-13)/2 - -3)*l?
False
Suppose -31 = 5*w + 54. Let q = w + 81. Is 4 a factor of q?
True
Let l be (-1 - 1)/((-26)/117). Let w = -11 + 22. Let n = l + w. Is n a multiple of 4?
True
Suppose 13*v - 1655 = 3155. Is v a multiple of 37?
True
Let f be 1/2*-2 + 7. Does 15 divide f/10 + 444/10?
True
Suppose 4*a + 5*t - 45 = 0, 0 = -a + 4*t - 5 - 10. Is 22 a factor of 241/a - 7/35?
False
Suppose -5*u + 5 + 15 = 0. Suppose -19*z = -10*z. Let j = z + u. Is 4 a factor of j?
True
Let g = -24 + 29. Suppose 0 = 2*t + 3*t - h - 11, t + 1 = -3*h. Suppose 5*q - g*n = 290, -t*q + 195 = q + 4*n. Is q a multiple of 17?
False
Suppose -k - 658 = -u, 2633 = -41*u + 45*u - 5*k. Is u a multiple of 10?
False
Let v(f) be the first derivative of -17*f**2/2 - 6*f + 4. Let c(s) = 407*s + 143. Let r(t) = 6*c(t) + 143*v(t). Is 11 a factor of r(4)?
True
Let h be (-3)/(-1 + 0) + -3. Suppose b + h*b - 36 = -2*c, 0 = 4*c. Is 12 a factor of b?
True
Let j = 13 - 9. Suppose 0 = 3*k - 1 + j. Is 20 a factor of (20 - 16) + k + 46?
False
Let p(j) = -j + 10. Let u be p(8). Suppose -3*k + 53 = -0*k + n, u*k + 2*n = 34. Does 10 divide k?
False
Let l(v) = 68*v**2 - v + 24 + 69*v**2 - 138*v**2. Does 4 divide l(4)?
True
Suppose -d + 2*v = 3*d - 26, -40 = -5*d + 5*v. Suppose -2*o - 40 = -5*o - 5*x, 0 = d*o - 2*x - 46. Let k = o - -14. Is k a multiple of 8?
True
Let m = -21 - -21. Suppos