e -4*i = i - 10. Suppose 63 = -0*f + i*f - 3*p, l*p = -3*f + 127. Is f a multiple of 5?
False
Suppose 0 = -2*t - 11 - 17. Let x be (-22)/t + 30/70. Suppose f - 59 = -5*z, -z + 0*z = x*f - 100. Is f a multiple of 7?
True
Let b = -205 + 208. Let s(w) = 3*w**2 + 11*w - 7. Is s(b) a multiple of 27?
False
Let r = 90901 - 63208. Does 80 divide r?
False
Let z(y) = -y**3 - y**2 + y + 1. Let v(q) = 4*q**3 - 40*q**2 - 27*q - 17. Let k(j) = -v(j) - 2*z(j). Is k(21) a multiple of 27?
True
Suppose -5*q + 4*u + 2772 = -25182, 3*u = 5*q - 27953. Suppose q = -147*f + 157*f. Is 8 a factor of f?
False
Suppose -91*j = -114*j + 46460. Is 5 a factor of j?
True
Let k be 6*(-4)/(-4)*3/2. Suppose 0 = 19*m - k*m - 120. Is 6 a factor of m?
True
Suppose 5 = y - 0. Suppose 200 = y*h - 10*h. Is h/30*(2 + -128) a multiple of 14?
True
Suppose 564 = 11*g - 602. Suppose 18*y + g = 2*p + 14*y, 0 = 3*p - 2*y - 147. Is 7 a factor of p?
False
Let w = -489 + 489. Let f(z) = -z**2 - 3*z + 43. Is 6 a factor of f(w)?
False
Suppose 0 = 23*r - 17*r - 5454. Let h = r - -108. Does 49 divide h?
False
Let y be (-18)/72 + (-6)/8 - -671. Suppose 4*a + 119 - y = -3*s, -a = -5*s - 155. Is 35 a factor of a?
True
Suppose -4*b = -11 - 9, 2*y + 4*b - 9260 = 0. Is 20 a factor of y?
True
Let f(a) = 269*a**2 - 24*a - 75. Is f(-3) a multiple of 62?
True
Let t = 239 + -237. Suppose t*f - 2880 = -22*f. Is f a multiple of 24?
True
Let q be 0 - 0/(-1)*(2 + -1). Suppose 11*s - 37 + 422 = q. Does 6 divide (60/s)/(1/(-21))?
True
Let n(w) = -w**2 + 2. Let c(z) = 73*z**2 + z + 10. Let x(k) = c(k) - 4*n(k). Is 13 a factor of x(-1)?
True
Let q = -18 - 881. Let r = q - -1059. Is r a multiple of 4?
True
Let j(u) = 76*u**2 + 9*u - 7. Suppose 0 = -15*i + 43 - 28. Is j(i) a multiple of 14?
False
Suppose -36 + 20 = -4*i. Suppose 0 = i*m - 31 + 539. Let p = 193 + m. Is p a multiple of 6?
True
Suppose 4*v + i = 11350, -3*v + 5*i = -4383 - 4141. Suppose 6*b + 1884 = 8*b + 2*p, 3*b - p - v = 0. Is b a multiple of 21?
True
Let a(k) = -2*k - 11. Let c be a(0). Let s(d) = d**2 - 5*d - 21. Let h be s(c). Let l = 251 - h. Does 8 divide l?
True
Let y be 6/9 - 29/3. Let l be 208 - (-5 - y/3). Suppose -17*w = -15*w - l. Is 16 a factor of w?
False
Is ((-109)/3)/((-11)/165) a multiple of 109?
True
Let b = -2547 + 3162. Is 41 a factor of b?
True
Let f(h) = 17*h**2 + 151*h - 21. Let k be f(-9). Let q(s) = s - 1. Let u(d) = -8*d + 6. Let o(m) = 4*q(m) + 2*u(m). Is 11 a factor of o(k)?
True
Let f(n) = -37. Let t(h) = h - 224. Let d(b) = 34*f(b) - 6*t(b). Does 10 divide d(11)?
True
Suppose 13*o + 9403 - 13751 = 13293. Is 28 a factor of o?
False
Does 185 divide (-24)/((3/(-56))/(53280/504))?
True
Let c = 1974 - 2779. Let p = c + 1421. Does 77 divide p?
True
Let u(b) be the first derivative of -b**3/3 - 4*b**2 + 735*b + 7. Let w be u(0). Suppose 0 = -2*h - h + w. Does 41 divide h?
False
Let n be 42 + (-9)/((-54)/(-24)). Suppose -n - 176 = 2*q. Let w = -44 - q. Is w a multiple of 7?
True
Let c be (-64)/(-2) + 32/4. Is ((-2520)/300)/((-2)/c) a multiple of 28?
True
Suppose 3*w + 9 = 3*j, -w + 16 = -5*w + 5*j. Does 5 divide (w + -35)*(-35)/14?
True
Is 2*(4 + 543*(-8)/(-48)) a multiple of 60?
False
Is 19 a factor of (39 - -2355) + -9 + 4 + -1?
False
Let f(d) = 9*d + 90. Let s be f(-10). Suppose s = 19*p - 35*p + 2880. Does 8 divide p?
False
Let u(o) = -o**2 - 20*o - 38. Let d be (-56)/(-1) - (3 + -1). Suppose r + d = -0*q - 4*q, -5*r - 10 = 0. Does 48 divide u(q)?
False
Suppose -b + 3 = -3*h + 8*h, -4*h - 20 = -2*b. Suppose 6 = d - b. Suppose 8*w - d = 26. Is 5 a factor of w?
True
Suppose 0 = 4*j - 4 + 12, -4*i + 57736 = -2*j. Is 10 a factor of i?
False
Suppose 4*a - 84150 = 152*j - 150*j, -3*a - j + 63115 = 0. Is 134 a factor of a?
True
Let v(s) = 151*s - 705. Is 37 a factor of v(13)?
True
Suppose 5*k - 218 = 3*j - 895, -2*k = -5*j + 1122. Is 56 a factor of j?
True
Suppose 0 = f + 7 - 4, 4*f + 420 = -2*c. Let i = c - -404. Does 13 divide i?
False
Suppose -67*l - 58*l - 2*l + 221996 = 0. Is 34 a factor of l?
False
Let n(z) = z**2 - 2*z - 4. Suppose 0 = -5*f - 9 - 1. Let p be n(f). Suppose 2*k - 300 = -2*k - p*t, 0 = -3*k + 2*t + 215. Is k a multiple of 18?
False
Suppose 5*r - 23 + 3 = 0. Suppose 0 = -r*f + 3*n + 568, -3*f + 425 = -4*n + 2*n. Suppose -c + v + f = c, -209 = -3*c + v. Does 35 divide c?
True
Suppose 61*l - 65*l - 2*x = -35198, -35183 = -4*l + 3*x. Does 105 divide l?
False
Is 63 a factor of (-7943)/(-6) + 190/(-228)?
True
Suppose 0 = 5*f + o - 161301, -20*o = 3*f - 16*o - 96801. Does 136 divide f?
False
Is -11 + (10 - 1) - -5666 a multiple of 96?
True
Let k(x) = x**3 - 3*x**2 - 40*x + 10. Let u be k(8). Does 46 divide ((-152)/u)/(-2 + (-27)/(-15))?
False
Let m = 319 + -121. Suppose 79 = z - m. Does 23 divide z?
False
Let a(j) = 5074*j**2 - 82*j + 84. Is 12 a factor of a(1)?
True
Suppose -24*x + 256 = -28*x. Let u = 519 - x. Let o = u - 403. Is 36 a factor of o?
True
Let r(g) = -6*g**2 + 161*g - 21. Is r(19) a multiple of 14?
False
Suppose -39*n - 175 = -46*n. Let j be 5735/n - (-3)/5. Suppose -j = -2*g + 2*u, -132 + 32 = -g - 4*u. Is g a multiple of 30?
False
Is (-9256)/(-16) + (-55)/22 a multiple of 2?
True
Let w(p) = 12*p - 125. Let x(q) = -q + 2. Let o(y) = 2*w(y) - 18*x(y). Is o(10) a multiple of 4?
False
Let z(o) = 98*o + 211. Let q be z(-2). Let h(s) = s + 4. Let n be h(-4). Suppose -5*k + 3*c + 400 = -n*c, 3*c + q = 0. Is k a multiple of 11?
True
Suppose -11*x + 1858 = 5939. Let r = 595 + x. Is 59 a factor of r?
False
Suppose 22758 = 2*w - q, -11*w + 34133 = -8*w - q. Is 7 a factor of w?
True
Does 62 divide (2/(-19) + 51530/380)*26?
False
Let x be 12/(-10)*2*3025/(-20). Suppose -t + 0*t - 3*p + x = 0, -p = 2*t - 716. Is t a multiple of 75?
False
Let h(b) = -2*b**3 - 21*b**2 - 8*b - 32. Let g be h(-9). Let k = -4 + -83. Let f = k - g. Does 9 divide f?
False
Let u(z) be the third derivative of -z**6/120 - 7*z**5/30 + 13*z**4/6 + 14*z**3/3 + 18*z**2 + z. Is 3 a factor of u(-17)?
False
Suppose 13*b + 2796 = 16*b. Suppose -698 = -4*n + n + 2*p, 3*p + b = 4*n. Is 10 a factor of n?
True
Let i(m) = -3*m**3 - 9*m**2 + 15*m + 89. Let h(n) = n**3 - n**2 - 3*n - 2. Let l(s) = 2*h(s) + i(s). Is l(-13) a multiple of 9?
True
Let x(j) = -2*j**3 - 2*j**2 - 2*j - 2. Let z be x(-3). Suppose 4*u = -5*l + 16, 16*u - l = 14*u + 8. Suppose h - z + u = 0. Is 14 a factor of h?
False
Let j = 5918 - 4571. Is j a multiple of 3?
True
Suppose -23*v + 49*v = 19994. Is v a multiple of 9?
False
Let w(u) = 7*u - 43. Let d be w(6). Let s be (-3)/(-2)*(-16)/(-4)*d. Is 9 a factor of 5/(7 - -8) - 52/s?
True
Suppose 2*o + 76 = 2*v, o = 5*v - 185 + 7. Suppose 0 = 11*c - v + 2. Suppose -67 = -c*w + 221. Is 48 a factor of w?
True
Let m(u) = 3*u - 49. Let o be m(14). Let h(l) = 3*l**2 - 9*l + 9. Does 3 divide h(o)?
True
Suppose -5*r - 736 = -3*a + 77, 264 = a - 4*r. Let g = a + -36. Does 48 divide g?
True
Suppose 37*a = -54*a + 1037290 - 104267. Is a a multiple of 14?
False
Suppose 7*p - 105 - 14 = 0. Let m = p + -17. Suppose y - 2*f - 148 = m, y - 168 = -0*y - 2*f. Is 44 a factor of y?
False
Is ((-24)/10)/(((-14)/12404)/((-20)/(-6))) a multiple of 80?
False
Let l(i) = i**3 + 10*i**2 + 9*i + 2. Let z be l(-9). Let k be (0 + 108/(-6))/(2/z). Does 17 divide (2 - -1)/k + 1094/12?
False
Let n(d) = 5*d**2 - 7*d + 1. Let g(y) = -21*y**2 + 30*y - 3. Let m(z) = 2*g(z) + 9*n(z). Is m(-5) a multiple of 8?
False
Let i(f) = f**3 - 166*f**2 - 665*f - 271. Does 31 divide i(170)?
False
Let o(q) = 150*q + 1299. Is 4 a factor of o(-7)?
False
Let j = 89 - 91. Let r be (16 + 17)/(j/(-4)*-3). Let i = r + 40. Does 5 divide i?
False
Let w(b) = -17*b - 8. Let h(g) = -1. Let y(z) = 5*h(z) + w(z). Let p be y(-6). Let c = -60 + p. Is 29 a factor of c?
True
Suppose -4 = r + 1. Let w be (r/(-50)*16)/(2/445). Let j = -188 + w. Is j a multiple of 17?
False
Let j = -904 - -915. Suppose -d - 7*r + j*r + 1009 = 0, 5*d - 5*r = 5045. Does 41 divide d?
False
Suppose -3*q + 3*c + c = -31, -q - 2*c + 17 = 0. Let g(h) = -2*h - 6. Let o be g(q). Is (o + 2)/(6/(-27)) a multiple of 37?
False
Does 77 divide -17 + (-2204)/(-133) + (-83012)/(-14)?
True
Suppose 169 = b + a, -646 = -0*b - 4*b + 2*a. Suppose 2*u + 5*i - 265 = b, -4*u - 2*i = -882. Is u a multiple of 30?
False
Let j(t) = t**3 - 7*t**2 + 6*t + 