496527. Let c = d - -919/6. Is -1 > c?
False
Suppose -45*l - 1398 - 4497 = 0. Is l less than -130?
True
Suppose -119*l = 150*l. Do l and 43/40 have the same value?
False
Let k be ((-9)/15)/(8/30). Suppose -187 + 34 = 17*l. Let z be 45/l - (1 + -8 - -3). Is k less than z?
True
Let o = 0.44673 + 51.93007. Let i = o - -0.0232. Let w = i - 52. Which is greater: w or -3?
w
Let l(n) = 5*n - 37. Let k be l(9). Let x(w) = -2*w**2 - 20 - k*w**3 + 0*w + 16 - w**2 + 2*w. Let a be x(2). Is a smaller than -77?
False
Let v = 28696 - 918371/32. Which is greater: -3 or v?
-3
Let l be (-63)/(-42) + (-16599)/22. Is -753 bigger than l?
False
Suppose 0 = 77*w - 70*w - 112. Suppose -3*v - 2*m + 7 = -4, 0 = -4*v - 3*m + w. Is 3/206 bigger than v?
False
Suppose -p = -3*i + 2, -6*i + 9*i = 4*p + 8. Which is greater: -2/4083 or i?
i
Let y be 0 - (-1 - (-34872)/34864). Which is bigger: 1 or y?
1
Let f = -33987489/204436 + 1/51109. Is -0.4 at least as big as f?
True
Let s be 1/(-3) - (-10)/(-54). Let o be (31 - 41)*(-7 - 0)/(-35). Which is smaller: s or o?
o
Suppose 0 = -2*d - 4, 3*j + 3*d = 2*d - 770. Let k = j + 252. Is k greater than or equal to -10?
True
Let k = 0.5 - 45.5. Let c = -26 - k. Let n = c - 11. Is -3/2 equal to n?
False
Let u = 37338 + -33503. Which is smaller: u or 3834?
3834
Suppose -2*u + 112 = -4*v - 4, -2*v - 4 = 0. Suppose u = -4*m - 106. Which is smaller: m or -41?
-41
Suppose -4*x - 5*p + 4917 = 0, -862*p + 3680 = 3*x - 866*p. Which is smaller: 7373/6 or x?
x
Suppose 3*w - 2*x = x + 69, -x + 4 = 0. Let g(u) = -u**3 + 26*u**2 + 10*u + 101. Let z be g(w). Is -357 greater than or equal to z?
True
Suppose -94*t - 180 = -90*t. Let p be 5 + (100/t - -4). Is 7 at least p?
True
Let x = 3160544/593805 + 1/19155. Which is smaller: x or 4?
4
Let r be (-1 + 0/(-2))*(-25 - -6). Suppose 21*l = r*l + 16. Suppose 2*u - l = 2*c + 14, 0 = -u - 2*c - 1. Which is greater: 8 or u?
8
Let j(w) = -3*w**2 + 2*w + 691. Let h(x) = -2*x**2 + 2*x + 460. Let m(g) = -7*h(g) + 5*j(g). Let z be m(-21). Which is smaller: z or 2?
z
Suppose -22*q = -27*q - 4*n - 3121, 5*n = -3*q - 1883. Which is bigger: -610 or q?
-610
Let a(n) = -n**3 + 3*n**2 + 12*n - 16. Let l be a(5). Let t be 1/(l/(-5) + -1). Suppose t*x = -x - 90. Which is greater: x or -12?
-12
Suppose 184*p = 183*p - 32. Let h be ((-4)/(-10))/(p/80). Are -2/361 and h unequal?
True
Let u(l) = -l**3 + 18*l**2 - 33*l + 15. Let g be u(16). Which is greater: -30/17 or g?
g
Let h(f) = f**2 - 32*f - 83. Let o be h(34). Which is bigger: o or -1/37?
-1/37
Suppose 4*v - b - 268 = 969, 5*v - 4*b = 1549. Do -8 and v have the same value?
False
Let z = -20 - -26. Suppose 4*o = 2*p + 1262, -o - o + 2542 = -4*p. Let h = p + 1928/3. Are h and z unequal?
True
Let h = 8 - 109/9. Suppose 3*s = 2*s - 3. Is h bigger than s?
False
Let n be (120/90)/((-2)/(-18)). Suppose 2*p = -3*p + 2*j + 81, 0 = 4*j + n. Which is smaller: 12 or p?
12
Suppose 7*v = -w + 4*v + 184, -376 = -2*w - 4*v. Suppose u = 5*b - 7*b + 194, -5*u + 986 = 2*b. Are u and w nonequal?
True
Let j = -354 + 3281. Is 2927 less than or equal to j?
True
Let m be 3/(-5) - (-21509)/(-2)*(-26)/(-455). Is -614 >= m?
True
Let w = -36/11 + 17169/5236. Which is smaller: 0 or w?
0
Let t(i) = -3*i + 55. Let m be t(17). Let n(b) = b**3 - 4*b**2 - 2*b + 7. Let k be n(m). Do -5/39 and k have the same value?
False
Let f(i) = 38*i - 859. Let s be f(6). Which is smaller: s or -630?
s
Let r = -2897/5 - -249037/430. Which is bigger: 0 or r?
0
Suppose 41 - 2 = -40*v - 1. Is 2/38651 >= v?
True
Let z = 20 - -154. Suppose -472 = -4*y - 2*m, -3*y = 4*m - 190 - z. Let h = y - 123. Is h smaller than -37/5?
False
Suppose 81*f = 79*f - 1980. Let c be 1024/8130 - (-11)/(f/12). Is c equal to 1?
False
Let w(x) = -144*x - 615. Let r be w(-6). Suppose 494 = 118*z - 116*z. Which is smaller: z or r?
z
Let h = 1075 - 1067. Does h = -60?
False
Suppose -5*t + 5 = 16*x - 21*x, -x + 19 = 3*t. Are 14/3 and x unequal?
True
Let z be (48/(-5))/(8/(-160)). Suppose 43*x - z = 31*x. Is x < 8?
False
Let h be (66/(-27))/11 + 4844/9. Let r be (-4)/16 + 4 + h/(-56). Is -5 greater than or equal to r?
True
Suppose 3*l + 2 = v - 0*v, 3*l - 5*v = 14. Let q be -2*((-711)/l + 2). Let t be q/(-235) + -2 - 1. Is t greater than or equal to -1?
True
Let l be (24/(-192)*66/(-45))/((-6)/(-88)). Which is smaller: 4 or l?
l
Suppose -r - 8*w = -4*w - 108, 4*r + 2*w - 446 = 0. Suppose -108*o + r*o = -16. Which is bigger: o or -60/13?
o
Suppose -8 = 2*x + 430. Let g = x + -22. Is -240 equal to g?
False
Suppose 3*g + 34 - 1 = 0. Let o = 10 - g. Let q be ((-14)/o)/(4/6). Is 3/8 bigger than q?
True
Let v = 0.0501 + 201.9499. Let x = -206 + v. Which is bigger: x or 34/3?
34/3
Let k = -1.22 - -3.11. Let b = k - 1.81. Which is bigger: -1/4 or b?
b
Let y be (-1)/(-3) + 6/9. Let r be (-13 + 1468/112)/(-4 - -3). Is y at most as big as r?
False
Suppose -5*q + 8 = -2*s + 27, 3*s + q = -14. Let g be 3 + -2 + 33/s. Suppose 21 = 5*h + 66. Is g < h?
True
Let h be (3/1)/((-333)/5772)*(-20)/4464. Which is greater: h or -1?
h
Let f = -438.9394 + -0.0606. Which is smaller: f or -3?
f
Let k be (-12)/8 - ((-13518)/1668 + 6). Which is greater: 1 or k?
1
Let u be (-1256)/90 + (-2)/(-5). Suppose 88*g + 2098 = -91*g - 587. Is u greater than g?
True
Let l = -0.6555 + -0.3445. Which is bigger: l or 3294?
3294
Let m = 12/181 - 3100/3077. Which is smaller: 3 or m?
m
Let o = -5811/22 + 264. Suppose 0 = -7*h + 213 + 291. Suppose -3*q - h = -72. Which is smaller: q or o?
o
Let v be (4 - 9) + 8 + -38 - 3. Let z(l) = 3*l - 1. Let t be 135/(-10) - 9/(-6). Let g be z(t). Is g at most as big as v?
False
Let h be ((4 + 2)/2)/(339/(-1299839)). Which is greater: -11502 or h?
-11502
Let x = 744.8 - 744.9677. Is x less than or equal to 1?
True
Let c be ((-140)/(-11410))/((-2)/(-3)). Suppose -2*n = -5*n. Which is smaller: n or c?
n
Suppose 2*x - 3*s = -97, 107 = 69*x - 71*x + 5*s. Let t = -57 + 103. Let i = t + x. Is 17/3 less than i?
False
Let r be (((-6)/125)/(450/(-750)))/((-6)/10). Is 0.1989 <= r?
False
Let w be (-1913349)/(-213) + 24/(-1 + -5). Let j = 8979 - w. Is -1 bigger than j?
False
Let t(n) = 27*n + 12. Let k be t(2). Let q be (-3)/(k/4)*(1 - 0). Which is greater: -4/29 or q?
-4/29
Let d = 0.7 + 0.3. Let g = -0.358 + 0.403. Let z = 0.955 + g. Do d and z have the same value?
True
Let a(s) = 16*s + 720. Let n be a(-45). Which is bigger: 0.267 or n?
0.267
Suppose 0 = 225*o - 256*o - 248. Which is smaller: -15/23 or o?
o
Suppose 9*x - 4*b - b = 24, -2*b - 6 = 0. Which is smaller: x or 2/26223?
2/26223
Let w(x) be the second derivative of 5*x**3/6 + x**2/2 + 29*x. Let k be w(3). Let t = k - 6. Is 60/7 bigger than t?
False
Let s = 3.146 + -3.246. Does s = -3005?
False
Let i = -27133/3 - -7530. Let s = i - -1533. Let v = -366 - -385. Which is bigger: s or v?
v
Let w be (-28)/6 + (-16198)/9345. Is w equal to 4/5?
False
Let t = -30608 - -7927436/259. Is t >= -1?
True
Suppose 2*c - 8 = 2*y + 14, 4*c - 38 = 2*y. Suppose 0 = -r + 2*z - c, -5*r = -4*z - z + 25. Let o be r - (2/3)/(10/735). Which is smaller: -52 or o?
-52
Suppose 83*g = 41*g + 53*g. Which is smaller: 36/139 or g?
g
Suppose 8*d = -7124 + 6812. Let a be ((-76)/3)/4*-6. Let s = a + d. Which is smaller: s or -11/15?
s
Let q(s) = 2*s - 67. Let a = -3 - -6. Suppose a*o = 3*z - 75, 2*o + 133 = 5*z + o. Let c be q(z). Which is bigger: c or -14?
c
Suppose 4*x - 12 = -4*w, 5*w + 4 = 2*x - 16. Suppose -x*k + 2 = -13. Let n be -1 + k/6*(-16)/(-5). Are n and 2 non-equal?
True
Let l be (2 - (4 + (-1396)/(-8)))*4. Is l bigger than -705?
False
Let m be 234/(-24)*7/(21/(-40)). Suppose -40 = 2*x - 7*x. Suppose -x*h + m = -13*h. Which is bigger: h or -25?
-25
Let m = 0.1983 - 1399.1983. Let c = 1342.1 + m. Let o = c + -11.1. Which is smaller: o or 0?
o
Let d(y) = y**3 - 32*y**2 - 33*y + 61. Let m be d(34). Suppose 143*t - m = 152*t. Is t smaller than 2?
True
Suppose -5*g + 16 = -2*i, -3*g - i + 3*i = -12. Suppose 0*o = g*o, 4*y - 160 = -o. Suppose 0 = -59*a + 57*a - y. Is -23 greater than or equal to a?
False
Let h(a) = 19*a + 124. Let s be h(-24). Let m = -340 - s. Is m bigger than -8?
False
Let k be (-2 - -2)/(2 + -4) - -133. Let m = k + -395/3. Which is smaller: 1 or m?
1
Let g be (0 - 17) + (4 - (1 - 0)). Let y be (-158)/(-22) + 7 + g. Is