-5*n + 79 = 2*z - 70. Is 67 at least as big as z?
True
Let f be -1 + -3 + 4 + -2. Let w be f/6 - (-2)/6. Let h be 3 - w - 6/2. Which is bigger: h or 2/11?
2/11
Suppose 0 = 5*u - 0*u + 3*i - 15, 0 = -u - 4*i + 20. Let c = 3263 + -394821/121. Which is smaller: u or c?
u
Let h = -520 + 518. Which is bigger: h or 105?
105
Suppose 4*h - 4*r + 5 = 25, -3*h = -5*r - 25. Which is smaller: -140 or h?
-140
Let j(d) = -d**2 + 4*d + 8. Suppose 21 + 3 = 4*i. Let w be j(i). Let v = -8 - -5. Are w and v non-equal?
True
Let n = 1504 - 1537. Is -25 less than or equal to n?
False
Let u = -173763/28 - -6205. Is -1 equal to u?
False
Let z = -291.96 + 292. Which is smaller: z or -6?
-6
Let k be (7 - (-3 - -10)) + -51. Let o be 203/(-4) - 12/(-16). Which is smaller: o or k?
k
Let u be 29/((-145)/(-30)) + 1. Which is greater: -4 or u?
u
Let n(t) = 4*t**2 + 57*t + 20. Let h be n(-14). Let k(v) be the first derivative of -v**3/3 - 2*v**2 + 2*v - 1. Let m be k(-3). Is h at least as big as m?
True
Let p = 3 + 0. Let v = -493 + 490. Let w = v + p. Is w != -1.3?
True
Suppose q - 19 = 5*f, 3*q + 2*f = 2*q - 9. Let i(x) = x**3 - x**2 - 4. Let h be i(0). Let b = h - -1. Is q less than b?
False
Let q = -3.2 - -3.33. Let f = -0.07 + q. Which is bigger: 2/9 or f?
2/9
Let h(v) be the third derivative of v**4/12 + 5*v**3/6 + 3*v**2. Let y be h(-5). Are y and -6 equal?
False
Let l = -60 - -49. Let y(c) = -c**2 + 4*c - 15*c - c - 10. Let j be y(l). Which is smaller: j or 0?
0
Suppose 2*b - 2 = -j, -14*b + 32 = -2*j - 9*b. Are j and 18/17 non-equal?
True
Let u = -0.5 + 0.3. Let i = 0.1 + u. Let n be (10 + (-12 - -3))/((-7)/2). Is i smaller than n?
False
Let x be (-1 + (-284)/(-260))/(7/(-245)). Is x greater than or equal to -2?
False
Let v = 218 + -206. Which is greater: v or 45/4?
v
Let f = -7723 - -7721. Let n = -51 + 28. Is n greater than f?
False
Let t be (-580)/(-725)*(-109)/(-4). Is t at least as big as 23?
False
Let u = -150.45 + 11.45. Is u less than or equal to 0?
True
Suppose 4*j = -i + 15, -4*j = 4*i - 27 + 3. Suppose -7*d = i + 53. Let f = 7 + -14. Which is greater: d or f?
f
Let z = -539 - -534. Which is smaller: z or -0.08?
z
Let d = -3.1 - -5.1. Let g = 5.8 + -8.1. Let f = g + d. Which is smaller: f or 2/15?
f
Let k = 179 + -181. Is -23 greater than k?
False
Let v be (-176)/(-10) + 18/45. Let b be 28/(-693) + 4/v. Let s = 0.03 - 2.03. Which is bigger: b or s?
b
Let b = 9844/117 - 932/13. Is 11 != b?
True
Let m be (9/(-15))/((-36)/60). Let t = 68.31 + -69. Is m != t?
True
Let p = -13.65 + 10.65. Which is smaller: -29 or p?
-29
Let g = -374 + 332.8. Let r = 45 + g. Is r bigger than 0?
True
Let a = 1061 - 1060. Which is smaller: a or -370?
-370
Let b be -187*(2 + -3 + -1). Let l be b/(-210) + (-6)/21. Let g = 12/5 + l. Is 2/5 not equal to g?
True
Let z be 30/(-9) - (-2)/(-3). Let t be 4/z*(-1 + -1). Let c be (2/t)/((-9)/18). Which is smaller: 2 or c?
c
Let s = -51823/424 - -979/8. Is -1 != s?
True
Let s = -1 - 9. Let h(g) = 2*g**2 - 11*g - 9 - 4*g + 4*g - 3*g**2. Let d be h(s). Which is bigger: 2/27 or d?
d
Let r = -41407/19 - -2178. Which is bigger: -1 or r?
-1
Suppose -38*k + 18 = -20*k. Which is smaller: -5 or k?
-5
Let o be ((-4)/10)/((-42)/1116). Let b = -4/7 - o. Which is smaller: b or -11?
b
Let y(a) = -18*a - 94. Let h be y(6). Is -201 at most h?
False
Let s = -43/18314 + -4659789/12178810. Let h = 2/133 - s. Is 0 bigger than h?
False
Let v(n) = 26*n - 83. Let f be v(3). Let z(l) = -l**3 + 4*l**2 - 3*l + 2. Let p be z(2). Which is bigger: p or f?
p
Let k = 13893988/781 + -17790. Is k > 0?
False
Suppose -4*u = 2*n - 32 - 18, 2*n + 2*u - 52 = 0. Is 27 less than n?
False
Let v(b) = -b**3 + 15*b**2 + b - 21. Let m be (6 - 7) + 16*1. Let n be v(m). Which is greater: n or -16/3?
-16/3
Suppose -v + 0*v = 0. Suppose -9 = -3*t - v*t. Let d = 3 - t. Is 1/6 greater than or equal to d?
True
Suppose -103 = 11*w - 15. Which is bigger: -189/23 or w?
w
Let g = 619/3 + -207. Suppose -2*n + 3*n = 0. Are n and g equal?
False
Let b be (-63)/(-588)*(-302)/(-6). Let d = b - 36/7. Are d and -1/3 equal?
False
Let k(v) = -2*v - 11. Let j be k(-7). Suppose 0*s + 3*w - 3 = -j*s, 0 = -3*w - 3. Suppose 0 = 5*t - s*t. Which is smaller: 3 or t?
t
Suppose -3*n = 111 - 162. Which is bigger: n or 10?
n
Let l(b) = b**3 - 31*b**2 - 3*b + 79. Let w be l(31). Let s = -4853/385 - -2/385. Which is bigger: w or s?
s
Let j(q) = -12 - 3*q - 28 - 10. Let o be j(-17). Let v(z) = z - 6. Let m be v(6). Which is bigger: m or o?
o
Let m be (9/30*-1)/3. Is -0.02 at most m?
False
Let q(p) = -7*p - 47. Let m be q(-8). Let j = -10 + 20. Suppose j*v = m*v - 4. Which is smaller: -8/3 or v?
v
Let m be 63/12*2*8/20. Is m >= 4?
True
Let t = 59 + -56. Suppose -6*n = 5*h - 7*n - 3, 0 = t*h - 2*n + 1. Which is smaller: -2/7 or h?
-2/7
Let w be (253 + -11)*3/(-6). Which is bigger: w or -120?
-120
Suppose -11*b + 3*b - 24 = 0. Let a be b/(-2)*(-6 - -14). Which is smaller: a or 14?
a
Suppose 6*v - 2*v + 35 = 3*j, 5*j - 18 = 3*v. Let w(d) = d**2 + 11*d. Let b be w(v). Is b greater than -6/31?
True
Let g = 1.34 + -1.2. Let m = 11 - 11.2. Is m > g?
False
Suppose 3*x + 2*w + 13 = 0, 5*w - 6 = 4*x - 4. Let h be ((-1)/x)/((-4)/(-72)). Let c be (14/10)/(5/25). Which is greater: h or c?
c
Suppose 2*w - 4*w = -892. Let i be (-7)/168*(-796)/w. Let y = -2/223 - i. Are -1 and y nonequal?
True
Let u = -0.7289 - 69.4111. Let y = u + 70. Which is smaller: 0.1 or y?
y
Let p be 6/4*9/(135/130). Let f = -8/5 - -11/5. Are p and f equal?
False
Let y = 0.44 - 0.8. Let a = -0.36 - y. Is -11 smaller than a?
True
Let h be 9/(-110)*(-105)/(-12). Let d = -5/8 - h. Let i = -170 - -169. Is d < i?
False
Let k be (-9)/(-3) + -7*(-2 + -39). Suppose -k = -u + 11*u. Is u greater than or equal to -30?
True
Let r be -1 + 0/(-2) - (0 + -5). Is r less than -0.7?
False
Let d = -64 - -60. Let s be (d/7 - 1) + 2. Which is smaller: s or 0?
0
Let w be 1/5 - (-132073)/85. Is 0.1 > w?
False
Let y be 1/(-24)*(-96)/(-1376). Which is greater: y or -1?
y
Suppose -3*p + 60 = -2*h, -4*h - 88 = -2*p + 4*p. Let i = -47/2 - h. Which is smaller: 4 or i?
i
Let v = -0.233 - -0.321. Is v greater than or equal to -2/7?
True
Let m be 12/4*(-2)/6. Let s(o) = -o + 2. Let p be s(-6). Let q(a) = a**3 - 7*a**2 - 7*a - 8. Let h be q(p). Is m less than or equal to h?
True
Suppose -5*r + 15 = 5*f, -f - 2*r = 1 - 5. Let h be -3*(-2)/(-3) + f. Which is smaller: -1/4 or h?
-1/4
Let z = -2/9 - 5/18. Is 8 > z?
True
Let u(o) = -2*o**2 + 39*o - 18. Let s be u(20). Let n = s - -39. Which is greater: n or 2/19?
n
Let i = -123/5 - -1127/45. Let z(t) = t**3 - 10*t**2 + 10*t - 8. Let x be z(9). Which is greater: x or i?
x
Let x be 72/(-105) - 4/(-10). Let a = 1207 - 1205. Which is smaller: x or a?
x
Let k = -119 + 72. Let g = k - -47.73. Let o = g - 0.8. Which is smaller: o or 0.2?
o
Let n(p) = -2*p**3 - p**2 + 3*p - 3. Let u be n(2). Let t(y) = y + 18. Let r be t(u). Which is greater: r or 16/9?
16/9
Let a = -31 - -21. Let k(d) = -d**2 - 13*d + 18. Let h be k(a). Is 47 smaller than h?
True
Let q be (14/5)/(8/10). Let s = 6 - 7. Which is bigger: s or q?
q
Let j = -1336/9 + 241798/1629. Let g be ((-14)/9)/2 - 4/18. Are j and g non-equal?
True
Let r = -4 - -18. Let j = r - 22. Suppose -2*p - 5*y = p + 22, 0 = -5*p + 5*y - 50. Is p bigger than j?
False
Let h = -10768404883/4 - -138527452345201/51457. Let t = 3/7351 + h. Let u = t - -25/7. Is u at most as big as 0.4?
True
Suppose -5*m + 30 = 5*x, 0 = m + 2*x - 7 + 3. Suppose g = 14 - m. Suppose 0 = -g*i + 4*i. Which is smaller: i or -1?
-1
Suppose -g + 2*i = 4, -i = -4*g + 4*i - 10. Let k be (-6)/((21/2)/(-7)). Suppose -k*a + 5*a - 5 = g. Is 6 at most as big as a?
False
Let j = 1266 + -1271. Let c be 2/11 + 126/33. Let o(b) = -b**2 + 3*b + 1. Let h be o(c). Is j at least as big as h?
False
Let b(q) = -q**3 + 9*q**2. Let p be b(9). Let t(j) = -5*j**2 + 6*j + 1. Let k(g) = -11*g**2 + 13*g + 2. Let i(f) = 6*k(f) - 13*t(f). Let l be i(0). Is p < l?
False
Let x be 1/((-3)/(678/(-10))). Let o = x - 23. Are o and 13 unequal?
True
Let j = 70 + -488/7. Let h = 9998 - 10005. Is h > j?
False
Let h = -33 - -31. Let c be (9 - 9)/(h - -1). Is c greater than or equal to 0?
True
Suppose 4*k = -3*b - 486, -2*k = 29*b - 30*b + 248. Which is bigger: -128 or k?
k
Let s = 