pose t - 132*l - 219 = -129*l, 2*l - 624 = -3*t. Which is greater: 207 or t?
t
Let b = 8.6 - 1.6. Let n = 7.22 - b. Let h = n + -0.52. Is 0.08 at least h?
True
Let w = 125 - 129. Let m = 4 + w. Which is bigger: 4 or m?
4
Suppose -5*g = -15, -3*r + 9*g = 5*g + 381. Is r < -98?
True
Let p be ((-7)/(-28))/((-338)/208). Is p != -1/202?
True
Suppose -3*o + 78 = -4*p, -4*p + 2*p = 2*o - 52. Let g be (-8)/12 - o*(-1)/(-6). Let l = -5 - g. Are -4/23 and l unequal?
True
Let o(c) = -11*c - 2. Let m be o(-4). Let p be 2/(-7) + (-2)/m. Let x = -425.491 - -426.491. Is x at most p?
False
Let i(r) = r**3 - 10*r**2 - 21*r - 36. Let n be i(12). Suppose n = 36*y - 34*y. Which is bigger: y or -3/43?
y
Let c be 18/14 - 1 - (-24464)/(-46816). Which is bigger: c or 0?
0
Let m(a) = -a**3 + 3*a**2 - 44*a + 331. Let f be m(9). Which is smaller: f or -549?
f
Let v = -11/841 - -9103/52983. Is v smaller than 0?
False
Let n = 0.08 - 25.58. Let a = n + 21. Let w = -2.3 - a. Which is bigger: 0 or w?
w
Let p(z) = z + 237 + 15*z - z - 45. Let i be p(-12). Which is smaller: i or 6?
6
Let f = -2099 - -2099. Let w = 0 - 3. Let n be 4/(-10)*5/w. Which is smaller: n or f?
f
Let p = 0.443 + -2.443. Which is smaller: 976 or p?
p
Let u be (882/182 - 5) + 35/143. Let d = -9131 + 301298/33. Let x = u + d. Which is smaller: -0.1 or x?
x
Let m = -151 + 145. Let g be 4/((5 + m)/1). Which is bigger: g or -33?
g
Suppose 3*d + 11*s = 7*s - 17, -2*s = 5*d + 5. Which is bigger: d or -2/5969?
d
Suppose 19*u - 16*u = 369. Let g be u/11 - (-3 + (-35)/(-11)). Suppose 6*y + 260 = g*y. Which is smaller: 53 or y?
y
Let m = -8 + 2. Let x be 32/(-12)*4304/1614. Which is bigger: x or m?
m
Suppose 14*u + 104459 + 8927 = -35*u. Is -0.05 at least u?
True
Let k = 194 - 972/5. Let a be (-6)/((-216)/(-32)*-2). Which is smaller: a or k?
k
Let g be 86/(-8) - ((-481)/(-52) + -9). Do -188 and g have the same value?
False
Let m = 84 - 7. Let z = m - 59. Suppose -10 = -2*w - z. Is w at most -30/7?
False
Suppose 2099 = -40*c + 36*c + 3*t, -2*t = 5*c + 2595. Which is greater: c or -2/13?
-2/13
Let g(d) = 2*d**2 + 14*d - 78. Let a be g(-25). Which is smaller: 1 or a?
1
Suppose 0*g + 840 = 2*t - 5*g, 5*t - 4*g - 2134 = 0. Let k = t - 448. Which is smaller: 0.5 or k?
k
Let r = 10658 + -10658. Which is smaller: -23/32 or r?
-23/32
Suppose 107*i - 143*i - 2559 = 14577. Which is smaller: i or 2/5?
i
Let b = -42.98 + 43.1637. Is b <= -2?
False
Suppose 0 = -n + 74*r - 78*r - 2152, 4*n + 8488 = 4*r. Which is smaller: n or -2131?
-2131
Let x(f) = -4*f**2 + 26*f + 50. Let c(a) = -a**2 - a. Let m(n) = -5*c(n) + x(n). Let t be m(-29). Suppose -4*i - j - 41 = 0, 0 = -3*i - 2*i - j - 50. Is t != i?
True
Let y(w) = -w**3 - 23*w**2 - 33*w - 292. Let q be y(-22). Let j = 1.99 - -0.01. Which is greater: q or j?
j
Let p = 142506233/1867 + -76329. Which is smaller: 1 or p?
p
Let p be (-4)/(3/((-7284)/(-40))). Let y = p - -246. Let z(w) = -w**3 - 2*w**2 + 2*w. Let b be z(-3). Is y greater than b?
True
Let r be (-15)/(-21650)*1*(-1 - 6 - -9). Which is greater: 1 or r?
1
Let w be 4/4 - 0 - 17858/76. Let m = w - -234. Is -0.1 equal to m?
False
Suppose -3*d - 2*v + 14 = 0, 9 + 1 = -d + 3*v. Let m be (-4 + 2)/(-2 - -3 - d). Are 18/19 and m equal?
False
Suppose 4*s = 250 - 298. Let o be (s/(-8))/(3879/(-12)). Which is smaller: o or 1?
o
Suppose 66*f - 81*f + 12165 = 0. Let l = f + -799. Is l at least as big as 28?
False
Suppose 0 = r + 3 - 4. Let n be (-822)/(-176) + (-8)/64. Let m = 1039/231 - n. Which is bigger: r or m?
r
Let t(a) = -20*a**3 + a**2 - a + 1. Let i be t(-2). Let k = 1171/7 - i. Which is smaller: -8 or k?
-8
Let c = 25.76 + 2.64. Let k = c + -29. Let d = k - -16.6. Which is smaller: 0 or d?
0
Let x be (-46)/69 + 1198/1878. Which is bigger: 0 or x?
0
Suppose 4*l = -0*l - w + 55, -2*l + 2*w = -30. Suppose -26 - 408 = l*r. Which is greater: r or -59/2?
-59/2
Let y(f) = 1711*f**3 - f**2 - 348*f - 347. Let q be y(-1). Which is greater: q or -3?
-3
Suppose 54 = -4*g + 2*p, -p = 3*g + 50 + 3. Let c be (-4)/(-12) + g/3. Let b be (44/176)/(6/(-88)). Is c > b?
False
Let m(y) = -y**2 - 3*y + 21. Let t be m(0). Suppose 0 = -4*x - 20, -4*k + 2*x = t + 9. Let n(h) = 3*h + 10. Let o be n(k). Which is smaller: o or -19?
o
Let l(h) = h**3 - 39*h**2 + 24*h - 192. Let w be l(16). Which is smaller: -5697 or w?
-5697
Let n = 16.96 + 0.04. Let v = -1779 - -1776.778. Let u = 0.222 + v. Is u bigger than n?
False
Let k be 92268/(-23066) + (4/(-3))/(333/(-999)). Is k at least as big as 0?
False
Let s = -11913 - -11914. Which is smaller: s or -77.06?
-77.06
Let i = -0.57 - 2.33. Let t = 4.9 + i. Let f = t - 1.91. Which is greater: 0.1 or f?
0.1
Let n = 222 - 104. Let k = n - 118.1. Which is greater: k or -1/24?
-1/24
Let y be (-1224912)/2808 + (7/(-9) - -1). Which is smaller: y or -422?
y
Let v(i) = -i**2 + 3*i - 2. Let d be v(4). Let x(u) = -10*u - 26. Let q be x(d). Suppose -5*r + 3*r + q = 0. Which is smaller: r or 18?
r
Let g(x) = 613*x - 232. Let p be g(11). Let c be ((2/(-4))/(p/68))/4. Is c > -1?
True
Let p be (-141)/27 - -5 - (3 + 3719/(-414)). Which is greater: p or 7?
7
Let h = -3803436/121 + 31434. Let l = h + 6507/605. Do l and 10 have the same value?
False
Suppose 240 = 500*j - 470*j. Let p be (8/(-18))/(1482/(-117)). Which is smaller: p or j?
p
Suppose 912 = -2*m - 2*h + h, -4*m + 5*h - 1852 = 0. Is -463 at least as big as m?
False
Suppose 0*k - 3*k + 21 = -2*z, 0 = 3*k + 2*z - 9. Let v be k + -9 + (-3)/(-2)*2. Let n = -4979/282 - -53/3. Is n smaller than v?
False
Let k(l) = 2*l**2 + 6*l - 25. Let q be k(-5). Let s(r) = r**3 + 7*r**2 + 5*r + 5. Let d be s(q). Are 30 and d equal?
True
Let d = -2391679/15 - -159508. Let x = d - 379/6. Which is smaller: -1 or x?
-1
Let k = -23124 - -23127.5. Let q = -2/13 + 17/26. Is k at least as big as q?
True
Let u be -24*2/(-84) + (-20)/14. Which is bigger: -392 or u?
u
Suppose s = 37*c - 34*c + 1284, -1280 = -s - c. Is s at least 1272?
True
Let h be (2 - (1 + 0)) + 4. Let v = 20947/525 - 727/21. Is h > v?
False
Let l = -40.4 + 33. Let x = -1784 + 1881.9. Let q = x - 98. Is l not equal to q?
True
Let x = -116.581 - -19.581. Let s = 11/69 - -4/23. Is x greater than or equal to s?
False
Let l(j) = 217*j**3 - 90*j**2 - 92*j - 2. Let h be l(-1). Which is greater: -231 or h?
h
Suppose 33*v - 38*v + 1013 = -2*j, 3*v = -6*j - 3093. Is -3608/7 less than or equal to j?
True
Let t = 24 + -4. Suppose -5*c = -2*l - 0*c - 29, -4*c = -t. Let j be 5 - (-126)/(-12) - l/4. Are -32/5 and j unequal?
True
Let x = -79 + 21647/274. Suppose 7*l = 376 - 376. Which is bigger: x or l?
x
Let n be (-3)/4*(3 + 3 + -10). Suppose -n*a - 2*i + 6 = 0, -4*a + 10 = a - 3*i. Let d be (-1*a + 2)/(-5 - -8). Which is smaller: 1/29 or d?
d
Let d = -1057542/7 - -1111732/7. Let w = 7754 - d. Is 12 >= w?
False
Let y(s) = -22*s**2 - 45*s - 4. Let w be y(-2). Which is greater: -46/73 or w?
-46/73
Suppose 334 = 12*i + 58. Let v(k) = k**3 + 6*k**2 - 6*k + 7. Let r be v(-7). Let t = r + 1. Do t and i have different values?
True
Suppose 7*f + 10608 = -6*l + 4*f, -3*l = 5*f + 5304. Which is greater: -1762 or l?
-1762
Let c be ((-87)/6)/(-29)*(-6 - -96). Let u = 57 - 12. Is u less than c?
False
Suppose g = -0*g. Let f = 289 - 304. Let z be (-95)/(-150) + -1 + (-3)/f. Which is bigger: z or g?
g
Let y = 6 + -5.7. Let w = -2597.4 - -2597. Let l = y + w. Which is smaller: -40 or l?
-40
Let u be -2*(14/(-4) - -1). Suppose -5 = u*d + 10. Let s be (0 - -2)*(d/2 - -2). Is s not equal to 3/14?
True
Let k = 82 + -79. Suppose 2*b + 2*z + 76 = 0, -k*b + z - 138 = -2*z. Let w be b/(-4)*(-280)/60. Which is bigger: 1 or w?
1
Let u = -15 - -18. Suppose 3*x - 12 = u*f - x, 3 = x. Let y be (204/24)/(2/4 - f). Is 18 less than y?
False
Let c = -304.3439 - -6.7339. Let u = 298 + c. Let o = 1 - 1.2. Is u at least as big as o?
True
Suppose -68*b + 1878 = 7998. Is b less than or equal to -90?
True
Suppose 12*b + 720 = -504. Let o be ((-2828)/21)/(-4)*-3. Which is smaller: o or b?
b
Let z be 30/((1386/24)/(-11) - -6). Suppose -w = 2*v + 11 - 7, v = 3*w + z. Is -9 smaller than w?
False
Let j(z) be the second derivative of z**4/12 + 17*z**3/6 - 37*z**2/2 + 4*z - 1. Suppose 4*i = 5*i + 19. Let u be j(i). Is u greater than 1?
False
Suppose 1088 = 22*k + 12*k. Let z be (-4)/(k/8) +