. Is 15 a factor of 5/(-10) - u/(-6)?
False
Suppose 0 = -50*n + 2928 + 45172. Is n a multiple of 19?
False
Let i(y) = y**3 - 5*y**2 + 5*y + 20. Does 17 divide i(7)?
True
Let k be (-2)/(-3) + (-2)/3. Let y be (-744)/(-152) + ((-30)/57)/(-5). Suppose -3*z = k, y*b + 2*z - z = 75. Is b a multiple of 5?
True
Let n(h) = h**2 + 9*h. Let t be n(-10). Suppose 2*y + z = 5, 3*y - z - 5 = t. Suppose 3*w = -5*m + 194 - 69, m = y*w - 182. Is w a multiple of 15?
True
Suppose 20*i - 43*i = -483. Does 2 divide i?
False
Suppose -f + 322 + 13 = 5*l, 2*l + 5*f = 157. Is l a multiple of 10?
False
Suppose -3*g + 2*d + 1 = 0, g = 4*g + 3*d - 21. Suppose -825 = g*z - 8*z. Is z a multiple of 33?
True
Let p = -26 + 12. Let g be (-7)/(p/80) + -2. Suppose -2*j - g = -2*s + 76, 3*j - 9 = 0. Is 20 a factor of s?
True
Let n(m) = m**3 - 4*m**2 - 3*m - 12. Let c be n(5). Let p be ((-65)/10)/(1/c). Suppose 0 = 2*q - 3 - p. Is q a multiple of 3?
False
Let u(s) = s**3 - 3*s**2 - 5*s + 4. Let k(f) = f**2 + 3*f - 6. Let v be k(-5). Let o be u(v). Suppose 3*n = 5*j - 19 - 9, 4*j - n - 21 = o. Is 2 a factor of j?
False
Let i(r) be the third derivative of -7*r**6/360 + r**5/60 + r**4/4 + 6*r**2. Let a(w) be the second derivative of i(w). Does 26 divide a(-5)?
False
Is ((-244)/(-183))/(8/942) a multiple of 14?
False
Suppose 7*j + 11076 = 19*j. Is j a multiple of 18?
False
Suppose 3*c = -f + 143, -2*c - 440 = -6*f + 3*f. Is 19 a factor of f?
False
Let c(d) = -d**2 + 11*d + 6. Let f be c(11). Does 23 divide 8/12 - (-296)/f?
False
Let s = 416 - 153. Suppose -4*z + s = -a + 6*a, 5*a = -5*z + 265. Does 17 divide ((-2)/(-2))/(1/a)?
True
Let q = -29 + 44. Let n(z) = z**3 - 15*z**2 + 8*z - 14. Is n(q) a multiple of 15?
False
Let j(x) = 4*x**3 - x**2 + 2*x - 2. Let v(n) = n**3 + 1. Let i(b) = j(b) + 2*v(b). Let a = 6 - 4. Does 16 divide i(a)?
True
Let x be ((-2)/6)/(-1*3/(-63)). Let o = x - -35. Is o a multiple of 6?
False
Let p(v) = -v**3 + 8*v**2 + 5*v - 7. Let x be p(9). Let z = -19 - x. Is z - 2/(-3)*3 a multiple of 26?
True
Suppose -23*y + 7398 = -16890. Is y a multiple of 41?
False
Let j(v) = -v**2 - 11*v - 11. Let d be j(-10). Let i be -3 - (-52 - d)/(-1). Let k = 110 + i. Is 28 a factor of k?
True
Suppose -5*k - s = 769, 3*k - 4*s + 224 = -219. Does 13 divide k/(12/(-4)) - 1?
False
Let d be 12 - 7 - (-10 - 0). Let c(f) = -11*f**2 - f. Let j be c(1). Let b = d + j. Is 3 a factor of b?
True
Let r(f) = -f**2 - 5*f + 22. Let h be r(-7). Suppose 4*m = -a + 54, 6*a - 2*m = h*a - 84. Is 3 a factor of a?
False
Let t(k) = -2*k**2 - k - 1. Let l(n) = -3*n**2 - 1. Let y(i) = -4*l(i) + 5*t(i). Let v be y(5). Let j = 64 - v. Does 10 divide j?
True
Let q(k) = 790*k + 38. Does 28 divide q(3)?
True
Is 6 a factor of (106 - -62) + (-2 - 4)?
True
Suppose -4*y = y + 260. Suppose 0 = -4*k - 36 - 260. Let o = y - k. Does 6 divide o?
False
Let u = 1787 + -948. Does 62 divide u?
False
Suppose -14*s + 15*s - 77 = 0. Suppose s = 4*u - 67. Is 9 a factor of u?
True
Suppose -2*k + 24 = 5*a, -3*a - 2 = -3*k - 2*a. Let u be k/4*0*1. Is 24 a factor of -4 - (-3 + u) - -88?
False
Suppose 0 = -0*m - 5*m - 80. Is (-76)/m + 1/4 a multiple of 5?
True
Let r = 82 - 80. Suppose 2*f + 2*w - 268 = 0, -3*f + 2*w = -132 - 265. Suppose -8 = r*h - 4*h, 5*o + 2*h = f. Is o a multiple of 25?
True
Suppose 14127 = 5*l - 3*n + 4447, -2*l = 2*n - 3872. Is l a multiple of 16?
True
Let i(s) be the first derivative of s**4/4 - 13*s**3/3 + s**2/2 - 11*s + 1. Let z be i(13). Suppose -g + 3*d = 11 - 50, -z*g - 2*d = -38. Does 8 divide g?
True
Let l = 1240 - 376. Let m = l - 594. Is m a multiple of 45?
True
Let n(q) = -q - 16. Let g be n(-8). Let f = g + 6. Let h = 38 + f. Does 12 divide h?
True
Does 8 divide (-4)/(-14) + (-832)/(-28)?
False
Let a(q) = -14*q**3 + q**2 - 8*q - 7. Let n be a(-5). Let h = 1241 - n. Does 27 divide (2 - 4)*h/14?
True
Is (-2)/3 - (-7786)/51 a multiple of 12?
False
Let o = 33 - 29. Suppose 288 = 5*r - o*t, 0 = -r - 3*r - 5*t + 255. Does 10 divide r?
True
Suppose 3 = -2*h - 3*g - 0, -2*h - g + 7 = 0. Let y be ((-36)/(-10))/((-6)/(-60)). Let w = h + y. Is w a multiple of 16?
False
Let p = -2131 - -3466. Is 89 a factor of p?
True
Suppose 12*m + 4*y = 16*m - 308, 0 = -3*y + 12. Is m a multiple of 9?
True
Let g(t) = -t**3 + 10*t**2 + 25*t - 2. Suppose 0 = -4*m - 7 + 55. Is 10 a factor of g(m)?
True
Let f(q) = 15*q - 7. Let k(o) = -16*o + 8. Let p(l) = -2*f(l) - 3*k(l). Let n be p(-5). Let i = n - -157. Is i a multiple of 19?
True
Let n(x) = x**3 - 24*x**2 + 8*x + 17. Is n(24) a multiple of 3?
False
Let f be -2*((-15)/6 - 0). Suppose -2*a = -f*a + 4*u + 680, 3*a + 2*u = 668. Is 56 a factor of a?
True
Let a(b) = b**3 + 15*b**2 + 31*b + 18. Is a(-12) a multiple of 3?
True
Let a(v) = v**3 + 7*v**2 + 7*v + 15. Let h be a(-6). Does 4 divide (-1194)/(-27) - 2/h?
True
Suppose 2*g + t - 4 = 1, 5*t = -g - 20. Suppose -r + g*j = 10, 3*j - j - 19 = r. Is 2 a factor of (4 - (r - 3))/2?
True
Suppose -2*h + 7 + 1 = 0. Let n be -2*(44/(-8) + h). Suppose 5*g + 2*s = 190, -n*s = 2*s - 25. Does 9 divide g?
True
Suppose -4*y = -g - 9, -4*y - 6 = -9*y - 4*g. Suppose 276 = 4*v - 3*q, 5*v - y*v + 3*q - 228 = 0. Is v a multiple of 24?
True
Let w(a) = -11*a**3 - 5*a**2 - 4*a - 5. Does 15 divide w(-3)?
False
Let m(o) = 3*o + 29. Is 2 a factor of m(6)?
False
Let y = -18 - -22. Suppose 3*p + y*p = 861. Is 41 a factor of p?
True
Suppose 0*r = 3*r + 36. Suppose 3*n - 2*u + 31 = -6, 0 = n + 3*u - 6. Is (-268)/r - (-3)/n a multiple of 22?
True
Let g(s) = 3*s**2 - 3*s - 1. Let k be g(3). Let x be k/5 + 10/(-25). Suppose 5*f - 5*m - 50 = 0, -2*m + x*m - 20 = -4*f. Is 3 a factor of f?
True
Let v be 4/(7 + -3) - -1. Suppose 3*m + 5*c = 7*c + 66, 0 = 4*m - v*c - 86. Let l = 49 - m. Does 6 divide l?
False
Is 5/50 + 5276/40 a multiple of 4?
True
Let h = 9 + -16. Let r(i) = -i**3 - 6*i**2 - 4*i + 4. Let k be r(h). Suppose 2*g + k = 5*g. Is 9 a factor of g?
True
Let n(k) = -20*k - 168. Is n(-18) even?
True
Let t(m) = m**2 - 4*m - 1. Let f be t(5). Suppose f*q - q = 2*j - 33, -54 = -4*j + 2*q. Is j a multiple of 5?
False
Suppose w - 2*w = 0. Suppose -4*p + 3*q + 17 + 4 = w, -2*q - 26 = -4*p. Suppose -5*s + 106 = 3*a, -4*a + a = p. Is 23 a factor of s?
True
Let r(v) = 11*v + 1. Let d be r(1). Does 7 divide (d/(-10))/(2/(-15))?
False
Suppose 0*x = 2*x + 20. Let s = -10 - x. Suppose s*a = -4*a + 48. Does 12 divide a?
True
Let s(l) = -l**3 + l**2 + 5*l + 5. Let g be s(5). Does 7 divide 2/(-4)*(g - 0)?
True
Let u = 316 - -296. Does 36 divide u?
True
Let d = 57 + -54. Suppose 0*h - q = -h + 23, 0 = d*h + 4*q - 48. Is h a multiple of 5?
True
Suppose -2*u + 3*n = 4*n - 352, 5*u - 880 = -4*n. Does 16 divide u?
True
Let d(b) be the second derivative of -8*b + 1/20*b**5 - 5/6*b**3 + 1/3*b**4 + 0 + b**2. Is 11 a factor of d(-4)?
True
Suppose 0 = -2*k + 39 + 75. Is 9 a factor of k?
False
Let s(t) = 13*t**3 + 2*t**2 - t + 2. Let f be s(2). Suppose -637 = -3*u - f. Does 30 divide u?
False
Let v = -137 - -148. Let l(x) = 0*x - 14 + x**3 + 9*x - 12*x**2 + 4*x. Does 2 divide l(v)?
True
Suppose -3*x - 120 - 72 = 0. Let j = 142 + x. Does 13 divide j?
True
Let v = -742 + 1506. Is v a multiple of 10?
False
Let d(v) = -v**2 + v - 86. Let n be d(0). Suppose 5*p + 120 = 2*p. Let u = p - n. Is 11 a factor of u?
False
Let z(q) = -28*q + 14. Let i be z(-9). Is 17 a factor of (-1)/(9/6) + i/3?
False
Suppose 126 = -4*l - 5*l. Is 9 a factor of 4/10*7/(l/(-90))?
True
Let x = -40 - -45. Suppose -230 = x*v - 10*v. Is v a multiple of 8?
False
Let r(v) = v**2 - v + 55. Let c be r(11). Suppose 1099 + c = 8*w. Does 22 divide w?
False
Suppose -w + 56 = 2*z, 3*w - 97 - 19 = -4*z. Is z a multiple of 14?
False
Is (-9)/((42/(-30))/7) a multiple of 15?
True
Suppose 793 = 3*u - 4*k + 279, -5*u = 5*k - 810. Let j = -82 + u. Does 21 divide j?
True
Let y(i) = 9*i**2 - i. Let c be y(1). Suppose -165 = 3*w - c*w. Is w a multiple of 6?
False
Suppose -91 = -4*y - 5*n - 36, 0 = 4*y + n - 75. Let o(a) = 0*a - 31 + 3*a + 5 - a. Is o(y) a multiple of 14?
True
Let b(r) be the third derivative of r**5/60 + r**4/24 + r**3/6 + r**2. Let v be b(0). Is 23 + v/((-1)/3) a multiple of 20?
True
Let x(y) = -y**3 + 9*y**2 - y - 1. Let d be x(7). Let i(a) = -a**2 - 4*a + 27. Let n be i(5). Let q = n + d. Does 14 divide q?
Fal