ch is smaller: f or -2/9?
-2/9
Let n = 1533 + -1560. Let g be (-1)/((6/(-81))/(-2)). Do g and n have different values?
False
Let g = -21.012 + 0.012. Let k = 33 + g. Let p = 11 - k. Are -10 and p equal?
False
Let o be 12/(-24)*2/(-6)*0. Suppose -2 = 3*r - r. Let x be (r/(-8))/(1/(-6)). Does o = x?
False
Let a = 5603/1555 - 1/311. Let h = -6 - -9. Suppose 0 = v - 3*v - 3*y + 3, -5*y + 4 = h*v. Which is bigger: v or a?
a
Suppose -298 = 8*f + 486. Which is smaller: -99 or f?
-99
Let x be 1 + 2 + ((-40488)/3680 - -8). Which is smaller: x or 0?
x
Let u(f) = f**2 + 3*f + 8. Let r be u(-4). Suppose -2*x + r = -6*x. Let t be 0/x - (1 - 1). Which is smaller: t or 1?
t
Let k = -17 + 16. Let o be -1*3/30*-42 + k. Which is greater: 4 or o?
4
Let h(x) = 42*x - 11. Let v be h(2). Let q = -81 + v. Which is smaller: q or -5?
q
Let q be ((-28)/(-35))/(6 - 2). Is 0.043 bigger than q?
False
Let j(d) = d**3 - d**2 + 1. Let k be j(-3). Is -31 equal to k?
False
Let m = -17030 - -15548388/913. Let o = -5516/17347 - m. Which is greater: 0 or o?
0
Suppose -5*u + 2*m = 772, 0 = -2*u + 7*u + 3*m + 792. Which is bigger: -155 or u?
-155
Let k(w) = 57*w - 3. Let j be k(-12). Are j and -687 unequal?
False
Let b = 7.32 + -7.41. Which is greater: 5.5 or b?
5.5
Let g = 50 - 30. Suppose -o = 2*b + 4, -2*b + 5*o = -b - g. Which is smaller: b or 2/9?
b
Let r = -0.31 + 0.19. Let f = 0.13 - r. Let u = f - 0.35. Do -1 and u have the same value?
False
Suppose -v - 2*v = -15, -2*v = -2*j + 12. Suppose 0 = 2*m - 2*w + j - 1, -5*m - 3*w = -7. Is 2/243 >= m?
True
Let p be 1/(-1)*1 - -13. Suppose -n = 5*v - p, -v + 3 = -3*n + 7. Suppose -4*g + 18 = -n*s, -s = -4*g - 5*s. Which is greater: 9/4 or g?
g
Let c = -81522/11 - -7406. Which is smaller: c or -4?
c
Let m be 204/714 - (-3)/(12012/(-1130)). Is -1 at most m?
True
Let w be (-405)/6 + 1/(6/12). Is -67 greater than w?
False
Suppose -2*z - 4 = -24. Suppose 0 = -z*m + 6*m - 4. Which is greater: 4/43 or m?
4/43
Let z = -498.3 - -462. Let q = 36 + z. Let k = 1.94 - -0.06. Which is bigger: k or q?
k
Let s = 29308 - 36957386/1261. Is 1 at least s?
True
Let z = 31397/670 + -471/10. Which is smaller: z or 1?
z
Let n = 1544 + -1548. Is -2/13 <= n?
False
Let l(q) = -q**2 - 64*q + 36. Let n be l(-51). Which is greater: 697 or n?
n
Let v = -13 - -44. Let s = v + -22. Which is greater: s or 0.1?
s
Suppose 29*g - 24*g - 595 = 0. Let x = g + -120. Are x and 2 nonequal?
True
Let m(b) = 14*b + 115. Let w be m(16). Is 338 greater than w?
False
Let n = 34.7 - 35. Let b = 2.4 + n. Is b greater than or equal to 1/4?
True
Suppose 0 + 5 = -5*g, -4*g - 12 = 2*b. Let t be (4/(-32))/((-2)/b). Let c = -260 + 261. Which is smaller: c or t?
t
Let h = 94 - 64. Let b be (62/h - 4/10)*1. Does 1 = b?
False
Let w(g) = g**2 + 8*g - 9. Let d(m) = -m**2. Let p be d(3). Let i be w(p). Let x(l) = l**3. Let j be x(i). Is j bigger than 1/10?
False
Let m(h) = -2*h - 1. Suppose -3*r - 2 = -2*t - 2*r, -r + 10 = 4*t. Let v be m(t). Which is bigger: -6 or v?
v
Let s = 3098 + -2021. Is s at most 1077?
True
Let g = -256 + 291. Which is smaller: 34 or g?
34
Suppose 31*x + 1174 = -2*q + 35*x, -4*q = -4*x + 2332. Are -579 and q unequal?
False
Suppose 2*k - 4431 = -k. Let a = -1265790/857 + k. Let q = a - -6865/7713. Which is smaller: q or 2?
q
Let p be (-2)/9 + (-1430)/(-6678). Let m = -3315/2968 + p. Suppose -223*h + 202*h = 0. Is h bigger than m?
True
Suppose 75*f - 1616 = -22766. Which is smaller: f or -284?
-284
Let i be (-4 + 3)/(2/(-4)). Let m be (3 - 0)*1 - 1. Suppose -z + 2*s = -m*z - 4, 4*z + 2*s = -10. Is z less than or equal to i?
True
Let h = -0.3517 - -0.0517. Is -9 smaller than h?
True
Let k = -1309/2 + 668. Let n = -30 - -150. Let v = n - 105. Which is greater: v or k?
v
Suppose -1258 = -17*i - 17*i. Which is smaller: i or 402/11?
402/11
Let l(j) = 2*j**3 + 11*j**2 + 7*j - 8. Let f be l(-4). Let g be (16/f)/((-70)/(-15)). Which is smaller: g or 0?
0
Let w be 2*1/2*-40. Let x be (-1)/4 - 138/w. Let n(s) = -3*s**3 + 14*s**2 + 16*s - 53. Let m be n(5). Is m greater than or equal to x?
False
Suppose -40 = 4*q + 4*q. Let l be 4/(-26) - ((-3297)/637 - q). Is l less than or equal to -1?
False
Let l be (-12 + 19016/1584)*42/3. Does 1 = l?
False
Suppose -4*f + 17 = -23. Suppose -16*c + 14*c = -6. Suppose -5*d - c*k + 31 = 0, d + 2*d = 4*k + 36. Do f and d have the same value?
False
Let d(l) = l**2 + l - 7. Let s(g) = 2*g**3 - 16*g**2 + 3. Let a be s(8). Let x be d(a). Let r be 44/12 + 2/(-3). Which is bigger: r or x?
x
Let i = 20.946 - -0.054. Let z = i + -21.1. Is z >= -1/8?
True
Let h = 91 + -87. Suppose -h = 80*z - 78*z. Which is smaller: z or -5?
-5
Suppose w = -w. Let v be (-4)/(-6)*273/22841. Are w and v nonequal?
True
Let g(w) be the first derivative of 3*w**2 - w + 2. Suppose 4*r - 7 = -3*a, 2*r + a - 4 + 1 = 0. Let l be g(r). Is 1 less than l?
True
Suppose -3*g + 7 = -2. Let p(o) = -4*o - 7. Let j(k) = 11*k + 22. Let r(d) = g*j(d) + 8*p(d). Let u be r(-9). Which is greater: u or 2?
2
Suppose -4*j + 3*j + 3*o + 9 = 0, 2*o + 10 = 2*j. Let g(b) = b + 9. Let l be g(-5). Let v be l/(-2)*2/(-4). Which is bigger: v or j?
j
Let d = -82 - -48. Let r be d/20 + 3/6. Let s = 1545 - 1545. Which is smaller: r or s?
r
Let l = -357 - -357. Are 9 and l equal?
False
Let x = -1374 + 1383. Is 6.1 >= x?
False
Suppose 0 = -5*s + 4*s. Suppose 3*c + 0*y + 2 = -2*y, c - 3*y - 14 = s. Suppose c*p + 25 = -3*p. Is p less than -6?
False
Let q = 29 - 30. Let u = 13 - 79/6. Which is greater: u or q?
u
Let d(q) = q**3 - 5*q**2 + q + 8. Let s be d(4). Let j be (2 - (-40)/(-15)) + s/(-5). Suppose 2*w = c - 3*c - 4, 3*w + 6 = 0. Which is smaller: j or c?
c
Suppose 3*h + 5*g = -8, -5*h + 2*g + 4 = 6*g. Are 5 and h equal?
False
Let t = 730382/191 + -3824. Let l(s) = -s**3 - 11*s**2 + 31*s + 65. Let u be l(-13). Is t bigger than u?
False
Let z = 20 + -18. Let v(s) = -3*s**2 + s + 3. Let c be v(z). Let x = 0 - 8. Which is smaller: c or x?
x
Let i(w) = 2*w + 28. Let q be i(5). Let p = 36 - q. Which is smaller: -5 or p?
-5
Let c(i) = -4*i - 6. Let s be c(-2). Let f be s/(-3 + (-21)/(-6)). Suppose f*u = 4*a + 24 + 12, -4*u + 61 = a. Which is bigger: u or 13?
u
Suppose 3*k - 5*k = -8, -3*n - 83 = -2*k. Let w = -22 + 7. Let d = n - w. Are d and -10 equal?
True
Suppose -77 = -5*k - 2*k. Suppose -k*o = -12*o + 12. Is 12 at least as big as o?
True
Let j = -34.7 - -33. Let o = 0.138 + 132.862. Let m = o - 132. Which is smaller: j or m?
j
Suppose -4*y + 3*y = -249. Suppose 87 = 3*r + y. Are -55 and r non-equal?
True
Let k = -272 - -267. Is k not equal to 0.5?
True
Suppose 265 = 5*a + 5*b, b - 6*b = 4*a - 214. Is a at least 672/13?
False
Let v = 35/11 + -83/33. Let m(c) = 5*c**2 - c + 4. Let k(t) = 9*t**2 - t + 7. Let q(n) = 6*k(n) - 11*m(n). Let z be q(4). Is z != v?
True
Suppose 0 = -5*v - 2*x + 4 + 7, -4*x = 5*v - 17. Let u(a) = 3*a**2 + 96*a - 95*a + 7*a**3 - 3*a**2 - v. Let o be u(1). Is o less than 8?
True
Let o(z) = 12*z - 114. Let u be o(9). Which is smaller: -77/16 or u?
u
Let r = 437/7462 + -2/91. Which is smaller: r or 1?
r
Let k be 5/(5 + -6) + 4. Are 2/189 and k equal?
False
Let w(q) = 2*q. Let s be w(1). Suppose 17 = s*i - 9. Let l be (2/3)/(3/63). Are l and i equal?
False
Let x = 64 + -61. Suppose x*p - 3 = 2*p. Which is greater: 2 or p?
p
Let l(m) be the third derivative of -5/12*m**4 + 0 - m**2 - 1/60*m**5 + 0*m - 7/6*m**3. Let i be l(-8). Is i greater than 10?
False
Suppose -y - 58 = 2*y - 4*m, 3*m = 3*y + 54. Let n = y + 14. Suppose n = l - 0*l - 4. Which is bigger: l or 2/3?
l
Let i = -92 + 95. Let b be i/5 - 549/990. Which is smaller: b or -1?
-1
Let v = -980 + 62717/64. Let u = 143/320 + v. Let f be 2/10 - 12/10. Is u bigger than f?
True
Let m be 38/(-3) + -51 + 63. Which is bigger: m or 177?
177
Let s be ((-4)/(-42))/(12/(-294)*-14). Let o be 0/(0 - (2 - 4)). Which is bigger: s or o?
s
Suppose -3*w + 2*w = -3*s - 9, 3*s = -3*w + 39. Suppose w*v - 2*v - 40 = 0. Is 4 at most as big as v?
True
Let k be ((-200)/(-84) + 4)*(-4 + 1). Is k smaller than -19?
True
Let d(k) = -k - 7. Let f be d(-7). Suppose 34*x + 45 = 33*x. Let h be (-24)/16*6/x. Is h >= f?
True
Let d be 375/(-20)*-4*-3. Which is greater: -227 or d?
d
Suppose -5*y + 26 = h - 3*y, -58 = -3*h - y. Suppose 0 = 25*a - h*a - 336. Which is bi