er: w or -20611?
w
Let g be ((-2)/(-4))/(8/16). Let c be (2 - 1)*24/(-8592)*-2. Which is smaller: g or c?
c
Suppose -2 = 36*w - 37*w. Suppose -w*x + 20 - 2 = 0. Which is smaller: 5 or x?
5
Let r(v) = -2*v - 8. Let d be r(-3). Let x be d/3*(-204)/(-952). Let a = 2.2 - 0.2. Is a at least x?
True
Let h be 0 - 2 - (-868 - 1) - (-494)/(-494). Which is greater: 870 or h?
870
Let q = 537 + -537.04. Let h = 0.96 - q. Which is smaller: h or -59?
-59
Let o be (-12)/8*(-580)/(-30). Let i(p) = 5*p + 146. Let q be i(-35). Are o and q non-equal?
False
Let k(c) = c**2 + 15*c + 4. Let m be 138/(-10) - ((-21)/(-5) + -4). Let t be k(m). Let f be ((-25)/t)/(((-22)/(-24))/(-1)). Which is greater: f or -4?
f
Suppose 6*d = -7 + 1. Let s = 126973/75 + -1693. Are d and s unequal?
True
Let p(s) be the first derivative of 4*s**3/3 - 18*s**2 + 3*s + 5. Let g be p(9). Let j = 3 - -2. Which is smaller: j or g?
g
Let f = -21602 - -32814. Let a = -123432/11 + f. Is a >= -8?
False
Suppose -106560 = 44*k - 76*k. Is 3330 bigger than k?
False
Suppose -44 = -4*o + 3*z - 7*z, 0 = o - 3*z - 31. Let c(j) = -o - 48 + 5*j + 18. Let d be c(6). Which is smaller: d or -17?
-17
Let a(z) = 24*z**2 + 5*z - 5. Let q be a(3). Suppose 4*u - q + 234 = 0. Is u greater than or equal to -19/6?
True
Let d be 5227/(-21) + 54/(-567). Let a be 6/18*12 - d. Is -1 at least a?
False
Let p = -3776 + 5554. Is p smaller than 1779?
True
Let k = -15.5 + -0.6. Let n = 28.03 + -12.03. Let s = k + n. Which is smaller: s or 0.18?
s
Let g = -469991 + 470255.001. Let u = 265.1 - g. Let v = u - 0.099. Is v != -1/85?
True
Let q be (-1)/16 - (-39330)/(-736). Is -1/2 less than q?
False
Suppose 16 = -5*b - 44. Let k be (-52)/(-14) - b/42. Suppose -3*a + 3*m = -a - 13, -k*a - 14 = 2*m. Which is smaller: a or 1?
a
Let z be 2 + 7/(35/(-25)). Let i be (-2 - 0)/((-2 - z) + -3). Let x = 10/19 + -469/855. Is x at most i?
True
Let n(d) = d**2 + 12. Let j be n(-5). Suppose 0 = b + 2*i + j, 0 = -b + 3*b + 2*i + 72. Let w be (3 + 0)/(38 + b). Which is smaller: 4/17 or w?
4/17
Suppose -2*t = 5*t - 2492. Let n be (t/(-534))/(3/(9/2)). Is n greater than or equal to 54?
False
Let y be (4413/12 - 3)/((-26)/208). Is y smaller than -0.1?
True
Let a = 173521/71 - 2444. Suppose 852 - 831 = 21*b. Is b less than a?
False
Let v be ((-2)/(-6) - 0)/(10/30). Let i be 16/(-6)*(v + (-28)/16). Which is greater: 13/21 or i?
i
Let r(u) = -u**2 + 7*u + 10. Let q be r(8). Let v = 84.936 - 85. Let h = -8.064 - v. Is h less than q?
True
Let s(g) = g**3 + 87*g**2 - 367*g + 10. Let w be s(4). Which is smaller: w or 160/19?
w
Suppose t - 2 = -3*k, -15 = 4*k - 5*t + 14. Let u be (-20)/(-72) - k/(-2). Is -0.11 bigger than u?
True
Suppose 10*v = 7*v - 5*p - 25, -4*v = -3*p - 15. Is v <= 57/68?
True
Let v = 33657/5 - 6731. Which is smaller: v or -4782?
-4782
Let b(r) be the second derivative of r**4/12 + 7*r**3/3 + 11*r**2/2 + 3*r. Suppose -c - i - 3 = 9, 3 = -3*i. Let a be b(c). Is a smaller than -22?
False
Let p = -175 - -173. Let h be -1*(-5)/(18/10 + p). Is h at least -105/4?
True
Suppose -117*c + 43*c + 457728 - 108004 = 0. Is c greater than 4726?
False
Let w = -248/2413 + 4202970/89281. Is w at least 48?
False
Let n(v) = v**3 + 5*v**2 + 1. Let l be n(-5). Let m be (-5)/20*(-4)/1840. Let z = m - 3787/196880. Is z >= l?
False
Let a = -15344.2 - -15344. Which is greater: a or -0.0923?
-0.0923
Let c(l) be the third derivative of -1/120*l**6 + 0*l - 7/60*l**5 - 15*l**2 + 1/24*l**4 - 3/2*l**3 + 0. Let x be c(-7). Which is greater: -13 or x?
-13
Let j be ((-118)/10)/((-375)/2625). Let v = 36 - -46. Is j not equal to v?
True
Let v be (285/105 + -11)/(48/(-168)) + 16/(-2). Let d(y) = -y**3 - y**2. Let b be d(0). Which is greater: v or b?
v
Suppose 4*q - 24 = -0*q. Suppose -4*y + 10 = -q. Suppose 5*x = 5*k, 2 = -k + 2*k. Which is greater: x or y?
y
Let i = -4439.034 - -4439. Do i and 2 have the same value?
False
Let u = -19494539/236863 - -2716/33. Which is smaller: -1 or u?
-1
Let b be (22/(-33))/(179/177 - 1). Let k = 47 + b. Let h = -3387/322 + 3/161. Are h and k nonequal?
True
Suppose -468*x = -461*x - 70. Let u be (197760/(-3297))/x + 6. Which is greater: -1 or u?
u
Let d(n) = n + 9. Let c(g) = g**2 - 8*g + 3. Let z be c(0). Let r be d(z). Let v(f) = 2*f**2 - 27*f - 3. Let w be v(r). Which is greater: -1 or w?
-1
Let j = -19/4 + 61/12. Let k = -0.2803 + 0.3303. Is j greater than k?
True
Let g = -131 - -229. Let c be -1 - -2 - (g/(-35))/(-2). Which is smaller: c or 42.1?
c
Let w = 0.04929 - -1165.95071. Is w > 0.1?
True
Let j = -66 - -65.8. Let s = j + 5.2. Which is smaller: s or 4?
4
Let o = -2153.008 - -2153. Which is bigger: o or 0.27?
0.27
Suppose 0 = 5*a - j - 15895 + 3126, 2*a + 2*j - 5110 = 0. Are a and 2547 non-equal?
True
Suppose -29*c - 838 = -26*c - 4*a, 3*a + 873 = -3*c. Suppose 2*z + 564 = 2*f, -z + 0*f + 2*f = 278. Are z and c nonequal?
False
Suppose 2 = -q + 2*q. Suppose -5*g - 53 - 167 = 5*n, g - q*n = -53. Is -45 at least g?
True
Suppose -11*r - 467 + 632 = 0. Let g be (2 + 1 + -6)/(337 - r). Is g <= -1?
False
Let f(i) = -225*i**3 + 2*i**2 + i. Let z be f(-1). Let x(k) = -21*k - 5. Let b be x(-11). Is z > b?
False
Let o = 1028044/25917 - 1/8639. Let i = -156316 - -156357. Is o > i?
False
Let k = 60.8066 + -0.1066. Let w = k - 61. Let x = 20 + -13. Which is bigger: w or x?
x
Let d = -1488/396929 + -20/1607. Which is smaller: -9/5 or d?
-9/5
Let i be (-5535)/(-1845) - 2*(0 + -1 + 3). Let q = -9220255/16029 - -5177/9. Is q greater than or equal to i?
True
Suppose 0 = -15*c + 287 - 242. Which is bigger: c or 215/48?
215/48
Let c = 72 - 63. Suppose -9*x = -3*x + c*x. Which is smaller: x or 4?
x
Suppose 10*f = 12*f + 670. Let s be 1*12/(-290)*f/(-134). Is s bigger than 1?
False
Let t = 12/10693 + -195270/2491469. Which is smaller: -1 or t?
-1
Let i = -57.613 - -60.613. Let u = 0.3 - 0.3. Is u equal to i?
False
Suppose 4*z + 3*b = 25, -z + 4*b = 4*z - 8. Let u(a) = 17*a**2 - a - 22. Let v be u(-9). Let t be (v/(-16))/(-11) - (-6)/(-8). Is z at least as big as t?
False
Let k be (3 - 2) + 1 - 4808. Let p be (1/(-3))/(6930/k). Let a = p + 3/55. Which is bigger: a or 1?
1
Let k be (-4)/(-16)*-2 - (-1023)/1782. Let p(i) = i**2 - 19*i + 24. Let g be p(18). Are k and g non-equal?
True
Suppose -997 = -3*t + 5*i, -189*t + 191*t - 666 = 2*i. Suppose -u + 246 = -t. Is u smaller than 0?
False
Suppose 3*u - 35237 = 4*k, -4*k = 3*u - 9*k - 35242. Let r = -4143862/353 + u. Let v = 99/56833 - r. Which is greater: -1 or v?
v
Let q be (-105)/8 + (-25)/(-200). Let s(c) = 3*c + 10 - 4 + 5. Let z be s(-5). Is z at most as big as q?
False
Let l = 0.06244 - 9.76244. Which is bigger: l or 15/7?
15/7
Let z = 234 + -251. Which is smaller: -77 or z?
-77
Let a = 5980.1 + -5980. Is a at most 1327?
True
Let w be 3*((-148)/78 - -2). Let g = -48 + 65. Suppose -g + 17 = 3*h. Are w and h unequal?
True
Suppose 19*l = 10 + 28. Suppose 0 = -l*v + 9 + 7. Which is smaller: 14 or v?
v
Let z be (-1242016)/(-20720) + 28/(-10). Which is smaller: 57 or z?
57
Suppose 0 = -30*l - 5678 - 8212. Which is greater: l or -462?
-462
Let q = -40936 - -109872221/2684. Which is greater: 0 or q?
0
Let z be (-318)/(-36) - 12 - (-49)/42. Which is smaller: z or -47/43?
z
Suppose -4*j - 1508 = 5*f, 4*j = 107*f - 105*f + 564. Is f at least -297?
True
Let i = 9083 - 7721. Which is bigger: 0 or i?
i
Suppose -4*k + 431 = -505. Suppose -65 = p + 4*a - k, -4*a - 587 = -3*p. Does p = 191?
False
Let s = 9094 + -9093.9. Which is greater: 1.008 or s?
1.008
Suppose -22*p - 91 = 107. Let t(c) = -6*c - 54. Let b be t(p). Is -1/197 <= b?
True
Suppose 0 = -40*g + 21*g. Let h(p) = p**2 - 9*p - 7. Let d be h(9). Which is smaller: d or g?
d
Let i = 1394 + -1. Let b = i - 1387. Suppose -3*w - 6 = 5*j, w - 3*j + 3 - 1 = 0. Which is greater: w or b?
b
Let a(m) = -m - 7. Let p be a(0). Let x(q) = -4 + q**3 + 12 - 3*q + 81*q**2 - 86*q**2. Let f be x(5). Is f smaller than p?
False
Let p = 38 + -8. Let i be -68 + (-4 - (-6)/3). Let m be (-6)/(-14) + p/i. Is -6/31 >= m?
False
Let x(p) = 24*p - 804. Let c be x(33). Which is bigger: -21 or c?
c
Let i be 1 - 7/(-1737)*-248. Let r = 66584/1737 + i. Let o = -38 + r. Which is smaller: -5/2 or o?
-5/2
Suppose 310*p - 25 = 285*p. Is 2/171 <= p?
True
Let a = 1530/299 - -15/23. Which is gre