-6)/9 - -2) + (-2)/g. Does q = -51?
False
Let u be 1/4 - 1/(-44). Let z = -173 - -173. Suppose -8 = 2*b - 5*q - 3, z = 4*b + 5*q - 5. Which is smaller: b or u?
b
Suppose 0*m + 13 = l - 3*m, 15 = -3*m. Let b be ((-4)/32*-6)/(2/8). Suppose b*h = 7*h + h. Which is smaller: h or l?
l
Let t(b) = -5*b + 0*b**2 - 5 + 0*b**2 - 3*b - 2*b**2. Let s(g) = -3*g**2 - 8*g - 6. Let o(c) = -3*s(c) + 4*t(c). Let d be o(8). Is -2 less than d?
False
Let q = -33 + 37. Let l(a) = -7*a + 12. Let t be l(q). Which is bigger: t or -1/2?
-1/2
Let l(b) = -2*b**2 + 3*b - 4. Suppose 4*t - 14 = -2. Let o be l(t). Let q be 288/o - 2/(-13). Are -21 and q nonequal?
True
Let r = 13 + -6. Let x = 14/73 - -775/146. Which is bigger: r or x?
r
Let o be (-212)/12 + (-5)/15. Let w be 0 + 1 + o/6*1. Let b(q) = 2*q + 3. Let l be b(-3). Which is smaller: w or l?
l
Suppose 36*y + 5939 = -5149. Which is smaller: -306 or y?
y
Suppose 0 = 8*o + 220 - 44. Suppose 0 = 2*r - 8, 3*n - r + 46 = n. Which is greater: o or n?
n
Let v(y) = 4*y**2 - 4*y - 8. Let p be v(-6). Let a be 3*(p/(-6))/5. Let o be 1/(4 + 60/a). Does 7 = o?
False
Let q be (-9)/(-18)*-2*1. Is q at least 5/17?
False
Suppose 0 = 5*a + 3*c - 418, -4*c = 7*a - 5*a - 156. Are -1 and a equal?
False
Let k(a) = 2*a**3 - 3*a**2 + a + 1. Let i be k(2). Let o(r) = -r**3 + 6*r**2 + 8*r - 4. Let s be o(i). Suppose -2*n = 2*n - 24. Which is bigger: n or s?
n
Let v = 235 - 234. Which is bigger: v or 2/875?
v
Let f(a) = -a**3 + 6*a**2 + 2*a - 8. Let l be f(6). Let n = -0.42 + 4.12. Let t = n - 3.5. Which is smaller: l or t?
t
Suppose b + 5 = 2. Let l be 126/12*2/(-3). Let k = b - l. Is k greater than 0?
True
Let n = 45548/862077 - -2/7629. Which is smaller: n or 0?
0
Let q be (-10)/(-75)*6265/14. Are q and 60 unequal?
True
Let y = 37 - 56. Let u = -19.1 - y. Let g = 1.1 + u. Does g = 0?
False
Let i(f) = f**3 + 12*f**2 - f - 10. Let g = 32 + -29. Suppose g*r + 15 = -21. Let k be i(r). Which is smaller: k or 1?
1
Suppose 0 = 2*m + 2*m - 60. Suppose 2*i - 9 = -s, -24 = -5*s + 4*i + 77. Is s at least as big as m?
True
Let r = 8732 - 8731.9. Let t = -0.4 - -3.4. Let d = 4 - t. Which is smaller: r or d?
r
Let c be (3/474)/(2/4). Let y(n) = -2*n - 28. Let v be y(-14). Which is smaller: v or c?
v
Suppose 0 = i + 2 - 7. Suppose 0 = 2*b - 7*b - 15, 2*x + 5*b = 15. Suppose x = -i*h + 2*h - 3*m, -2*h + 2*m - 2 = 0. Which is greater: -1 or h?
-1
Let f(m) = m + 8. Let r(n) = 3*n + 6. Let s be r(-5). Let d be f(s). Suppose -3*b - 3 = 3*o + 3, b = o + 2. Are b and d non-equal?
True
Let j = -166 + 166. Let n = 2 + -2. Do j and n have the same value?
True
Let a be 3/(-6) + (-406)/(-4). Let n = 809/8 - a. Let l be -5*((-48)/(-40) - 1). Which is smaller: n or l?
l
Let t = 241.447 - 242. Let p = t - 2.337. Let o = p + -0.11. Which is smaller: 0 or o?
o
Let q = 204 + -804. Is 0.1 not equal to q?
True
Let z(m) = m**2 + 5*m - 1. Let k be z(-7). Suppose -4*q - 83 = k. Let h = 18 + q. Is -7 at most as big as h?
True
Let g(k) = k - 37. Let d be g(9). Let b be 3/(21/d)*2/28. Is b < -29?
False
Suppose 473 = -9*n - 301. Which is greater: n or -87?
n
Suppose 5*p = 20, 0 = -3*y - 5*p + 3*p - 103. Which is smaller: y or -35?
y
Let l be (1 - -2 - 0)*1. Let v be ((-19 + l)/4)/(-22). Suppose 7*x + 9 - 2 = 0. Which is greater: v or x?
v
Let w = -271/1022 + -3/146. Let l(s) = 5*s + 9. Let x be l(-4). Is w bigger than x?
True
Suppose 3*m = -4*j - 2, -5*m = -3*m + 3*j. Let a(q) be the third derivative of -q**5/60 - q**4/3 - 2*q**3 - q**2. Let g be a(m). Which is smaller: -2 or g?
-2
Let n(h) = h**2 - 4*h - 67. Let u be n(11). Does u = 21?
False
Suppose -7*b + 9*b - 54 = 0. Let s(f) = -26*f - 7. Let j be s(-8). Suppose j - 45 = 6*x. Are b and x equal?
False
Suppose 5*g = -3*a + 9*g - 427, 25 = -5*g. Is -149 > a?
False
Suppose -8040 + 2776 = -28*q. Is 187 != q?
True
Let a = 0 + -47. Let y = 43 + a. Which is greater: -5 or y?
y
Let s = 25.208 + -27.208. Let b = -2/3277 - -6676/199897. Is b not equal to s?
True
Let g = -30 + 29. Let x = 0.31 + -0.01. Let t = x - 6.3. Is g at most t?
False
Let w be 161/69 + (1560/9)/5. Are 223/6 and w unequal?
True
Suppose -5*y - 913 = -448. Is -96 < y?
True
Let y(z) = -z**2 + 14*z - 16. Let h be y(8). Is h at least as big as 98/3?
False
Suppose 3*x - 3*k + 4 - 13 = 0, x - 5*k - 7 = 0. Suppose -x*f = 5*m + 3*f + 290, 0 = -m + 5*f - 88. Let o be (-2)/(-3) + 24/m. Is o <= -1?
False
Suppose 9*s - 10*s - 351 = 0. Let u be s/81 + (-4)/(-1). Is 0 smaller than u?
False
Let d be (2/45)/((273/(-35))/(-3)). Which is greater: d or 0?
d
Suppose 0 = -5*b + 15 - 10. Suppose 9 = 3*q - 3*h, h = 2*h + 1. Suppose -q = s - 1. Is s <= b?
True
Let i be 303*(-3 + 130/39). Which is bigger: 920/9 or i?
920/9
Let m = 26 + -27. Which is greater: m or -4/141?
-4/141
Let d = 62 + -63. Is d at most as big as 9/19?
True
Let q be -1 - (-27)/(-48)*15/(-9). Is 1 >= q?
True
Let b(p) = -7*p + 103. Let t be b(11). Which is smaller: 155/6 or t?
155/6
Let q = -16 - -19. Suppose -5*o + q*o = -16. Let r = o + 2. Which is greater: r or 11?
11
Let d be 2/(-8*((-695)/(-140) - 5)). Is d greater than or equal to -3?
True
Suppose 33*p + 147 = -17706. Which is bigger: p or -542?
p
Let v be -394 - (650/(-104) - 1/(-4)). Which is smaller: v or -775/2?
v
Let f(r) = -34*r - 1. Let q be f(-1). Suppose 0 = 5*y + 5*x + 75, -y + 3*x = -3*y - q. Suppose p + 47 = -4*l, -3*l - 7*p + 8*p = 30. Is y equal to l?
False
Let t = 504 - 491. Let h(d) = 5*d**2 + 4*d + 2. Let y = 5 + -7. Let i be h(y). Which is bigger: t or i?
i
Let n = -1760 + 1760. Is n at least -13/36?
True
Suppose -102 = 6*s - 3*s. Let o = 33 + s. Let t = -1 + o. Which is smaller: t or -4?
-4
Let k(j) = 8*j - 378. Let d be k(43). Does d = -9?
False
Let h(n) = n**3 + 4*n**2 - 3*n - 6. Let a be h(-1). Which is smaller: a or 3/200?
a
Let q(n) = 2*n**2 + 26*n + 15. Let f be q(-12). Let h be (-1)/(-3) - (-118)/(-12). Does h = f?
False
Let l(z) = 25*z + 194. Let j be l(-5). Is 69 less than or equal to j?
True
Let z = 6895895849/2436 + -59935000/21. Let s = z + 23219. Let k = s - -10/29. Which is greater: 0.1 or k?
0.1
Suppose b - s = -0*b - 3, -5 = -b - 3*s. Let u = -10 - 2. Let v be -1 + u/20 + 2. Is b bigger than v?
False
Suppose -8*a + 3*a = 4*v + 84, -a = 4. Let r be 24/v + 57/30. Let z = -6 - -3. Which is bigger: z or r?
r
Let c = -21 + 30. Let y = -10 - c. Let l = y + 18. Is l greater than -2?
True
Let v(d) = -d**2 - 46*d - 18. Let h be v(-51). Which is smaller: h or -272?
h
Let c(v) = -7*v**2 - 16*v + 5. Let w(t) = -11*t**2 - 24*t + 7. Let l(h) = 8*c(h) - 5*w(h). Let s be l(-9). Which is smaller: s or -9/2?
-9/2
Suppose -2*n + 16 = -4*l, 5*l = -6*n + 3*n - 20. Suppose 0*q = q - 2. Which is bigger: q or n?
q
Let h be (-43)/(-39) - (-2)/(-6). Suppose -21*n = -19*n + 178. Let l = 91 + n. Which is greater: h or l?
l
Suppose f + b = 315, 4*f - f = -2*b + 941. Is 310 less than f?
True
Suppose 78*h + 8036 = -4*h. Are h and -97 non-equal?
True
Let c(g) = 0 + 31 - 3*g - 2*g. Let v be c(6). Which is smaller: v or 2/41?
2/41
Let h = 1203 - 1163. Is 39 equal to h?
False
Let r = -81 - -80. Let x be -4 + (-2 - (-1 - 2)). Which is smaller: x or r?
x
Suppose 10*c = 7*c + 24. Let b be (-567)/(-42)*c/(-6). Is b greater than or equal to -18?
True
Let j = -743 - -1006. Which is greater: 0.3 or j?
j
Suppose -3*f + 0*f + 5*q - 12 = 0, -3*f - q = -6. Do f and -1/318 have the same value?
False
Let j be (2/(-6))/(2/21). Let x be 9 + -3 + 0/(-1). Suppose -d + x*d = -25. Is j greater than or equal to d?
True
Let b = -220 - -223. Let i be 1 + (0 - 1 - -5). Let p = i - b. Is -2 bigger than p?
False
Let d = -6345 - -6345. Suppose 0 = n + n - 2. Which is smaller: d or n?
d
Let n be (-402)/335*(-1)/3. Let k be 32/(-10)*(6 - 1). Which is bigger: k or n?
n
Let j = -1 - -0.9. Let d = -4 - -3.9. Let g = j - d. Which is bigger: -5 or g?
g
Let z = 42791984/99 + -2704090/9. Let i = z - 131506. Let j = i - 282. Which is greater: j or -1?
j
Let i(c) = 16 - c**3 + 11*c**2 + 2*c**3 + 10*c - 19. Let u be i(-10). Let o be 4*3/4 + u. Which is smaller: o or 1/4?
o
Let q = -21191/12 - -1767. Which is bigger: 0 or q?
q
Let q = 1 + -3. Let u be 2/(6/(-21) - 104/(-462)). Let i = u + 33. Is i equal to q?
False
Let q = -179 - -161. Which is smaller: q or -15?
q
Let o be 3528/70*70/(-3). Is -1178 