 x < -1?
False
Let i = -0.581 + 0.181. Which is bigger: -160 or i?
i
Let u(l) = -21*l - 103. Let v(r) = 9*r + 52. Let s(k) = 4*u(k) + 9*v(k). Let q be s(17). Which is smaller: q or -22?
-22
Suppose -9*g + 3061 = 21603 + 5380. Are 0 and g unequal?
True
Let l be 0 + -3 + (3 - 1). Let j = -1338 + 73594/55. Is j > l?
True
Let f = -2336.2 + 2336. Let n = -199 - -2191/11. Which is smaller: n or f?
f
Let y be 16/209 + (-12)/66. Let b be (-4)/(-18) + 137*(-3)/135. Let m = 20/9 + b. Are m and y equal?
False
Let t(u) = u - 9. Let i be t(4). Suppose -4*l + 71 = 5*f, -4*f - 4*l + 57 = 1. Is i smaller than f?
True
Let h = -21 - -31. Let g be 74/14 + h/(-35). Suppose -g*a - 3*w + 25 = -3*a, -3*a + 2*w + 18 = 0. Is 7 < a?
True
Let r = -293 + 323. Let v(u) = 5*u - 133. Let z be v(r). Which is bigger: z or 20?
20
Let r = 8274 + -157266/19. Let z = -1163273/2 - -581636. Is r less than z?
True
Let b be ((-2)/(-14))/(((-2925)/(-405))/(-65)). Let u be (-1)/2*(-4)/(-2). Is b at most as big as u?
True
Let u = 11.69 + -11.69. Let m = -284.4 + 253. Is u at least as big as m?
True
Let w = -54.41 - -54.31. Which is smaller: 1456/5 or w?
w
Let f = 1770 - 665. Suppose f = 26*y - 949. Which is greater: 82 or y?
82
Let g be (-5080)/(-12)*(-918)/2856*2/(-3). Which is greater: 91 or g?
91
Let t = -7.94 - -8. Let x = -1.77263 - 0.62737. Is t != x?
True
Suppose 4*w - 140 = o - 119, -4*o = -w + 9. Is 1/9681 not equal to o?
True
Let y = 24823 - 24822. Which is smaller: -1522 or y?
-1522
Suppose 15*f - 356 = -341*f. Is 85/344 at most as big as f?
True
Suppose -2*p = 3*v - 4, -6*p + 11*p = 3*v - 32. Let i = 0.003 - 31.003. Let z = 21 + i. Which is bigger: v or z?
v
Let h(y) = -2*y**2 + 54*y + 55. Let g be h(28). Which is smaller: 7/2222 or g?
g
Let s = -11 - -21. Suppose 57*y + 1020 = 159*y. Is s <= y?
True
Let y(d) = -d**3 + 21*d**2 - 9*d + 189. Let v be y(21). Which is bigger: v or 38/749?
38/749
Let a be 366177/261 - (-1 - -2). Let c = 320 - -1082. Let d = c - a. Is d != -1?
True
Let s be (-300)/210 + (-8)/(-7). Suppose 3*c - 2*v + 7 = 0, -c - 3*v = -12 - 4. Which is smaller: s or c?
s
Suppose 3*v + 5 = 4*a, 10*v - 8*v - 5*a + 15 = 0. Suppose 0 = p - v*t + 10*t - 225, 0 = t - 2. Which is greater: 216 or p?
216
Let u be 3 - (-3)/((-3)/(-2)). Suppose -8*l - 33 = -u*l. Let g(k) = -2*k**2 - 6*k - 10. Let w be g(-3). Are l and w equal?
False
Let f be 10 - ((-339)/565 - (-102)/220). Is 10 >= f?
False
Let m = -1.97 + -137.03. Let j = 138.9 + m. Which is bigger: j or 0.078?
0.078
Let v = 816.4 - 816. Let y = 14.23 - -0.17. Let j = y - 15. Which is bigger: j or v?
v
Let q = -82484/233 + 354. Let w = q - -488/2563. Is 5 greater than w?
True
Let z = 4 + 1. Suppose z*b + 5 = -l + 13, -5*b = -2*l + 16. Let j be l/(-3)*(-210)/8. Which is smaller: j or 71?
j
Let a = 326 + -322. Let i = 10 - -5. Suppose a*g + 39 = i. Which is smaller: -13 or g?
-13
Let o = -2457 - -1700. Is o at most as big as -756?
True
Let k = 24 - 6. Let c = -86 + 83. Let a be (2 - (-19)/(-10))*(c + 1). Is k equal to a?
False
Let k = -714.19 - -711. Let u = -23.19 - k. Which is greater: u or 0.1?
0.1
Let s = 29855 + -29711. Which is smaller: s or 173?
s
Let t(z) = -2*z**2 - 79*z + 747. Let y be t(-47). Which is bigger: y or 72?
72
Let t be 225/(-2290) - 31/(-62). Which is smaller: t or 0?
0
Suppose p = -12*o + 7*o - 441, -2*o - 3*p = 179. Let y be ((-1 + 0)/(-10))/((-1826)/o). Is -1 > y?
False
Let p = 70883 - 985769884/13907. Which is greater: p or -1?
p
Let u be ((-7)/21)/(22/30). Suppose 0 = -5*z - 4*k + 51, z = -0*z + 3*k - 5. Let r = -7 + z. Which is smaller: u or r?
u
Suppose 0 = 2*u - 5*p - 14, -5*u - 3*p = -6*u + 6. Suppose 3*b = 15*b + u. Is -2/351 at least b?
True
Let q = 34695 - 34696. Are -2/37461 and q non-equal?
True
Let r be (-10 + 0)*32/(-5). Let f be 16/24 - (-2 + 724/(-12)). Let a = r - f. Which is smaller: a or -6/25?
-6/25
Let m(b) = b**3 + 3*b**2 + 4*b + 3. Let k be m(-2). Let j be ((-80)/20)/(120/(-1230)). Which is smaller: j or k?
k
Let s = -10524 + 10523.58. Which is greater: -23 or s?
s
Suppose 0 = 4*y + 2*o + 296, -3*y = -4*y - 5*o - 92. Is y greater than -790/11?
False
Let g(q) = 54 - 67 - q**3 + q**2 + 5*q - 7*q**2. Let k be g(-7). Let f be 15/140*(-4)/6. Which is bigger: f or k?
k
Suppose 41*i + 202 + 167 = 0. Let f be (-11556)/(-84) - i/21. Is f > 137?
True
Let d(j) = -j**2 + 2*j + 2. Let x = -41 - -45. Let m be d(x). Let o be 5/2 + 3/m. Is 2 bigger than o?
False
Suppose -8*k + 2*g + 3508 = 0, 5*k - 79*g + 80*g - 2188 = 0. Is k > 438?
False
Suppose o - 4*l = 11, -o - 3*l + 13 = -8*l. Suppose -5*r = -3*j, r + j + 23 = -o*j. Let z = 11/6 - 9/2. Are z and r nonequal?
True
Suppose 122*g + 513 = 25. Which is smaller: -9 or g?
-9
Let u = -1/1038 - -7823/39444. Let j = u + 33/76. Which is bigger: j or 2/7?
j
Suppose -c = -9 + 8. Let g be (4 - (2 + 1)) + c. Let z be 4/g*(4 - (-35)/(-10)). Which is greater: 4/35 or z?
z
Let s = -5321/48 - -107/16. Is s bigger than -103?
False
Suppose -60*h + 44*h + 52*h = 60408. Which is bigger: h or 1685?
1685
Let n be (2/3)/((-8)/(-12)). Let p(s) = s - 3. Let y be p(18). Suppose -y = 4*t + n. Which is greater: 2 or t?
2
Let r = -10.1 + 11.1. Let x = -366 - -370. Which is smaller: r or x?
r
Let k = 96.3 + -103. Let r = k + -74.3. Is 0.1 less than r?
False
Let h = -431 - -3469/8. Let x be 5 - (-5 - 144/8*(-10)/30). Which is greater: h or x?
x
Suppose 10 = 2*i, 0 = 2*s - 5*i - 222 - 133. Is s at least as big as 4?
True
Let g = 0.176 - 230.176. Let m = -230 - g. Let n = -116 - -2203/19. Which is smaller: m or n?
n
Let v(t) = 58*t**3 - 14*t**2 - 22*t - 3. Let z be v(-2). Which is bigger: -482 or z?
z
Suppose 19 + 6533 = 168*b. Do b and 40 have different values?
True
Let i = 2139 - 2026. Do 105 and i have different values?
True
Let n = 17352 - 22276. Which is greater: -4926 or n?
n
Suppose 6*l - 7*l + 40 = 0. Suppose 4*v - 200 = -v. Let s = l - v. Is 1/19 <= s?
False
Let t = -335/324 + 23/81. Suppose -4*a = -2*r + 5*r - 280, -3*r - a = -268. Which is greater: r or t?
r
Let v = 12845 - 12814. Which is smaller: -108 or v?
-108
Suppose 115*j = -51*j - 250660. Is -1512 greater than or equal to j?
False
Let s = -61.714 + -2.086. Which is greater: s or -5?
-5
Let n = 36 + 209. Let i = n - 133. Is i greater than 113?
False
Let x be (-43)/(-80) - (-27)/(-45). Let r be 8/(-12) + 4/(-3). Let l be 6/r*11/33. Is x <= l?
False
Let r = 1736.4 + -1736.2. Which is bigger: -8/953 or r?
r
Let k(s) = -3*s**3 - 4*s**2 + 11*s - 46. Let f(j) = -2*j**3 - 6*j**2 + 10*j - 47. Let c(h) = 3*f(h) - 4*k(h). Let n be c(4). Which is bigger: n or 338?
n
Let j be 1116/(-51) - 2/17. Let f(v) = -v**3 - 22*v**2 + 2*v + 28. Let w be f(j). Let d = w + 18. Which is greater: d or 3/5?
d
Let w be 8/(-3)*(-102)/4. Suppose 3*g + 182 = -x, -7*g = -5*g - 5*x + 127. Let c = w + g. Which is smaller: 9 or c?
c
Let i = -0.6331 + 0.6331. Which is greater: i or -1414?
i
Let q = -17/2820 + -8387/1181580. Is q bigger than -1?
True
Suppose 2*p + 21 = -3*o, -4*p - 5 = -4*o + 7. Suppose -i - 5 = 0, 2*a + 11*i - 2 = 13*i. Let w be 1 - ((-63)/p + (-2)/a). Which is greater: -9 or w?
-9
Let q(p) = 12*p + 150. Let u be q(-25). Which is bigger: -152 or u?
u
Let i be 1/(2225/100 - 22). Which is bigger: i or -4/117?
i
Let o = -173.94 + 174.94. Which is bigger: -5.014 or o?
o
Let s(x) = -x**3 - 13*x**2 + 2*x + 27. Let b be s(-13). Let v be 6/1845*5*-1. Which is bigger: v or b?
b
Suppose 3569 - 92657 = 64*v. Is -1402 less than or equal to v?
True
Let x be (344/774*(-6)/16)/3. Which is bigger: x or -52?
x
Let q be 3/(-4)*(20 - 240). Suppose -14*z - q = -3*z. Which is smaller: z or -20?
-20
Let m = -13420 + 13458. Which is smaller: m or 32?
32
Let y = 78.8 - -22.2. Let x = y + -112. Which is smaller: x or -0.2?
x
Let m(z) = -2*z + 3. Let f be m(-1). Suppose f*j - 119 = -4*r, -3*j + r = -46 - 39. Let o = 31 - j. Is o at least as big as 4?
True
Let r = -496.01 + 495.8. Is r smaller than 0.4?
True
Let a = 41427847/30749680 - 56/384371. Let k = a - 18/13. Which is smaller: k or 0?
k
Let a = 405 - 397. Let l be ((21/a)/(-21))/((-14)/24). Is 1 less than l?
False
Let k = -878 + 482. Let c = k - -357. Is -1/6 greater than c?
True
Let c = -4.93 - -0.43. Let b = 4.475 + c. Let i = 0.125 + b. Are 2/15 and i nonequal?
True
Let j = -7.3 + 7.11. Let y