 13*w - 8. Let o be b(7). Let x(u) = u**3 - u**2 - 3*u + 3. Let s be x(3). Is ((-4)/s)/(o/393) a multiple of 23?
False
Suppose 0 = -4*d + 2*d + 2. Let v = 6 - d. Suppose v*k = 4 + 71. Is k a multiple of 15?
True
Let u be (-192)/1 - (-8 - (8 - 15)). Let t = u + 324. Does 20 divide t?
False
Suppose -4 = 5*b - b. Let n(s) = s**2 + 21*s + 8. Let m be n(-23). Is ((-3)/3)/(b/m) a multiple of 14?
False
Let t(h) be the first derivative of -h**4/4 + 5*h**3/3 + 3*h**2/2 - h - 5. Let o be t(5). Is (120/(-35))/((-2)/o) a multiple of 8?
True
Let b be ((-8)/(-6))/((-4)/(-15)). Suppose -46 = 5*m - b*g - 291, -92 = -2*m + 5*g. Is 9 a factor of m?
False
Suppose -13*i - 27*i + 122400 = 0. Is i a multiple of 17?
True
Let z = 6 + -9. Let d be z/((3 + -5)/2). Suppose 40 = 4*j - 2*b, 46 = 5*j - d*b - 2. Is j a multiple of 4?
True
Let b(d) = 3*d**3 - 5*d**2 + 14*d - 42. Is 6 a factor of b(7)?
True
Let z(s) = -13*s**3 + 41*s**2 + 39*s + 39. Let k(c) = -8*c**3 + 27*c**2 + 26*c + 26. Let w(j) = -8*k(j) + 5*z(j). Suppose 3*r - 17 = -47. Does 5 divide w(r)?
False
Let d = 332 - 190. Suppose 0 = 3*l + h - d, -8*l + 3*l = 3*h - 234. Is 3 a factor of l?
True
Let k(d) = d**3 - 5*d**2 - 14*d - 12. Does 22 divide k(11)?
False
Suppose 2*k - 85 = 2667. Is k a multiple of 32?
True
Let a be (8/24)/((-1)/(-18)). Let k be -3 - (-3)/a*6. Suppose k*m = 2*m - 34. Does 11 divide m?
False
Let v be 7/2 + 1/(-2). Suppose -4*z + 667 = -3*o, 5*o + 10 = v*o. Is 24 a factor of z?
False
Let r(p) = p + 15. Let g be r(-13). Is 21 a factor of 175/g - 1 - (-60)/(-40)?
False
Suppose 5*u + 3*m - 1619 = -m, -1616 = -5*u - m. Suppose 4*h = c + 259, c + u = 5*h - c. Suppose -7 = -4*i + h. Is i a multiple of 18?
True
Is (-26 - -50)*40/3 a multiple of 20?
True
Let f = 168 - -867. Is 26 a factor of f?
False
Let k = -37 + 40. Suppose 5*c - 268 - 107 = 5*o, -k*c - 2*o + 220 = 0. Let x = c + -53. Is x a multiple of 7?
True
Does 6 divide 1986/18 - (8/(-6))/2?
False
Suppose 3*i - 271 = -5*u, 0*i - 3*i - 289 = -5*u. Suppose -3*f - 2*v - 12 = -2, -4*f - 20 = v. Is 13 a factor of u + (-3 + f)/3?
False
Suppose -4*r + 10 + 10 = 0. Suppose r*f - 4*f = 25. Is 7 a factor of f?
False
Let u = 13 - 3. Suppose 5*l - 2*k - 4 = 0, 5*k + u = l - 2*l. Suppose 5*d + l*d - 3*h = 0, -h = -5. Does 2 divide d?
False
Suppose -4*y - 36 = 84. Let h = 36 + y. Suppose 5*i = h*i - 52. Does 26 divide i?
True
Let w = -5 + 25. Let j = w + 19. Is 5 a factor of j?
False
Suppose -5*h + 23 + 7 = 0. Let l(u) = u**2 + 10*u + 7. Does 18 divide l(h)?
False
Suppose -2*j - 5*d + d = -30, 4*d - 37 = -3*j. Let g(z) = -z**2 + 9*z - 2. Let x(i) = -3*i**2 + 27*i - 5. Let k(b) = 7*g(b) - 2*x(b). Is 2 a factor of k(j)?
True
Let h(c) = -c**3 - 39*c**2 + 60*c + 79. Is h(-41) a multiple of 51?
False
Let m(q) = -q**2 + q - 12. Let v(w) = 2*w**2 - 3*w + 23. Suppose -3*j + 14 = -0*p + 4*p, 0 = -5*p + 25. Let i(u) = j*v(u) - 5*m(u). Does 5 divide i(0)?
False
Suppose -8 = -4*n, 4*r + n = 3*n + 4. Let y(o) = -7*o**r + 3*o**3 + 3 - o**3 + 5*o - 6. Does 11 divide y(4)?
True
Let q be (-2)/4 - (-100)/8. Is (-246)/(-4) + (-18)/q a multiple of 15?
True
Let a = -879 - -2472. Is 15 a factor of a?
False
Let y = 7 + 10. Suppose 0 = u + y - 146. Does 43 divide u?
True
Let k(r) = 19*r - 401. Is 13 a factor of k(50)?
False
Let z(i) be the third derivative of i**5/30 + i**4/24 - i**3/2 - 2*i**2. Suppose -4*x + 12 = 3*b - 5*x, 0 = -b - 3*x + 4. Is z(b) a multiple of 11?
True
Suppose -15*s = -1458 - 28482. Does 19 divide s?
False
Let b(d) = -5*d**3 - 21*d**2 - 6*d + 10. Let y(t) = -2*t**3 - 10*t**2 - 3*t + 5. Let o(h) = 3*b(h) - 7*y(h). Is 20 a factor of o(3)?
True
Suppose 3*s + 0*s - 9 = 0. Suppose 3*j + 2*t + 3 = 0, -17 + 5 = -3*j + s*t. Let g(f) = 44*f**3 + 1. Is g(j) a multiple of 15?
True
Let p(t) = 3*t**2 - 7*t - 16. Suppose -8*u + u - 49 = 0. Is p(u) a multiple of 36?
True
Let t(u) = 14*u + 19*u + 4 - 8*u. Is 23 a factor of t(6)?
False
Let q(c) = 59*c + 11. Is 7 a factor of q(1)?
True
Let i be 3/(36/80)*-3. Let h = i - -28. Does 7 divide h?
False
Suppose -2*x - 285 = -5*x. Suppose y = 6*y - x. Does 3 divide y?
False
Let k(a) = -a**3 + 8*a**2 - 8*a + 11. Let n be k(5). Suppose 234 = 3*b - 4*u, b + 2*u - 124 = -n. Let m = b + -47. Is 9 a factor of m?
False
Suppose -11 = -4*b + 3*b. Let a = b - -5. Suppose -3*z = -2*z - a. Is 13 a factor of z?
False
Let r be 6 + 3/(-1) - (4 + -5). Is 48 a factor of 331 - (-5*r)/4?
True
Let z(q) be the first derivative of 13*q**2/2 - 2*q + 219. Suppose 0 = -4*f + 5*h + 14, -4*f + h - 5*h = 4. Is z(f) a multiple of 11?
True
Suppose 0*z + 4*p + 6 = z, -3*z + 5*p = 17. Suppose 6 = 5*m - 3*m. Let h = m - z. Is h a multiple of 8?
False
Does 15 divide (4 + -2)*(-2 + 4) - -1439?
False
Let t(f) = -f**2 - f - 1. Let r be t(0). Let g be (47 - (0 + 2))*1. Let q = r + g. Does 22 divide q?
True
Suppose -764 = -100*u + 98*u. Does 15 divide u?
False
Let q = 303 - 79. Suppose 3*k = 55 + q. Is k a multiple of 26?
False
Let c(f) be the second derivative of 49*f**4/12 - f**3/6 + 7*f. Does 16 divide c(1)?
True
Let l = 199 + -106. Suppose u - 117 = l. Is u a multiple of 42?
True
Suppose 3*n - 6 = c, 2*c = -2*n + 7*c + 4. Suppose 0 = 3*a - 16 - n. Is 3 a factor of a?
True
Suppose -3*m + 76 = -4*l, -50 = -5*m - 2*l + 94. Let y = m - 8. Does 13 divide y?
False
Suppose -4*x - 4*d + 8 = 0, 0 = -4*x + 3*d + 8. Suppose x*r + 5*t - 11 = 2*t, -3*t + 19 = 4*r. Suppose -c + 19 = -5*z, z + 3*z = -4*c + r. Is c even?
True
Let l(x) = -x**3 + 24*x**2 + 52*x - 44. Is 18 a factor of l(25)?
False
Suppose -63 = 6*h - 11991. Is h a multiple of 28?
True
Suppose i + q - 50 = 0, 0 = -2*i + 3*q - 0*q + 75. Let p be i + 4 - (-4 + 1). Suppose n + t = -3*n + 68, 0 = 2*n + 5*t - p. Is 7 a factor of n?
False
Suppose 2*r = -2*t - 5 + 51, r = t + 13. Let h be 33/3 - 2*1. Suppose r = d - h. Is d a multiple of 18?
False
Let q(l) = 443*l**2 + 2*l - 8. Is 13 a factor of q(2)?
True
Let p = 2388 - 2073. Is p a multiple of 9?
True
Suppose -32*k + 9797 = 1861. Does 12 divide k?
False
Let k = 1962 + -1110. Suppose -k = -7*x + 3*x. Suppose 3*q - x = -57. Is q a multiple of 26?
True
Let t(l) = -l**2 + 14*l - 1. Let r be (1 - 2)*-1*7. Is t(r) a multiple of 16?
True
Suppose -6*v + 467 = 5*u - 2*v, u - 4*v = 103. Is 4 a factor of u?
False
Suppose 17*f = f + 17776. Is f a multiple of 11?
True
Let f(h) = -19*h - 2. Let i(p) = -18*p - 1. Let w(q) = 5*f(q) - 6*i(q). Is 12 a factor of w(8)?
False
Suppose -2*j + 7 + 1 = 0. Suppose 3*t + t = 3*i - 428, j*t = -i + 164. Is 39 a factor of i?
False
Let r = 23 + -21. Suppose -r*y = -n - 85 - 18, 5*y - 4*n = 250. Is y a multiple of 27?
True
Let z(f) = -2*f**2 - 45*f - 12. Is 49 a factor of z(-14)?
False
Suppose 2*z - 3*h = -4408, -4*z + 0*h - 4*h = 8856. Is z/(-91) - (-4)/(-14) a multiple of 24?
True
Suppose 6*i - 2*i + 64 = 0. Is 13 a factor of i/3*4/((-8)/9)?
False
Suppose 0 = -0*w + 7*w - 3010. Is w a multiple of 21?
False
Let v(h) = -h**2 + 2*h - 5. Let j be v(9). Let o = 140 + j. Suppose 5*k - o = k. Is 13 a factor of k?
False
Let n be ((-60)/(-70))/((-2)/(-28)). Suppose 7*h + 515 = n*h. Is h a multiple of 21?
False
Let w = -1760 - -2250. Is 7 a factor of w?
True
Suppose -m + 2549 = 14*p - 10*p, 0 = -4*p + m + 2539. Is p a multiple of 6?
True
Suppose 40*m + 5 = 41*m. Is (4 - -64) + (1 - m) a multiple of 8?
True
Suppose -4*b + 2*b - 6 = 0. Let x be -5 + 0/b + 1. Is 22 a factor of (-66)/(-2) - (x - -1)?
False
Suppose 97*g = 49*g + 7728. Does 23 divide g?
True
Let k be (-2 - -1)/((-1)/(-3)). Let h = -3 - k. Suppose h*a = 5*a - 95. Does 19 divide a?
True
Suppose 0 = -x + 523 - 252. Is x a multiple of 15?
False
Let g be (7 + -9)/(2 - 3). Let j(v) = 0*v + 5*v + 6*v**2 + 0 - 5. Is j(g) a multiple of 4?
False
Suppose 2*o + 1022 = 2*n + n, -4*o = -3*n + 1018. Is n a multiple of 19?
True
Does 28 divide 20*(-60 - -18)/(-3 - 2)?
True
Let q(t) = -71*t + 4. Let f(w) be the first derivative of -18*w**2 + 2*w - 8. Let p(b) = 7*f(b) - 4*q(b). Does 17 divide p(2)?
False
Suppose 0*q = -5*q + 30. Suppose -q*c = -2*c. Suppose -2*a + 81 = 2*b - b, c = -4*a + b + 171. Is 21 a factor of a?
True
Let g = 3094 + -994. Is 42 a factor of g?
True
Is 22 a factor of 18/(-8)*(94464/9)/(-8)?
False
Let s(r) = r**3 - 16*r**2 + 4. Let z be s(16). Suppose -k - k + 58 = -z*l, -k = -3*l - 24. Is k a mul