st derivative of -7*g**3/3 + 3*g**2/2 + 21. Let s be m(2). Let j(d) = d**3 + 23*d**2 + 16*d - 42. Is 15 a factor of j(s)?
True
Suppose 0 = 108*v - 45*v - 32*v - 99107. Is 3 a factor of v?
False
Suppose 7*t - 1039 = 571. Suppose -t = -5*f - 0*f. Let i = 59 - f. Is i a multiple of 13?
True
Suppose v - 108329 = -4*d - 39916, 4*v = -d + 17122. Is d a multiple of 17?
True
Does 16 divide ((0 - -1) + 0)/(-31*(-1)/103478)?
False
Is 221 a factor of (29 - (-760)/(-20)) + 41124/2?
True
Let m = 77 - 67. Let s(v) be the first derivative of -v**3/3 + 7*v**2 + v - 5. Is 16 a factor of s(m)?
False
Let j = 98 + -13. Let f = -585 - -537. Let o = f + j. Is o a multiple of 37?
True
Let t(i) = -i**3 + i**2 + 2*i + 118. Let q be t(0). Let h = q - 750. Does 11 divide (h/(-10))/(2/30*3)?
False
Let f = -115 - -127. Suppose -d + 40 - f = m, -2*d - 84 = -3*m. Does 28 divide m?
True
Let b = 1690 - 1192. Let z = 977 - b. Is 15 a factor of z?
False
Suppose 4*i - 9455 = -m, 0 = i + 4*m - 7*m - 2380. Suppose q + i = 4*z + 340, 2520 = 5*z + q. Is z a multiple of 7?
False
Let s = 4 + 51. Let i = s + -46. Let x(j) = 10*j - 22. Does 17 divide x(i)?
True
Let k(b) = b**3 + 10*b**2 + 5. Let j(a) = -2*a**2 - 3*a - 1. Let t be j(-3). Let m be k(t). Suppose -3*d + m = -31. Is 4 a factor of d?
True
Let r = 12425 + -11972. Is r a multiple of 10?
False
Let m(t) be the third derivative of t**6/120 + t**5/24 + t**4/6 - t**3 - 29*t**2. Let r(u) be the first derivative of m(u). Does 12 divide r(4)?
True
Let u be (4/(-6))/((-6)/(-27)). Does 7 divide (u - 18/(-8))*-16?
False
Let k = -36514 - -54715. Does 5 divide k?
False
Let g = 42 - 37. Suppose g*k - 999 = -4*k. Suppose m - k = -2*u, 0*u = -4*u - 3*m + 217. Does 5 divide u?
False
Suppose 156*o + 316554 = 198*o. Is o a multiple of 3?
False
Let a be (0 - -15) + 3 + -6. Suppose r + o - a = -4*r, 9 = -r - 4*o. Suppose 3*s = r*f + 194 - 23, -3*f = 3. Does 14 divide s?
True
Suppose 30*c = -21495 + 140385. Does 105 divide c?
False
Suppose -4*g - 5*p + 0*p + 5 = 0, -2*g - 5*p = 5. Suppose 0 = g*m - r - 1767, -m + 4*r - 720 = -3*m. Does 43 divide m?
False
Let o = -104 + 139. Let c(r) = r + 42 - 2*r - o + r**3 - 4*r**2. Is c(4) a multiple of 2?
False
Let h be (12/8)/(15/10). Let k(i) = 323*i**3 + i**2. Is k(h) a multiple of 9?
True
Let f = -62 + 184. Let w = 283 - 198. Let q = f - w. Is 9 a factor of q?
False
Let q be (9/6)/((-6)/(-8) + 0). Suppose 0 = -q*j - 0*j + 166. Is 17 a factor of j?
False
Suppose -p - 334 = -5*f, -2*f + 11 + 1544 = -5*p. Let h = p - -709. Is h a multiple of 20?
True
Let v = 21556 + -15014. Does 61 divide v?
False
Let l(f) = 2*f**2 - 50*f - 10. Suppose -5*u = 0, -3*t + 6*t - 3*u - 87 = 0. Is 17 a factor of l(t)?
False
Let w(z) = z**2 + z + 125. Let s = 2 - -20. Let m be ((-26)/91 - s/(-28))*0. Is 25 a factor of w(m)?
True
Let b be (4 - 64/10) + 6/(-10). Let u be (-1)/(-2) - b/(-2). Does 22 divide u/(-3) + (-1705)/(-15)?
False
Let u(a) = -a**2 - 6*a + 4. Let g be u(-6). Let z be g + -5 - (-2 - -4). Is (-24)/(-3)*z/(-6) a multiple of 2?
True
Let o be 14/105 + 566/30. Suppose 15*v = o*v. Suppose -d + 435 = 4*t, 107 = t + 2*d - v*d. Does 14 divide t?
False
Suppose -h + 4*y = -14389, -187*h + 3*y + 14385 = -186*h. Is h a multiple of 135?
False
Let h be (1 - (-6 + 4)) + 2 + 66. Let j = h + -68. Suppose 0 = j*u - 73 - 95. Is 8 a factor of u?
True
Let l(h) = -h**3 + 6*h**2 - 3*h - 11. Suppose 0 = -11*x + 14*x - 63. Suppose 6*y - x = 3. Is l(y) even?
False
Let j = -1285 - -256. Let x = j - -1822. Is 61 a factor of x?
True
Suppose 2*n + 4 = 0, 21 = -5*k - 2*n - 33. Is 32 a factor of (-15860)/183*48/k?
True
Let w = 271 - 121. Suppose 338 + w = 8*f. Does 4 divide f?
False
Is 23 a factor of (59202/(-18))/(2/(4 + -10))?
True
Let k(p) = 14*p - 2*p + 4 - 50*p - 53*p. Let v be k(-1). Let d = v - -5. Is 8 a factor of d?
False
Suppose -4*k - 4*a = -16, 4*a = k - 2 - 2. Suppose -5*b = -4*y - 8 + 20, -3*b + k*y - 12 = 0. Suppose b = -r + 14 + 22. Is 9 a factor of r?
True
Let o(g) = 2*g + 18. Let j be o(-9). Is 31 a factor of 341*(0 - (-1 + j))?
True
Let x = 831 - -681. Does 27 divide x?
True
Let g(c) = 683*c - 1138. Is 162 a factor of g(14)?
True
Suppose -2*f - 2*b = -26488, -4*f + 32235 + 20749 = 3*b. Is f a multiple of 23?
False
Let f be (1/(-2))/(5*(-1)/50). Suppose 0 = -4*g - 3*w + 198, g - f*w = -0*g + 61. Is g a multiple of 2?
False
Let u(f) = 402*f**3 - f**2 - 10*f + 18. Is 9 a factor of u(2)?
False
Suppose 89*o - 51930 = 84*o. Is 135 a factor of o?
False
Suppose 30075 = 5*i + 2*p + 3*p, -2*i = -p - 12012. Is i a multiple of 4?
False
Let o = -20161 - -23181. Is o a multiple of 4?
True
Let u = 1990 - 1238. Suppose -5*c + 50 + 320 = 0. Suppose -7*a + c + u = 0. Does 45 divide a?
False
Suppose -w - 1946 = 12*w - 17559. Is w a multiple of 108?
False
Let o(i) = i**2 - 16*i + 39. Let r be o(13). Is (-10 - r - -6) + 114 a multiple of 11?
True
Suppose 20*a - 114 = a. Does 6 divide (1 - -2)/((-2)/(-1008)*a)?
True
Suppose -1419 = -7*b + 10684. Is b a multiple of 13?
True
Let l(c) = -c - 2. Let a(f) = -f**2 - 2*f + 2. Let y be a(-6). Let m be l(y). Suppose 4*u - m - 65 = o, -4*u = -5*o - 89. Is u a multiple of 5?
False
Suppose 2*o - 2*p + 18 = 34, -3*o + 28 = -4*p. Let x be (15/10)/((-1)/(-2)). Suppose -37 = -f + 4*q, -o*f - q - x*q = -228. Is 12 a factor of f?
False
Let y(m) = 29 - 83*m + 9 - 103*m - 100*m. Is y(-3) a multiple of 15?
False
Let a = -1847 + 3378. Let f = -1051 + a. Is f a multiple of 40?
True
Let l(x) be the second derivative of 5*x**4/12 + x**3/2 + 11*x**2/2 + x + 2. Does 15 divide l(-5)?
False
Let q(p) = 15*p**2 - 2*p - 1. Let u(i) = i**2 + 18*i - 3. Let w be u(-20). Let b = -35 + w. Is 11 a factor of q(b)?
True
Suppose 4*n + 100 = 219 + 185. Suppose -4*k - 200 = -0*k. Let s = n - k. Is 21 a factor of s?
True
Let y(c) be the third derivative of 31*c**5/60 - c**4/24 + 2*c**3 - 2*c**2 + 42*c. Does 26 divide y(4)?
False
Let t(o) = o**2 + 8*o + 18. Let j be t(-3). Let i be 6*(1/3 + 0). Suppose -i*d + 380 = j*d + 5*x, 152 = 2*d - x. Does 12 divide d?
False
Let m(z) = 3*z**3 - 34*z**2 + 67*z - 107. Let w(k) = -k**3 + k**2 + k + 1. Let b(g) = m(g) + 2*w(g). Is b(30) a multiple of 11?
True
Suppose -11*t = -162 + 19. Suppose -11*n = -t*n + 450. Let m = 340 - n. Is 11 a factor of m?
False
Suppose -199263 = 5*o - 8*o - 3*t, -464947 = -7*o + 4*t. Is 23 a factor of o?
False
Let h be 86/(-2) - (-4 - -2). Let j be 146 - (-13)/((-26)/(-14)). Let a = j + h. Does 28 divide a?
True
Let t = 287 - 227. Suppose -t = 38*f - 41*f. Does 8 divide f?
False
Let h(f) = -344*f + 165*f + 448 + 167*f. Is 14 a factor of h(0)?
True
Let z(c) be the third derivative of -c**6/40 - c**5/60 + c**4/8 + c**3/2 + 2*c**2 - 7*c. Is 25 a factor of z(-5)?
False
Let q be (-22)/(5/25 + 22/(-10)). Suppose q*o = -24 + 2. Is 4 a factor of (3/o*1)/((-5)/120)?
True
Let g be 196/(-21)*(-19 - -1). Suppose 10*u + g = 9*u. Let w = u - -286. Is 32 a factor of w?
False
Suppose 0 = 5*n - 101*h + 99*h - 619, 241 = 2*n - 3*h. Does 5 divide n?
True
Let o(h) = 146*h**2 + 5*h - 5. Let y be o(1). Let q = 210 - y. Does 8 divide (-63)/28*q/(-3)?
True
Suppose 13 = -4*w + 5*d, 0*w + 5*d - 31 = -2*w. Suppose 149 + 1040 = 3*m - 2*y, -w*m - 3*y = -1179. Does 24 divide m?
False
Let t be (1 + -1)/(11 - 12). Suppose -2*m - 186 = v, t*v + 4*v - 4*m = -792. Let u = -118 - v. Is 11 a factor of u?
False
Suppose -116*p = -133*p + 22848. Is p a multiple of 16?
True
Suppose 5*v + 9 - 24 = 0. Suppose 0*t - v*t = -4*b + 1092, -5*b + 1366 = -4*t. Is b a multiple of 27?
True
Suppose 57*y - 60*y - 9 = 0. Let s be ((-8)/(-12))/(y/(-6))*9. Suppose -2*n = s - 22. Is n even?
False
Let g be 6/14 - (-540)/(-84). Let w be ((-102)/8)/(2/(32/g)). Let j = w - -56. Is 6 a factor of j?
True
Suppose 4*u + 48 = b + 10, 0 = 3*b + 3*u - 84. Let z be (-20)/3*b/25. Let x(c) = c**2 - 4*c + 6. Does 17 divide x(z)?
True
Is (-3 - 72/(-28)) + (-90311)/(-91) a multiple of 2?
True
Let w = -62 - -67. Let c(g) = g**2 - 3*g - 10. Let r be c(w). Suppose -q + 146 - 39 = r. Does 17 divide q?
False
Suppose 4*o = 5*x + 215, 3*x + 40 = o - x. Let h = -48 + o. Suppose -4*y + 16 + h = 0. Is 2 a factor of y?
False
Suppose 4*s - 5*j = -9, -s + 5*j = 24 - 3. Suppose s*u + n = 394, 12*n + 8 = 8*n. Does 4 divide u?
False
Let y = 7 - 3. Let u = -154 - -218.