- y. Which is bigger: -3 or l?
-3
Let l = 53.8 - 54. Let m = 1879.2 - 1874. Which is smaller: m or l?
l
Let d(o) = -o**3 - 7*o**2 - 10. Let q be d(-7). Let a be (-2 - (-55)/(-4))*(-24)/(-36). Which is bigger: a or q?
q
Let p = 33 - 30. Let q = p + -2. Suppose 1 = 2*u + q. Is 1/3 greater than u?
True
Let u be (-5)/((-32250)/(-27))*(-1454745)/72. Let y = u - -15/688. Let w = y + -85. Is -0.08 greater than or equal to w?
True
Let v be (-108)/36 - 22502*5/(-37470). Which is smaller: -1 or v?
-1
Let t be (2 - (-38)/(-3))/(28/2898). Is t equal to -1103?
False
Suppose 5*r - 1 - 9 = 0. Suppose -3*z - 575 = l, 3*z + r*z - 5*l = -965. Let b = 1533/8 + z. Which is greater: 1 or b?
1
Let o be (-4)/(-6) - 1563/9. Let a be 110/(-11) + -162 - 2. Are a and o nonequal?
True
Let q be 51797/(-8820) + 4 + 6/(-27). Let i = q + -1/196. Which is smaller: i or -2?
i
Let g be -113 - ((34 - 14) + -35). Let y = -242 - -145. Is y <= g?
False
Suppose 10*d = 14*d + 9*d - 6591. Is 506 bigger than d?
False
Let m(c) = c - 2. Let d be m(3). Let f = -714551/62 - -11525. Is d greater than or equal to f?
True
Let m be (-3)/(-1 + 0) - (-1 + 3). Let b be 6 + 1825/(-260) + m. Which is smaller: -1 or b?
-1
Let r(i) = -i**3 - 22*i**2 - 21*i + 4. Let l be r(-21). Suppose 5*j - 2*p = p + 12, 0 = 2*j - l*p - 16. Is -9/8 smaller than j?
True
Let w = 8278 - 9969. Do -1693 and w have different values?
True
Let z = -1.912 + -0.088. Let x(c) = c**2 + 5*c + 4. Let l be x(-4). Suppose -2*j - 3*g = -5*j - 51, 3*g - 9 = l. Is j at least z?
False
Let y = 2/7 - 0. Let m = 1245 - 1183. Is y less than m?
True
Suppose 3*d - 5*w - 3235 = 0, 4*d + 5*w - 2344 - 2051 = 0. Are 1090 and d unequal?
False
Let r = -244 - -10. Which is smaller: r or -937/4?
-937/4
Let x = -81.48 + 80.74. Which is greater: x or 3/142?
3/142
Suppose -41*f = -4*q - 45*f - 468, -5*q = -5*f + 645. Which is smaller: -1590/13 or q?
q
Let p = -88.65 - -37. Let n = p + 0.65. Let k = n + 48. Which is bigger: k or -0.5?
-0.5
Let i(c) = 1901*c - 3800. Let a be i(2). Which is smaller: a or 210/311?
210/311
Suppose 14 = s - 4*b, -2*s - 133*b + 8 = -131*b. Which is bigger: 100/17 or s?
s
Let b(c) = 4*c**3 + 5*c + 6. Suppose -8*i = 2 + 6. Let a be b(i). Which is smaller: -7/3 or a?
a
Let f = 58 + -58. Suppose 10 = v - a, -4*a + 15 = a. Suppose 8*o - v*o - 10 = f. Is o at most 0?
True
Let u(v) = 10*v**2 + 10*v + 4. Suppose 2*s - 3*q = 7, -5*s - 3*q + 8*q = -5. Let k be u(s). Suppose -12*d - k = -14*d. Is 63 >= d?
True
Suppose 30*l + 5315 = 395. Is l greater than or equal to -169?
True
Let h = 164 + -145. Let g be -5*(-6 - h/(-5)). Let f be 2 + (6 - (2 + -3)). Is f at most as big as g?
True
Let v = 766 + -652631/852. Let t be 5 - (0/(-6) + 5). Which is bigger: t or v?
v
Let t = 231 - 167. Suppose 5*d - t = d. Is d <= 12?
False
Let l = 4 + -6. Let u be (-1)/1 + (-18029)/(-11193). Let w = u + 4/861. Do l and w have the same value?
False
Let i = 5/1392 + -2999/59856. Let v(z) = 5*z**2. Let p be v(-1). Suppose -2 + p = -3*y. Is i >= y?
True
Let a be (-17734)/30 + (-136)/680 - (-1)/3. Which is smaller: -1181/2 or a?
a
Let t(r) = r**3 + 17*r**2 - 40*r - 35. Let q be t(-19). Suppose 9 = 2*x - q*i - 20, 0 = 3*x - 2*i - 51. Which is greater: 88/5 or x?
x
Let v = -114/5 - -22. Let a = 2327 - 2323. Is v >= a?
False
Let r = 601594/55 + -10938. Which is bigger: 0 or r?
r
Let h = -8938 + 8942. Is 144/53 smaller than h?
True
Let m = 2/36897 - -8670757/701043. Which is smaller: 13 or m?
m
Let t(l) = -1023*l - 103322. Let k be t(-101). Let a be 2/(-8)*4/54. Which is bigger: a or k?
k
Suppose -16 = -4*b + 5*i - 0, -13 = -b - i. Let g be 24*(-6 - 104/(-12)). Suppose 13*r = g*r - 663. Do b and r have different values?
True
Let g be (12/1194)/((-16)/(-12) + -1). Is 0 less than g?
True
Let x be (42/(-45))/(5299/49962). Suppose -a - l = 4, 0 = 2*a - 3*l - 0*l + 28. Which is greater: a or x?
a
Suppose -5*b - 25 = -3*l, -5*l + 54*b + 20 = 50*b. Which is greater: -2/20039 or l?
l
Let r be ((-8)/(-24))/((-12050)/(-10)). Is r < -1?
False
Let q = 8681/253 + -923/23. Are q and 5 nonequal?
True
Let z be 12/72 - 74/12. Let i be (-2 + 284)*4/z. Let s = -3383/18 - i. Which is smaller: s or 0?
0
Let h be ((-7)/(-273)*13)/((-3)/(-3 + 213)). Is 4/7 smaller than h?
False
Suppose 0 = 5*u, 3*u + 2*u = 3*h + 18. Let f = -1 - h. Suppose 3*w - 36 = f*w. Is -17 not equal to w?
True
Let i be 274153/239547*-1 - (-4)/42*12. Which is smaller: i or 0?
i
Suppose 0 = -3*y + 56 + 49. Suppose -y = -2*x + 21. Let v = -1352/5 - -270. Is x at least as big as v?
True
Let m = 1712 - 1754.8. Let o = 43.44 + -0.44. Let x = m + o. Is x equal to 36?
False
Let q(u) = -6*u**3 - 18*u**2 + 12*u + 46. Let a be q(-4). Which is smaller: 1035/11 or a?
a
Let x = 10129 - 10754. Which is smaller: -624 or x?
x
Let r(t) = 22*t + 7. Let y be r(1). Suppose 0 = 5*w + 2*c - 89, 2*w - y + 1 = 3*c. Is w > 9?
True
Suppose 38*a - 3*r + 9 = 42*a, a + r = 2. Suppose -4*p - 120 = -5*p. Let g = -1321/11 + p. Are g and a non-equal?
True
Let z(s) = -4*s**3 + 123*s**2 + 42*s - 333. Let p be z(31). Is p bigger than 26/5?
True
Let o(r) = -r**2 + 24*r - 51. Let z be o(19). Is z smaller than 6?
False
Let u = 7328 - 6687. Is u at least as big as 1?
True
Let w be ((-1)/(-2) - -7)*2/5. Suppose -5*m = 2*u - 6*m - 3, w*u = -3*m. Does u = -4/163?
False
Let x = 14.2 + -13.7. Suppose 3*p + 0 - 15 = 0, -5*b = -5*p + 225. Let s be ((-1)/6)/((-30)/b). Which is smaller: s or x?
s
Suppose 0 = -2*y - 7 - 7. Let l be (-5)/10 + y/(-2). Let n be (l/(-38))/((-5)/(-40)*2). Is 0 smaller than n?
False
Suppose 2*o = -5*a - 847 - 59, -2*o - 3*a = 906. Let w = o - -21290/47. Let i be (-2)/(-4)*(-4)/2. Which is smaller: i or w?
i
Let i = -2128 - -2228. Which is greater: 94 or i?
i
Let i(h) be the third derivative of h**4/8 - 13*h**3/2 - 149*h**2. Let w be i(13). Which is smaller: 7/58 or w?
w
Let m be (8 - 27 - -17)/21. Let t = 4 - 0. Let u = t - 4.1. Is u <= m?
True
Let q be (-139)/(-15) + (67/67)/(5/(-4)). Which is smaller: 9 or q?
q
Let y be (-106)/6784*(-8 - (-2 - 0)). Let v = -2.4 - -0.4. Which is smaller: y or v?
v
Let o = -0.404 + 319.404. Which is bigger: o or 1?
o
Suppose 4*u - y + 0*y = -108, -5*y = -5*u - 120. Let l(x) = 38*x + 880. Let q be l(-24). Is q bigger than u?
False
Suppose 257*q - 260*q - 363 = 0. Are q and 22 non-equal?
True
Suppose 25*t = 29*t - 124. Let j be (6/(-12))/((-3)/162). Suppose t - j = 4*q. Which is greater: q or -2/21?
q
Let r be (-2)/(-6) + 10 + 244370/(-23640). Which is greater: 0 or r?
0
Suppose -9*q + 8*q - 1307 = -4*s, 0 = -5*s + 3*q + 1625. Which is smaller: s or 326?
326
Let x(z) = 58*z + 11. Let g(j) = 10*j**2 - 259*j - 27. Let k be g(26). Let i be x(k). Let l be -18*((-10)/(-6) - -1). Is i less than or equal to l?
False
Let k be 2 - (3 + 9 + -3). Let n be (-25)/3 - k/21. Let b = -140395/6 + 23392. Which is smaller: n or b?
n
Let g(q) = 10 + 8*q - 12*q - 4*q. Let p be g(2). Which is bigger: -9 or p?
p
Let l = 0.439 - -74.361. Let p = l + -73.7. Let y = -0.3 - -0.2. Is p equal to y?
False
Let u = -1.93411 + 0.03411. Which is smaller: u or 0.036?
u
Let f = -239 + 77. Let j = f - -166. Which is greater: j or -1/2?
j
Let m = -197/26 + 201/26. Which is smaller: m or -5?
-5
Let i be (-1)/(-18)*(-12)/(-1464)*-3. Which is greater: i or -4?
i
Let l be 5 - -10 - (14 - 0). Which is smaller: -33/103 or l?
-33/103
Let v = -28844 + 27331. Which is smaller: v or -1512?
v
Let z be ((-2919)/(-63759))/(((-264)/1854100)/(-6)). Let r = z - -8/21253. Let f = r + -1927. Which is bigger: f or 1?
f
Let d = 212 + 146. Let m = d + -436. Which is bigger: -76 or m?
-76
Suppose 8*o + 2 = 7*o. Let c be o/(-11) + 265/55. Let p = 4828 - 4826. Are c and p non-equal?
True
Let d be (-33)/(-6)*6/(-1 - -4). Suppose d*s = -0*s + 9031. Is 820 bigger than s?
False
Let p be -2*282/(-14) - (-2)/(-7). Let b(q) = 39*q**2 + 56*q + 56. Let x be b(-1). Which is smaller: x or p?
x
Let j = -3179 + 6035. Let a = j - 31382/11. Do a and 3 have the same value?
False
Let b = -658.0459 - -0.0459. Let y = b - -657. Are -383 and y non-equal?
True
Let w(y) = -y**3 - 4*y**2 - 6*y - 19. Let f be w(-5). Suppose -f*z + 39 = -23*z. Which is smaller: 26 or z?
z
Let m(g) be the third derivative of -5*g**4/24 - g**3/6 - 16*g**2. Let t(j) = -6*j - 1. Let l(h) = 5*m(h) - 4*t(h). Le