- 704/(-12) - 3/u?
True
Let x(v) = 6*v**2 + 2*v - 2. Let c be x(1). Suppose 2*q - c*u = -u + 267, 2*q - u = 287. Is 21 a factor of q*(-4)/(-3 + -5)?
False
Suppose 213*t - 210*t - s - 6832 = 0, t - 2296 = 5*s. Does 5 divide t?
False
Let d = 138 - 42. Let k = -100 + d. Does 32 divide (-12)/9*294/k?
False
Let r(q) = 10*q**2 + 5*q - 4. Let b be r(2). Let u = b + -46. Suppose u = j - 15 - 15. Is j a multiple of 9?
False
Let y(a) = 2*a**3 + 2*a**2. Let z(o) = 7*o**3 - 25*o**2 - 56*o + 49. Let n(l) = 4*y(l) - z(l). Does 15 divide n(-30)?
False
Is 22 a factor of 1600 + -2 - (5 - 131)/18?
False
Suppose 43979 = -22*o + 23*o + 3*k, -3*o + 131944 = 2*k. Is o a multiple of 28?
False
Suppose -3*c - 2*n + n + 1 = 0, -c - 5*n - 23 = 0. Is 3 a factor of c/(-3*(-238)/234 + -3)?
True
Let i be (-344)/(-3) - (-10)/45*-3. Suppose 2*j + i = s, -4*j = -3*s - j + 342. Is s a multiple of 3?
True
Let l(h) = -37*h + 50. Let v be l(6). Let z = -125 - v. Is z a multiple of 5?
False
Let m(r) be the third derivative of -35*r**4/24 - 7*r**3/6 - r**2. Suppose 4970*u = 4979*u + 18. Does 11 divide m(u)?
False
Let f(t) = -3*t - 2*t**2 + 11*t**3 + 7 - 9*t**2 - 13*t**3. Does 27 divide f(-8)?
True
Suppose -3*o = 4*s - 641, -5*o + 4*s + 295 = -752. Let u = -146 + o. Let z = u + -4. Does 8 divide z?
False
Suppose -5*w + 0*a = -3*a + 62, -4*w + 2*a = 48. Is ((-18)/w)/(37/(-40) + 1) a multiple of 6?
True
Suppose 3*c + 3*l - 2*l + 338 = 0, 0 = -2*c - l - 225. Let s = c - -354. Does 62 divide s?
False
Let m(s) = 2*s**2 + 43*s - 24. Let r be m(-23). Let t = r + -47. Does 12 divide t/1 - -78 - 5?
False
Let v(a) = -43*a - 16. Let q be v(5). Let b = 27 - q. Suppose 0 = -2*o - y + 130, -y - b + 53 = -3*o. Does 12 divide o?
False
Let j(b) = -20*b - 42. Let n be j(-7). Suppose n*d = 100*d - 1440. Does 18 divide d?
True
Let i be ((-1356)/14)/((12/(-42))/2). Suppose -3*j - j = -4*v + 884, -2*j = 3*v - i. Does 8 divide v?
True
Let w(h) = 3*h**3 - 12*h**2 + h - 155. Is w(20) a multiple of 23?
False
Let f(b) be the first derivative of -b**4/4 + 5*b**3 - 3*b**2/2 - 17*b + 55. Is f(11) a multiple of 31?
True
Let m = 28 + -3. Let i = m - 4. Suppose -14 = -5*p + i. Is p a multiple of 7?
True
Let a = 37192 - 37073. Is a a multiple of 4?
False
Let m = -1686 + 2228. Is m a multiple of 24?
False
Suppose 40*l - 5*u + 1080 = 43*l, -3*l + u = -1116. Is l a multiple of 5?
True
Let c(k) = -3*k**3 - 10*k**2 - 10*k + 12. Let z be (-5)/10*(16 + (-20)/5). Does 18 divide c(z)?
True
Let c(s) = s**3 + s**2 - 6. Let u be c(2). Suppose -u*g = -4*g - 8. Suppose -2*a - g*i = -7*a + 316, a - 69 = -5*i. Does 9 divide a?
False
Let o = -534 + 470. Is 1/(-8) + (-11656)/o a multiple of 14?
True
Suppose -146*p - 772*p + 7733994 = -24*p. Is p a multiple of 18?
False
Let m(v) = -6*v - 14. Let s be m(-4). Suppose 0 = -s*a + 4*a + 864. Let f = a - 75. Is f a multiple of 30?
False
Suppose 0 = -o + 2*o + 3*p + 393, -2*o = -3*p + 759. Let a = o - -758. Is 13 a factor of a?
False
Let k be (-4)/(-3*-3*(-6)/54). Is 36 a factor of 4592/32 - ((-2)/k)/1?
True
Suppose 3*s - 129165 = 2*r + 2*r, -129168 = -3*s + 5*r. Does 53 divide s?
False
Let b(m) = 5*m + 15. Let c(x) = -14 + 3*x - 17*x + 8*x. Let o(r) = 4*b(r) + 5*c(r). Does 5 divide o(-4)?
True
Let d(y) = 3*y + 2 + 10*y**2 - 3*y**2 - 5*y**2 - y**2. Let r be d(-2). Suppose -7*l + 200 + 10 = r. Is 10 a factor of l?
True
Suppose -2972994 - 748752 = -147*s. Does 69 divide s?
False
Suppose -3*z + 2*y + 0 = -18, 0 = 2*z + 5*y + 7. Let x = 13 + z. Suppose -x*c + 14*c + 66 = 0. Does 3 divide c?
False
Let b(p) = -16*p + 72. Let j be b(21). Let n = -1109 + 1564. Let o = n + j. Is o a multiple of 50?
False
Suppose -5*q = -2 - 3, -3 = 2*g - 3*q. Is (g + (-2 - 1))/((-3)/706) a multiple of 27?
False
Suppose 95*q - 8976 = 91*q. Is q/30*(-5)/(-2) a multiple of 17?
True
Suppose -13*a + 50580 = 17*a. Does 6 divide a?
True
Let n(p) be the first derivative of 7*p**4/4 + 4*p**3/3 + 57*p - 50. Is 45 a factor of n(5)?
False
Suppose 5*p - 711 - 933 = 2*u, 0 = -2*p - 5*u + 675. Suppose 206 = 4*z - p. Suppose -j + 191 = -4*y, -y = j - z - 57. Does 14 divide j?
False
Does 4 divide 4*(-4 - -8)/2 + (-6484)/(-4)?
False
Let o(a) = a**2 + 66*a + 268. Let b be o(-51). Let g = b - -613. Does 16 divide g?
False
Suppose -11*s + 12*s = -37. Let h = -37 - s. Suppose h*m = -m, 5*l - 5*m - 460 = 0. Is l a multiple of 23?
True
Suppose -82*c + 35 = -77*c, 5*g = -3*c + 11811. Does 41 divide g?
False
Let w = -6745 + 13919. Does 34 divide w?
True
Suppose 3*u = 5*f - 213, 0 = -2*f + 8*u - 11*u + 102. Suppose f*c - 40*c = 2310. Is c a multiple of 14?
True
Let i(t) = -t**3 + 2*t**2 + 2*t + 12. Let a be i(4). Let x = a + 16. Is 2 a factor of x/(-10) + 306/15?
True
Is 195 a factor of (599/15 - (-1190)/714)/(1/300)?
True
Suppose 89*n + 1209 = 192*n - 100*n. Is n a multiple of 4?
False
Suppose 63*q + 201001 = 82*q. Is 71 a factor of q?
True
Let g(p) = 4*p + 496. Is g(-16) a multiple of 48?
True
Let x be (8/(-4))/(-2) + -4 - -9. Suppose x = m + 5*p - 0, 2*p - 4 = 0. Does 9 divide 2 - (m - -2 - (5 - 0))?
True
Let c = 1915 + 555. Is c a multiple of 5?
True
Let y(a) = 21*a + 9 + a**3 - 17*a**2 + 1 - 6*a. Let q be 2478/126 - (-8)/(-3). Does 53 divide y(q)?
True
Let j = 115 - 119. Is 26 a factor of 79 - 1 - 0/j?
True
Let f = 293 - 287. Is (66/12 - 7)*(-80)/f even?
True
Let h(d) = -44*d**2 - 13*d + 45. Let i(n) = -43*n**2 - 13*n + 46. Let q(j) = -5*h(j) + 4*i(j). Is q(3) a multiple of 16?
False
Let w(b) = -2*b + 50. Let j be w(20). Suppose 0 = -d - 5*c + j*c + 67, 5*d - 379 = 3*c. Does 7 divide d?
True
Let w be (1 + -2)/((-14)/(-1176)). Does 2 divide (-4662)/w*(-8)/(-6)?
True
Let s = 40 - 34. Let t(h) = -5*h**2 - 1 - 2*h + h**3 + 13 - s + 17*h**2. Is 6 a factor of t(-12)?
True
Is 7 a factor of (17 + 966/21)/((-2)/(-24))?
True
Suppose 24 = 8*z - 0. Suppose 2*i - 5*j + 2*j - 464 = 0, 5*j = z*i - 695. Suppose -q - i = -3*n, n - 3*n + q + 155 = 0. Is n a multiple of 8?
True
Suppose -14 + 63 = -4*i - 5*g, 2*g = 4*i + 14. Let f be 9/i*114/(-9). Let a(q) = -q**3 + 20*q**2 - 17*q + 15. Is a(f) a multiple of 7?
False
Suppose 1033*i - 1026*i - 1757 = 0. Does 5 divide i?
False
Let j(k) = -551*k**2 + 3 + 556*k**2 - 13 - 2 - 3*k + 16*k**3. Does 19 divide j(3)?
True
Suppose -148*x + 7*x = -1642086. Does 18 divide x?
True
Suppose -8000 = -4*b - 5*t, b - t - 1493 = 516. Is b a multiple of 20?
False
Let n(m) = -m - 1. Let j be n(-2). Let a(g) be the third derivative of 41*g**4/24 - 2*g**3/3 + 91*g**2 - 4*g. Is a(j) a multiple of 6?
False
Suppose -2*v + 9 = -27. Let s be 30/9*v/12. Suppose -11 = -s*u + 19. Is 3 a factor of u?
True
Suppose d = -103*d - 21*d + 1764625. Is d a multiple of 25?
False
Let x(u) = 6*u + 113. Let c be x(-17). Suppose c*a - 7*a - 200 = 0. Does 24 divide a?
False
Suppose 0 = -7*w - w + 2*w. Suppose w = -5*a + a + 20. Does 25 divide -5*(-1)/a*47?
False
Suppose 37*x - 256*x = -204642 - 1188636. Is 43 a factor of x?
False
Let c = -129 - -182. Let t(z) = 6*z - 3. Let j be t(-6). Let w = j + c. Is w a multiple of 9?
False
Suppose 2 = -h, -536 = 2*g - h - 5474. Does 9 divide g?
False
Let u = -1276 + 7135. Does 13 divide u?
False
Suppose 0 = -77*d - 108068 + 840405 + 529154. Does 29 divide d?
False
Suppose 259*q = 264*q - 7645. Is 33 a factor of q?
False
Suppose -25*g - 6*g = 11*g - 251034. Does 139 divide g?
True
Suppose 30*p - 3*p - 221700 = -3*p. Does 11 divide p?
False
Let r be (8/(-1))/(-2) - 25/5. Let y be -4*(r - 0)*53/2. Suppose -4*x + 58 = -y. Is x a multiple of 41?
True
Suppose -3*p = -4*b - 0*p + 264, 5*p - 89 = -b. Suppose 6 = 5*a - b. Does 3 divide a?
True
Let a(x) = -x**3 + 17*x**2 + 3*x - 36. Let b be a(17). Let o be b + -18 - (-8 + -1). Suppose 0 = s + 4*t - 56, 3*s + o*t = 3*t + 159. Is 26 a factor of s?
True
Let m = 395 + -377. Let l = 7 - -1. Does 2 divide -4 - (-4)/(l/m)?
False
Suppose 2*t = 5*b + 8935, 0 = -2*t - 29*b + 27*b + 8900. Is t a multiple of 11?
True
Let d(z) = 6*z - 1. Let f = 70 - 65. Suppose 4*t - f*t = -10. Is d(t) a multiple of 18?
False
Suppose 22206 = 2*c + 4*f, 7812 = 3*c + 3*f - 25491. Is c a multiple of 153?
False
Let y be 75/18*-3*-2. Suppose -y*f + 575 = -2375. Is 2 a factor of f?
True
Let f(q) = -52*q + 130*q - 162 - 36*q. Does 6 divide f(6)?
True
Suppose 5*m - 315 = 310. Let c(j) = j**2 - 20*j + 22. Let