 0 = -2*f + 7 + 3. Let o be (96/(-40))/3*(1 - 26). Suppose f = -w + o. Is w a multiple of 10?
False
Let o(z) = 3*z**3 + 5*z**2 - 17*z + 29. Let x(s) = -s**3 - 2*s**2 + 6*s - 10. Let i(a) = 6*o(a) + 17*x(a). Let p be i(4). Let f = p - -5. Is f a multiple of 4?
False
Suppose 4*m + 2*p = 0, -5*m + 3*p + 14 = -8. Suppose 0 = -2*d + 4*d - m*y - 124, -2*d = -3*y - 123. Is 9 a factor of d?
True
Suppose -4*l + 2*z + 562 - 90 = 0, 224 = 2*l + 2*z. Is l a multiple of 2?
True
Let o = -30 - -32. Let u be (4 - 38/4)*o. Let k = 21 - u. Does 7 divide k?
False
Let d(s) = -s**2 + s + 12. Let l be d(-3). Let c(b) = -b**2 - 9*b - 2. Let r be c(-6). Suppose y - r - 12 = l. Does 10 divide y?
False
Let t be (-3 - 20/(-8))*-42. Does 4 divide ((-54)/t)/((-6)/28)?
True
Suppose -35 - 277 = -3*z. Is 13 a factor of z?
True
Suppose 20 = -6*t - 16. Let w = t + 37. Is 12 a factor of w?
False
Let v be 4 + (0 + 26 - -3). Suppose -1 + v = -b. Let z = 24 - b. Is z a multiple of 14?
True
Suppose 0 = -5*a - 4*d + 12, 3 = -4*a - 3*d + 12. Suppose a = 8*l + 6 + 26. Is (-30)/l*(-390)/(-25) a multiple of 28?
False
Let c = 13 + -10. Suppose q + q = -c*l + 11, -l + 1 = 0. Is 11 a factor of (-44)/48*-3*q?
True
Suppose 4*p = -3*x - 95, -5*x + x = -5*p - 80. Let o = p - -83. Is o a multiple of 21?
True
Does 48 divide (-2)/9 + (3008/9 - -2)?
True
Suppose 0 = 2*n - 7 + 21. Is (-14)/(-2)*(-60)/n a multiple of 8?
False
Let l(y) be the first derivative of y**4/4 - 11*y**3/3 - 5*y**2/2 - 2*y + 6. Does 20 divide l(12)?
False
Suppose 1064 = 5*l - 3*l + 2*s, 0 = l - 2*s - 544. Is l a multiple of 4?
True
Let o = 19 + 101. Is o a multiple of 20?
True
Suppose -8*y = -23*y + 5220. Is 29 a factor of y?
True
Let n(c) = 2*c**2 + 4*c + 3. Let r be n(-2). Suppose -29 = -d + 3*o, -r*o + 11 - 63 = -2*d. Is d a multiple of 4?
False
Let u be (16/10)/(2/5). Let v be (u/(-10))/((-5)/(-6950)). Is 1/(-3) - v/12 a multiple of 23?
True
Let n = 46 + -21. Is (30/n)/((-9)/30) - -116 a multiple of 56?
True
Let r(s) = 303*s**2 - 10*s + 7. Does 50 divide r(1)?
True
Suppose 2*j = 2*a + 6, -3*a = -6*a + 2*j - 14. Let t(c) = -11*c - 4*c**2 + 67*c**3 - 66*c**3 - 12 + 11*c**2. Does 9 divide t(a)?
False
Let j(p) = -2*p - p**2 + 3 + p + 6*p. Let v be j(4). Suppose v + 27 = x. Is x a multiple of 13?
False
Suppose 58*w - 21700 - 25744 = 0. Is w a multiple of 6?
False
Let q = 41 - 41. Let v = 64 + q. Is v a multiple of 15?
False
Let n = 1129 - 751. Does 14 divide n?
True
Let h = 142 + 2306. Is h a multiple of 21?
False
Let m(i) = i**3 + 6*i**2 + 9*i + 12. Is m(-3) a multiple of 6?
True
Let a(o) = 2*o**2 - 6*o + 9. Suppose 0 = -w - w + 10. Suppose 15 = 2*n + 7*p - 2*p, 5*p - 30 = -w*n. Is 5 a factor of a(n)?
False
Suppose -3*g = -2*t + 2, 5*t - 2 = -2*g + 3. Suppose -t = -q + 3*o - 12, 4*o - 40 = -5*q. Suppose -x + 5*x - 3*h = 356, -q*h = 3*x - 292. Does 19 divide x?
False
Suppose -2*z - 128 = -6*z. Let n = z - 12. Is 5 a factor of n?
True
Suppose 3*k = -2*f + 19, 37 = 5*f - 2*k - 20. Let p(m) = -m + 15. Let h be p(f). Does 11 divide (1 - h) + 56 + 2?
True
Is -1*(2 - -4) - -2166 a multiple of 45?
True
Let u(z) = z**2 - 24*z - 36. Is u(28) a multiple of 15?
False
Let d(g) = -g**2 + 12*g + 2. Let x = -6 + 14. Let v be d(x). Suppose -v = -7*f + 5*f. Is f a multiple of 17?
True
Does 19 divide ((-138)/(-9))/((-10)/(-165))?
False
Let k(u) be the third derivative of 13*u**4/8 - u**3/2 + 10*u**2. Does 25 divide k(2)?
True
Let v(m) = -m**2 + m + 16. Let w be v(0). Let h = w - 2. Suppose 3*n - h = 13. Is n a multiple of 3?
True
Let u(p) be the third derivative of -p**6/60 - p**5/30 - p**4/24 + 3*p**2. Let t be u(-1). Does 10 divide -30*((-3)/t + 2)?
True
Does 51 divide 222 + (-3)/2*2?
False
Suppose -7 + 1 = -4*c - 2*j, -5*j + 15 = 0. Is 11 a factor of (c/2)/(-1) + (-3 - -80)?
True
Does 32 divide ((-8832)/207)/(2/(-3))?
True
Let n(j) = -j**2 + 5*j - 3. Let z be n(5). Is 28 a factor of z/(42/(-608)) - 12/28?
False
Let o be -2*4/((-16)/6). Let p(j) = -8*j**3 + 7*j**2 - 5*j + 3. Let m(a) = -7*a**3 + 6*a**2 - 5*a + 3. Let z(x) = -7*m(x) + 6*p(x). Does 13 divide z(o)?
True
Suppose -5*t = -7*t - 3*i + 269, 0 = t + 5*i - 131. Does 8 divide t?
True
Does 14 divide (-196)/5*(-950)/20?
True
Let l = 211 + -112. Let n = l + 33. Let c = n + -77. Is 11 a factor of c?
True
Is 6 a factor of 0 + (-157)/(-2) + 11/(-22)?
True
Let b = -138 + 204. Let y = 312 - b. Does 40 divide y?
False
Let v(h) = -14*h - 2. Suppose 8 = 4*n - 4. Suppose n*j + 6 = j. Is 10 a factor of v(j)?
True
Suppose -2*z - q + 527 = 0, -4*q = 3*z - 9*q - 758. Does 29 divide z?
True
Let o = 948 - 607. Does 35 divide o?
False
Let p = 615 + -396. Suppose -2*t + n + p = 3*t, -12 = 3*n. Does 7 divide t?
False
Let g(d) = 17*d**3 + 2*d**2 + 3*d - 12. Is g(2) a multiple of 23?
True
Let h be ((-3630)/(-20))/((-6)/(-4) - 1). Let u = h + -185. Is u a multiple of 15?
False
Let w be (210/(-168))/((-1)/4). Suppose -2*i - 293 = -3*g - i, -460 = -w*g - 4*i. Is g a multiple of 35?
False
Let y(h) = 6*h - 34. Let n(t) = 2*t - 11. Let z(r) = 7*n(r) - 2*y(r). Let l be z(11). Suppose -5*o + 183 = l. Is o a multiple of 11?
False
Let t = -23 - -43. Is 2 a factor of t?
True
Suppose 3*h = -4*f - 16, 3*f = -4*h - 15 + 3. Suppose -2*d = 3*d - 5*w - 1165, h = -3*w - 15. Is 19 a factor of d?
True
Let a(y) = -y**3 + 3*y**2 + 7*y - 5. Let l be a(4). Suppose 4*w + 72 = l*w. Is 6 a factor of w?
True
Let j be (-23)/((-1)/2*2). Let d = j + -23. Suppose -u - 2*w + 3 = -d, 4*w = 5*u - 85. Is u a multiple of 13?
True
Suppose -13*r = -1283 + 152. Is r a multiple of 3?
True
Let r(c) = 4*c - 55. Let l be r(15). Suppose -3*j - 44 = -113. Suppose -l*a + 108 = j. Is a a multiple of 17?
True
Suppose 0 = s + 2*y + 3 + 2, 15 = -3*s + 3*y. Let p = s + 74. Does 15 divide p?
False
Let a be -1*(-5 + 0) - 1. Suppose -a*k + 1140 = k. Let n = k - 160. Does 30 divide n?
False
Suppose -5*n + x + 2116 = 0, -4*n + 1708 = 3*x - 0*x. Is n a multiple of 34?
False
Let d be ((-13)/2)/((-2)/4). Let m = d - 4. Suppose 4*r - 53 = -m. Is r a multiple of 11?
True
Let k be (-4)/((-1)/(-3)*3/(-4)). Suppose 46 = p - 3*i, i + 62 - k = p. Is p a multiple of 6?
False
Let f be (-4)/18 + (-20)/(-90). Suppose k = 1 + 7. Suppose f = -3*m - 4*y + 71, 0 = -3*y + y - k. Is 16 a factor of m?
False
Suppose -7*z + 3549 = -112. Suppose -3*r + 4*w = -z + 21, 0 = 4*r - 3*w - 681. Does 13 divide r?
False
Suppose -2*v - 12 = -2*q, 0*q + 4*q - v - 30 = 0. Let g(c) = c**3 - 7*c**2 + 14*c + 7. Is g(q) a multiple of 25?
False
Suppose 0 = 5*j + 2*p - 235, 16*j + 5*p = 13*j + 122. Does 7 divide j?
True
Let z(a) = -19*a - 3. Suppose -2*j + 7*j + 25 = 0. Let g be z(j). Suppose 0 = n - 5*n + g. Does 5 divide n?
False
Suppose 75 = -4*h - 4*r - r, -18 = 2*h - 4*r. Let i(u) = u**3 + 16*u**2 + 15*u + 22. Is 11 a factor of i(h)?
True
Let t(v) = -2*v**3 + 12*v**2 - 5*v - 3. Let n be t(5). Suppose n = -q + 3*q. Is 11 a factor of q?
True
Suppose 0 = 6*i - 3*i - 9. Let h = -10 + i. Let y(d) = -d**3 - 5*d**2 + 5*d - 9. Is 27 a factor of y(h)?
True
Let h = 2501 - 1679. Is 12 a factor of h?
False
Let v(w) = -116*w + 3. Let r = -35 - -33. Is v(r) a multiple of 36?
False
Suppose -x = -217 - 563. Suppose 4*n - x = -2*n. Is n a multiple of 12?
False
Suppose -2*h + 1552 = 4*d, 0*d - 3*d + 2*h = -1164. Does 4 divide d?
True
Let m = 26 + -25. Let f be (3/m)/(-3) - -56. Let i = -39 + f. Does 4 divide i?
True
Let k be 6/(-4)*(-120)/36. Suppose 5*y - 732 - 163 = -k*h, 5*y - 877 = h. Does 16 divide y?
True
Suppose -3*j + 3*b + 18 = 0, 1 = -0*b + b. Suppose -3*y - j = -19. Suppose 2*k = u - 4*u + 35, -y*u + 2*k = -56. Is 7 a factor of u?
False
Suppose -11*g = -12*g. Suppose g = 3*u - 44 - 19. Is 18 a factor of u?
False
Let z = 39 - 17. Suppose -6*y - h + z = -y, 2*y - 5*h = 25. Does 8 divide (-4)/(y/((-75)/2))?
False
Let t = 94 - 86. Let g(x) = 4*x**2 - 11*x - 32. Does 17 divide g(t)?
True
Let i be (-4)/12 - (-13)/3. Suppose 35 = i*l - 45. Is 4 a factor of l?
True
Let q be (1 - 29)*(-15)/6. Let x be ((-12)/(-10))/(21/q). Does 6 divide ((-195)/10)/((-3)/x)?
False
Let r = 84 + -80. Suppose 0*c - 4*y = -r*c + 224, -5*c - 3*y + 264 = 0. Does 9 divide c?
True
Let x(a) = -4*a - 10. Let d(j) = j + 3. Let u(m) = 7*d(m) + 2*x(m). Let y be u(-4). Suppose y*q + 142 = 487. Does 23 divide q?
True
Suppose -3*n - n + 116 = 0