). Which is bigger: r or t?
t
Let u = -59.5 - -59.6. Suppose 88 = 4*f - 4*n, 12 + 40 = 3*f + 4*n. Is f > u?
True
Let k be 78/273 - -1*5836/(-19936). Which is bigger: 0 or k?
0
Let r(o) be the second derivative of o**4/12 - 3*o**3 + 45*o**2/2 - 279*o + 1. Let y be (-2 + 1)*-15 - 0. Let a be r(y). Is 3 smaller than a?
False
Suppose -3*p - 1655 = -4*t, t + 2*p - 298 = 102. Let d be -4 - (7 - 1 - t/42). Let r(q) = q**3 + 5*q**2 - 1. Let v be r(-5). Is v less than or equal to d?
True
Suppose -99*c + 1130113 = 4*c + 10*c. Which is greater: 9999 or c?
c
Let f = -1045.4 - -1045. Is f bigger than 0.445?
False
Let q(p) = 3444*p + 691. Let v be q(2). Is 7581 < v?
False
Suppose 3*s = -2*m - 1881, m + 962 - 24 = -s. Is -930 > m?
True
Let q be (-1)/5 - 168/(-15). Suppose 3*s + 8 = -4. Let z be (s/30)/(q/220). Which is smaller: -4 or z?
-4
Let f = -215049/25 + 8602. Suppose -2*p - 4 = 2*p. Which is smaller: f or p?
p
Let n(g) = 209*g - 2826. Let f be n(12). Do f and -311 have the same value?
False
Suppose -240 = 224*k - 216*k. Let x be (17/6 - 5/k) + 5. Which is bigger: 13/2 or x?
x
Let v(z) = -z**3 + 74*z**2 + 81*z + 2. Let h be v(75). Which is smaller: h or 3162/7?
3162/7
Let s = -2.867 - -2.867. Which is smaller: 250/11 or s?
s
Let i = 598 + -876. Let y = -285 - i. Is y not equal to -5?
True
Let i = 33 - 31. Suppose -3*x = p + 6, p = 2*p - i*x - 4. Suppose p = 7*q - 6*q + 16. Which is greater: -18 or q?
q
Let m(r) = -r**3 - 13*r**2 + 13*r - 27. Let x be m(-14). Let u be 5/(-4)*-2*(x - 9). Is 1 greater than or equal to u?
True
Suppose 161*r = -114586 + 358340. Is r greater than 1512?
True
Suppose -2*b + 10 = -2*s, 20 = 103*s - 107*s - b. Which is greater: -18/5 or s?
-18/5
Let g = -8 - -11. Let p(w) be the first derivative of -w**2 + 8*w - 159. Let o be p(g). Which is bigger: -2/61 or o?
o
Let g = 7396 - 785. Is 6611 > g?
False
Let u = 2.9 + 61.3. Let r = 0.081 + -64.081. Let s = u + r. Is s at least -21?
True
Let s be ((-3)/((-15)/(-4)))/((-29)/1595). Let n = 74 - s. Is 28 smaller than n?
True
Let z(c) = 28*c**2 + 57*c + 461. Let j be z(-8). Which is bigger: 1798 or j?
1798
Let h = 29110 + -141823921/4872. Is h >= 0?
False
Let w = 20221 + -20242. Suppose 4*x - 61 = 3*p - x, 0 = -5*p - 3*x - 79. Which is smaller: p or w?
w
Let l be 0 + 0 + 1 - (-17)/(-9). Let q be 14/(-6) + (-1)/(-3). Which is smaller: q or l?
q
Let q = 430.5 + -307.5. Is q <= -26?
False
Let c = -24.425 + -2.575. Is -35 less than c?
True
Let d(f) = -f**3 - 18*f**2 + 24*f + 548. Let l be d(-18). Is l smaller than 116?
False
Let h be (-3*(-8)/(-36)*25053)/2 - -4. Do -8347 and h have different values?
False
Let j = 0.1983 + 343.6017. Let w = j - 344. Which is bigger: -24 or w?
w
Let w(l) = l**2 + 6*l - 10. Let x(j) = j**3 - 8*j**2 + 5*j + 6. Let d be x(7). Let f be w(d). Is f bigger than 7?
False
Let t(l) = -l**3 + 6*l**2 - 3*l - 5. Let a be t(5). Let r(g) = -g**3 - 28*g**2 - 43*g - 316. Let c be r(-25). Let i be 0 + -1 + a + 4456/c. Is i >= -1?
True
Suppose p - 3*p = -4*f - 44, 5*f - 4*p = -49. Let a = 3210 + -16108/5. Is f at most as big as a?
True
Let y = 6782 + -2630. Which is smaller: y or 8301/2?
8301/2
Let o = -28395/2 - -198767/14. Which is bigger: 669 or o?
669
Let j be 226/8 + 48/64. Let x(h) = -4*h**2 - 44*h - 11. Let k = -5 + -5. Let i be x(k). Is i bigger than j?
False
Let w(h) = -h**2 + 4*h + 4. Let g be w(-7). Let p = 38 + g. Let q = p + 36. Which is greater: q or 3/5?
q
Suppose 2*d - 250 - 1130 = 0. Let t be d/2706 + (-2)/11. Suppose -11*i = -120 + 109. Is t less than or equal to i?
True
Let m(w) = 2*w - 53. Let j be m(-21). Is -85 < j?
False
Let k be (-24)/(-18)*9/6. Let b be (-5)/(-3) + k/(-3). Let p = 188 + -1513/8. Which is smaller: p or b?
p
Let l(g) = -26*g - 15. Let i be l(2). Let w = 68 + i. Let v be (4 + 2)/(2 + 9). Do w and v have the same value?
False
Let u(h) = h**3 - 41*h**2 + h + 16. Let v be u(41). Let b be (304/v)/(59/(-3)). Which is greater: b or 1?
1
Let s = -277.71 - -279. Let w = 8.89 - s. Is w greater than or equal to 0.1?
True
Let z = -1.7912 - -0.7912. Is z != -9.608?
True
Suppose -30*s - 290 = 15*s + 13*s. Suppose -5*j = 3*l + 99, -4*j + 5*l = -5*j - 33. Let d = j - -11. Which is smaller: d or s?
d
Suppose -116 = -4*t + 4*w, -74*t = -72*t + 5*w - 30. Is -2/35 at most as big as t?
True
Let x be (2 + -1)*-1 + -51. Suppose -425 + 1235 = -15*v. Which is greater: x or v?
x
Let m(n) = 79*n + 924. Let v be m(-74). Which is bigger: -4920 or v?
-4920
Let w(v) = -2*v**3 - 133*v**2 + 214*v + 436. Let l be w(-68). Which is smaller: -237 or l?
l
Let i = 4526 - 5836. Which is greater: i or -3?
-3
Suppose -2*i - 4*t = 679 - 709, 5*i - 5*t + 30 = 0. Is i equal to -3/4124?
False
Let u(t) = -4*t + 0 - 5*t**2 + t**3 - 3 - 2 + 2*t. Let i be u(4). Let w = -23 - i. Are 8 and w nonequal?
True
Let c be 3*(-29 - 0) - 3. Let g be -177 + 181 - ((93 - 1) + 1). Which is greater: g or c?
g
Suppose l = -3*l - 8. Let a be -5*(-1)/(-5)*-1. Let o be ((-12)/4 - l)*a. Which is smaller: o or 1/9?
o
Suppose -4*u - 9 = 5*a + 33, -4*a + 60 = -4*u. Let z be (-60)/((-4)/(-1)) + 16 + -18. Are z and u non-equal?
True
Let h = 10/797 - 475849/3188. Which is greater: h or 0.3?
0.3
Suppose 2*d - 4*i - 516 = 0, 3*d + 2*i + 128 - 862 = 0. Let x = -253 + d. Is x smaller than -1?
True
Let k(z) = -z**3 - 3*z**2 + 10*z + 4. Let n(a) = a**3 - 6*a**2 - 5. Let x be n(6). Let c be k(x). Let w be (-2)/(-2)*(16/166)/c. Is w > -1/2?
True
Suppose 0 = 3*h + l - 3, -3*h + 3*l = -6*h + 9. Let j be h/(-6 - -2) + -1. Let k = 22676/21 + -1080. Is j < k?
True
Suppose 112*j = -116*j + 207*j - 4200. Is -213 != j?
True
Let z(t) = -30*t - 65. Let r(l) = -27*l - 64. Let g(f) = -6*r(f) + 5*z(f). Let x be g(-5). Do 3/95 and x have different values?
True
Let x(z) = z - 25. Suppose -5*o - 106 = 179. Let g = -78 - o. Let s be x(g). Is s equal to -46?
True
Let l = -8501 - -4239. Let i be (-25)/((-15)/3) + l/852. Are i and 0 unequal?
True
Let g = -83.98 + -1.02. Let s = 4 + g. Which is bigger: s or 2?
2
Let a be -2*4/4*909/(-6). Let k = -304 + a. Which is greater: k or -5/163?
-5/163
Let v be 2/(-8) - 39/4. Let g(q) = -2*q - 18. Let n be g(-7). Let j(m) = 5*m + 9. Let k be j(n). Is v less than k?
False
Let c(l) = -l**3 - 8*l**2 - 7*l + 2. Let s be c(-7). Let j(m) = 5*m - m**2 - m**3 + 3*m + 5 - s*m**2. Let r be j(-3). Is r equal to -20?
False
Let x be (2/6)/(4/24). Suppose 3 = 3*t + 3*u, t - 5 + 1 = x*u. Which is bigger: 20/37 or t?
t
Let n = 21 + -25. Let k be n + -1 - (0 + -3). Let v be 3 - (-6)/4*k. Is -1 bigger than v?
False
Let u = -0.40743 + -0.29257. Which is smaller: u or 9?
u
Let r = -270 - -272. Suppose -3*f = -r*z, 4*f - 5*z = -4*z. Which is bigger: f or -6/79?
f
Let y be 420/21 + 290/(-15). Is 972/25 != y?
True
Let j = -200.13 - -202. Let x = j - 1.85. Which is bigger: -33 or x?
x
Let b be (-8992)/(-6)*2/20*-3. Let f = 444 + b. Suppose 0 = k + 3*l + 7 + 13, -2*k = -4*l - 10. Which is bigger: k or f?
k
Suppose 0 = 4*t - 2*o + 152, 0 = -5*t + o - 192 + 5. Let h = -13 - t. Suppose -2*g + 4*n = -58, -86 = -4*g + 53*n - 55*n. Is g at most as big as h?
True
Let s be (-15 - -13)*5/(-2). Suppose 64*o = 69*o + s. Which is smaller: 26 or o?
o
Let c be ((-81)/54)/((-6)/(-16)). Suppose 6*f = f - 2*s - 29, 2*f - 2*s = -20. Let k = c + f. Which is bigger: -52/5 or k?
-52/5
Suppose 4*g + 2*w = 20, -4*w + 0 = -4*g + 8. Suppose -5*x = -2*t + g - 1, -x = 4*t - 17. Is 0.45 not equal to x?
True
Let m(w) = 0 + 0 + 8 - 5 + 4*w. Let c be m(2). Suppose 4 = -7*q - 3. Do c and q have the same value?
False
Suppose 335*s = 106*s - 229. Which is smaller: -3/277 or s?
s
Let l be (-8)/6 + 464/87. Let g be (4/l)/(6/294). Is -2/5 at most as big as g?
True
Suppose 0 = -19*s + 26*s - 1197. Let w = 15047/88 - s. Is w smaller than -1?
False
Let p be (-50675)/(-10137)*24/120 + (0 - 1). Which is bigger: -1 or p?
p
Let g(t) = -5*t**3 + 5*t**2 + 4*t**2 + 6*t**3 - 25*t - 8 + t**2. Let p be g(-12). Suppose -3*o = -3*h - 6, p*o = -3*h + 9*o - 4. Which is smaller: -1 or h?
h
Suppose 44*l - 1303 + 622 = 4467. Is 117 < l?
False
Let t(w) = -2*w + 20. Suppose -3*o + 6 + 9 = 0, 3*l - 35 = -o. Let v be t(l). Suppose 3*n - 22 + 28 = v. Is -3 less than n?
True
Let f = -3091 + 3093. Let t(q) = q**3 + 5*q**2 - 6*q + 3. Let v be t(-6). Suppose -f*o - 4 - 14 = -4*h, -v*o 