*f - f + 9 = 2*y. Is y at least j?
True
Let r = 382 + -1476. Is -1094 less than or equal to r?
True
Let q be 4 + -3 + -4 - (-178)/1. Suppose 3*s = 2*t - 66 + 19, -q = -5*t - 4*s. Which is greater: t or 28?
t
Let l(d) = 3*d**2 - 87*d - 125. Let x be l(38). Is x greater than 902?
False
Suppose 0 = 8*r + 31 - 79. Let c(z) = z**2 + 2*z - 45. Let l be c(r). Let h = 46/3 + -12. Are l and h equal?
False
Let c = 1416 - 46718/33. Is -1 at least c?
False
Let w = 950 + 140. Do w and 0.1 have the same value?
False
Let a be ((-8)/(-684))/2*-1. Are a and 0 unequal?
True
Let k = 38.6 + -38.6. Are -9/11 and k equal?
False
Let d(q) = 2*q**2 - 47*q + 14. Let t be d(24). Is 38 at least as big as t?
True
Suppose m - 7*l + 3*l - 81 = 0, -4*l = 4*m - 304. Let k = m + -76. Is -32 equal to k?
False
Let z be (-2)/(-12) - ((-41015)/14482 - -3). Is z at least 1?
False
Let s(z) = 168*z**2 - 29*z - 185*z**2 + 0*z**3 - 1 - z**3. Let q be s(-15). Is q less than 0.4?
True
Suppose -3*n = -m + 22, -38 = 5*n - 5*m + 12. Let o be (2 - -1) + 9 + n. Which is smaller: 46/7 or o?
o
Let v = 539 - 537. Which is smaller: 7 or v?
v
Let p = -128 + 65. Let o = 62 + p. Which is greater: o or 3/26?
3/26
Let q be (-6)/(-2)*10/(-6). Let f be 4 + -3 + 4 + q. Let b be (2/(-3))/(26/6). Which is bigger: f or b?
f
Let v = 69 + -58. Let g = v + -12. Which is smaller: -2/17 or g?
g
Let p = -1 + 2. Let c(m) = -m**3 - 12*m**2 + 6*m + 21. Let l be c(-15). Let u be (-2)/l*5/(5/(-6)). Is p at most as big as u?
False
Let f = 4/15 - 7/15. Let t = -971 - -969. Is t at least as big as f?
False
Let q = -898 + 672. Is q not equal to 5?
True
Let q = 40.979 + 0.021. Let r = -41 + q. Which is greater: 9 or r?
9
Let q = -4 - -21. Let b(j) = -60*j**3 + 1. Let a be b(1). Let u = a - -60. Is q < u?
False
Suppose -5*f + 4*i + 81 = 0, 3*i + 64 = 7*f - 3*f. Let c = 13 - f. Is 6/5 at most as big as c?
False
Let s(q) be the first derivative of 7*q + 7 - 1/2*q**2. Let r be s(7). Which is smaller: 4/9 or r?
r
Let f be 367*1/(-2130) - (-10)/60. Which is smaller: f or 0?
f
Let z(s) = -s**3 + 7*s**2 + 9*s - 4. Let m be z(8). Suppose 4*u - 1 = -f, 0 = 2*u - 4*u + m*f - 4. Let d = -29 - -147/5. Is d greater than u?
True
Let h = -105/412 - -1/206. Which is smaller: h or -3/5?
-3/5
Let w be (6/20)/(18/15). Let i = -5.24 + 5.04. Which is bigger: i or w?
w
Let y = 1280.835 + -1285. Let b = y + -0.135. Is 2/3 at most b?
False
Let x = 367 + -362. Which is smaller: x or -2/25?
-2/25
Let h = -27 - -33. Let n = h + -4. Is -0.05 <= n?
True
Let h(a) = -a**3 + a + 1. Let j(v) = v**3 - 10*v**2 - 8*v + 19. Let p(o) = -2*h(o) - j(o). Let d = -400 - -391. Let b be p(d). Which is greater: b or 1?
b
Let s = -553.2 - -553. Which is smaller: 0.18 or s?
s
Let w be (-2)/(-45)*(-210)/(-24). Let x = w - 1/2. Is x not equal to -1?
True
Let b(o) = o + 19. Let c be b(-6). Suppose -c*t - 3 = -14*t. Which is greater: t or 2?
t
Let f = -18.962 - 0.238. Let x = 23.6 + -4.6. Let b = x + f. Is b at most -0.4?
False
Let y = 30 - 33. Let b be (26 + 0)/(1 + y). Is b < -11?
True
Let h(m) = -23*m - 1215. Let l be h(-53). Let w(i) = i**3 - 7*i**2 + 6*i - 6. Let g be w(6). Is l at least as big as g?
True
Suppose 46 = -6*i + 2*i + 2*p, 34 = -3*i + p. Let m = -20 - i. Is -10 <= m?
True
Let t = -2755 + 2755. Is t less than -0.122?
False
Suppose 0 = 3*o + 4*u - 12, 0 = 3*o + 2*u - 3*u + 3. Is 2/193 < o?
False
Suppose -21*b - 4*m + 16 = -26*b, 5*b + 5*m - 20 = 0. Is -1/4 at most as big as b?
True
Let h = 7378 - 2206018/299. Is h > 1?
False
Let x be (-12)/760*119002 - -3. Let y = x - -1876. Which is greater: -1 or y?
y
Let k be (-6)/(-24) + (-15)/12. Suppose 0*c + q + 58 = -2*c, 5*c + q + 151 = 0. Which is smaller: k or c?
c
Suppose 6 = 2*p + 2*u, -p = -2*p + 5*u - 15. Suppose o + 11 + 2 = -2*d, d + 5*o - 16 = p. Let z be 4/(-18) + 7/d. Which is bigger: -2 or z?
z
Let a(f) = -2*f. Let o be a(-7). Let g = 18 - 4. Let v = o - g. Is -3 at most as big as v?
True
Let x be 2/312*64/456. Is 1 greater than x?
True
Let j(o) = o**3 - 7*o**2 + 6*o + 3. Let n be j(6). Is n less than 15?
True
Let f be 27/(-1530)*20/(-36). Which is smaller: 1 or f?
f
Let r be 2/2 - 10*(-33)/(-336). Which is greater: r or -1?
r
Suppose -l + 66 = -2*a - 32, 425 = 4*l + 3*a. Which is smaller: -0.1 or l?
-0.1
Let c(o) = -o**3 - 25*o**2 + o - 26. Let x(a) = a**3 + a**2 + 1. Let t(j) = c(j) + 2*x(j). Let g be t(23). Which is bigger: -12/19 or g?
-12/19
Suppose -k + 5*u - 1274 = 0, 2*k - 7*u + 2570 = -8*u. Which is greater: k or -1285?
k
Let d = -189/11 - -17. Let y = 7.4 + -7.73. Let c = y - -0.31. Is d less than c?
True
Let n = 13 + -13. Suppose 3*d - 8 = f, -d + 3*d = -5*f + 28. Suppose n = x - 3 + d. Is 1/3 > x?
True
Let i(a) = -8 - 4 + 7*a**2 + a**3 - 15*a - 23 + 4*a**2. Let n be i(-12). Are n and 2/141 nonequal?
True
Let p(a) be the first derivative of -a**2/2 - 5*a - 4. Let w be p(-11). Suppose b - w*b - 50 = 0. Are -10 and b non-equal?
False
Let k be 4 - (1666/189 + -6). Which is bigger: 1 or k?
k
Let v = 64 - -13. Let g = -61 + v. Which is greater: 18 or g?
18
Let b = 345.5 - 362. Which is smaller: b or 3?
b
Let q(d) = d**3 - 3*d**2 - 8*d + 9. Let b be q(4). Let m be (-6)/b*(-2380)/(-90). Let o = 22 - m. Is o less than 0?
True
Let c be 1 + -2 - (-4245)/(-15). Let i be ((-560)/c - -1) + -3. Which is greater: -1 or i?
i
Let i(u) = u - 4. Let f be i(-6). Let p be (-115)/f - (5/(-4))/5. Does 12 = p?
False
Let b be (-3)/1*(-1 + -2). Suppose -2*r = -10, -2*r - 9 = -3*j + r. Are b and j unequal?
True
Suppose 0 = -0*i - i. Suppose -14 = -5*s + 1, i = -2*p - 3*s + 9. Suppose 2*x - 8 = 0, y + 3*x - 7*x + 15 = p. Which is bigger: 2/3 or y?
y
Let k = 0.5535 + -0.4535. Let b(c) = c**3 - 7*c**2 + 5*c + 1. Let p be b(6). Which is smaller: k or p?
p
Let u = -1303 + 1181. Is -116 equal to u?
False
Let b(j) = -j**2 - 6*j - 3. Let q be b(-5). Suppose 9 = q*s + 1. Suppose s = -w + 2. Do -3 and w have different values?
True
Let o = -55 + 59. Suppose -2*h - 1 = 4*d - 3, -1 = -o*d - 3*h. Let q = -8730/29 + 301. Do d and q have the same value?
False
Let w = -17 + 12. Let n(p) = -2*p - 15. Let q be n(w). Let d(o) = o - 1. Let c be d(q). Is -11/2 greater than c?
True
Let x = 514 + -512. Which is greater: -0.15 or x?
x
Let s = -232 - -230. Is -6/11 greater than s?
True
Let d = 98 - 99.3. Let y = 0.16 + -0.06. Which is bigger: y or d?
y
Let a = 157 - 4865/31. Does a = 2/5?
False
Let l = 4/3021 - 3113/69483. Suppose 3*v - 328 = -5*g + 260, -2*v - 4*g + 394 = 0. Let z = v + -1339/7. Which is smaller: l or z?
z
Let z be 14/(-10)*(-22 - (16 + -33)). Let h(y) = 8*y - 3. Let b(k) = 9*k - 3. Let p(t) = -4*b(t) + 5*h(t). Let j be p(2). Which is smaller: z or j?
j
Let p = -204 - -212. Is 2 != p?
True
Let a = 43 - 50. Let u = 7.2 + a. Which is bigger: -1/6 or u?
u
Let h = -64 + 129. Let m = h + -66. Do -6/11 and m have the same value?
False
Let d(v) = -2*v - 3 - 1 + 8 + 3. Let r be d(-7). Which is greater: 20 or r?
r
Let i be (1/12)/(2/4). Suppose 400*s - 287*s = 226. Is s at most as big as i?
False
Let z be (15/(-30))/((-3)/18). Suppose 0 = u + 3*i - 6, -2*u - 10 = -5*i. Are z and u non-equal?
True
Let d be (2 - 0) + 106/(-18). Suppose 5*k = 4*f + 21, -20*f + 16*f - 11 = 5*k. Which is greater: f or d?
d
Let y be 3 + (-85)/(-135)*-15. Which is smaller: -6 or y?
y
Suppose -13*u + 11*u - 8 = 0. Let g be (-40)/(-105)*6 + u/14. Which is bigger: g or -26?
g
Let j = 817471817 - 77657094188/95. Let b = -28721 + j. Let h = b - -6/19. Which is bigger: -0.1 or h?
-0.1
Let j = -37 + 70. Let d = j - 36. Is d at most 0.13?
True
Let k be (16/20)/2*5. Suppose 3*s = -2*n - s - k, 0 = -2*s. Which is smaller: n or -3/71?
n
Let b = -43/88 + 3/88. Let v = -11 + 15. Suppose 0 = -v*g + 2*g. Is b at least g?
False
Let i(o) = 4*o - 19. Let q be i(5). Let j be q*30/(-26) - (-1 - 0). Which is smaller: 2/5 or j?
j
Let s = -0.19 + 0.09. Which is smaller: 0 or s?
s
Let a = 291 - 301. Suppose -g + 2*g + 16 = 5*z, 3*z + 2*g - 7 = 0. Suppose -z*m = -m + 4. Do a and m have the same value?
False
Let f be 1*2/(-2) + 841/899. Is -1 bigger than f?
False
Let n = 3.99 - -0.01. Let r = 555 + -551.1. Let f = r - n. Which is greater: 1 or f?
1
Let r be -4 + 6 - (-5 + 12). Let j(x) = -x**3 - 5*x**2 - 3*x - 17. Let l be j(r). Which is smaller: -26/7 or l?
-26/7
Let y = -0.92 - 