b be v(6). Let a be n(b). Suppose -15 = 2*o - 3*o - a*h, h + 97 = 5*o. Does 19 divide o?
True
Let n(t) = -t**2 - 6*t - 7. Let a be n(-3). Let o be 24/9 - a/3. Suppose -o*r + 49 = 7. Does 7 divide r?
True
Suppose -4*s + 3*t - 7 = -5*s, 3*s + 4*t - 11 = 0. Let z(v) = 1. Let a(k) = 12*k**2 - 4. Let p(y) = a(y) + 5*z(y). Is 13 a factor of p(s)?
True
Let d(s) = -s**2 - 8*s + 20. Let k be d(-13). Let y = k - -48. Is y a multiple of 3?
True
Let l(t) = -34*t**3 - 7*t**2 + 2*t + 15. Is 80 a factor of l(-5)?
True
Suppose 3*c + 5*s = -363 + 1564, -c + 377 = -3*s. Does 7 divide c?
True
Suppose 2*i = 2*c + 348, -4*i + 4*c = -7*i + 522. Is 28 a factor of i?
False
Suppose 5*q = 2*q + 1764. Suppose -3*a + 433 = 5*k - 8, 0 = 4*a - 4*k - q. Does 21 divide a?
True
Let m be (4/(-14))/((-7)/49). Suppose -4*s + 154 = -m*s. Is 7 a factor of s?
True
Let s(n) = 2*n**2 - 2*n - 1. Let m be s(-10). Suppose 5*o - o + 113 = 3*y, -5*y - o = -m. Suppose 3*p - 5 - y = 0. Does 16 divide p?
True
Let t(k) be the third derivative of -15*k**4/8 - k**3/6 - 63*k**2. Let m = -1 + 0. Does 11 divide t(m)?
True
Suppose -1104 = -2*h + 4*s, 4*h = -4*s + 1926 + 270. Suppose -3*b - 195 + h = -2*n, -120 = -b - n. Is 17 a factor of b?
True
Suppose 13*u + 42 = 12*u. Does 2 divide 120/u*(-21)/6?
True
Let l(a) = a**3 + 33*a**2 + 24*a - 13. Is l(-32) a multiple of 27?
True
Let h(d) be the first derivative of -d**3/3 + 31*d**2/2 + 8*d - 25. Is 32 a factor of h(8)?
True
Suppose 5*x = 5*d - 9330, 5*x + 5597 = 3*d + 3*x. Is 31 a factor of d?
False
Let q be 1/((-1)/(-3))*102/9. Suppose q*z - 39*z + 650 = 0. Is z a multiple of 12?
False
Suppose -900 = 76*x - 82*x. Is x a multiple of 3?
True
Let i be 25/9 + (-22)/(-99). Let b = 29 + -9. Suppose 0 = m - 3*l - 4, -i*m - 2*m + b = l. Is 4 a factor of m?
True
Let d(f) = -f**2 - 47*f - 78. Is d(-37) even?
True
Let a be (-2)/(((-20)/(-14))/5). Let t(c) = c**3 - 3*c**2 - 3*c + 4. Let k be t(3). Let l = k - a. Is l even?
True
Suppose 3874 = 5*p - 4*l, 17*p - 20*p - 3*l = -2346. Is p a multiple of 10?
False
Let c(p) be the first derivative of -178*p**3/3 - 3*p**2/2 - p + 9. Let q be c(-1). Let b = q + 266. Is 30 a factor of b?
True
Let v(s) be the second derivative of -s**5/20 + 7*s**4/12 + s**3/6 + 7*s**2/2 + 3*s. Is v(6) a multiple of 18?
False
Let h = -394 - -453. Is 23 a factor of h?
False
Let h(i) = -203*i**3 - i**2 + 1. Suppose 0 = g + 14 - 13. Is h(g) a multiple of 29?
True
Suppose b = -2*w + 54, 5*b = -w + 6*w - 105. Let k = -12 + w. Does 6 divide k?
False
Suppose 5*l + 976 = 4*o, -124 = -2*o + 5*l + 374. Does 21 divide o?
False
Let p = -757 + 698. Suppose -2*m + 392 = 2*m. Let u = m + p. Is 13 a factor of u?
True
Let w(u) = -u**3 - u**2. Let h(z) = 11*z**3 + 2*z**2 - 1. Let x(l) = h(l) + 3*w(l). Does 8 divide x(2)?
False
Suppose 3 + 82 = 5*c. Let y = c + -13. Suppose -4*w + 210 = 2*k, -3*w + y*k - 3*k + 165 = 0. Is 18 a factor of w?
True
Let g(d) = -254*d - 110. Is 58 a factor of g(-5)?
True
Let z = -46 - -50. Suppose 5*x - z*x = -g + 167, x + 2*g - 168 = 0. Does 41 divide x?
False
Let b(l) = 159*l**3 - 2*l - 1. Let a be b(-1). Let g = a - -224. Let y = -46 + g. Is 10 a factor of y?
True
Suppose -2*r + 58 = -2*z, -5*z + 0*z = 4*r + 145. Let s = z - -41. Is 2 a factor of s?
True
Let v = -21 + 27. Suppose v*x - 780 = -4*x. Is x a multiple of 6?
True
Suppose 4*r - 82 = -2. Let q(g) = g**3 + 2*g**2 - 4*g + 3. Let w be q(2). Let c = w + r. Is c a multiple of 14?
False
Let p(o) = o + 24. Let s be p(-20). Suppose -q - y = 4*q - 157, 39 = q + s*y. Does 5 divide q?
False
Let j(r) = -6*r + 6. Let q be j(11). Let l = q + 97. Is 9 a factor of l?
False
Does 19 divide 3808/(-6)*(-5)/((-10)/(-6))?
False
Suppose -2*t + 22 = 78. Let v = t - -33. Does 5 divide v?
True
Let d = -218 + 150. Let j = 122 + d. Is 6 a factor of j?
True
Let n(k) = k**3 + 19*k**2 - 21*k + 24. Is n(-18) a multiple of 66?
True
Let p be 385/20 + 3/4. Suppose -b = b - p. Does 10 divide b?
True
Let m be 1*(-2 - 2*-3). Does 4 divide 2/m - (-41)/2?
False
Suppose 0 = 5*z - 4*k - 182, 4*z - 3*k - k - 144 = 0. Suppose 3*x + z = 185. Is x a multiple of 7?
True
Let d(b) = 0*b**2 + 4*b - 3*b + 60 - 6*b**2 + 5*b**2. Let i be d(0). Let r = i - 16. Does 22 divide r?
True
Let m be (-8 - -11) + (85 - 1). Suppose -5*o + 4*f + 34 + 6 = 0, 7 = 3*o + f. Suppose -105 = -o*v + m. Is v a multiple of 24?
True
Suppose 27*y - 8559 - 2106 = 0. Does 25 divide y?
False
Suppose 5*k + 34 = -3*o, -2*o = -k + 2*o - 16. Let z(s) = -3*s**2 - 9*s + 14. Let p be z(-6). Let h = k - p. Is 16 a factor of h?
True
Suppose 7*k + 260 = 2*k - 5*z, -k - 4*z = 55. Let w = k + 124. Let j = w + -29. Is 11 a factor of j?
True
Suppose 0*x + 46 = -2*x - 5*r, -x = 5*r + 28. Let y = x + 32. Is 14 a factor of y?
True
Let s be (-9)/3 + 1 + 10. Suppose 55 = s*u - 3*u. Is u a multiple of 7?
False
Is 7 a factor of 728/16*14 + -7?
True
Suppose -4*w - 530 = -s, 5*s - 3*s - 1070 = 3*w. Let i be (5 + -4)*(-1 - -10). Is 14/63 + s/i a multiple of 12?
True
Let g = 0 - -57. Let m = g + 75. Is m a multiple of 11?
True
Let y = 33 - -51. Suppose -20*n = -26*n + y. Is n a multiple of 6?
False
Let a(j) = 2*j**3 + 8*j**2 + 6*j + 4. Let d be a(-5). Let s(n) = n**3 + n**2 + n - 111. Let u be s(0). Let y = d - u. Is y a multiple of 13?
False
Let v = 7 - -85. Let a = v - 40. Does 13 divide a?
True
Let w = 811 - 530. Is w a multiple of 37?
False
Suppose 6 = 5*w - 5*q - 9, w = 2*q + 4. Suppose i = w*i - 66. Is 17 a factor of i?
False
Suppose 2*d + 334 - 73 = p, 4*p - 1072 = d. Is p a multiple of 10?
False
Suppose l - 4*t = 1114, 3*t + 2*t = -4*l + 4498. Is 23 a factor of l?
False
Suppose 10*s - 44 = -s. Suppose 1407 = 5*f - s*v + 6*v, 0 = -3*f + 2*v + 841. Is 17 a factor of f?
False
Suppose 47*t + 154 = 49*t. Does 5 divide t?
False
Suppose 5*g = 8*b - 4*b + 6512, b - 5197 = -4*g. Is 20 a factor of g?
True
Let h be -3*(-4)/(-6)*-1. Suppose -h*v = 3*v + 5. Is (-2)/v*(-14)/(-4) a multiple of 4?
False
Suppose -72*g + 6 = -71*g. Is 1572/24 + g/4 + -1 a multiple of 13?
False
Let s(h) = h**2 - 6*h + 5. Let f = 15 - 9. Let z be s(f). Suppose v = -z*b - 0*v + 364, 2*v = 8. Does 24 divide b?
True
Let q(g) = 3*g**2 + 3*g + 6. Let t be q(-7). Suppose -4*l - 3*n + 6*n + 127 = 0, -4*n - t = -4*l. Is 22 a factor of l?
False
Is 5 a factor of 437/(-38)*3/((-9)/48)?
False
Let d(x) = 375*x**2 + 119*x + 240. Is d(-2) a multiple of 32?
False
Let n(w) = w**2 - 21*w + 29. Let r be n(22). Suppose 0*q = 4*u - q - r, -4*u + 60 = -4*q. Is u a multiple of 4?
True
Let z = 118 + -78. Is 8 a factor of z?
True
Let d = 140 + -225. Suppose -2*n - 3*n + 5*x = 290, -5*n = x + 272. Let j = n - d. Is 15 a factor of j?
True
Let q(a) = -44*a**3 + a. Let v be q(-1). Let h = 130 - v. Suppose -2*m + 63 = -4*t - h, -m - t + 63 = 0. Is 11 a factor of m?
False
Let r = -179 + 250. Let h = 110 - r. Does 9 divide h?
False
Let t be (289 + -1)*((-39)/(-12) - 2). Suppose 9*d - t = 6*d. Is 40 a factor of d?
True
Suppose 3*j = 4*a + 28, 3*j - 3*a - 29 = 2*a. Let r be 26/j - (-9)/12. Suppose -2*o + 92 = r*z, 3*o + 2*o + 3*z - 230 = 0. Is o a multiple of 8?
False
Is (6/15)/(-2*2/(-960)) a multiple of 4?
True
Let z(q) = 70*q - 85. Let t(y) = 7*y - 4 - 4 + 2 - 2*y. Let l(o) = 55*t(o) - 4*z(o). Is l(-12) a multiple of 14?
True
Suppose 3*d - 1088 = 910. Is d a multiple of 37?
True
Let t(f) = f**3 + 17*f**2 + 18*f + 50. Does 9 divide t(-16)?
True
Let y = 18 - 19. Let x(c) = -10*c**2 - c - 1. Let n be x(y). Is 5 a factor of (-145)/(-25) + (-2)/n?
False
Suppose -3*l = -2*l + 4*m + 16, -4*m = -2*l - 68. Let a = -24 - l. Is 16 a factor of 138/a - (-1)/2?
False
Suppose 19658 = 11*w - 4366. Is w a multiple of 42?
True
Let u = 37 - 32. Suppose 3*o = y - o - 11, o - u = 0. Is y a multiple of 3?
False
Let a(d) = d**2 + 19*d + 17. Let q be a(-18). Let c be -18 + 19 + (0 - q). Suppose 5*k + 2*z - 384 = 0, -5*k = 2*z + c*z - 378. Is 13 a factor of k?
True
Is 38 a factor of (180/14)/(30/420)?
False
Let d(z) = 2*z**3 - 18*z**2 - 11*z + 2. Let h(f) = -f**3 + 9*f**2 + 6*f - 1. Let j(m) = -4*d(m) - 7*h(m). Does 5 divide j(9)?
False
Let j = 60 + -62. Is (-1 + j - -18)*50/6 a multiple of 12?
False
Suppose 3*x - 14 = 13. Let g(k) = 9*k + 29. Is g(x) a multiple of 5?
True
Suppose 5*a + 17 = -5*f - 158, -f = 3*a + 107. Let u be 104/18 + (-8)/a. Suppose