ue
Let o = 28.93 - 28.73. Is 70 at most o?
False
Suppose u + 0*s + 134 = -5*s, -4*u - 5*s - 491 = 0. Which is smaller: u or -239/2?
-239/2
Let b = 5 + -5. Let a = 32 - 32.075. Let t = -3.925 + a. Are b and t nonequal?
True
Let m(c) = 2*c**2 - 9*c. Let a be m(4). Let q be a - (283 + 1 - -4). Is -291 >= q?
True
Let w = 103 - 221. Let h = -118.04 - w. Let i = 105/2 + -51. Is h greater than i?
False
Let p be 5/(1 - 15/16). Let b(j) = -17318*j + 121305. Let r be b(7). Is p less than or equal to r?
False
Let i = 3505107880/1221 + -2870686. Let p = i + -8/33. Which is smaller: -1/3 or p?
-1/3
Let v(i) = -i**3 + 6*i**2 + 10*i - 21. Let g be v(7). Suppose 15*b - 18 - 12 = g. Suppose 2*q + 2*j + 7 = 3*q, -b*q - 2*j - 4 = 0. Which is smaller: q or -1/34?
-1/34
Let b be (-2)/(-10) - (-81)/45. Suppose -c - b*m = -6, c - 2*m + 1 = 3*m. Suppose -3*g + 2 + 7 = 0. Which is bigger: g or c?
c
Let d be (1 - 16/12)*0*1/(-2). Which is smaller: 3/188 or d?
d
Let r = -388 + 2714/7. Suppose 5*o + 2*m + 2 = -8, -o = -3*m - 15. Is o greater than or equal to r?
True
Let i = 2 - 5. Let y(g) = 2*g + 6. Let d be y(i). Let z = -214/3 - -643/9. Is d bigger than z?
False
Suppose 135 = -17*z + 33. Let n be (6/(-171) - z) + -5 + -1. Is n at least as big as 1?
False
Let v = -262 - -456. Let w = -195.11 + v. Let h = 1 + w. Which is bigger: -5/2 or h?
h
Let u(n) = -2*n**3 + 106*n**2 - 84*n + 188. Let p be u(52). Does 1228 = p?
True
Let d = -4270 + 4285. Suppose 0 = 4*k - z - 13, -4*k - 6*z + 4*z = -10. Let b be (k - 95/d)*6/(-205). Which is greater: b or 1?
1
Let a be 4*(-6 + (-27)/4). Let h = 9 - 59. Is a at least as big as h?
False
Suppose -2*n - 24 = c, -4*c + 5*n - 49 - 60 = 0. Let h = -27 - c. Let k = 57 - 173/3. Is k greater than or equal to h?
True
Suppose 3*g + 8 = 2*g. Let l be (3 - 0)*(-80)/720 + 236/(-30). Is g at least as big as l?
True
Let i be 10/((2/1180)/((-6)/48)). Let h = 763 + i. Let w = -26 + h. Which is bigger: w or 1/50?
1/50
Let b be (-5 + 57/6)*(17 + -5). Suppose -2*m + 12 = -5*s - 3*m, 0 = 3*m - 9. Let v be 5/s*b/21 - -4. Is 1 bigger than v?
True
Let y = -76/381 + -17/127. Which is greater: 1.539 or y?
1.539
Let a = -138/13 + 721/52. Let s be 611/188 + (-2)/16*2. Which is greater: a or s?
a
Suppose 3*n + d = -39, 52 = 2*n - 6*n + d. Let j(r) = 7*r - 7. Let t be j(n). Let f be (-45)/7 - 42/t. Which is bigger: f or -3?
-3
Suppose -4*j - 3*f - 1 = 0, -f + 0 + 5 = 4*j. Suppose -2*r - s + 20 = 0, -4*r + 48 = 2*s + j*s. Suppose r*o + 101 = 29. Is -6 less than o?
False
Let b = -562563/914 - 2/457. Is -615 at least b?
True
Suppose 258 = 3*x + 4*c, 7*c - 4*c = -4*x + 351. Suppose -87 = 3*u + x. Let b = -3137477 + 3137416. Is b greater than u?
False
Let k = 8 + -8. Let m = 6855878/1213 + -5652. Is m equal to k?
False
Let g = 6 - 6. Suppose -2*p + 9 = -3. Let q be 4/20*((-2)/p)/(-1). Which is smaller: q or g?
g
Let c = -25 + 24.172. Let g = 0.92 + c. Which is smaller: g or 0.2?
g
Let g(b) = -45*b**2 - 858*b + 32. Let j be g(-16). Which is smaller: 2241 or j?
j
Let z = 946/805 - -9/230. Let y = 447/371 - z. Which is smaller: y or 1?
y
Let n = -3177 + 3160. Which is bigger: 323 or n?
323
Let x = -52 - -362/7. Let v be (-5)/2*(18 + (-3936)/80). Which is smaller: x or v?
x
Suppose 0 = 15*c + 4*c - 285. Suppose -19*r = -22*r - c. Which is greater: r or -6?
r
Let x(r) = -r**2 - 6*r - 7. Let c be x(-5). Suppose 41 = -4*h + 7*g + 149, 5*g + 81 = -h. Is h greater than or equal to c?
True
Let o = 92.13 + -102.4. Is o at least -0.2?
False
Let h be 10/45 - 2437/(-9). Let o(b) = -8*b - 248. Let k be o(-65). Which is bigger: h or k?
k
Let b be 4 + (-2572)/(-40)*9. Let p = 582 - b. Let o = p + 69/70. Which is greater: o or -1.1?
o
Let p = 16.4 + -23.1. Let k = p + 47.7. Let x = k + -28. Do x and 1 have the same value?
False
Suppose i = 3, -89*n - 1820 = -93*n - 4*i. Are n and 450 equal?
False
Suppose -90*r + 11708 = -56692. Is r <= 757?
False
Let f be ((-6)/(-9))/(1 + -119). Let p = 24140 - 24141. Which is bigger: p or f?
f
Let i = -721/3447 + -5/383. Which is bigger: i or -0.0389?
-0.0389
Let q = -24583.1 - -24270. Which is smaller: -0.3 or q?
q
Suppose 4*y - 13 - 14 = 3*k, 2*k + 35 = -3*y. Let t be (k + -18)*(-2)/(-1). Do t and -56 have different values?
True
Let d be (22 - 1976/95)*(-90)/2. Let f = -1390/7 - -199. Which is smaller: d or f?
d
Let h(o) = 98*o - 146. Let m be h(6). Which is smaller: m or 440?
440
Let k be (-51)/(-15) - 8/20. Suppose -10 = k*o - o. Let v be 8/(-2) + 0/1. Is v at most o?
False
Suppose 5*m + 5*r - 22 = 2*m, 0 = -m + r - 6. Let f be m + 2*2/4. Let v be (-572)/(-936)*(-12)/(-44). Is f equal to v?
False
Let y be ((-2295)/(-102) - 24)*(-232)/(-6). Let x = -55 + -1. Is x >= y?
True
Let w = -33.98 + 33.98. Which is smaller: -0.8341 or w?
-0.8341
Suppose 74*l = -242602 + 38510. Is -2760 greater than l?
False
Suppose -4*r = -4*o + 248, 2*r + 106 = -3*o + 8*o. Suppose 5*q = q - 272. Does q = r?
True
Let l = -15 - -114. Let k = 100 - l. Is -19 greater than k?
False
Let s = -54 + 81. Let m be (-18)/s*(130/15 - 2). Suppose 2*z = 2*h + h + 3, 2*z = -5*h - 21. Is m greater than or equal to h?
False
Let r be (6/(-4))/(-1) + (-66)/36. Let j = 0.74 - 0.97. Let t = j + 4.13. Which is smaller: t or r?
r
Let r = -9061 + 5506. Which is greater: r or -3556?
r
Let m(f) be the second derivative of f**4/6 - 2*f**3/3 + 3*f**2 + 6*f. Let g be m(2). Let x be (-6)/(-69)*((-9)/g + 2). Which is smaller: 1 or x?
x
Let g = -14908 - -10301430/691. Is g at least as big as -2?
True
Let r = -131 - -134. Let y(t) = t**r + 3 - t + 660*t**2 - 681*t**2 + 18. Let l be y(21). Do l and -0.1 have the same value?
False
Let g = -7.3 - -2.4. Let z = 0.06639 - 2.06639. Is z greater than g?
True
Let z = -0.04629 + 0.04629. Which is smaller: 410/23 or z?
z
Let z = 0.06054 + -0.04054. Is -2/21 less than z?
True
Suppose 0 = 41*c + 1270 + 3445. Is 3 at most as big as c?
False
Let a = -75121 + 75120. Suppose 0 = n + 3 + 5. Is a bigger than n?
True
Let m = 21110/17 - 476554/391. Which is bigger: m or 2/7?
m
Let c(v) = -v**3 - 9*v**2 + 9*v - 12. Let t be c(-10). Let s be 3/4 + (-28978)/(-56) + t. Let j = -516 + s. Which is smaller: -0.1 or j?
-0.1
Let h = 0.354 - 86.354. Let m = -86.259 - h. Is m <= -0.1?
True
Suppose 5*d + 5*o = 0, 4*d - o - 14 = 11. Suppose -3*h + 0*h + d*m = 162, 4*m + 37 = -h. Which is greater: h or -45?
-45
Let z(c) = -1280*c - 292. Let y be z(16). Let n be y/26190 + 8/10. Let o be (-1)/(-1)*(-2)/(-2). Which is smaller: o or n?
n
Let a(i) = -i + 6. Let z be a(5). Let o be 6/39 + (-176)/26. Let q = o - -878/117. Which is bigger: q or z?
z
Let g be (-665)/912 + (-2)/(-3) + (-3885)/(-80). Suppose 4*p = -5*d + p + 240, 240 = 5*d + 2*p. Which is bigger: g or d?
g
Let h = -72 + 75.1. Let j = -662 - -663.1. Let q = j - h. Is -2/13 at least q?
True
Let y be -21 - -23 - 3957/(-932). Let m = y + 1/233. Is 5 != m?
True
Let x = -64 - -40. Let p(n) = n**3 + 9*n**2 + 20*n + 1. Let y be p(-8). Let f = -120 - y. Which is bigger: f or x?
x
Let y = -1407879/7 - -200765. Does y = -360?
False
Suppose 0*v + 4*v + 2*b = -102, 4*b = v + 21. Let r = -9 - -29. Let l = 19 - r. Is v < l?
True
Let s(w) = -w**2 + 2*w + 9. Let g be s(-6). Suppose -60 = -13*j + 11*j. Let f = g + j. Is f equal to -11?
False
Let a(c) = c**2 - 5*c - 26. Let o be a(-6). Suppose 4*b - 20 = 0, 5*z + 7*b = 12*b - o. Which is bigger: z or -7/4?
-7/4
Suppose 3*m = 3*n, m + n = 7 - 1. Let l be -6*(-1)/(m/18). Let w = 3221.1 + -3221.2. Is w not equal to l?
True
Suppose -607*o + 324826 + 453348 = 0. Is -1/6 <= o?
True
Suppose 5*n + b = 2631, -3*b + 1014 = 2*n - 41. Is 2101/4 less than or equal to n?
True
Suppose j = 4*u - 233 + 66, -u = j - 38. Suppose -u*z - z = -1428. Which is greater: 29 or z?
z
Let w be 229*(1/62)/(10/(-40)). Is w greater than -14?
False
Suppose 3*s + 2*s = -160. Let a be 6/(-1 + 118/222). Let f = -230/13 + a. Which is smaller: f or s?
s
Let r = -49.695 - -61.7106. Let n = r - 0.0156. Which is bigger: n or -2/19?
n
Let r = 56363446/909 - 62006. Let p = r - -5074/369963. Is p smaller than 0?
False
Let j(t) = 8*t**2 - 51*t + 8. Let s be j(6). Let z be (7 + -9)/(s/8 + 0). Is z greater than -1/4?
True
Suppose 3*f + 61 = -74. Let m = -162 - -205. Let z = f + m. Is z at most -7?
False
Suppose 2*g + 13 = -3*w, -5*w - 11*g + 20