) = k**3 + 12*k**2 - k - 3. Suppose 0 = -4*a - 16, 3*v - 10 = -a - 50. Let s be n(v). Does 7 divide (s/5)/((-6)/(-50))?
False
Let m(h) = h**3 - h - 14. Let f be m(0). Is 2 a factor of 69/21 - (-4)/f?
False
Let b(s) = -4*s + 10. Let z be b(4). Let h(g) = -g - 3. Let r be h(z). Suppose t = r*t - 30. Is 6 a factor of t?
False
Let t(h) = -48*h + 0 + 4*h**2 - 3*h**2 + 47*h + 5. Does 5 divide t(6)?
True
Let g(s) = 23*s + 2. Let l be g(-1). Let p = l - -23. Suppose 103 = p*x - 81. Is 11 a factor of x?
False
Suppose -4*l + 3*r - 32 = 0, -2*l - 2*r - 12 - 4 = 0. Let i = l + 13. Suppose k + 48 = i*k. Is k a multiple of 6?
True
Let b(p) = -4*p + 4. Let i be b(-1). Suppose 15 = -5*g + i*g. Does 4 divide g?
False
Suppose 13*u + 420 = 16*u. Let g = u - 119. Is 7 a factor of g?
True
Suppose g - 9 = p - 3*p, 4*g + 9 = p. Suppose s - 5*s + 500 = -p*w, 2*w + 128 = s. Does 20 divide s?
True
Let f = -1334 - -1869. Suppose -f - 41 = -6*g. Suppose g = 5*y - 104. Is y a multiple of 24?
False
Suppose -810 = 5*d + 2*r - 9975, 0 = -4*d + 3*r + 7332. Is d a multiple of 13?
True
Suppose 10*p - 1440 = 410. Does 3 divide p?
False
Let x be (-1)/3 + 1416/36. Let r = -19 + x. Is 10 a factor of r?
True
Suppose 3*c - 53 = -203. Let z = c - -71. Is 5 a factor of z?
False
Is 15 a factor of (-1052)/(-5) - (24/(-15) - -2)?
True
Let a = 31 - 21. Suppose -6*l = -a*l + 320. Is l a multiple of 20?
True
Let b(r) = -r**3 + r**2 + r - 1. Let h(c) = 6*c**3 + 3*c**2 - 11*c + 19. Let m(o) = 5*b(o) + h(o). Is m(-8) a multiple of 17?
False
Suppose -8*p + 1584 = -2*p. Is p a multiple of 33?
True
Let t = -4 - -7. Suppose 2*n + t*v = 145, -5*n = -5*v + 3*v - 391. Does 11 divide n?
True
Suppose 11*t - 13*t = 0. Suppose t = j - 4 - 0. Does 4 divide j?
True
Suppose -3*v + 4*x + 2 = 0, -7*v = -2*v - 4*x - 14. Does 9 divide ((-15)/v)/(1/(-18))?
True
Let l = 206 - 108. Suppose -5*a - l + 343 = 0. Does 4 divide a?
False
Suppose 2*w = 4*d - 26, -w - d + 2*d - 15 = 0. Let z = -17 - w. Suppose -2*j - j + 189 = z. Is j a multiple of 11?
False
Let x(c) = 5*c**2 + 10*c + 5. Let r be x(-4). Suppose -4*s - r = 11. Let a(f) = -f**3 - 15*f**2 - 17*f + 18. Is a(s) a multiple of 9?
False
Suppose -40*g + 51*g = 8415. Does 5 divide g?
True
Let y(w) = -8*w**2 - 8*w + 2. Let l(v) = -v**3 + 2*v**2 + 3*v + 2. Let q be l(3). Let s(f) = 7*f**2 + 8*f - 3. Let a(c) = q*y(c) + 3*s(c). Does 32 divide a(3)?
True
Suppose -4*r = -3*f - 43 + 3, -2*f + 3*r = 27. Let t be (-1)/((-21)/f + -2). Suppose -t*s + s + 102 = 0. Does 17 divide s?
True
Suppose 3*m + 7 = 2*q - 6, -17 = -q + 5*m. Let f be -6*(-2)/8*2. Suppose -190 = -b - f*b - q*d, -3*b = 2*d - 145. Is b a multiple of 9?
True
Let q = -1593 + 1706. Does 14 divide q?
False
Let s(f) = -f. Let h(n) = 9*n - 12*n - 4*n - 5. Let d(y) = -h(y) + 3*s(y). Does 9 divide d(10)?
True
Does 3 divide 320/24 - 13 - (-224)/3?
True
Suppose -8 = -2*h + 3*s + 121, s = -5*h + 348. Is h a multiple of 5?
False
Let d = 87 - 10. Is 45 a factor of d?
False
Suppose 10 = 6*w - 11*w. Let i(a) = -3 - a**3 + 5 - 6*a**3 - a. Does 25 divide i(w)?
False
Does 8 divide (4/6)/(7/18)*42?
True
Let r = 1442 + -847. Does 7 divide r?
True
Suppose -9 = -4*y - 1. Let n = -3 + y. Does 11 divide n - (-3)/(6/68)?
True
Let t = 21 - 71. Let f = 85 + t. Does 3 divide f?
False
Does 26 divide ((-26)/(-8))/((-48)/(-1920))?
True
Suppose 2*g - 20 = -0*g. Let v be (112/20)/(4/g). Let x = 40 + v. Is 12 a factor of x?
False
Is 10/(-25) + (-5746)/(-65) a multiple of 8?
True
Suppose -11 = -3*t - a, 3*t = -3*a + 4*a + 7. Suppose -t*d = d - 36. Is d a multiple of 3?
True
Suppose -17*g = -1290 - 1005. Does 5 divide g?
True
Let k = -16 + 70. Suppose 170 = 4*b - k. Suppose -r = 3*r - b. Is 4 a factor of r?
False
Suppose 41 = a + 4*z, 5*a - z + 3*z - 205 = 0. Is 41 a factor of a?
True
Suppose -4*r + 1757 = -h - 464, 3*h = 3*r - 1668. Does 37 divide r?
True
Suppose -1275 = 5*k - 4*z - 241, k + 2*z + 218 = 0. Let s = k - -311. Let q = 157 - s. Is q a multiple of 19?
False
Let o = -27 + 27. Suppose o = w + w - 4*c - 46, c + 52 = 2*w. Does 10 divide w?
False
Suppose -2*h - k + 4*k + 467 = 0, 4*k = 4*h - 932. Is h a multiple of 15?
False
Let m = 329 - -99. Does 15 divide m?
False
Let y(q) = 2*q**2 + 4*q - 14. Let p be y(-6). Is (p/(-85))/((-2)/600) a multiple of 20?
True
Let m = -13 + 24. Suppose m*k - 8*k = 234. Is k a multiple of 39?
True
Let k = -111 - -270. Does 8 divide k?
False
Let p(n) = -n - 3. Let b be p(4). Let i(k) = k**2 + 4*k - 1. Is i(b) a multiple of 7?
False
Let i(d) = 23*d + 1. Let f be i(2). Let q = -77 + 148. Let w = q - f. Does 12 divide w?
True
Let m = -23 - -7. Let o = m + -45. Let p = o - -102. Is 13 a factor of p?
False
Suppose 4 = 5*b + 3*w, 0 = -0*b + 2*b - 2*w - 8. Let r(u) = 8*u - 4. Let m be r(3). Suppose 0 = -2*z + b*q + 44, -z + 2*q + 0*q + m = 0. Does 24 divide z?
True
Suppose -30*w + 23107 = -41063. Is 31 a factor of w?
True
Suppose 89*r + 12894 = 110*r. Does 18 divide r?
False
Let d = -104 - -81. Let b = 97 - 39. Let y = d + b. Is 5 a factor of y?
True
Let b be 3/(-9) + 44/(-3). Let s be b/7 + (-8)/(-56). Let g = 10 + s. Is 7 a factor of g?
False
Let f = -144 - -240. Is f a multiple of 24?
True
Let q(z) = -21*z + 43. Is q(-10) a multiple of 74?
False
Suppose 2*v - 1491 = l + 4*l, 4*l - 1446 = -2*v. Suppose -5*h + v = 3*y, 0 = 3*y + 4*h - 2*h - 727. Suppose 3*b = y - 52. Is 21 a factor of b?
True
Let q(i) be the first derivative of -i**5/20 + i**4/6 + i**3/2 - 2*i**2 - 6*i - 5. Let t(h) be the first derivative of q(h). Is 16 a factor of t(-3)?
True
Let q(x) = x**3 + 26*x**2 - 17*x + 55. Is 94 a factor of q(-25)?
False
Suppose 50 - 202 = -4*d. Let h = 58 - d. Does 10 divide h?
True
Let u = 5510 - 2372. Does 13 divide (-4)/18 - u/(-27)?
False
Let d be 38/(-4)*(1 - 3). Let j = d + -16. Suppose 0*w + 5*w + j*q = 200, 3*w - 109 = -4*q. Does 23 divide w?
False
Let n(o) = 4*o + 1 + 4*o**3 + 2*o**2 - 5*o**3 + o**2. Let d be n(4). Does 10 divide 3/((-94)/100 + d)?
True
Let q(a) be the second derivative of -a**5/20 - 19*a**4/12 - a**3/3 - 23*a**2/2 + 4*a. Is 3 a factor of q(-19)?
True
Let i be 3/(-5) + 608/(-20). Let u = -48 - i. Let o = 3 - u. Is 5 a factor of o?
True
Suppose y + 5*u = 12 + 46, -2*y - 4*u + 122 = 0. Suppose 5*b - y = 292. Does 17 divide b?
False
Let c = 117 + -76. Let k = c - 9. Is k a multiple of 16?
True
Let a(x) = -50*x**2 - 3*x + 1. Let c be a(1). Let p = c - -7. Let h = p - -71. Is h a multiple of 10?
False
Let j be (-4)/7 - (1616/14 - -5). Let q = -103 - j. Is q a multiple of 4?
False
Is 39 a factor of 99/2*(-832)/(-48)?
True
Let y(c) = c**2 - 17*c - 16. Let b be y(18). Does 14 divide (33/b*40/(-6))/(-1)?
False
Let l(o) = -o**3 - 7*o**2 + 4. Let w be l(-7). Suppose 5*s + 13 - 3 = 2*u, -s + w*u - 2 = 0. Is (-891)/(-22) + 1/s a multiple of 20?
True
Let b(k) be the first derivative of k**4/4 - k**3/3 + 5*k - 2. Let q be b(0). Suppose 0*x = q*x - 165. Is x a multiple of 11?
True
Suppose -13*a + 11*a + 100 = 0. Let o = a + -20. Is 5 a factor of o?
True
Let k(t) = -t**3 + 5*t**2 + 6*t - 5. Let a be k(6). Let r = a - -7. Suppose -13 + 151 = 2*b - 4*n, -r*n + 381 = 5*b. Is 33 a factor of b?
False
Suppose -4*j + 5*s = 28 + 17, 0 = -2*j + 2*s - 24. Let l be (-12)/(-20) - 66/j. Suppose l*m - 150 = -0*m. Is m a multiple of 10?
True
Let s(p) = -p**3 - 10*p**2 + 19*p - 27. Is s(-12) a multiple of 33?
True
Let f = -251 + 693. Is 61 a factor of f?
False
Let q(k) = -19*k + 275 - 144 - 154. Is q(-4) a multiple of 30?
False
Suppose 0 = -2*g - 2*s - 2, -4*g - 3*s = -15 + 14. Let d(n) = -2*n - 1. Let h be d(-2). Suppose 0 = h*i + p - 148, 4*i + g*p = 148 + 36. Is i a multiple of 17?
True
Let m be 4/14 - 60/(-35). Suppose 12*w = m*w + 2070. Is 23 a factor of w?
True
Let g(f) = -2*f + 27. Let w be g(15). Let r = 28 + w. Is r a multiple of 10?
False
Suppose -4 = -12*g + 44. Suppose 0*k = -g*k + 3*v + 231, v = k - 58. Is 57 a factor of k?
True
Does 17 divide -1 + 138 - (-5)/(-25)*5?
True
Let x(p) = p**3 - 7*p**2 + 4*p + 5. Let q be x(6). Let i(h) = h**2 + 8*h + 20. Does 4 divide i(q)?
False
Let y(g) be the third derivative of -3*g**4/4 + 5*g**3/3 - 11*g**2. Does 12 divide y(-4)?
False
Let p be (-1 - -4)*4/(-6). Does 24 divide ((-4)/(-6))/((14/(-1071))/p)?
False
Is (-1155)/(-70) - (-3)/2 a multiple of 18?
True
Suppose 2*l +