ative of h**4/6 - 7*h**3/6 - 7*h**2/2 - 12*h. Is r(7) a multiple of 21?
True
Suppose -21 = -5*r - 1. Suppose -s + 5*i = -5*s, 0 = -i - r. Suppose -s*c = j - 90, -5*c = -6*j + j - 90. Does 9 divide c?
True
Let v = -235 + 405. Is 5 a factor of v?
True
Let m(u) be the first derivative of 23*u**2 + 2*u - 10. Does 10 divide m(1)?
False
Let y(v) = v**3 - 3*v**2 - 8*v - 7. Let w = 29 - 22. Is 42 a factor of y(w)?
False
Let j(w) = 2*w**2 + 4*w + 8*w - 9*w + 2*w**2 - 6. Does 13 divide j(-4)?
False
Does 116 divide (359 - 11)*(-1 - -9)?
True
Let b(s) = -4*s - 2*s**2 - 6 + 1 + 3*s**2. Let k be b(5). Does 17 divide (k - -26) + (1 - 1)?
False
Let g be (-16)/(-12)*-3 + -2. Let y(z) = z**2 - 2*z - 10. Is 25 a factor of y(g)?
False
Let s be 233 + ((-9)/(-6))/(9/12). Let t = s + -124. Is t a multiple of 37?
True
Let h = -1211 + 1981. Does 27 divide h?
False
Let g(v) = 31*v**2 + 2. Suppose 5*s = -q + 5, 5*s - 7*q = -10*q - 5. Is g(s) a multiple of 21?
True
Let z(v) = -4*v + 12. Let r be (-132)/(-55)*10/4. Suppose -r*c - 29 = 13. Does 10 divide z(c)?
True
Suppose 0 = w + d + 61, d - 5*d = w + 61. Let p = w + 121. Is p a multiple of 11?
False
Let n = -25 + 25. Suppose n = g + d - 37, g = -0*g + 4*d + 17. Is 3 a factor of g?
True
Let f be (16/20)/(3/15). Let p be 2/f + 5/2. Suppose 4*h - 2*k = 64, 0*k - k = p*h - 38. Is 14 a factor of h?
True
Let u = -44 - -47. Suppose -741 = -u*y - 10*y. Is y a multiple of 19?
True
Suppose i - 1601 = -5*f, -188*f + 191*f = 12. Is 93 a factor of i?
True
Let y(u) = -11*u**2 + 8*u + 3. Let i be y(4). Let q be 6/21 + 1867/7. Let v = i + q. Does 37 divide v?
False
Suppose -3*p - 3*s - 2*s = -57, 4*s + 84 = 3*p. Let u be (-1)/4 - (-1518)/p. Let c = u + -40. Is 7 a factor of c?
False
Suppose 5*z + 25 = 0, -3*m - m = -4*z + 12. Does 20 divide 144 + 9/(18/m)?
True
Suppose -2*i - 15 = -3*o, 3*i + i + 18 = 2*o. Suppose o*j + 54 = 138. Does 28 divide j?
True
Let w = -698 - -778. Is w a multiple of 9?
False
Does 13 divide (2/(-12))/((-3)/(6*2589))?
False
Let k(c) be the third derivative of c**5/3 + c**4/12 + c**3/3 - 3*c**2. Is 10 a factor of k(-1)?
True
Suppose -189 - 84 = 7*f. Is 6/f + (-1652)/(-91) a multiple of 6?
True
Suppose -5*o - 5*f + 1397 = 252, -3*f - 6 = 0. Is 13 a factor of o?
False
Let h = 17 + 8. Is 14 a factor of 705/h - 3/15?
True
Suppose -5*f - 25*j = -23*j - 6136, 3*f = 5*j + 3663. Is 10 a factor of f?
False
Let y(m) = -m**3 + 8*m**2 - 4. Let i be y(8). Is 10 a factor of -5 - i - 0 - -37?
False
Let h = -198 + 671. Suppose h = 5*f - 3*x, 0 = -3*x + 17 - 5. Is f a multiple of 21?
False
Suppose 3*f - 719 + 176 = 0. Suppose -3*t + 189 = 4*u + 2*t, 4*u - 3*t = f. Does 7 divide u?
False
Is 55 a factor of (3/6)/((-6)/(-4596))?
False
Suppose k - 36 = 2*k. Is 24 a factor of (k/21)/((-3 + 4)/(-21))?
False
Suppose 8*c - 2*c + 228 = 0. Is 14 a factor of 1*(0 + -213)*c/57?
False
Suppose -147*g + 151*g = 3048. Is g a multiple of 44?
False
Let z(v) = v**2 + 5*v + 8. Let c = 27 - 40. Is z(c) a multiple of 14?
True
Suppose 2*g - 1473 = -l + 1208, -15 = 5*l. Is 61 a factor of g?
True
Let t = 32 - -4. Let m = t + 12. Does 24 divide m?
True
Let b = 111 + 208. Does 38 divide b?
False
Let a(k) = -2*k + 3. Let v be a(-1). Suppose 4*i = v*i + 28. Does 17 divide 14/(-3)*144/i?
False
Let m(t) be the first derivative of t**4/4 + 7*t**3/3 - 3*t**2/2 + 3*t + 5. Is 12 a factor of m(3)?
True
Suppose -6*s + 20 = -4*s. Let r = s + 102. Is r a multiple of 16?
True
Let y(v) = 19*v**2 + 34*v + 6. Is y(-8) a multiple of 19?
True
Suppose 166 + 58 = 4*g. Let x = 62 - g. Does 4 divide x?
False
Let d = -124 + 41. Let y = -48 - d. Is y a multiple of 3?
False
Let o(i) = 120*i + 42. Let r be o(-5). Let x = -228 - r. Does 48 divide x?
False
Let h(z) = -z**2 + 6*z - 2. Let q be h(5). Suppose 0 = q*b - 2*b - 8. Suppose -168 = 4*x - b*x. Is 14 a factor of x?
True
Suppose 20 = 2*a - 3*u + 6, 4*a - 2*u - 28 = 0. Suppose a*d = 693 + 532. Is 25 a factor of d?
True
Suppose 0 = -s - 278 + 1174. Does 14 divide s?
True
Suppose -5*x + 2*l - 362 + 1015 = 0, 3*x = 3*l + 390. Is x a multiple of 23?
False
Let v be (30/(-9))/((-2)/63) + -2. Let o = v + 155. Does 22 divide o?
False
Let f(j) = j**3 - j**2 + j. Let z be f(1). Let g(i) = 2*i**3 - i + 1. Let w be g(z). Suppose -w*l = 16 - 58. Is l a multiple of 12?
False
Suppose 0 = 6*k - 11*k - 30. Let p(q) = 27*q - 1. Let v be p(-1). Let n = k - v. Is 22 a factor of n?
True
Let u(n) = -n**2 - 2*n - 1. Let a be u(-1). Suppose -3*s + 210 + 219 = a. Is 13 a factor of s?
True
Let a(x) = x**2 - x**3 + 8*x**2 + 0 + 11*x - 8 + 9. Let d be a(9). Let q = -70 + d. Is q a multiple of 12?
False
Let y = -2061 - -2283. Does 4 divide y?
False
Suppose 7*s = 17*s - 600. Is s a multiple of 20?
True
Let h = -299 - -173. Let m = -69 - h. Is m a multiple of 19?
True
Suppose 4 = -3*t + 28. Suppose -a + 396 = t*a. Is 5 a factor of a?
False
Suppose 0 = 15*i + 4*i - 21014. Is 14 a factor of i?
True
Is 9 a factor of -9 + (175 - (-12)/(-3))?
True
Suppose -80 = -h + 5*j, -3*h + h - 2*j + 172 = 0. Let r = h - -49. Does 58 divide r?
False
Let y be ((-6)/(-4))/((-4)/(-8)). Let b = 105 - 105. Suppose b = -4*k - 8, -i + 2*k + 58 = -y*k. Does 16 divide i?
True
Let o(l) be the second derivative of -l**4/12 - 2*l**3/3 + l. Let t be o(-3). Suppose f + 30 = t*f - 4*i, 3*f - 49 = 4*i. Is 5 a factor of f?
False
Let u be ((-1)/2)/(3/(-6)). Let s(j) = j**2 - 7*j + 1. Let q be s(7). Is 6 a factor of 2/u*q - -10?
True
Let j(t) = -16*t - 13. Let x be j(-6). Suppose 0*a = a + k - x, 0 = k + 1. Does 25 divide a?
False
Let d be 1 + (-10)/(-15)*42 - -3. Let j(t) = t**3 + 4*t**2 - t. Let p be j(-4). Suppose p*g + 0*g - d = 0. Does 4 divide g?
True
Let h(o) = 4*o - 92. Let i be h(0). Suppose 0 = 4*d + 12, 0 = -c + 3*d + 119 + 67. Let f = c + i. Is f a multiple of 17?
True
Suppose 46*m + 6300 = 51*m. Is 22 a factor of m?
False
Let l(m) = 38*m + 42*m - 50*m + 117*m - 1. Is 25 a factor of l(1)?
False
Let a = -6280 + 9754. Does 17 divide a?
False
Let r = 96 + -68. Let n = r + 33. Suppose -3*u + 50 = 2*h, -n = -4*u + 2*h + h. Is 8 a factor of u?
True
Suppose -m - 4*a = 0, 7*m = 2*m + 5*a. Let l(i) = i**3 + i + 24. Is 5 a factor of l(m)?
False
Let g(o) = 2*o**3 - 3*o**2 + 15*o - 5. Is g(5) a multiple of 9?
False
Suppose v = 1 + 1. Suppose -4*x + 52 = j, -v*x = j - 5*j - 8. Is x a multiple of 4?
True
Let n be (1/(-2))/((-6)/972). Suppose -k - n = -2*k. Is 27 a factor of k?
True
Suppose 0 = 5*u - z - 5, -3*z = 15. Suppose -5*y - 42 = -4*m - 2*y, u = -3*m - 3*y + 21. Is m even?
False
Let g(j) be the third derivative of -j**6/120 - j**5/30 + 7*j**3 - 6*j**2. Let d = -29 + 29. Is g(d) a multiple of 14?
True
Let l = -166 - -98. Let z = -12 - l. Does 19 divide z?
False
Does 37 divide (-199)/4*(-16 - 28/(-7))?
False
Suppose -20 = h - 6. Let g = h - -26. Suppose -16 - g = -i. Is 14 a factor of i?
True
Let l(z) = z**3 - 9*z**2 - 13*z - 8. Let k be l(11). Let s = 1 + k. Is 43 a factor of s?
False
Let x be 748 + (4/2 - 2). Let b be x/5 + (-4)/(-10). Suppose -2*v - b = -7*v. Is v a multiple of 15?
True
Let u(j) = 3*j**2 - 2*j - 4. Let o(w) = w**2 - 9*w + 10. Let p be o(7). Let q be u(p). Suppose -5 + 0 = -5*t, 2*t = 3*a - q. Is a a multiple of 9?
True
Let o(f) = 8*f - 44. Is 4 a factor of o(32)?
True
Let y = 12 + -7. Let p = 28 - y. Let s = p - 7. Is 5 a factor of s?
False
Let q be (-410)/(-6) - (-4)/(-12). Let r = q + -56. Is r a multiple of 7?
False
Suppose -36*s = -38*s + 1118. Is s a multiple of 43?
True
Suppose -6 = -2*s - 2. Suppose 0 = -s*q - q. Suppose 4*f - 164 - 116 = q. Is 14 a factor of f?
True
Let k be 6/(-4)*24/9. Let d be (0/2)/(7 + k). Suppose -6*t + 8*t - 54 = d. Is t a multiple of 7?
False
Let v = -636 - -914. Is v a multiple of 115?
False
Let r be 1 + (3 + -1)*176. Let i = r + -1. Is 4/(-14) + i/56 even?
True
Let b be 18/(-12) + (-2)/4. Let x be b*(-4)/4 + 2. Suppose 0*y = -x*p - y + 238, 4*p - y - 234 = 0. Is p a multiple of 10?
False
Let j be 6/(-30) - (-18)/(-10). Let v(a) = -19*a**2 + 3*a + 6. Let t(o) = -19*o**2 + 2*o + 5. Let k(l) = -4*t(l) + 3*v(l). Is k(j) a multiple of 18?
True
Is 36 a factor of (-136)/(-6)*35/((-350)/(-540))?
True
Let j(n) = n**3 + n**2 + n + 2. Let h be j(0). Let u be (-1)/h*(-192)/(-3). Let i = 58 + u. Does 13 divide i?
True
Let f(h) = -h**2 - h - 2*h - 5