3)/(-216)). Which is greater: -1 or m?
m
Suppose 2002 = -5*o + 16*o. Let c be 28/o + 256/26. Which is bigger: 19/2 or c?
c
Let p be (4/1 - 3)*(0 - 4). Which is smaller: -65 or p?
-65
Let u be 5884/57 - 3/9. Let q = -77 + 180. Let y = q - u. Which is smaller: y or 2?
y
Let q = 56 - 112. Let z = 56.029 + q. Let x = -0.271 - z. Which is smaller: x or 0.1?
x
Let m = -24469 - -25145. Is m smaller than 1?
False
Let q be (-1)/(((-10)/6)/1). Suppose -8*j + 1 + 15 = 0. Suppose 0 = -2*m - j*m - 2*b + 8, -3*m + 3*b - 12 = 0. Which is smaller: q or m?
m
Let f(x) = -242*x + 129. Let o be f(12). Is o smaller than -2775?
False
Let g = 11069 - 121665/11. Let b = 779/77 - g. Is b greater than 1?
True
Let s = -4 + 7. Let y = -83.7 - -103. Let w = 17.3 - y. Is w > s?
False
Let j be (-136)/(-2924) + (-83460)/1796239. Is 0 bigger than j?
False
Let h(q) = -q**3 + 9*q**2 + 3*q + 3. Let r be h(6). Suppose 0 = 6*x + r - 213. Let s be -1 - -14 - (-3)/6. Do x and s have the same value?
False
Let x = 216.251 - 227.37. Let p = -0.081 + x. Let z = p - 0.8. Which is bigger: z or 1?
1
Let z = 75 - 67. Suppose -20 - 12 = -z*r. Suppose 5*h + 1 = 2*v, -5*v = -r*h - 0*v + 6. Which is smaller: -5/7 or h?
h
Let f be 106/6 - (-25)/75. Suppose -4*r + l = -54 - 116, -3*r + 3*l = -132. Let w be ((-8)/6)/(r/f). Is -2 bigger than w?
False
Suppose 2038 = 16*v - 2714. Is 311 at most v?
False
Let i be -2 + 1 - (4 - (-8 - -5)). Let s(t) = t**2 + 4*t - 21. Let o be s(i). Suppose 11*f = 22*f + o. Which is smaller: -3/25 or f?
f
Let q = 8385 - 20336. Which is smaller: q or -11952?
-11952
Suppose -2*x + 9 = 3*x + 4*v, 5*x + v = 21. Suppose -5*j + 3*z - x = -3, 2*z = 2*j. Suppose -y - 14 = 4*t, 5*t - 2 + 6 = y. Do y and j have the same value?
False
Suppose -122*x + 120*x - 18 = 3*u, 18 = -5*x - 3*u. Are 29/216 and x unequal?
True
Let y = -13062 + 13063.194. Which is bigger: -2/19 or y?
y
Let n = -938/113623 + 775183/17091853398. Let w = 1/1098 + n. Is -1 <= w?
True
Suppose 2*n - 5*i - 34 - 11 = 0, -66 = -4*n + 2*i. Suppose 3*q + 17*w + 90 = n*w, -2*q = -w + 60. Which is greater: q or -32?
q
Let y(u) = -u**3 - 8*u**2 + u + 18. Let f be y(-8). Suppose 0 = -s - 3*a - 15, -4*s - f = -0*a + 2*a. Suppose 10*v - 6 = 8*v. Is v >= s?
True
Let h(s) = s**3 - 22*s**2 + 21*s + 2. Let v be h(21). Suppose 4*i + 108 = v*y, -i + y = -6*i - 121. Which is bigger: i or -2?
-2
Suppose 3*m = -2*m. Let s(n) = 5*n + 40. Let a be s(26). Let o be (4/28)/(a/1309). Is o less than m?
False
Let t = -1 + 2. Let c(o) = 3*o**2 + 64*o + 18. Let q be c(-21). Let i be (-420)/(-106) + -4 + (-3 - q). Which is greater: i or t?
t
Let m be 40/24 + 117/(-65) + (-34)/(-30). Which is bigger: 4/1597 or m?
m
Let x = -7.00773 + 0.00773. Which is bigger: 6.12 or x?
6.12
Suppose -6*a + 1 = -41. Suppose 0 = 71*u - 70*u - a. Suppose 6*x + x + u = 0. Which is smaller: -1/43 or x?
x
Let g = -0.4771 - -0.4771. Which is bigger: 2009 or g?
2009
Let p = -187 - -354. Let g = 169 - p. Which is bigger: g or -7.4?
g
Suppose -5 = -5*r - 0, -4*y = 5*r - 701. Let c = y - 526. Is -352 not equal to c?
False
Let i = -53662 - -30533669/569. Is -1 <= i?
True
Suppose -5*q = -2*f - 21, 4*f + 3*q - 5 = -8. Let o be f*(4 - 65/15). Which is bigger: o or 22/23?
o
Let l(z) = 3*z**3 + 98*z**2 - 143*z + 4. Let i be l(-34). Is 245 less than i?
False
Let w be (-663)/(-204) - (-1 - -16)/5. Let v be 30/(-55) + 2*-1. Is w at most v?
False
Let g = -74.841 - 0.159. Let a = 75.33 + g. Let z = a + 11.67. Which is greater: 0.2 or z?
z
Suppose 247496 = -11*t + k, 5*t + 112488 = -6*k + 5*k. Are -22499 and t equal?
True
Let q(l) = -10*l**2 - 3*l + 1. Let w be q(2). Let m = -382 - -737. Let d = 310 - m. Is d at least w?
True
Let f = -6837 + 6867. Is f at least -10?
True
Let h(s) = s**3 - 8*s**2 + s - 16. Let q = -30 - -38. Let o be h(q). Which is smaller: o or -4?
o
Let q(m) = -137*m - 6368. Let c be q(-80). Which is smaller: 2/7 or c?
2/7
Let u be 9 - 6*(-95)/(-30). Is u <= -106/11?
True
Let m = -15102 + 15100.25. Which is greater: -0.43 or m?
-0.43
Suppose 0 = r + 4*w - 238 - 95, r - 3*w - 354 = 0. Suppose -5*z = -3*j - 265, -2*z + 7*z = 4*j + r. Which is smaller: -81 or j?
-81
Let r be (2/(-7) - (-3 + 244/28)) + -2733. Is -2738 at most r?
False
Let o = 268 + -256. Let l be 96/o - 498/58. Which is bigger: l or -2?
l
Let l = 4.957 - 5.057. Is l at least as big as 77/20?
False
Suppose 12*r - 8*r = 20, 5*u - r - 9115 = 0. Which is greater: 12759/7 or u?
u
Let g be (-13 + 1)*5/(-3). Suppose 4*o - g = 20. Suppose 8 = -4*q, -5*b + o = -b - 5*q. Is 1/7 < b?
False
Let d = -0.16418 - -0.16418. Are -7749 and d equal?
False
Let u(d) = 405*d + 7291. Let p be u(-18). Which is smaller: 2/10773 or p?
2/10773
Let a = -2334 + 3381. Which is bigger: a or 1049?
1049
Let m = 801 - 441. Suppose -6*r = m + 282. Are r and -107 unequal?
False
Let y be (-4)/2 - (-9)/3. Let o be y + -90 + (-5 + 5)/(-4). Let s = o - -88. Does s = -2/53?
False
Let s = 0.412 - 0.552. Let x = -21/40 - -1/8. Which is smaller: s or x?
x
Let a be (3 + -3)/(15 - 16). Which is smaller: -4/5721 or a?
-4/5721
Let v(h) = -297*h + 299. Let g be v(1). Is -6880 < g?
True
Suppose 1 = -5*v - 4, 3*v = -q - 1. Let a be (-7)/(-32) + q/(-12). Let l = 353/10464 - a. Is l at most -1?
False
Let w = 420.0521 - 0.0521. Let l = w + -433. Which is smaller: -2 or l?
l
Let g = -998.4 + 969.4. Which is smaller: 0.07 or g?
g
Let z = 14 - -33. Let m = z - -16. Let b = -78 + m. Which is smaller: b or -16?
-16
Let i = -129 - -77. Suppose 7034 = 27*n + 8411. Is n less than i?
False
Let w = 48 - 50. Let t be (w - 75/27)/(6/18). Let x = t - -14. Is -8 bigger than x?
False
Let d = -29.72 - 65.28. Which is smaller: 0.12 or d?
d
Let f = -106 + 39. Let a = f - -47. Suppose 0 = -23*d - 100 - 383. Is d not equal to a?
True
Let a = 354 - -124. Let c = a - 477.7. Which is greater: c or -170?
c
Suppose -5*g + 18 = 38. Let f be 22 - -1 - ((-24)/g + -1). Which is greater: f or 5?
f
Suppose 2*u + a + 4 = -3*a, 1 = 4*u - a. Which is smaller: 30/271 or u?
u
Let l = -34 - -4. Let a = l - -30.47. Which is smaller: a or 3?
a
Let t(z) = 5*z**3 - 349*z**2 - 68*z - 139. Let r be t(70). Which is smaller: -2.595 or r?
-2.595
Let x(q) = 5*q**2 - 2*q + 1. Let w be x(1). Let t = -17791 + 17796. Is t smaller than w?
False
Let h = -265.9 - -273.2. Let i = 46/45 + -4/5. Is i at most as big as h?
True
Let a be 1*5*-16*(-23)/(-1840). Which is greater: 6/5035 or a?
6/5035
Let v = 78/191 - 481/7258. Let x(n) = -2*n**2 - 7*n + 4. Let i be x(-4). Which is smaller: i or v?
i
Let l = 68.78 + -73. Let k = -0.12 - l. Let o = k + -3.88. Which is smaller: o or 0.1?
0.1
Suppose -19*v + v = -54. Suppose -4*t - 8 + 15 = v*f, -5*f = 3*t - 8. Let o(w) = 9*w + 2. Let s be o(-2). Which is greater: s or t?
t
Suppose 240 = 4*j - 2*j. Suppose 3*v = -6 + j. Suppose -2*o = x - 4*x + 101, 2*x - 94 = -4*o. Is v <= x?
False
Let r(z) = -12*z + 1786. Let y be r(12). Which is bigger: 0 or y?
y
Let j = 321.945 + -322. Let y = 220 - 1097/5. Which is smaller: y or j?
j
Let r = -145/129 + 80092/903. Which is smaller: r or 89?
r
Let p be (-15)/9*(9 - 12). Let w be (-3 + -1 + p)*1. Which is bigger: -16/45 or w?
w
Let i(f) = -389*f + 579. Let x be i(-2). Which is smaller: x or 0.3?
0.3
Suppose 2*j = -3*j + 20. Let b = -392 - -394. Suppose y - 4*u = 0, j*y = y + b*u. Which is smaller: y or -2/63?
-2/63
Let g be ((3 - -2) + -47)*-7. Let m = -339 + g. Is m <= -44?
True
Let g(u) = 12*u**2 - 465*u - 118. Let k be g(39). Which is smaller: 5611 or k?
k
Let c = 51903/76 + -2709/4. Which is greater: c or 7?
7
Let i = -0.3 + 0.2. Let s = -110309 + 110292. Which is smaller: i or s?
s
Let r(s) = -2*s**3 + 11 + 240*s**2 - 250*s**2 - 3 + 14*s. Let y be r(8). Let d be ((-6)/4)/(y/256 + 6). Which is smaller: d or 49?
d
Let h = -5.71 + 5.5182. Is 1 smaller than h?
False
Suppose -3*o - 55 = 2*p, 92*o = 97*o + 5. Which is bigger: p or -32?
p
Suppose -28*b + 170*b = 100394. Is b > 709?
False
Let t = 714 + -701. Which is smaller: -25/3 or t?
-25/3
Let h(l) = 438*l - 989. Let g be h(4). Are 763 and g equal?
True
Let j = -725/4 - -3609/20. Is j less than -189?
False
Let x(c) = -4*c**2 + 19*c + 1. Let a be x(5). Let b be ((-3)/a)/(2/8). Is 58/15 greater than b?
True
Let w = -910241/77 - -137868/11. Let b = -710 + w. Is 2 <= b?
True
Let o be -1*1