r of s?
True
Is 21 a factor of -19*(57*1/(-6))/((-1)/(-18))?
False
Let q = -237 + 239. Let r(v) = 444*v + 68. Is r(q) a multiple of 60?
False
Let s = 44 - 46. Let m be (27/(-6) - s)/((-2)/4). Suppose -3*j = m*n - 507, -4*j + n + 693 = 2*n. Is 29 a factor of j?
True
Let m = 15 - 6. Let s(b) = 15*b - 3. Let k be s(m). Suppose 38 = -p + k. Is 51 a factor of p?
False
Suppose 3*r - f = -6*f - 23, 4*r - 2*f = -22. Is 9 a factor of r/(-3*16) + (-1303)/(-8)?
False
Let i be 1/((-2)/(-8)) - (-7 + 5). Let x(m) = m**2 - 5*m + 8. Is 5 a factor of x(i)?
False
Suppose -560 = -5*h - 2*h. Does 2 divide (h - 9) + 0/(-2)?
False
Suppose q + 560 = 2*j, -j = q - 6*q - 280. Let z = j + -54. Does 11 divide z?
False
Suppose -346*h - 163972 + 892173 = -16391. Is 34 a factor of h?
False
Let p(c) be the second derivative of c**5/10 - 15*c**4/8 - 43*c**3/6 - 28*c. Let d(f) be the second derivative of p(f). Is 3 a factor of d(4)?
True
Let h = -648 - -768. Suppose 111*b + 4689 = h*b. Is 19 a factor of b?
False
Let u be (16/(-10))/2*-5. Suppose u*g - k - 10 = k, 0 = -3*g + 4*k + 20. Suppose g = 7*h - 5*h - 662. Is h a multiple of 38?
False
Suppose 34*o = 46*o - 1380. Suppose 11 = -r + o. Does 40 divide r?
False
Let z(h) = -158*h - 22. Let f(n) = n**3 - 23*n**2 + n - 25. Let o be f(23). Does 21 divide z(o)?
True
Let m = -19592 - -22350. Is 7 a factor of m?
True
Suppose -z - 2*g = -g - 9, 0 = -2*g. Let t(j) = 2*j**2 - 17*j + 25. Let m be t(7). Suppose -5*a = -25, -5*f + z*a + 655 = m*a. Is f a multiple of 34?
True
Suppose 247196 = 4*d + 4*p, 7*d - 6*p = 12*d - 308993. Is d a multiple of 23?
True
Let q be (19/57)/((-2)/(-30)). Is 6 a factor of 33*1 + (q - 8)?
True
Let w be (-2)/3 + (4 - 184/12). Is (w/(-16))/(5 + (-17395)/3480) a multiple of 15?
False
Let u(g) = -3*g + 2. Suppose -16 = 5*p + 2*v, p - v = -4*p - 7. Let m be u(p). Suppose 2*b = -5*o + 37, -b = 4*o - 5*o - m. Is 2 a factor of b?
False
Let b(v) = 12*v**2 - v + 1. Let p be (-2)/(-8)*24/3. Suppose -30 = -4*h - 2*d, 0*h + p*h = 2*d. Is b(h) a multiple of 22?
False
Let s(j) = -3034*j - 328. Does 12 divide s(-2)?
False
Suppose 33*o - 28*o + 300 = 0. Let k = -56 - o. Suppose k*i = 5*j - 10*j + 189, -2*i - 2*j + 94 = 0. Is 23 a factor of i?
True
Suppose -4034 = -2*y + 2810. Does 59 divide y?
True
Let d be 10 + -23 + (-2 - -4*1). Let h(f) = f**3 + 10*f**2 - 10*f + 16. Let r be h(d). Suppose -3*j - 5*n + 68 = -n, r*n = -j + 8. Is 4 a factor of j?
True
Let d = 624 - 634. Let x(a) = -3*a**3 - 27*a**2 - 51*a + 8. Is x(d) a multiple of 10?
False
Let t = 68647 + -28852. Is 15 a factor of t?
True
Suppose h = -5*h + 24. Does 48 divide ((-1540)/21 - 2)/(h/(-6))?
False
Let d(f) = -756*f - 129. Does 159 divide d(-13)?
True
Let c(q) = 129*q + 43. Let t(m) = 259*m + 86. Let h(d) = -13*c(d) + 6*t(d). Is 5 a factor of h(-1)?
True
Let o(f) = f**2 - 7*f - 50. Let w be o(-4). Let g(h) be the third derivative of h**5/20 + 13*h**4/24 - 5*h**3/6 + 2*h**2. Is 20 a factor of g(w)?
False
Let n = -54 + 56. Suppose -t - 5*l = 6, -n*t + 2*l + 2*l + 16 = 0. Suppose 2*z - 1580 = -t*b, 4*z + 1184 = 3*b + 6*z. Is b a multiple of 59?
False
Let x(g) = -29*g**2 - 21*g + 76. Let h(c) = 9*c**2 + 7*c - 25. Let i(r) = 7*h(r) + 2*x(r). Does 36 divide i(7)?
False
Let r = 324 - 228. Let o = -48 + r. Is o a multiple of 20?
False
Let t = 1010 + -1011. Let x(c) = c + 7. Let y be x(-5). Is 5 a factor of (0 - t/(-2) - y)*-6?
True
Let g(s) = -4*s**3 - 53*s**2 + 23*s + 40. Let u(x) = -x**3 - 13*x**2 + 6*x + 10. Let q be (-1 - -3) + 6 + 1. Let n(b) = q*u(b) - 2*g(b). Does 9 divide n(-12)?
False
Suppose 3*x - 1 = c, -4*c - 3*x + 49 = 38. Suppose -2*h - 2*h - 5*w = 9, -4*h - w + 11 = 0. Is (c - 3) + h + 15 even?
True
Suppose -4*v - 139 + 163 = 0. Suppose 250 + 728 = v*o. Does 9 divide o?
False
Suppose -7*a = -10*a + 216. Let i = 74 - a. Suppose -5*q + i = -18, 3*q = 4*u - 228. Is u a multiple of 8?
False
Let j(p) = -6*p**2 - 3*p - 19. Let z(y) = -6*y**2 - 3*y - 17. Let g(h) = -4*j(h) + 3*z(h). Does 34 divide g(-7)?
False
Let p = 4001 + -1598. Suppose 477 + p = 16*r. Is 60 a factor of r?
True
Let c = 101 - -215. Suppose 3*n = 2*h + c, -n + 0*h = -5*h - 101. Suppose -5*q - n + 396 = 0. Is 29 a factor of q?
True
Suppose 4*i - 13*q - 11953 = -8*q, 3*i + 4*q - 8988 = 0. Is i a multiple of 9?
False
Let z(p) = 2*p + 3. Let y(v) = -3*v - 5. Let r(n) = -2*y(n) - 5*z(n). Let q be 12*2/(-1 - 3). Is r(q) a multiple of 9?
False
Let x be 384/72*6/(-4). Let a be ((-2)/(x/54))/((-33)/(-176)). Suppose -354*f = -352*f - a. Is 6 a factor of f?
True
Let f be -1*(-20 - (5 - 3)). Let k = 27 - f. Suppose 0 = -3*g + 4*a + 470, -2*a + k = 3. Is g a multiple of 20?
False
Does 12 divide (8/6)/((5*10/75)/6202)?
False
Let a = -339 + 6729. Does 142 divide a?
True
Let c = 136828 + -94719. Is 89 a factor of c?
False
Suppose -16074 = -186*s + 167*s. Is 6 a factor of s?
True
Suppose 0 = 2*k + 2334 - 366. Let m = -390 - k. Is 9 a factor of m?
True
Let l be (-293139)/1197 + 4/(-38). Let u be 1/3 + (-3504)/9. Let b = l - u. Is b a multiple of 19?
False
Let w(k) = k**3 - 7*k**2 + 2*k + 2. Let t be w(7). Let s(l) = -l**2 - 17*l + 43. Let q(m) = m**2 + m + 1. Let n(j) = 2*q(j) + s(j). Is 27 a factor of n(t)?
False
Let q = 132 + -216. Let v be (-3)/(q/8) - (-4)/(-14). Suppose -5*u + u = 5*s - 427, 2*s + 4*u - 166 = v. Is s a multiple of 9?
False
Let z(w) = -2*w**2 + 12*w - 7. Suppose 0 = -2*n - r + 13, 2*n - 3*r - 33 = -0*n. Let f be z(n). Let c = 123 + f. Is 7 a factor of c?
False
Let y(x) = -x**3 + 21*x**2 + 58*x - 118. Does 22 divide y(21)?
True
Let d(f) = 1328*f - 1570. Is d(3) a multiple of 42?
False
Let y = 884 + 304. Is y a multiple of 9?
True
Let o(z) = -z**2 + 7*z - 5. Let a be o(4). Is 33 a factor of 2 - a/2*-68?
False
Let x(l) = -153*l - 28. Let q = 284 + -289. Does 67 divide x(q)?
True
Let g = 992 - 990. Suppose -t = -5*a + 5438, -4*t = -g*a - t + 2170. Is 8 a factor of a?
True
Let k = -89762 - -126638. Does 28 divide k?
True
Let j(x) = -33*x + 61. Let z be j(-18). Suppose -6*s - z + 1837 = 0. Is 47 a factor of s?
False
Let y = -3511 - -3965. Is y a multiple of 72?
False
Suppose 39 = 5*q + 29. Is 42 a factor of 54/4*56/q?
True
Suppose 0 = -5*w - 4*k + 8, 6*w + 4*k = 8*w + 8. Suppose -s = -w*d - 3*d - 992, 5*d + 3940 = 4*s. Is s a multiple of 20?
True
Let p(l) = -20*l + 130. Let c be p(6). Does 4 divide 8760/150 - (-6)/c?
False
Let w(r) = -r**2 - 12*r + 16. Let s be 0/5*1/(-3) + 4. Suppose 3*m + 33 = -4*h - 24, -12 = s*m. Is 3 a factor of w(h)?
False
Let b be (-1 - -2)/((-7)/35). Let p = b - -7. Suppose 0 = -0*t + p*t - 318. Does 15 divide t?
False
Let y(g) = g**2 - 28. Let i be y(8). Suppose 2*x - 5 = 2*h + 1, 4*x + 2*h = i. Suppose -x*l + 872 = l. Is l a multiple of 19?
False
Let l(k) = k**3 - 4*k**2 + 4*k + 11. Let d be ((-2)/8)/(141/(-20) + 7). Let j be l(d). Let y = j + -9. Is y a multiple of 11?
False
Suppose -35*c - 41*c + 211770 = -10302. Is 6 a factor of c?
True
Let h = -2821 - -1731. Let j = h - -1585. Is j a multiple of 5?
True
Suppose -3*v - j = -15, 4*v - 3 = 3*j + 4. Does 28 divide -1*v/1 - -129?
False
Let a(g) = -4*g**2 + 6*g - 9. Let y be a(4). Let p = -9 - y. Is 42 a factor of -189*(-5 - p/(-12))?
False
Suppose 4*n - 73 = -229. Let f = n + 41. Suppose -8*a = -f*a - 624. Is a a multiple of 13?
True
Let d = 405 - 375. Suppose 4*f = d*f - 15444. Is f a multiple of 66?
True
Suppose 4*x = -2*m - 6, 1 + 2 = -2*m - 3*x. Suppose 10 = -5*w, w + 10 = h - m*h. Is (1 + h)/3 - (-990)/5 a multiple of 13?
False
Suppose -52*n - 805 = -47*n. Let c = n - -115. Is 0 + -4 - c*1 a multiple of 7?
True
Let n(a) = -a**2 - 11*a - 7. Let z be n(-7). Suppose -2*f + 19 = 3*k, -f + 4*f = -2*k + z. Suppose 2*t = f*o - 0*t - 392, -4*o - t = -311. Is 26 a factor of o?
True
Let a(g) = -g + 40. Let r be a(0). Let f be (-3)/(4 - 162/r). Is 9 a factor of (0 - 9)*f/(-6)?
True
Let r = 40 + 137. Let d = 225 - r. Is 48 a factor of d?
True
Let y = -8526 - -8582. Is y a multiple of 28?
True
Suppose -3*p = -3*c + 4*c + 1, 5*c = -5*p - 5. Suppose 4*v + n - 324 = p, 5*v + 0*n = 4*n + 384. Let q = 31 + v. Is q a multiple of 30?
False
Let d(o) = o**3 - 17*o**2 - 15*o - 61. Let v be d(18). Let l(s) be the third derivative of s**6/120 + 2*s**5/15 + s**4/8 + 5*s**2. Is l(v) a multiple of 4?
True
Let q(s) = -2*s**3 - 55*s**2 + 3*s