n = 0. Is y a multiple of 3?
True
Let c = -20 + 25. Suppose i - 3*i = 3*s + c, -5*i - s = 19. Let v(l) = -14*l - 14. Is v(i) a multiple of 14?
True
Let q(o) be the second derivative of 7*o**3/6 + 39*o**2/2 - 5*o. Is 22 a factor of q(13)?
False
Let w(j) = -4 + 51*j**3 + 2*j**2 + 2 + j**2. Let h be w(1). Suppose -p + h = -2*y - 2*y, -3*p + 139 = 5*y. Is 16 a factor of p?
True
Let p(u) = u**2 + 12*u - 11. Let y = 6 + -20. Is 17 a factor of p(y)?
True
Let l(v) = v**3 + v**2 - 5*v + 479. Does 16 divide l(0)?
False
Suppose 0 = -40*i + 35*i + 290. Let l = -25 + i. Does 17 divide l?
False
Let d = 2089 + -1604. Does 6 divide d?
False
Let b(k) = -k**3 - 2*k**2 + 3*k - 2. Let h be b(2). Let d = 21 + h. Let p(s) = -s**3 + 8*s**2 + 12*s + 13. Does 9 divide p(d)?
False
Let n = 558 + -216. Suppose 0 = -4*b + i + 544 - 88, -i = 3*b - n. Does 15 divide b?
False
Suppose -25*o - 14411 = -30*o + k, -8643 = -3*o - 3*k. Is 15 a factor of o?
False
Let k = 2 + 15. Let n = 32 + k. Is n a multiple of 7?
True
Let a = -15 + 45. Is 4 a factor of a?
False
Let i(x) = 2 + 8*x**3 - x - x**2 - 3 + 2. Let r be 5 - 8*(-4)/(-8). Does 3 divide i(r)?
False
Suppose -3*m = -5*p + 1012, -14*m = 5*p - 9*m - 980. Does 5 divide p?
True
Let d be 5 - ((-12)/28 - (-17)/7). Does 11 divide 16/(-12)*(-9)/d + 170?
False
Suppose 162 = -0*h + 9*h. Let l = h - 3. Is l a multiple of 7?
False
Let n(m) = -126*m. Let r be n(-2). Suppose -u + 4*u - r = 0. Is 12 a factor of u?
True
Let i(u) = -21*u - 4. Let z(t) = t**2 - 4*t + 2. Let l be z(1). Is i(l) a multiple of 3?
False
Suppose m + 2*m = -q - 406, 0 = -4*m + 4*q - 536. Is 5 a factor of (-30)/m + 1*(-212)/(-18)?
False
Suppose 145 = 5*g + j + 34, -3*j - 107 = -5*g. Suppose 4*w = 3*l + g, -4*w + 8 = -0*w + 4*l. Suppose w*t - 54 = 6. Does 5 divide t?
True
Let u = -25 + 42. Let q = u + -17. Suppose q = -4*y - 31 + 275. Does 24 divide y?
False
Let m(n) = 6*n - 19. Let b(j) = 12*j - 37. Let q(r) = -4*b(r) + 9*m(r). Is q(6) a multiple of 4?
False
Suppose 8194 = 1261*q - 1259*q. Is q a multiple of 47?
False
Suppose 7580 = -0*b - 5*b. Does 23 divide b/(-11) + (-56)/(-308)?
True
Let d(k) be the second derivative of -k**4/12 + 5*k. Let p(y) = 12*y + 12. Let u(f) = -2*d(f) + p(f). Is 22 a factor of u(-9)?
True
Let a(t) = -2*t**3 - 3*t**2 - 4*t - 5. Let z be a(-2). Suppose -8*j + z*j + 24 = 0. Is j a multiple of 8?
True
Let g(c) = c**3 - 3*c**2 + 2*c + 6. Is 22 a factor of g(5)?
True
Suppose 23*a - 16*a = 196. Is 4 a factor of a?
True
Suppose -2*w + 11 = 1. Suppose 2*s = w*s - 84. Is 14 a factor of s?
True
Is 58 a factor of (-3 + 14)*36/2?
False
Let y(q) = q**2 - 24*q - 105. Is 10 a factor of y(-31)?
True
Let q be -2*(-4 + 11/2). Let u = q + -7. Let r(m) = -m**3 - 9*m**2 + 8*m + 5. Is 7 a factor of r(u)?
False
Let c = 28 + -28. Suppose -4*j + 86 = 5*s, -4*j = -c*s - s - 98. Suppose 0*n - 2*n = -j. Does 2 divide n?
True
Suppose -4*v = 3*v. Suppose v = -3*x - 2*n + 173, 2*x + 2*x = -5*n + 233. Is 6 a factor of x?
False
Let g be 5/15 - (-1)/(-3). Suppose -5*o = -5*r + 23 - 173, -r - 5 = g. Is 5 a factor of o?
True
Suppose 8*k - 11*k - 3*z + 5940 = 0, 0 = -4*k + z + 7915. Is 11 a factor of k?
False
Let g(c) = -c**2 - 5*c. Let t be g(3). Is 13 a factor of (18/t)/(3/(-156))?
True
Suppose -3*i = -s + 22, -s + 10 + 0 = i. Suppose -f = 3*h - s, -4*f + h = -20 - 58. Is f a multiple of 17?
False
Suppose z - 489 - 648 = -5*u, 0 = 3*u + 3. Is 29 a factor of z?
False
Is 21 a factor of (1380 + (0 - 2))/(9 + -7)?
False
Let g = -1056 + 2216. Does 20 divide g?
True
Suppose -28*j + 35*j = 364. Does 13 divide j?
True
Suppose 566 = 3*c + 4*q, c - 5*c + 3*q = -763. Is c a multiple of 19?
True
Is (-30)/4*(-2464)/20 a multiple of 33?
True
Let h(t) = 41*t**2 + 1. Let i(w) = -w**2 + 6*w - 4. Let f be i(5). Does 6 divide h(f)?
True
Let u(o) = -8*o**3 - 4*o**2 + 10*o + 18. Let l be u(-6). Does 11 divide (-2)/(4 - l/384)?
False
Suppose -4*d - 3*w + 3 = -5, -2*w = 8. Suppose 0*f = -d*f - 15. Is -1 - ((f - 0) + -3) a multiple of 5?
True
Suppose -5*b + 8 = -2. Let y be 9*3/18*-2. Is 29 a factor of (-87)/y - b/(-2)?
False
Let w(m) be the third derivative of m**6/120 - 3*m**5/20 + m**4/6 - 3*m**3 - 9*m**2. Is w(10) a multiple of 25?
False
Let l(m) be the second derivative of m**4/4 - m**3 - 19*m. Does 8 divide l(6)?
True
Let g = 15 - 8. Suppose 4*n + 1 = -g. Is (-3)/(-2) - 9/n a multiple of 3?
True
Suppose 5*o + 20 = -0*o. Let s be -1 - 1 - (o - 0). Suppose -s*u - 29 = -139. Is u a multiple of 18?
False
Suppose -239*j + 574 = -237*j. Is 41 a factor of j?
True
Let w(v) = -v**3 - 3*v**2 - 8*v + 5. Let b = -7 + 3. Is 12 a factor of w(b)?
False
Suppose 8 = -2*p, -2*v + 15*p - 17*p = -1238. Is 7 a factor of v?
True
Let o be -2 - -1*(2 - -1). Suppose -4 = u - o. Let c(y) = -17*y - 5. Does 15 divide c(u)?
False
Let o(j) = -577*j**3 + 3*j + 4. Let u be o(-1). Suppose -598 = -7*y + u. Is 24 a factor of y?
True
Suppose -8*u = -4*u + 5*l - 2553, -u - 4*l = -641. Is 11 a factor of u?
False
Let b be (-57)/(-38)*1*2. Suppose -5*k + b*o = -o - 692, 2*k - 281 = 3*o. Is k a multiple of 34?
True
Is -111*(2 + (-35)/15 + 0) a multiple of 3?
False
Let d(h) = h**2 - h - 1. Let a = -43 - -37. Is 8 a factor of d(a)?
False
Let t(s) = 3*s**2 + s - 7. Suppose 5*p = -5*l, 2*l = -3*l + 2*p + 14. Let y = l + 1. Is t(y) a multiple of 23?
True
Suppose 4*r = 46 + 10. Let z = r - -1. Is z even?
False
Let w(h) = -280*h - 86. Does 47 divide w(-4)?
True
Let o(t) = 29*t - 27. Let q(m) = -5*m - 14*m + 25 + 16 - 24*m. Let z(n) = -7*o(n) - 5*q(n). Does 23 divide z(9)?
True
Is 21 a factor of (2756/65)/((-4)/(-50))?
False
Let y be 1*3*95/(-15). Let i be 11/44 + (-263)/(-4). Let w = y + i. Is w a multiple of 26?
False
Let i(t) = t**3 - 3*t**2 - 2. Let w(z) = -2*z**3 - 13*z**2 - 7*z - 1. Let q be w(-6). Is 8 a factor of i(q)?
True
Let p = 11 - -22. Let s = -19 + p. Let b = 21 - s. Does 7 divide b?
True
Suppose 4*b + r - 19 = 2*r, -3 = r. Suppose o + b*u = 263, 4*o - u - 195 = 874. Let c = o - 189. Does 26 divide c?
True
Suppose 4*u = 3*f + 2, 1 = -4*u + 2*f + 5. Suppose d = -3*k + 74, -u*k + d = -4*k + 51. Is 6 a factor of k?
False
Let r(n) = 6*n**2 + 9*n + 1. Let q be r(-6). Let u = q + -81. Is u a multiple of 18?
False
Let m = -216 + 317. Is m a multiple of 9?
False
Let f(q) = -27*q - 2. Suppose 10*r = 8*r - 4. Is f(r) a multiple of 26?
True
Suppose -u + 7 + 10 = 0. Let q(b) be the second derivative of -b**5/20 + 4*b**4/3 + 3*b**3 + 5*b**2/2 + 29*b. Is q(u) a multiple of 11?
True
Suppose 2*z = 1 + 3. Let d = -12 + 13. Suppose d = f - z. Is 3 a factor of f?
True
Suppose -35*c + 4*a = -30*c - 125, 0 = -c + 5*a + 46. Is c even?
False
Is 120/2 + (-24)/(-6) + -8 a multiple of 14?
True
Let v be (462/(-30) - 5)*(0 - 5). Is 2 a factor of v/(-4)*2/(-3)?
False
Suppose 4*k = 4*j - 4, -2 = -2*k - 2*j + 12. Suppose -2*s - 213 = -k*g - s, 4*g + 2*s - 274 = 0. Does 14 divide g?
True
Let n = -73 - -80. Let r(g) = g**3 - 6*g**2 + 8*g + 13. Does 20 divide r(n)?
False
Let z be (6/(-5))/((-18)/60). Suppose 240 = 3*i - 5*d + 53, z*i = -5*d + 191. Is 28 a factor of -4 + 7 - (1 - i)?
True
Suppose 69*g = 90*g - 15162. Does 37 divide g?
False
Suppose 18190 = 7*c + 6395. Is c a multiple of 78?
False
Suppose 2*m - 4*m - 52 = -4*c, 4*c = -5*m - 74. Let r be 696/m*6/4. Let q = 130 + r. Is 24 a factor of q?
True
Let q = 349 - -117. Suppose -j = -5*d + 584, -5*j + 3*j - q = -4*d. Does 13 divide d?
True
Let q(v) = -13 + 3*v + 1 + 1 + 4*v. Is q(4) a multiple of 5?
False
Let i(r) = 5*r**2 + r + 2. Let f be i(-4). Let v be (-10)/35 - (-60)/14*1. Suppose -v*x + f = -x. Does 16 divide x?
False
Let s be 3 + (-1)/3*-3. Suppose -2*o + 294 = 4*b, -2*b + s*o - 10 = -162. Does 7 divide b?
False
Let a = 3155 - 2121. Is 11 a factor of a?
True
Suppose -3*o = 6*o - 3060. Does 17 divide o?
True
Let s(h) = 59*h + 22. Is 67 a factor of s(14)?
False
Let p(c) = -c**3 + 18*c**2 - c + 40. Is 24 a factor of p(17)?
True
Suppose 3*w - 194 = -4*k + 2*k, w - 3*k = 83. Does 2 divide w?
True
Let b(c) = 4*c**2 - 2*c + 1. Let s be -6*((-14)/(-4))/7. Let i = 5 + s. Is 13 a factor of b(i)?
True
Let n = -9 + 12. Suppose 0 = 3*j + 5*m + 59, -2*m = -n*j - 4*m - 65. Let t = j + 47. Does 12 divide t?
True
Let c = -1 - -5. Suppose -103 = -3*j - 5*f + 76, 4*j - 196 = c*f. Suppose -3*t = -j - 19. Is t a 