2. Does 32 divide v?
True
Let x = -3077 + 4511. Is (50/150)/(2/x) a multiple of 7?
False
Suppose -88*w + 89*w = -p + 3501, 5*w + 3*p = 17499. Is w a multiple of 22?
True
Let w = -7095 - -15583. Is 21 a factor of w?
False
Does 51 divide 10/((-70)/(-16647)) + 2/(-14) + 1?
False
Suppose 7*s - 4098 - 10308 = 0. Suppose 0 = 176*f - 182*f + s. Is 16 a factor of f?
False
Suppose -5*u - 127 = 5*d + 188, 3*d = -3. Let t = u + 44. Does 15 divide (-3 - 0) + 28/(-8)*t?
True
Does 162 divide -1 + -1 - 183070/(-5)?
True
Let w(b) = b**3 + 19*b**2 - 2*b - 12. Suppose -4*n - 4*l = 0, l + 1 + 3 = -3*n. Let o be (-3)/n*(-608)/48. Is w(o) a multiple of 11?
False
Suppose 37*z - z - 111430 = 169370. Does 130 divide z?
True
Suppose -32*h + 465610 = -12*h + 94350. Is h a multiple of 111?
False
Suppose -19 = -2*l - 11. Let i be (5/(-15))/((-3)/45). Suppose -293 = -i*v - 2*q, -l*v + 216 = -4*q + q. Is 19 a factor of v?
True
Suppose 57*u = 88157 + 308463 + 38062. Does 41 divide u?
True
Let j be ((-88)/(-220))/((-1)/5). Does 37 divide 1/j - (-6 - (-4407)/(-6))?
True
Let p(l) = -2068*l + 7376. Does 21 divide p(-10)?
True
Let o(n) be the first derivative of -2/3*n**3 + 16 - 5/2*n**4 - n**2 - n. Is 4 a factor of o(-1)?
False
Let d(h) = h**2 + 6*h + 7. Let q be d(-3). Let y be 7/2 + q/4. Suppose -k = -y*k + 142. Is k a multiple of 22?
False
Is 42 a factor of -12 + 36/30*10565?
False
Let u be (-4 + 0 + -2)*1/(-3). Suppose -u*s + 104 = 4*h, 2*h - 80 = -2*s + 4*h. Is 5 a factor of s?
False
Let n = 10215 + 1665. Is n a multiple of 51?
False
Suppose 25*n - 23*n = 184*n - 184184. Does 44 divide n?
True
Let h(n) = 77*n + 7. Let a be h(5). Let c = 980 - a. Is 14 a factor of c?
True
Let v(a) be the second derivative of a**4/2 + a**3 + 4*a**2 + 22*a + 1. Let n = -1 - -7. Is 26 a factor of v(n)?
True
Let s = 15378 - -4334. Is s a multiple of 64?
True
Let c(j) = 11*j - 31. Let y be c(3). Let u be 40/60 - y/(-6). Is 29 a factor of (u + 3)*155/4?
False
Suppose 2*r - 5 = -3*r + l, -5*l = -4*r - 17. Suppose 3*s - r*o - o = 687, 2*s - 3*o - 461 = 0. Does 4 divide s?
False
Does 5 divide 5/7 + 87600/56?
True
Let r(j) = -1 + 8*j**2 + 29*j - j**3 + 8 - j**2 + 7. Is 2 a factor of r(9)?
False
Let u(a) = -4*a**3 - 3*a**2 - 17*a - 11. Let r be u(-7). Let k = r + -739. Does 40 divide k?
False
Suppose 0 = 104*k - 360289 + 27073. Is k a multiple of 6?
True
Suppose 820*y - 815*y = 3*t + 113533, -5*y + 113557 = 3*t. Is y a multiple of 22?
False
Suppose 0 = 8*p + 7 + 97. Let z = 15 + p. Suppose -212 = -4*r - 4*o, 3*o = -r - z*o + 49. Is 26 a factor of r?
False
Let v(k) = k**2 + 28*k - 1289. Does 18 divide v(25)?
True
Let s = -1684 - -962. Let p = -469 - s. Is 65 a factor of p?
False
Let u(v) = -10*v + 28. Let k(f) = f - 1. Let z(c) = -12*k(c) - u(c). Let g(p) = -p**3 - 8*p**2 - 9*p + 5. Let j be g(-6). Is 9 a factor of z(j)?
False
Suppose -x - 23 = -22. Let i be x + 12/4 + 90 + 1. Does 8 divide ((-10)/(-30))/(1/i)?
False
Suppose -19*p - 477 = -4600. Suppose -3*v + 92 = -p. Is v a multiple of 24?
False
Let s be ((-7)/3)/((-4)/(-24)). Let f(z) = z + 34. Let j be f(s). Is ((-79)/(-2) - -3)*48/j a multiple of 34?
True
Suppose -12*p = -29*p + 4794. Is 6 a factor of p?
True
Let x be -123 + ((-15)/8 - 1/8). Let y = x - -139. Does 7 divide y?
True
Let b(l) be the third derivative of l**4/4 - 121*l**3/6 - 34*l**2. Does 17 divide b(40)?
True
Let r(v) = 3*v**2 + 143*v + 364. Is r(-64) a multiple of 50?
True
Let i(v) = 36*v**2 - 72*v - 1125. Does 99 divide i(-15)?
False
Suppose 4*d = 6*d + 11*d - 47619. Is 3 a factor of d?
True
Let u = -58 - 10. Let f = 79 + u. Suppose -f*g = 2*g - 1716. Is 19 a factor of g?
False
Let f = -4 - -36. Let c be (4/16)/(15/(-180)). Let t = c + f. Is 11 a factor of t?
False
Let k = 57 - 55. Let g be 0/(((-3)/(-6))/(1/k)). Suppose 5*y = g, -y = 3*t - 0*y - 207. Is 13 a factor of t?
False
Suppose -2*v + 50 = 10. Let l(r) = -r**2 + v*r + 1 - 18*r + r**2 + 2*r**2. Is l(-3) a multiple of 6?
False
Is 4 a factor of (52/(-6))/(-6 - (-8050)/1344)?
True
Let c = -881 + 884. Suppose 2*q - 6 - 2 = 0. Suppose -c*v + 12 = 0, -v = -q*b - 6*v + 616. Is 22 a factor of b?
False
Suppose 5 = 5*o - 27*v + 32*v, 4*v = -2*o. Suppose 0 = 2*t - 0*b - 2*b - 138, -b - o = 0. Does 25 divide t?
False
Let q(h) = -64*h + 8. Let w(j) = 193*j - 25. Let s(x) = 7*q(x) + 2*w(x). Is 10 a factor of s(-2)?
True
Let q = -10110 + 19627. Is 5 a factor of q?
False
Let x = 14 - 3. Let l(t) = 2*t - 57 - x*t + 15*t + 9*t. Does 5 divide l(5)?
False
Is (-3)/2*(50588/(-4) + 1) a multiple of 23?
False
Let p = -144 - -262. Suppose -4*v = -p + 502. Is 17 a factor of (-21)/(-7) - (v - -1)?
False
Let d = -72 + 101. Suppose d = 2*p - 3*t, -p - 2*p + 45 = -4*t. Does 3 divide p?
False
Suppose u = 1, -d + 3*u + 17 = 4*d. Let h(y) = 20*y**2 + 6*y + 13. Does 21 divide h(d)?
True
Suppose 3*j = p - 813, -j - 1611 = -14*p + 12*p. Let s = p + -505. Is 19 a factor of s?
False
Suppose 0 = -2*g - p + 1597, 4*g + 5*p + 112 = 3303. Is 17 a factor of g?
True
Let f(r) be the second derivative of r**5/15 + 17*r**3/6 + 17*r**2/2 - 16*r. Let m(t) be the first derivative of f(t). Is 27 a factor of m(4)?
True
Let t be 52/(-12) + 0 + 1/3. Let x be (3/t)/(3*2/(-24)). Let r(p) = 10*p + 3. Is r(x) a multiple of 14?
False
Is 16 a factor of (-28 + -8 + 24)*(-58)/3*71?
False
Let f = -197 + 221. Suppose 15*z + 756 = f*z. Is z a multiple of 21?
True
Let a(n) = n**2 - 6. Let h be a(-4). Suppose 6 = -h*b + 16. Is 3 a factor of (84/18)/(b/9)?
True
Let i(h) = -251*h + 2887. Is i(-19) a multiple of 88?
True
Let s(w) = w**2 - 18*w + 20. Let k be s(16). Let c be (6/k)/(((-3)/(-504))/(-1)). Let d = -76 + c. Is d a multiple of 4?
True
Is 67 a factor of ((-4)/14*-21)/((-8)/(-31628))?
False
Suppose 0 = -3*n - 4*z + 16776, -14*n - 2*z = -9*n - 27988. Is n a multiple of 40?
True
Suppose -728555 = -60*a + 755365. Does 39 divide a?
False
Suppose 3*w + 132 - 654 = 0. Suppose 144 - w = -2*f. Is f a multiple of 2?
False
Let d(k) = -3*k**2 - 11*k + 6. Let g(o) = -8*o**2 - 32*o + 19. Let j(i) = 11*d(i) - 4*g(i). Let x be j(9). Let v = x + 45. Is v a multiple of 9?
False
Suppose 0 = -5*b + 60 - 20. Suppose b = -4*m + 8. Is 22 a factor of 270/2 - (m + 4 + -1)?
True
Let i = -2122 + 3688. Is i a multiple of 54?
True
Let a = -7 - -14. Suppose -g + t + 502 = 0, -4*t - 282 + 2338 = 4*g. Suppose 11*p - a*p = g. Does 24 divide p?
False
Suppose -5*k - 1 = -3*u + 11, -8 = k - 2*u. Suppose -3*r - 1171 = -4*m, m - 5*r = -k*m + 314. Is 17 a factor of m?
True
Suppose 0 = 6*b - 2*b - 28. Suppose a - 120 = b*a. Is 7 a factor of 105/a - -5 - (-249)/4?
False
Let l(u) be the second derivative of u**5/20 - 3*u**2 - u + 6. Let i be l(0). Does 15 divide 796/7 - i/21?
False
Suppose -5*d + 3094 = 1139. Let g be (-986)/(-4) - (-17)/34 - 1. Let y = d - g. Is 29 a factor of y?
True
Does 82 divide (-8)/3*(41/2)/((-36)/3672)?
True
Let m = 3214 + -2896. Is 4 a factor of m?
False
Let y(r) = 921*r + 6921. Is 11 a factor of y(-6)?
False
Let w(y) = 0*y + 17*y - 15*y + 45. Is w(27) a multiple of 33?
True
Let x be 109/((1/5)/(13/65)). Suppose -4*a = -2*a + i - x, -4*i = -4. Does 19 divide 1/9 - (4 - 4314/a)?
True
Let t(z) be the first derivative of 24*z**2 - 27*z + 68. Is 61 a factor of t(12)?
True
Suppose -8*j - 10533 - 34467 = -4*c, 4*j = 12. Does 24 divide c?
True
Suppose 160*y = 24*y + 716046 + 100090. Is 10 a factor of y?
False
Let c = -66550 + 105576. Does 13 divide c?
True
Let n(y) = y**2 + 16*y - 46. Let w be n(-19). Suppose w = 7*a + 4. Is (-8)/(a*(-1)/3) even?
True
Let u(f) = -f**2 + 3*f + 16. Let q be u(-3). Let p be (q/(-8) + 0)*28. Does 28 divide 1174/p - (-6)/21?
True
Let p be (2/3)/((-834)/846 + 1). Let m = p + -47. Is 14 a factor of (25 + m)/(-1*(-2)/4)?
False
Let u = -1120 + 1440. Is u a multiple of 10?
True
Suppose -1280 = -v + t, -8*v = -6*v + 4*t - 2554. Does 10 divide v?
False
Suppose 58*m + 4*l + 9924 = 59*m, 0 = m + l - 9894. Does 15 divide m?
True
Let r(q) = -2*q**3 + 129*q**2 - 60*q - 188. Does 4 divide r(64)?
True
Let j(f) = -118*f - 1054. Does 41 divide j(-36)?
False
Suppose 6*u = 34*u + 22*u - 299200. Does 17 divide u?
True
Let p = 75 - 71. Suppose -2*m = -3*m + p. Suppose 184 = m*t + 4*o - 0*o, 0 = -5*t - 4*o + 225. Is t a multiple of 4?
False
Suppose -4*u + 2516 = 3*v - 7840, 0 = -4*u - 12. Does 