8*j + 40 = 0. Let p = -1 - -2. Which is smaller: p or g?
p
Let g = 3 - 4. Let u(f) = -3*f + 11. Let w(b) = 2*b - 5. Let j(s) = 3*u(s) + 5*w(s). Let y be j(-8). Is y bigger than g?
True
Suppose 5*f - 25 = -0*d + 5*d, 25 = 5*f. Which is greater: -9/7 or d?
d
Let w be (-2)/30*(-5)/4. Let n = -403 - -403. Which is smaller: w or n?
n
Let o be 2/(-10)*125/725. Which is smaller: 0 or o?
o
Let i = -69 + 60. Are i and 0.2 equal?
False
Let q be (-5)/4 + (-1)/(-4). Let f be q/3*(-3)/4. Let z = 2 - 2. Are z and f nonequal?
True
Let h be 2/(-3) + 28/6. Let l(q) = q**3 - 8*q**2 - 2*q + 23. Let x be l(8). Is x less than h?
False
Let b be 1/(-4) + (-5 - -6). Which is bigger: 1 or b?
1
Let b = 290/3 + -93. Which is smaller: b or 5?
b
Let a(c) = -4*c**3 - c**2 + c + 1. Let l be a(-1). Suppose l = -2*w + 19. Is 7 < w?
True
Let w(b) = -b**3 + 5*b**2 - 4*b + 4. Let j be w(4). Suppose -j*k = -54 + 14. Which is bigger: k or 11?
11
Let j be ((-8)/(-6))/(7/(-21)). Suppose 4*q - 2*q = 6. Suppose -2*a - 20 = q*a. Are j and a nonequal?
False
Suppose -x = -0*x. Which is greater: x or 3/19?
3/19
Let k(u) = 3*u**3 + 3*u**2 - 2*u - 1. Let p be k(2). Suppose 0 = -7*o + 2*o + 20, 5*i = -4*o + p. Let b = 0 + 3. Is b < i?
False
Suppose 5*n = c - 1, 5*n - 4*c - 14 = 3*n. Let z = n + 5. Suppose -z = 2*i + 2*i. Which is greater: i or -2?
i
Let i = -5 - -6. Which is greater: 1/2 or i?
i
Suppose -4*r = -0*r + 44. Let a = 7 + r. Let y = -2 - a. Which is smaller: 7/3 or y?
y
Let r be (2*(-2)/229)/(-8 + 6). Are 0 and r equal?
False
Suppose b = 4*w + 20 - 7, -4*w - 2*b - 10 = 0. Let x = w + 3. Which is smaller: x or -2/13?
-2/13
Let z be 8 + 1 - 0/4. Let r be ((-2)/(-3))/(2/z). Let x = 0.1 + 0. Which is greater: r or x?
r
Let m be (-20)/100 - 12/(-10). Is 2/25 greater than or equal to m?
False
Let u = -9 - -9. Suppose u = 4*r - 3*r - 4. Suppose 3*k + 5*t = 7*k - 4, -3*k - r*t = -3. Which is smaller: 0 or k?
0
Let m(z) be the first derivative of -z**3/3 + 3*z**2/2 + z - 2. Let q be m(3). Let d be q + (0/(-3))/(-1). Which is smaller: -2/7 or d?
-2/7
Let m = 16.12 - 0.12. Let l = m + -14. Which is greater: l or 2/11?
l
Let p be (0*(-3)/(-6))/1. Let l = -125/3 + 42. Which is smaller: l or p?
p
Suppose -112 - 8 = -4*j. Let g be ((-1)/(-8))/((-5)/j). Which is smaller: g or -2?
-2
Let r(b) be the first derivative of -b**2/2 + 9*b - 2. Let o = -5 - -14. Let x be r(o). Which is smaller: x or -2?
-2
Let q = 1039/342 - 63/19. Let x = -8243/36 - -229. Let g = x + q. Which is greater: -1 or g?
g
Suppose -5*w + 3*v = -4, 10 = -3*v + 1. Which is smaller: 0.03 or w?
w
Suppose -7*p - 4*l = -2*p - 16, 0 = -4*p - 4*l + 12. Let i be -1*1 + (5 - 0). Is i > p?
False
Let i be (-4)/(-6) + 6/(-36). Let d = 2.63 - -0.17. Let m = d - 3. Is i at most as big as m?
False
Let p(z) = 17*z - 167. Let j be p(10). Let m = 1/3 - 1. Which is bigger: m or j?
j
Let d = 0.04 - 7.04. Let z = 6.6 + d. Is z >= -0.1?
False
Let q = -5321/28 - -190. Is 1/2 smaller than q?
False
Let n = 60.9 + -64. Let x = -2.1 - n. Does x = 5?
False
Suppose 6*t - 10*t + 3*t = 0. Is t less than -2/67?
False
Let v = 5 + -4. Is v greater than or equal to 1/33?
True
Let q be 34/14 - (11 - 9). Which is smaller: q or 1?
q
Let l(n) = n**2 - 3*n - 5. Let p be l(4). Suppose -2*m = 4*j + 34, -3*j - 7 = -2*j + 2*m. Let v be 0 + (-2 - j/6). Is p bigger than v?
False
Let x be (-4)/(-3)*18/12. Let v be 1/x + (-18)/12. Which is bigger: v or 2/9?
2/9
Let u be 36/27*6/4. Which is smaller: 0 or u?
0
Let q = -0.978 + -0.022. Let o = 0.3 - 1.3. Are q and o equal?
True
Suppose -2*f = -5*q - 9, 0*q = -3*f + 3*q + 9. Let b = f - -2. Suppose 4 = 3*t - s, b*s + 12 + 4 = 2*t. Is 4 >= t?
True
Let m be (-2 - 3/(-3))*-1. Let y be 1 + (1/(-3))/m. Which is smaller: y or 1?
y
Suppose 4*r + 236 = 8*r. Is r less than 0.1?
False
Suppose 0 = 3*c + 4*r + 14, 2 = c - 2*r - 10. Let d be (-287)/82*(-2)/14. Is d smaller than c?
True
Let j be (1 + 20/(-12))*-9. Which is bigger: 4 or j?
j
Let w = -3/12452 + 2004799/112068. Let b = -15 - 3. Let y = w + b. Which is smaller: y or -1?
-1
Let o(r) = r - 1. Let n be o(2). Suppose 3 = -4*y - n. Is 1/4 at most as big as y?
False
Let x(m) = -m**3 - m**2 - m - 1. Let f(u) = 5*u**3 - 4*u**2 - 2*u + 19. Let b(a) = f(a) + 6*x(a). Let t be b(-9). Suppose -w = t*w. Is 0 at least as big as w?
True
Suppose -4*h + 14 + 34 = 0. Which is greater: h or 9?
h
Let z(p) be the first derivative of -p**4/4 - 4*p**3/3 + 3*p**2/2 - 7*p - 1. Let o be z(-5). Let l be (-3)/(o*(-2)/(-4)). Which is greater: -4 or l?
l
Let j be (10/3)/(10/15). Is 3 less than j?
True
Suppose 26 = 12*z - 14*z. Is -13 equal to z?
True
Let s(z) = -z**2 - 6*z + 4. Let g be s(-5). Let q be 3 + 12/g*3. Which is smaller: q or 6?
6
Let y be (262/8*-2)/1*2. Which is smaller: -132 or y?
-132
Let i(r) = -2*r. Let m be i(-8). Let t = m + -7. Let k be ((-5)/((-20)/t))/6. Is 1 < k?
False
Let n = -52/9 + 254/45. Which is bigger: -1 or n?
n
Suppose -2*x + 3 = x. Let t = 23/36 + 1/36. Is t < x?
True
Suppose -2 = 2*u + 2*u + 5*g, -4*g - 16 = -4*u. Suppose -r = -u*r. Let m = 75 + -377/5. Is m at most as big as r?
True
Let b = 1 + 0. Let m be 0 + -3 + (6 - 2). Is b bigger than m?
False
Let w = 14966/43 + -348. Which is smaller: w or 1?
w
Let w = -14 - -15. Which is smaller: w or -2/11?
-2/11
Suppose -8 + 38 = -3*p. Let w be 24/p*2/(-4). Suppose -5 = -3*c - 2*c. Which is greater: c or w?
w
Let z = 91.9 + -92. Let x = -1/5 - -7/10. Which is greater: x or z?
x
Let j = 28 - 27. Which is greater: 11/8 or j?
11/8
Let l be ((0/(-2))/1)/(-1). Let r be 3/3*(1 - 2). Which is smaller: l or r?
r
Suppose 5*j - 4*f + 19 = 6*j, 4*j + 4*f - 16 = 0. Let a = -62/5 - -12. Is a at most j?
False
Suppose -4*c + 0*c + 4 = 0, -2 = s - 3*c. Let g = 9 + -6. Suppose 0*j - 5*j = 3*n - 8, 2*j = -g*n + 5. Do s and j have the same value?
True
Let s be ((-3)/(-7))/(-2 + 1). Let d = -23/38 + 2/19. Is s smaller than d?
False
Let s = -7 + 1. Let t = -5.9 - s. Is t > -1?
True
Let h(m) = -m**2 - 4*m - 2. Let f be h(-3). Let n be ((11888/(-52))/2)/(-2). Let q = n + -57. Which is smaller: q or f?
q
Let v = -43 + 42. Let h = -0.4 - -0.3. Let q = 1.1 + h. Is q greater than v?
True
Let x be (-1)/2 - 4/(-24). Let r be 5/2*-2 - 0. Let q = -5 - r. Which is bigger: x or q?
q
Let d = -47 - -187/4. Let u be (3/(-15))/(8/10). Is d at most u?
True
Suppose 2*i - 4 = i. Let d = i - -2. Let b = d - 5. Which is smaller: 3 or b?
b
Let k be 1*(-47)/(-2)*2. Let u be k/9 - (-6)/(-27). Let c be (1 + 2)*(1 + 1). Which is greater: u or c?
c
Let p = 24.8 + 19.8. Let c = -54 + p. Let f = c + 9. Are -0.1 and f non-equal?
True
Let b = -67 + 66.9. Let d be (-2 - 2/5) + 2. Which is smaller: d or b?
d
Let p = -2.3 + -41.7. Which is smaller: 1/2 or p?
p
Let y = -11 + 11. Let v = -1 + 1. Is v < y?
False
Let g be ((-7)/(-2))/(-7)*-12. Let s be 1/((-2)/g*-3). Which is greater: s or 2?
2
Suppose 0 = -0*k - 3*k + 15. Let q(z) = z - 4. Let j be q(4). Suppose -4*s + k*s = j. Which is smaller: 4 or s?
s
Let x = 0.8 - 1. Which is greater: 0.1 or x?
0.1
Suppose 2 = -3*x - 7. Let b be 8/24 - (-28)/x. Is b not equal to -8?
True
Suppose 2*x - 2 = 12. Suppose -x = -3*w - 1. Which is bigger: w or 1?
w
Let b(m) = -1. Let j(t) = -2*t + 1. Let r(o) = 6*b(o) - j(o). Let q be r(5). Let d(l) = l + 14. Let v be d(-10). Is v > q?
True
Let q = -87 - -88. Is q <= -2?
False
Let m be 3*28/12*-3. Let j = m - -13. Is j bigger than -3?
False
Let w = -2/7697 + -5603398/69273. Let y = 81 + w. Let t = -2 + 1. Which is bigger: y or t?
y
Let j be (-3 + (2 - 1))/(-2). Let k be 6/4*8/12. Does k = j?
True
Let m(c) = c**3 + 2*c**2 - 3*c - 2. Let h be m(-3). Let g be (-1)/(-3*1/(-6)). Are h and g nonequal?
False
Let t = 2 - -2. Suppose t*f - 3*i - 1 + 8 = 0, 5*f + 1 = -4*i. Is -1/5 less than or equal to f?
False
Let q = 93 + -98. Let k(d) = -d**2 - 1 + d - 7*d - 3. Let x be k(q). Which is bigger: x or -1?
x
Let r = 30032/33 - 910. Which is greater: 1 or r?
1
Suppose -3*k - 2*k = -4*x + 26, 5*k + 34 = -4*x. Let v(y) = y**2 + 4. Let i be v(0). Let a = k + i. Is -3 greater than a?
False
Let r = 7 - 6. Which is greater: 11/5 or r?
11/5
Let h be 0*(2 + 3/(-1)). Let z = 609/10 - 61. Which is smaller: h or z?
z
Let b be (2/4)/(6/12*-1). Which is smaller: 6/19 or b?
b
Let p(q) = -2*q**2 - 3*q + 2. Let k(x) = -x**2 - 2*x + 