h = 3 + -2.94. Let q = 0.04 + h. Which is bigger: q or b?
b
Let c be (-14 + 16)*(-2 - -1). Suppose 0*r - 5 = -5*r. Let a be r/2*-1*4. Is c bigger than a?
False
Suppose 4*x - 20 = g, -x - 2*x + 4*g + 28 = 0. Let p be (1 - -11)*7/(-49). Let k = -43/21 - p. Which is greater: k or x?
x
Let n(m) = m**3 - 12*m**2 - 4*m - 3. Let g be n(13). Is g at most as big as 114?
True
Let z be -1 - 2 - -7 - 0. Let x(t) = 3*t**2 - 9*t - 9. Let f(c) = c**2 - 3*c - 3. Let s(w) = -7*f(w) + 2*x(w). Let o be s(z). Which is smaller: 1/4 or o?
o
Let w = 0.6 - 0.72. Let q = 1.18 - w. Let s = 1 - q. Is s at least as big as 1?
False
Let t(r) = -r**2 - 8*r + 1. Let q be t(-8). Suppose 5*s - 4*n = -15, 5*n + q - 29 = -3*s. Which is smaller: -1/6 or s?
-1/6
Suppose -5*x + 2 = -u, -2 = -5*x + 5*u + 8. Are -3/17 and x nonequal?
True
Suppose 2*m - 28*a + 6 = -26*a, -4*m + 2 = 3*a. Let q = -1555/9 + 173. Which is greater: m or q?
q
Let t be 0/(-2 - (-1 - 2)). Do -4/9 and t have the same value?
False
Suppose -3*w + 2*m + 6 = -m, -10 = w + 5*m. Suppose w = 3*t - 4*t + 4*a, 2*a - 54 = -4*t. Let r be (-5)/(-12) - t/16. Which is smaller: r or 0?
r
Let t be ((-3535)/(-882) + -4)/((-2)/8). Is 1 >= t?
True
Suppose u = -4*u. Is u smaller than 5/11?
True
Suppose y = -j + 3, -2*j - 1 = 4*y - 7. Is y at least -9/8?
True
Let n(q) = q**2 - 1. Let x(b) = b + 1. Let i(t) = -n(t) + 6*x(t). Let d be i(7). Which is smaller: -1/2 or d?
-1/2
Let q(m) = m**3 + 5*m**2 - 6*m. Let c be q(-6). Which is smaller: -1/4 or c?
-1/4
Let v(r) = -r + 3. Let t be v(0). Let s be (0/t)/((-1)/(-1)). Let n be s + (2 - 5/2). Is -2 at least as big as n?
False
Let v = 9 - 8.9. Let x = -0.4 + 0.3. Is v greater than or equal to x?
True
Suppose -7 = 9*i + 29. Which is smaller: -1 or i?
i
Let m = 10 + -13. Let q be -6 + (m + 7 - 2). Does q = -3?
False
Suppose -3 = -0*w - 3*w. Let n = 0 - w. Which is bigger: n or 2/11?
2/11
Let x = 11.8 + -12. Which is smaller: -43 or x?
-43
Let r = 0.1 + -0.1. Let n = -0.2 + 0.1. Let z = 0.2 + n. Is r > z?
False
Let z = -1 + 1/2. Is -2 != z?
True
Let o be ((-25)/(-20))/(6/(-8)). Let d = -0.1 - -0.2. Is o < d?
True
Let h = -10 + 11. Is 1.9 equal to h?
False
Suppose 2*h - 3*h - 1 = 0. Suppose 3*a + 9 = 5*a + 3*d, 2*a + d + 1 = 0. Is a > h?
False
Suppose 9 = 5*i - 5*r - 11, -3*r = i + 8. Let y = 68 + -40. Let l be y/20 - (-4)/(-10). Is l greater than or equal to i?
True
Let w(r) = -r**2 - 7*r - 14. Let u be w(-6). Let a = -15 - u. Is -6 smaller than a?
False
Let q = 14 - 13. Let p = 0 - q. Which is smaller: 2 or p?
p
Let b be 3/4 + (-5)/(-20) + -2. Is b at most 1/37?
True
Let c = -1.7 - -1.9. Are -7 and c non-equal?
True
Suppose 0 = l - 3*j + 2, -5*l - 3*j + 37 = -l. Let y(u) = u**3 - 4*u**2 - 3*u - 2. Let k be y(5). Which is greater: k or l?
k
Let x be -1 - -2 - 3 - 0. Let y be -2*(x - (-50)/4). Let u be (3/18)/(y/(-9)). Is -1 not equal to u?
True
Let a = -654 + -420. Let p be a*((-20439)/6812 + 3). Let r = -3/262 + p. Which is bigger: -1 or r?
r
Let s be (5/2 - 2)*2. Let b be 2*s*(-3)/(-24). Which is smaller: -0.1 or b?
-0.1
Suppose -2*z = i + 13, 4*z = z - 3*i - 21. Let w(t) = -t - 10. Let d be w(-10). Suppose d*n + 3*n = -18. Is n at most as big as z?
True
Let p = -144/5 - -29. Is p at least -1?
True
Suppose 0 = 2*x + 2*x + 12. Let g be (3 - (-6)/(-27)) + x. Which is smaller: g or -1/2?
-1/2
Let i be 4/(-5) + (-3)/15. Let m = 39121792/315 - 124196. Let l = 2/35 + m. Are l and i equal?
False
Let k = 3 - 1. Which is smaller: k or 10/9?
10/9
Let j(x) = x**3 + 7*x**2 + 3*x + 1. Let a be j(-4). Let i = -149/4 + a. Is i <= 1?
True
Let n be ((-8311)/2)/((-215)/(-8)). Let l = n - -904/43. Let a = l + 134. Which is greater: a or 1/2?
1/2
Let y = 0 - -0.2. Let o = 0.1 + y. Let a = 5.1 - 5. Which is smaller: a or o?
a
Let i(j) = 4*j**2. Let r be i(-1). Let o be r/(-6) - 26/6. Which is smaller: -2 or o?
o
Let t = 12 + -14. Let m = 2 - 3. Let x = m - -0.9. Which is greater: t or x?
x
Let x(z) = -6*z + 1. Let o be x(-1). Suppose -o*h = -3*h. Let l be 4/18*8/16. Do h and l have the same value?
False
Let a(i) = i + 1. Let n be a(6). Let w = -1 + n. Let s be 0 + 3/(w/(-4)). Is s at most -1?
True
Let b = 0.175 - -0.025. Is b >= 1.3?
False
Suppose 3*y - 19 = 53. Which is smaller: 23 or y?
23
Let g be 13/18 - (-3)/(-6). Suppose -3*x + 6*l = 3*l + 21, -3*x = 4*l. Let h be (1/x)/((-1)/(-2)). Is h less than g?
True
Let o = 0.09 + -0.07. Let u = o + -0.03. Is u != 0?
True
Suppose -8*w = -3*w + 25. Is -4 at most as big as w?
False
Let x = 16 - 15.95. Which is bigger: x or -1/3?
x
Suppose 3*o - 1 = -2*p + 13, 0 = -5*p - 2*o + 35. Is p at least as big as 0.2?
True
Let u = 0.05 - -0.01. Let g = u + 0.04. Which is bigger: 0 or g?
g
Let t(y) = 2*y - 26. Let r be t(13). Which is bigger: 2/5 or r?
2/5
Let m = -4/79 + 226/1343. Which is greater: m or 0?
m
Let k = 2.6 - 4.5. Let v = -0.1 + k. Does v = -0.3?
False
Let n = -12.5 + 12. Which is greater: -1 or n?
n
Let g(k) = k**2 - 4*k. Let b be g(3). Suppose -2*l + 2*j = 14, 0*j = -3*l + j - 27. Let d = l + 6. Does b = d?
False
Let z = 4 - 6. Let c = -1 - z. Let y = c + 0. Which is smaller: y or 3?
y
Let b = -3 - -3. Which is smaller: b or 3/28?
b
Let p = -2 - -4.4. Let y = p + -3. Is y < 1?
True
Let g = 2 + -3. Let x be ((-4)/(-18) - 2) + 2. Is g != x?
True
Let s be ((-9)/4)/((-33)/(-176)). Let g be (-33)/12 - (-3)/s. Which is smaller: g or 0?
g
Suppose -2*l + 15 = -5. Suppose 0*x - x = 11. Let k = l + x. Is k bigger than -1/6?
False
Let z = 5 - 2. Let v = z - 2. Which is bigger: v or -3/5?
v
Let j be 4*(-3)/27 + 0. Which is bigger: 0 or j?
0
Suppose 0 = 2*w + 4 - 6. Let t = 4 - 2. Is w smaller than t?
True
Let r be 3 - (24/3)/(-4). Let y be (r/(-14))/((-60)/(-70)). Is y at least as big as 1?
False
Let n be 0 - -4 - (-5 - -5). Let u = n + -6. Let m(p) = -p - 8. Let q be m(-6). Is q at most as big as u?
True
Let d = -40/33 + 134/165. Let u = 7 + -5.4. Let n = 7.6 - u. Which is smaller: n or d?
d
Let s(f) = f**2 + 1. Let m be s(3). Let x be 8/m + (-2)/(-10). Is 1/3 at least x?
False
Let x(m) = m**3 - m**2 + m + 99. Let l be x(0). Let g be -1 + 2 - l/121. Are g and 1 equal?
False
Let i be (-15)/(-9) + (-2)/(-6). Let c be 1*-2*i/4. Which is bigger: -3 or c?
c
Let p(s) = -6*s + 14. Let z be p(-3). Are 31 and z unequal?
True
Suppose -o + 5*s - 9 = -3*o, 3*o - 2*s + 15 = 0. Is o greater than 0?
False
Suppose -k + 5 = -6*k. Is k at most 4/13?
True
Suppose 0 = -4*v - 7 + 3. Is -1/5 bigger than v?
True
Let o = -8 + 16. Let f = o + -11. Suppose 4*y - 2*v + 6*v + 4 = 0, 0 = 3*v. Which is bigger: y or f?
y
Let z(n) = n**2 + 8*n - 12. Let a be z(-6). Let m be ((-6)/4)/((-18)/a). Which is smaller: m or -3?
-3
Let o be 1/(-2) - 5/2. Let r = 3 + o. Let m be (-8)/36 - (-32)/225. Is r at most as big as m?
False
Let m(v) = v**3 + 7*v**2 + 2. Let k be m(-7). Suppose 2*b + 4*i = k, 4*b - b - 4*i + 7 = 0. Let j be -1 + 0 + (-2 - b). Is j less than or equal to -2?
True
Suppose 4*p = -0*p + 40. Suppose p + 25 = 5*s. Which is smaller: 8 or s?
s
Let j = -27 - -27. Does -3/37 = j?
False
Let x = 47 - 18. Let y = 28 - x. Is -18 != y?
True
Let t be -4*(60/(-144) + (-1)/(-6)). Which is bigger: 2/31 or t?
t
Let b = -67 - -68. Which is bigger: 1/11 or b?
b
Let l = -4.2 + 4.5. Is l < -1?
False
Let c be 1/(0 + 1/(-3)). Let f(i) = -i**3 - 5*i**2 - 3*i + 3. Let q be f(c). Let p be (-4)/q + (-32)/84. Is -1 > p?
False
Let f be (-1)/(-3) - (-20)/(-15). Which is smaller: f or 2/3?
f
Let x = -1217/630 + 3/70. Which is smaller: -1 or x?
x
Let j be (-2)/2*3 - -5. Suppose -j = -7*y + 5*y. Which is bigger: y or -2/7?
y
Let z = 1.2 + -0.2. Let j = 1.1 - z. Let d = 196 - 198. Is j > d?
True
Suppose -n - 8 = -4*v + 10, -3*n - 5*v + 14 = 0. Is n bigger than -11/8?
False
Suppose g + 20 = 19. Let n = -32 - -609/19. Is n less than g?
False
Let g = -0.05 - -0.2. Let m = g - 0.05. Is 2 at least as big as m?
True
Suppose -3*m = 14 + 10. Which is smaller: -9 or m?
-9
Let w = -0.8 - -1. Let k = 1.2 - 0.2. Let s = k - 1. Is s != w?
True
Suppose -6 = 4*y - 2. Which is smaller: -2/23 or y?
y
Let x = -4 + 1. Let j = -3 + 2. Let o = x + j. Which is greater: -2 or o?
-2
Let a = 3 + -2.6. Let u = a - 0.1. Let m be 2/(-4) - (-1)/1. Are m and u equal?
False
Suppose -u = u - 4. Which is greater: u or 4/7?
u
Let m be (-455)/(-15) + 1 + 3.