+ 0)*-1. Suppose 0 = -g + m*g. Which is smaller: g or -2/7?
-2/7
Let x = 1 - 1. Let y be (0 + x)*(-2)/(-4). Which is greater: 1 or y?
1
Let d = 1.27 - 13.47. Let q = 16 + d. Let r = q - 4. Which is smaller: 1/3 or r?
r
Let t(n) = -n**2 + 5*n + 6. Let q be t(6). Suppose -5*i + 3 = 3*j, -3*i + 3*j = i + 3. Is q less than i?
False
Let v = 13/22 - 1/11. Which is greater: 1 or v?
1
Let g = 205 + -133. Let p be ((-1)/3)/((-30)/g). Suppose 4*z = -3*r - 4, 3 = -r + z + 4. Is p less than r?
False
Let l be (8/96)/(1/3). Is 0.06 > l?
False
Let d = 4 + -2. Let n = 0.15 + 0.05. Let p = -0.1 + n. Is d > p?
True
Let r = 6 - 4. Let j be 2/r - (6 - 5). Are -1 and j nonequal?
True
Suppose 0 = 8*i - 4*i - 3*k - 4, i - 1 = k. Are i and -1/28 nonequal?
True
Let c(r) = r - 9. Let a be c(0). Let f(j) = j**2 + 9*j - 3. Let u be f(a). Is u at most as big as -3?
True
Let l(m) = -m**2 + 7*m + 10. Let b be l(9). Let d = -7 - b. Is d less than -4?
False
Let r be (-5)/(-25) - (-9)/105*6. Is r greater than 1?
False
Let l = -17 + 18. Is l at most as big as 1?
True
Let j(t) = t**2 - 2*t - 1. Let p be j(3). Let m be (-3)/p*(-568)/(-6). Let h = m - -1848/13. Is 1 >= h?
True
Let x(r) = -r**3 - 8*r**2 + 9*r + 6. Let c be x(-9). Let h be ((-2127)/(-36))/(c/(-16)). Let i = h - -158. Are 0 and i non-equal?
True
Let r be ((-3)/(-15))/(1/(-1)). Let z = 0 - 0.1. Which is greater: r or z?
z
Let x be -2*1/6 + 16/12. Which is bigger: 1/4 or x?
x
Let f(c) = 8*c**2 - 5*c - 1. Let j be f(2). Which is greater: 22 or j?
22
Let x = 1.7 + -1.4. Let h = 0.5 + -0.9. Let i = h + x. Which is smaller: i or 1?
i
Let s = 0 + -6. Let j be (s/9)/(1 - 3). Is j not equal to -1?
True
Let m = -2.7 - 0.3. Let u = 2.8 - -0.2. Let h = m + u. Which is greater: 0.06 or h?
0.06
Suppose 4*q + 1274 = -3*m + 364, 5*q - 3*m = -1124. Let l = -2032/9 - q. Let u = 1.6 - 0.6. Is l bigger than u?
False
Let c be 3 + -4 + (-2 - 1) + 4. Which is smaller: c or -1?
-1
Let n = 4 + -8. Let v be (16/(-6))/n*6. Suppose -v*g + 2*g - 1 = u, u + 4*g + 1 = 0. Which is smaller: 2/5 or u?
u
Let y be (9/27)/(7/18). Suppose 0 + 6 = 3*q. Which is greater: y or q?
q
Let g = -0.3 - -0.1. Is g at most 6?
True
Let y(u) = 3*u + 12. Let w(v) = 5*v + 23. Let r(k) = 4*w(k) - 7*y(k). Let j be r(9). Is -4/3 smaller than j?
True
Let z(p) = p**2 + 5*p - 4. Let l be z(-6). Suppose 0 = l*f + f. Let g = -459/56 + 69/8. Is f equal to g?
False
Let a be 5 + 9/(135/(-66)). Which is smaller: 1 or a?
a
Suppose 0*s = -2*m - 2*s + 62, -16 = -m - 4*s. Which is bigger: m or 37?
37
Let v = -5/3 - -29/21. Which is smaller: 1 or v?
v
Let s = -0.199 - 0.031. Let w = 0.07 - s. Is -1 bigger than w?
False
Let z be ((-2)/(-85))/(2/(-10)). Which is smaller: 0 or z?
z
Let o = -12 - -11.9. Are o and 5 non-equal?
True
Let z be ((5/(-405))/1)/((-2)/4). Which is greater: -1 or z?
z
Suppose 2*u - 4*u = -18. Suppose -5*x + 13 = -2*j, -3*x + 2*x = -2*j - u. Suppose 0*f = f - x. Which is bigger: f or 1/3?
f
Suppose 5*k = -5 - 0. Does -3/26 = k?
False
Let n = 74 + -53. Let x = n + -19. Which is bigger: -5 or x?
x
Let f = 54.54 - 55. Let c = 0.5 + f. Let q = c - -0.16. Which is bigger: q or -0.3?
q
Let r = -0.5 - 1.5. Which is bigger: r or -0.7?
-0.7
Suppose 6*s - s = 0. Let g be 2 + s + 0 + 2. Suppose -16 = g*k + 8. Is -5 at least as big as k?
True
Let a(n) = 34*n**3 + 2*n**2 - 1. Let r be a(1). Suppose -43 = 4*h + 53. Let l be h/r + (-4)/(-14). Which is smaller: l or 1?
l
Let h be 156/344 + (-1)/2. Is 1 smaller than h?
False
Let p be 1 + 0 - (-4 + 5). Let z be (-1)/(-2 - (-6)/2). Let b be (-3)/(-3)*(-2)/z. Which is smaller: b or p?
p
Let p be -1 + 5 + (-30)/7. Is p at least 1/8?
False
Let y = 6 - -19. Let k = 16 - y. Is k < 0.1?
True
Let p = 0.1 + -3.1. Let w = 3 + p. Which is greater: 1 or w?
1
Let x be 8/(-10) - 100/(-125). Let l be (-3)/12 - 2/(-12). Which is greater: l or x?
x
Let r = -13 - -16. Suppose p = f - r, -5*f + p - 5 = -4. Let b = -838/5 - -167. Which is bigger: f or b?
b
Let v be 4587/9 + 1/3. Let w = v - 10712/21. Is w bigger than -1?
True
Let d = 124 + -311/2. Let q = 32 + d. Is 0 > q?
False
Let h(f) = -f**3 + 3*f**2 + 3*f + 5. Let g be h(4). Let s = -2870 + 8474/3. Let k = -45 - s. Which is smaller: k or g?
k
Let y(i) = -i**2 + 8*i + 9. Let u be y(9). Let l = -5 + u. Is 2 <= l?
False
Let d(n) = n**2 - n - 4. Let u be d(3). Let o = u - -3. Which is bigger: 4 or o?
o
Suppose 2*g + 4*h = -313866, -5*g - 3*h + 26801 = 811501. Let x = g - -1724776/11. Let a = 145 + x. Does 0 = a?
False
Suppose -2*a - 3 = -29. Suppose -6 = -0*d + 3*d. Let m be 14/260 + d/a. Is m greater than or equal to 0?
False
Let g = -3 - 11. Is -13 bigger than g?
True
Let z = 10 + -4. Suppose 0 = 4*r + z + 114. Let g be (-27)/r - (-1)/(-2). Is g at most 1?
True
Let v = 0.5 + -0.2. Let z = v + -0.3. Which is smaller: z or 0.18?
z
Let g = -4 - -5. Let y be ((-2)/(-22))/((-1)/2). Is y less than or equal to g?
True
Suppose -23 = -5*h + 7. Let k(w) = -w + 4. Let u(i) = -2*i + 8. Let z(p) = -7*k(p) + 4*u(p). Let a be z(h). Are 1 and a unequal?
True
Let y = -85/12 + 13/3. Are y and -2 nonequal?
True
Let p be 8/(-30)*3*5. Let x be (-85)/225 - p/(-18). Is x at most as big as 2/9?
True
Let b be (2 - 0)/(-388)*(-1 + 5). Which is smaller: 0 or b?
b
Suppose -9*u + 42 = -6*u. Let h = u - 14. Is h bigger than 0?
False
Suppose -86 = -5*o - 21. Let g = -0.205 + 0.305. Which is greater: o or g?
o
Let d(k) = -k**2 - k - 4. Let b be d(-3). Let a = 14 + b. Are a and 4 equal?
True
Let z be (-1)/4 + (-1)/(-4). Let p = 4 - 7. Which is greater: z or p?
z
Let c be ((-68)/85)/((-3)/(-5)). Are c and 0 non-equal?
True
Let a = -0.036 + 0.866. Let g = a + -1.8. Let k = g + -0.03. Are 0 and k nonequal?
True
Let q = 4 - 0. Let i = -2 + q. Which is bigger: 0 or i?
i
Let j = -9 + 11. Let f(u) = 2*u - 4. Let d be f(j). Is -2 greater than d?
False
Let r = -0.11 + 2.21. Let h = -2 + r. Let n = h - 0.2. Do n and -1/3 have different values?
True
Let f = 16 - 16. Is f at least 3/20?
False
Suppose 3*q + 12 = -2*f - 135, 4*f + q + 289 = 0. Let g be 2/8 - (-2)/f. Let h be (-1 - 0/(-1)) + 2. Which is greater: g or h?
h
Let w be (2 + 4/(-4))*-1. Is -13 less than w?
True
Let p = -28 + 34. Let y be (3 - 1)*21/6. Which is smaller: y or p?
p
Let g = -63 + 62. Which is bigger: g or 0.18?
0.18
Let t = 17 - 21. Is t at least -5/2?
False
Let q(m) = 3*m - 2. Let n(d) = 2*d - 2. Let y(g) = 4*n(g) - 3*q(g). Let v be y(-3). Is 0.4 bigger than v?
False
Let f(v) = 9*v**3 - 2*v**2 + 1. Let n be f(1). Let j be 2/8 + (-2)/n. Let a = 1 - -1. Which is smaller: a or j?
j
Suppose c - 1 = k, 3 = -3*c + 2*k + 4. Which is bigger: c or -2/65?
-2/65
Let p = -0.06 + 0.11. Let s = 0.15 - p. Let n = 1/35 - -103/70. Is n greater than s?
True
Let h be 2 + (-3 + 1 - 0). Let i = 2/137 + 403/548. Does h = i?
False
Let m = 146 - 153. Which is greater: -2/7 or m?
-2/7
Let y = -0.9 + 0.1. Let i = 0.3 - 1.3. Let m = i - y. Is 0.1 at most m?
False
Suppose -k - 3*r = -4*r - 1, -4*k + r = -10. Let t = -10 - -18. Let s = 11 - t. Are s and k nonequal?
False
Let x(d) = -d**2 - 6*d - 10. Let t be x(-4). Let b(v) = v**2 - 7*v - 12. Let s be b(10). Let a be t - (s/(-8) - -2). Is -1 at least a?
True
Let y = -3 + 2. Suppose -z = 1 + 3. Which is smaller: z or y?
z
Let l(a) be the third derivative of a**6/720 + a**5/24 - a**4/12 + 2*a**2. Let n(h) be the second derivative of l(h). Let f be n(-8). Is f smaller than -2/7?
True
Let q = 178 + -204. Which is bigger: -27 or q?
q
Suppose -5*c = -3*c + 4*w - 6, 3*c - 2*w = 17. Suppose -3 = -c*t + 2*t. Is -2/13 greater than t?
False
Suppose 16 = 3*n + 5*t + 1, 2*t - 6 = 0. Is n not equal to 4/29?
True
Let o be (-3 - (-25)/6) + -1. Which is smaller: 2 or o?
o
Suppose -t - 12 = -4*t - 4*y, 3*t - 6 = -2*y. Suppose z = -s - t - 4, 2*s + z = -8. Let n(b) = b**3 + 4*b**2 + 5*b + 3. Let h be n(-3). Is h at least s?
True
Let s(a) = 6 - 2*a + 3*a + 4. Let r be s(-6). Suppose -2*z + 6*z + r = 0. Is z <= -2?
False
Let r be (-2)/4*(6 + 6/4). Is 2/5 at most as big as r?
False
Let y = 0 - 0. Let u = -18 - -18. Does u = y?
True
Let t be 1/2 + (-10)/12. Let g be (-2 - -8)*6/(-9). Let h be g/(-18) - (-112)/(-180). Is h at least as big as t?
False
Suppose 0*m = 3*m - 4*d - 23, 0 = -5*m + d + 10. Suppose b + 2 + m = 0. Which is smaller: -1 or b?
b
Let x = -6 + 6. Supp