e 5*b + 4*r = -26 + 199, -157 = -5*b + 4*r. Is b/2 - (-10)/20 even?
False
Suppose -8*f + 252 + 2772 = 0. Is f a multiple of 7?
True
Suppose -5*u - 39 - 6 = 0. Let n(i) = 3*i - 3. Let h be n(u). Is 17 a factor of 512/48*h/(-8)?
False
Does 68 divide (-90644)/(-31) + -2 + 2?
True
Let q(c) = 3*c**2 - 3*c - 11. Let v be q(6). Suppose 2*t = -3 + v. Is 38 a factor of t?
True
Suppose -36*j + 34*j - 54 = 0. Let q(f) = f**3 + 8*f**2 + 10*f - 3. Let y be q(-7). Let i = y - j. Is i even?
False
Let i = 4 + 0. Let g(z) = z**2 + 2*z + 4. Let y be g(-4). Is 5 a factor of y/4 - (1 - i)?
False
Let z(w) be the first derivative of w**4/2 - 7*w**3/3 + 7*w**2/2 - 6*w + 3. Let c be z(5). Suppose -4*s + c = 28. Is 11 a factor of s?
False
Suppose 5*z + 41*q - 1716 = 38*q, z + 4*q - 350 = 0. Is z a multiple of 26?
False
Let b = 551 + -5. Does 22 divide b?
False
Suppose -5*t + k + 10 = 3*k, -10 = -5*t + 2*k. Suppose t*p - p = 4*w - 235, 4*p = 20. Does 12 divide w?
True
Let t = -45 - -147. Suppose 0 = 5*g - 6*g + t. Is 17 a factor of g?
True
Suppose -880 = -19*r + 9*r. Let s = r - 75. Does 11 divide s?
False
Does 11 divide (-15725)/(-51) - (-1)/(-3)?
True
Let k(l) = -144*l**3 + 5*l**2 + 15*l + 17. Is 71 a factor of k(-2)?
False
Suppose 369 - 4225 = -16*q. Does 13 divide q?
False
Suppose -10*h - 918 = -11*h - 4*d, -4590 = -5*h + 2*d. Is h a multiple of 18?
True
Let q = 32 - 23. Let y(f) = -f**2 + 11*f - 9. Is 2 a factor of y(q)?
False
Does 5 divide (-14400)/(-112) - 3/(-7)?
False
Let m(z) = 7*z**2 + 10*z + 56. Does 13 divide m(-7)?
False
Let q be (38 + -1)/((-1)/(-7)). Suppose m = 7*y - 6*y - 178, -4 = -2*m. Let o = q - y. Does 24 divide o?
False
Let i(c) = -c**2 + 9*c - 14. Let v be i(7). Suppose 2*h - 3*h = v. Suppose h = -6*u + 2*u + 16. Does 3 divide u?
False
Suppose -4*j - 5*v + 478 = 0, -2*v + 0*v = j - 118. Suppose -c - 2*s = -46, -4*c + 5*s + j + 23 = 0. Does 10 divide c?
True
Let u be ((-68)/(-51))/((-2)/(-6)). Suppose -u*w = -11*w + 238. Is w a multiple of 21?
False
Let w = 22 - 20. Suppose 4*u - 1199 + 189 = -w*m, 3*u = -3*m + 756. Is u a multiple of 11?
True
Let j(k) = k**3 + 7*k**2 - 5*k - 5. Let c(s) = -s**3 - 6*s**2 + 6*s + 4. Let p(y) = -5*c(y) - 6*j(y). Let u be 0/((-1)/(-1)) - 12. Is p(u) a multiple of 5?
True
Let l(y) = -y**2 + 40*y - 10. Is 11 a factor of l(20)?
False
Let m(w) = 226*w - 835. Is 6 a factor of m(18)?
False
Let f(w) be the first derivative of 5*w**3 + 2*w - 5 - 1/2*w**2. Is 15 a factor of f(2)?
True
Suppose 0 = p - 5*k - 181, 2*k - 878 = -10*p + 5*p. Is p a multiple of 4?
True
Suppose 14*d - 2316 = 11*d. Is 16 a factor of d/12 - (-2)/(-6)?
True
Let g = -15 + 0. Is (-336)/g*(0 - -5) a multiple of 28?
True
Let p be (-6381)/(-63) - 4/14. Suppose p + 43 = f. Does 18 divide f?
True
Let u(k) = 8*k**2 + 19*k - 136. Is u(8) a multiple of 132?
True
Suppose 5*q + 40 = h, 3*h = -7*q + 2*q + 80. Let o = -25 + h. Is 5 a factor of o?
True
Let f(a) = 4*a**2 + 1386. Let p be f(0). Suppose p = 5*k + 6*k. Is k a multiple of 21?
True
Let r(g) = -g**2 - 4*g. Let k be r(-2). Suppose -6 = -k*l - 3*w, 2 = -5*l + 5*w - 4*w. Suppose l = 5*o + 5*b - 395 + 65, -129 = -2*o + b. Is o a multiple of 17?
False
Let f be (1233/6)/(-3)*(-1 - 1). Let p = f - 62. Is p a multiple of 22?
False
Suppose -5*s + 5 = 0, -s - 263 = -4*w - 0*s. Suppose -8*h + 11*h = w. Is 22 a factor of h?
True
Let u(b) = 359*b - 39. Let d be u(-5). Is d/(-28) + (-2)/4 a multiple of 5?
True
Let r(n) = 2*n**2 - 47*n - 38. Let g be r(27). Let j = 74 + g. Is j a multiple of 27?
False
Let s(u) be the second derivative of 1/6*u**4 - 2*u + 0*u**2 + 0*u**3 + 0. Does 17 divide s(-6)?
False
Let j(m) = 49*m**2 - m. Let b(w) = -w**2 + w + 0 - 3*w - 3*w + 1. Let o be b(-5). Does 24 divide j(o)?
True
Let s = 5 - 25. Let d = 16 + s. Does 8 divide (d - 1)/(3/(-15))?
False
Let s = -116 - -570. Is 34 a factor of s?
False
Suppose 0 = -22*g - 23*g + 21195. Is g even?
False
Let i be (4 - 1) + (-66)/3. Let n = -43 - -16. Let h = i - n. Does 4 divide h?
True
Let c be (4/8)/(1 + 7034/(-7032)). Is 33 a factor of c/(-6) + 0 - -4?
True
Let d(v) = -5*v**3 + 1. Let o be d(-1). Let m be (-4)/(-38) + (-1208)/(-76). Let n = m + o. Does 11 divide n?
True
Let i(c) be the second derivative of -1/3*c**3 + 0 - 1/2*c**2 + 5/12*c**4 + 4*c. Is i(-1) a multiple of 6?
True
Let k = 362 - 2. Is 12 a factor of k?
True
Let i be (-8)/(-3)*(-306)/12. Let p = 108 + i. Does 10 divide p?
True
Suppose -22*w - 412 + 15130 = 0. Does 12 divide w?
False
Suppose y - 3*u = 696, 5*y - 5762 = 4*u - 2238. Is y a multiple of 16?
False
Let q be (54/162)/((-1904)/(-1902) + -1). Suppose 5*c = 5*n + 375, -n + 84 = -3*c + q. Is 8 a factor of c?
False
Let k(r) = -7*r**2 - 15*r + 28. Let t(u) = -3*u**2 - 7*u + 14. Let y(f) = -2*k(f) + 5*t(f). Let c(s) = s**2 - 10*s + 3. Let a be c(9). Does 4 divide y(a)?
True
Let q(o) = -36*o + 31. Does 7 divide q(-4)?
True
Suppose 18 - 1859 = -7*k. Is k a multiple of 15?
False
Let a(p) = -2*p**3 + 8*p**2 + 12*p + 19. Does 35 divide a(-6)?
False
Let r = 1008 + -347. Is r a multiple of 21?
False
Let c(y) be the second derivative of y**4/6 + 8*y**3/3 + 19*y**2/2 - 2*y + 153. Suppose 6 = -4*d - 34. Is c(d) a multiple of 13?
False
Let f = 3431 - 1433. Does 54 divide f?
True
Let m = -77 - -73. Suppose 0*l - 5*l + 80 = 0. Let k = m + l. Is 2 a factor of k?
True
Let k(j) = -j - 5. Let s be k(-13). Suppose -i - s = -3*i. Is 4 a factor of i?
True
Suppose -7*k - 119 = -0*k. Let m = k + 21. Suppose f = m*f - 45. Is f a multiple of 15?
True
Let r = -1062 - -1457. Is r a multiple of 4?
False
Suppose 4*y - 4 = -20. Let c(d) = d - 5. Let a be c(6). Let m = a - y. Is 2 a factor of m?
False
Let d = 375 + -573. Let a = d - -318. Does 29 divide a?
False
Let i(c) = c**3 + 13*c**2 + 23*c + 17. Let g be i(-11). Suppose -g*n - 2*n + 32 = 0. Does 3 divide n?
False
Let k be (-3 - 26/(-12))*-6. Suppose j - 14 = -k. Does 3 divide j?
True
Suppose -4*d = 2*l - 3*l - 36, 0 = 3*d - 4*l - 40. Suppose 0*j + 528 = d*j. Is j a multiple of 11?
True
Suppose -k - 12 = 12. Let t be (27/18)/(2/k). Does 6 divide t/(-4)*36/27?
True
Let g = 1106 + -1080. Is g even?
True
Suppose 0*b + 5*b - 20 = 0. Suppose b*t - 207 = -5*s, 9 = 2*s + s. Is 16 a factor of t?
True
Let w(f) be the third derivative of -f**5/60 + 5*f**4/24 - 5*f**3/6 + 2*f**2. Let v be w(2). Let x(s) = 89*s - 1. Is x(v) a multiple of 22?
True
Suppose 0 = -5*q + 3*q + 30. Suppose 13*b - 18 = q*b. Does 9 divide (21/(-4))/(b/24)?
False
Let c be (-48)/(-2) + (-3)/(-1). Let r(t) = c + 29 - 11*t**3 + t + t**2 + 12*t**3. Is 19 a factor of r(0)?
False
Is (-3949)/(-5) - (108/60 - 1) a multiple of 21?
False
Suppose -5*q - 1518 = -4*c, -5*c + 1879 = 3*q - 0*q. Suppose 9*p - c = 316. Is 7 a factor of p?
True
Suppose 0 = 15*p - 1896 - 26979. Is 25 a factor of p?
True
Suppose -2*x - 5 + 3 = 0. Let r be 12*4*x/(-4). Suppose -r*s + 15*s = 99. Is s a multiple of 5?
False
Let x = 7 - 3. Is (-2)/x*8 + 94 a multiple of 15?
True
Suppose 0 = -4*j + 9*j - 50. Is 6 a factor of 6/(-4) - (-505)/j?
False
Let l(t) = 104*t + 14. Is 8 a factor of l(1)?
False
Let u = -336 - -717. Does 13 divide u?
False
Suppose 3*b = -3, 3*b - 692 = -5*l + 7785. Does 106 divide l?
True
Suppose -4*q + 8*q - 432 = -4*c, 3*q - c - 324 = 0. Does 12 divide q?
True
Suppose -2*w + 7 = -1. Let d(h) = h**3 + 8*h**2 + 6*h + 1. Let n be d(-7). Suppose n = -w*f + 5*f. Is f a multiple of 8?
True
Suppose -645 = -8*l + 955. Is 20 a factor of l?
True
Suppose -3*a - 492 = -5*i - 5*a, 4*a - 384 = -4*i. Let n = 168 - i. Does 25 divide n?
False
Let y be 3 - (-6)/(-2) - 0. Suppose -10 = -y*s - 2*s. Suppose -2*o - 3*n + 15 = 0, -2*o - o + s*n = -13. Is 3 a factor of o?
True
Let v(z) = 4 + 7 + 38*z**2 + z**3 - 30*z**2 + z. Let b be v(-8). Let d(p) = 6*p - 4. Does 10 divide d(b)?
False
Suppose -5*p + 86 = 4*u, u - 26 = -9*p + 10*p. Is 4 a factor of u?
True
Suppose 2*x - 2*f - 10 = 3*f, 3*x + 4*f = -8. Suppose 2*w + 2*w - 256 = x. Suppose w = 3*b - b. Is 16 a factor of b?
True
Let m = 117 + -147. Is (2/8*m)/((-6)/160) a multiple of 20?
True
Let d(t) = t**3 + 23*t**2 + 22*t + 17. Let q(j) = -j**2 + 3*j + 32. Let l be q(-6). Does 7 divide d(l)?
False
Suppose -9*y + 615 = 4*p - 6*y, 2*y + 630 = 4*p. Is p a multiple of 9?
False
Let l(r) = r. Let p be l(12). Suppose 0*a - 420 = -3*a - 4