 2*r = 3*z - 10, 3*z - 16 = 3*r - 4. Suppose 9 = -2*b - 3*g + 1, 0 = -z*b + 5*g - 24. Does 4 divide i(b)?
True
Suppose n = -3*y + 13737, -4*n + 16 = 4. Does 24 divide y?
False
Let x = 387 + -166. Is 13 a factor of x?
True
Let t = 64 - 100. Let o = 21 + t. Let s = 51 + o. Is s a multiple of 18?
True
Suppose -516 = -5*g + 4*z, 3*z + 2*z - 80 = -g. Does 5 divide g?
True
Suppose 38*n - 40*n = -14. Let y(t) = t + 17. Is y(n) a multiple of 9?
False
Suppose -2*c - c = 2*o - 4, 5*c = 5*o - 10. Suppose -k + 3 = c, -7*u + 5*k + 905 = -2*u. Is 10 a factor of u?
False
Suppose 0 = 16*u + 12*u - 2660. Is u a multiple of 14?
False
Let p(u) = 3*u**3 - 3*u**2 + 7*u - 2. Let n be p(7). Suppose n - 227 = 3*w. Is w a multiple of 39?
True
Let n = 113 - 53. Suppose n = -3*k + 279. Is k a multiple of 14?
False
Let g = -171 + 413. Is 11 a factor of g?
True
Suppose -5*v = 5*r - 740, 2*v = r - 4*r + 291. Suppose 3*g + v = 489. Does 28 divide g?
True
Let m = 15 + -9. Let g be -3*(-9)/m*4. Does 2 divide (0 - 4)*(-27)/g?
True
Let p(y) = 4 + 14 + 19 - 11*y + 12*y. Is 5 a factor of p(-9)?
False
Let h(u) = 67*u - 51. Is h(4) a multiple of 27?
False
Suppose -g - 4*m = 8, -2*g = -3*m + 26 + 12. Let p = 15 + g. Is p/((-2)/104) + -2 a multiple of 10?
True
Let n = -3 + 8. Suppose -w = n*c - 57, 5*w - 116 - 169 = c. Does 8 divide w?
False
Suppose -f + 34 = -3*a - 7, 2*a = 4*f - 124. Suppose 3*h + 46 + 17 = 0. Let r = f - h. Does 19 divide r?
False
Suppose -8*x + 3*z = -3*x + 76, 0 = 2*z + 6. Let q(l) = l**2 + 13*l + 19. Is q(x) a multiple of 17?
False
Let t(d) be the third derivative of -d**7/840 - d**6/48 - d**5/6 - d**2. Let r(z) be the third derivative of t(z). Is r(-7) a multiple of 6?
False
Suppose 0 = -8*x + 149 + 1411. Is x a multiple of 15?
True
Let p be (18/(-24))/(1/(-272)). Suppose 0 = 19*g - 18*g - p. Does 12 divide g?
True
Suppose 0 = -4*m - a + 693, 0 = 2*m - 0*m + a - 345. Is m a multiple of 7?
False
Is 7 a factor of ((-29274)/28)/((-6)/8)?
False
Suppose -3*x + 121 = -11. Let d = x + -38. Suppose 53 = 5*w + d*t - 2*t, w = t + 16. Is w even?
False
Is 9 a factor of 8/(-76) - (-5805)/95?
False
Suppose -y + 0*u = 2*u + 1, 3*y + 5*u = 0. Is -1*(-1)/y - 98/(-10) a multiple of 5?
True
Suppose r = -10 + 16. Suppose 0 = 4*z - n - 103, 0 = 2*z - r*z + 4*n + 100. Is 11 a factor of z?
False
Let o(x) = -x**3 - x. Let q be o(0). Suppose -5*y - 2*j - 51 = -183, q = 2*j + 8. Is 7 a factor of y?
True
Let u = 137 + -113. Does 5 divide (-292)/(-12) - (-16)/u?
True
Suppose 0*u - 2*u + 5*i + 596 = 0, -4*i = 4*u - 1248. Is 28 a factor of u?
True
Suppose -62 = 2*p - 5*o, 0 = 3*p - o + 2*o + 127. Let j = p - -5. Let x = j + 64. Does 14 divide x?
True
Does 2 divide (-2)/(-18) - 5/(225/(-2065))?
True
Let d(g) = g**3 - 6*g**2 - 7*g - 5. Let k be d(10). Suppose -2*t - k = -5*w, 260 = 4*w - 0*t + 5*t. Does 26 divide w?
False
Suppose -4*l - 832 = -4*z, -3*z + z = -l - 421. Let k = 378 + -219. Suppose k = 4*f - 2*d + 5*d, d + z = 5*f. Does 32 divide f?
False
Let g(d) = 5*d + 3. Let a = 11 + -16. Let s be g(a). Let o = 35 + s. Does 13 divide o?
True
Suppose 0*l + 3*l - 5 = -f, 2*l = 2*f - 2. Suppose -a = -f*a. Suppose 5*h + 15 = 0, -2*h - 48 = -3*i - a*h. Is 9 a factor of i?
False
Let p = 33 - 8. Let u be 248/(-14) + 68/(-238). Let a = u + p. Is 4 a factor of a?
False
Let w(x) = x + 11. Let c be w(-8). Let o = c - -2. Suppose 4*u + o = -3, 3*a - 4*u - 38 = 0. Does 5 divide a?
True
Let r(v) = 5*v**2 - v + 1. Suppose 7 = 5*b - 3. Let m be r(b). Suppose 3*x - 41 = m. Is x a multiple of 7?
False
Suppose s = 2*y + 941, -4*s - 2*y = -5367 + 1623. Is s a multiple of 27?
False
Let v be -8 - -31 - (2 - 0). Let q = v + -20. Let t = 17 + q. Does 6 divide t?
True
Let o(t) = -t**3 + t**2 - t. Let b(z) = 16*z**3 + 3*z**2 - 3*z - 1. Let u(x) = -b(x) + 2*o(x). Is u(-1) a multiple of 17?
True
Let i be (-6)/(-15) - (-1112)/20. Suppose -3*g - 3*k = 2*k - i, -5*g + 2*k = -83. Suppose -g*a + 12*a = -50. Does 5 divide a?
True
Suppose a + a = -42. Let h = 55 + a. Is 12 a factor of h?
False
Suppose 0 = 4*i + 19 + 25. Let l = i - -74. Does 14 divide l?
False
Suppose -4*t + 15 = 3. Let r be (16/(-6))/(t/9). Let l = r - -21. Is 13 a factor of l?
True
Does 8 divide (-222)/(9*6/(-66 - 6))?
True
Let s(t) = -3*t + 22. Let d(a) = 4*a - 22. Let h(z) = 2*d(z) + 3*s(z). Is 10 a factor of h(7)?
False
Suppose 0 = 4*y + 2*r - 38, -4*r = 5*y - 2*r - 49. Suppose -2*p - 125 = -3*d - y, 3*d - 123 = -p. Is 7 a factor of d?
False
Let a(j) = j**3 + 13*j**2 + 4*j + 17. Let x be a(-11). Suppose -5*k + 215 = 4*l, 0*k + x = 5*k - l. Is k a multiple of 11?
False
Let c be (4/(-6))/((-9)/513). Suppose c = 5*x - 157. Is x a multiple of 9?
False
Let t(b) = 139*b - 9. Does 51 divide t(3)?
True
Let j be 421*1 - (-52)/(-13). Suppose -5*o - 67 = -j. Does 7 divide o?
True
Suppose -3*p + 46 + 22 = -5*r, -r = 2*p - 28. Is 3*(p - (-1)/1) a multiple of 12?
False
Let u(x) = -2*x + 6. Let t be u(19). Let k = -27 - t. Suppose -13 = -k*q + 7. Is q a multiple of 2?
True
Let r(d) be the first derivative of -d**4/4 - 16*d**3/3 + 7*d**2 - 4*d - 13. Is 13 a factor of r(-17)?
False
Let u(r) = r + 12. Let n be u(-10). Suppose 0*h + 20 = n*h. Suppose -f = -2*f + h. Is f a multiple of 6?
False
Let f = -7 + 12. Suppose 6*t = f*t + 41. Is 33 a factor of t?
False
Suppose -h + 0*h + 24 = -5*b, 2*h - 18 = 4*b. Is 13 a factor of -6*2*(-1 + b)?
False
Let j be 4*(0 - 2)/(-2). Suppose j*f + 55 = 9*f. Is 8 a factor of f?
False
Is 123 a factor of 207*((-3485)/(-15))/17?
True
Suppose 6*y - 1560 = -20*y. Is y a multiple of 10?
True
Suppose -1952*u = -1957*u + 19800. Does 99 divide u?
True
Let z = 2220 - 2167. Is z a multiple of 11?
False
Let h(g) = -36*g - 14. Let s be (20/(-32)*-4)/(1/(-2)). Does 35 divide h(s)?
False
Suppose 0 = 4*l - 4, 0 - 3 = 2*c - 3*l. Let m be (1/(-2) + c)*2. Let j(v) = 5*v**2 + 3*v + 2. Is j(m) a multiple of 2?
True
Let l(w) = 8*w**2 - 25*w + 97. Is 10 a factor of l(7)?
False
Let u be ((-6)/(-4) + 0)*20/15. Suppose -h + 4*w = -66, h - 5*w = -u*w + 66. Is 11 a factor of h?
True
Is 4/(-14) - ((-5616)/56 - 5) a multiple of 35?
True
Suppose 0*p - 12 = -6*p. Suppose 0 = 11*k + p*k - 832. Does 32 divide k?
True
Let o(y) = y**3 + 7*y**2 + 7*y - 11. Let b be o(-5). Suppose -c = b*c - t - 85, -5*c = -2*t - 90. Does 16 divide c?
True
Let m be 2 + (-3 - (0 - 2)). Let v(n) = -20*n - m + 3 - 1 + 5*n. Is v(-3) a multiple of 23?
True
Suppose 3*x + 5*j - 8 = 0, -3*x + 4*j + 24 = j. Suppose v + 8 + 0 = 0. Let c = x - v. Is c a multiple of 14?
True
Let f(i) = 3*i + 2. Let a be f(-3). Let b(s) = s**2 + 9*s + 10. Let x be b(a). Does 7 divide (14/x)/(1/(-6))?
True
Let p(v) = 2*v**3 - 26*v**2 + 29*v + 37. Is p(13) a multiple of 8?
False
Suppose -x = 4*c + c + 12, 2*c - 5*x - 6 = 0. Is 13 a factor of c/6*(-119 - -2)?
True
Suppose 0 = 56*z - 57*z + 459. Does 73 divide z?
False
Is 14 a factor of ((-6)/(-4))/((-16)/((-114368)/6))?
False
Let n be 6 + -25 - (-8)/(-2). Let w = 101 + n. Is 13 a factor of w?
True
Let p(a) = 4*a - 15. Let t be p(5). Suppose -5*v + 230 = 2*g, 14 = -t*v + 4. Does 24 divide g?
True
Suppose a = -2*a + 4*s - 1, 3*s = 3*a - 3. Suppose a*j = -5*i + 145, 0 = i - j - 3*j - 44. Is i a multiple of 8?
True
Is 14 a factor of (-8)/(-3)*(11 + -1 - -77)?
False
Let w(p) = -2*p**3 - 5*p**2 - 19*p - 45. Does 6 divide w(-5)?
False
Suppose 4*y - 7*y = -4*c + 7337, 2*c + 5*y = 3649. Is c a multiple of 18?
False
Suppose 3*b - 2 + 10 = -l, 5*l + 12 = -b. Does 30 divide ((-12)/(-18))/(b/(-180))?
True
Let i(w) = 719*w - 68. Is i(1) a multiple of 21?
True
Let u(y) = -2*y**2 + 41*y - 31. Let f be u(18). Let x be -1*(-2)/5*-60. Let w = x + f. Is 19 a factor of w?
False
Let y(f) = 230*f**2 + 3*f + 1. Is y(-1) a multiple of 38?
True
Let f = 76 + -3. Is 4 a factor of f?
False
Let v be (11 - 116)*60/(-14). Suppose 3*h + v = 8*h. Is h a multiple of 30?
True
Suppose -2*a - 220 = -0*a. Suppose -2*d - 302 = 6*f - 2*f, 4*d - 332 = 4*f. Let m = f - a. Is m a multiple of 23?
False
Let u(i) = 9*i**2 - 12*i + 15. Let x be u(7). Suppose 0 = -v - 121 + x. Is v a multiple of 14?
False
Let n(w) = -w**3 - 12*w**2 + 8*w + 1. Suppose -4*f - 3*t - 27 - 37 = 0, -5*f = t + 69. Is n(f) a multiple of 12?
False
Let y(p) = 6*p - p + 4*p - 13*p + 64. Is y(-5) a multiple of 12?
True
Let k = -29 - -32. Is 17 a 