)) a multiple of 28?
True
Let a(y) = -y**2 - y + 2. Let r be a(2). Let m = 4 + r. Suppose m*h = -h + 21. Is h a multiple of 7?
True
Let x be -1*4/(2 + 2). Let d be (x - 1) + -17 - 1. Let z = d + 65. Does 15 divide z?
True
Let g(c) = -10*c + 22. Let j be g(8). Let o = j - -100. Is o a multiple of 7?
True
Let g(d) = 22*d**2 + 41*d + 370. Is 10 a factor of g(-8)?
True
Suppose 11*f = 5*f + 6. Let p = 15 - f. Is p a multiple of 14?
True
Let n(f) = -20*f - 101. Let a be n(-7). Suppose -5*p - 3 = -18, -3*l + 21 = 2*p. Suppose 2*h + h - l*y = -1, 3*y = -3*h + a. Does 4 divide h?
True
Suppose 0 = -5*g + 4402 + 98. Suppose 0 = 6*y - y - g. Suppose u - y = -4*u. Is u a multiple of 12?
True
Let r be (-6)/2*(-2 - 3*40). Suppose r + 264 = 6*n. Does 7 divide n?
True
Suppose 653 = 6*p - 427. Is p a multiple of 6?
True
Let r = -5 + 9. Let k be ((-2)/r)/(1/(-8)). Is k + 0 - (-15 - -11) a multiple of 4?
True
Suppose -118 = -6*g + 8. Let i = g + -19. Suppose -i*u - u + 57 = 0. Is u a multiple of 10?
False
Suppose -33*f - 1090 = -34*f. Is 6 a factor of f?
False
Suppose -71*h = -63*h - 2728. Is h a multiple of 34?
False
Is ((-48)/(-14))/2*(12 + 58) a multiple of 15?
True
Suppose -7237 = -3*g - 5*k, -3*k - 4824 = -2*g - 7*k. Is g/10 + -1 - (-142)/(-355) a multiple of 20?
True
Let o be (-63 + 3 - -1)/1. Let i(m) = m - 26. Let w be i(-6). Let y = w - o. Does 9 divide y?
True
Is (25/4)/((-9)/(-828)) a multiple of 29?
False
Let b(k) = k**3 + k**2 - 3*k - 2. Let s = -15 - -19. Is 13 a factor of b(s)?
False
Suppose 0*m + 6 = 3*m. Suppose 0 = m*g - 4*k - 252, -g = -2*g + 4*k + 124. Suppose 0 = -6*h + g + 64. Is 9 a factor of h?
False
Let k be 1/4 - (-6)/(-24). Let a(f) = 3*f + 1. Let n be a(1). Suppose -5*y = -k*v - 2*v + 62, -n*y = v - 5. Is 7 a factor of v?
True
Let f(b) = b**2 + 14*b + 53. Let z be f(-7). Suppose -5*q + 18 = -7. Suppose 3*v - 77 = -q*n, n - 2 = -z. Is 17 a factor of v?
False
Let f = 88 - 103. Is 23 a factor of (-5)/f - (0 + (-560)/12)?
False
Let a be 152/6 + (-11)/33. Let q be a/5 - 3/1. Suppose 0 = -b + q. Is b a multiple of 2?
True
Suppose y + 3 - 5 = 0. Suppose -1 = y*j + 19. Let c(r) = -6*r + 5. Is 13 a factor of c(j)?
True
Let a(p) = p + 15. Is 4 a factor of a(-7)?
True
Let v(o) be the first derivative of 2*o**3/3 + 2*o + 13. Does 14 divide v(8)?
False
Let h(x) = -6*x**2 - x + 2. Let i be h(1). Let c(q) = q**3 + 6*q**2 + 6*q + 10. Is 3 a factor of c(i)?
False
Let g = -35 + 40. Suppose -p - 69 = -g*z - 5*p, 0 = -2*z - 4*p + 30. Is z a multiple of 13?
True
Suppose 0 = 3*q - 4*x + 112 - 344, -5*q = -4*x - 384. Is q a multiple of 19?
True
Let z(h) = 29*h - 32. Let b be z(7). Suppose -l + 5 = -56. Suppose 5*i - b = -l. Is 11 a factor of i?
True
Suppose 3*r = -2*p + 16, -p - 4*r - r = -8. Is 24*(14/(-6))/(p/(-12)) a multiple of 7?
True
Let b be 4/10 - (-39)/15. Let t(c) = -6*c**3 + c**2 + 3*c - 3. Let a(w) = -17*w**3 + 4*w**2 + 8*w - 9. Let q(x) = -4*a(x) + 11*t(x). Is 4 a factor of q(b)?
False
Suppose -3*i + 387 = -k, -5*i - 2*k = -6*k - 652. Suppose -4*f - 4*w + i = 0, -2*w = f + w - 38. Is f a multiple of 20?
False
Let m = -54 - -102. Does 2 divide m?
True
Suppose 0 = -5*o - j + 3*j + 52, 3*j = 3*o - 33. Is o a multiple of 5?
True
Suppose 0*w - 5*w + 10 = 0, -w = -5*f - 27. Let x = 5 + f. Suppose 5*t = -4*p + 104, 0 = -x*t - t - 3*p + 12. Is 12 a factor of t?
True
Let b be 1 + ((-1)/2)/(3/(-12)). Suppose 100 = 2*p + b*p + u, 15 = -3*u. Does 12 divide p?
False
Let s(o) = 25*o**2 - 21*o + 79. Is s(9) a multiple of 5?
True
Let j(w) = -133*w - 105. Does 49 divide j(-10)?
True
Let l(b) = b**3 + 6*b**2 - 8*b. Let s be l(-7). Suppose -5*f = 2*p - s, -3*f + 11 = -4*p - 14. Is (3 + 1)/(p/(-38)) a multiple of 34?
False
Suppose 166 - 580 = -9*d. Let z = d - -72. Does 28 divide z?
False
Let p = -472 - -700. Let h = p + -161. Is 9 a factor of h?
False
Let s = -16 + 16. Suppose s*n = n - 22. Let b = n + 2. Does 13 divide b?
False
Is 5*-1*416/(-80) a multiple of 26?
True
Let s be -23*(-2)/8 - (-9)/36. Does 10 divide ((-1)/s*2)/(20/(-3060))?
False
Let q(k) be the second derivative of k**5/10 - k**4/12 + k**2/2 + 2*k. Let z be q(1). Suppose 5*h = x + z*x, -3 = -h. Is 3 a factor of x?
False
Let t(j) = j**3 + 9*j**2 + j + 10. Let b be t(-9). Let a be (b - 0)/(3/327). Suppose -a = -3*d + 4*i + 61, 3*d = -5*i + 179. Does 29 divide d?
True
Let m = -7 + 16. Suppose 4*h = 5*l - 57, 3*l = 3*h + m + 27. Suppose l*p - 39 = 8*p. Is 16 a factor of p?
False
Let h(f) = -41*f + 16*f + 20*f + 11. Is h(-6) a multiple of 6?
False
Let a = -241 - -361. Is 20 a factor of a?
True
Let o(g) = 7*g**2 - 6*g - 13. Does 13 divide o(11)?
False
Let p(m) = -m**2 + 5*m + 15. Let g be p(5). Is 14 a factor of 2092/14 - g/35?
False
Let t be (-4 + 9/3)*-10. Suppose -t*n + 68 = -9*n. Suppose 2*r - 4 - n = 0. Is r a multiple of 18?
True
Let s(f) = 8*f - 25. Let k be s(8). Let g = 80 - k. Suppose 52 = 3*i - g. Is i a multiple of 7?
False
Let y = -15 + 265. Suppose 7*i - 373 - y = 0. Is i a multiple of 24?
False
Suppose -302 = -18*y + 16*y. Let q = y - 30. Does 30 divide q?
False
Let d(w) = -13*w - 7. Let r be d(-3). Let z = 1 + r. Let a = z + -5. Is a a multiple of 14?
True
Suppose -3*z + 15 = -2*q + q, 25 = 5*q + 5*z. Suppose 2*a - 3*a + 63 = q. Does 5 divide a?
False
Suppose -19931 = -9*z - 6071. Is z a multiple of 44?
True
Let m(u) = u**3 + 4*u**2 - 13*u - 18. Is 20 a factor of m(10)?
False
Suppose -4*v + 5*v - 43 = 0. Suppose 2*k - 230 = -5*l - 3*k, l - 2*k - v = 0. Is 5 a factor of l?
True
Let r = 222 - 42. Is 5 a factor of r?
True
Let k(n) = 5*n**2 - n - 1. Suppose 1 = -20*w + 19*w. Let z be k(w). Let x = z + 43. Is 12 a factor of x?
True
Suppose -4*s = -n + 20, -s + 6*s = n - 19. Does 13 divide (3 - (-786)/n)*4*1?
True
Let a(s) = -17*s - 409. Is a(-32) a multiple of 5?
True
Suppose j = -j + 48. Suppose j*w + 165 = 27*w. Is w a multiple of 19?
False
Suppose -8*h + 34 = -6*h. Let z = 30 - h. Does 13 divide z?
True
Let r(p) = 5*p**2 + 4*p - 26. Is 7 a factor of r(9)?
False
Let g be -127 + 2*3/(-6). Let o be g/(-20) - (-6)/(-15). Suppose 4*r - 2*u - 26 = 0, o*r - 5*u = r + 25. Does 4 divide r?
True
Let z(b) = -b - 5. Let i be z(-8). Let r be i/(-6) + 345/6. Let p = r - 30. Is p a multiple of 9?
True
Does 22 divide (-8)/3*9315/(-108)?
False
Let f = -29 + 31. Suppose 53 = 4*m - f*m - 5*z, 0 = 5*m - 5*z - 125. Does 24 divide m?
True
Let l = -5 + 10. Suppose -25 = -l*b + 5*c, -b + 10 = 4*c - 0*c. Let n = 9 - b. Does 3 divide n?
True
Let r(v) = -11*v - 18. Suppose -22 + 40 = -2*x. Is 11 a factor of r(x)?
False
Suppose -11 = -i + 4. Suppose 22*d - 17*d = i. Is 7 a factor of (d + -1)*-1 + 23?
True
Let s be 7065/(-72) + (-1)/(-8). Let c = s - -148. Does 25 divide c?
True
Let j(b) = -b**3 - b**2 + 5*b + 2. Let p be j(-3). Let o = 6 + p. Let t = o + 1. Is t a multiple of 12?
True
Let s(z) = z**3 + 5*z**2 + 3*z. Let m be s(-4). Let y be (33/(-12))/(2/8). Is 9 a factor of (y + -2)/((-4)/m)?
False
Let f(l) = -l**3 + 4*l**2 - 1. Let h be f(4). Let g(j) = -2*j**3 + 2*j**2 + j. Let x be g(h). Suppose 0*y - 108 = -x*y. Is y a multiple of 18?
True
Let l(g) = g**2 - 5*g - 8. Let j(t) = t + 17. Let y be j(-8). Is l(y) a multiple of 28?
True
Suppose 3*n = -4*h - 14, 6*n = 5*n + 2*h + 12. Let d(v) = 20*v - 24. Is 10 a factor of d(n)?
False
Let f(w) = w + 73. Let u(s) = -s**3 + 4*s**2 - 4. Let h be u(4). Let v be 4/h*0/3. Is f(v) a multiple of 13?
False
Let i(h) = -h**2 + 20*h - 13. Let t(s) = -2*s**2 - s + 16. Let j be t(0). Does 20 divide i(j)?
False
Let q(x) = x**3 + x**2 - x + 26. Let k be q(0). Let i = 44 - k. Does 6 divide i?
True
Suppose -180 = -2*c - 56. Let u = c + -37. Is 3 a factor of u?
False
Let q(d) = -4*d - 1. Let x(r) = r - 15. Let s be (-10)/(-1) - 2/(-1). Let g be x(s). Is q(g) a multiple of 4?
False
Let x = 3459 + -2047. Is 90 a factor of x?
False
Suppose 9*g - 5005 + 109 = 0. Does 17 divide g?
True
Is 27 a factor of 461/4 - ((-6)/8 - 0)?
False
Let k be 1406/11 + 14/77. Let d = k + 142. Is 54 a factor of d?
True
Let v = 39 + -14. Let s = 141 - v. Is 16 a factor of s?
False
Let t(a) = 2*a**3 - 39*a**2 + 8*a + 17. Does 24 divide t(20)?
False
Let d(c) = -c**2 - 11*c - 3. Let q be d(-11). Let l be q + -3 + -3 + 18. Suppose l - 34 = -5*a. Does 5 divide a?
True
Suppose 8*u + 114*u - 266448 = 0. Is 43 a facto