+ 530, -z - 318 = -3*a. Is a a multiple of 18?
False
Let q = -18 - -8. Let w(o) = o**3 + 10*o**2 - 6*o - 12. Let j be w(q). Suppose 3*y - 3*p - j = 0, 2*p - 19 = 6*y - 7*y. Does 13 divide y?
False
Let a(o) = -2*o - 4. Let i be a(-9). Let z be (-9)/(-36) - i/(-8). Suppose 0 = z*b - 11 - 85. Is 12 a factor of b?
True
Suppose 0 = -0*k - 5*k + j, 5*j = -4*k. Let h(a) = 39*a**2 + 12*a + 3. Let b be h(-2). Suppose -2*w - 3*w + b = k. Is w a multiple of 9?
True
Suppose 6*r - r - 345 = 0. Let v be ((-236)/(-2))/(38/19). Suppose -r = -f - 2*a, a + v = f - 4. Does 13 divide f?
True
Let w(n) = -1. Let x(a) = -5*a + 1. Let d(y) = 2*w(y) - x(y). Let g be d(1). Let j = g + 43. Is 17 a factor of j?
False
Let n = 131 + -574. Let h = n - -960. Is h a multiple of 14?
False
Let u = 5827 - 1755. Is u a multiple of 185?
False
Suppose -151*o + 166*o = 116655. Is o a multiple of 101?
True
Suppose -151*t + 154*t - 5*j = 102311, 0 = -4*t + 3*j + 136422. Is 24 a factor of t?
False
Suppose 5544 = 2*f - 3*w, 2*w = -33 + 29. Is 39 a factor of f?
True
Let c = 7313 - 5632. Is 4 a factor of c?
False
Let s(b) = 61*b + 469. Does 8 divide s(7)?
True
Let y(a) = 275*a**2 + 37*a + 23. Is y(5) a multiple of 9?
True
Suppose -4*c - 9 = -5*m + 11, -4*m = c - 37. Let r(b) = b**2 + 7 - 4*b + 8 + 2*b + b. Does 12 divide r(m)?
False
Let t = 25 - 35. Let n(b) = 4*b + 65. Let f be n(t). Does 27 divide f/1*(-3 - 264/(-20))?
False
Let o = 7216 - 5127. Does 22 divide o?
False
Suppose -2*w + f = -3362, 0*f = 4*w + 3*f - 6714. Is (6/9)/(32/w) even?
False
Suppose 4*l + 4*d - 60 = 624, -4*l - 2*d + 694 = 0. Suppose -4*b - 2*h = -1046, 2*b + 3*h = -l + 709. Is b a multiple of 58?
False
Let d(l) = -70*l + 464. Is d(-14) a multiple of 76?
True
Let x(p) = -3*p + 1388. Let s be x(0). Suppose 466 = f - 2*g, 0*g = 3*f + 4*g - s. Is 29 a factor of f?
True
Is (-91)/(-377)*29 - (-197*61 + -1) a multiple of 13?
True
Let j(b) = 2*b**2 - 32*b + 15. Let f be j(16). Suppose 3*u = -f, 2*d - 166 = -0*d + 2*u. Let s = 103 + d. Does 50 divide s?
False
Suppose -w + f + 2*f - 129 = 0, -w + f - 131 = 0. Let z = -71 - w. Suppose -60*y - 78 = -z*y. Does 16 divide y?
False
Is 4 a factor of (2/1 - 668)/(90/(-120))?
True
Let s(a) = -847*a - 1436. Is s(-4) a multiple of 61?
True
Is 3 a factor of (-16)/(-224)*21 - (-15945)/6?
False
Suppose 126 + 218 = 4*r + 4*a, -5*r + 457 = -4*a. Let k = -86 + r. Suppose -x = x - 5*b - 96, k*x + 5*b = 144. Is x a multiple of 8?
True
Let z(p) = -4*p - 3. Let i be z(3). Suppose 87 = m - 3*f, -m - 3*f = -31 - 32. Let r = m - i. Does 10 divide r?
True
Let y be (-9464)/(-143) - (-6)/(-33). Suppose 3*t - t = -3*z + y, -5*t = -2*z + 63. Does 2 divide z?
True
Let f(c) = -c**2 - 5*c - 4. Let g be f(-6). Is g/((-200)/5196)*5 a multiple of 25?
False
Suppose 2*w - 24 = -2*w. Suppose -x + 2*x - w = 0. Is 9 a factor of 3/(-9) - (-56)/x?
True
Let h(q) = 2*q + 32. Let r be h(-15). Suppose -5*d - 301 = 3*w, 4*d + r*w = 3*d - 63. Is 12 a factor of 1/((((-1)/2)/1)/d)?
False
Suppose 2*j - 3*j - 5 = -w, w + 3*j = -7. Suppose 0 = c - 3*c - w, -4*c - 419 = -5*z. Does 10 divide z?
False
Let s = 28321 - 26392. Is 5 a factor of s?
False
Let x be 0*((-15)/6)/5. Suppose x = -g + 6 + 13. Suppose -l + 5*k + 40 + g = 0, 5*l = 2*k + 295. Is l a multiple of 6?
False
Suppose -22410 = 106*f - 112*f. Is f a multiple of 9?
True
Let k(h) = 2*h - 16. Let r(n) = n + 1. Let g(u) = -k(u) - 3*r(u). Let p be g(3). Does 17 divide 17*(2 + p/(6/(-9)))?
True
Let k = -6587 - -9827. Is 16 a factor of k?
False
Let f be ((-2 - -2)*(-4)/(-16))/(-2). Suppose -5*g = -f*k + 2*k - 2483, -2*g + 5*k = -970. Suppose 0*h = 3*h - g. Does 40 divide h?
False
Let k(g) = -234*g - 17. Let h be k(-1). Suppose -h - 311 = -3*f. Is f a multiple of 8?
True
Let v = 32040 + -16739. Is v a multiple of 11?
True
Let t(n) = 2*n**2 - 69*n - 785. Is 2 a factor of t(-36)?
False
Let j = 18126 + -9156. Does 11 divide j?
False
Let r(w) = 1477*w + 147. Does 21 divide r(3)?
True
Let t = -134 - -134. Suppose -u + 5 = 1, 2*v + 3*u - 418 = t. Suppose y = 37 + v. Is 20 a factor of y?
True
Let z(c) = -48*c - 781. Is 6 a factor of z(-39)?
False
Is 23 a factor of (-965740)/(-180) + (-2)/9 + (-6)/(-6)?
False
Does 16 divide ((-278)/5)/((-162)/11475) + 2/3?
False
Suppose -j + 5 = 2. Suppose -q - 111 = 8*g - 13*g, 19 = g + j*q. Let u = 3 + g. Is 24 a factor of u?
False
Let u be (34 - 2)/(-4) + 3. Let n(d) = -2*d**2 - 11*d - 7. Let p be n(u). Let g(y) = 19*y**2 + 6*y + 6. Is g(p) a multiple of 9?
False
Let c = 292 + -1739. Let g = c - -2192. Suppose 9*x = d + 6*x - 147, -5*d + 5*x + g = 0. Does 50 divide d?
True
Let v(c) = c**3 - 58*c**2 - 184*c + 275. Is 4 a factor of v(61)?
False
Let d(p) = -2 - 43 - 29 + 16*p. Is 32 a factor of d(29)?
False
Let w be (143/(-22))/((-1)/2). Suppose -14*s + w*s + 232 = 0. Is s a multiple of 12?
False
Let g = 2326 + 3679. Is g a multiple of 29?
False
Suppose -6*j = -10*j. Suppose 0*n + 3*n - 12 = j. Suppose -13 = -n*g + 51. Does 11 divide g?
False
Let w(u) = 15*u + 40. Let b = -3 + 14. Let a be w(b). Suppose -13*v - a = -14*v. Is 19 a factor of v?
False
Is 83 a factor of (-1)/(-2) - (-765)/(-170) - -9964?
True
Does 2 divide 650 + (-48)/(6 - -6)?
True
Suppose -3*h - 3010 = -g - 4*g, -2*g + 4*h = -1190. Suppose -7*s + 487 + g = 0. Is 39 a factor of s?
True
Let u(v) be the third derivative of -v**6/120 + 13*v**5/60 - 11*v**4/24 + v**3/6 + 180*v**2. Is u(9) a multiple of 53?
False
Let m = 15323 - 15228. Is m a multiple of 4?
False
Let l(f) = -10*f**2 + 22 - 2*f**3 - 50*f + 36*f - 12*f**2 - f**2. Does 78 divide l(-12)?
False
Suppose 4*c - 3*m - 22004 - 13988 = 0, 5*m - 9021 = -c. Is 4 a factor of c?
False
Let p = -1584 - -3021. Suppose -5*g + p = -3*v, -5*g + 9*g - 1148 = 4*v. Is 32 a factor of g?
True
Let l(v) = -2*v**2 + 36*v - 19. Let k be l(17). Is 30 a factor of (-3)/((-15)/(-1)) + 1353/k?
True
Let w(c) = c**3 + 8*c**2 + 6*c + 1. Let o be w(-7). Suppose 0 = h + 2626 - 2776. Let b = o + h. Is 20 a factor of b?
False
Suppose -35158 + 8653 = -19*m. Is 31 a factor of m?
True
Let v be (-8)/6 + (-30)/45. Let l be -1*((-16)/(v + 6) - 1). Let c(g) = 3*g**2 + g - 36. Is c(l) a multiple of 5?
False
Let j be (-5)/((1 - -5)/6) - -298. Suppose 0 = j*u - 292*u - 1138. Is u a multiple of 15?
False
Let a = -2355 - -1037. Let n = 2330 + a. Does 23 divide n?
True
Let q = -8 + 5. Let n(w) = -9*w**3 - 9*w**2 - 10*w + 5. Let l(y) = 8*y**3 + 8*y**2 + 9*y - 4. Let c(b) = -6*l(b) - 5*n(b). Is 13 a factor of c(q)?
True
Let a be ((-22)/(-4) + -2)*-14. Suppose -3*s - x + 4*x + 228 = 0, -4*x + 101 = s. Let g = a + s. Is g a multiple of 32?
True
Let j = 12 - 17. Suppose -10*f - 29 = -499. Let c = f - j. Is c a multiple of 13?
True
Let b be 36 + -29 + (-2 - 1). Suppose b*o + 3920 = 24*o. Is 28 a factor of o?
True
Let p be (-3)/(-6) - (45/(-2))/5. Suppose 4*z + f = 145, p = -z + 4*f + 37. Is 11 a factor of z?
False
Suppose -62*k = -1786774 + 1107777 - 1462731. Is 272 a factor of k?
True
Is 180 a factor of ((-180)/(-7))/((-77)/(-3773))?
True
Let h(p) = 17*p**2 + 11*p - 31. Let v(r) = 4*r + 75. Let c be v(-18). Let q(f) = 6*f**2 + 4*f - 10. Let b(j) = c*h(j) - 8*q(j). Is b(4) a multiple of 3?
True
Let z(s) = -27*s + 11. Let o(i) = 28*i - 10. Let n(y) = -4*o(y) - 5*z(y). Let c be n(-2). Let t = c + 82. Is 9 a factor of t?
False
Suppose 76*b = -39*b + 3761420. Is b a multiple of 37?
True
Let z = 206 + -209. Does 26 divide ((78/4)/z)/(7/(-196))?
True
Let u = 10598 + -9306. Is 10 a factor of u?
False
Let w(d) = -d**3 - 3*d**2 + 3*d - 7. Let h be w(3). Let n = 17 + h. Let g = 101 + n. Is g a multiple of 6?
True
Suppose 2*i = j, -3*j + 4 = -4*i - 6. Let g be (-6)/j + 4784/40. Suppose -276 = -2*l + 3*s, -3*l + g = -s - 302. Is 34 a factor of l?
False
Let u(m) = -m**3 + 11*m**2 + 12*m + 4. Let j be u(12). Suppose 304 = 5*v + i, i = v + j*i - 72. Suppose -v = -2*z + 2*a - 3*a, 5*z - 3*a = 172. Does 4 divide z?
True
Is 12 a factor of 320*(3366/45 + -7)?
True
Let i = -235 - -245. Does 53 divide (-4)/i + (-147798)/(-270)?
False
Suppose 0 = -22*r + 7*r + 420. Is -108*(5/(-2) + r/(-56)) a multiple of 12?
True
Let o = 8238 + -126. Does 8 divide o?
True
Suppose -4*y - 3068 = -4*b, -55 + 63 = 2*y. Is 7 a factor of b?
False
Let t(z) = z**2 + 8*z + 9. Let q be t(-7). Let g(c) = c**3 - 2*c**2 + 8*c - 2.