 + h**2/2 + 2*h. Suppose -8*c + 4 + 28 = 0. Does 3 divide j(c)?
False
Let q(v) be the second derivative of -v**6/360 - v**5/15 + v**4 - 5*v**3/6 + 4*v. Let c(f) be the second derivative of q(f). Is 3 a factor of c(-10)?
False
Let d(r) = 2*r - 15. Let y be d(0). Let k = 24 + y. Suppose 5*b = 51 + k. Does 12 divide b?
True
Suppose 4*s - 86 = 58. Let j = s + 48. Does 12 divide j?
True
Does 27 divide ((-6860)/(-105))/(2/9)?
False
Suppose 0 = -5*y + 131 + 999. Suppose -4*o - 5*m = 599, 0 = 5*o - 0*m - 3*m + 721. Let g = o + y. Is g a multiple of 28?
False
Let p be (2 - 0)*3/(-6) + 1. Does 7 divide ((-212)/(-3) - p) + 22/(-33)?
True
Let y(c) = c - 13. Let j be y(11). Let u be j/(-11) + 320/55. Suppose u*m - 110 = m. Is m a multiple of 13?
False
Let f be 858/14 + 50/(-175). Suppose -x = 4*m + 1 + 4, 4*m = -8. Suppose -x*w + f = -110. Is 19 a factor of w?
True
Let r = -370 - -563. Let w = r - 81. Does 14 divide w?
True
Let n(i) = i**3 + 15*i**2 - 21*i + 10. Let l be n(-16). Let j be 9790/l - (-4)/18. Let d = j - 52. Does 37 divide d?
False
Suppose -5*j + 2210 = 2*l, 4*l = -3*j + 163 + 4271. Does 10 divide l?
True
Suppose 0 = 16*q - 12*q - 60. Suppose 0 = -2*c + 5*v - 7, -2*c - 4 = c - v. Is c/2*(q - 213) a multiple of 33?
True
Suppose -23*p + 12704 = -4086. Is 59 a factor of p?
False
Let c = 47 - 19. Let g = -53 - -95. Let p = g - c. Does 7 divide p?
True
Suppose s - 57 = 108. Let n = s - 118. Is n a multiple of 47?
True
Does 8 divide ((-5)/((-490)/4032))/((-3)/(-28))?
True
Let n = -1 + 3. Suppose 3*r + 55 = 2*l - 125, -n*l = -4*r - 184. Is 21 a factor of l?
True
Let u be (-12)/(-45)*-6*-10. Let m = u - 22. Let p(i) = 2*i**2 + 10*i + 11. Is p(m) a multiple of 4?
False
Let b be ((-3)/(-3))/(840/(-842) + 1). Suppose -5*r = -t - b, 0 = 5*r + 4*t - 311 - 130. Is r a multiple of 18?
False
Let t = 62 - 33. Let q be (t + -1)*(-12)/(-6). Is 13 a factor of (1 - 0) + q/4?
False
Suppose -170 - 295 = -3*f. Suppose 5*y + f = 5*z, z + 4*y - 40 - 16 = 0. Is 5 a factor of z?
False
Let t be 63/13 - 6/(-39). Suppose -2*b + 4*j = 6*j - 34, b = -t*j + 21. Does 4 divide b?
True
Let o(z) = -153*z - 135. Is o(-6) a multiple of 77?
False
Let v(w) = 15*w**2 + 10*w - 45. Is v(6) a multiple of 14?
False
Let u be (33/44)/(2/(-8)). Does 25 divide (-4)/(-6)*u + (4 - -98)?
True
Let u = 1530 - 196. Is 23 a factor of u?
True
Suppose -5*p = k - 55, -2*p + p - 5*k + 35 = 0. Suppose 5*x - p = -0. Suppose -2*d + 3*v - x*v + 53 = 0, -5*d + v = -134. Does 7 divide d?
False
Let n(v) = v**3 + 3*v**2 - 2. Let a be n(-2). Let z be (319 - -5) + a*-1. Suppose 2*h + y - z = -2*h, 4*y + 170 = 2*h. Does 22 divide h?
False
Suppose -14*a - 15288 = -21*a. Is a a multiple of 24?
True
Suppose 4*y - 3*y = 2. Let m(i) = -4*i + 3. Let b be m(y). Let p = b - -45. Does 10 divide p?
True
Let g(m) = 2*m - 3. Let f be g(7). Let a = 23 - f. Is 12 a factor of a?
True
Suppose 11*o + 647 = 2000. Does 3 divide o?
True
Suppose -204 = -13*l + 1499. Is l a multiple of 3?
False
Let y(t) = 4*t**2 - 2*t - 2. Let j be y(-1). Is j + -8 + 20/1 a multiple of 8?
True
Let n = 21 - 21. Suppose n = -k + 3 + 21. Is k a multiple of 8?
True
Let i(b) = 130*b**2 - 2*b - 1. Is 4 a factor of i(1)?
False
Suppose m - 62 = -3*s, 95 = 4*m - 4*s - 233. Does 39 divide m?
False
Suppose -3*x + 2108 = r, 5*x + 2*r - 3528 = 4*r. Does 4 divide x?
True
Suppose -w - 4*w + 150 = 0. Let z = -25 + w. Suppose -2*f + 7*f + 3*q - 20 = 0, 4*q = -z*f + 15. Is f a multiple of 5?
False
Let l(m) = 2*m**3 - 14*m**2 + 29*m - 25. Is 35 a factor of l(13)?
True
Let a(r) = -r**3 + 9*r**2 - 8*r + 3. Let l be a(8). Suppose -2*n = 5*p - 76, -137 = -l*n - 0*n + 4*p. Is n a multiple of 15?
False
Suppose -15*a - t - 142 = -19*a, -2*t = -4. Suppose -286 = 4*i - v, -4*v - v + 278 = -4*i. Let d = a - i. Is 27 a factor of d?
True
Suppose 59*o + 2282 = 66*o. Is o a multiple of 14?
False
Suppose 37*r - 31*r - 24 = 0. Suppose 0 = -d + r*x + 37, -3*d = 3*x - x - 83. Is d a multiple of 19?
False
Let d = -47 + 47. Suppose -3*h = -3*c + 27, d*c + 3*c = -4*h - 8. Is 2 a factor of c?
True
Let u(k) = 3*k - 5. Let n be u(10). Suppose 1 = -c + n. Suppose -2*f - x = x - 12, -c = -f + 5*x. Does 6 divide f?
False
Let d(r) = -r**3 + 17*r**2 - 29*r + 33. Let t be d(14). Let q = t + -109. Is q a multiple of 7?
False
Suppose 7*q = 10*q - 30. Let v(g) = -g**3 + 12*g**2 - 19*g + 11. Is v(q) a multiple of 14?
False
Suppose 0 = 8*d + 303 + 833. Let c = -168 + 83. Let o = c - d. Is o a multiple of 19?
True
Suppose -4*y + 2*y = 3*s + 33, 4*s + 20 = 0. Is 5 a factor of y/(2 + 12/(-4))?
False
Suppose -4*o + 4 = 4*g, 5*o = 3*g - 30 - 5. Let r(t) = -t**3 + 9*t**2 - 7*t - 6. Does 8 divide r(g)?
False
Does 22 divide ((-363)/9)/(8/(-48))?
True
Suppose -10 = -5*x + 15. Suppose 0 = 2*u - 5 - 5. Suppose u*h - x*m - 303 = h, h - 5*m = 87. Is 24 a factor of h?
True
Let r = 74 - -31. Suppose -2 = -4*i + 2*g, -3*i + g - 2*g + 14 = 0. Suppose i*x + r = 8*x. Is x a multiple of 21?
True
Is 5 a factor of 69836/468 + (-2)/(-9)*-1?
False
Let y be (21/(-9) - 10/15)/(-1). Suppose -2*j + s + 684 = 2*s, 5*j = -y*s + 1711. Is 48 a factor of j?
False
Let l(k) = 2*k**2 - 8*k + 1. Let j = 9 + 0. Is 13 a factor of l(j)?
True
Let r(a) = -16*a + 9 + 19 + 27 + 17*a. Let m be 0/(-1)*2/(-4). Is r(m) a multiple of 17?
False
Let z = 10 - 12. Let i be 4 - (-4 + (-3 - -2)). Is 14 a factor of 6/z*(-165)/i?
False
Suppose 0*m = 5*m - 115. Let p = -1 + m. Suppose -p - 48 = -2*q. Does 33 divide q?
False
Let n be -1 + 15/9 - 679/(-3). Suppose -3*i = -7*h + 3*h - n, h = -2*i + 144. Does 9 divide i?
False
Let z be (-23)/5 + (-24)/(-40). Let r = 2 + z. Let x(j) = -11*j - 4. Does 6 divide x(r)?
True
Let i be (15/10)/((-1)/(-2)). Suppose 0 = 2*t - i*p - 9, t = -t - 3*p - 9. Let q(h) = -h + 39. Is 13 a factor of q(t)?
True
Let w = -13 + 15. Suppose -w*t - 4*z + 156 = -6*z, 3*t = 4*z + 235. Does 13 divide t?
False
Suppose 0 = -10*f + 25061 - 3861. Is 14 a factor of f?
False
Let x be 140*3*10/8. Suppose 2*g + 214 = 2*k, 3*k + 2*k = 3*g + x. Does 34 divide k?
True
Let k = -410 - -616. Let j = k + -146. Suppose 6*g - j = 2*g. Does 15 divide g?
True
Suppose -a + 0 + 13 = 0. Suppose -a*u + 1926 = 431. Is 23 a factor of u?
True
Suppose j + 2 - 125 = 0. Suppose -4*l = 5*s - 385, 2*s = 5*l + 31 + j. Is s a multiple of 7?
True
Suppose -3*y + 984 = -3*o - 0*o, 328 = y + 4*o. Does 8 divide y?
True
Suppose -167 = -r + 3*t, 4*r - t = -2*t + 733. Suppose -2*h - 3*q - 149 = -0*h, -q = 3*h + 227. Let p = h + r. Is 38 a factor of p?
False
Let u(f) = 0*f**2 - 2*f**2 - f - 3 + 6*f**2 + f**3. Let x be u(-4). Does 13 divide (x + -2 + 2)*17?
False
Let g(u) be the first derivative of -49*u**2/2 + 11*u - 12. Is g(-2) a multiple of 18?
False
Suppose -3*y = -2*h + 1765, -5*h = -13*y + 11*y - 4440. Is 46 a factor of h?
False
Suppose -25 = -2*o - 3*o. Suppose j = o*j. Let h = 7 + j. Does 7 divide h?
True
Let q(o) = o**3 - 7*o**2 + 4*o + 4. Let s be (1/2)/(7/98). Is q(s) a multiple of 32?
True
Let k = 8 - 3. Suppose -4*h - 247 = -k*h + 3*m, 4*m - 1197 = -5*h. Suppose -3*x - x + h = -q, -3*x - q = -186. Does 9 divide x?
False
Does 6 divide 4 - 3 - (-1216)/4?
False
Let p(t) be the third derivative of t**6/120 - 7*t**5/60 - 7*t**4/24 + 7*t**3/3 - 2*t**2. Suppose -2*r = -k + 8, 0*k - 2*r - 16 = -2*k. Is 22 a factor of p(k)?
True
Let l(z) = z**3 + 8*z**2 - 2. Let k be l(-8). Is 9 a factor of 1/(-2) - (-1)/k*-37?
True
Let v(d) = -6*d - 32. Let a be v(-6). Suppose a*p - 712 = -3*l - 0*l, -3*l - 3*p + 714 = 0. Is l a multiple of 16?
True
Is (122 - 2) + 0*2/8 a multiple of 6?
True
Let l = 97 - 95. Suppose l*k - 1936 = -6*k. Is 13 a factor of k?
False
Suppose -3*n + 9 = -5*n + 5*h, -2*n + 9 = h. Let l(a) = 7*a**3 + 4 - 10*a**3 + 2*a**n. Is l(0) a multiple of 3?
False
Let w(l) = 4*l**2 - l + 31 + 0*l**3 - 29 - l**3 + 3*l. Let r be w(4). Suppose 0 = 5*s - r*s + 15. Is 2 a factor of s?
False
Let s(t) = t + 9. Let n be s(-5). Let v be (-6)/3 - -11 - n. Suppose b - 100 = -v*y - 3*b, 5*b = 2*y - 73. Is y a multiple of 3?
True
Suppose -36*t = -31109 + 2273. Does 9 divide t?
True
Let w(a) = a - 5. Let d be w(6). Let v be 2 - 2 - (d + -14). Let k = v + -1. Is 12 a factor of k?
True
Suppose 56 + 0 = 7*f. Suppose -f = -z + 4. Is 12 a factor of z?
True
Let p be (-6)/4*(-2 - 0). Suppose -l + 2*l 