3 + 425. Let s(i) = -272*i + 30527. Let b be s(113). Which is bigger: b or w?
w
Let f = -33 - -32. Let g be (-6)/(-36)*-9*(f - 9). Suppose -6*a - q + 5 = -2*a, 3*q = -2*a + g. Which is greater: 7 or a?
7
Let i(s) = s**3 + 6*s**2 - 4*s + 24. Let v be i(-7). Let o be (5 - (-11)/(-3)) + (-1)/v. Which is smaller: o or 0.045?
0.045
Let c be 456547/(-9971) + 43 + (4/26)/(-2). Which is smaller: -4 or c?
-4
Let z = 2766 - 2767. Are z and 8/19 non-equal?
True
Let x be (-5)/(13*5/65). Which is bigger: 65 or x?
65
Let a = 10.601 - 10.701. Which is greater: 4211 or a?
4211
Let z = -248811/19 - -13095. Is -2/15 bigger than z?
True
Let c = -1.3665 + 1.3665. Which is greater: c or -857?
c
Let t(s) = -19*s + 113. Let d be t(6). Let j be (-5 + 3 - -5) + 208. Let z = j + -1691/8. Is d bigger than z?
False
Let d = 1.53 + -7.63. Let b = 18.9 - d. Is b at most -1?
False
Suppose -35 = -2*d - 39. Let i be 37 + 4 + 2 + d. Suppose -43*v + i*v = -8. Is 3 < v?
True
Let n be ((-1 - -3) + 4)*1. Let k be ((-232)/(-50))/(n/15). Let j(b) = b**3 + 30*b**2 - 27*b + 135. Let h be j(-31). Is k >= h?
True
Let u(v) = -193*v - 115. Let g be u(-16). Suppose c + 2798 - g = 0. Is 174 > c?
False
Let w(x) = -x**3 - 5*x**2 + 6*x + 4. Let b be w(-6). Suppose 325 - 226 = 11*y. Suppose u - 4*n = y, -5*u + 4*n = -9 - b. Which is greater: u or -1/2?
u
Let y be ((-87)/24 - -4) + (-7)/(-224)*-4. Which is smaller: -0.309 or y?
-0.309
Let y be (-23)/(-3) - ((17 - 18) + 8). Let v = 0.7 - -3.3. Let w = v + -5. Is w > y?
False
Let o = 16213 + -15454. Is 744 at least as big as o?
False
Suppose -30*b = -3*n - 27*b + 195, 2*b = 0. Suppose 2*d + 2*w + 114 = 0, 3*d - n + 228 = -5*w. Is -61 <= d?
True
Let g be (2800/(-147))/10 + 2. Let p be (-4)/10 - (-9)/(-15). Is g at most as big as p?
False
Suppose 2*s - 23 = 49. Let y be -11*1 - (33 - s). Suppose t + 3*u = -u - 26, -5*u - 50 = 3*t. Is y <= t?
False
Let t(q) = -2*q**2 + 35*q + 24. Let z be t(18). Suppose z = 3*n - u, -n - 6 = -0*n - 3*u. Which is bigger: 46 or n?
46
Let x = 58.37 + 21.54. Let p = x - 1.91. Let l = p + -78. Which is bigger: l or 24?
24
Let v(j) = 5*j**3 + 40*j**2 + 57*j + 45. Let q(z) = -z**3 - 8*z**2 - 11*z - 9. Let s(k) = -11*q(k) - 2*v(k). Let h be s(-7). Is 51/5 greater than h?
True
Let q be 194/(-792) - (-2)/9. Let j(h) = h**2 + 13*h + 154. Let l be j(-21). Let a = 321 - l. Is q greater than or equal to a?
True
Let q be ((-1)/9)/((-5)/(-15)). Let k be ((-429)/(-22))/((-2)/(-4)). Which is smaller: k or q?
q
Let l be (-200)/90 + (-8)/(-36). Let n(b) = b**2 + 23*b + 44. Let h be n(l). Which is smaller: h or 5/3?
5/3
Let i = -62.6 + 83.54. Let r = i - 22. Is -1 smaller than r?
False
Let n be (-8 - -6)/(18/(-6012)) + 3. Is n not equal to 3354/5?
True
Suppose 21 = 2*q + 3*s, 6*q - 26 = 4*q - 4*s. Let f(a) be the second derivative of a**5/10 - a**4/3 + a**2 + 2*a. Let m be f(q). Are m and 39/2 non-equal?
True
Let j = 20 + -19.77. Let z = -0.0186 - -0.2816. Let a = z + -0.063. Is a at least j?
False
Let o(f) = f**2 + 6*f + 17. Let h(c) = -4*c**2 - 23*c - 68. Let v(x) = -2*h(x) - 9*o(x). Let s be v(-5). Is -18/7 at least as big as s?
False
Let v be (-2 - (-14312047895)/(-65305))*-1. Let s = -219159 + v. Let p = s + 78208/1031819. Which is smaller: p or 1?
p
Let v(c) = 90*c - 45. Let q be v(1). Suppose -9*o + 12*o = 2*n - 5, -o = -5*n + q. Is 86/9 equal to n?
False
Let x = 143 - 176. Let r(f) = f**2 - f - 1. Let a(b) = 11*b**2 - b - 5. Let l(u) = -a(u) + 4*r(u). Let q be l(2). Do x and q have different values?
False
Let x(k) = -37*k - 1. Let v be x(-1). Let d be 4 + 24 + -33 + 0 + 9. Suppose 4*a = 2*o - v, a = d*a - o + 29. Is -1 > a?
True
Suppose 44 = 7*s + 4*s. Let j(d) = -3*d + 13. Let t be j(s). Which is smaller: t or 1/2?
1/2
Let b be (54/36*4/2)/(-1). Let o be b*((-2)/48)/(3984/64). Which is greater: -1 or o?
o
Let i(b) = b**3 - 6*b**2 + 5*b - 3. Let n be i(5). Let d = 84 - 51. Let h = 36 - d. Which is greater: n or h?
h
Suppose 4 = -2*k + 30. Let d be 14 + (-6)/(126/21). Is d greater than or equal to k?
True
Let i(h) = -h + 13. Let f(l) = -2*l + 27. Let p(k) = 6*f(k) - 11*i(k). Let j be 17 - 3/(-3)*((-12)/1)/(-4). Let v be p(j). Which is smaller: v or -2/3?
v
Let d(u) = -u + 1. Let f(m) = 2*m**2 - 4. Let q be f(-2). Let g(b) = -17*b + 4. Let w(l) = q*d(l) - g(l). Let s be w(1). Is s at most as big as 15?
True
Let x = 0.411 - -457.589. Let a = -475 + x. Do 10 and a have the same value?
False
Suppose 0 = -3*h - 9 - 249. Let v = h - 7. Let w = -96 - v. Are w and -1/4 non-equal?
True
Let s = 967 - 14507/15. Let q(h) = -h**3 - 3*h**2 + h + 4. Let u = 6 + -9. Let n be q(u). Which is bigger: n or s?
n
Let p = -32315.3 - -32419. Let x = -126.1 - -21.1. Let q = x + p. Is q greater than or equal to -2/7?
False
Let p be (10/15)/((-16)/54)*334/29559. Which is bigger: 1/7 or p?
1/7
Let b be 2*(-4)/(24/15). Let j be -253 - (-2 - (3 + b)). Let k be 0 + 2 - j/55. Is k smaller than 6?
False
Suppose -192*v - 27 = -189*v. Let d be ((-1)/412)/(-8 + (-63)/v). Which is smaller: d or 1?
d
Suppose -8*q = 54*q + 62. Is -68/73 at most as big as q?
False
Let a = -0.32 + 0.4. Let j = 302 + -301. Which is bigger: j or a?
j
Suppose 21*r - 28*r = -30870. Let o be 4/14 + 7/(r/(-348)). Which is smaller: 0 or o?
o
Suppose -25 = -3*x - 169. Let p be 3/(-45)*(x/(-20) + 0). Which is bigger: 0 or p?
0
Let w be (5/(-4) + (-1)/(-4))*6. Let b be 1/((-77 - w)*1). Is b greater than or equal to 0?
False
Let a = -102.71 + -2.29. Let o = a - -111. Let d = -56 + 227/4. Is d greater than o?
False
Let d = -240 + 253. Suppose -5*h = -18 + d. Is -0.22 at least h?
False
Let q = 0.217 - 1.217. Let i = -0.8 - -2.1. Let n = i - 0.5. Is n < q?
False
Let i = 476 - 444.8. Let s = i - 39.2. Which is greater: s or -3/11?
-3/11
Let k(v) = 2*v**3 + 21*v**2 - 28*v + 5. Let l be k(1). Is -43/56 at least l?
False
Let c(j) = -28*j - 13 + j**3 + 15*j + 2 - 5*j**2 + 9*j. Let n be c(6). Is n < 11/20?
False
Suppose -1 = -2*s - 3*q, -5*q + 3 = -50*s + 52*s. Which is greater: 1154 or s?
1154
Let q = 57529 + -57487.6104. Let o = -0.0104 - q. Let w = -42 - o. Are w and -1 equal?
False
Let w(x) = -4*x**3 - 8*x**2 - 5*x + 6. Let v be 28/42*18/(-4)*1. Let h be w(v). Let b = 56 - h. Which is smaller: b or 4/5?
b
Suppose 59*f = 62*f - 8310. Let y = 5409/2 - f. Which is smaller: -67 or y?
-67
Let t be 34/3 + (100/(-15))/(-10). Let s be 14/t - (-2)/(-12). Let i be (1 - -1)*2/4 - s. Which is smaller: i or 4/31?
i
Suppose -5 + 1 = 2*a, 4*g - 1458 = -3*a. Let h be 6/(-8)*(-3 - g/(-138)). Suppose -2*s + 0*m = -m + 2, -4*s = -5*m + 4. Is h at least s?
True
Suppose 3*z + 70672 = 2*j, -32 = 44*j - 48*j. Is z at most as big as 1/3?
True
Let z = -326/5 + 66. Let w = 3.14 + -168.14. Let y = -163 - w. Are y and z non-equal?
True
Let c(a) = a**3 - a**2 + 79. Let q be c(0). Does 313/4 = q?
False
Let z be 3979 + (0 - (8 - 12)) + -10. Which is smaller: z or 3972?
3972
Let q be (1545/14)/(4/(51872/(-162))). Let m = q - -8834. Which is greater: m or 1?
1
Let o = 110.4 + -115.79. Let t = o - -4.39. Which is bigger: t or 110?
110
Let s be (22/(-11))/(1/83). Let d = -665/4 - s. Is d smaller than -1.4?
False
Let x = 352.3 + -268.3. Are -3 and x non-equal?
True
Let z = -454 - -529. Suppose 2*k = -3*o + 157, 2*k + 14 - 159 = o. Which is smaller: z or k?
k
Let o = 4928 + -4947. Let d be (-306)/14 - (-2 - 2). Which is smaller: o or d?
o
Let l = 147 + -147.25. Let m = 0.15 - 0.05. Which is smaller: l or m?
l
Let r(g) = -2*g - 10. Let o(u) = 2*u + 10. Let t(y) = -4*o(y) - 3*r(y). Let v be t(8). Let z = -11547 + 11520. Is z > v?
False
Let o be (-38)/(-57)*6*4/48. Which is bigger: -3274 or o?
o
Suppose -j + 2*j - 1 = 0. Let o be ((-4)/(-16))/((-19)/44). Let x = 35/57 + o. Does j = x?
False
Let t = -13 - -17. Suppose 2*y + 2*p = 92, 5*y - 91 = t*p + 94. Let q = y + -163/4. Which is greater: q or 1?
1
Let x be ((-50)/625)/(30/(-276825)). Is -1 at least x?
False
Let p be (4/(-14))/((-2992)/336 + 8). Which is bigger: -2/15 or p?
p
Suppose -3*q - 9494 = -10*z + 5*z, 4*q + z = -12697. Is -3174 at most as big as q?
True
Let w(u) = -236*u - 6114. Let c be w(-14). Is -2810 >= c?
True
Let j = -35432 + 70865/2. Which is smaller: j or 1428?
j
Let g = -122 + 78. Let j = -45.591 - -1.691. Let h = g - j. Which is smaller: 24 or h?
h
Suppose -6*m + 23 +