(r/(-10))/(5/w)?
True
Suppose 6 = -2*g, -v = -4*g + 14 + 35. Let x = 121 + v. Does 9 divide x?
False
Let y be (-2)/6*(-20 - -11). Suppose 2*n + 194 = 3*n - z, -962 = -5*n + y*z. Is 10 a factor of n?
True
Suppose g - 2*b - 4 = 0, -b + 6 + 3 = 5*g. Suppose -6*q - g*q + 440 = 0. Is q a multiple of 27?
False
Let a(f) = -f**2 + 14*f + 8. Let n be a(13). Let p = -32 - -76. Let t = p - n. Is t a multiple of 23?
True
Suppose 5*s - 3850 = -0*s. Let g = s - 503. Suppose 42 = -4*z + 5*i + g, -z + 4*i + 48 = 0. Is 20 a factor of z?
True
Suppose -21*r + 17*r - 2*v + 13806 = 0, 3*r - 10359 = -3*v. Does 150 divide r?
True
Suppose 23*y - 25*y + 4 = 0. Suppose 4*q = y*n + 3*n - 9, -20 = -5*q. Suppose -4*u = 4*k - 152, u - n*u - k = -137. Is u a multiple of 7?
False
Suppose 29*b - 2122 = 5853. Does 25 divide b?
True
Let t = -181 + 26. Let w = t + 280. Is 20 a factor of w?
False
Let y be 423/135 - (-2)/(-15). Suppose 0*g = -3*g + 6. Suppose 38 = y*v + g*f, 0*v - 2*f - 46 = -4*v. Is v a multiple of 6?
True
Suppose -5*j - 1400 = -0*j. Let o = 420 + j. Suppose 5*i = o + 105. Is i a multiple of 18?
False
Let d(z) be the third derivative of -z**6/120 + z**5/60 + z**4/24 + 5*z**3/6 - 3*z**2. Let u be d(0). Suppose 62 = u*n - 8. Does 6 divide n?
False
Suppose -3*h + 3093 = 3*n, 33*n - h = 29*n + 4134. Is 9 a factor of n?
False
Let h(f) = -1 - 4 + 5*f - 6*f. Let v be h(-7). Suppose -z - r = -39, -z - v*r + 114 = 2*z. Is 12 a factor of z?
True
Let x(d) = 2*d**2 + 12*d + 1305. Does 45 divide x(0)?
True
Suppose -5*c - 4*d = -c - 12, -4*d = -20. Does 11 divide (c - -4)/((-2)/(-22))?
True
Let l be 6/(-9)*(-18)/4. Suppose 3*m = 3*n + 39, -m - n = -l*n - 17. Is 9 a factor of m?
True
Let t(o) = o**3 - 15*o**2 - 32*o - 34. Let f be t(17). Suppose 6*a - 342 = -f*a. Does 19 divide a?
True
Let f = -17 - -20. Suppose 3*i + 56 + 60 = 4*g, -86 = -f*g + 2*i. Is 26 a factor of g?
True
Let s(z) = 3*z**3 + 4*z**2 - 3*z - 10. Is s(4) a multiple of 9?
True
Let p = 21 - 18. Suppose 3*t - 4*y - y = p, 3*t = -3*y + 3. Let v(q) = 8*q**2 + 2*q - 2. Does 8 divide v(t)?
True
Let r = -20 + 23. Suppose 3*t = -r*t. Let h(b) = b + 8. Does 6 divide h(t)?
False
Let d(p) = 11*p**2 - 16*p + 68. Let c(b) = 4*b**2 - 5*b + 23. Let s(j) = -8*c(j) + 3*d(j). Is 17 a factor of s(12)?
True
Suppose 0 = -5*a - 4*v + 1421, -4*a + 0*v = -4*v - 1108. Suppose -4*n = -79 - a. Does 23 divide n?
False
Let f = 24 - 24. Suppose 4*u - 448 + 0 = f. Does 14 divide u?
True
Suppose -29 = -2*i - 5*j, 3*i + 5*j - 37 = -6. Does 19 divide i/6 + (-5)/15 - -38?
True
Suppose 1445 = 5*m - 4*z, m - z = 2*m - 298. Let w = m - 62. Suppose s - w = -5*a, -s - 229 = -5*a - 0*s. Is 12 a factor of a?
False
Let z = -65 + 94. Suppose 2*n + 3*n + 418 = 2*l, -2*n = -4. Suppose -5*k + 2*x = -l, -11 - z = -k - x. Is k a multiple of 15?
False
Let a be (3 + 0)*2/3*-103. Let z = -45 - a. Does 31 divide z?
False
Let p = 12 - 13. Let y(k) = -16*k - 2. Let j(o) = -o - 1. Let q(u) = p*y(u) + 5*j(u). Is 15 a factor of q(3)?
True
Let i = 268 + -202. Is 33 a factor of i?
True
Suppose -2*d + 5*g - 117 = 0, 97 = -2*d + 3*g - 2*g. Let a = d + 200. Is a a multiple of 11?
True
Suppose 31*o = 33*o - 144. Is 4 a factor of o/3*6/9?
True
Let m(c) = 5*c**2 + c**3 + 4 - c**2 - 14*c + 15*c. Let b be m(-4). Is 22/2*(4 - b) a multiple of 22?
True
Let x(k) = 99*k + 506. Is x(18) a multiple of 88?
True
Let y be -1*1*-4*1. Suppose g = 4*t + 3, 4 = 2*g - y*t - 2. Suppose 19 + 29 = g*n. Does 12 divide n?
False
Let i(w) = -5*w**3 - 3*w**2 + 7*w + 2. Is i(-5) a multiple of 11?
True
Let f(k) be the second derivative of -1/4*k**4 + 0 - k**2 + 1/2*k**3 + 1/5*k**5 - 4*k. Does 15 divide f(2)?
False
Let k(w) = 5*w + 21. Let h(m) = m**3 + 17*m**2 - 21*m - 42. Let s be h(-18). Is k(s) a multiple of 8?
False
Suppose -25 = -4*l - l. Let m be (l + -2 + -3)/(-1). Suppose -72 = -f - m*f. Is 16 a factor of f?
False
Let s(j) = 14*j**2 + 10*j + 0*j**2 - 66 + 53 + j**3. Is 26 a factor of s(-13)?
True
Suppose 0*n - 3*n = 2*q + 1, -n + 4*q = -23. Let l(p) = -3 + n*p + 17 + 0*p + p. Is l(11) a multiple of 15?
False
Let y(a) be the third derivative of -a**6/120 - a**5/30 + 11*a**4/24 - 4*a**3/3 - 10*a**2. Let v be y(-6). Suppose -2*r = -v - 94. Is r a multiple of 11?
False
Suppose g - 1865 = -3*i, -4*g + 5*i - 8*i + 7415 = 0. Is g a multiple of 50?
True
Let h(g) = 9*g. Let c be h(-9). Let r be (86 + 0)*(-1)/2. Let a = r - c. Is 19 a factor of a?
True
Let l = 31 + -31. Suppose l = -4*u - 204 + 760. Is 29 a factor of u?
False
Let i(a) = -2*a**3 - a**2 - 3*a + 11. Let h(w) = 3*w**3 + w**2 + 4*w - 12. Let q(t) = 3*h(t) + 4*i(t). Let p be q(0). Let j = 18 - p. Is j even?
True
Let h be (0/(-7))/(((-2)/1)/(-2)). Does 18 divide h + (-902)/(-10) + (-2)/10?
True
Let l(o) = 5*o**3 - 2*o**2 + o. Let v(u) = u**2 - 8*u + 10. Let j be v(7). Let a be l(j). Suppose -5*y = -0*y - a. Does 15 divide y?
False
Let v(c) = 2*c**2 + 17*c - 16. Let d be v(-9). Is 172 + (d + 3 - 0) a multiple of 14?
True
Let y(r) be the second derivative of r**5/60 + r**4/3 - 5*r**3/2 - 3*r**2 + 7*r. Let k(m) be the first derivative of y(m). Is k(-11) a multiple of 9?
True
Suppose 0 = -8*i + 61 + 163. Suppose -34 = -3*g + 35. Let f = g + i. Does 17 divide f?
True
Suppose 45 = u + 4*u. Suppose -u = -2*v + 5*j, 0*v - 4*v - 2*j = -6. Suppose -2*d - v*d = -84. Is d a multiple of 7?
True
Let i = -59 + 61. Suppose -i*h + 8 = -h. Does 5 divide h?
False
Suppose -4*d = -3177 - 2039. Let j be (-16)/104 + d/26. Does 18 divide j/(-8)*(1 - 9)?
False
Suppose -w = 2*y + 1, -5*w + 15 = 5*y + 5. Let v = 186 + -129. Suppose 63 + v = w*c. Is c a multiple of 24?
True
Suppose 2*s - 22 = 3*i, i = -5*s + 32 + 23. Let x be (26/(-5))/((-5)/200*-8). Let j = s - x. Is j a multiple of 13?
False
Let k(a) be the third derivative of -a**5/8 + a**4/24 + 5*a**3/3 + 7*a**2. Let d(n) be the first derivative of k(n). Is 16 a factor of d(-1)?
True
Let m be 539/3 - 17/(-51). Let b(p) = p**3 - 6*p**2 + 3*p - 6. Let z be b(6). Suppose 5*r - 5*a - m = 0, -r + 16 = -3*a - z. Does 10 divide r?
True
Let t = -9 + 2. Let r = -5 - t. Is 13 a factor of -4 + r + 2*8?
False
Let g = -42 + 18. Does 6 divide (-124)/6*g/16?
False
Let f = 4855 - 3468. Does 73 divide f?
True
Let q = -167 - -282. Is q a multiple of 5?
True
Suppose -2*x = 0, 0 = 3*q + 3*x - x - 2709. Does 43 divide q?
True
Let t(q) = 28*q**2 + q. Let v be t(-1). Suppose -3*b = -57 - v. Suppose -2*h + 3*x = 2*h - b, 0 = 3*x. Is h a multiple of 7?
True
Suppose 0 = -5*x - 14 + 164. Let a be 4/(-1) - (x + -9). Let j = a - -37. Is 4 a factor of j?
True
Suppose 5*f - 3535 = 5*d + 8420, -4*f + 2*d + 9556 = 0. Does 15 divide f?
False
Let o(d) = -d**2 + 8*d. Let t be o(5). Is 5 a factor of (t/45)/((-2)/(-156))?
False
Let h = -49 + 84. Does 13 divide h?
False
Suppose 43 = 2*z + 11. Let n(s) = -s**2 - 8*s - 8. Let a be n(-7). Is (3 + (-1 - a))*z a multiple of 24?
True
Let h be (-2 + 3)*32 + 0. Let v be h/(-6)*(-54)/12. Is 2*v*(-2 - -3) a multiple of 11?
False
Let v = -50 - -13. Let j = 87 + v. Is j a multiple of 27?
False
Let u(q) = -4*q**2 + 23*q**3 - 29366*q + 29365*q + 1 + 3*q**2. Suppose -5 = -0*o - 5*o. Is 13 a factor of u(o)?
False
Suppose -3257 = -6*m + 2983. Is 40 a factor of m?
True
Let p(r) = -4*r - 50. Does 5 divide p(-25)?
True
Let c be (-2)/(-7) - 96/(-7). Let f be (0 + 1)/3*30. Let r = f + c. Does 7 divide r?
False
Let q = 74 - 61. Suppose 14*g - q*g = 121. Does 49 divide g?
False
Let a(j) = 5*j + 3. Let w be a(1). Does 13 divide 60/((w/8)/((-6)/(-4)))?
False
Suppose -1 = 5*m + 9. Is 8 a factor of ((-91)/(-21))/((-38)/(-18) + m)?
False
Let q = -609 - -1971. Is q a multiple of 6?
True
Let n(z) be the third derivative of z**5/60 - z**4/24 + z**3 - 71*z**2. Let t = 10 + -19. Is n(t) a multiple of 24?
True
Is 25 a factor of 4/6 + (-3)/((-9)/1318)?
False
Let p(k) = 3*k - 15. Let h be p(6). Suppose -3*s - h*m - 33 = -4*s, 0 = -4*s - 5*m + 166. Is 4 a factor of s?
False
Suppose -3*o = -x + 60, 2*o - 264 = -4*x + 6*o. Is x a multiple of 3?
True
Suppose -s + 2*v - 7*v = 12, -2*v = 0. Does 13 divide 2/s + (-1385)/(-30)?
False
Let w = 52 - 56. Let q(x) be the first derivative of -x**4/4 - 4*x**3/3 - 2*x**2 + 5*x - 2. Does 7 divide q(w)?
True
Let g = 15 + -15. Let w = 131 + g. Is w a multiple of 51?
False
Let a(z) be the third derivative 