ue
Suppose 268*i - 9820 = -5*o + 266*i, 0 = -4*o - 2*i + 7858. Is 4 a factor of o?
False
Suppose 3*h - 7308 - 11253 = -5*c, 5*c - 18545 = 5*h. Does 12 divide c?
False
Let z = -9324 + 11461. Is 2 a factor of z?
False
Let n be 1246/26 - 7/(-91). Suppose 0 = -n*h + 46*h + 398. Is h a multiple of 66?
False
Suppose -31210*v + 80503 = -31192*v - 84089. Is 36 a factor of v?
True
Let d(h) = -283*h**2 - 2*h - 1. Let x be 1 + 3 - (17 - 14). Let f be d(x). Let j = f - -502. Is j a multiple of 18?
True
Let q(x) = -4*x**2 - 23*x - 3. Let r be q(-8). Let w = r + 89. Is w even?
True
Suppose 0 = 9*o + 2*o - 44. Let t be -4 + (o + 0 - -1). Is -4 + 2 - -59 - -3*t a multiple of 5?
True
Let h be ((-48)/(-10) - 2) + (-2)/(-10). Suppose -3*z - h = 0, -p - 2*z + 502 = 2*p. Is p a multiple of 84?
True
Suppose 5*h + 2*x - 19565 = 0, -26*h + 14*x + 101738 = 12*x. Is 13 a factor of h?
True
Let b = 22 + -18. Suppose -b*q + 11 = -5*w, 0 = -2*w - 4*q + q + 14. Let r(f) = 83*f**2 + 3*f - 2. Does 10 divide r(w)?
False
Let r(h) = 283*h**2 - 14*h + 36. Is 22 a factor of r(-4)?
True
Let v = -13456 - -13584. Is v a multiple of 3?
False
Let f be (-11)/(-2)*(0/(-6) - -2). Suppose 0 = -f*s + 16*s - 1430. Is s a multiple of 13?
True
Let z = 118 - 113. Suppose z*x + 9 = -1, -98 = 3*i - 2*x. Let a = i - -52. Does 12 divide a?
False
Let x be (-30)/4*(-37)/((-1295)/588). Suppose -2*o - 900 = 3*o. Let w = x - o. Is w a multiple of 15?
False
Suppose 80 = -4*f - 272. Let x be 4*(-8)/(-80)*-310. Let s = f - x. Does 12 divide s?
True
Let p(x) = 17*x**2 - x - 5. Let r be p(3). Suppose -3*f + 0*t - r = t, -2*f = t + 96. Let y = 57 + f. Is 4 a factor of y?
True
Let j = -99 + 235. Suppose 0 = 3*m - 5*m + j. Suppose -17*g = -15*g - m. Does 5 divide g?
False
Suppose 5*n = -u + 30, 0*u + 3*u = 3*n. Let z(o) = 3*o + 3*o**3 - 4*o**3 - 2*o + 6*o**2 + 2 - n. Does 2 divide z(6)?
False
Let m(c) = 22*c**2 + 4*c + 6. Let p be m(-7). Suppose -2*k = -4*n - 6, 80*k - 76*k - 17 = 3*n. Suppose k*h + 7*h - p = 0. Does 14 divide h?
False
Suppose -21 = -2*g - c, -3*c + 4*c = -4*g + 37. Suppose -g*v + 7*v = -541. Let l = v + -358. Is 43 a factor of l?
False
Let c(m) = -m**3 - 8*m**2 + 11*m + 21. Let d be -1 + (3 + 1)/(2/(-4)). Let y be c(d). Suppose l = -y*l + 176. Is 11 a factor of l?
True
Let d = 152 + -68. Let j = 155 + -149. Let m = d + j. Is m a multiple of 8?
False
Is 13 a factor of (6 + -2 + 9)*(-4163)/46*-6?
True
Suppose -3*j - 3*r + 2*r + 4387 = 0, -2*j = -4*r - 2934. Let h = -89 + 107. Suppose -7*s = -h*s + j. Is s a multiple of 7?
True
Let a(g) = -67*g**2 - g. Let i be a(-1). Let f = 24898 + -24768. Let x = f + i. Does 8 divide x?
True
Suppose 57*x = 56*x. Is 8 a factor of (x - -4)/(-8)*13*-34?
False
Let n(i) = -2*i. Let g(s) = -17*s**2 - 22*s + 112. Let o(v) = -g(v) - 2*n(v). Is o(7) a multiple of 29?
False
Suppose 5*y - 15 = 0, -3*p + 3*y = -0*y + 9. Does 4 divide 242 - 7 - (-3 + (p - 2))?
True
Let a(m) = m**3 - 6*m**2 + 7*m - 5. Let g be a(4). Let b(r) = r**3 + 11*r**2 + 2*r + 12. Is 14 a factor of b(g)?
False
Suppose 2 = g, -5*u = -2*u - 5*g - 65. Suppose -5 + u = 4*i, 3*i = -3*z + 1239. Does 24 divide z?
True
Let k = -224 + 250. Suppose k*a = 11*a + 2100. Is a a multiple of 11?
False
Suppose 2*z + 2*o + 2 = 0, 0 = 2*z - 3*o + 7. Is 530/(-25)*-5 - z a multiple of 12?
True
Let p be 24/((-12)/4) - -6. Suppose -108 = 3*x - 4*x. Is (8/(-24))/(p/x) a multiple of 9?
True
Suppose -26*c - 172530 = -116*c. Is c a multiple of 12?
False
Let x = -191 + 275. Let a = -129 - -84. Let h = x + a. Is h a multiple of 19?
False
Suppose 6*p - 10737 - 7940 = 8539. Is p a multiple of 216?
True
Suppose 5*p = p - 480. Suppose -5*m - 12 = -y, 11*m - 9*m + 14 = 5*y. Is m/15 - 15496/p a multiple of 21?
False
Suppose 28*h + 29587 - 47483 = 65012. Does 5 divide h?
False
Suppose 47*k - 136113 - 260661 = -8930. Does 28 divide k?
False
Let d(o) = 9*o + 3*o**2 - 5*o + o + 4. Is 3 a factor of d(-2)?
True
Let y(m) = 6*m - 6*m - m + 0 - 1. Let f(i) = -25*i + 3. Let d(l) = f(l) + 4*y(l). Is 14 a factor of d(-1)?
True
Let m(i) = -5108*i**3 - i**2 - i - 1. Is 161 a factor of m(-1)?
False
Let q(w) = 21*w + 24. Let k be q(8). Suppose p - k = -p. Is p a multiple of 5?
False
Suppose 4*p + p - 4740 = 0. Suppose 27*m + p = 30*m. Is m a multiple of 30?
False
Suppose 2*m = 3*v - 5, -2*m + 2*v = 3 - 1. Let s(w) = 14*w - 2*w**3 + w**3 + 83*w**2 - 90*w**m + 2. Is s(-10) a multiple of 30?
False
Suppose 0 = 7*b - 671 + 188. Suppose -67*f = -b*f + 64. Does 7 divide f?
False
Let t = 39439 - 15617. Is 145 a factor of t?
False
Suppose 17*v - 3472 = -14*v. Suppose -z + 3*f + 0 + 2 = 0, 0 = 2*z - 5*f - 6. Let n = v + z. Does 40 divide n?
True
Let a(w) = 43*w + 275. Suppose 0 = -4*p + 4*x + 64, 0*p - 4*p - 2*x = -64. Does 9 divide a(p)?
True
Suppose -4*b + 5*d = -0*b - 550, -2*b - d + 282 = 0. Suppose 190 = c - b. Does 33 divide c?
True
Let c be 4 + 0/(-6) + 262 + -1. Let t = 425 - c. Is 4 a factor of t?
True
Let y(t) = 1303*t**2 - 77*t + 156. Is y(2) a multiple of 11?
True
Let n be (-15)/(-9) + (-2)/(-6) + 14. Suppose 161*s = 162*s - n. Does 3 divide s?
False
Does 9 divide -5*1 + 41*(6 + -13 - -62)?
True
Is 8 a factor of 7129/2 + (-25)/10 + 4?
False
Let q(o) be the second derivative of -11*o**3/6 - 29*o**2 - o. Let i be ((-1)/(-4) - (-7)/20) + 2365/(-275). Does 10 divide q(i)?
True
Let f(g) = g**3 + 10*g**2 - 7*g. Suppose -4*d + 5*d + 4*s = 33, -d = s - 36. Let p = 31 - d. Is f(p) a multiple of 31?
True
Let u(i) be the second derivative of -i**4/12 - 35*i**3/6 + 48*i**2 - 32*i + 2. Does 6 divide u(-37)?
False
Suppose 29*j - 5487 = -818. Let x = j - 7. Is x a multiple of 28?
False
Let b be (14/5)/(-7 - 10335/(-1475)). Suppose 4*c - 451 = b. Does 9 divide c?
True
Suppose k + 755 = 3*m, -m + 0*k + 250 = -2*k. Suppose -5*y + 2*y = -m. Let w = 128 - y. Does 22 divide w?
True
Suppose 7548 = v + 4*n, -10*v = -13*v + 4*n + 22692. Does 54 divide (4/8)/(5*2/v)?
True
Let h(i) be the third derivative of -i**4/8 + 2*i**3 + i**2. Let l be h(3). Suppose y + l - 4 = 0, 5*f = 5*y + 795. Does 10 divide f?
True
Let d(s) = -30*s**2 - 2*s + 2. Let b be d(1). Let r be 1204/b - 42/(-315). Is ((-8)/(-2))/(r/(-820)) a multiple of 10?
False
Suppose 946*d = 953*d + 63. Is 34 a factor of ((-3)/2)/(d/384) + 4?
True
Let y(j) = -14*j - 34. Suppose -2*h + m - 5 - 3 = 0, 2*m = -2*h - 20. Is y(h) a multiple of 4?
False
Let o(n) = n**3 + 15*n**2 + 16*n + 7. Let c be o(-13). Let u(k) = 13*k**3 - 3*k**2 + 2*k + 2. Let p be u(2). Let x = c - p. Is x a multiple of 13?
True
Let j(x) = -34*x**2 - 19*x + 29. Let q(w) = 169*w**2 + 98*w - 146. Let t(n) = -11*j(n) - 2*q(n). Is 48 a factor of t(3)?
True
Let j(m) be the first derivative of -m**3/3 + 11*m**2/2 - 33*m + 23. Let r be j(6). Does 24 divide (-1)/r + (-862)/(-6)?
True
Let w be ((-25)/2)/(-5)*2. Suppose -4*o + b + 85 = 6*b, 2*b - 22 = -o. Suppose -f = -w*j + f + 136, -j = -4*f - o. Is 14 a factor of j?
True
Let z = 27 - 25. Suppose 4*c + 8 = -2*p, -z*c = -3*c + 2*p - 7. Let u(w) = -38*w - 4. Does 10 divide u(c)?
True
Suppose -3*k + 30 = -6. Let x = k - 14. Is 11 a factor of (-5 + (x + 3 - -1))*-33?
True
Let i(b) be the second derivative of b**6/8 + b**4/8 - b**3/3 + b**2/2 - b. Let t(u) be the first derivative of i(u). Is t(1) a multiple of 16?
True
Let p(h) = -2*h + 113. Suppose -21*w = -20*w. Does 3 divide p(w)?
False
Let j = -44 - -50. Let l be -3*(-2 + 2/j). Suppose 0*c - 739 = -l*g - 4*c, -2*g = 5*c - 299. Is 33 a factor of g?
False
Suppose 0 = 5*v + t - 15 - 136, 149 = 5*v - t. Let w be (v/8)/5*(4 - -8). Suppose 5*k = w*k - 48. Is 12 a factor of k?
True
Is 12 a factor of -93*(-74)/6 - 16/4?
False
Let m(t) = t**2 + 11*t - 1. Let i be m(-13). Let g be (i - 1)*(-40)/(-16). Is (3/2)/(125/g + -2) a multiple of 4?
False
Does 24 divide (-25*(-8)/600)/(2/1968)?
False
Is 134 a factor of 4*(-90927)/(-120) - 3/(-30)?
False
Suppose -119 = 38*l - 21*l. Is 12 a factor of -1 + (-308 - l)/(-1)?
True
Let z = 16 - 37. Let o be ((-7)/z)/(2/(-318)). Let h = -26 - o. Does 8 divide h?
False
Let q be (-2)/((-184)/56 - 3*-1). Suppose -j = q - 9. Is 11 a factor of (j - 3)/(2/268*-2)?
False
Suppose 4*c + 3*i = 14, -2*c = -3*c + i. Does 4 divide 0 + c + (-1541)/(-23)?
False
Let t(s) = 4*s**3 + 50*s**2 - 367*s - 18. Does 16 divide t(10)?
True
Suppose 120*v - 134