770. Does 14 divide b?
False
Let r(p) be the first derivative of p - 1/2*p**2 + 1/4*p**4 + 5/3*p**3 - 1. Is r(-5) a multiple of 6?
True
Let b(x) = -x**2 + x. Let w(s) = 4*s**2 + 7*s - 6. Let p(n) = -2*b(n) + w(n). Suppose 0 = 2*j - 10 + 4. Does 21 divide p(j)?
True
Suppose -5*i - q = -1502, -2*q - 298 = -i - q. Does 30 divide i?
True
Let u(a) = 0*a**2 + 2*a**2 - 2*a - 1 - 5 - 4*a**2. Let k be u(3). Is 11 a factor of (k/8)/((-5)/20)?
False
Is 141/(86/10 + -8) a multiple of 21?
False
Suppose -155 = -2*s - 27. Does 16 divide s?
True
Let i = -24 - -9. Let w = 13 + i. Does 13 divide 265/20 + w/8?
True
Does 44 divide 17424/(-45)*90/(-36)?
True
Let v be (-12)/(-16) - 62/8. Let n = 12 + v. Suppose l = 31 + n. Is 10 a factor of l?
False
Let f = -195 + 279. Is 25 a factor of f?
False
Suppose 9*g = 3 + 42. Let q = g - -143. Is q a multiple of 10?
False
Is 8 a factor of (-1)/3 - 5808/(-198)?
False
Let m(z) = 2*z**2 - 12 - 1 - 2*z - 9 + 7. Is 7 a factor of m(7)?
False
Let u = -31 + 38. Suppose -u*w + 0*w = -35. Is 4 a factor of w?
False
Let v(p) = -p**3 + 9*p**2 + 13*p - 12. Let y(o) = o**2 - 12*o + 20. Let a be y(11). Is 31 a factor of v(a)?
False
Let v(o) = -o**3 + 11*o + 6. Is 14 a factor of v(-10)?
True
Suppose -h + 165 = 4*h. Let j = 60 - h. Is 4 a factor of j?
False
Suppose 2*y + 207 = 3*y. Suppose 3*g = 603 - y. Does 6 divide g?
True
Let c(u) = u**3 - 4*u + 66. Is c(0) a multiple of 2?
True
Suppose 19*x - 26*x = -1120. Suppose 4*r = x - 8. Is 19 a factor of r?
True
Suppose -23*a + 44*a = 8820. Does 18 divide a?
False
Let j(w) = 6*w**2 + 7*w - 7. Let a(u) = -7*u**2 - 8*u + 8. Let v(h) = 5*a(h) + 6*j(h). Does 19 divide v(11)?
False
Let v(p) = -78*p**3 + p - 3. Suppose f - 18 = -5*m, 12 = -2*f + 6*f. Let o be v(m). Is o/(-24) - 2/(-8) a multiple of 16?
False
Suppose 2*q - f = 9, 0*q + 10 = 2*q - 2*f. Suppose -q*v = 3*n - 91 - 66, 5*v + 5*n - 200 = 0. Does 5 divide v?
False
Let h = 724 - 256. Does 18 divide h?
True
Suppose 12*i + 1825 = 17*i. Let m = i + -244. Does 6 divide 4/(-20) + m/5?
True
Suppose 3*j - 8 = -l, 4*l + j - 1 - 9 = 0. Suppose l*b - 3*b + 80 = 0. Is 20 a factor of b?
True
Suppose -2*s = -2, -4*o + 2*s - 5 = 5. Let y(p) = -15*p - 8. Is y(o) a multiple of 4?
False
Let c(b) be the third derivative of b**6/360 + b**5/120 - b**4/24 - 5*b**2. Let k(m) be the second derivative of c(m). Is k(4) a multiple of 4?
False
Let t = 31 + -9. Let g = t + 2. Does 6 divide g?
True
Suppose -4*u - 153 = -5*i, -76 = -4*i - 2*u + 36. Let n = i - 8. Is n even?
False
Let v be 111*8/6*1. Suppose -o + 3 = -47*m + 44*m, m + 6 = 2*o. Suppose v = o*k - 0*k - n, 3*k - 2*n = 152. Is 11 a factor of k?
False
Suppose 1 = -4*u + 5*u. Is (4*(-1)/u)/(6/(-33)) even?
True
Suppose -5*w + 15 = b, -5*b + b + 2*w - 28 = 0. Let g(h) = 11 - 6*h - 2 + 7*h. Is 2 a factor of g(b)?
True
Suppose 2*l + 16 = 2*j, 3*j = 2*j + 2*l + 5. Suppose -j*t = -16*t + 380. Is 13 a factor of t?
False
Let i(b) = b**3 - 12*b**2 - 19*b + 100. Is i(15) a multiple of 17?
False
Does 13 divide (2 - 3)*4 + 1128 + 33?
True
Is (-3)/51*-1494 - (-6)/51 a multiple of 8?
True
Let f(c) = 2*c**2 + c - 10. Let r be f(-6). Let g = r + -47. Is 9 a factor of g?
True
Suppose -3 - 5 = -4*q. Suppose -4 = -k + q*c, 3*k - c = -2*k + 11. Is 9 a factor of 4 - (-86 - -4)/k?
True
Let q(r) = -r**2 - 19*r - 5. Let m be q(-18). Suppose m*o - 9*o - 192 = 0. Does 12 divide o?
True
Let r be ((-38)/(-8))/(2*9/216). Suppose -r = -14*o + 11*o. Is o a multiple of 3?
False
Suppose -121 = -19*w + 107. Does 7 divide w?
False
Let n(h) = -4*h**2 - 10*h + 2. Let t(m) = m**2 + m - 1. Let o(j) = 2*n(j) + 10*t(j). Does 9 divide o(11)?
True
Suppose 2*k + 51 = 57. Let c = 109 - 35. Suppose -3*y - 19 - c = -3*m, 5*m + k*y - 195 = 0. Does 18 divide m?
True
Let b = 2546 - 1490. Is b a multiple of 14?
False
Let o(c) = 6*c. Let x be o(6). Suppose 0 = -2*r - p - 0*p + x, -16 = 4*p. Suppose 0 = -u + r - 3. Is 14 a factor of u?
False
Let g be ((-4)/(8/18))/(-1). Let q be 1/(3/g) - -2. Suppose 4*x - 245 + q = 0. Is 20 a factor of x?
True
Suppose 368 - 1072 = -32*b. Does 2 divide b?
True
Let l = -376 - -314. Let n = 212 + -102. Let h = l + n. Does 16 divide h?
True
Let r = -49 + 39. Is 6 a factor of -13 + 12 - (r + -1)?
False
Let p(m) = m**3 - 9*m**2 + 6*m - 15. Let v be p(6). Let k = 22 - v. Is 10 a factor of k?
False
Suppose -4*a = 5*l + 105, 6*l + 84 = 2*l - a. Suppose -5*x + 151 = 1. Let s = x - l. Is 16 a factor of s?
False
Suppose h - 4*h - 4*j = -16, 4 = 4*j. Is h/(-28) - (-99)/7 a multiple of 7?
True
Does 49 divide 2526338/902 - (-4)/22?
False
Suppose 5736 = 9*h - 1824. Suppose 5*g - h = 2*x + 2*x, 0 = -g - 4*x + 192. Is 22 a factor of g?
False
Let j(z) = 3*z**2 + 10*z + 21. Is 18 a factor of j(-5)?
False
Suppose -3*r = 2*r - 4*y - 4958, 0 = 5*r + y - 4948. Is r a multiple of 13?
False
Let p(d) be the third derivative of d**6/120 - d**5/10 + 2*d**4/3 - 31*d**2. Is p(4) a multiple of 4?
True
Let u be (6 + -5)/(2/8). Let h(j) = 3*j**2 - 10*j + 1. Let n be h(u). Suppose -3*b + 66 = d, -5*d - n + 3 = -b. Does 4 divide b?
False
Let a be (-1)/3 - (-708)/(-36). Let n = 36 + a. Is 4 a factor of n?
True
Let m(f) = 2 + 4*f - 4 + 3 + 2*f**2 - 5. Let q be (12 - 10)*14/(-4). Is 22 a factor of m(q)?
True
Let l = -1380 + 2340. Is l a multiple of 16?
True
Let g = -65 + 74. Suppose -4*h + 1075 = 179. Suppose -n = -g*n + h. Is 13 a factor of n?
False
Suppose 2*i + i = -2*t - 11, -5*i = 5*t + 15. Suppose 402 = 3*q - t*y, -2*q + 3*y + 276 = -y. Does 17 divide q?
False
Suppose 0 = -4*t - t - 3*v - 24, -4*t - 4*v = 24. Let o be ((-20)/30)/(276/(-135) - -2). Let r = o + t. Does 12 divide r?
True
Let o = -48 + 72. Suppose -29 + 3 = -4*w + x, -o = -5*w - 3*x. Suppose -w*z + z = -35. Is z a multiple of 7?
True
Suppose 12888 = 24*d - 9336. Is 64 a factor of d?
False
Let f = -395 - -535. Is 18 a factor of f?
False
Suppose -6*v = -4*v - 10. Suppose 2*a + 3*a - 4*z - 420 = 0, -v*z = 5*a - 420. Is 28 a factor of a?
True
Let x(y) = -y**2 - 4*y + 2. Let o be x(-4). Suppose o*j + 10 = 0, 4*q - 153 - 5 = 2*j. Does 21 divide q?
False
Let f = 1159 + -683. Is 14 a factor of f?
True
Suppose -1800 = -57*b + 32*b. Is b a multiple of 3?
True
Let q = -15 - -28. Suppose -q = -o + 8. Suppose -21 = -z + o. Is 14 a factor of z?
True
Suppose -3 = 3*x + 6. Let a = x - -3. Let k(z) = -3*z + 42. Is k(a) a multiple of 13?
False
Suppose -2*x + 117 = -3*j - 292, 552 = -4*j - 4*x. Let t = j - -83. Let y = t + 100. Does 23 divide y?
True
Suppose 5*p = 4*g + 347, -71 = -3*p + 5*g + 145. Let c = p + -43. Is 12 a factor of c?
True
Let m(u) = -3*u**3 - u**2 - 3*u - 3. Let l be m(-1). Let n = 5 + 0. Suppose -56 = -l*j + j - 4*t, -5*t = n*j - 235. Does 11 divide j?
True
Is 2*(-15 + 341 + (-4)/1) a multiple of 28?
True
Does 25 divide (7/1 - -373) + 0 + -5?
True
Let o(f) = f + 1. Let s(t) = 106*t + 4. Let u(z) = 3*o(z) - s(z). Is u(-1) a multiple of 17?
True
Let s = -14 - -7. Let x(g) = -3*g + 2. Let k(y) = 10*y - 5. Let q(f) = s*x(f) - 2*k(f). Is 4 a factor of q(8)?
True
Let z = 86 - -2. Is z a multiple of 9?
False
Let l(h) = -45*h + 189. Is 18 a factor of l(-36)?
False
Let d = -26 + 29. Let t be (8 + -8)/(1*-1). Is (2 + t)/(d/33) a multiple of 22?
True
Let p(x) = -x**2 + 6*x + 2. Let z(d) = d**2 + 2*d + 3. Let v be z(3). Let u be ((-24)/v)/(2/(-6)). Is p(u) a multiple of 4?
False
Let s(l) = -96*l - 222. Is 67 a factor of s(-16)?
False
Suppose -3*v = t - 5071, 11*t = 13*t - 2. Does 14 divide v?
False
Suppose -5*a = -10, 5*h - 3*a - 31 = -6*a. Suppose 106 = y + 5*l, 10*l + 650 = h*y + 5*l. Is 14 a factor of y?
True
Let m(x) = 2*x**2 - 3*x - 4. Let t be m(3). Suppose 2402 = t*q - 433. Is 21 a factor of q/14 + 3/2?
True
Suppose 0 = -8*v + 1058 + 286. Does 6 divide v?
True
Let a(n) = 25*n**2 + n - 39. Is a(12) a multiple of 16?
False
Is 6 a factor of 68364/396 - 8/(-22)?
False
Suppose -y + 4 - 2 = 0. Suppose -2 = -5*r + 7*r. Does 14 divide r/(y/(-6)) + 23?
False
Let a be 8/(-6) + (-8)/(-6). Let u be (3 - 2)*(a - 0). Suppose -5*o + 6*o - 32 = u. Is 8 a factor of o?
True
Let y be 3 + (4 - (-164 + -1)). Let z = y - 31. Is z a multiple of 38?
False
Let v(j) = -j**2 - 18*j + 23. Let y be v(-19). Suppose -2*p = -10, 14*o = 19*o - y*p - 1420. Is 35 a factor of o?
False
Suppose -3*z = -2*b - 8*z + 540, -z = -3*b + 844. I