uppose 3*u - 8*u = -q*l - 20, 0 = -2*l + 3*u - 12. Let w be ((-4)/(-106))/(1/1). Which is greater: l or w?
w
Let d = -273 + 4094/15. Let l = 19/60 + d. Is -23 at most l?
True
Let y = -559639/16 + 34993. Is y bigger than 2?
True
Let o(b) = 4*b**2 - 16*b - 11. Let w(u) = u**2 - u. Let s(p) = o(p) - 5*w(p). Let r be s(-10). Let h be 33*(2*r/(-2) - 2). Which is bigger: h or 0?
0
Let l = -35.4 + 37.9. Let i = 1.5 - 8. Let x = l + i. Which is smaller: x or -0.3?
x
Let z be 7 - (19/5)/((-66)/(-1290)). Are z and -67 equal?
False
Let t = -108.2 - -113.53. Let w = 5.5255 + -0.1255. Let g = t - w. Is 2 greater than or equal to g?
True
Suppose 1 + 5 = m. Suppose -2*n = m*n - 5*n. Is -57 at least as big as n?
False
Suppose -153*x + 158*x = -2415. Let c = x + 7249/15. Is c >= 1?
False
Suppose -4*d - 38 - 162 = 0. Let b be (-47)/(-5) + 1 + 20/d. Let t be -1 - -5 - 30/b. Are t and -1/39 nonequal?
True
Suppose k + 5 = -3. Let j = -106503 - -106497. Which is smaller: k or j?
k
Let d = -967 - -967. Let s be 128/170 + (-12)/30. Which is smaller: d or s?
d
Let p(r) = -82*r + 2606. Let s be p(29). Which is smaller: s or 6/13?
6/13
Let m be (-87)/(-377) - (-11198)/260. Which is smaller: m or 43?
43
Let w be 0 + ((-4)/(-152))/((-105)/42). Let t = -4/2789 - -19883/251010. Let x = t + -5/18. Which is greater: w or x?
w
Suppose 1 = 4*r - 5*s, 18*r + 5*s - 35 = 13*r. Suppose 2*p + 19*u - 2 = 15*u, r*u = 0. Which is smaller: p or 17/15?
p
Let c = -0.108 + 0.028. Let l = -0.32 + c. Which is bigger: 2/9 or l?
2/9
Let d = -13 + 14. Let s be (-2172)/363 - (14/(-42) + 34/(-6)). Which is smaller: d or s?
s
Let g be 17360/(-90) - (-7 + (-128)/(-18)). Which is greater: -967/5 or g?
g
Let t be (15/(-10))/(33/22) + 165/163. Suppose -3*k + k = 2. Which is smaller: k or t?
k
Let l = -10 + 11.97. Let j = 5452 + -5451.97. Let t = j + l. Which is bigger: -6 or t?
t
Suppose 70*j - 12588 - 5769 = 157*j. Which is smaller: -233 or j?
-233
Let f(o) = 4*o**2 - 11*o - 14. Let l be f(-6). Let h = 254 - l. Is h <= 58?
True
Let p be 10/4 + (-9156)/2064. Let o = -8/43 - p. Suppose 2 = 5*a - 3. Is a at least as big as o?
False
Suppose -5*c + 3*u + 0*u = -100, 4*c - 80 = -4*u. Let j = -2/1937 - -156905/7748. Which is smaller: j or c?
c
Let b = -4388 + 4387. Which is greater: -12/377 or b?
-12/377
Let p = 17845 + -17840. Which is smaller: p or 354/97?
354/97
Suppose v + 5 = 6*v. Let q be 6/(-36) - (v + (-86)/12). Suppose -2 = 4*a + o, q = -6*o + 3*o. Do a and -2/35 have different values?
True
Suppose -7*p + 14*p = 693. Suppose 3*k = i + i + p, k - 5*i - 46 = 0. Is 31 > k?
False
Let y = -3835 + 3299. Is y at most as big as -538?
False
Let s be 45/(-6)*(-12)/18. Suppose -f + s*f = -4*c - 176, 98 = -2*f + 3*c. Let l = -157 + 112. Which is smaller: f or l?
f
Suppose -2*h + 5 = -3. Suppose h*b = -36 - 12. Let v = -24 + b. Does -35 = v?
False
Let y = -896039/21454 + 1421/34. Which is greater: y or 0?
y
Let y(z) = 5*z + 9. Let m(q) = -10*q - 17. Let i(k) = -4*m(k) - 7*y(k). Let n be i(1). Suppose 5 + 35 = 5*p. Which is bigger: p or n?
n
Let s be 520/6 - 1/(-3). Let l be (-3 + 4)/(3/s). Suppose -11*z + 7*z - 3*n = -114, -4*z + 116 = 2*n. Which is smaller: z or l?
l
Let d(b) = -b**2 - 11*b + 68. Let j be d(-15). Suppose 8*l - j = 24. Let n = 1559/553 + 3/79. Which is greater: n or l?
l
Suppose 143*c - 157*c = 0. Suppose 34*r - 4136 + 804 = c. Which is greater: r or 97?
r
Let k be 7*2*(-8056)/(-532). Is 206 at most k?
True
Let l = 2293/39 - 253/13. Suppose 0 = -5*x + 2*u - 192, -17*x + 19*x + 5*u + 100 = 0. Let c = x + l. Are 16 and c unequal?
True
Let p be ((-1824)/(-640))/(-2*1/5). Let h be 8 - (-5 + (-74)/(-6)). Is p < h?
True
Let z = -229 - -153. Let o = 15 + z. Which is greater: 1 or o?
1
Let f be (-4)/((-156)/28 - -5). Let n be (0 - 14)/f - 7. Are -94/11 and n non-equal?
True
Let c(u) = u - 21. Let k be c(13). Let m(h) = -4*h - 28. Let y be m(k). Suppose f = -y*f. Is 0 <= f?
True
Let c be -3 - 8 - 749324/1826. Do c and -420 have different values?
True
Suppose -2*a - 2*r + 120 = 0, a - 5*r = 2*a - 56. Suppose -a*j + 62*j = -1. Is j bigger than 1?
False
Let t = 333.3 - 1176.8. Is -2/7 less than t?
False
Let n = 0.055 + -0.042. Let y = n - -2.987. Let d be (-4)/(-10) + (-1)/(-10). Which is smaller: y or d?
d
Let m = 1051 - 1050. Is m less than -3/8876?
False
Let g(y) = -32*y - 188. Let w be g(-20). Which is smaller: w or 1803/4?
1803/4
Let l be ((-3)/(-5))/(11/(-55)). Let w be (-642)/(-216) - (1 - l/(-12)). Which is bigger: 3 or w?
3
Suppose -x - 27 = -5*g, 0*x - 18 = -2*g - 2*x. Let m be 15/(g*(-5)/20). Let j be 116/(-8) + (-2 - -8). Does j = m?
False
Let i = -2958 + 2808. Which is bigger: 6 or i?
6
Let g be (-22)/(-2) - 45499/4325. Which is smaller: -1 or g?
-1
Let t(x) = -6*x**2 + 91*x + 507. Let h be t(31). Is h greater than -2438?
False
Let b be -1*((-930)/(-279) - (-1 - 173)). Is b < -178?
False
Let a = -5 - 130. Let o = -106 - a. Which is smaller: 28 or o?
28
Let h = 1 + -1. Let t = -116101/36 + 3225. Which is smaller: t or h?
t
Let n be 6349/21 + 2/(-6). Let b = 2747737 + -96181364/35. Let c = n + b. Which is greater: c or 0?
c
Suppose 5*r - t = -1993, 11*r = -96*t + 101*t - 4393. Do r and -398 have the same value?
True
Let p be 32/(-64) + 3 + 7185/10. Which is greater: p or 731?
731
Let c be -12 + (-27 - -33) + 45/(-1*1). Is -79 greater than c?
False
Let p be 7280*8*2/32. Let y be (-3)/((-10944)/p) + -1. Is y greater than -1?
True
Let d(t) = -23*t + 765. Let f be d(33). Which is bigger: f or 377?
377
Suppose 10*u - 1190 = 9*u - t, -5944 = -5*u + t. Which is smaller: u or 1191?
u
Let y(h) = h**3 + 5*h**2 - 6*h + 3. Let a be y(-6). Suppose a*g + 13 = 7. Let q be 7/5 + 10/(-25). Which is bigger: g or q?
q
Let f = 12123300548/28893 + -419593. Which is greater: f or -1?
f
Let l = 292/13 + -12452/559. Suppose 3*y - 15 = -12. Is y >= l?
True
Let a = -1/2102629882 - -2288725242336787/1040801791590. Let l = a - 2199. Which is smaller: 1 or l?
l
Suppose -62*i + 1093 = 14*i - 731. Let g be (6/4)/((-9)/(-12)). Suppose -2*l + g*j + 58 = 0, 8*j = 3*j - 20. Is l < i?
False
Suppose 65*j - 58*j = -14. Let p be (-1)/4 - 7/4. Let t be (0 - 4)/((-9)/p). Which is smaller: t or j?
j
Suppose 0 = -2*j + y + 3959, 2*j + 85*y - 81*y - 3964 = 0. Which is greater: 1979 or j?
j
Let c(g) = 10*g**2 + 9*g - 6. Let w be c(1). Let l(n) = -n - 2. Let m be l(2). Let y be (-2)/m - 243/(-18). Which is smaller: w or y?
w
Let n be (-24)/14 + (-50)/175. Let t be (-30)/(-9) - (1 - -3). Is n at most t?
True
Suppose -5*h = 3*z - 0*h - 91, -3*h - 99 = -3*z. Suppose -32 = -6*o - z. Let n = 1049/6 + -5756/33. Which is bigger: n or o?
n
Let r(w) = 22*w**2 - 40*w - 84. Let j be r(-18). Is 7764 at most j?
True
Let u = -7.3 + -64.7. Let g = -12 + u. Let o = 85 + g. Which is smaller: 1.3 or o?
o
Let x = 3.5 - 17.5. Let g = 37723.5 + -37723. Which is smaller: x or g?
x
Let b = -4115 + 4114.8. Is -0.1256 not equal to b?
True
Let s be (-6)/2 - (-4 + -58). Let w = s + -57. Let j be (-6*5/(-10))/(w/(-2)). Is -0.4 >= j?
True
Let c(t) = -t**2 + 2*t + 58. Suppose 2 = q - 4*l - 2, 4*l + 4 = 2*q. Let r be c(q). Let y = -90 + r. Is -32 less than y?
False
Let u be 2122/(-4) + 36/((-864)/84). Which is smaller: u or -537?
-537
Suppose s = -2*s. Let m = 100441 - 100316. Is s greater than or equal to m?
False
Let n(j) be the third derivative of j**5/60 - 13*j**4/24 - 29*j**3/6 - 120*j**2. Let z be n(-2). Do -3 and z have the same value?
False
Let p = -0.6439 - -0.6439. Which is smaller: -0.06261 or p?
-0.06261
Suppose 3*t - 23 = 2*c - 4*c, 0 = -5*c + 20. Suppose t*i = -4*j + 215, 4*j + 3*i - 150 = 75. Is j at most 62?
True
Let l = 679/8007 - 1/157. Which is bigger: l or 1?
1
Let n(r) = 11*r**3 - 138*r**2 + 27*r + 20. Let l be n(13). Which is greater: l or 1221?
1221
Let s = -3.31 + -188.69. Let m = -191.953 - s. Is 2/5 >= m?
True
Let f = 120606752200916011/1330 - 90681762163163. Let x = 6408954 - f. Let b = 1/70 - x. Is b smaller than 1?
True
Let y = 78577/17 + -4625. Suppose -4*x + 4*r + r + 4 = 0, -5*x - 32 = 3*r. Which is smaller: x or y?
x
Suppose 0*h - 5*h + 25 = 2*i, h = -i + 8. Let l = 1437503/55 - 26135. Let m = l + -20/11. Is i != m?
True
Suppose 2*p = 4*o - 18 + 80, 0 = -5*o + 4*p - 82. Let q(h) = 3*h + 71. Let v be q(o). Is v less than or equal to 3