-3*l = -p - 174. Is l a multiple of 19?
False
Suppose -9 = 3*c - 21. Is 11 a factor of 2*(-10)/c*(-9)/1?
False
Suppose 5*h = 3*v + 1001, -5*v = 542 - 557. Does 5 divide h?
False
Suppose -3*i + 15 = 2*i. Suppose 0 = x + 4*h + h - 5, 3*x - 87 = i*h. Let n = -13 + x. Does 4 divide n?
True
Is 66 a factor of (-3026)/(-3) + -1*10/15?
False
Suppose -4*h + 2*i = -15 - 25, h - 4*i = 24. Suppose h*z - 7*z = 26. Let n = z + -9. Is 17 a factor of n?
True
Does 17 divide (-1)/(-9) - (-18214)/18?
False
Suppose -4*s - 1116 = 424. Let j = -268 - s. Does 13 divide j?
True
Let t = -19 - -21. Let o = t - 8. Does 12 divide o/(-3 - 44/(-16))?
True
Let j(c) = 4 + 4*c + 4*c + 6*c - 10*c. Let v be 26/(1 + (-1)/(-1)). Does 12 divide j(v)?
False
Let g be (-5)/30 + (-93)/(-18). Suppose g*h - 517 = 3*b, 5*b + 17 = -3. Is 10 a factor of h?
False
Does 57 divide ((-99)/(-9) + -68)*-36?
True
Let u(x) = 3*x**2 + 17*x + 7. Is u(-13) a multiple of 10?
False
Suppose 4 + 24 = -7*d. Is ((-90)/d - 3) + 3/(-6) a multiple of 15?
False
Let f be (-12)/(-9) + 4/6. Suppose f*i = 2 + 52. Is 4 a factor of i?
False
Let r(n) = 2*n**2 - 7*n + 19. Let p be r(8). Suppose -p = -3*k + 74. Does 20 divide k?
False
Let b(r) = -r**3 - 5*r**2 - 4*r - 14. Let q(f) = -f - 15. Let g be q(-9). Let i be b(g). Let h = -16 + i. Does 19 divide h?
False
Is 15/2*((-176)/40)/(-1) a multiple of 2?
False
Suppose 3*q - 568 = 125. Is q a multiple of 22?
False
Let t(q) = -q**3 + 12*q**2 + 6*q - 15. Let a = 42 + -32. Suppose n - 28 = -4*x, 3*n - 6 = 5*x + a. Is t(n) a multiple of 14?
False
Let b(x) = x**2 + 10*x + 5. Let y be b(-10). Suppose -y*h = -19 - 6. Let j(l) = 9*l + 9. Is 21 a factor of j(h)?
False
Suppose -5*j - 3*l = 15, 5*j - l = -5*l - 20. Is 9 a factor of -2*(j + -7 + -4)?
False
Is (210308/(-35))/(-7) - 8/20 a multiple of 11?
True
Let o be ((-48)/(-108))/(2/9). Suppose 5*x = 15, 4*t - o*x = 34 + 120. Is 10 a factor of t?
True
Suppose 0*y + 12*y - 72 = 0. Suppose -89 = -y*a + 787. Is a a multiple of 12?
False
Let t be 7 + -3 - (4 - 2). Suppose 0 = t*u - b - 14, 3*b = -2*u - b - 6. Suppose -5*p = 4*g + 5 - 84, -2*g + 77 = -u*p. Is 17 a factor of g?
False
Let q be (-5 + 6)*1*10. Suppose -3*u = -q*u. Suppose -140 + u = -5*z. Is 14 a factor of z?
True
Suppose -586 = -5*b + 3*p, -5*b - 246 = 2*p - 822. Does 10 divide b?
False
Let c = -49 - -62. Let k = 43 + c. Does 7 divide k?
True
Let m(f) = 6*f**3 - 7*f**2 - f + 6. Let r be m(3). Does 5 divide r/4 - (-5)/(-10)?
True
Suppose -11 - 9 = 4*t. Let u = t - -8. Suppose -5 = 7*x - 5*x - u*p, 5*p = 5*x. Is 5 a factor of x?
True
Let f be (-486)/(-8) - 5/(-20). Is f + 4/2 + -3 a multiple of 30?
True
Suppose -18207 = -8*y + 6561. Does 12 divide y?
True
Let s = 10 + -16. Let o(y) = -4*y - 19. Let p be o(s). Suppose -2*f - p = -f, -5*m + 405 = -5*f. Is m a multiple of 12?
False
Let x(v) = -v**3 + 24*v**2 - 18*v + 123. Does 61 divide x(19)?
True
Let f(h) be the first derivative of -h**4/4 - 4*h**3/3 + h**2/2 - 4*h + 20. Is f(-5) a multiple of 2?
True
Suppose -3*i + 3*c = -0*c - 33, -2*c + 2 = 0. Suppose -2*n + 24 = 2*j, -6*n - i = -4*j - n. Does 6 divide j?
False
Let f = 140 + 40. Does 15 divide f?
True
Suppose 140 = -2*a + 798. Does 43 divide a?
False
Let k = -1031 + 1559. Suppose 664 = 5*g - 3*f, 4*g + f - 5*f = k. Is g a multiple of 32?
False
Suppose -2*c = 2*c + 36. Let o be 12/5*(18 + 2). Does 12 divide (o/c)/((-2)/9)?
True
Let l be (-9)/6*1266/(-9). Suppose h + 3*i - 37 = 9, l = 5*h - 4*i. Is 7 a factor of h?
False
Let f(l) = -l**3 - 29*l**2 + 5*l + 7. Is 50 a factor of f(-30)?
False
Let y = -1 + 9. Suppose 1188 - 202 = 4*p + 5*r, 4*r + y = 0. Let x = p - 155. Is 13 a factor of x?
False
Let m(t) = t**2 - 8*t + 3. Let y be m(8). Suppose 0 = y*g - 9 - 6. Suppose 7 = g*n - 93. Is n a multiple of 20?
True
Let s(k) = -121*k - 55. Let c be s(-5). Suppose -4*q = -c - 270. Does 61 divide q?
False
Let y = -32 + 34. Suppose -3*k + 376 = 4*q, 2*k + y*q = 7*k - 670. Is k a multiple of 29?
False
Let f = 5 - 1. Suppose -f*u + 0*u + 16 = 0. Suppose -u*m + 144 = -w, -w + 94 = 3*m - 21. Does 14 divide m?
False
Suppose -2 = -5*u - 3*w, 2*u + 3*w - 4*w = -8. Let g be (2*-18)/(u/(-5)). Is 28 a factor of (-20)/g - (-844)/9?
False
Let j be (36 + 6)*(-1)/(-2). Let g(v) = 10*v + 13. Does 13 divide g(j)?
False
Suppose -3*r + 6*r = -42. Let m(y) = -3*y**3 - 13*y**2 - 13*y - 7. Let d(k) = -k**3 + k**2 + k - 2. Let i(x) = -2*d(x) + m(x). Is 7 a factor of i(r)?
False
Let b(m) = m**3 - 9*m**2 - 5*m - 4. Let h be b(8). Does 4 divide h/8*(-24)/9?
True
Let b = -1 - -13. Suppose 2*a - 52 + b = 0. Is 10 a factor of a?
True
Let r = -152 + 146. Let w(v) = -70*v - 79. Is w(r) a multiple of 31?
True
Let b(p) = -p**3 + 21*p**2 + 21*p + 34. Let q be b(22). Let w(m) = -12 + 6*m - m - 3*m. Is 12 a factor of w(q)?
True
Suppose -2*q - 189 - 561 = -3*w, -q + 1000 = 4*w. Suppose 0 = k + 4*k - w. Let a = k + -25. Is a a multiple of 25?
True
Suppose 0 = 6*w - 2*w - 4, 72 = 2*f + 2*w. Let c(g) = g**3 - 23*g**2 + 42*g - 11. Let r be c(21). Let x = f + r. Is x a multiple of 8?
True
Let a = 6 + -27. Let v = -19 - a. Let i = 26 - v. Does 14 divide i?
False
Let n = -12 + 32. Let d be 2/(-2 + 41/n). Suppose 0 = 4*l - 48 - d. Is l a multiple of 11?
True
Let x = -162 + 85. Let w = -53 - x. Is w a multiple of 6?
True
Is 4 - (36094/(-7) - (-2)/7) a multiple of 20?
True
Let u(w) = -10 + w**2 - 6 - 6 + 9*w. Does 26 divide u(15)?
True
Let k(p) = p**3 - 11*p**2 - 3*p - 22. Is k(12) a multiple of 5?
False
Let x(h) = -13*h + 1. Let b(i) = -12*i. Let k(t) = 5*b(t) - 4*x(t). Let a(w) = 17*w + 7. Let d(j) = 3*a(j) + 7*k(j). Does 19 divide d(-15)?
False
Let h(y) = -6*y**3 - 10*y**2 - 10*y - 11. Does 11 divide h(-5)?
True
Suppose 2*p + 5*j = -p - 28, -j = 2*p + 7. Is 407/33*(p + 7) a multiple of 10?
False
Does 8 divide (11/4)/(-15*(-12)/18000)?
False
Suppose 0 = 6*f - 73 - 47. Is 20 a factor of f?
True
Suppose 75 = 8*q - 7*q. Is 75 a factor of q?
True
Let w be ((-16)/4)/(-4) + 1. Suppose 7*h - 20 = w*h. Suppose h*v + 3*t = 151, v = -2*t + 25 + 9. Is 8 a factor of v?
True
Let f = -18 + 18. Suppose 2*u + f + 6 = 0. Is 19 a factor of (3 + 47)*u/(-6)?
False
Let c(b) = 3*b**2 - 8*b - 16. Let r(v) = -7*v**2 + 15*v + 32. Let k(o) = 9*c(o) + 4*r(o). Is k(-7) a multiple of 4?
False
Let s(g) be the third derivative of g**6/12 + g**5/60 - 5*g**4/24 + g**3/2 + 16*g**2. Does 9 divide s(1)?
True
Suppose 4*r + 0*s - 302 = -2*s, 5*s = -r + 98. Suppose g - 2*f - 13 = 0, -20 = -5*g - 4*f + r. Is g a multiple of 3?
False
Suppose g - 6 = -2. Suppose 2*a - 3*a + 5*f = 1, g*f + 16 = 5*a. Suppose -14 + 66 = a*i. Is i a multiple of 2?
False
Let a(b) = 3*b**2 - b + 1. Let i = 2 - 1. Let f be 1/((-4)/8 + i). Does 9 divide a(f)?
False
Let q(i) = -70*i + 7. Let d be q(2). Let r = d + 247. Is 16 a factor of r?
False
Let l = -246 - 8. Is 19 a factor of (-6 - l)*(1 + 2/(-4))?
False
Suppose 14*u = 6*u + 1848. Does 77 divide u?
True
Suppose j = p + 1457, -2918 = -81*j + 79*j + p. Does 64 divide j?
False
Let x be (32/(-20))/((-6)/(-45)). Let v = x + 23. Suppose -9 = -3*t, 53 = b + 5*t - v. Does 6 divide b?
False
Let d(j) = j + 3. Let b be (5/15)/((-1)/6). Let c be d(b). Suppose -2*o + 34 = 2*f + 2*o, -3*f + 4*o + c = 0. Is f even?
False
Is ((-10)/(-3))/(-2)*(-437 + 5) a multiple of 20?
True
Let f(x) = x**3 + 1. Let v be f(-1). Let s(d) = d**2 + 18. Is s(v) a multiple of 9?
True
Suppose -3*q - 5*m = -1950, 15*q + 4*m = 17*q - 1322. Is q a multiple of 8?
False
Let q(k) = k + 13. Let f = -18 - -8. Let a be q(f). Suppose -d - d = -p + 63, -a*d - 122 = -2*p. Does 25 divide p?
False
Let x be (-3 - (-2 - -4)) + 1. Let j be 8/(x/70*-1). Suppose 164 = 4*t - j. Is t a multiple of 38?
True
Let b be 14/(-42) + (-148)/(-3). Is 0/3 + -5 + b a multiple of 22?
True
Let t(r) = -822*r - 304. Does 103 divide t(-7)?
False
Suppose 5*b = 2*t - 29, -4*t - 22*b = -18*b - 44. Is t a multiple of 12?
True
Let p(t) be the second derivative of t**5/20 - 2*t**4/3 - 5*t**3/3 - 5*t**2 + 9*t. Let r be p(9). Let q = -5 - r. Is q even?
True
Suppose -c - 2*a = -7 - 3, -4*c + 4*a + 16 = 0. Does 4 divide ((-52)/c)/((-24)/108)?
False
Let v(i) = -4*i - 5. Let o(z) = -z**3 - 9*z**2 + z + 4. Let u be o(-9). Is 3 a factor of v(u)?
True
Let a be 2/9 - (-305)/45. Suppose -y - 5 = -b + a, b = -3*y + 24. Suppose 