) be the first derivative of -3*v**2/2 - 5*v + 3. Let s(d) = 2*m(d) - 5*u(d). Is s(3) a multiple of 9?
True
Suppose -5*t - 19 = l - 0*t, -13 = l - t. Is 33 a factor of (l + 10)/((-4)/54)?
False
Let w be (1 - -3)/((-8)/308). Let u = w + 250. Is 24 a factor of u?
True
Suppose 0*f = i - 2*f - 13, 5*i + 5*f - 5 = 0. Suppose -i*a = 6*r - 2*r - 456, -2*r + 228 = -3*a. Is 35 a factor of r?
False
Suppose 2*r + 3*m = m - 34, -4*r - 2*m - 72 = 0. Let i = r - -93. Is 19 a factor of i?
False
Let m(v) = v - 6*v**2 - 4 + v**3 + 0*v**2 + 0*v. Let g be m(6). Is 9 a factor of (-7 - -16) + 1*g?
False
Let s(t) = t + 13. Let z = -40 + 29. Let l be s(z). Suppose l*h - 123 = 165. Does 19 divide h?
False
Let v = 32 - 32. Suppose 9 + 363 = 2*s. Suppose 2*f - 4*g - 108 = -0*f, v = 3*f + 2*g - s. Is f a multiple of 10?
True
Let d = -435 - -1331. Is d a multiple of 14?
True
Suppose 9*q + 19 = 8*q. Is 38 a factor of (q/2 - 0)*8*-1?
True
Suppose 3*n - 9395 = -3*m + 1849, 3760 = n + 4*m. Is n a multiple of 96?
True
Let y be (-18)/(-8) - 5/20. Let h be (8/(-1) - -7)*1*-5. Suppose -y*n + 105 = h*n. Is n a multiple of 2?
False
Suppose a = 334 - 58. Is 69 a factor of a?
True
Suppose 5*s - 17 = 3*y, -3*s + y + 3 + 8 = 0. Let d be (3 + -11)/s - 1. Is (-32)/d*(-21)/(-7) a multiple of 16?
True
Suppose 6 = 4*x + 4*u + 22, 0 = 3*x - 4*u + 19. Suppose -2*t = 6*t - 80. Let v = t + x. Does 5 divide v?
True
Let y(c) = c - 7. Let g be y(5). Let q(a) = -2 + 0*a - 3*a**3 + 4*a + 0*a**2 + 2*a**2 - 3*a. Is 14 a factor of q(g)?
True
Suppose 6*r - r = 3*j - 143, -3*j = -3*r - 87. Let a be 48/r*7/(-1). Let y = a - 9. Is 3 a factor of y?
True
Suppose -w + 222 = -708. Is 20 a factor of w?
False
Suppose r = 1, 3*p - 4*r = r + 4. Suppose -8*y + 27 + 13 = 0. Suppose 0*t - y*k - 92 = -3*t, p*t - k = 112. Does 8 divide t?
False
Let n be (-32)/(-10) - (-2)/(-10). Suppose -2*x - 279 = n*c - 25, -5*c = 2*x + 250. Let f = -45 - x. Is 12 a factor of f?
False
Suppose -16*n + 3222 + 1418 = 0. Is 29 a factor of n?
True
Let w = 1079 + 104. Does 32 divide w?
False
Is 11 a factor of 2*-6 - (31 - 1504)?
False
Let i(l) = 14 + 10 - 25 + 7*l. Let c be i(7). Suppose 0 = 4*n - 16 - c. Does 16 divide n?
True
Let c(v) = -v**3 - 12*v**2 - 16*v + 18. Is 11 a factor of c(-13)?
False
Suppose -8*j + 5*j = 4*n - 883, -4*j - n = -1186. Does 10 divide j?
False
Let h = -1084 + 2187. Is 11 a factor of h?
False
Let s = 328 + -56. Is 11 a factor of s?
False
Suppose o - 4*v = 3*o + 14, 71 = -5*o + 2*v. Let n(m) = m**3 + 6*m**2 + m + 2. Let i be n(-5). Let y = i + o. Does 9 divide y?
True
Let x = -71 - -76. Suppose 0 = 5*s + 3*h - 17, 5*h = -3*s - 1 + 8. Suppose -s - 181 = -x*t. Does 8 divide t?
False
Is 6 a factor of 7/(-4) - 974/(-8)?
True
Let r be (-2 + 1 - -1)/2. Suppose h = -4*h + v - 82, h + 4*v + 29 = r. Let d = -7 - h. Is 4 a factor of d?
False
Let a be ((-4)/(-10))/((-16)/(-80)). Suppose 4*d = 2*j - 42, a*j - d = -0*j + 33. Suppose n = -3*v + 50, -6*v + 3*v = j. Does 14 divide n?
False
Let i = -68 + 117. Let n = i - 37. Is n a multiple of 6?
True
Suppose 3*r = -4*j - 70, j = 2*r + 6*j + 49. Is 321/11 - (-4)/r a multiple of 5?
False
Let s be -1*6/9*1*-3. Suppose -m + 15 = s*l, -3*l - 67 = -5*m + 21. Is 5 a factor of m?
False
Let x be 66 + -6*3/6. Suppose 4*w - 20 = 0, g = -4*w - 0*w + x. Is g a multiple of 10?
False
Suppose -6*c = -4*x - c + 7743, -3*x = -5*c - 5806. Is x a multiple of 29?
False
Suppose -w = r + 6, -25 = 5*w - r + 23. Let i = 16 + w. Suppose -i = -m + 14. Is 14 a factor of m?
False
Let n(h) = 222*h - 31. Is 58 a factor of n(4)?
False
Let y(g) = 18 + 4*g - 2 + 0*g + 18*g. Is y(4) a multiple of 13?
True
Is 304 + 2/(-1) - (-5)/(-5) a multiple of 9?
False
Suppose -2*d - 1858 = -4*n, -2*d + 307 + 155 = n. Suppose l - 5*l = -n. Does 23 divide l?
False
Suppose 5*k + 6 = 8*k. Let d(u) = 5*u**2 + 7*u. Let m be d(-8). Suppose 0 = k*f + 2*f - m. Is f a multiple of 11?
True
Let m = 233 - 138. Suppose -37 - m = -6*l. Does 11 divide l?
True
Suppose -4*c - 160 = -4*s, -3*c + 45 = s + 5. Let b = 42 - s. Is 2 a factor of b?
True
Let r be (-132)/(-9) - 10/15. Suppose -r*o + 19*o = 315. Is o a multiple of 11?
False
Let q(n) = 17*n**3 + 8*n**2 - 14*n + 14. Let k(t) = -6*t**3 - 3*t**2 + 5*t - 5. Let h(g) = -8*k(g) - 3*q(g). Let s be h(1). Does 11 divide s/((-66)/16 - -4)?
False
Let x(b) = 37*b**2 - 26*b - 96. Is 13 a factor of x(-4)?
False
Let a(b) = 121*b + 286. Is 22 a factor of a(0)?
True
Let x(i) = 5*i - 10. Let k(n) = 6*n - 11. Let j(t) = 6*k(t) - 7*x(t). Let a be j(-2). Suppose 0 = a*h + 2*d + d + 1, -5*h = 5*d - 10. Does 2 divide h?
False
Suppose 2*m + 3*m = 20. Let f be m/6 - (-50)/15. Does 26 divide 1/f - 143/(-4)?
False
Let m be 13/(273/90)*-7. Let n be m/4*20/(-15). Let b(j) = 3*j - 15. Is 15 a factor of b(n)?
True
Suppose -12 = -4*n, 19 = t + 5*n + 1. Suppose 0 = 2*q - 10, -3*f + 27 = -0*q + t*q. Does 8 divide -1 + 16 - f - 2?
False
Let g(l) = l + 6. Let d be g(-6). Let x = d + 5. Suppose -x*f + 208 = -f. Is f a multiple of 13?
True
Let g = 19 - 15. Suppose 3*l - g*l + 2 = 0. Suppose l*a = -0*b - 3*b + 51, 0 = -a - 5*b + 15. Does 10 divide a?
True
Let g = 3 - 1. Suppose 0 = 6*s - s - 5*t - 200, -2*s - g*t = -80. Suppose -27 = 3*w - 3*b - 84, 2*w - 4*b - s = 0. Is 6 a factor of w?
True
Suppose -4*g - 3*v = -17, -32 = -4*g - 5*v - 9. Does 13 divide 2 + (-992)/(-12) + g/(-3)?
False
Suppose -6*n = -10*n + 580. Let t = n + -47. Is t a multiple of 23?
False
Let k(m) = -m**3 - 11*m**2 + 13*m + 17. Let d be k(-12). Suppose d*j = -23 - 27. Is (-86)/j - (-16)/40 even?
False
Suppose -5*n = -6*n - 70. Does 25 divide (-295)/(-4) + n/(-56)?
True
Let l(h) = h**3 + 12*h**2 - 14*h - 12. Let c be l(-13). Does 20 divide 120 + 0*(-4 + c)/(-6)?
True
Let p(j) = -3*j + 5*j - 73 + j**2 + 109. Is 18 a factor of p(0)?
True
Let z(u) = 2*u**3 - 4*u**2 + 3*u - 1. Let f be z(2). Suppose f*o + 434 = -321. Let v = -88 - o. Is v a multiple of 21?
True
Let c(n) = 3*n - 37*n**2 - 8 + 39 - 18*n + 36*n**2. Is c(-13) a multiple of 19?
True
Let s(k) = 16 - 5 - 4 - 3 - 3*k + 2*k**2. Does 5 divide s(3)?
False
Let f = -39 + 79. Suppose 2*n - f = 28. Does 3 divide n?
False
Suppose -5*k + 217 = -4*n, -2*k - 132 = -5*k + 3*n. Let q = 7 + k. Is 12 a factor of q?
True
Suppose 0 = -0*v + 3*v. Suppose v = 3*k - 8*k - 15, -2*p = -4*k - 96. Is 6 a factor of p?
True
Let b = 221 - -482. Does 37 divide b?
True
Let m(s) = -21*s + 21. Let q be m(6). Let v be q/(-18) - (-2)/12. Suppose 91 = v*o - 245. Is 13 a factor of o?
False
Let l(d) = 96*d + 24. Suppose -4*z + 30 = 3*f, -2*z + 2*f + 14 = 3*f. Let c be l(z). Suppose 7*s - s - c = 0. Is s a multiple of 20?
True
Suppose 0 = 16*u - 12*u. Is 22 a factor of u + 9/3 + 58?
False
Let n(p) = -p**3 + 6*p**2 - 3*p. Let g be n(3). Is 24 a factor of (-3)/(g/(-16) - -1)?
True
Suppose 28 = 6*p + 4. Suppose -4*f = 4*t - 320, p*t + f = 203 + 114. Is 16 a factor of t?
False
Let c = -307 + 503. Let j = 52 - c. Let f = j - -221. Is 26 a factor of f?
False
Suppose 3*h = -3*t - 9, 0 = -3*t - t + 2*h. Let p = 6 + t. Suppose p*s - 95 = -0*s. Does 19 divide s?
True
Let d be -2*(-4)/(-8) - 6. Let j = d - -79. Does 24 divide j?
True
Suppose -5*o + 7395 = -l, 12*o = 8*o - 4*l + 5940. Is 37 a factor of o?
True
Suppose 5*t + 1 = 2*r - 5*r, r - t - 13 = 0. Suppose l - r = -3*l. Suppose 0 = -2*y - l, -4*y - 69 = -2*x - 3*y. Is x a multiple of 8?
False
Let r = -14 - -11. Let q be 2*r/((-9)/6). Is q/(-14) - (-800)/56 a multiple of 12?
False
Let t = -119 - -163. Is t a multiple of 4?
True
Is 9 a factor of ((-3)/(-9))/((-16)/(-9552)) + 1?
False
Let f(k) = k**2 - 20*k + 24. Let g = 48 + -29. Is f(g) a multiple of 5?
True
Suppose 0 = -s - t + 6*t - 19, 2*t = -2. Let q be (-450)/s + (-6)/8. Let j = 73 - q. Does 11 divide j?
True
Let a be (1/2)/((-22)/1232). Let d = a + 57. Does 7 divide d?
False
Let s be (-3)/(-2)*-2 + -3. Does 7 divide (3 - 3/s)*4?
True
Let s(b) = 6*b**2 + 13*b - 11. Let h be s(-10). Suppose -9*n - h = -12*n. Does 51 divide n?
True
Let n(c) be the first derivative of 2*c**3/3 - 3*c**2 + 4*c - 17. Does 3 divide n(5)?
True
Suppose -4 = k - 3. Suppose 3*i = 3*l + 30, 3*l - 21 - 3 = -3*i. Is 7 + k + i + -11 a multiple of 2?
True
Let w = 2192 + 1630. Is w a multiple of 34?
False
Suppose -10 = -4*a - 6. Let k(j) = 5*j**3 - j**2 + 3*j - 2. Let