5. Let f(v) = -5*j(v) - r(v). Is f(g) a multiple of 15?
True
Let h = -85 + 88. Suppose z = -3*r - 3, -2*z = -5*r - z + h. Suppose 0*w + 2*w - 328 = r. Is w a multiple of 47?
False
Suppose -6*d = 5*d + 11. Let u be 28*(0/(-3) - -3). Let n = u - d. Does 26 divide n?
False
Let u = 27112 - 24686. Does 8 divide u?
False
Does 104 divide 84/8*(-3328)/(-24)?
True
Let a(v) = v + 20. Let n be a(-6). Suppose n*d - 10*d = 224. Let i = -21 + d. Is i a multiple of 15?
False
Does 20 divide 18/8*(-67840)/(-318)?
True
Suppose 72197 - 6747 = 22*v. Is v a multiple of 35?
True
Suppose g = 5*b + 3, -4*b + 7 = -5*g + 1. Let f(c) = -25*c**2 + 8*c + 8. Let u(s) = -25*s**2 + 6*s + 7. Let a(r) = 5*f(r) - 6*u(r). Is a(g) a multiple of 12?
False
Suppose -8 + 2 = -3*j - 2*f, -3*f - 10 = -5*j. Suppose -t - 4*t + 832 = j*o, -5*o - 4*t = -2097. Is o a multiple of 23?
False
Suppose -l = 4*z - 645, 0*l = -2*z - 2*l + 330. Suppose 7*a - z = -3*a. Does 27 divide a/24 + 158/6?
True
Is 14 a factor of ((-49)/(-273) - 26/(-169)) + (-41074)/(-6)?
True
Let x(h) = -9 - 2 - 29*h - 13 - 13. Is x(-7) a multiple of 36?
False
Let g(c) = 32*c**2 - 35*c - 193. Is g(-8) a multiple of 9?
False
Let l(x) = x**3 + 18*x**2 + 16*x + 39. Let b be l(-16). Suppose -b*h + 5640 = -285*h. Is h a multiple of 14?
False
Let i(u) = 3*u**2 + 8*u + 7. Suppose 202*o - 201*o = -3. Is 5 a factor of i(o)?
True
Suppose 0 = 12*b - 3*b + 63. Let d(r) = 10*r**2 - 2*r - 3. Let o(n) = 7*n**2 - n - 2. Let c(u) = b*o(u) + 5*d(u). Is c(-2) a multiple of 9?
True
Let u be 272/(-14) - 3/(-7). Let a(v) = 44*v**2 - 22 - 13*v - v**3 - 63*v**2 + 0*v**3. Is 25 a factor of a(u)?
True
Let h(i) = -i**2 - i + 1. Let s(d) = -4*d - 22. Let k be s(-5). Let z be h(k). Is z*(0 + -39 - -4) a multiple of 9?
False
Suppose 0 = 5*s + 126 - 1006. Let c = s + -146. Is c a multiple of 10?
True
Suppose 25*u - 26880 = -55*u. Is 84 a factor of u?
True
Let s(n) = -n**2 - 2*n + 3. Let t be s(2). Let p = -5 - t. Suppose -4*l - 4*u - 10 + 518 = p, u + 493 = 4*l. Is l a multiple of 9?
False
Let s be -14*114/(-28)*(-44)/11. Let z = -147 - s. Suppose 54 + z = h. Is 10 a factor of h?
False
Suppose -7 + 9 = u. Suppose 4598 = 4*l - u*w, 3*l - w - w = 3446. Is l a multiple of 36?
True
Let d be (-5)/(-3) - 1025/(-15). Is 19 a factor of (-1682)/(-7) - 4/d*5?
False
Let z = -39 - 66. Let o = z + 450. Is o a multiple of 23?
True
Let r(a) = 21*a**2 + 6*a + 42*a**2 - 2 - 14*a**2 - 4. Is 3 a factor of r(1)?
False
Let k = -7462 - -8852. Is 3 a factor of k?
False
Let a = 441 - -4794. Is a a multiple of 10?
False
Suppose -3*o = 31155 - 94140. Does 8 divide o?
False
Let r(p) = 558*p - 2879. Is 8 a factor of r(10)?
False
Suppose 0 = -2*m - 12*m + 126. Suppose m*y = 7*y + 598. Is y a multiple of 13?
True
Is 71 a factor of ((-34)/(-8))/((-4 - 0)/(-8048))?
False
Let f = -2633 + 4058. Does 25 divide f?
True
Let i = -346 + 426. Suppose 5*c - i = -5*z, 4*z = 5*z - 3. Does 10 divide c?
False
Let i(n) = -334*n - 1383. Is 19 a factor of i(-25)?
False
Let i = 616 - 1232. Let k be (i/(-21))/(4/6). Suppose -k = 2*u - 4*u. Is u a multiple of 2?
True
Let t(l) = -3*l - 38. Let r be t(-13). Let o(i) = i**2 - i + 1. Let f(h) = 2*h**2 + 4. Let z(p) = r*o(p) + f(p). Is 41 a factor of z(5)?
False
Suppose 7 = 4*a - 2*g - g, -3 = a + 4*g. Let b(l) = 2*l**3 + l**2 - 2*l + 1. Let k be b(a). Suppose 5*c - k*s - 176 = 88, 105 = 2*c - s. Does 8 divide c?
False
Let v be (3 + -1)*18/12 + -2. Let t be 819/52 + v/4. Let z(p) = p**2 - 13*p + 22. Does 14 divide z(t)?
True
Let a be (-1)/(5 + 1 + -5). Let l be (4 - (-201 - a)) + 6/2. Suppose l = -8*n + 831. Is 6 a factor of n?
True
Let r = -702 + 862. Suppose 4*n = -3*c + r, -156 = -4*n - 7*c + 3*c. Does 22 divide n?
False
Let z = 718 - 714. Let g(y) = 112*y - 53. Does 24 divide g(z)?
False
Suppose 118*j - 38405 = 114*j - 5*a, 2*a - 10 = 0. Is j a multiple of 36?
False
Let p = 0 - -4. Let b be (-77)/p + ((-18)/8)/3. Is 10 a factor of b*((-9)/(-3) - 4)?
True
Let n(g) = 3*g**2 + 17*g + 84. Does 10 divide n(14)?
True
Suppose 5*b + 834 = 3*x, -837 = 27*x - 30*x + 4*b. Suppose -7*p + x = -67. Is p even?
True
Let t(s) = 4*s - 7. Let n be t(1). Does 14 divide ((-21)/(-28))/(0 - n/2708)?
False
Let u = -18213 - -29507. Is u a multiple of 49?
False
Let m(y) = -6*y + 26. Let d(q) = 78*q - 339. Suppose -x = 2*x + t + 8, -4*t = 8. Let n(b) = x*d(b) - 27*m(b). Does 10 divide n(11)?
False
Let t = -230 - -147. Suppose -36*f = -55*f + 323. Let d = f - t. Is d a multiple of 10?
True
Suppose -5*z + z - 2*p + 14234 = 0, 3*p - 32031 = -9*z. Is 178 a factor of z?
True
Let u(q) = 39*q**2 + 6*q + 8. Let i(s) = 6*s**2 + 95*s - 17. Let x be i(-16). Is 3 a factor of u(x)?
False
Suppose -3*t - 529 = -2*t + 5*w, 0 = -2*t + 4*w - 1100. Let o = 927 + t. Suppose -q + 141 = -2*p, 0 = -2*q - q - 4*p + o. Is 10 a factor of q?
False
Let p(c) = -2*c + 10. Let s be p(5). Suppose s = 9*i - i + 1480. Let d = -113 - i. Is 24 a factor of d?
True
Let l(r) = 52*r**2 - 3*r - 4. Suppose -6*w + 2*w - 210 = 2*s, 180 = -3*w + 3*s. Let p = -56 - w. Is 17 a factor of l(p)?
True
Suppose 0 = -3*p + 114 + 48. Let y = p + 8. Does 17 divide y?
False
Let s(p) = 48*p - 130. Let g be s(18). Let z = g + -681. Does 18 divide z?
False
Suppose -5*x + 6*q = 7*q - 5153, 0 = 3*x + 5*q - 3083. Let v = 1843 - x. Is 29 a factor of v?
True
Suppose 219 = -460*n + 463*n. Suppose -n*s + 75*s = 0, y - 157 = -s. Is y a multiple of 7?
False
Let k = -39 - -39. Suppose u - 11 = -4*x, 4*x + k = 2*u + 2. Suppose 0*h = -2*h + 4*y + 164, -2*h - u*y + 129 = 0. Is h a multiple of 8?
True
Let a(q) = -2*q**2 + 63*q - 134. Let v be a(28). Suppose 42336 = v*u + u. Is 7 a factor of u?
True
Let d(v) = -2*v + 1. Let u be d(10). Let a = -19 - u. Suppose a = -t + 5*t - 356. Does 19 divide t?
False
Is 136 a factor of 23/(-1 + 200/230)*-198?
False
Let f(d) = -22 + 74 - d - 31. Suppose 3*g - 40 = -4. Is f(g) a multiple of 3?
True
Let v be (-1)/((-9)/105 - (-2)/7). Is 20 a factor of (-3157)/v + 128/(-320)?
False
Suppose 0 = -3*s, -4*o + 19*s - 20*s = -31200. Suppose -4*r - 16*r + o = 0. Does 30 divide r?
True
Let d = 1217 + -692. Let b = 658 - d. Is 8 a factor of b?
False
Let g = 87 + -73. Suppose -g*a + 187 = 2*z - 17*a, 0 = 2*z + 4*a - 194. Does 5 divide z?
True
Let y(c) = c**2 + 10*c - 73. Let d be y(5). Is (1172/6 - 10/30) + d a multiple of 42?
False
Let f(b) = -b**3 + 9*b**2 + 4*b + 2. Suppose -4*i = -2*c + 4, -3*c = -3*i + 7*i + 14. Let t be ((-3)/(-5))/(i/(-30)). Is 38 a factor of f(t)?
True
Let b = -49 - -53. Suppose -b*n - 4*t + 596 = -5*t, 0 = 5*n + 2*t - 732. Let z = -65 + n. Is 21 a factor of z?
False
Let o(m) be the second derivative of 13*m**3 + 39*m**2/2 - 15*m. Does 27 divide o(4)?
True
Let l(v) = 2*v**2 - 4*v - 14. Let k be l(-2). Suppose -2*u + x = 2*u - 1265, k*x = -2*u + 620. Does 26 divide u?
False
Suppose 0 = 26*z - 22*z - 21076. Suppose 33*m - 3707 - z = 0. Is m a multiple of 17?
True
Let n(y) = 2*y**3 + 16*y**2 - 16*y - 24. Suppose -5*o = 6*g - 3*g + 49, 0 = g - 5*o - 17. Does 3 divide n(g)?
False
Let d(c) = c**3 - c - 1. Let w(t) = -5*t**3 - 15*t**2 - 8*t - 10. Let o(j) = 6*d(j) + w(j). Let g be o(16). Suppose -400 = 11*h - g*h. Is 13 a factor of h?
False
Suppose -3 = 8*s - 19. Suppose 0 = s*w - 8 - 4. Does 11 divide 2/w + (-310)/(-6)?
False
Let u(y) = -6*y - 80. Let o be u(-16). Is 0/(-5 + 8) + 7*o a multiple of 7?
True
Let j(f) = 954*f**2 + 50*f - 135. Is j(3) a multiple of 141?
True
Suppose 0 = -m - 4*i + 5 - 7, 3 = 2*m + i. Is (-1 + (-47)/m)*1020/(-102) a multiple of 5?
True
Let z = 629 + -377. Suppose -8*s = s - z. Is s a multiple of 9?
False
Let m = -88 + 94. Suppose -m*k + 209 = -5*k. Is k a multiple of 19?
True
Let h(j) = 53*j + 33. Let y(k) = -k**2 + 30*k - 47. Let u be y(28). Is 34 a factor of h(u)?
True
Let w(q) be the third derivative of -q**4/3 + 4*q**3/3 + 6*q**2. Let u be w(-16). Suppose 4*d - u = 28. Does 7 divide d?
False
Let h = 4871 + -1868. Suppose -18*t = -15*t - h. Is t a multiple of 17?
False
Let c(m) = -31*m + 9. Suppose -3*p + 15 = -0*p. Let q be c(p). Does 5 divide q/(-10) - (-8)/20?
True
Suppose 12*x + 60 = 8*x. Let t be x/9 - -4 - 4/(-6). Suppose -234 = -6*m + t*m. Is 26 a factor of m?
True
Let k be (-24)/2*(-19)/(38/36). Let w = k + -62. Is 14 a factor of w?
True
Suppose 11*b - 50142 = 2218. Is b