is smaller: t or l?
t
Suppose 5*n = -5*f + 2*n + 4, -4*n - 2 = 3*f. Let u = -6 + 2. Let y be (u/(-12))/(1/15). Which is smaller: y or f?
f
Suppose 542 = -10*j - 2038. Let v be (4 - (-1809)/j) + (-9)/(-3). Which is smaller: 1 or v?
v
Let o = 235 - 143. Is o less than 1/4?
False
Let q = 563/268 + -7/402. Let r = 96/5 - 369/20. Let l = q - r. Is 1 > l?
False
Suppose -5*s - 13 = -4*l, 0 = s - 5*l + 2*l + 7. Let f = s + 2. Let t be (-4)/(-7)*4*(-14)/(-16). Is f equal to t?
False
Let j = -0.293 - 4.707. Which is smaller: 85 or j?
j
Let a = 143 + -151. Is 2/5 bigger than a?
True
Suppose d - 3 + 0 = 0. Suppose 2*n + 27 = -3*n - d*s, 3*s + 21 = -4*n. Which is smaller: -4 or n?
n
Let u = -39.003 + 39. Let p = u + -0.287. Which is smaller: p or -1/2?
-1/2
Let i = 98.13 + 1.87. Let z = i - 36. Which is smaller: 0 or z?
0
Let y = 226 - 226. Is -0.7 smaller than y?
True
Let m(z) = z**3 + z + 5. Let t be m(0). Let w = t + 0. Let l be w/(1 - 2/4). Is l < 10?
False
Let y be (-10 - (-476)/(-21))/((-22)/(-6)). Which is bigger: -8 or y?
-8
Let s be ((-12)/8)/(6/(-44)). Let i be 0*s/11*2/4. Which is smaller: 3/13 or i?
i
Let a = 35/9 - 1024/261. Let h = a + 31/58. Is 2 at least h?
True
Let n = 6 + -2. Suppose -45 = -n*r + 3*h, -5*h + 4*h = r - 20. Let t = 21 - r. Is 6 at least as big as t?
True
Suppose 1989 = 8*x + 189. Let i be (8/10)/((-30)/x). Which is greater: -10 or i?
i
Suppose 6 - 36 = d. Let z = -25 - d. Let n be (-2 + z - -1) + 8. Which is bigger: 11 or n?
n
Let m be (1/4)/(26/78). Which is smaller: -202 or m?
-202
Suppose 0*u - 3*r = -4*u + 1, -3*u + 7 = 4*r. Let i be 1 + u - (-388)/8. Let y = 148/3 - i. Which is smaller: 0 or y?
y
Let s = 32.27 + -32. Let z = s + -6.27. Is z less than 2/3?
True
Let s = -6 + -4. Let o(p) = p**2 + 13*p + 15. Let d be o(-12). Let x be (d/(-4))/((-10)/(-60))*2. Which is greater: s or x?
x
Suppose -3*y = -5*o - 3, 43*y - 4*o - 2 = 41*y. Which is bigger: y or 1/205?
y
Suppose 4*t + 5*r = 48, t + 0*r - r - 12 = 0. Suppose -9 = -3*h + t. Is 7 bigger than h?
False
Let a be (-3)/4 - 3/12. Let q be (a + -2)*2/6. Let i = 5735/8 - 718. Which is bigger: q or i?
q
Suppose 5*z + 12 = f, -2*f + 2 = 4*z + 3*f. Let n be (-2*(z + -3)*-1)/(-6). Which is greater: 2 or n?
2
Let c be 2/7 + (-17)/(-14). Let s = 6.8 - 7.1. Which is greater: s or c?
c
Let d be ((-1494)/(-51))/6 - 5. Is -0.24 at most d?
True
Let c = 9 - -1. Suppose c + 10 = 4*o. Suppose -2*j + o*j = 0. Which is smaller: -2/9 or j?
-2/9
Suppose -5 + 2 = 3*x. Suppose 0 = -5*z + 59 + 66. Let r = -24 + z. Are x and r equal?
False
Suppose 0*n = 5*n. Let q = 23937/8 + -2996. Let f = -27/8 - q. Is f >= n?
True
Let m be (0 - -1) + (-1644)/189. Let q be (24/(-3))/((-252)/238). Let u = q + m. Is u at least as big as 0?
False
Let b be (4/(-285))/((-10)/(-15) + -4). Is -1 <= b?
True
Let y = 0.0261 - -0.1739. Which is smaller: y or -25/46?
-25/46
Let p be (-40)/(-189) + 2/(-7). Let a(h) = h**3 - 6*h**2 - 16*h + 4. Let j be a(8). Let n(c) = -c + 5. Let u be n(j). Which is bigger: p or u?
u
Let y = 544 + -1495. Which is bigger: 1 or y?
1
Let a = 94.3 + -94.3. Which is bigger: -1306 or a?
a
Let s be (-14)/(-287) + (-648)/(-164). Suppose 4*t + z + 6 = 4*z, -t + 1 = -2*z. Are t and s nonequal?
True
Let z = 4.75 + -4.85. Let q = 44.935 - -0.065. Which is greater: z or q?
q
Let w = 178/275 - 8/11. Suppose 2*q + 0*a - 2 = a, a = -q - 2. Are w and q equal?
False
Let r = 39 + -28. Suppose -3*u - 9 = 0, -2*g + 2*u - 22 = 2*g. Let c = g + r. Which is smaller: 5 or c?
c
Let n = 84227/75 - 1123. Which is smaller: n or -1?
-1
Let r(j) = 11*j + 78. Let u be r(-7). Is u greater than 2/729?
True
Let j = 0.7 + 2.3. Let p = -2.8 + j. Let a = -108.8 - -109. Are a and p unequal?
False
Let l be (-13)/((-715)/(-1221))*10. Which is greater: -223 or l?
l
Suppose 6*d - 2*t - 119 = d, 66 = 3*d - 3*t. Is d <= 0?
False
Let p = 1020 - 1014. Which is smaller: p or 47/7?
p
Let v(i) = i**3 + 13*i**2 + 41*i - 5. Let o be v(-6). Do 1/124 and o have different values?
True
Let m = 168.54 + -170. Let j = 1.3 + m. Let o = -0.11 - j. Do 2/5 and o have the same value?
False
Let z be (0 + -1 + 16)/((-3339)/(-106)). Is z at most as big as 1?
True
Suppose 4*d - 2*g = 22, -4*d - g = -5*g - 32. Suppose -3 = -4*b - k + 1, -d*b - 4 = -k. Does b = 1/3?
False
Suppose t - 858 = 62*t + 5*t. Let f(h) = -4*h + 4. Let g(y) = -y**2 - 5*y. Let k be g(-4). Let s be f(k). Which is bigger: s or t?
s
Let n(c) = -c**3 - 6*c**2. Let j be n(-6). Let g = 647 - 36233/56. Is g greater than or equal to j?
False
Let y = 592 + -558. Is y >= -0.1?
True
Let j = 2186 + -122419/56. Let v be (-4)/3 + (-35)/(-15). Is j at most as big as v?
True
Let y(z) = z**2 + 18*z + 13. Let l = 3 - 0. Suppose l*i = -i - j - 68, -5*i - 85 = -5*j. Let x be y(i). Is 0 > x?
True
Let w(s) = -18*s - 4. Let u be w(-4). Let t = 2/6951 - 156012/2317. Let m = u + t. Which is smaller: -1/6 or m?
-1/6
Let d(y) = y**2 - 5*y + 1. Let j be (1 + (-16)/6)*-3. Let t be d(j). Which is smaller: -4 or t?
-4
Let c = -112.777 + 113. Let v = c + -0.123. Is 60 bigger than v?
True
Let j = -42848/3 + 14138. Let q = 146 + j. Let b = 115 + -113. Is b greater than or equal to q?
True
Suppose 4 + 4 = 4*t. Suppose k = -l - 3, 0 = -l + t*k - k + 7. Suppose l = a + 1. Which is bigger: a or 4/9?
a
Let u = -2.58 + 2.48. Let z = -0.75 - -10.95. Let s = z - 0.2. Is u > s?
False
Let r be ((-1)/(-5))/(2/12). Let u be (-44 - -46)*2/4. Which is greater: u or r?
r
Suppose w - 2 = 2. Suppose 0 = 3*p - w*p - 1. Which is smaller: -35 or p?
-35
Let a = 855/7 - 2515/21. Is a smaller than 1?
False
Let f = 875/3 - 291. Let m = 0 + -0.1. Which is smaller: f or m?
m
Let k(c) = -8*c**2 - 91*c - 31. Let q be k(-11). Is 16/25 bigger than q?
False
Let b = -1 - 0. Let j be 138/360 + (-4)/12. Is b at most as big as j?
True
Let h be (295/(-35))/1 + (-92)/161. Let x be (-2)/3 - (-112)/6. Suppose 2*p + x = -0*p. Is p greater than h?
False
Suppose j = 4*a + 135, -j - 3*j = -2*a - 610. Suppose -j - 25 = -5*z. Let g be (-4)/(-18) + 676/z. Is g < 20?
True
Let a be 6/(18/33) + 0. Suppose -7*p - 4 = -a. Which is smaller: p or -2/23?
-2/23
Suppose 215 = -3*x - 3*a + a, 4*x - 5*a = -302. Let s = x + 78. Which is smaller: -1 or s?
-1
Let c(a) = 360*a - 47. Let r be c(-2). Is r smaller than -767?
False
Let c be -2 - -1*(2 - 0). Let d = -20 + 20.7. Let i = 0.71 - d. Are c and i equal?
False
Suppose 694*i = 682*i - 252. Which is smaller: -22 or i?
-22
Let j = -14 + -3. Let b = 16 + j. Is b > -1.8?
True
Suppose j = 5*n + 12, -j - 24 = 3*n + 4*j. Let a be (0 - (n + 3)) + 12. Let x be a/45 + 4/(-6). Is 0.2 less than or equal to x?
False
Let q(z) = 15*z**2 + 17*z - 17. Let o be q(1). Which is smaller: o or 11?
11
Let q(l) = -l**2 - 11*l + 12. Let f be q(-12). Suppose 2*v - 6 = -f. Let x be 2*12/8 - v. Which is smaller: x or -1/5?
-1/5
Let d(w) = w**3 + 12*w**2 + w + 16. Let u be d(-12). Let b be 2/8 + (-1)/u. Let i = 63 + -66. Is b < i?
False
Suppose 4*a + 26 = 158. Suppose 4*v - 89 = 43. Are a and v equal?
True
Suppose 5*h = -d + 107, -2*d + 113 = -5*h - 41. Let s = d - 100. Do -13 and s have the same value?
True
Let l = -30 - -36. Let b be 6/l - (2 - 4). Let u be 2/b*9/46. Which is bigger: u or 1?
1
Let q = -0.35 - -0.15. Let b = 0 + q. Is b > -1?
True
Let r be 2/(-8) - (-98)/8. Let h be 4/(-10) - r/195. Suppose 3*g + 1 = -2*j, 2 + 2 = 4*j. Are h and g unequal?
True
Suppose 5*x = 3*l + 2077, -10*l + 1667 = 4*x - 7*l. Which is smaller: x or 414?
414
Suppose -4*i + 28 = 4. Suppose -2*y + i = 8. Let v be ((-3)/(-12))/((-10)/(-8)). Is y > v?
False
Let f = -2.732 - 0.268. Which is bigger: f or 12/19?
12/19
Suppose -b - 43 = -5*z - 3*b, 5*z + 4*b = 51. Let c(l) = 2*l**2 - 11*l - 21. Let k be c(z). Which is smaller: k or 3/11?
k
Suppose 2*a = -2*a - 32. Let t be 90/(-11) + 4/22. Do t and a have the same value?
True
Let s = -1 + 1. Let z = -2.1 + 2. Let i = s - z. Is 0.1 equal to i?
True
Let p(o) = o + 22. Suppose -10 = -t - 25. Let v be p(t). Which is greater: -3 or v?
v
Let b = 82 + -89. Let r = b + 7. Which is smaller: r or -3/10?
-3/10
Suppose 59 = 5*b - 4*b. Suppose u = a - 202, a + b = -2*u + 267. Let m be a/(-28) - (-4)/14. Which is smaller: m or -6?
m
Let k = 59 + -144. Let o = k + 85. Is o at most as big as -1/12?
False
Let i = 25551649/180 - 141953.