). Suppose 54 = -4*z + 2*s + r, -60 = -3*z - 3*s. Is 12 a factor of z?
True
Let u(k) = 61*k**2 - 3*k - 4. Let j(v) = -62*v**2 + 3*v + 5. Let n(m) = 2*j(m) + 3*u(m). Is n(-1) a multiple of 30?
True
Let h(r) = -20*r + 193. Is h(0) a multiple of 4?
False
Suppose -4*t + 2*i = -3370, 9*i - 7*i = -4*t + 3350. Does 56 divide t?
True
Let u = -414 + 729. Does 5 divide u?
True
Suppose b = -5*t + 38, -3*t + 180 - 30 = 3*b. Is b a multiple of 17?
False
Suppose 0*y - 2*y = -2*k - 6, -k - 11 = -5*y. Suppose 0*s = -y*s. Suppose -5*o = -s*o - 45. Is 9 a factor of o?
True
Is 5 a factor of ((-10)/(-8))/((-39)/(-4992))?
True
Let f(x) = -28*x - 28. Let l be f(-10). Suppose -d = -4*d + l. Does 21 divide d?
True
Let o(y) = -2*y**2 - 4*y + 5. Let h(q) = -8*q**2 - 16*q + 20. Let u(x) = 2*h(x) - 9*o(x). Let k be -13 - (-17 + (18 - 10)). Does 2 divide u(k)?
False
Let h be ((-10)/(-15))/((-2)/33). Let s(o) be the second derivative of -o**4/12 - 8*o**3/3 - o**2 - 3*o. Is s(h) a multiple of 28?
False
Let v be (3/(-4))/((-4)/16). Suppose -v*m - 4 = -5*m. Suppose 4*t = m*u + 18, 2*u = -5*t + 3 + 33. Does 6 divide t?
True
Suppose 2*u - 4*u - 272 = -3*s, 3*s + 5*u - 265 = 0. Is 4 a factor of s?
False
Suppose 5*t - 18 = -v, -t - 2*v + 18 = 3*t. Let h be (0*t/(-9))/(-2). Suppose -d + 11 + 3 = h. Is d a multiple of 7?
True
Let f(b) = -48*b + 45. Does 53 divide f(-4)?
False
Let b(a) = 3*a**2 - 5*a + 4. Let i be b(2). Suppose -3*w = -i*w + 39. Suppose 14*z = w*z + 9. Is z a multiple of 3?
True
Let j = -1581 + 1585. Let z(q) = -4*q - 10. Let b(y) = -y + 1. Let r(s) = 2*b(s) - z(s). Does 4 divide r(j)?
True
Suppose -3*o = -0*o - 18. Suppose -4*b - 18 + o = -3*v, -v - 2*b = 6. Suppose v = -4*x - 0*x + 68. Is 16 a factor of x?
False
Suppose 8*s - 3*s + 10 = 4*x, 0 = 4*s - 8. Suppose -354 - 171 = -x*l. Is l a multiple of 13?
False
Suppose 436 = 5*t - 259. Is 23 a factor of t?
False
Let x(a) = 3*a**2 - 6*a. Let d be x(4). Let l be -25*(1 + d/(-15)). Is 6 a factor of l + -6 + 1 + 2?
True
Let r be 14*(5/30)/(1/3). Is 7 a factor of r/((-4)/14 - 15/(-28))?
True
Let v(a) = 32*a + 48. Is v(16) a multiple of 14?
True
Suppose 11 = -3*c - 1. Let x be (-25 + -3)/c + 0. Suppose -x*q = -5*q - 108. Is q a multiple of 14?
False
Suppose 0 = -g + 201 + 375. Is 8 a factor of g?
True
Suppose -20 = 5*p, -5*p - 418 = -4*a + 1834. Suppose -3*c - 5*o = -a, 5*o + 69 = -2*c + 441. Is 11 a factor of c?
False
Let d(y) = y**2 - y - 13. Let c be d(0). Let b be (-1 - -3)/(c/(-26)). Does 14 divide (-12)/((-1)/(b/3))?
False
Suppose 3*k + 2*r - 3*r = 554, -2*r - 923 = -5*k. Is 5 a factor of k?
True
Let j(u) be the third derivative of 5*u**4/12 + 35*u**3/3 - 41*u**2. Is 60 a factor of j(17)?
True
Suppose -2*k + 190 = 4*b, 2*k = -3*k - 4*b + 481. Does 2 divide k?
False
Is (-2*(-1)/(-2))/(2/(-14)) a multiple of 2?
False
Let k = -98 - -98. Let b(g) = -g**2 + 105. Is b(k) a multiple of 43?
False
Let b(v) = -5*v**2 + 2*v**3 - v**3 - 2 + 2*v**2. Let u = 41 + -36. Does 24 divide b(u)?
True
Let p(i) = 2*i**2 - 10*i + 20. Is p(6) a multiple of 8?
True
Suppose 0 = 53*k - 12518 + 646. Is 8 a factor of k?
True
Suppose 3859 - 1021 = 11*t. Does 9 divide t?
False
Suppose 585 = 3*j - 8*j + 5*p, -5*p - 147 = j. Let k = 66 - j. Suppose 4*m - 184 - k = 0. Does 31 divide m?
True
Let k(n) = -n**2 + 2*n**2 + 5 - 9*n + 5. Suppose -34 = -5*p - 2*t + 8, -5*t = 2*p. Does 8 divide k(p)?
False
Let c(m) = -m**3 + 12*m**2 + 21*m + 1. Let p be c(14). Let q = p - -136. Is q a multiple of 5?
False
Suppose 5*n - 3*n + j = 1559, 2*n = 5*j + 1565. Does 28 divide n?
False
Suppose 13*v - 27 = -1. Suppose v*q - 373 = 311. Is 38 a factor of q?
True
Let q = 43 + -39. Suppose 5*g + i - 270 = g, g = q*i + 59. Does 33 divide g?
False
Suppose 2*v - 5*v = 5*h - 2, -3*v + 22 = -5*h. Suppose -s = v*s - 325. Suppose 3*g + 14 = s. Is 5 a factor of g?
False
Let g(w) = 25*w + 2. Let z(a) = a**2 - a. Let b(d) = -3*d**2 + 3*d - 4. Let n(s) = -b(s) - 4*z(s). Let o be n(2). Does 26 divide g(o)?
True
Let w(s) = -3*s - 18. Let t be w(-6). Is (1 - 2)*(-49 - (-2 - t)) a multiple of 10?
False
Let d(v) = -2*v + 13. Let f be d(9). Let z(c) = c**3 + 6*c**2 + 3*c - 6. Let q be z(f). Suppose 0 = 4*g + q*m - 76, -g - 6*m = -3*m - 27. Does 15 divide g?
True
Let d(p) = p**3 + 4*p**2 - p - 3. Let m be d(-3). Does 7 divide (10 + 5)*m/5?
False
Let p = 5 + 11. Let x = -14 + p. Suppose -2*h + x*u + 28 = 7*u, 2*u + 32 = h. Does 8 divide h?
True
Suppose -5*z = 137 + 248. Let l = z + 123. Is l a multiple of 10?
False
Let z(j) = j**3 - 7*j**2 - 18*j + 12. Let l be z(10). Suppose -5*n = 4*o - l, 3*o - 129 = -6*n + n. Is 6 a factor of n?
True
Let h = -47 - -51. Suppose -420 = -6*a + h*a. Does 24 divide a?
False
Let h(l) = -2*l + 6. Suppose -3*u + 3*q = 9, 2*q + 33 = -3*u - q. Let s be h(u). Suppose s = -0*y + y. Is y a multiple of 10?
True
Suppose 22*z - 3236 - 4816 = 0. Is 7 a factor of z?
False
Let m be ((-1)/2)/(1/14). Does 8 divide (-5 - m) + (33 - 1)?
False
Does 20 divide (5610/(-68))/((-3)/16)?
True
Let w(y) = -y**3 - 8*y**2 + 8*y + 12. Suppose 0 - 36 = 4*t. Is w(t) a multiple of 7?
True
Suppose -30211 = -19*w + 113. Is 28 a factor of w?
True
Let h(s) = -7*s - 4. Let w be h(-1). Suppose 3*o + 63 = w*y, 11*y + 36 = 13*y + 4*o. Is 5 a factor of y?
True
Let u(w) = 238*w**3 + 2*w**2 + 5*w - 4. Does 87 divide u(1)?
False
Let m(t) = -4*t + 12. Let u be -15*(16/10 + -2). Let y = -8 - u. Is m(y) a multiple of 36?
False
Let w(o) = -48*o - 290. Is 21 a factor of w(-16)?
False
Suppose 14309 = 8*o - 6427. Is o a multiple of 16?
True
Suppose d + 0*d + 25 = 0. Suppose -4*x - 6*m + 3*m + 176 = 0, 0 = 5*x + 3*m - 223. Let o = d + x. Is 7 a factor of o?
False
Let f(o) be the first derivative of o**3/3 + 3*o**2/2 + 4*o + 3. Is f(-8) a multiple of 15?
False
Suppose -3*c = -7*y + 2*y - 2901, 0 = -5*y + 15. Is 12 a factor of c?
True
Let s(p) = p**3 - 13*p**2 + 5. Let r = 25 - 12. Let v be s(r). Suppose 0*q + q - 245 = -3*t, 0 = v*t - 2*q - 401. Is t a multiple of 26?
False
Let k = -23 - -26. Let i be 1 - 9/(k - 6). Does 28 divide i/(-2) - (-6 - 52)?
True
Let o(c) = -35*c - 2. Let m = 22 - 18. Suppose m*x - 3*x + 4 = -2*y, 5*x - 8 = 4*y. Does 17 divide o(y)?
True
Let t(h) = h**2 - 9*h - 9. Let k be t(10). Let b(s) = k - 3 - 3*s + 5*s - 12*s. Is b(-1) a multiple of 4?
True
Let g = 3708 - 2073. Does 15 divide g?
True
Let j(q) = -6*q - 19. Let r be j(-4). Suppose 0 = -r*z + 18 + 232. Is 5 a factor of z?
True
Let u(z) = -z**3 + 18*z**2 + 18*z + 19. Let t(x) = x**3 - 17*x**2 - 17*x - 20. Let j(a) = -7*t(a) - 6*u(a). Does 14 divide j(12)?
True
Suppose 1060 = 7*z - 2*z. Suppose 3*l - z = 3*x - l, -3*l - 198 = 3*x. Is 2 a factor of (-6)/15 + x/(-20)?
False
Suppose 14*q = -3*q + 9656. Is q a multiple of 20?
False
Suppose -1 - 5 = -3*f. Suppose 630 = f*y + 180. Is 15 a factor of y?
True
Suppose -q - 2 = 5*o + 13, 0 = 5*q + 4*o - 30. Suppose 5*r + 120 = q*r. Is 9 a factor of r?
False
Suppose -4*c = -5*c. Suppose q + 2*i - 18 = -c*q, q + i - 13 = 0. Suppose q*g = 2*g + 846. Does 18 divide g?
False
Suppose 3*o = 6*o - 6. Suppose o*n + 10 = 4*n. Suppose -2*g - 111 = -n*g. Is g a multiple of 8?
False
Is (-27975)/(-42) + ((-205)/(-70) - 3) a multiple of 22?
False
Let j = -14 - -16. Suppose -d + 4*l + 0*l + 35 = 0, 4*d - 86 = -j*l. Does 8 divide d?
False
Let p(b) = -b**3 - 4*b**2 + 6*b + 7. Let h be p(-5). Let s be (2 - -3) + -1 + h. Suppose 22 + s = j. Is j a multiple of 21?
False
Let i(z) = -z + 7. Let s be i(9). Does 9 divide (8/24)/(s/(-54))?
True
Let k(b) = b**3 - 21*b**2 - 21*b - 28. Let h be k(22). Is 5 a factor of h*(2/(-8))/((-2)/(-52))?
False
Let n = 197 - 316. Let g = -59 - n. Does 15 divide g?
True
Let s = 3702 - 1997. Is s a multiple of 11?
True
Let r(m) = 28*m**3 - 11*m**2 + 13*m + 31. Is 27 a factor of r(5)?
True
Suppose 4649 = 37*j - 5933. Is 26 a factor of j?
True
Let n(p) = p**2 - 12*p + 14. Let l be n(12). Let d = 54 - -1. Suppose l*z - 9*z = d. Does 11 divide z?
True
Let q(u) = 10*u**2 - 25*u - 21. Let p = 139 - 132. Is q(p) a multiple of 42?
True
Suppose 0 = t + 5*k - 1577, 2*k = 5*t - 10887 + 3137. Is 11 a factor of t?
False
Suppose -56*w = -48*w - 744. Is 10 a factor of w?
False
Let c(h) = -2*h - 1. Let s be c(-4). Suppose -s*w = -5*w - 138. Does 11 divide w?
False
Let w(t) = -6*t + 2*t**2 - 3*t**2 - 4