 n = -367 - -920. Does 79 divide n?
True
Let c be (6 + 1)*(64 + 4). Suppose 4*a = -g + 974, -5*g - c = a - 3*a. Is 27 a factor of a?
True
Suppose q = 4*h - 4*q - 23, h - 11 = 3*q. Suppose -h*v + v = 2*j + 226, 4*v - 350 = 3*j. Let u = -60 - j. Is u a multiple of 12?
False
Suppose 109 = 2*j - 5*n, 250 = -3*j + 8*j - 5*n. Let g be ((-14)/8)/(3/(-156)). Let z = g + j. Does 32 divide z?
False
Let s = 323 - 229. Suppose 4*t + 6*p - p - 375 = 0, t - s = -p. Is t a multiple of 18?
False
Suppose 0 = 19*c - 2630 + 749. Does 12 divide c?
False
Let j = 30 + -24. Suppose -30 = k - j*k. Suppose p = -k*p + 147. Is p a multiple of 7?
True
Let w(q) = q**2 + q**2 - 5*q**2 + 10 + 11*q + 4*q**2. Does 3 divide w(-11)?
False
Let n(g) = -2*g**3 + 3*g**2 + 3*g + 2. Let f be n(-2). Let w = f + 38. Is w a multiple of 40?
False
Suppose 0 = -2*p - 0*p - w + 5157, 3*p = -w + 7737. Is p a multiple of 129?
True
Let m = 3 - 9. Let o(c) = 11*c. Let r(t) = 11*t - 1. Let d(y) = m*o(y) + 7*r(y). Is d(7) a multiple of 26?
False
Suppose 0 = -4*r + 5*h + 3289, -40*r + h = -42*r + 1627. Is r a multiple of 5?
False
Let o be 0 + 0 + 1 + 2. Suppose 6*x - o*u - 147 = 3*x, x + 5*u = 43. Suppose 122 = 5*y - 2*c - 30, -y - 4*c = -x. Is y a multiple of 8?
True
Suppose 1350 + 6660 = 45*s. Is s a multiple of 89?
True
Suppose -2*z + 3*u + u + 16 = 0, 4*z = -5*u - 33. Let v = z + 2. Suppose v*a + 3*a = 126. Is a a multiple of 14?
True
Let w = -16 + 32. Let t = 226 - w. Is t a multiple of 15?
True
Let k(c) = -c**3 - 11*c**2 + 13*c + 4. Let n be k(-12). Let a(t) = -2*t - 5. Is a(n) a multiple of 5?
False
Let j(z) = 3*z**2 - z - 11. Let l(c) = -16*c**2 + 6*c + 56. Let p(i) = 11*j(i) + 2*l(i). Is p(9) a multiple of 16?
False
Let r(v) = v - 3 - 6 - v**2 + 2 + 0*v**2. Let d be r(4). Is 12 a factor of (d/(-2))/((-8)/(-16))?
False
Let i = 46 - 50. Does 9 divide 0 - 10/((-6)/i - 2)?
False
Let y(x) = 52*x - 17. Let z(b) = 17*b - 6. Let s(u) = 4*y(u) - 11*z(u). Let w be s(3). Let o = -42 + w. Is o a multiple of 5?
False
Suppose -3*n - 5*k + 2368 = 0, -15*n - 2353 = -18*n - 2*k. Is n a multiple of 11?
True
Let r(b) = -3*b**2 + 5*b + 7. Let s(f) = f**2 - 3*f - 3. Let i(x) = -3*r(x) - 5*s(x). Let c be i(5). Let j = c - 23. Is j a multiple of 12?
False
Suppose -4*m = -4*u - 48, 0 = m + 1 + 3. Let q(y) = y**2 + 17*y - 20. Let n be q(u). Does 6 divide 2/(-3) - 456/n?
True
Let h be ((-12)/9)/(3*4/(-234)). Suppose h = 30*g - 29*g. Is 13 a factor of g?
True
Let n(g) = 11*g + 1. Suppose -5*x + 2*x = -9. Let z(f) = -54*f - 6. Let q(m) = x*z(m) + 14*n(m). Does 9 divide q(-5)?
True
Let f = -4 - -2. Let c be (144/(-27))/(f/48). Suppose -2*r - r = z - 39, 4*z = -5*r + c. Does 9 divide z?
True
Suppose 2*v + 0*v = 4*g - 6, 0 = 5*g - 5*v. Suppose g = -w - 3. Does 23 divide (-1)/(-2) + (-291)/w?
False
Let x(b) be the first derivative of -21*b**4/2 - 2*b**3/3 - b**2/2 - 6. Does 6 divide x(-1)?
False
Suppose -7 = -n + 3. Is 4/n + (1 - 892/(-20)) a multiple of 36?
False
Let l(w) = 3*w**2 + 32*w + 11. Let o(z) = -4*z**2 - 48*z - 16. Let c(g) = -7*l(g) - 5*o(g). Does 21 divide c(10)?
True
Let v = 1444 + -618. Is 39 a factor of v?
False
Let b be (7/5 + -1)*(-1 - -6). Is 92/(-8)*-16 - b a multiple of 26?
True
Let h = -10 + 8. Let r(k) = -k**3 - k**2 - k. Let n be r(h). Does 3 divide 1/(-3) + 110/n?
True
Suppose -w = -5*x - 655, 5*w + 44*x - 3425 = 39*x. Is 9 a factor of w?
False
Suppose 30 = 9*n - 14*n. Is (-77)/n - (-2)/12 a multiple of 4?
False
Let q(u) = -u**3 + 9*u**2 + 34*u - 11. Is q(11) a multiple of 12?
False
Let r = -3810 - -6228. Suppose -5*h + r = 8*h. Is 21 a factor of h?
False
Suppose 0 = -2*y - 5*t - 9 - 24, 5 = -t. Does 15 divide y*2*60/(-16)?
True
Let s = 10 + 19. Suppose 30 = -26*i + s*i. Is 4 a factor of i?
False
Let m = -100 - 26. Does 7 divide ((-44)/(-6))/((-12)/m)?
True
Suppose 3*j + 4*p - 259 = 0, 0*j + 4*j - p = 320. Let a = -54 + j. Is 5 a factor of a?
False
Let y = 403 - 212. Let m = -54 + y. Does 39 divide m?
False
Is (-2 + (-819)/2)/((-17)/34) a multiple of 5?
False
Let s(z) be the second derivative of 26*z**3/3 + 7*z**2/2 + 13*z. Does 42 divide s(3)?
False
Suppose -i + 5*w - 30 = -4*i, 5*i - 3*w = 50. Suppose 2 = 3*z - i. Suppose z*v - 1 = 7. Is v even?
True
Let i(u) = -u + 18. Let g be i(18). Suppose g = -2*p + 50 + 6. Is 9 a factor of p?
False
Let i = 232 + -381. Let t = i - -300. Is 12 a factor of t?
False
Suppose 20*v + 1110 = 22*v. Suppose -3*t = t - 3*d - v, d - 130 = -t. Is t a multiple of 27?
True
Let w(x) = 9*x**2 + 6*x + 20. Is 25 a factor of w(-6)?
False
Let l(n) = n + 47. Let b(q) = 3*q + 95. Let i(o) = -2*b(o) + 5*l(o). Is 29 a factor of i(-13)?
True
Let a be 18/((63/(-6))/7). Let i = -10 - a. Suppose i*u = 5*u - 36. Is 3 a factor of u?
True
Suppose -9 = -3*c - 3, -4*z - 3*c = 234. Let n = -6 + 5. Is 2/4*n*z a multiple of 15?
True
Let k(b) = -b**2 - 10*b - 30. Let q be k(-7). Is 1 - 219*2/18*q a multiple of 55?
True
Suppose 3*x + 4*f = 20, x - f = -7 + 2. Suppose x*r = -5*r + 425. Does 58 divide r?
False
Let x(w) = 3*w**2 - 3*w + 5. Let o be x(2). Let d(z) = z**3 - 11*z**2 + z + 12. Is 9 a factor of d(o)?
False
Suppose 14*j + 34515 = 53*j. Is j a multiple of 5?
True
Suppose -2*i - 3*i - 210 = -5*w, w - 42 = 3*i. Let q be 8/(-8)*(0 - 0)*-1. Suppose g - 4 = q, -3*k + 5*k - w = 5*g. Is k a multiple of 22?
False
Suppose k = -5*p + 50, -5*p + 21 = -p - 3*k. Suppose -4*j + 3*j = p. Let a = j - -33. Is a a multiple of 6?
True
Let m(v) = 4*v**3 + 11*v**2 + 2*v + 2. Let x(y) = 5*y**3 + 12*y**2 + y + 1. Let j(l) = -6*m(l) + 5*x(l). Is 17 a factor of j(8)?
False
Let d be 25/3 - 28/(-42). Is 13 a factor of (3/d)/(1/39)?
True
Let k = 65 + 43. Does 9 divide k?
True
Suppose -1 - 3 = a. Does 14 divide (a - -4)/1 + 42?
True
Let k be 3 + (-7)/((-7)/(-10)). Let j = k + -14. Is 3 a factor of (-8)/40 + j/(-5)?
False
Let t(b) = 290*b**2 - 5*b + 6. Let c be t(-6). Is (-6)/8 - c/(-144) a multiple of 6?
True
Let d(s) = 120*s**2 + 3*s - 3. Let h be d(1). Let x = -123 - -82. Let i = x + h. Is i a multiple of 20?
False
Suppose 120*k - 116*k - 8 = 0. Let m(f) be the first derivative of 5*f**4/4 - 4*f**3/3 + f**2/2 + 2*f - 1. Is 6 a factor of m(k)?
False
Suppose -51*l = -25*l - 21242. Is 45 a factor of l?
False
Suppose -3*a = -a + 4*v - 24, 2*v - 28 = -5*a. Suppose 4*k + 5*u = 2*k + 158, a*k + 4*u - 292 = 0. Is 23 a factor of k?
True
Suppose 11*g - 19*g = 16. Suppose 3*m + 2 + 1 = 0. Is 20 a factor of (-36)/g + (1 - m)?
True
Suppose -3*a = 5*s - 17, s + 2*s = -2*a + 10. Let q be 2/s - 10/(-4). Suppose q*n + 3 = -3*b, -4*b = b - n - 19. Is b even?
False
Let j(n) = -51*n + 43. Is 25 a factor of j(-12)?
False
Let b be 6/39 - ((-13176)/39 + -2). Suppose 5*l = l + b. Does 13 divide l?
False
Let c(o) = o**3 + 17*o**2 + 15*o - 12. Let u be c(-16). Let i = u - -116. Does 30 divide i?
True
Suppose 3115*c - 3129*c = -1190. Is c a multiple of 11?
False
Suppose -20*m - 34 = -22*m. Suppose -71 = -3*o - m. Is 2 a factor of o?
True
Let f = 14 - -127. Suppose -2*w = -0 - 2, u + 3*w = f. Suppose 9*q - 5*k = 4*q + 165, 5*q + 4*k = u. Does 15 divide q?
True
Suppose -x = -2931 - 458. Is 32 a factor of x?
False
Let u = -11 + 16. Suppose -w - 2*w + 165 = 3*s, -u*s + 63 = w. Suppose 0 = 2*b - 43 - w. Is 13 a factor of b?
False
Suppose -48 = -61*l + 60*l. Is l a multiple of 17?
False
Suppose 30*s + 328 = 4*q + 28*s, 3*q - 257 = -4*s. Is q a multiple of 24?
False
Let w(x) = x + 3. Let y(i) = 2*i + 5. Let g(q) = -11*w(q) + 6*y(q). Let t be g(8). Suppose -595 = -0*p - t*p. Is p a multiple of 26?
False
Let g be (-6)/2*(2 - (-1479)/(-9)). Suppose 5*s - g - 53 = 0. Is s a multiple of 27?
True
Let d(n) = -101*n**3 + n**2 - n - 3. Is 20 a factor of d(-1)?
True
Let l be 3*10/4*-2. Suppose 2*u - 7 = -19. Let g = u - l. Is 7 a factor of g?
False
Let h(q) = q**2 - 5*q + 5. Let l be h(5). Suppose 355 = 3*u - d, -2*u + l*d = -7*u + 625. Does 25 divide u/(-16)*(-20)/3?
True
Let m(q) = -7*q - 1 + 5 + q**2 - 8*q - 3. Does 36 divide m(19)?
False
Suppose 0 = l + 2, -3*p - 5*l - 18 = -2. Let d be (-2)/(-4)*p + 1. Suppose 2*y = -2*x + 52, 96 = 4*x + 2*y - d*y. Does 10 divide x?
False
Let m(g) be the second derivative of 7/12*g**4 + 0 + 5/2*g**2 + 3*g - 1/2*g**3 + 1/20*g**5. Is 19 a factor of m(-4)?
False
Suppose 3*j = -j - 28. Is 19 a factor of (-1076)/(-28