ctor of h?
True
Let y be -22*(-2)/20 - (-4)/(-20). Suppose -4*p + 6*i - y*i + 64 = 0, -2*p + 32 = 2*i. Is 3 a factor of p?
False
Is 168*(8/(-3) - -3) a multiple of 14?
True
Suppose 0 = l - 3, -3*v - 198*l + 201*l + 2979 = 0. Is 20 a factor of v?
False
Let y = 16 + -9. Suppose -4*t + 111 = -y*t. Let p = 51 + t. Is p a multiple of 9?
False
Let f(t) = -t + 149. Is 16 a factor of f(-25)?
False
Suppose -5*p + 15 = 0, -4*r - 118 = -0*p + 2*p. Is (r*3/9)/((-1)/6) a multiple of 40?
False
Let p(r) = r**3 + 12*r**2 - 2*r - 19. Let t be p(-12). Is 9 a factor of 547/t + (-2)/5?
False
Let j(x) = -6*x**2 + 3*x - 15. Let m(k) = -k**2 + k + 1. Let v(z) = -j(z) + 5*m(z). Let a be v(0). Suppose -u = u - a. Does 3 divide u?
False
Let z(s) be the third derivative of -1/60*s**5 + 1/6*s**3 - 5/8*s**4 + 5*s**2 + 0 + 0*s. Is 6 a factor of z(-14)?
False
Let h(n) = n**3 - n**2 + n + 15. Suppose 2*d - 6 = -0, -2*f - 1 = -5*d. Let p be 0/(f + -4)*1. Is 15 a factor of h(p)?
True
Let b(u) = 3 - 31*u - 2 + 3*u**3 + 30*u - u**2. Is b(3) a multiple of 35?
True
Let f = 33 + -17. Suppose -f = -5*c + c, 3*x - 871 = -4*c. Is 19 a factor of x?
True
Let s(h) = 3*h**2 + 60*h + 528. Is 27 a factor of s(-35)?
False
Suppose -5*f - 2*n = -82, -f = -3*f - 3*n + 24. Suppose -6 = -m - 4*c, -3*m - 4*c = 2*m + 50. Let z = f - m. Is z a multiple of 8?
True
Suppose 4*k - 467 = -3*u, 4*u + 3*k = 158 + 460. Is u a multiple of 3?
True
Suppose 27 - 9 = r. Let u(l) = -l + 46. Is u(r) a multiple of 14?
True
Suppose 30*y = 24*y + 2784. Is 58 a factor of y?
True
Is (6 + -12 - -27)*22 a multiple of 42?
True
Let p(o) be the second derivative of o**5/10 + 4*o**4/3 - 4*o**3/3 - 2*o**2 - o. Does 10 divide p(-7)?
True
Let t(g) be the third derivative of -g**6/120 + g**5/12 + g**4/8 + 7*g**3/6 + 9*g**2 - 2. Let i be (-2)/7 - 37/(-7). Is t(i) a multiple of 11?
True
Let q(w) = 15*w**2 + 2*w + 1. Let c be q(-1). Suppose 4*k = -10*k + 700. Suppose 3*d - k = -c. Is d a multiple of 6?
True
Suppose 59*u - 1440 = 54*u. Does 13 divide u?
False
Let c be (-2 + -1)/(-1) - 1. Suppose 27 = 4*i - 5*f, 2*f - 6*f = -c*i + 18. Suppose i*s + 65 = 2*n, 2*s = -2*s - 12. Is 14 a factor of n?
True
Let c = 1098 - 587. Is c a multiple of 51?
False
Let w = 9 + -7. Let q(z) = 56*z**2 - 5*z + 8. Is q(w) a multiple of 13?
False
Suppose 0 = -5*r - 604 + 3824. Does 33 divide r?
False
Is 14/(-6)*-93 + 6/(-6) a multiple of 18?
True
Suppose -8 + 2 = -2*a. Suppose 0 = a*f - 415 - 155. Is f a multiple of 38?
True
Let m(f) = 54*f - 1. Let s(r) be the third derivative of r**5/60 + r**4/8 + r**3/6 + 5*r**2. Let k be s(-3). Is 12 a factor of m(k)?
False
Suppose -5*q - 7389 = -10*q - 2*b, 4*q - 5913 = -b. Is q a multiple of 18?
False
Let a = -81 - -100. Suppose -1710 = -a*m - 19. Is m a multiple of 8?
False
Let j = -1193 - -1104. Let z = 319 - 144. Let l = j + z. Is l a multiple of 18?
False
Let z(f) = f**3 + 21*f**2 + 25*f - 7. Is 5 a factor of z(-13)?
True
Suppose -26 = j - 2*i, 126 = -4*j + i - 4*i. Let b(s) = -2*s + 10. Let d be b(7). Is j/(-40) + (-17)/d a multiple of 3?
False
Let k(g) = -g**2 - 4*g. Let z be k(-3). Suppose z*d - 4*d = 0. Suppose d = -5*f + 3*f - 5*v + 127, -f = 5*v - 76. Is 15 a factor of f?
False
Suppose -11*k + 1548 + 894 = 0. Does 5 divide k?
False
Suppose -4*i + 8 = 3*o - 10, 0 = 4*o - 3*i - 24. Suppose 0 = o*u - 180 - 216. Does 22 divide u?
True
Let y(u) = 45*u**2 + 2*u - 11. Does 46 divide y(-5)?
True
Is 72 a factor of ((-7908)/(-30) - 3) + (-4)/(-10)?
False
Is (-84)/(-18)*210/4 a multiple of 49?
True
Suppose 11*v - 16*v + 1015 = 0. Is 21 a factor of v?
False
Suppose -k + 4*j = 3*k - 192, -2*k + 131 = 5*j. Let a = -31 + k. Is a a multiple of 11?
True
Suppose 5*n - 7*n = 0. Let f be n + 5 - 1 - 4. Suppose -2*b + 19 = 4*d - 47, f = -4*b - 4*d + 116. Is b a multiple of 10?
False
Suppose -11 = -f + 5*b, 2*b = 2*f - 7*f + 1. Suppose -10 = -4*s - 2*y, 0 = 3*s + 5*y - 7 - 11. Is f/((-13)/14 + s) a multiple of 5?
False
Suppose m = -f + 5, -5*f + 0*m + 3*m = -1. Suppose f*r - 123 = 27. Is 25 a factor of r?
True
Suppose -5 - 7 = 2*k. Let j(g) be the third derivative of -g**4/6 + 4*g**3/3 - 9*g**2 - 3. Does 16 divide j(k)?
True
Let d(c) = 8*c**2 + c + 32. Does 67 divide d(-8)?
True
Let c(h) = 24*h**2 - 3*h - 4. Let n(g) = -47*g**2 + 5*g + 7. Let i(t) = -5*c(t) - 3*n(t). Does 7 divide i(-1)?
False
Is (-9)/6*(-2 + -4*9) a multiple of 5?
False
Suppose -5*o - 240 = -s, -3*s + 0*o - 2*o + 669 = 0. Does 15 divide s?
True
Let t = -920 + 1400. Is t a multiple of 12?
True
Let o(x) = x**2 - 12*x + 17. Let r be 5/(-5) + 1 + -1. Let h(d) = -14*d**3 + d. Let i be h(r). Does 15 divide o(i)?
True
Let y = 292 + -175. Is y a multiple of 13?
True
Let l be (2 - 0)*(-14)/(-7). Let a be (1 + -4)/(1/l). Let p = a - -24. Is p a multiple of 6?
True
Let z(x) = -64*x. Let a be z(-16). Suppose -22*j = -14*j - a. Is 16 a factor of j?
True
Let l be 15/9*(2 - -4). Suppose -2*k + l = -0*k. Suppose -5*t = 4*c - 63, 0 = -2*c + 4*t - k + 17. Is 4 a factor of c?
True
Suppose 0 = 8*b - 74 + 26. Suppose y + 200 = b*y. Is y a multiple of 14?
False
Let s = -742 + 1376. Let i = 934 - s. Suppose 0 = 5*x + 2*m + 49 - i, 5*x = m + 257. Does 17 divide x?
True
Let g = 540 + -309. Is g a multiple of 10?
False
Suppose -132 = -4*i + 8. Is 8 a factor of i?
False
Suppose y - 70 = -3*i - 29, -3*i = 2*y - 43. Suppose 0 = -4*j + 51 + i. Does 6 divide j?
False
Let t = 15 + 12. Let c = -57 + t. Does 12 divide c*((-16)/(-10))/(-2)?
True
Suppose 4*n + 4*w - 11356 = 3*w, 0 = -5*n + w + 14186. Is n a multiple of 54?
False
Let u be 1*0/((-1)/1). Suppose 2 = -2*x - 2*w, 1 + u = -w. Suppose x*l + 4*l - 88 = 0. Is l a multiple of 5?
False
Let o be (-2)/(64/(-62) + 2 + -1). Suppose 2*p - o = 202. Does 11 divide p?
True
Suppose -2833 = 5*o - 9*o + k, -1403 = -2*o + 5*k. Is o a multiple of 22?
False
Let p = 54 + 428. Does 14 divide p?
False
Let x(t) = 12*t. Suppose -3*d + h + 2 = -8, -5*d + 24 = 2*h. Is x(d) a multiple of 6?
True
Let s = -10 + -6. Let f = s + 13. Is 31 a factor of (7/(-14))/(f/432)?
False
Suppose -2*n = 3*h - 5*n + 66, n + 30 = -h. Is h*1/3*-3 a multiple of 5?
False
Let y = 19 + -15. Let u(p) = -p - 1. Let l be u(-4). Suppose -v = 2*v + 5*n - 69, -y*n + 72 = l*v. Is 15 a factor of v?
False
Let n be (2/4)/((-6)/(-12))*-63. Suppose -5*v + 2*v = 4*z + 299, -3*z = -12. Let c = n - v. Does 9 divide c?
False
Suppose 3*t + 6 = 21. Suppose 12 = 3*k - t*k. Let h(o) = 4*o**2 + 12*o + 19. Is h(k) a multiple of 13?
True
Let m(r) = 13*r**2 - r - 1. Let h(g) = g**3 + g**2 - 7*g. Let f be h(-3). Does 15 divide m(f)?
False
Let o = -73 - -313. Suppose -13 - 8 = -7*g. Suppose o = r + g*r. Is 20 a factor of r?
True
Let l(y) = 70*y - 12. Does 16 divide l(5)?
False
Suppose 0*c = -3*c + 5*v + 4528, -v = 5. Is 19 a factor of c?
True
Suppose -4*x + 3 + 13 = 0. Suppose -4*d - 14 = -2*v, x*v = 3*d - 0*v + 23. Is 73/d*1/(-1) a multiple of 17?
False
Suppose 3*x - 7*x + 32 = 0. Let m(q) be the first derivative of 2*q**3/3 - 6*q**2 + 12*q - 10. Does 13 divide m(x)?
False
Let x(h) = 32*h - 5. Let w(u) = 33*u - 5. Let y(b) = -6*w(b) + 5*x(b). Is 7 a factor of y(-3)?
True
Suppose -20 + 1130 = 10*y. Does 16 divide y?
False
Suppose -4*b = -4185 + 145. Suppose -3*k - 3*v = -2*v - 620, 3*v = 5*k - b. Is 23 a factor of k?
False
Let p(x) = 10*x**2 + 7*x**2 - 8 + 6*x - 7*x**2 - 2. Is p(-4) a multiple of 18?
True
Let h be 1 - 230*(3 - 4). Let i = h + -135. Is 24 a factor of i?
True
Suppose 5*w = -2*w + 28. Suppose -w*z = 2 - 10, 5*k - z - 118 = 0. Is k a multiple of 6?
True
Let x(d) = 699*d**2 - 43*d + 44. Is 14 a factor of x(1)?
True
Let q(b) = 2*b**3 + 6*b**2 - 2*b - 8. Let f(u) = -u**2 - 7*u - 8. Let g be f(-4). Does 16 divide q(g)?
True
Is ((-18117)/122)/(-2 + (-5)/(-4)) a multiple of 3?
True
Let t(w) = -w + 63 - 30 + 22 - 2*w. Does 7 divide t(-21)?
False
Suppose 5*j + 124 - 1219 = -5*h, 5*h = 5. Is j a multiple of 3?
False
Let p(o) = -28*o - 1. Let j be p(-1). Suppose j - 4827 = 5*k. Is 13 a factor of k/(-25) + (-6)/(-10)?
True
Suppose w + w - 2*k = 10, 3*k = -4*w + 13. Suppose -w*f + 4 = -2*f. Is 21 - (0/f - -1) a multiple of 10?
True
Does 5 divide (5/2)/((-59)/(-1534))?
True
Suppose -50*r = -52*r + 52. Let l = -14 + r. Does 4 divide l?
True
Let k(m) = m - 1. Let s(u) = u**3 - 12*u**2 - 13*u - 9. Let r be s(