1. Is u > -1?
True
Let x = -136.24 - 32.76. Does x = -2?
False
Suppose 10*i = 7*i. Suppose -2*g - 2*g = i. Which is bigger: 2/711 or g?
2/711
Let f = 146 - 95. Let i = f - 45. Suppose o - 8 = -i. Are o and 4/3 equal?
False
Let k = 816 + -814. Suppose 4*l + k*q + 102 = 0, -97 = 12*l - 8*l - 3*q. Which is bigger: -155/6 or l?
l
Let i = 14092322 + -7274354. Let l = i + -1499956801/220. Let k = 16/55 - l. Are k and 18 equal?
False
Let n = 4342 + -4342. Which is greater: n or 2357?
2357
Let j = -129679.582 - -129474. Let u = 205 + j. Let b = u - 0.018. Which is smaller: -0.2 or b?
b
Let z = 382895/12 + -99110/3. Is -1130 greater than z?
False
Let i be (-789)/(-1841) + 4810/14. Let t = -10 - -11. Is i at least as big as t?
True
Let r = 32963/94380 - 49608/605. Let w = r - -245/3. Are w and 1 equal?
False
Let f be -9 - (-26 - (-1206)/72). Is -15895 <= f?
True
Let g(a) = a**3 + 2*a**2 + a + 1. Let k = -85 + 71. Let r = 12 + k. Let b be g(r). Which is greater: b or 1/19?
1/19
Suppose h = -p - 3*h + 26, 2*h = -2*p + 22. Let o be ((-11)/3 - (3 - p))*-9. Let i be (14/49)/(1 - 3/o). Is i equal to 2?
False
Let c be ((-4)/6)/(-7 - 11868/(-1692)). Let l be ((-7 - -5) + c)*(3 + 0). Is l != -1?
True
Let h = 103 + 340. Let x = -442 + h. Is -1/1036 smaller than x?
True
Suppose -4*x = -2*t + 2, 0 = 5*t - 5*x - 10 - 0. Let o be ((-8 - -2)/3)/(t + -1). Is 2/107 > o?
True
Let c be (-3)/(-499) - 0/(-1). Let v = 778689171/32159337430 - 23/1171774. Let o = v - c. Which is smaller: 0 or o?
0
Let u = -82 + -26. Let c be ((-107)/(-5))/((-126)/70). Let z = -223/18 - c. Which is smaller: z or u?
u
Let p = -38830/183 + 174/61. Let t = p + 55946/267. Which is bigger: 1 or t?
1
Let y = -39637 - -41711. Do y and -2 have the same value?
False
Suppose 4*y = -f + 32, -3*y = f - 5*f - 43. Let u be (6*8/16)/(y/(-6)). Which is greater: -5 or u?
u
Let z be (0 - 0)*32*(-2)/(-64). Are z and 4/5729 equal?
False
Let r be 2/(-2) - (11 - 2). Suppose -3126*h = -3139*h. Is r at least h?
False
Suppose 2*z + 12 = 0, -38*z = 5*x - 33*z - 535. Which is bigger: x or -6?
x
Let a be (-50)/(40/4) - -1*11. Let c be (-152)/a*5 - (1 + 2). Is -131 > c?
False
Let r = -2 - -4. Let v = 1401 + -1398. Suppose -v*u = r*u. Are u and -7/5 non-equal?
True
Let i(t) = -11*t - 122. Let y be i(-12). Suppose 78 = y*l + 8. Is l at least as big as 11/2?
True
Suppose 12 = 3*b + 3*g, 8 = 2*b - 0*b - 4*g. Suppose 0 = -b*c + 7*i - 4*i + 139, c + 2*i = 32. Suppose 33*u - c*u = 14. Which is smaller: -15 or u?
-15
Let t(a) = -a**2 + 5*a + 3. Let s be t(5). Let u be 78/(-91)*(322/252)/((-1)/3). Which is greater: s or u?
u
Let u = 213 - 147. Suppose 4*t + u = 4*o + 7*t, -o - 2*t + 14 = 0. Is o less than 10?
False
Suppose 2*t - 4*s = -778, 4*t + 364*s = 368*s - 1540. Which is smaller: t or -2?
t
Let v = 1/1183 - 1290/126581. Which is smaller: -1 or v?
-1
Suppose 4*a = -3*y - 2460, a + 186 = 2*y - 440. Are a and -607 non-equal?
True
Suppose -7*d + 5*d - 5*l - 57 = 0, 0 = 2*l + 6. Let m = d + 24. Let g be (-63)/6*m/(-35). Is 2/7 < g?
True
Let a = -19125 - -19115. Let z = -5.9 + 6. Is z less than a?
False
Let d = 41.31 + -39.5. Let o = d + -16.61. Let q = o + 15. Which is smaller: 2/15 or q?
2/15
Let n = 5 + -9. Let j be (-5*(-8)/(-20))/((-1)/(-2)). Let c be 231/(-42) - (1 + 6/j). Is c < n?
True
Suppose 3 = 4*z - 21. Let f(u) = 7*u + 1. Let a(v) = -3*v + 2. Let b(c) = 3*a(c) + f(c). Let x be b(z). Which is greater: x or -7?
x
Let u be (32/(-88))/(24/44). Are u and 232/13 non-equal?
True
Let m = -91 - -116. Let a = -24 - m. Let q = a + 42. Is q smaller than 6?
True
Let s(h) = -5*h**2 - 36*h - 20. Let d be s(-8). Is -58 > d?
False
Let b = 10.5 - 17. Let k = b - -5. Let t = 2442 + -2440. Which is smaller: k or t?
k
Suppose -d - 2*d + 22 = a, -2*a - 28 = -2*d. Let p(c) = -c**2 + 8*c + 12. Let l be p(d). Let o(b) = -b**3 + 14*b**2 - 25*b + 15. Let h be o(12). Is h > l?
False
Let n = -1/618494 + -137922997/720545510. Let c = 216226/233 - 928. Let r = n - c. Which is smaller: r or -2/5?
-2/5
Let q = -226.23 + 224.83. Which is smaller: q or -169?
-169
Suppose -g - 10 = -11*g. Let n be (g - 1)/5 - (-2 - 59). Suppose -b + 3*y - 21 = 0, -y = 5*b - 5*y + n. Which is bigger: -6 or b?
-6
Let o(s) = s**2 + 37*s + 100. Suppose -35*r = 838 + 317. Let h be o(r). Are -360/11 and h nonequal?
True
Suppose 2*y - 4*r - 5 = -19, -6 = 3*y - 3*r. Suppose -y - 42 = -9*x. Suppose -3*p - x*s = -22, 13 = -3*p - s + 3*s. Is -1/2 greater than p?
True
Let r(l) = -l + 30. Let w be r(23). Suppose -w*u + 15 = 36. Let m be 3/(-6) - 26/4. Is u equal to m?
False
Let i be 1*((-135)/45)/((-21)/(-59)). Which is smaller: i or -0.37?
i
Let v = 9516 - 85636/9. Which is smaller: v or 2/161?
2/161
Let b = -0.1 + 0.1. Let z = -723 - -453. Let g = z - -298. Which is smaller: g or b?
b
Let y be 3 + 2/4*2. Let d be (y - 79)*(-10)/(-25). Let r be (-93)/d - (-2 - -5). Are r and -1 nonequal?
True
Let b = -69 - -74. Suppose -b*t = u - 26, -5*u + 3*t - 6 - 4 = 0. Which is greater: 2/43 or u?
u
Let h = -22 - -39. Suppose d - j + 11 = 3*j, d + 3*j - h = 0. Let f be (-18)/8 + 2 - 135/36. Which is greater: d or f?
d
Let d(v) = -2*v**2 + 3*v - 6. Let p(o) = 4*o**2 - 5*o + 13. Let g(y) = 5*d(y) + 2*p(y). Let q be g(2). Is -48/25 < q?
False
Let a(c) = 383*c + 7 - 40 - 388*c - 3. Let n be a(-7). Let k be n/((-6)/(-14)) + (0 - -3). Do k and 0.16 have different values?
True
Suppose -5*i = 0, 2*i - 100 = -5*s + 7*i. Let n(m) = -3*m + 51. Let t be n(s). Let y(k) = -12*k - 44. Let a be y(t). Are 1 and a nonequal?
True
Let n(t) = -4*t**3 + 16*t**2 - 161*t + 546. Let z be n(20). Which is greater: -28275 or z?
z
Suppose 141*d - 2071 + 238 = 0. Does 333/23 = d?
False
Let g = -252 - 38. Let b = g - -315. Let f = -0.4 - -0.2. Is b at most as big as f?
False
Suppose 4*m + 1572 = h, -8*m + 10*m + 796 = -2*h. Let d = m - -394. Which is smaller: -4 or d?
-4
Suppose r - 2 = -2*t, 4*r = 2*t - 22 - 20. Let i = r + -38. Which is bigger: i or -47?
i
Let j = -217 + 23217/107. Let f = 260733 + -55796965/214. Let o = j + f. Which is smaller: o or 0.2?
o
Suppose -86 = 2*f + 5*x - x, -3*x - 126 = 3*f. Let s = 2073 + -2062. Let a = f - s. Which is smaller: a or -53?
-53
Let n(t) = t**3 - 7*t**2 - 16*t - 15. Let a = 46 - 37. Let j be n(a). Suppose -4*r - 52 = o, 5*o - 2*r - j*r = -210. Is -43 smaller than o?
False
Let u be 152/(-28)*(-1)/2. Suppose -3*j = -3*s - 30 + 18, -8*s + 22 = j. Which is smaller: s or u?
s
Suppose -v = 3*h - 37, -42 - 3 = -3*h - 3*v. Let x(i) = i**2 + 7*i + 1. Let s be x(-9). Is s at least as big as h?
True
Suppose 2*l + h + 1154 - 454 = 0, -5*l - 1740 = 5*h. Let z = 351 + l. Is -3/259 less than z?
False
Let l = 18676 + -18671. Which is smaller: -148 or l?
-148
Let v = 181.262 + -181.2. Which is smaller: 6 or v?
v
Let a = -222 - -224. Suppose -292 = 2*d - 7*d - a*p, -2*p = -2. Is d != 59?
True
Let h = -2642 - 425. Is h less than -3067?
False
Let l be (-2)/7 + 57/(-21). Let r(i) = -2*i**2 + 14*i + 5. Let y be r(7). Suppose 2*g + 3*j = -8, -y*j + 9 - 1 = -2*g. Which is smaller: g or l?
g
Let r be (-318787)/(-22771) - 10 - 4. Is 0 > r?
True
Suppose a = 3*g + 11902, 193*g = 4*a + 190*g - 47644. Is 11914 != a?
False
Let f = -2374 - -2298. Which is smaller: -13 or f?
f
Let i(a) = -a**3 + 4*a**2 - 6*a - 1. Let y be i(2). Let d(z) = z**3 + 5*z**2 + z + 5. Let g be d(y). Is 3/131 at least as big as g?
True
Suppose 2 = z - 3*z + r, 3*z + 8 = 4*r. Suppose 0 = 4*f + g + 5, -16*g + 12*g - 20 = z. Which is greater: f or 2/153?
2/153
Let m be (2/(-1))/(428/(-214)). Is m < 4/1489?
False
Let c = 916.434 - 1003.56. Let m = c - -0.126. Let h = m + 87.042. Is h greater than -1?
True
Let v = -737/2 + 369. Which is greater: v or 628?
628
Let c be 9 + 1035/(-3)*(-300)/(-11540). Which is greater: -1 or c?
c
Let j = -4518 + 4518. Let f be (70/(-25))/(114/10). Is j smaller than f?
False
Let o(s) = 266*s + 1862. Let p be o(-7). Is p < -48/1271?
False
Let a(l) = 184*l**3 - 5*l - 4. Let i be a(-1). Let s = i + 179. Which is smaller: -14 or s?
-14
Let l = -12687 - -13055. Which is smaller: l or 0?
0
Let x = -61.64 - -0.64. Let p = 94 - 93. Is x less than or equal to p?
True
Let o = 40722 + -29784. Which is smaller: o or 0.1?
0.1
Let i = 1/464 - 697/464. Let t = 485 - 506. Is i > t?
True
Let w(v) = v**3 - 28*v**2 - 277*v + 4