 3. Let r be j(4). Let a = r - 9. Suppose 0 = 3*o + 2*p, 0*p - 4*p - a = 0. Is o a multiple of 2?
True
Let j be (-9)/24*(-72)/18*-20. Let s = -1 + -1. Does 10 divide (50/(-15) - s)*j?
True
Let x = -93 + 98. Is 4/((-4)/x)*-10 a multiple of 11?
False
Suppose -10*c - 9200 = -18*c. Is 31 a factor of c?
False
Suppose n - 3*a = 608, -4*a = n - 2*n + 605. Does 17 divide n?
False
Let n(j) = 25*j**2 - 24*j - 162. Is n(-6) a multiple of 21?
True
Let b be (0 - 4/(-18)) + 626/18. Suppose -5*p = -10*p + b. Is 7 a factor of p?
True
Is -952*(6 + 52/(-8)) a multiple of 14?
True
Let c(h) = -21*h**3 - h**2 - 11*h - 15. Is c(-3) a multiple of 10?
False
Let w be (21/(-14))/(3/(-10)). Suppose -w*i - 41 = 39. Is (2/4)/(i/(-2272)) a multiple of 11?
False
Let n(f) be the second derivative of f**4/4 + 3*f**3 + 3*f**2 - 10*f. Is 26 a factor of n(-14)?
False
Let r be (-10)/((-50)/3105) + 1/(-1). Suppose r = 3*i + 2*i. Does 31 divide i?
True
Suppose -21 = 2*z - 3. Let o(h) = h**3 + 13*h**2 + 9*h + 1. Is o(z) a multiple of 41?
False
Let f(w) = 1 + 5 - 6*w - 4*w**2 + 7*w**2 - 2*w**2. Let t be f(5). Is t/4 + (-834)/(-24) a multiple of 20?
False
Let j(k) = -k**3 - 14*k**2 + 2*k + 33. Let d be j(-14). Suppose -i + d*i = 80. Is i a multiple of 3?
False
Let z be (6/(-2) - -7) + 22. Let k = -24 + z. Suppose -15 + 65 = k*u. Does 5 divide u?
True
Let r be (-2 - -3)*-1 + 4. Suppose 0 = -3*m + 3*g + 344 - 140, r*m - 4*g = 200. Is 11 a factor of m?
False
Suppose 8*z = -3 + 83. Let o(f) = -f**3 + 11*f**2 - 5*f - 14. Does 4 divide o(z)?
True
Does 2 divide (-62)/(-2) + (-66)/22?
True
Let q(x) = -x**3 - 6*x**2 - 4*x - 9. Suppose -46 = 3*u - 25. Is q(u) a multiple of 17?
True
Is 26 a factor of (-6 - 7/(-7)) + 167?
False
Is 30 a factor of (-60*1)/(0 + 8/(-12))?
True
Let q(t) be the second derivative of t**4/6 + t**3/2 + 2*t**2 - 22*t. Is q(-4) a multiple of 24?
True
Suppose 2*v + 35 - 259 = 0. Is 8 a factor of v?
True
Let n = 668 + -448. Suppose -4*r = 0, -r - n = -4*z - 5*r. Is z a multiple of 11?
True
Let x(f) = -f**3 + 0*f**2 + 2*f - 4 + 4*f**2 + 2*f**2. Suppose 0 = 5*b + 4*p - 25, 13*b - 3*p = 11*b + 10. Is x(b) a multiple of 7?
False
Let v(s) = -s**2 - s. Let g(b) = -6*b**2 - 3*b + 2. Let u(y) = g(y) - 5*v(y). Let c be u(3). Is (-5 - 0)*(-12 - c) a multiple of 11?
True
Let r(t) = -t**3 + 7*t**2 + 5*t - 27. Does 24 divide r(-7)?
True
Let c be 300 + 0 + (-6)/3. Suppose 4*j - 153 = -3*u + 23, 5*u - c = -2*j. Is 10 a factor of u?
True
Suppose -5*j + 6*w - w = -375, 126 = 2*j + 4*w. Is j a multiple of 46?
False
Suppose 0 = 5*q + 5*l + 95, 0*q = -2*q + 4*l - 32. Let c be 1/3 + 24/q. Is 29 a factor of c - 3/((-6)/118)?
True
Let y = 223 - 74. Let k = y + -77. Does 18 divide k?
True
Let l(j) = j**2 + 10*j + 25. Let v be l(-5). Let g = 84 + -4. Suppose -4*o = -4*x - 96, 3*o - x = -v*x + g. Is 14 a factor of o?
True
Suppose -7*b + 8*b - 5*q - 886 = 0, -2*b - 2*q = -1808. Is b a multiple of 6?
False
Let x(f) = -2*f - 7. Let w be (-8 + 20)*2/(-4). Let t be x(w). Suppose 2*y - y + m - 47 = 0, t*y - m - 235 = 0. Does 22 divide y?
False
Let n(d) = -22*d + 10. Let w be n(7). Does 6 divide -7*(-4)/6*w/(-14)?
True
Suppose -4*z - 2*j = -1028, 3*j + 318 = 2*z - 180. Does 51 divide z?
True
Let j be ((-26)/2)/(-1 + 2). Let q(u) = u**2 - 15*u + 18. Let w be q(10). Let t = j - w. Is 7 a factor of t?
False
Suppose -7020 = 47*j - 57*j. Is 26 a factor of j?
True
Let u be 54/(-12) + 2/4 - -436. Suppose 0 = 3*a - 3*p - 75, 3*a = -2*a + p + 137. Does 10 divide u/21 - 16/a?
True
Let h = 19 - -31. Is h a multiple of 5?
True
Suppose -8 = -2*v + v. Suppose x - v = -3*x. Is x a multiple of 2?
True
Let f be -1 + ((-54)/45)/(1/(-5)). Suppose 0 = 8*j - 3*j + 2*w - 980, f*j + w - 975 = 0. Is 37 a factor of j?
False
Let d(k) be the second derivative of 77*k**3/6 - k**2/2 + 38*k. Is d(3) a multiple of 23?
True
Let i(j) = -5*j - 10. Let f be i(-2). Suppose f = -5*y + 9*y - 540. Is y a multiple of 27?
True
Let z be ((-10)/(-4))/5*6. Suppose -h + 8 = -4*o - z, -4*h + 3*o = -57. Is h a multiple of 15?
True
Let s(f) = -f**2 + 43*f - 85. Is 12 a factor of s(39)?
False
Suppose -2*p - 2 = -p + d, 5*p + 42 = 3*d. Let w be ((-63)/(-14))/(p/(-16)). Suppose -h - w = -3*h. Does 5 divide h?
False
Let z(h) = -1 + 3 - 12*h + h**3 - 17*h**2 + 6*h**2. Let m be z(12). Suppose 4*j + 2*u - 130 = 0, u = 7 - m. Is j a multiple of 11?
False
Let m(o) = -o**2 + 2*o + 4. Suppose 11*x - 9*x - 6 = 0. Let q be m(x). Is 7 a factor of 3 + -5 + 28 - q?
False
Let z = 16 - 11. Suppose -2*s = -z*c - 91, -4*s + 0*s = -4*c - 176. Let w = s + -31. Is w a multiple of 6?
True
Let i = -1917 + 3512. Does 55 divide i?
True
Suppose -54*m + j + 625 = -50*m, -5*j = 4*m - 619. Is 18 a factor of m?
False
Suppose -3*x - 19 = -1. Let k be (x/(-8))/(2/(-56)). Let u = k - -39. Is u a multiple of 7?
False
Suppose 5*x + 254 = 2*w, 3*w = -3*x + 406 - 46. Does 6 divide w?
False
Let b be 4/1 - (95 - 7). Let k = b + 204. Does 20 divide k?
True
Let k(n) = 56*n**2 - 12*n + 5. Is k(-4) a multiple of 19?
False
Let m be 7 - (-3)/(2 - 3). Let i(r) = 24*r - 2. Let z be i(m). Let q = z - 53. Is q a multiple of 14?
False
Let j(f) = -f**2 - 19*f + 20. Let o be (0 - 10) + (-8)/2. Let m be j(o). Is 1/(-6) + 4785/m a multiple of 16?
False
Let b(d) = 3*d**2 + 3*d + 39. Let w(r) = -4*r**2 - 5*r - 58. Let x(u) = 7*b(u) + 5*w(u). Let j be x(7). Let l = j + 33. Does 20 divide l?
False
Let j = -6 - -6. Let w = 19 - 4. Suppose j*m - m = -w. Is 12 a factor of m?
False
Let q(k) = -39 - 41 - k**3 + 77 + 15*k + 10*k**2. Is 14 a factor of q(10)?
False
Let c(j) = 33*j. Suppose 3*s = 3 + 3. Suppose 17*g - s = 15*g. Is c(g) a multiple of 11?
True
Suppose -5*c + 2778 = -4*g - 1314, -4096 = -5*c + 2*g. Does 20 divide c?
True
Let t(m) = -6*m**3 - 116 - 4*m**3 + 118 - m. Let d be 3/1*(-2)/3. Is 21 a factor of t(d)?
True
Suppose 0 = 3*u + 2 + 4, -2*d - 4*u + 750 = 0. Does 16 divide d?
False
Suppose -2*h - h - 4*x = -1705, h - 5*x = 581. Is h a multiple of 44?
False
Does 7 divide 36/15 - 2 - 13068/(-55)?
True
Let k(u) = u**2 + 5*u + 7. Let a be k(-3). Is 10 a factor of 50 - ((a - 1) + 0)?
True
Suppose -11388 = -23*m + 1446. Is 88 a factor of m?
False
Let b(n) = 4*n - 40. Let m(a) = a**3 - 11*a**2 + 14*a - 24. Let j be m(10). Does 3 divide b(j)?
True
Let g(n) = -n**3 + 7*n**2 - 4*n + 3. Suppose -2*t + 5*j = 18, 4*t = 3*j - 2 - 34. Let q = -3 - t. Is g(q) a multiple of 15?
True
Let m be (-2392)/(-39)*(-15)/(-4). Let h = m - 530. Does 24 divide (2/5)/((-3)/h)?
False
Does 11 divide -22*(2 + 29/(-2))?
True
Let p be (12/(-1))/(-3) + 5. Suppose 0 = p*s - 4*s - 10. Suppose -s*q - q = -15, 4*u - 3*q = 141. Is u a multiple of 13?
True
Is 1/(-1) - (-342 - (-75)/(-15)) a multiple of 56?
False
Suppose -4*z + 7*z = -36. Is 3 a factor of (-2)/z - (-274)/12?
False
Suppose 4*t + 2*j + 780 = 0, 0 = 5*t + j + j + 976. Does 10 divide (-50)/(-4)*t/(-70)?
False
Suppose 2*y - y = -2*f + 4, 0 = -2*y + 2*f - 10. Does 5 divide 23/1 + y + 5?
False
Let y(o) = o**2 - o + 1. Let i(u) = -9*u - 24. Let d(j) = -i(j) + y(j). Does 17 divide d(-16)?
True
Let v(s) = -5*s**2 - 14*s + 0*s**2 - s**3 + 8*s. Is 3 a factor of v(-5)?
True
Let q(l) = l**3 - 5*l**2 + 3*l - 2. Suppose -2*o + 10 = h, 4*o - h - 39 = -o. Suppose 23 = 5*a - o. Is q(a) a multiple of 13?
True
Let o(d) = 7*d**3 - d**2 + 8*d - 6. Let s(x) = 6*x**3 - 2*x**2 + 7*x - 5. Let n(l) = 5*o(l) - 6*s(l). Suppose 7*h - 36 = h. Is n(h) a multiple of 8?
True
Is 35 a factor of (48/(-40))/(-4 + 6085/1525)?
False
Let z(r) be the second derivative of -r**4/12 - 7*r**3/3 - 3*r**2/2 + r. Let t be z(-13). Suppose 0 = 3*l - 4*n - 27, -l - 3*n = t - 32. Is 8 a factor of l?
False
Let q = -122 - -178. Does 18 divide q?
False
Let j be 14/63 - 2/9. Suppose -g - g + 2*a + 20 = j, 3*g + a - 10 = 0. Suppose -1 = -r + 2*y - 0*y, 0 = g*r - 3*y - 19. Is r a multiple of 5?
True
Suppose -m + r + 257 = 0, 8 = 2*r + 2. Is m a multiple of 26?
True
Suppose 22*g - 25104 = 416. Is g a multiple of 8?
True
Suppose -5040 = -8*z + 2*z. Is z a multiple of 11?
False
Let z(k) = 158*k**3 + k**2 - 2*k. Let j be z(1). Suppose 0 = 5*a - h - 665, 4*h = 3*a - j - 259. Is a a multiple of 66?
True
Suppose 20 = 7*l - 2*l. Suppose -l = 3*u + 2. Is 6 a factor of (-60)/(u - 1) + -2?
True
Suppose 0 = 2*d + 2*d + 600. Let m = -103 - d. Does 2