))?
False
Does 44 divide 105*-6*(6 - (12 - 4))?
False
Suppose -8 = 5*x + 3*o, -3*x + 6*o = 2*o + 28. Let j be (1 + -1)*x/8. Suppose j = i - 14 - 13. Is 27 a factor of i?
True
Suppose -2*q + 282 - 102 = 3*r, -5*q + 450 = 3*r. Is q a multiple of 85?
False
Suppose 14 = 5*r - 2*r - 2*i, 0 = r + 2*i - 18. Let m = -12 + r. Does 10 divide ((-50)/m)/((-1)/(-2))?
False
Suppose 6*x = -2*t + 516, 2*t + 4*x + 968 = 6*t. Is 24 a factor of t?
False
Let o(c) = 184*c**2 - 6*c - 12. Is o(-2) a multiple of 23?
True
Let p be 18/(-27)*(-144)/1. Suppose p = -0*a + 4*a. Suppose 2*u - a = 88. Is 14 a factor of u?
True
Suppose -11*f + 20130 = -f. Is 33 a factor of f?
True
Suppose -20*a = -74 - 166. Does 18 divide (162/a)/(3/8)?
True
Suppose 2552 + 1123 = 21*k. Does 7 divide k?
True
Suppose -12*a + 14543 - 3707 = 0. Does 31 divide a?
False
Suppose 0 = -5*j - 3*h + 1, h = -0*h - 3. Suppose o + 3 = j. Is (1 - o)/((-1)/(-22)) a multiple of 22?
True
Is (-1 - (-2169)/(-45))/(1/(-10)) a multiple of 6?
True
Is 11 a factor of ((-18)/(-8))/(37/1480)?
False
Is 31 a factor of -14*258/12*-1?
False
Suppose 4*k = -12, 4*x - 2*x = 5*k + 509. Does 19 divide x?
True
Let s = -57 - -91. Let i = -31 + s. Suppose -4*k + 166 = -2*u, k + 13 - 37 = -i*u. Does 13 divide k?
True
Suppose 19*z - 17784 = 6*z. Is 36 a factor of z?
True
Let q(c) be the second derivative of 3*c**5/20 - c**4/12 + 5*c**3/6 - 3*c**2/2 + 13*c. Does 14 divide q(3)?
True
Does 8 divide 690/(-161)*-2*(-35)/(-2)?
False
Let u = -133 - -341. Let n = u - 124. Does 12 divide n?
True
Suppose 3*c = -2*j - 950, c + 2*j - j = -317. Let g = -226 - c. Does 15 divide g?
True
Suppose 4*w + w - 25 = -3*j, 4*w - j - 3 = 0. Suppose w*p = 113 + 159. Is 17 a factor of p?
True
Let y(c) = -7*c**2 - 7*c - 1. Let b be y(-5). Is b/(-2) - (-1)/(-2) a multiple of 10?
True
Suppose 0 = -15*k + 2275 + 275. Is k a multiple of 5?
True
Let z(s) = 11*s + 19. Let k be z(7). Suppose 12*o - k = 10*o. Is o a multiple of 8?
True
Let l(k) = -k**2 + 23*k - 32. Let q be l(11). Let t = q + -64. Does 6 divide t?
True
Let z be (2 + -4)/((-10)/15). Let d be (z - 5)/(-1 + 0). Suppose d*m = 3*c - c + 76, 2*c = -m + 50. Is 28 a factor of m?
False
Suppose 2846 = 562*u - 561*u + 2*v, -v = 3*u - 8518. Does 14 divide u?
False
Is 192/(-112)*-7*47/2 a multiple of 2?
True
Suppose 0 = -3*f + 6*f. Suppose 6*l = -f*l - 936. Is (6/8)/((-3)/l) a multiple of 37?
False
Let q = 6 - -24. Let h = q - 18. Does 4 divide (2 - 0)/(2/h)?
True
Let p = -144 - -179. Is p a multiple of 2?
False
Let f(c) = 81*c + 1. Let w be f(1). Suppose -5*v + w = 2. Is 4 a factor of v?
True
Let t(l) = -l**3 - l**2 + 7*l + 6. Let v be (-2)/(-3)*-3 - 2. Let x be t(v). Suppose g + g - x = 0. Is 4 a factor of g?
False
Let j(h) = 2*h**2 + h. Let k be j(-2). Let w(o) be the second derivative of o**5/20 - 5*o**4/12 - 5*o**3/6 + 5*o**2 + 13*o + 2. Does 5 divide w(k)?
False
Let t be (-4)/((-3)/(-1) + -1). Is 77 - t/4*4 a multiple of 19?
False
Let d be 485/4 - (3 - 6)/(-12). Suppose 0 = -2*r - 1 + d. Is 20 a factor of r?
True
Let v = -3513 + 8430. Is 50 a factor of v?
False
Let p(d) = -10*d + 56. Let i(f) = 11*f - 55. Let c(g) = 5*i(g) + 6*p(g). Is 13 a factor of c(7)?
True
Let w(j) = -5*j - 42. Let h be w(-8). Is 4 a factor of (3/h)/((-12)/352)?
True
Let d = 529 + -48. Is d a multiple of 30?
False
Let h = 663 + -452. Is h a multiple of 56?
False
Let c = 1889 - 1038. Is c a multiple of 36?
False
Let r(v) = 606*v - 611*v + 3 - 5. Suppose -2*b - 6 = 5*l, 0 = 5*b + 5*l + 2 + 13. Does 13 divide r(b)?
True
Suppose -2346 - 514 = -13*q. Does 4 divide q?
True
Suppose a - 5*o - 409 = 0, -2*a - 2*o = -7*a + 2160. Is a a multiple of 7?
True
Suppose 0*f + f - 9 = 0. Suppose q - 6*q = -2670. Is q/f + 2/3 a multiple of 30?
True
Let q = -750 + 1420. Does 67 divide q?
True
Let f(m) = 92*m**3 + m - 2. Suppose 4*s + 4*s = 8. Is 12 a factor of f(s)?
False
Let z(g) = -2*g + 26. Let k be z(11). Suppose -k*o - 3 - 17 = 0. Let w = o - -18. Is w a multiple of 5?
False
Let d(b) = -4*b - 21. Let a be d(-6). Suppose a = 4*h - 17. Suppose 0*q + h*q = j + 402, -4*q + 310 = 5*j. Does 20 divide q?
True
Let i(f) = -4*f**2 - 15*f - 10. Let r(m) = 2*m**2 + 7*m + 5. Let s(a) = 6*i(a) + 13*r(a). Let n = 202 + -197. Is 15 a factor of s(n)?
True
Let y(n) = 10*n**3 + 2*n**2 - 3*n + 2. Let u = 7 - 5. Is 12 a factor of y(u)?
True
Let k be -5*(-3)/(45/(-12)). Let d be (-10 + 0)/(k/2). Suppose -179 = -3*c - d*b, -3*b = -2*c + 50 + 44. Does 15 divide c?
False
Suppose 25*i + 5850 = 38*i. Is i a multiple of 22?
False
Let q(w) = -w**3 - 14*w**2 - 2*w - 33. Let g be q(-14). Is 23 a factor of (1 + (-1 - g))*28?
False
Let w = -42 - -44. Suppose 4*l = -w*o + 86, l + 2*l - 57 = -3*o. Is l a multiple of 24?
True
Let a = 50 + -9. Suppose 0 = 3*b + 4*g - 131 - 22, a = b - 2*g. Does 13 divide b?
False
Let f be (-1 - -1)*(-2)/(-4). Suppose -36*y + 39*y + 12 = 0. Is 12 a factor of (f - -2) + y + 48?
False
Let g be (4/5)/((-4)/(-120)). Suppose 5*v - 3*v - g = 0. Let u = 18 - v. Is 3 a factor of u?
True
Let x = -58 - -78. Is (x/22)/5 + (-7520)/(-22) a multiple of 19?
True
Is 86 a factor of 348 - 3/(4 - 65/20)?
True
Let r be 2/2*(33 + -1). Let o be (1 + -1 + (-10)/(-4))*18. Let y = o - r. Does 13 divide y?
True
Let o(m) = -m**2 + 11*m - 3. Let d = -12 - -22. Is 5 a factor of o(d)?
False
Let v = 39 + -9. Suppose 2*m - 5*m = -v. Let c(n) = n**3 - 10*n**2 + n + 2. Is c(m) a multiple of 4?
True
Is 28 a factor of 9 + (14 - 10) + 3385?
False
Let x(o) = 7*o - 6. Let m(t) = -6*t + 5. Let d(k) = -6*m(k) - 5*x(k). Let z(s) = -20*s - 2. Let p(f) = 12*d(f) + z(f). Is 14 a factor of p(-2)?
True
Suppose 212 = -0*s + s. Let v be (-4)/14 + s/7. Suppose 0 = p + 3*q - v, 5*p - q = 2*p + 50. Is p a multiple of 18?
True
Let r = -1 - -8. Let f(a) = -a**3 + 6*a**2 + 8*a. Let m be f(r). Suppose 5*t - m*t + 120 = 0. Is 20 a factor of t?
True
Let p(c) = -c**2 + 7*c - 8. Let z be p(5). Suppose 5*u - 3*a - 431 = 106, 434 = 4*u + z*a. Does 36 divide u?
True
Suppose -5*a - 695 - 395 = 0. Let r = a - -350. Is r a multiple of 44?
True
Let a(f) = -f**2 - 3*f. Let n be a(-6). Let b(u) = 18*u - 14. Let p be b(-6). Does 2 divide (-6)/(-27) + p/n?
False
Let g(x) = 7*x + 74. Is 5 a factor of g(8)?
True
Suppose 3*z = z - 3*d + 238, 3*z - 344 = 2*d. Does 10 divide z?
False
Let d = 184 - -180. Let r = d - -110. Suppose v - 3 = 0, -v - r = -5*b + v. Is b a multiple of 16?
True
Let f = -12 - -19. Let h = 16 + -11. Suppose f + 73 = h*z. Is z a multiple of 9?
False
Let i be (1 + 0)/((-1)/7). Let h = -5 - i. Suppose 0 + h = z. Is 2 a factor of z?
True
Let k be 846/45 - 2/(-10). Suppose k*w = 17*w - 14. Let v = w - -14. Is v a multiple of 2?
False
Let m = -2049 - -2869. Is m a multiple of 20?
True
Let g(h) = 0*h**2 + h**2 - 1 + 2*h + h**2. Let r be g(-3). Let p = r - 5. Is 2 a factor of p?
True
Suppose -5*t + 2*d - 8 = 0, -4*t - 3*d = -7 - 5. Let w(a) = a + 248. Let k be w(t). Does 18 divide (-2)/(-7) - k/(-14)?
True
Let u(n) = 2*n + 20. Let b be u(-6). Let v = 149 - b. Is 20 a factor of v?
False
Let u = 442 + -235. Suppose 57 = 3*y - u. Is y a multiple of 22?
True
Is 27 a factor of 15/75 + (-689)/(-5)?
False
Let n(l) = -7*l**3 - 8*l**2 + 6*l + 44. Is n(-6) a multiple of 41?
False
Let s(d) be the second derivative of 0 - 6*d**3 - 5/2*d**2 + 10*d. Does 12 divide s(-2)?
False
Suppose 4*p + 2*u = 4202, 4*u - 1896 - 214 = -2*p. Is 17 a factor of p?
False
Suppose 5*m + 25 = 3*s + 2*s, -4*m = -s - 1. Let n = s + -2. Suppose 265 = n*o - b, 5*o = 3*b + 191 + 84. Is o a multiple of 13?
True
Is 4 a factor of (96/(-18))/((-3)/36)?
True
Let u be 1 + -13 + (7 - 5). Does 5 divide ((-268)/u)/(9/((-90)/(-4)))?
False
Suppose -2*p - 15 + 9 = 0. Let r(l) = -2*l + 10. Let d(c) = 4*c - 19. Let x(t) = p*d(t) - 5*r(t). Does 15 divide x(-9)?
False
Let j = 3050 + -1650. Is j a multiple of 25?
True
Suppose 0*b + 4*b - 4 = 0. Let h be (-6)/(b*(-2)/(-1)). Does 14 divide 34/8*(-24)/h?
False
Suppose 6*z - 106 = 452. Is 9 a factor of z?
False
Let a(m) = 10*m**2 + 3*m + 3. Let i be (5 - (3 - 1))*1. Let z(j) = 19*j**2 + 5*j + 6. Let d(n) = i*z(n) - 5*a(n). Is 21 a factor of d(-2)?
False
Let x = -232 - -133. Let a = x - -158. Is a a multiple of 15?
False
Suppose 21056 = 29*h - 13*h. Is h a multiple of 22?
False
Let d(v) = v**3 + 22*v**2 + 12*v - 107. Is