 or -0.86?
i
Let f = 5860/23 - 9633725/37812. Is f at least as big as 0?
True
Let b(m) = -8*m**2 + 197*m + 106. Let c be b(25). Which is smaller: c or 280/9?
c
Let z = -68 + 68.79. Let q = z - -38.21. Is q less than 1/4?
False
Let w = 3486246/53 - 65774. Is w smaller than 3?
False
Suppose -7*z + 252 = -14*z. Let d be z/(-96) - (-133)/8. Let k = d + -107/6. Is -2 smaller than k?
True
Let u = 1/45 + 1118/315. Let s = u - 313/70. Let r = 1081 - 1080. Which is bigger: s or r?
r
Let a = -695 - -745. Which is smaller: 42 or a?
42
Suppose -3 = -0*z - z. Let f(r) = 2*r**2 - 5*r + 3. Let u be f(z). Let y be 0*3/u - -1. Is -2/59 <= y?
True
Let y be (-25)/(-100) + (-6)/24. Let z = -33 - -52. Let o = z + -10. Does y = o?
False
Let m(b) = 8*b - 190. Let f be m(5). Is f at most as big as -143?
True
Let u(a) = -12*a - 42. Let o be u(-4). Let s be (-10062)/(-13608) - o/8. Which is smaller: s or 0?
s
Suppose -2*q = -4*s - 70 + 16, -2*q + 38 = -3*s. Suppose -23 + 39 = -2*u. Let m(o) = -4*o**2 - 29*o + 8. Let k be m(u). Are k and s unequal?
False
Let v(b) = 5*b + 215 - 197 + b - 3*b. Let a be v(-6). Let q be (1 + a)/(-1)*-2*-2. Is q smaller than 4?
True
Let g = -3511 + 3512. Let f = -3957263/313 - -12643. Is f at most g?
True
Let o(v) = v**3 - 27*v**2 + 138*v - 73. Let f be o(6). Is 18/559 smaller than f?
False
Let l = 1633 + -1981. Is -3/7 <= l?
False
Let k(w) = -90*w + 206. Let l be k(-11). Suppose l = 12*m - 1492. Is -1 at most as big as m?
True
Let y be 22/40 - (-3)/12. Let a(u) = 11*u - 24. Let d be a(-28). Let x = d + 334. Is x at least as big as y?
True
Let n(g) = 215*g**2 - 77*g - 79. Let r be n(-1). Which is bigger: -3 or r?
r
Let x(g) = -3*g**2 + g + 39. Let u be x(0). Let v = -25 - -74. Suppose -2*n + 27 = -v. Which is greater: u or n?
u
Suppose 97*w - 4*w = 7533. Which is smaller: w or 85?
w
Let t = 787 - 788. Is -23/67 smaller than t?
False
Let k = 24288 - 24304. Is k <= 121?
True
Let b = 2715 - 2715. Which is bigger: -2/2021 or b?
b
Let b = 21 - 21. Suppose 3*o - 234 + 58 = -4*h, b = 5*o. Let z = h - 41. Which is greater: z or 1?
z
Let s be 117/(-39)*(-1179)/(-4 + 1). Let v = s + 15273/13. Which is bigger: v or -4?
-4
Let k = 44.085 + -44. Let w = 10.7 + -10.985. Let p = w + k. Which is bigger: p or -6/23?
p
Let p = -85/84 - -13511/13020. Let k = -66051 - -66052. Which is smaller: k or p?
p
Let h(l) = -l**3 - 123*l**2 + 201*l + 24775. Let f be h(-123). Let y(j) = 8*j - 5. Let q be y(7). Is f != q?
True
Let p(c) be the second derivative of -c**3/6 - 2*c**2 + 40*c. Let u be p(5). Let f be (-4 + u)/(3 - 2) - 0. Is f bigger than -13?
False
Let l = 19 - 16. Suppose 0 = -3*i + k - 132, -l*k + 4*k = 2*i + 89. Which is smaller: -42 or i?
i
Let n(r) = 173*r**2 - r. Let g be n(1). Let c = g + -174. Is -11/7 != c?
True
Let i(a) = -127*a + 7. Let o be i(1). Let y = -117 - o. Let k be 0 - y/(3 + -6). Is 28/9 > k?
True
Suppose -3568 + 152 = -7*l. Let x = l + -508. Which is smaller: x or -17?
x
Suppose 1459*y - 1423*y + 72 = 0. Is y greater than -152/93?
False
Suppose 2*t - 4*t - 4 = 0, -36 = -2*q + 5*t. Suppose -q*g = -7*g + 12. Is g at least as big as -21?
True
Suppose 0 = -22*q - 53 + 537. Let f be (2 + (-32)/14)*q/(-132). Which is greater: f or -3/7?
f
Let i = -45.027 - -45. Let p = -20408.027 - -20421. Let n = i - p. Are -2/7 and n equal?
False
Let c be (-1)/(-4) + (-210)/264. Suppose 4*w - 37 = -41. Let s be (1 - (-1 + 2)) + w. Which is smaller: c or s?
s
Suppose -3*t = -x + 60, -6*x + x = -5*t - 250. Let f(u) = -8*u + 638. Let w be f(0). Let l = w + -593. Is x less than l?
False
Let f = -477 - -477.0425. Let l = f + 0.3575. Which is smaller: 52 or l?
l
Let n be 30/(-111)*(-2)/(-4). Let r(d) = d - 8. Let a be r(7). Is n <= a?
False
Let l = 76.9 - 118. Let d = 40.6 + l. Which is smaller: d or -45?
-45
Let o = 1 + -7. Let j be -3*3/o*-2. Let y = 3346 - 3350. Which is smaller: j or y?
y
Let h(s) = 2 - 113*s**2 + 111*s**2 - s**3 - 8. Let i be h(-3). Suppose i*r - 4*j - 4 = 9, -5*j - 21 = r. Is 3/20 >= r?
True
Let w = -369 + 354. Let x be (w/(-2))/(-3 + (-258)/12). Which is smaller: 1 or x?
x
Let h be (2/2 - 2)*-1. Suppose -100*p = -85*p - 30. Let n be 26 + (-2 - p) + 3. Which is greater: n or h?
n
Let n = -2.744 + 3. Let x = -0.004 - n. Let o = x + 0.46. Is 47 <= o?
False
Let u be (-15)/(-65) + 194124/78. Which is bigger: 2486 or u?
u
Let q = -1935738/37 - -52325. Which is smaller: q or 7?
7
Suppose -8*s + 7*s + 4*g + 375 = 0, 4*s = g + 1515. Which is smaller: 1139/3 or s?
s
Let h(r) = -r**3 - 16*r**2 + 20*r + 51. Let l be h(-17). Suppose l = -3*n, 5*n = 2*d + 8*n + 6. Let t be 8/(-6) - 2/(-6). Which is bigger: t or d?
t
Suppose 0 = -2*r + 7*r - 15. Suppose 3*a + 0*a - 426 = 3*h, 4*h - 5*a = -572. Let t = 138 + h. Which is smaller: r or t?
t
Let k = 0.8072 - -0.0278. Let p = 0.505 - k. Which is greater: p or 1?
1
Let a = 5824.013 - 5824. Is a > -16/7?
True
Suppose 0 = z + u + 64, -u + 4*u = -2*z - 132. Let y be (-8)/z + (-1322)/(-30) + -1. Let d = y - 46. Which is greater: -2 or d?
-2
Let l(i) = -3*i**2 - 293*i + 879. Let y be l(3). Which is bigger: y or -5/4?
-5/4
Let w = -250 - 2033. Which is smaller: w or 2?
w
Let n = 2039282/423 + -4821. Is n less than or equal to 2/9?
True
Let r = -18721 - -18740. Which is smaller: 626/35 or r?
626/35
Suppose 7 + 41 = 8*z. Suppose -14*p = -z*p - 104. Is p greater than -4?
True
Let w = -6127 - -2486. Which is bigger: w or -3639?
-3639
Suppose -8 = 10*b - 14*b. Let v be (0*(4 + -7 + b))/3. Is -2/197 >= v?
False
Let s = -22 - -21. Let l = -245 - -184. Is s greater than l?
True
Let d = 0.58 + -0.1. Let c = -478.48 + d. Which is bigger: c or 1?
1
Let i be -17*2/(-22) - 1. Let l(z) = -24*z**2 - 4*z - 40. Let x be l(-5). Let f = x - -622. Do f and i have the same value?
False
Suppose -8*f = y - 15*f - 35, -4*f = 20. Which is smaller: y or -11/535?
-11/535
Let r = -10010 - -10009.815. Is 2.8 at least r?
True
Suppose 0 = 11*j - 7*j + f - 10613, f = -3*j + 7959. Suppose 24*u = 2506 + j. Which is bigger: 1 or u?
u
Let m be (-2)/6*(33/(-1))/11. Which is smaller: 21/76 or m?
21/76
Let l = -2647127/325 - -8145. Suppose -4*m + 45 = 3*s, -5*m + 60 = 2*s + 3*s. Suppose 10*o - o - m = 0. Is l > o?
False
Let q be 1 + 215/(-19) + -2. Let j be (32/(-14) - -2) + (333/666 - (-342)/(-28)). Which is smaller: j or q?
q
Let m be (-4)/(-65) + (-4)/(-10). Let k(z) = -z**2 + 15*z + 33. Let y be k(17). Let b be y*12/20 - 6/(-10). Is m <= b?
False
Let y = -243 + 247. Suppose 3*v - y*o = v - 2, -4*v + o = -3. Which is smaller: v or -1/572?
-1/572
Let c = 0.2551 - -0.8449. Which is bigger: c or -177?
c
Let v be (8/16)/((-26758)/(-136)). Which is smaller: v or -0.1?
-0.1
Let f = 1 - 0.8. Suppose -10*c + 9465 = 220*c - 12385. Which is smaller: c or f?
f
Let v = 21.86 - 21.84. Let z = 19.19 - 0.19. Is v at least z?
False
Suppose 434*w + 24 = 426*w. Let i be -6 + (-17)/w + (-18)/(-24). Which is smaller: 0 or i?
0
Suppose 5*p + 236 = 4*w, 5*w = -4*p - 0*w - 197. Let x be 256/p - (2/3 + 0). Let m = -5 - x. Is m less than -1/29?
False
Suppose -4*l - 10*o = -8*o + 2, -3*o - 3 = -l. Suppose -3*z + 19 = -6*z + 5*r, -5*z - 23 = -4*r. Is l greater than z?
True
Suppose 18*a - 61 = -43. Which is smaller: a or -1/1764?
-1/1764
Let j(p) = p**3 - 5*p**2 - 6*p - 1. Let h be j(6). Let w be 3/(0 + h) - 7469/(-2485). Which is greater: w or -1?
w
Let p be 7/(4/((-6)/(-12)*8)). Let k be 5/(-10)*p/14. Is 182 >= k?
True
Let f = 0.1 - 0.5. Let h = 438 + -449. Is h <= f?
True
Let u = -741 - -1029. Let x = 301 - u. Let g be (-1)/(-4) - (-165)/12. Which is greater: g or x?
g
Let m = 25/93 + 2/31. Let w = -0.0899 - -107.2899. Let p = -106 + w. Which is smaller: p or m?
m
Let p = -79.22 + 79. Let v = p - -0.12. Let s = -0.27 - 1.83. Which is smaller: v or s?
s
Let h be (-1520)/35 + (-16 - 4). Which is smaller: h or -63?
h
Suppose 2529*d + 249366 = 2251*d. Which is greater: -898 or d?
d
Let m(g) = -5*g**2 + 29*g - 21. Let x = -451 - -456. Let b be m(x). Which is bigger: b or -57/2?
b
Let f(q) = -4*q**2 - 214*q - 18. Let j be 738/(-14) - (65/7 + -9). Let a be f(j). Is 88 > a?
False
Let z(j) = -j**2 + 86*j + 8867. Let y be z(-60). Which is smaller: y or -0.17?
-0.17
Let y = -3858 - -11501/3. Which is bigger: 8 or y?
8
Suppose 0 = 133*v + 151*v + 2223436. Do v and -7829 have different 