 be r(9). Suppose 3*x - 2*y + 3 = -y, h = x + 3*y + 1. Is -0.05 greater than x?
True
Let g = 2.5 + -17.5. Let u = -16 - g. Which is smaller: 1/4 or u?
u
Let x = 0.34 - 0.24. Let s = 0.05 - -0.1. Let r = 0.85 - s. Which is greater: x or r?
r
Let u(i) = i**2 - 2*i + 185. Let b be u(0). Suppose -b + 49 = -8*m. Let f = 40 + -23. Is f >= m?
True
Let q be (-2)/6*(-5 + 8). Let o = -0.02 - -0.05. Let f = o + -0.08. Which is smaller: q or f?
q
Let y = -1078 - -1077. Does -75/32 = y?
False
Let h = -13 + 12. Let p be h/2 - 8/(-16). Let n be -3 - p - (-8)/1. Is 4 less than n?
True
Let l = -20 + 6. Suppose 3*u = -5*r - 17, -2*u - 4 = 94*r - 98*r. Is r less than or equal to l?
False
Let j be 2/(-6) - (-637560)/2006154. Let s = 2/383 + j. Which is greater: 1 or s?
1
Let m = -0.0679 + 0.0954. Are m and -2/5 unequal?
True
Let c = 77/2 - 1775/46. Let s(g) = g - 13. Let y be s(11). Let p be (y/20)/((-22)/55)*4. Is p at most c?
False
Let n be 8/(-6)*6/(-4). Suppose -16*c = c + 85. Let h be (2/(-4))/(138/30 + c). Which is greater: h or n?
n
Let s = -307 + 289. Are -18 and s non-equal?
False
Let t = -21.7 + 21.7. Which is smaller: 3/14 or t?
t
Let g = -18.3 - -0.3. Let f = g - -18.5. Let m = -0.4 - 0.6. Is m > f?
False
Let w = 706894/9 + -78914. Let l = -369 - w. Is l at least -1/2?
True
Let m = 5828/6435 - -2/585. Let t be -4 - (-1)/((-1)/(-10)). Suppose -2*j = 5*r + 15, 3*r - r = -t. Is m < j?
False
Let n be 22/77 - 205/7. Let y = n - -29. Which is greater: y or 4?
4
Let g(a) = -a**3 - 2*a**2 - a - 7. Let s be g(-3). Let i = s - -20. Let b = 13 - i. Is b at least -13?
True
Let w = 41.9 + 11.5. Let z = 53 - w. Let g = -0.06 + -1.94. Which is smaller: z or g?
g
Let o be (4/(-6))/(12/954). Let g = o - -53. Which is smaller: g or -1/72?
-1/72
Let p(x) = x - 4. Let t be p(0). Suppose 213 = -5*m + 1203. Let v be m/(-1573) + t/22. Do 1/2 and v have the same value?
False
Let y(p) = 11*p**2 - 23*p - 3. Let g(h) = 5 - 1 + 0*h**2 - 5 + 4*h**2 - 8*h. Let r(q) = -8*g(q) + 3*y(q). Let v be r(5). Is 0 greater than v?
True
Let g = 386 + -749. Is -363 less than or equal to g?
True
Let d(q) = -7*q - 10. Let a be d(-1). Let y be (-1028)/(-20) + (36/(-15) - a). Is y at most as big as 51?
False
Suppose -82*u + 110*u + 56 = 0. Is 62/5 at most u?
False
Suppose -u = 4*i, 4*i = 96*u - 98*u. Is -1/268 not equal to i?
True
Let f be 63/(-15) + (-1)/(-5). Let a(q) = -8 - q**2 + 9*q + 13 - 2 + 2*q**2. Let z be a(-8). Is z <= f?
True
Let c = 31 + -7. Let b = -44 + c. Is b smaller than -20?
False
Let m(d) = d**3 - 11*d**2 - 23. Suppose 4*b = b + 5*l + 18, 3*b + 5*l = 48. Let f be m(b). Is -0.2 greater than or equal to f?
True
Let s be (-2)/(-6*3/(-90)). Is -12 <= s?
True
Suppose -8 = -y + 9. Suppose y = -4*m - 5*g, -6*m = -2*m - 3*g + 9. Which is greater: m or 2/7?
2/7
Let w = -35 + 279/8. Let v(i) = 2*i**2 - 6*i - 15. Let f(k) = -4*k**2 + 11*k + 31. Let s(j) = 4*f(j) + 9*v(j). Let d be s(6). Is d at most w?
False
Suppose -2*d = t + 45, 2*d = -t - 4*t - 25. Let s = -137 + 687/5. Is d at least as big as s?
False
Let b be (-802)/(-4)*(-2)/(-15). Let o = b - 82/3. Are -1/5 and o nonequal?
True
Suppose -1050 + 186 = 16*w. Is -273/5 less than or equal to w?
True
Let o = 52 - 7. Let n = 46 - o. Which is smaller: -2/11 or n?
-2/11
Let a = -1223 + 1040. Which is bigger: a or -180?
-180
Let d be -6*12/(-144)*0. Is d >= -2/1151?
True
Let a(d) = 2*d**3 + 21*d**2 + 11*d + 10. Let m be a(-10). Is m at least 16/23?
False
Let d = 63.0662 - 7.9572. Let a = d + -0.109. Let x = 38 - a. Which is smaller: x or 0.1?
x
Suppose 7*x + 4*o = 2*x - 298, -3*x = 3*o + 180. Which is smaller: x or 1/2?
x
Suppose -41 = h - 5. Let g be 133/252 + (-8)/h. Which is bigger: g or 1/3?
g
Let f = 34 - 33. Let c be (f - 1)/(3 - 2). Are 2/123 and c unequal?
True
Let m be -2*(-100)/44 + (-19 - -14). Are m and 3/5 equal?
False
Let u = 737 - 1507/2. Let t be (-2 - 6) + 135/(-15). Is u bigger than t?
True
Let o be (-26)/(-3) - 3 - -2. Let r = -121/15 + o. Is r less than or equal to 11?
True
Suppose 2*k + 70 = 7*k. Let d = 3848 + -3834. Is d smaller than k?
False
Let v = 340 - 346. Is 1 greater than v?
True
Let t be (-3)/(-4) + 63/12. Let h be 812/2310 - 2/t. Which is smaller: h or 0?
0
Let h be 32/6*(-4)/(-96)*-2. Let i be 6 + 2 + (-110)/15. Is i at most h?
False
Let i = 103/25 + -24873/6025. Let w = -14095645104/1205 + 11697633. Let d = w + i. Which is smaller: 3 or d?
d
Let g be (-90 + -2)*7/(-14). Let l = 36 - g. Is l <= -9?
True
Let j = -59 + 235/4. Let m(d) = 4*d + 4. Let u be m(2). Let l be 3 + 30/(-8) - 3/u. Which is greater: l or j?
j
Suppose 3*y + 6 = -4*x, 3*y = 2*x - x - 6. Is x bigger than 2/397?
False
Suppose u = -o - 2*o - 19, 0 = 3*u + 12. Let q(t) = -t**2 + 3*t + 7. Let d be q(o). Let w be -1 + (0 - d/18). Is -1/2 != w?
True
Let o be (2/7 + 234/504)*32. Are 34 and o non-equal?
True
Let l = -0.1 - 7.9. Is l at most as big as -0.4?
True
Let o = 15 + 18. Let g = 32 - o. Which is smaller: 1.2 or g?
g
Let a(y) = -y**2 + 16*y - 42. Let i be a(19). Let t = 296/3 + i. Is t equal to -71?
False
Let s = -508/295 + 130279/67260. Let j = s + 2/57. Suppose 16 = 4*i - 4*z, -2*i + 4 + 4 = 4*z. Is i < j?
False
Let k be ((-2)/(-213))/(187/(-51) + 1). Which is bigger: k or 0?
0
Let p(g) = 2*g + 1. Let t(w) = -w**3 + 9*w**2 - 7*w - 9. Let j be t(8). Let k be p(j). Let v = 1/7 + -10/21. Is k <= v?
True
Let k = -541 + 15691/29. Suppose 0 = 2*y + y - 6. Suppose 0*r - 2*r = y. Is r less than or equal to k?
True
Let c(w) = 12*w**3 + w**2 - 3*w + 1. Let n be c(1). Let o = -10 + n. Which is smaller: o or 82?
o
Let f be -28 + 0 - (2 + (6 - 6)). Let r = f - -39. Which is smaller: 10 or r?
r
Suppose 2*k = -6*k - 136. Let b(h) = h**3 + 17*h**2 + h + 21. Let a be b(k). Which is greater: 5 or a?
5
Let z = 11137/3 + -81085/21. Let a = 148 + z. Is a <= 0?
True
Let f be (14/357)/((-4)/3). Is 2/3 not equal to f?
True
Let w(c) = c + 1. Let q be w(2). Let o be (q + 45/(-24))/(-3). Let h = 1 - 1. Which is greater: o or h?
h
Let u = 31.79 + -32. Let k = -3.3 + 2.3. Which is smaller: u or k?
k
Let u be (-1869)/1827 + (0 + 2 - 3) + 2. Let c(o) = o**3 - 2*o**2 + o - 2. Let w be c(2). Which is bigger: w or u?
w
Let g = 281/70 + -33/10. Let w(y) = y**3 - y. Let v be w(-1). Which is bigger: g or v?
g
Let l be -131 + (-1 - (-6)/8). Let x = 304 - 434. Let d = x - l. Is 1 < d?
True
Suppose 0 = -5*v - 2 - 8. Suppose 8*p + 3 = 11. Let n be p/v + 3/(-6). Which is smaller: n or -1/20?
n
Let g = 271 - 3521/13. Let n = -4/143 - g. Let s(k) = k**3 + 5*k**2 - 5*k + 7. Let j be s(-6). Which is smaller: j or n?
n
Let r = -0.19 - -1.19. Let x be (-10)/(-65) + 8/(-221). Which is smaller: x or r?
x
Let d = -52/3 - -53/3. Is d > 1.8?
False
Let k = -517 - -392. Which is smaller: k or -126?
-126
Let r(u) = 0*u - u**2 + 0*u**2 + 0*u**2 - 3*u + 2. Let g be r(-2). Suppose 0*b + g*b = 0. Which is smaller: b or -1/23?
-1/23
Suppose 253 = -d + 31. Is -221 smaller than d?
False
Let m be 3*4/6*20/(-8). Is -29/7 bigger than m?
True
Suppose 19*r = 13*r - 16*r. Which is greater: -4/23 or r?
r
Let o = -38 + 37.68. Let n = o - -0.29. Let q = -95/3 - -32. Which is greater: q or n?
q
Let h = 11.6 - 0.6. Let r = h + -18. Which is smaller: -1/9 or r?
r
Let q be (2 + 2)*498/(-252). Let o = q - -25/3. Is -3 at most as big as o?
True
Let p be (-397)/(-12) + (-2)/(-3). Let j = 33 - p. Let i be -4 + ((-70)/175)/(1/(-5)). Which is smaller: i or j?
i
Let p be (3/207)/(-1*(3 - 2)). Does -1 = p?
False
Let k be (-12)/(-16)*(-13)/3. Let m = 3 + k. Let s = 244.8 + -244.2. Is s at least m?
True
Let k(g) = -6*g - 21. Let o = -2 - 3. Let l be k(o). Is l at most 7?
False
Let v be 81/(-13) + (-1)/(-5)*5. Let t = -1182/221 - v. Is t <= 4/5?
True
Suppose 0 = -4*w - 0*w + 16. Let i(h) = -h**3 + 7*h**2 - 7*h + 3. Let v be i(w). Let f = 23 - v. Which is smaller: f or 2/17?
f
Let f = -7.4 + -1.6. Let c = 8.8 + f. Is 0.03 smaller than c?
False
Suppose 24 = -s + 5*t + 2, -s + 2*t - 10 = 0. Suppose 0 = -l - q, 4*l - 4*q = 6 + 2. Suppose 6 = -5*z + 4*m, -3*m + l = -4*m. Is z smaller than s?
False
Let b(w) = 2*w**2 - 19*w + 90. Let d be b(5). Which is smaller: 52 or d?
d
Let d be (-4)/30 + (-3 - 7395/(-2475)). Which is smaller: 0 or d?
d
Let x = 337 - 19. Which is smaller: 316 or x?
316
Let t = 12.27 - 16.27. Let u be 2 + 2/(-