et j be (4 - 290/75) + 1086/(-45). Let m be (4 - 1749/(-12)) + 18/j. Which is greater: 150 or m?
150
Let q(o) = -2*o**3 + 3*o**2 + o - 14. Let x be q(3). Let j be 15/(-5) + x/(-8). Suppose -2*l + 10 = -3*r - 3, r = 5*l. Which is smaller: l or j?
l
Suppose 2*l + 5*j - 114 = 0, -7*l = -5*l + j - 98. Let o be (6 + 0)/(-45 + l). Does 42/17 = o?
False
Let m(t) = -t + 1. Let q(b) = -3*b + 2. Let c(g) = 4*m(g) - q(g). Let f be c(2). Is 1/35 greater than f?
True
Let q = -72/8471 - -16773516/110123. Which is greater: 153 or q?
153
Suppose 6*s - 124 = -88. Let g be ((-120)/(-1785))/(s*(-2)/(-18)). Is -1 at least as big as g?
False
Let d = 0.1096 + 1054.8904. Which is bigger: d or 0.3?
d
Suppose 13*g + 101 = 14*g. Suppose 3*s - 11*q + 9*q - 268 = 0, -4*s + 358 = -2*q. Let w = s - g. Are w and -8 equal?
False
Let s(g) = -2*g + 46. Let b be s(24). Let p be (b + 1)*(1 + (3 - 4)). Suppose p = 7*y - 4*y. Is y > -1/7?
True
Let u be (-19)/(152/704) - (-3 + 1). Let q = -86 - u. Which is smaller: q or -1/158?
-1/158
Let t be 175/(-42)*408/61455. Is 0 at least as big as t?
True
Suppose 0 = 3*f - 3, 0 = 5*p + f + 42 - 153. Suppose -p*i = 13 + 9. Is 2/151 bigger than i?
True
Let i = -524 + -134. Let k = 657 + i. Are k and -0.048 nonequal?
True
Suppose k = -5*m + 9784, -3*k = -3*m - 6*k + 5868. Which is greater: -2 or m?
m
Let u be 1*16 - (44 - 37). Suppose u*f + 6534 = -24*f. Are f and -200 nonequal?
True
Let r = 19.0478 - 0.0478. Is 110 at least r?
True
Let s be (-1)/((-3)/6) + 18. Let k be (12/10)/(2*5/575). Let j = k + -48. Which is greater: j or s?
j
Let s(o) = o**2 - 43*o - 240. Let d be s(48). Which is smaller: d or -10/91?
-10/91
Let p be (-201)/(-630) + 2/(-6). Let w be (2/6)/(8/(-48)). Let x be (-5)/(6 + -11)*0/w. Is x smaller than p?
False
Let z(i) = 3*i**2 + i + 18. Let s be z(-6). Let k be s/25 + -5 + (-1)/(-5). Let l = 68/91 - 6/13. Is l greater than k?
True
Let t be (6 - 0)/(51/(-833)). Which is greater: t or -79?
-79
Let j = 95 - 96. Let a = j + -17. Let y be a/234*(-1)/(-2). Is -0.1 less than y?
True
Let t = -2 + 3. Suppose 2*f - 58 + 42 = 5*x, -x = -4*f + 32. Let o be f/(-6) + (1 - -1)*t. Do -2/7 and o have different values?
True
Suppose -j + 3*n - 857 = 2143, 3*j + 9040 = n. Let p = 123567/41 + j. Which is smaller: 0 or p?
p
Let v be (-6)/1 - (-2)/(-2). Let a be (-10)/(-5*(-2)/(-70)). Let t be 5 - a/15 - 6. Which is smaller: v or t?
v
Let f(n) = n + 1. Let g be f(3). Let s be (-3)/(-9)*(32 + g). Suppose 0 = 11*u - s*u. Is 0 less than u?
False
Suppose 0 = 14*a - 17*a + 9, -4*d + 305 = -5*a. Let v be -2 + (-3693)/(-45) - 14/35. Is d <= v?
False
Let u be ((-32)/(-20))/(-4) + 2696/90. Let x = 1336/45 - u. Which is bigger: -0.4 or x?
x
Let d = 0.025 - -2791.975. Let n = d + -2804.07. Let w = n - -12. Which is greater: w or 3/2?
3/2
Suppose -1049*u = -1229*u + 35820. Is 2198/11 at most u?
False
Suppose 0 = -3*m + 15, 0 = -4*u + 4*m - 14 + 154. Suppose 41*x + 1 = u*x. Which is greater: -2/535 or x?
-2/535
Suppose u = 2*l, -2*u = -3*l + 2*l. Let a = u + -1/3. Let c = -2 + 1. Is c at most a?
True
Let x(b) = -125*b - 2316. Let n be x(-14). Which is smaller: n or 6/7?
n
Let h = -133311/92 - -1449. Let v(y) = -y**3 + y**2 + 2*y + 1. Let s be v(2). Which is smaller: h or s?
h
Suppose -n - 3*a = 634, -62*n + 67*n + 3074 = -3*a. Is -609 smaller than n?
False
Let q be -1 - (4 + 36/(-7)) - (-32)/(-77). Is q < 114?
True
Let v = -2.778 - -1.778. Let u = 3.3 + -3.303. Let k = u + -24.997. Is k greater than or equal to v?
False
Let v be (12/5)/(22/(-20)). Let g(t) = -t**3 - 9*t**2 + 33*t - 20. Let m be g(-11). Let l = 140 + m. Is l less than v?
False
Let c be (1050/(-245))/((-16)/16681). Let k = 4462 - c. Which is smaller: k or -7?
-7
Let o be 12/8*62/(-93). Let t = 3/2222 - 44479/28886. Do o and t have different values?
True
Let u = -120 + 127.5. Let p = -7.7 + u. Is 2/9 at most as big as p?
False
Let j be ((-2762)/(-920) + -3)*(-4)/4. Which is smaller: j or 0?
j
Let c = -83531 - -144007453/1724. Which is smaller: c or 0?
0
Let c = 2305.2 - 2304.496. Do 6 and c have the same value?
False
Let x be ((-1)/(19 + -16))/((-140)/(-174)). Is x less than or equal to -1?
False
Let c be 21*-1 - -2 - (-2 - (-5 + 0)). Which is smaller: c or -24?
-24
Let q = 293451480/1931939 - 6/101681. Is q not equal to 151?
True
Let a = -252 + 290. Let y = a - 38.26. Which is smaller: y or 1/2?
y
Let s be 0 - (-4 - (-3776)/940). Suppose -2*b - 16*h = -5*h + 77, 5*b = -3*h - 21. Is b not equal to s?
True
Let v be (-12)/4 - 4/(-2). Let j be v/3 + 3/(18/(-226)). Let b be (-120)/20 - 33/1. Which is greater: b or j?
j
Let o = -56 + 36. Let v = 23 + -9.2. Let z = v + -12.8. Which is smaller: o or z?
o
Let w be 10/(-40) - (-2)/3. Suppose -3*r = 3*l - 9, -l + 242 = -5*r + 257. Which is bigger: w or l?
w
Suppose 2*g + 12 = 2*q, -4*q - 2*g - 12 = -54. Let f = q + -9. Suppose f = -2*j - 3*j - 5. Which is smaller: -5/16 or j?
j
Let p be (-4)/3 + (-460)/(-12). Let z(d) = -3*d**2 + 11*d - 3. Let m be z(6). Let s = m + p. Is s smaller than -2?
True
Let w(r) = r + 13. Let l be (-14)/(-1)*4/16*2. Let f be w(l). Let g be (2/f)/(1/(-6)*-3). Which is smaller: 0 or g?
0
Suppose 45*w + 63*w = -87*w + 45*w - 40650. Let h(r) = -3*r**3 + 5*r**2 - 5*r + 4. Let c be h(5). Is c greater than w?
False
Suppose 0 = 25*g - 26*g - 3*z + 154, 470 = 3*g + 5*z. Which is smaller: g or 5?
5
Let h be (1 + 9)*((-47)/(-2) + -2). Let y be h/(-9) - 2 - (6 + -3). Which is greater: -30 or y?
y
Let x be (-192)/(-18)*(-6 + 9996/8). Is x greater than 13265?
False
Suppose -5*a + 3*z + 18021 = a, 5*a - 5*z - 15015 = 0. Is a bigger than 3002?
True
Suppose 4*c + 15 = 7*f, 3*f - 4831*c + 4826*c - 13 = 0. Let y be 30/392*4/(-10). Is f at most as big as y?
False
Let x(y) = 3*y - 10. Let m be (-9)/5*(-625)/75. Let h be x(m). Let t be 40/h*(4 - -3). Which is greater: t or 9?
9
Let k = -0.06947 + 0.16947. Which is smaller: k or 534.9?
k
Let s = 297/28 + -73/7. Let o = -136 + 270. Let a = o + -134. Which is greater: s or a?
s
Let x = -3314 + 3314. Which is smaller: x or -12/317?
-12/317
Let q = 4/111413 - -182494330/4567933. Is q > 39?
True
Let f(p) = -p**3 - 8*p**2 - 33*p - 180. Let s be f(-7). Is 65 at least as big as s?
True
Suppose -106*l = -112*l - 136 - 44. Which is greater: l or 0.009?
0.009
Suppose 4*f - 5*d - 60 = 0, 4*f - 10 - 10 = -5*d. Suppose 21 = 6*y - 39. Suppose -5*k - 2*o = f, y = -2*k - o - o. Which is smaller: k or -3?
-3
Suppose -77*l = -218*l + 69*l + 89*l. Which is greater: l or 2/613?
2/613
Suppose n = -g + 5*g + 4, 2*g - 26 = 4*n. Let a(y) = -y. Let k(l) = 4*l + 3. Let r(c) = -2*a(c) - k(c). Let v be r(3). Is v < n?
True
Let q = -1/2067 - -6374/357591. Is q smaller than 0?
False
Let b(h) = -h**3 + 21*h**2 - 21*h + 14. Let m be b(20). Suppose 2 = 3*g - 2*g. Let y(k) = -k**3 + k**2 - k + 1. Let v be y(g). Are m and v equal?
False
Let j = 152762 - 736160082/4819. Which is smaller: 0 or j?
j
Let r = 32 + -11. Let m = 13 - r. Let h = -9 - m. Which is bigger: h or 16?
16
Let r = -0.14 + -5.86. Let z = r + 2.82. Let o = z + 0.18. Is -5 >= o?
False
Let h = 54 - 11. Let j = -42.2847 - 0.7653. Let c = j + h. Is c smaller than -0.08?
False
Let c be 100/8*15908/485. Is c greater than 2860/7?
True
Let p be 333/(-204) - (-3)/(-12). Let u = -1651 - -1648. Is p > u?
True
Let g be ((-2)/(-66))/((-49)/(-441)). Which is smaller: 2/37 or g?
2/37
Let q = -18737/7 + 1594654/595. Is 4 less than or equal to q?
False
Let u be ((-1042)/28)/((-1914)/220). Let h = 124/29 - u. Which is smaller: 0 or h?
h
Let v = -0.39 - 40.61. Let o = -538 - -31. Let l = o - -509. Is l <= v?
False
Let y = -12.77 + -0.23. Let f = 9.1 - 0.9. Let x = -8.2 + f. Is x greater than y?
True
Let i = 3568 + -538773/151. Which is smaller: i or 0.1?
i
Let k(h) = -3*h**3 - 159*h**2 - 117*h - 122. Let d be k(-53). Is d less than or equal to 6080?
True
Suppose 4*z - l = -0*z + 4226, 0 = -2*z - 3*l + 2134. Which is smaller: 8475/8 or z?
z
Suppose -72*x = 3*z - 70*x + 530, -2*z - 2*x - 354 = 0. Is -179 >= z?
False
Let q be 20/802*(28 - 31). Let w = 66045/1604 - q. Is 41 at most as big as w?
True
Let a(z) = -6 + 28 - 15*z + 5*z - z**2. Let x(p) = -p**2 + 42*p - 91. Let m be x(40). Let w be a(m). Is 2 not equal to w?
True
Suppose 6*s + 24 = 8*s - 4*y, 4*s = -4*y - 12. Which is bigger: -73/