*p + 93. Let r be g(-18). Suppose -r*j - 26 = -872. Does 48 divide j?
False
Let m be (-4600)/(-15)*(-252)/(-35). Suppose -6*k + m = 2*k. Is 23 a factor of k?
True
Suppose -6*c - 22 = -8*c. Suppose -c*o = 4*r - 12*o - 432, 2*o - 444 = -4*r. Does 20 divide r?
False
Suppose -3*q + 39 - 43 = -4*m, 5*m - 24 = -q. Does 11 divide (q + -9 - 4) + 779?
True
Let u(b) = 83*b**3 - 2*b + 1. Let a(z) = -543*z - 2*z**2 + 3*z**2 + 2 + 538*z + 165*z**3. Let y(x) = -3*a(x) + 7*u(x). Is 31 a factor of y(1)?
False
Suppose -4*n + 7 + 9 = 0. Let h(c) = 3*c + 50. Let v be h(14). Suppose 752 = n*w + 4*z, w - z - v = 88. Does 39 divide w?
False
Suppose -g = 7*s - 4*s - 12, 5*g - 5*s = 0. Let r be (g - 32) + (-1 + -1 - -1). Does 6 divide r/(-4)*(1 + 22/10)?
True
Suppose -56 = -3*i + 2*x, -2*i + 2*x = -22 - 14. Let z = 17 - i. Does 12 divide (-3)/(z + (-81)/(-28))?
False
Let y be (0/(8 - 1))/5. Suppose 2*p + x - 550 = y, 2*p + 5*x = -174 + 724. Is p a multiple of 11?
True
Suppose 2*w - w = -48. Let a = -44 - w. Suppose -a*d + 164 = 5*n, 2*d - 6 = -4. Is n a multiple of 4?
True
Suppose -3*o = 4*j - 1838, -5*o = -9*o + 4*j + 2432. Suppose 3*r - o = 2*w, 4*r - 3*w = -423 + 1238. Is 5 a factor of r?
True
Suppose -10322 = 7*z - 2596 - 45064. Is z a multiple of 24?
False
Suppose -2*u + 13028 = 92*k - 95*k, -3*u - 3*k = -19572. Is u a multiple of 40?
True
Let j = -1527 + 1508. Let b(c) = -c**3 - 6*c**2 + 3*c + 1. Let n be b(-4). Let i = j - n. Is i a multiple of 14?
False
Suppose -21*s - 96 = -5*s. Does 12 divide (s/12)/((-1)/68)?
False
Let i be ((-28)/7)/(0 + 1). Let g be i/16 + (-78)/8. Does 4 divide -7 - g - (1 + 14/(-1))?
True
Let n(m) = m**3 + 5*m**2 + 7*m + 2. Let c be n(-3). Let f(i) = -12*i + 3. Let u be f(c). Suppose -18*t - u = -19*t. Is 11 a factor of t?
False
Let k be (168/4)/6 + (2 - 2). Suppose 0 = h + k - 0. Let c(x) = -22*x + 13. Does 23 divide c(h)?
False
Let y be (4 - 352/(-20)) + 9/(-15). Is ((-4)/(-3) - 7/y) + 41 a multiple of 3?
True
Let h(v) be the third derivative of v**5/6 - 13*v**4/24 - 11*v**3/6 + 79*v**2. Is 8 a factor of h(6)?
False
Suppose p - 312 = -5*p. Let t = -48 + p. Suppose -t*i - 84 + 686 = -2*n, -2*n - 152 = -i. Is 15 a factor of i?
True
Let j = 1291 + 776. Is 22 a factor of j?
False
Let y(o) be the third derivative of o**5/60 + 5*o**4/24 + 5*o**3 - o**2 - 2. Is y(9) a multiple of 13?
True
Let l(t) = -3*t - 17. Let j be l(-7). Suppose 0 = b - j*o + 10, b - 19 = -4*b - 3*o. Is (-80)/(-10)*b/(-8)*-9 a multiple of 6?
True
Let b be 234 - ((-10)/15 - 22/(-6)). Suppose b*i - 226*i - 3420 = 0. Is 57 a factor of i?
True
Let p be 1/((-3)/(-21) + 0). Suppose p*v = 91 - 56. Suppose 4*g = 2*b - 48, -5*b - v*g + 65 + 85 = 0. Does 14 divide b?
True
Suppose 0 = 3*o + 3*c - 13413, -10793 = -4*o - 5*c + 7088. Is o a multiple of 5?
False
Let i = -3 - 0. Let n(j) = -37560*j + 12501*j + 12474*j + 12490*j - 13. Does 47 divide n(i)?
False
Let h be (-1 - -3) + -1 + 2 + 0. Suppose 4*q = i + 85, 15 = -0*q - h*q. Is (12/9)/((-10)/i) a multiple of 11?
False
Let w(m) = 1698*m + 12. Let h be ((-21)/28)/(9/(-12)). Is 57 a factor of w(h)?
True
Let o(h) = -h**3 - 18*h**2 + 14*h - 4. Let z be o(-18). Is 41 a factor of 54*z/(-168) + 4/(-14)?
True
Let a be 21 - 15 - (1 - 3/(-1)). Suppose -a*q + 1494 - 262 = 0. Does 7 divide q?
True
Suppose 0 = -2*c + 8, y - 3*y = 2*c - 20. Let n be (8/y)/((-6)/9). Does 2 divide ((-3)/(-2) - n)*2?
False
Let m(q) = q**2 + q - 5. Suppose -c - 5 = u, 0 = -3*c - 3*u - 2*u - 15. Let o be m(c). Is (39 - o)*1/3 even?
True
Let w(p) = 771*p**2 - 2*p - 3. Let l be w(1). Let k = l + -692. Is 2 a factor of k?
True
Suppose 60*s + 4*a = 58*s + 596, 2*s + 2*a = 596. Let v = 423 - s. Is v a multiple of 5?
True
Suppose 179 = 2*s - 439. Let g = s - 165. Is 12 a factor of g?
True
Let z(i) = -458*i**3 - 2*i**2 + 62*i + 120. Is z(-2) a multiple of 44?
True
Let m(y) = 7*y - 19. Let a = 42 - 50. Let b be m(a). Is 9/(b/(-10)*(-1)/(-95)) a multiple of 19?
True
Let t(z) = 55*z**2 - 179*z - 45. Is t(9) a multiple of 44?
False
Let w(c) be the second derivative of 11*c**3/6 + 33*c**2/2 - 50*c. Is 25 a factor of w(6)?
False
Suppose -5*y + 18615 = -5*q, -4*y + 14247 + 647 = -2*q. Suppose 28*b + y = 24*b. Is ((-10)/(-3))/(5 + b/189) a multiple of 14?
False
Suppose -2*q = -5*j + 19, 5*j = -3*q + 21 + 13. Let n be 0/(2 - j) + 225. Suppose -n = -5*w - 65. Does 16 divide w?
True
Let n(o) = 249*o**2 + 15*o - 88. Does 32 divide n(-9)?
False
Let r(o) = 6 - 4 + 10*o - 16 - 68*o. Is 56 a factor of r(-7)?
True
Suppose 5*k = 10, -3*y - 2*k = 24 + 5. Is y/(-132)*3 - (-2398)/8 a multiple of 20?
True
Let d be (-1844)/(-22) - 2/(-11). Suppose -19 + 11 = -a. Suppose -a*t = -t - d. Is 3 a factor of t?
True
Suppose -o = -x - 11471, 1018 + 10423 = o + 5*x. Does 49 divide o?
True
Let u = 8 - -488. Let a be 10/(-15) + 34/6. Suppose 0 = a*f - 9*f + u. Does 31 divide f?
True
Suppose 6 = 6*v - 36. Suppose t = 9 - v. Is 10/75 - (-296)/30 - t a multiple of 3?
False
Let i = -166 - -88. Let b = -78 - i. Suppose b = -2*h + 3*g + 279, 4*g - 172 = -h - g. Is h a multiple of 21?
True
Let o(a) = -29*a + 51. Is 11 a factor of o(-10)?
True
Let x(z) = z**3 - 6*z**2 - 6*z + 2. Let t(i) = i**3 + 6*i**2 - 11*i - 11. Let p be t(-7). Let n = 24 - p. Is x(n) even?
False
Suppose 6*o + 3*o - 27 = 0. Suppose 4*j = 4*k - 568, k - 6 = o*j + 138. Is k even?
False
Let c(b) = b**3 - 6*b**2 + 8*b + 22. Let s be c(6). Is (-2)/(-20) + 9303/s a multiple of 5?
False
Let h = 67 - 75. Does 26 divide ((-374)/(-5))/(h/(-20))?
False
Suppose -2*h = 2*h + 5*t + 142, 95 = -3*h + 2*t. Let b = h - -32. Is (0 + 57)/b*(-16)/24 a multiple of 10?
False
Let i(l) = -4128*l - 312. Let b be i(-7). Suppose -4716 - b = -36*o. Is o a multiple of 37?
True
Let k(z) = 7*z + 23. Let o(x) = -1. Let j(m) = -k(m) - 5*o(m). Let y be j(-3). Suppose h - y*r - 56 = 0, -2*h + 5*h = -4*r + 168. Is h a multiple of 28?
True
Suppose -6*q + 1272 = -18*q. Let s = 110 + q. Suppose -5*x + 33 = s*w - 275, -x - w = -61. Does 32 divide x?
True
Is 3/(-21) - ((-55611)/21 - 17) a multiple of 9?
False
Let t(y) be the second derivative of -25*y**3/6 - 4*y**2 - y. Let u be (-15)/((-75)/(-5)) + (-1 - 0). Is 21 a factor of t(u)?
True
Suppose -26*o + 32 = -30*o. Suppose -407 = 4*b - c, c = b - 0*b + 104. Let j = o - b. Does 9 divide j?
False
Let u = 24 + -18. Let w be (2 - (-14)/(-6))*u. Is 5 a factor of w - -6 - (-36)/2?
False
Suppose 0 = g - 353 + 302. Suppose -2231 = -g*m + 268. Is m a multiple of 49?
True
Let h(n) = -40*n**2 + 3*n + 8. Let r(v) = -v**2. Let w(d) = -h(d) + 5*r(d). Is 22 a factor of w(-2)?
False
Let c(i) = 32*i**2 + 602*i - 78. Is c(21) a multiple of 54?
True
Suppose -t + 22 - 297 = 5*u, 2*t = u + 55. Let g = 70 + u. Is 2 a factor of g?
False
Let s(i) = 2*i**2 + 14*i - 7. Suppose 2*g = u - 4*u - 16, -8 = g - 4*u. Let h be s(g). Does 29 divide 174/4*(12/h)/2?
True
Suppose 3*c + 5889 - 20292 = -3*f, c = 4*f - 19174. Is 6 a factor of f?
False
Let z = -4729 + 12111. Is 75 a factor of z?
False
Suppose u = -n - 2, 0 = 3*u - 4*n - 21 - 8. Suppose 3*t - v = 2700 - 133, -u*t + 2*v = -2572. Does 35 divide t?
False
Suppose 4*g = 6*g + 3*v + 9, 5*v = -5*g - 10. Suppose -g = -10*x + 7*x, 5*p = -3*x + 3243. Is p a multiple of 24?
True
Suppose 0*c + 6429 = 3*c. Suppose 433 = -2*h + c. Suppose h = 10*d + 5. Is 17 a factor of d?
True
Suppose 2*c = 10, -4*c = -9*h + 8*h + 3873. Is h a multiple of 83?
False
Is 2 a factor of ((-7146)/42)/((-15)/105)?
False
Let t = -15184 - -45984. Is 29 a factor of t?
False
Let l be 11/4 - 10/(-8). Let s = l + 4. Suppose -s*a + 435 = -661. Is a a multiple of 18?
False
Let d = 24 + 0. Suppose -z = -7*z + d. Does 33 divide z/(-10) - (-5 + (-3192)/30)?
False
Does 38 divide (107 + 39)/(6/12 - 37/76)?
True
Suppose -5*l + 2*v = -1078, 0 = -34*l + 37*l + 3*v - 651. Suppose -4*c = 4*d - l, 3*d - 6*c - 190 = -2*c. Is 29 a factor of d?
True
Let i = -101 - -150. Suppose -4*s - 4*c = -248, -i = -s + 4*c - 7. Is s a multiple of 25?
False
Let s = -1978 - -615. Let d = -891 - s. Is 21 a factor of d?
False
Suppose -52 = 7*p - 24. Is 5 a factor of (17 + p)*(24 - 4)/2?
True
Let k(j) = 2*j**2 + 18*j - 43. Suppose 0 = -6*z - 122 + 44. Is k(z) a multiple of 11?
False
Let u be -3 - (2/2 - (8 + 3)). Let f = -5 + u. Suppose 0*a - 20 = -f*a + 2*d, 3*d + 22 = 2*a. Is a