 to j?
False
Let i(z) = -10*z + 52. Let l be i(6). Let o be -3 - 5/(-4)*-4. Is l bigger than o?
False
Let v = -14 - -14.069. Let i = v + 0.031. Which is bigger: i or -0.044?
i
Let z(l) = l + 0*l + 3*l - 5*l - 2. Let s be z(-1). Does -7/8 = s?
False
Let j = 43 + -11. Let h(u) = 2*u**2 + 3*u + 22. Let g be h(-3). Is g < j?
True
Suppose -11 = b - 5*n, 2*b - 28*n + 25*n + 8 = 0. Let q be 29/31 + 3/(-3). Is q at least as big as b?
True
Let d = -73 + 583/8. Is d equal to 0?
False
Let y(w) = 3*w**2 + 19*w + 8. Let g be y(-4). Let x = 7 - 7.1. Which is bigger: x or g?
x
Suppose 0 = 3*d - 2*t + 2, 5*d - t + 5*t = 4. Let j = 49479/31 + -1596. Which is smaller: j or d?
d
Suppose 6*o + 18 = 7*o. Let f be (10/4)/(2/24). Let k = f - o. Is 12 less than k?
False
Suppose 4*w = -6 + 14. Suppose r - 2*q + w = 0, 4*r + 2*q = -9 + 1. Which is smaller: r or -3?
-3
Let b be 8 + (-456)/90 - (3 - 0). Are -0.02 and b nonequal?
True
Let m = -8 - -3. Let k = -20 + 15. Is m equal to k?
True
Let t = -67/6210 + -1/270. Let r = 15/23 - t. Let x = 2 + 0. Are r and x nonequal?
True
Let s = 138 - 137. Suppose 0 = 2*n + 2*n + 160. Let f be n/99 - (-2)/11. Which is smaller: f or s?
f
Let b be (-6)/(-24) + ((-34408)/7840)/17. Which is bigger: b or 2/3?
2/3
Let k = 29 - 32. Let y(d) = -2*d**3 - 5*d**2 - 3*d + 7. Let n be y(k). Which is greater: 26 or n?
26
Let o = 253.2 - 253. Is 38 equal to o?
False
Let c = -20833/448565 - -2/6901. Let q be (-9*4/48)/(9/(-12)). Are c and q non-equal?
True
Let x = -7787/9 - -865. Which is bigger: 0.082 or x?
0.082
Let u = 31 + -34. Let a = u + 6. Which is bigger: -3/2 or a?
a
Let f be 2 - (-3 + (-1399)/(-220)). Let n = 6/55 + f. Is 3/4 smaller than n?
False
Let f be (6/9)/(-8 + 370/45). Which is greater: -8 or f?
f
Let h(t) = -2*t - 5. Let o(f) = -4*f - 10. Let n(s) = 5*h(s) - 3*o(s). Let k be n(-3). Which is greater: 1 or k?
1
Let b be 39/(-65)*(-1 - 4). Which is bigger: b or -13?
b
Let x(w) be the second derivative of w**5/20 + 11*w**4/12 + w**2/2 - 8*w. Let h be x(-11). Which is bigger: 1.6 or h?
1.6
Suppose 12*l + 5373 = -39. Is -451 at least as big as l?
True
Let i = -0.52 + 0.4. Let g = 44 + -2. Let h = 42 - g. Are h and i equal?
False
Suppose 113 - 15 = -49*s. Let n be 6/21 - 40/14. Which is smaller: n or s?
n
Let r be -3 + -3 + (2 - -15) + -2. Suppose 3*g = r*g - 342. Is g less than 56?
False
Let t(z) = 2*z**3 - 15*z**2 - 4*z - 12. Let y be t(8). Let p be (y + (-24)/(-4))*2/24. Which is greater: p or 1?
p
Let b(c) = -c + 1. Let g be b(-3). Let d = 9 - g. Suppose -16 = d*a - 4*p, -a = 3*p - 0*p - 12. Which is greater: a or 4/5?
4/5
Let h(i) = i**2 - 34*i + 30. Let u be h(22). Which is greater: u or -2/7?
-2/7
Suppose -x + 4*o - 36 = 0, -5*o + 55 = -5*x - 95. Let f = 37 + x. Suppose 11 = f*m - 115. Is 13 >= m?
False
Let o = 841 - 576. Is 264 smaller than o?
True
Let v be -10 - (-6 + 6 + 5 + -8). Which is bigger: 12 or v?
12
Let u = 8/115 + -2/3335. Which is smaller: u or 0?
0
Let j(r) = 16*r + 265. Let o be j(-17). Let y(i) = -8 - 4*i**2 - 8*i - 3*i**3 - 4*i**2 + 2*i**3. Let b be y(o). Is 1/20 at most b?
False
Suppose -4*v + 37 = -35. Let u = v - 15. Suppose 2*z + 5*y = -14, -7*z - 16 = -2*z + u*y. Is z greater than -1/2?
False
Suppose n - 119 = -142. Is n less than or equal to -62?
False
Let h = 4378.157 - 4380. Let s = h + 0.043. Which is smaller: s or 0?
s
Let o be -4 + 0 + 4 + 9. Let m be 6/o*(-63)/6. Is m at least -5?
False
Let p be ((-1)/3 - (-2603)/3534)*-2. Is -1 not equal to p?
True
Let r(n) = n**3 - 6*n**2 - 6*n + 4. Let x be r(6). Let i = -5258 - -5227. Which is greater: i or x?
i
Let q = 44 - 125. Is 2 bigger than q?
True
Let b = 15.32 - -1.08. Let w = -15 + b. Let m = w + -0.7. Are m and -1 equal?
False
Let q be (-1)/3*0/9. Let d be -4*2 - q - -2. Which is smaller: -7 or d?
-7
Suppose -5*v - 5 = 3*p, 28 = 6*v - 2*v - 4*p. Let t be 1 + v + (-1300)/440. Let h = -5 + 4. Which is smaller: h or t?
h
Let w = 14 + -13. Suppose -w = g + 3. Is g less than or equal to 1/7?
True
Let y = -1 - 1. Suppose -3*j = -2*j - 30. Let g be ((-1)/(-2))/(j/(-15)). Which is smaller: g or y?
y
Suppose 0 = 13*l - 11*l - 2. Which is smaller: -66 or l?
-66
Let r(o) = o**3 + o**2 + o + 4. Let a be r(0). Suppose -13 = -5*t - h + 58, a*t - 56 = -h. Which is greater: 13 or t?
t
Let v = -2200 + 2225. Which is greater: v or -11/3?
v
Suppose 2*j - 6 = 30. Suppose -13*o = -10*o + j. Which is bigger: o or 0.1?
0.1
Suppose -65*v + 68*v = -3. Which is bigger: v or -0.071?
-0.071
Let q = -12 - -36. Suppose -4*u + q + 0 = 0. Let x be (5/(45/u))/(-1). Is 0 at least as big as x?
True
Suppose -3*q + 334 = -2*q + 2*r, -3*r = -3*q + 1047. Let d be (-1 + 46/30)*12126/q. Do d and 1 have the same value?
False
Suppose -p - 1 + 5 = 0. Suppose -2*l - 5*y + 1 = -5*l, -2*l - y + 8 = 0. Suppose p*k - k - 4 = 4*i, 3 = -l*i + 5*k. Which is greater: 1/10 or i?
1/10
Suppose 3*o = -i + 27, 18*i + 27 = 3*o + 13*i. Is 39/5 > o?
False
Let r(w) = -w**3 + 4*w**2 - 5*w - 5. Let u be r(4). Let q = 42 + u. Let y = 18 - q. Is 3 >= y?
True
Let p(h) = -18*h - 15. Let d be p(-1). Let y = -1.97 + -0.03. Let f = y + 1. Are d and f non-equal?
True
Let n = -11 - -83. Let d = 34 - n. Which is bigger: d or 1/3?
1/3
Let j = 0 + -6. Let r(y) = 2*y**2 + 5*y + 8. Let w be r(-2). Let v be (-20)/15*(-9)/w. Is j at least v?
False
Let m = -3.02 + 3. Let u = -1.446 - -1.046. Is m at least as big as u?
True
Let o(v) = -4*v + 12. Let r be o(3). Which is smaller: -2 or r?
-2
Let r = 22.1 - 0.5. Let i = 22 - r. Let s = 0.3 - i. Which is greater: s or -0.09?
-0.09
Let x = 1955 + -1946. Is 0.05 at most as big as x?
True
Let p(q) = -q**2 + 7*q + 2. Let z be p(7). Let v be z*(0 + (-1)/(-2)). Let c be 3 - 1 - 6/12. Which is bigger: c or v?
c
Let a = 2 - -7. Let d be ((-2)/(-9))/(8/(-3156)). Let w = 88 + d. Is a < w?
False
Let a = 7 + 19. Suppose 52 = -5*c - 4*v, 4*c - 6*v = -4*v - a. Is -6 not equal to c?
True
Let f = -49 + 53. Let v = -4 + f. Is v < 17?
True
Let v be 93*(9/(-54))/((-3)/6). Is 33 not equal to v?
True
Let m = -140 - -119. Let q be (-4)/(-42) - 5/m. Is 0.2 at least as big as q?
False
Let i = 116.72 - 0.72. Let j = i - 123. Which is bigger: 0.02 or j?
0.02
Let x = -8 - -14. Let t be x - ((-4 - -1) + 6). Let k be t/(-12) - (-10)/8. Are k and -2/31 unequal?
True
Suppose -3*d + 10 = 16. Let k be ((-208)/39)/(d/(-3)). Are k and -10 equal?
False
Let s(i) = -i + 1. Let v be s(-5). Suppose 10 = -o + v*o. Suppose d = 2, 6*d - 20 = -3*n + o*d. Which is smaller: n or 2?
2
Let d = 227.2 + -227. Which is smaller: 1 or d?
d
Let f(p) = -3*p - 6. Let s be f(-8). Let q be (-1)/((-4)/(-750)*s). Let o = q - -32/3. Is -5 at most as big as o?
True
Let w = -0.13 - 8.87. Let a be (-1 + (-22)/(-24))*-3. Is a less than or equal to w?
False
Let u = -2574 + 2556.97. Let x = u - -17. Let m be ((-1)/(-2))/((-6)/(-4)). Is x equal to m?
False
Let z = -44 - -41. Let a(n) = -n**3 - 6*n - 2. Let o be a(z). Is 43 smaller than o?
False
Suppose -2*x + 87 = -175. Let z = x - 132. Is -12/23 at most z?
False
Let g be -35 + 36 + (1 - 2). Is -3/95 < g?
True
Suppose -177*j + 176*j = 2*p + 12, p + 6 = j. Let n = -43 + 1205/28. Is j greater than or equal to n?
False
Let j(q) = -q + 6. Let b be j(6). Let t = -15 - -16. Let c be (-32)/(-12)*t/(-2). Are b and c nonequal?
True
Let n = 44/3 - 37/3. Suppose -5*w - 59 = -s, -3*s + 4*w + w + 137 = 0. Let k = s - 38. Is n less than k?
False
Let a = -0.2 - 7.4. Let o = a + 7. Is o at most as big as 0.06?
True
Let d = 77 - 82. Let j(o) = o**2 + 7*o + 11. Let y be j(d). Which is bigger: 3/10 or y?
y
Let v be (-4)/24 - (-3228)/(-72). Which is smaller: -48 or v?
-48
Let d be (14/(-4))/(((-86)/(-24))/43). Is -42 smaller than d?
False
Let r be 2/(-5) + (-7)/(-5). Let v = 134 - 133.13. Let h = 0.9 - v. Which is greater: h or r?
r
Suppose 5*m + 20 = 0, 0*m = p - 2*m - 10. Suppose 2*u - 91 = 5*c, -c - 3*u = p*c + 63. Let t be (c + 9)*1/(-2). Is t >= 5?
True
Let x be 75/150*(1 + 1006/(-6)). Which is bigger: x or -82?
-82
Let c = 183433/21 - 8733. Let v = 913/483 - c. Which is bigger: v or 0?
0
Let k(r) = -r**3 - 5*r**2 - 10*r - 7. Let x be k(-3). Suppose 10 = -x*f + 4*u, 3*f - 27 = 2*f - 5*u. Is -2 smaller than f?
True
Let s(v) = 2*v**3 + 4*v**2 + 7*v - 19. Let y be s(3). Which is smaller: y or 93?
y
Suppose -k + 5*k -