 + 13 - y**2 + 2*y**2 - 3. Suppose -28*b - 250 - 58 = 0. Is 13 a factor of d(b)?
False
Is 2 + 1 - (0 - 237) a multiple of 12?
True
Suppose 5*f - 3*j + 7*j = 125, -4*f - j = -89. Is f even?
False
Let n be (6 + -3)*4/6. Let m be n + -1 - (-208 - -1). Is m/6 - (-3)/9 a multiple of 16?
False
Does 53 divide 2/4 - (5944/(-16) - -1)?
True
Let z = 22 + 1. Let m = z - 20. Suppose 3*t = 3*f - f + 156, -m*t = -f - 153. Is t a multiple of 12?
False
Let d(w) be the third derivative of -w**5/60 + w**4/8 - w**3/3 + 6*w**2. Let u be d(2). Suppose -t - 3*t + 216 = 4*r, -2*t - 3*r + 105 = u. Is 16 a factor of t?
False
Suppose 144*a + 648 = 153*a. Is 18 a factor of a?
True
Let o = -2 + -12. Let p = o + 8. Let x(q) = -12*q - 6. Does 33 divide x(p)?
True
Suppose -p + 1285 = 4*f - 1023, 1716 = 3*f - 3*p. Is f a multiple of 35?
False
Suppose -30 = 7*b + 26. Is 37 a factor of (-37)/((4/b)/((-1)/(-2)))?
True
Let r be 46/92 + (-1 - (-669)/2). Let i = r - 201. Does 19 divide i?
True
Let f(j) = -8*j**2 - j - 3*j + 8*j**2 + 8*j**2 - 5*j**2. Let y(w) = w**2 - 5*w - 1. Let x be y(6). Is f(x) a multiple of 11?
True
Let u = 2626 - 1662. Does 15 divide u?
False
Let y(g) be the third derivative of -g**9/1440 + 2*g**5/15 + 8*g**2. Let i(z) be the third derivative of y(z). Does 9 divide i(-1)?
False
Let v = 2051 - 1419. Is v a multiple of 51?
False
Is ((-5)/15)/(3/(-34533)) a multiple of 22?
False
Suppose -110*z - 840 = -120*z. Is z a multiple of 7?
True
Suppose 5*i - 2*i = -4*f + 12, 0 = -5*i + 4*f + 20. Suppose -i = 2*o - 4*o. Suppose 0 = o*l - 0*l - 116. Is l a multiple of 21?
False
Let z(v) = -v**2 - 6*v - 17. Let x(t) = t**3 - 3*t**2 - 12*t. Let m be x(5). Let i be z(m). Let o = 92 + i. Does 19 divide o?
False
Suppose s - 3*s - 12 = 0. Let f = 18 + s. Does 12 divide f?
True
Suppose -2*j + 2396 = 3*x - 6*j, -4*j - 3980 = -5*x. Does 8 divide x?
True
Let i(r) = 29*r**2 + 63*r - 4. Is 21 a factor of i(5)?
False
Let x = -45 - -52. Suppose x*n - 261 = 649. Is n a multiple of 16?
False
Suppose -2*k + o = -5*k - 4, -k + o = 0. Let t(u) = -u**3 - 6*u**2 - u - 7. Let a be t(-6). Is 58 + (k - a) + 2 a multiple of 24?
False
Suppose 5*k = 386 + 299. Suppose k + 108 = -5*g. Is g/(4/(-4)*1) a multiple of 20?
False
Let u(h) = 39*h**2 + 6*h + 3. Let z be u(-3). Suppose 4*v = -3*w - w + z, 3*w = -v + 78. Does 29 divide v?
True
Let g = -8 - -30. Suppose 5*x + 2*r - 34 = 0, -x + 2*r = -4*x + g. Let i = 7 + x. Is 5 a factor of i?
False
Suppose -4*l - 697 = -z + 463, 2*z - 2*l - 2344 = 0. Is z a multiple of 56?
True
Suppose 2*w + 62 = -4*t, 5*w = 3*t + 64 - 24. Let n = t - -10. Does 19 divide (n - -1)*(-38)/4?
True
Suppose 3*m - 5*v = 97 + 573, 895 = 4*m - 5*v. Suppose -m + 87 = -6*q. Does 15 divide q?
False
Let r be 0/(((-6)/1)/3). Suppose 0*x = -x - 2*i + 22, -i - 24 = -2*x. Is x/(-7) - (r + -41) a multiple of 11?
False
Let f = 14 - 10. Suppose 12 = -0*n + f*n, -v - 3*n = -97. Is 11 a factor of v?
True
Suppose -5*l + 32 = -3*g + 6*g, -3*l + 2*g = -4. Does 4 divide (l/10 + 2)*5?
True
Does 12 divide (2/(-4))/(5/(-120))?
True
Let s = 560 - 436. Is 4 a factor of s?
True
Let c(i) = i**3 - 18*i**2 + 50*i + 23. Is c(15) a multiple of 33?
False
Suppose 1607 - 407 = 8*x. Is 7 a factor of x?
False
Suppose 1084 = -3*w + 5*k, 5*w + 3*k = k - 1817. Let i = w - -535. Is i a multiple of 28?
False
Let o(z) be the third derivative of z**6/120 + 5*z**5/12 - z**4/8 + 4*z**3/3 + 41*z**2. Does 12 divide o(-25)?
False
Suppose 0 = 4*i - 0*i + 280. Let j = i + 146. Is 28 a factor of j?
False
Does 4 divide 6/10 + -3 + 1461/15?
False
Let b(c) = 2*c**2 - c + 1. Let m be b(2). Let a = m - 15. Let i(t) = t**2 + 2*t + 1. Is i(a) a multiple of 13?
False
Let t be (-286)/4 + (-9)/6. Let g = 52 + t. Let m = 25 + g. Does 3 divide m?
False
Let d(f) = 136*f - 3. Let l(u) = u**3 + 4*u**2 - 2*u - 7. Let c be l(-4). Does 14 divide d(c)?
False
Let z(v) = -6*v**3 + 20*v**2 - 32*v. Let c(l) = l**3 - l + 1. Let h(q) = -5*c(q) - z(q). Is 7 a factor of h(18)?
False
Let m(a) = 11*a - 2. Let f = 16 - 13. Let g be m(f). Is (g*1)/(1 - 0) a multiple of 5?
False
Let t(j) = -j**2 - 12*j + 1. Let x be t(-11). Suppose -3*c - 2*c = -10. Let r = x - c. Is r a multiple of 10?
True
Does 14 divide 5/(-13 - -8) - -188?
False
Let x = -4 - -7. Suppose -3*w - 75 = x*f, 4*f = w - 2*w - 40. Does 18 divide -10*2/w*18?
True
Let d = -118 + 127. Let x(h) = -h**2 + 9*h + 19. Is x(d) a multiple of 10?
False
Suppose -46 = 5*h + 3*y, 18 = 4*h + 2*y + 56. Let l = 13 + h. Suppose -l = -c + 4. Is c a multiple of 3?
True
Let t(n) = n**2 + 15*n - 14. Is t(-33) a multiple of 58?
True
Let x = -388 - -256. Let a be 3*(x/(-9))/(-4). Let d = a - -55. Is d a multiple of 11?
True
Let q be 24332/70 + 3/(-5). Suppose 65 = 2*u - q. Does 9 divide u?
False
Let k = 46 - 8. Suppose -f - 4*c = 8, -f + 0*c = -2*c + k. Does 3 divide (-7)/(f/16)*1?
False
Let u(b) = b**3 + 22*b**2 - b - 14. Let w be u(-22). Let i(x) = x**3 - 6*x**2 - 13*x + 19. Is 43 a factor of i(w)?
True
Suppose -3*v + 4*p + 0 + 4 = 0, -2*p + 4 = 0. Suppose -513 = -v*m - 3*n, 2*n + n - 384 = -3*m. Is m a multiple of 27?
False
Is 55/(3/(-18) + 1/2) a multiple of 64?
False
Let l = 305 + -215. Does 4 divide l?
False
Suppose b - 525 = 5*o, 5*b = 4*o + 552 + 2178. Let z = b + -325. Is 25 a factor of z?
True
Let s(j) = j - 5. Let m be s(-6). Let v(w) = w**3 + 12*w**2 + 2*w + 2. Does 20 divide v(m)?
False
Let a = -348 + 501. Let k be 0 + (0 - -2) + (-355)/5. Let u = k + a. Is u a multiple of 14?
True
Let v = -95 - -451. Is 37 a factor of v?
False
Is (-48092)/(-154) - (0 - (-2)/7) a multiple of 8?
True
Suppose 4*v = -9 + 53. Let i = v - -6. Is 4 a factor of i?
False
Let f = 14 + -20. Let j be (24/10)/(f/(-45)). Is 1/3 - (-642)/j a multiple of 14?
False
Let f(v) = 2*v - 6. Let d be f(5). Suppose -5*u + l = 1, 2*l = -u + d*l - 2. Suppose 3*m - 174 = -4*z, -3*m + 5*m + 2*z - 116 = u. Does 25 divide m?
False
Let v(u) be the second derivative of -151*u**3/6 + u**2/2 - 6*u. Let o be v(-1). Is (o - (2 - 0))/2 a multiple of 15?
True
Let p(v) = -v - 9. Let t be p(-12). Suppose 0 = -5*h + 7 + 18, -t*f - 5*h = -25. Suppose -5*k + f*k + 100 = 0. Is k a multiple of 5?
True
Let i(h) = -6*h + 10 + h**2 + h - 9*h. Is i(14) a multiple of 5?
True
Let q(s) = 5*s + 24. Let n(z) = 2. Let g(j) = -18*n(j) + 2*q(j). Does 13 divide g(3)?
False
Let w be (-53)/(-2 + 3)*-4. Let c = w + -148. Suppose -2*z = -z - c. Is z a multiple of 20?
False
Let t be (57/(-6))/(3/(-12)). Suppose t = 2*d - 108. Suppose 75 + d = 4*n. Is 5 a factor of n?
False
Let o be 1 + -4 + 4 + -1. Suppose -5*h = 5*c + 65, o = 3*h - h + 5*c + 23. Does 7 divide ((-1)/(1/h))/2?
True
Let y = 3130 + -1957. Is 51 a factor of y?
True
Let a(z) = -4*z - 1. Let q(x) = -13*x - 2. Let n(w) = -11*a(w) + 4*q(w). Is n(-3) a multiple of 9?
True
Is 49 a factor of 36/54*15/(-2) - -533?
False
Let c be (-2)/((5 - 1)/(-4)). Does 16 divide 4 - (c + -2 + -44)?
True
Suppose 3*j = -5*j + 816. Suppose 4*b = -2*x + j, 2*b = -3*b + x + 117. Is b a multiple of 12?
True
Let n(y) = 2*y**2 + 35*y + 23. Let w be n(-16). Is 12 a factor of -59*1*-1 - (24 + w)?
True
Suppose 31 = -4*z - z - s, 0 = 4*z - s + 32. Let f(t) = 2*t + 16. Let b be f(z). Suppose -17 + 1 = -b*i. Does 3 divide i?
False
Let c = 627 + 50. Does 38 divide c?
False
Suppose -3*u - 25*u + 5376 = 0. Does 32 divide u?
True
Suppose -428 = -f + 61. Is 7 a factor of f?
False
Let n(y) = -y + 13. Let z be n(11). Suppose 0*w + z*w - 28 = 0. Is 17 a factor of 402/w - 40/(-140)?
False
Suppose -21*b + 11*b = -2120. Is b a multiple of 44?
False
Suppose 15*b - 19*b = -32. Let m be 7*1/(14/8). Suppose 60 = -m*x + b*x. Is x a multiple of 2?
False
Is ((-4802)/21)/(24/(-180)) a multiple of 49?
True
Does 12 divide 3752/20 + (-16)/10?
False
Suppose -d + 5 = 2. Let k = d + 108. Is k a multiple of 9?
False
Let w(v) be the second derivative of v**6/120 - 7*v**5/60 + v**4/3 - v**3/2 - v**2 - 6*v. Let o(q) be the first derivative of w(q). Is 9 a factor of o(6)?
True
Suppose -2*y = k - 739, 2*k - 157 = -y + 208. Does 32 divide y?
False
Suppose 13*x - 290 + 56 = 0. Does 9 divide x?
True
Suppose -3*i = -8*i. Is (-40 + i)/(12/(-30)) a multiple of 34?
False
Let a = 112 - 78. Suppose -a*z = -39*z + 300. Is z a multiple of 4?
True
Let a(l) = l**2 + 5*l + 2. Let p be a(-5). Suppose p