be (t/70)/((-6)/(-21)). Is w less than or equal to y?
True
Let a(o) = -o**3 + 6*o**2 + 8*o - 17. Let g be a(7). Let d(l) = -5*l + 11. Let i be d(g). Which is bigger: i or 123/2?
123/2
Let v be ((11 - 0)/(-22))/((-26)/244). Which is smaller: v or 5?
v
Let m = 102 - 102.02. Let o = -4.96 - -5. Let y = -1.96 - o. Does y = m?
False
Suppose -4*g = -4*i - 24, -3*g + 4 = -8. Which is smaller: i or -17?
-17
Let p = 1313 - 1312. Is -2/21 at most p?
True
Let s be (4/(-3))/(4/12). Let g be (1/(-6))/(13/351). Is g less than or equal to s?
True
Suppose 0 = -289*w + 276*w + 325. Are w and 20 nonequal?
True
Let v = 9 - 9.2. Let s = v + 1.2. Which is smaller: -1 or s?
-1
Let f = -10/207 + -313/3519. Let j = 2376421/306 + -7766. Let y = j + f. Which is greater: 1 or y?
1
Let b(s) = -9*s + 26. Let w be b(4). Let v(h) = -h**3 - 10*h**2 + 4. Let k be v(w). Is k at most as big as 13/4?
False
Suppose -5*j + 11 = 2*x + 40, -20 = 5*x + 2*j. Let a be (-117)/18*(-4)/x. Are a and -12 non-equal?
True
Suppose 0 = 5*c - 4*x - 14, 3*x - 9 + 3 = c. Suppose -5*m + 4*r - c = 0, 3*r - 4*r = 3*m + 7. Which is greater: m or -30/13?
m
Let x = 145555/34 - 4281. Let b = 2 + -3. Which is bigger: b or x?
x
Let r(t) = -t + 1. Let z be r(1). Let i be (-6)/15*(427/21 - 21). Is i bigger than z?
True
Let n = -91/5249 - -126939752/183715. Let s = 691 - n. Suppose 0 = -2*m - 5*z + 3, 0 = -2*m + 2*z + 2*z - 6. Is s bigger than m?
True
Let y = -0.3 + 0.5. Let v = 0.45 + -0.528. Let j = v - -0.678. Is j greater than or equal to y?
True
Let o(l) = l**3 + 19*l**2 - 21*l + 1. Let n be o(-20). Let b = n + -22. Is b smaller than -1?
False
Let n(r) = r**3 - 12*r**2 + 15*r - 7. Let b be n(11). Let c = b - 31. Is 7 smaller than c?
False
Let u = 8 - 7. Let p(j) = -j**3 + 3*j**2 + 4. Let o be p(3). Let s be 3/6*o/10. Which is bigger: s or u?
u
Suppose -4*c - 14*c - 1386 = 0. Is c >= -233/3?
True
Let o(m) = -m**2 + 7*m - 6. Suppose -3*t + 8*t = 35. Let x be o(t). Are -8 and x non-equal?
True
Let x = -19 + 17. Let w be x/(-312)*12/(-21). Let o = w - -1369/1092. Which is smaller: o or 2?
o
Let d = -8 + -2. Let m = d + 7. Is m at least as big as -4?
True
Let o be 5 - 2/(150/365). Does 0 = o?
False
Suppose -2*w = -4*s - s - 53, w = -3*s - 23. Let a = s + 9. Suppose a = 4*m + 1 - 5. Is -2/9 at least m?
False
Let b(y) = -43*y**2 - y - 1. Let s be b(-3). Let w = 191 + s. Let x = -2912/15 - w. Which is smaller: 1 or x?
x
Let c be -4 - 1 - 2431/(-102). Which is smaller: c or 18?
18
Suppose 4*g + k + 91 = 0, -3*g + 0*k + 2*k - 60 = 0. Let r = g - -23. Let l(a) = a**2 + 4*a - 7. Let j be l(-5). Which is bigger: j or r?
r
Let n = 1.05 - 3.3. Let c = n + -0.05. Which is greater: 0.1 or c?
0.1
Let s = -0.018 - 1.582. Let f = 3.6 + -3. Let c = f + s. Is -2 smaller than c?
True
Let g = -2603/161 + 115/7. Let q be 2*(1 - 12/8) - -2. Is q greater than or equal to g?
True
Let h = 957/161 + -41/7. Which is greater: h or 1/2?
1/2
Let k be (-9)/(-4626)*-1*100/5. Which is bigger: k or 1?
1
Let s be 2/(-8) + (-329)/28. Let k be (-1 - 32/s) + 3/9. Is k at most as big as 12?
True
Let n be 6 + 4 + 250/(-80). Which is greater: 7 or n?
7
Suppose 2*q - 3*q = 0. Let b = q - -1. Which is greater: -2/5 or b?
b
Let p(h) = h**2 - 7*h + 118. Let v be p(18). Which is bigger: 314 or v?
v
Let y be (2/5)/((-2)/10). Suppose 0 = -15*o + 19*o - 100. Suppose 0 = 6*g + o - 1. Which is smaller: y or g?
g
Let j = -4/3377 - -131771/57409. Which is smaller: 3 or j?
j
Let b = -0.51 - -0.71. Is b bigger than -45?
True
Let x(y) = 17*y - 16. Let z(j) = -52*j + 47. Let v(a) = 11*x(a) + 4*z(a). Let h be v(1). Let g(l) = -3*l + 4. Let w be g(3). Is h less than or equal to w?
True
Let i be -5*((-10)/25 + 0). Suppose 0 = -3*a + 4*b + 17, i*b = -3*a - 3*b - 28. Do a and 3 have different values?
True
Suppose 0 = -4*k - 0*z - z - 70, 0 = -k - 4*z - 25. Let y = k + 13. Let p be 1/(y*(-3 + 4)). Is p at most as big as 1?
True
Let s = -29.3 + 23.2. Is 5 smaller than s?
False
Let k be 0/(2 + 1) - 1. Suppose 4*l - 103 - 37 = 0. Suppose 5*g - 40 = -l. Which is bigger: k or g?
g
Let l(b) = -6*b - 11. Let y(t) = -t - 2. Let r(w) = -2*l(w) + 11*y(w). Let j be r(3). Suppose -10 = 5*f - j*f. Which is greater: -4 or f?
-4
Suppose 0 = -g - 0*j + 5*j + 71, 3*g = 2*j + 174. Let p = g - 62. Is -8 at most p?
True
Let g = 2 + -1.95. Suppose 2*u + 11 - 139 = 23*o, -3 = 3*u - 2*o. Does g = u?
False
Let s = 0.7 - 0.76. Let k = s + 3.06. Let i = k - 3.1. Are -2 and i unequal?
True
Let g = -56713/1892 - -27/172. Let h = -12092/407 - g. Which is greater: h or 1?
1
Let c = -31.9 + 22.6. Let i = -1.7 + c. Let l = -11.3 - i. Which is smaller: l or -1?
-1
Suppose -17*r = -16*r - 6. Let n be (r/15)/(2/(-10)). Let l(s) = -s**2 - 5*s - 3. Let f be l(-5). Is f smaller than n?
True
Let p be (260/80)/(1 - 25/24). Suppose -r - 75 = 4. Which is greater: p or r?
p
Let g = -623 + 769. Which is smaller: g or 147?
g
Suppose l = 3*l + 2*s + 8, 3*l + 5*s = -14. Let n = l + -3. Which is greater: n or -2?
-2
Let u = 0.0315 + -0.1315. Which is smaller: 331/7 or u?
u
Let k = 259/5 - 252/5. Let h(g) = g**3 + 2*g**2 - 1. Let f be h(-2). Which is smaller: f or k?
f
Let z = 0.2 - 8.2. Let y = z - -13.5. Let s = -5 + y. Which is smaller: 1 or s?
s
Let w be (-9 + (-12)/9)/((-1)/(-3)). Are -1/4 and w unequal?
True
Let t be (-62)/8 - (2 + -3). Suppose 0 = 2*z + u + 13, -24 = -70*z + 73*z - 3*u. Which is greater: z or t?
t
Suppose -2*t - 3*t = -5. Suppose 3*p - 3*z = -0*z, 4*z - 6 = 2*p. Let c be (-2)/p - (7 + -9). Which is smaller: t or c?
t
Let p be (3 - -1) + ((-822)/84 - -4). Is p bigger than -2?
True
Suppose -3*y + 54 = -5*y. Suppose -4 = 2*p + v + 2, 4*v = -4*p - 8. Let s be (p/22)/((-18)/y). Which is smaller: s or -1?
-1
Let l be -5 + 1 + (-5 - -13)/4. Is -21/38 > l?
True
Let i = -89 - -133. Let y = 44.1 - i. Do y and -0.05 have different values?
True
Let q = 0.37 - 3.47. Let w = q - -3. Which is smaller: w or 0.34?
w
Let c be (-192)/(-72)*9/(-4). Let n be ((-3)/c)/((-10)/100). Which is smaller: n or -21/4?
-21/4
Let n be ((-66)/(-24))/((-1)/4) + 1. Is -75/7 bigger than n?
False
Let z(j) = 3*j**2 - j - 2. Let a be z(-1). Let k be (8/(-4))/a*1. Which is greater: -3/13 or k?
-3/13
Let f = 613.63 + -13.63. Is 2 not equal to f?
True
Suppose 20 = -7*n - 1. Which is smaller: -13/7 or n?
n
Suppose -4*g + 368 = 4*o, 5*g = o - 126 + 16. Do o and 88 have different values?
True
Let t be 4464/216*1/6. Is 4 at most t?
False
Let a = -0.38 + 0.48. Let c = a - 3.1. Which is greater: c or -2/7?
-2/7
Let t = 7.294 - 0.294. Which is greater: t or -1?
t
Let v(g) = -g + 14. Let c be v(-10). Let o = -20 + c. Which is smaller: 16/3 or o?
o
Let t = 3 - 26. Let y = t + 22. Is y at most -0.2?
True
Let j = 1/168 + 109/504. Suppose -3*m + 2*u = -7*m - 16, 3*u + 15 = -3*m. Let b be (-4*2/(-32))/(m/(-12)). Which is smaller: j or b?
j
Let f be (0 + -4)*44/176. Is -2/1141 at least as big as f?
True
Suppose 0 = -24*z - 6 - 18. Are z and -3/16 non-equal?
True
Let x be 2*((-42)/4 - -2). Suppose -4*r - r - 19 = w, 3*r = w + 19. Let u = x - w. Is 1 >= u?
False
Suppose -2*x - 5*x = 0. Suppose i - 3 + 5 = x. Which is greater: -5/7 or i?
-5/7
Let j = 8163 + -8198.99. Let a = -36 - j. Which is smaller: a or 2/7?
a
Let n(z) = 7 + 2 - z + 3*z - 5. Let f be n(-2). Are f and -2/241 equal?
False
Suppose -5*p + 3*a + 1041 = -0*a, -5*a = 5*p - 1065. Let w be 2 + 2846/p + 0. Let g = w + -78/5. Is -1 less than g?
True
Suppose -7040 = 2*x - 12*x. Suppose 22 = 6*l - x. Which is smaller: 122 or l?
l
Let k be (40/(-280))/((-26)/14)*-1. Suppose 0 = -4*i + 22 - 10. Suppose -2*c + 1 = -i*c. Is c smaller than k?
True
Suppose 2*y + 4 = -2. Let o be (13/(-2))/(y/(-6)). Which is smaller: o or -14?
-14
Let g be (21/22 - 1)*-6. Let j = 350 - 349. Is j >= g?
True
Let r = -333.1 + 333. Which is smaller: r or -25?
-25
Let w be 10/6*96/160. Is -2/67 smaller than w?
True
Let k(j) = -2*j - 11. Let c be k(-7). Let y be ((-34)/4)/(c/192). Let w be 2/10 - y/280. Is 3 <= w?
False
Let a = -328/5 - -1327/20. Are a and -7/6 unequal?
True
Suppose -80 = -4*m + m + 5*a, -m - a + 40 = 0. Is m less than or equal to 36?
True
Suppose 0*v + a - 2 = 5*v, 0 = -3*a + 6. Let p = -38/3 + 13. Which is bigger: v or p?
p
Let w = 156 + -151. Is 5 equal to w?
True
Let i be 1*(7 + 1)/(-8). Which is gr