et v = -0.022 + 1.022. Which is bigger: -9 or v?
v
Suppose 3 = k - 3. Let y = -10 + k. Are -6 and y unequal?
True
Let h be (1 + (2 - 5))*-12. Let g be h/45 + 1/(-5). Let w be 0/(-1)*(3 + -2). Which is smaller: w or g?
w
Let n be (-246)/(-21) - 4/(-14). Let y = n + -7. Suppose -1 = -4*b - y. Which is smaller: -1/5 or b?
b
Suppose 6 = 3*l - l. Suppose w = -l*z + 7*z + 18, 2*w = z + 1. Let o be (-82)/36 - (-4)/(-18). Do o and w have the same value?
False
Let g be (5176/(-1080) - -5) + 2/(-10). Which is smaller: g or -1?
-1
Let m = -2.1 + 2. Is 0.02 at least as big as m?
True
Let u = -0.06 + -0.01. Let r = u - 0.03. Which is bigger: -3 or r?
r
Let o be 6/(-2) + 8/6. Let p = -2 - o. Which is smaller: p or 0?
p
Suppose 0 = 3*o - 11 + 5. Let t be (o/(-66))/(1/(-3)). Which is smaller: 0 or t?
0
Let s(p) = 11*p**2 - 4*p - 5. Let a be s(-1). Is a bigger than 14?
False
Let l = 304 + -2435/8. Which is smaller: l or 1?
l
Let t be (4 - 27/6)*0. Which is greater: 4 or t?
4
Suppose 7*y + 7 = 6*y. Which is smaller: -1/3 or y?
y
Let q = -0.049 - 0.051. Let o = -0.44 - -0.04. Which is bigger: q or o?
q
Let n = 173 + -1213/7. Let x = -118 - -118. Which is greater: n or x?
x
Let w = 632 - 3781/6. Let h = w + -5/2. Which is smaller: h or -2?
-2
Let o = 0.06 + 0.24. Does -5 = o?
False
Suppose -n + 5*n = 28. Let h = n - 5. Is h equal to 5/3?
False
Let n = 86.19 - 86. Are n and 1 nonequal?
True
Suppose 0*t = -2*t - 2*q + 6, -t = 5*q - 19. Let l = -17 + 20. Let p be (-14)/6 + (-2)/l. Is p smaller than t?
True
Let x be (-72)/(-38) + 0 + -2. Let l = -13/57 + x. Suppose -4*b - 5*h + 23 - 3 = 0, 2*h = b + 8. Which is smaller: b or l?
l
Let i = 266.97 + -273. Let k = i + 0.03. Let s = k + 6. Is -0.1 < s?
True
Let z be -3*(-1 + 18/15). Which is greater: -2 or z?
z
Let j = 39 - 35.8. Let h = -3 + j. Which is bigger: -1/2 or h?
h
Suppose -3*k - 50 = -8*k. Let d = -10 + k. Suppose -3*w + 5 = 4*c, -w = -4*c - 5 - 2. Which is greater: c or d?
d
Let j = 1/20 - -3/20. Are -1 and j equal?
False
Let z be (-4 + 5)/(1/19). Is z at most as big as 20?
True
Let v = 45 - 51. Which is greater: 2 or v?
2
Let k = 13 - 10. Which is greater: k or 5?
5
Let z be 2/(-10) - (-195)/(-25). Let t be ((-4)/56)/((-2)/z). Which is smaller: t or 1?
t
Let q = -1.9 + -0.7. Let u = q - -0.6. Let f = 2 - 3. Which is bigger: f or u?
f
Let o = 7 - 6. Suppose 3*c = 1 - 4. Which is smaller: c or o?
c
Let r be 8/(-18) - 3073/(-6489). Do -1 and r have the same value?
False
Suppose b - 5 + 3 = 0. Let k = -1 + b. Does 4/7 = k?
False
Let d(m) = -m**2 + 8*m - 6. Let b be d(7). Suppose -2*n + 6 + 0 = 0. Is n > b?
True
Suppose -2*y + 6 = 0, -2*h - 5*y = -19 - 10. Which is smaller: 9 or h?
h
Let s be ((-219)/(-9) - (-4)/6)*-1. Are s and -23 nonequal?
True
Suppose 4*x - 18 = 2. Which is greater: x or 4?
x
Let u = -0.01 - -0.06. Let h = -0.4 - -0.75. Let m = u - h. Which is smaller: m or 0.1?
m
Let w be -2 + 13/5*27. Let k = -3 - 65. Let s = w + k. Does -1 = s?
False
Suppose 29 = 5*n - 46. Which is smaller: n or 16?
n
Suppose -2*z = -3*z + 4. Let l(s) be the second derivative of s**4/3 - s**3/3 + s**2/2 - 3*s. Let u be l(1). Which is greater: u or z?
z
Let n(v) = -v**3 + 4*v**2 + 6*v - 5. Let f be n(5). Suppose 4*a - 1 + 5 = 0. Which is smaller: f or a?
a
Let y = -2942/15 + 196. Are -1 and y unequal?
True
Let y = 19 - 11. Suppose -4*w + 10 = -2*w. Let n = w - y. Which is greater: -4 or n?
n
Let o = -1 + 1. Is 2.3 at most as big as o?
False
Let v be (-1 + 2)/(1/(-1)). Suppose 3*g + 4*c = -47, -4*c + 3*c - 28 = 2*g. Let h = g + 4. Which is bigger: h or v?
v
Let a = 63 + -145. Let z = -573/7 - a. Is 0 less than or equal to z?
True
Let x(h) = -h + 4*h - 5*h - 4 + 3*h. Let w be x(3). Is -1 greater than or equal to w?
True
Let p = -0.156 - -18.256. Let g = -18 + p. Is g at least 3?
False
Let g(s) = -4*s**3 - s**2 + s - 1. Let x be g(1). Which is smaller: x or -6?
-6
Let z(i) = -i**2 + 15*i + 10. Let l be z(15). Is 13 equal to l?
False
Let w = -158 + 174. Which is smaller: 20 or w?
w
Suppose 0 = 6*s - s. Suppose s = 7*d - 5*d - 8. Let a = d - 1. Which is greater: a or 2?
a
Let m = -4/399 - 11918/5187. Which is smaller: m or -2?
m
Suppose 4*r + 33 = x, 7 = 2*x - 3. Are -7 and r non-equal?
False
Let r = 1.4 - -0.6. Let h = r + -3. Do 0.06 and h have the same value?
False
Let w(h) = 2*h**2. Let d be w(1). Suppose 5*m + 25 = 0, 3*f - m + 5 = -2*m. Suppose d*b + f*b = 0. Which is smaller: -1/2 or b?
-1/2
Suppose s + 2*s + 3 = 0. Let i be (-36)/3 - -2 - s. Let o be i/(-14) - 4/8. Do -1 and o have the same value?
False
Let r = 15 + -16. Is r greater than -2/9?
False
Suppose 0*g + 1 = g. Suppose 4*w + 5*b + 4 = 0, -w = -0*w - 5*b + 1. Let z = -2 - w. Which is smaller: g or z?
z
Let r be (-6)/(-24) - 0 - 15/12. Let p = 209/28 + -31/4. Which is smaller: p or r?
r
Let b be (-18)/12*4/(-6). Let f be ((b - -2) + -2)*0. Let j be (f - (-3)/(-3)) + 3. Is -3 at least as big as j?
False
Let z = -221/30 - -36/5. Let a(t) be the first derivative of t**2/2 + 3*t - 1. Let u be a(-2). Is u greater than z?
True
Let u = -1 - -1. Let n = 1.4 + -0.4. Let o = u + n. Which is bigger: o or 0.04?
o
Suppose -3*d + 5*y - 10 = 4, -5*d = 2*y + 13. Suppose 1 = -5*f - 9. Let h be (32/84)/(f/d). Are h and 2 nonequal?
True
Let c be 2/(-6) - 22/(-75). Is -1 < c?
True
Suppose -2*y - 4 = i, 4*i + 0 = -y - 2. Let w be 5/(-15)*(0 - y). Which is bigger: w or -1?
w
Suppose -w - 2*d = w - 56, -w = 4*d - 16. Is 32 bigger than w?
False
Suppose 0 = 2*k + 2*k - 20. Let m = k - 5. Suppose f + m*f + 6 = 0. Which is greater: f or -5?
-5
Let d = -0.8 + -0.2. Let v be -2 + -1 + (-236)/(-6). Let i = v + -36. Is i bigger than d?
True
Let h = 1/2 + -1/6. Is -1 not equal to h?
True
Let r be (30/4)/(7/(-42)). Let w be (-6)/5*r/126. Is w at least 2/13?
True
Let q = 64136/101 + -635. Which is smaller: q or 0?
0
Let h(q) = q**3 - 11*q**2 + 27*q + 3. Let z be h(8). Is 27 < z?
False
Suppose -2*q = z, -q + 0 = -z + 12. Suppose -5*n + 4*x + 17 = 0, 4*n + 0*n = -4*x - z. Is 3/4 greater than n?
False
Let t = 2 + -1. Let i be (5/15)/(2/(-12)). Let m be (i/(-6) + 0)/(-1). Which is smaller: t or m?
m
Let w be (24/(-5))/((-6)/200). Let h be -162*(-4)/w - 4. Is h not equal to 0?
True
Suppose q - 5 = -4*g, -20 = 2*g - 2*q - 2*q. Suppose g*n + 3*n = 0. Is n equal to 2?
False
Let s be -3*((-4)/3 + 1). Let g be (-4)/(-10) - (-7)/(-5). Is g at most s?
True
Let s = -2599/17 + 153. Is 0 not equal to s?
True
Suppose 0 = v - 2*v + 1. Let i be v/1*(-1 + 0). Is -3/2 at most i?
True
Let b(n) = -n**3 + n**2 + 2. Suppose 2*x + 3*r = 7, -2 + 14 = 4*x + 4*r. Let q be b(x). Let s be 1/q - (-36)/(-8). Which is greater: -6 or s?
s
Suppose 5*a + 6*x + 158 = 2*x, -5*a - 5*x - 160 = 0. Let s be 0/1 - 12/a. Is s at most as big as 1?
True
Let i = -77227/14 - -38195/7. Let w = 60 + i. Which is smaller: w or -1?
-1
Let u = -11 + 17. Is u greater than -1?
True
Let r = 0.1 - 0. Let f = 0.6 + -0.62. Let q = -0.04 + f. Which is smaller: r or q?
q
Let n be (1/3)/((-2)/(-12)). Let m be 12/n*6/(-48). Is 0 less than m?
False
Suppose 0 = -0*i - 2*i + 4. Suppose -m = 6*l - i*l, 0 = -2*m. Is -2/25 at most l?
True
Let h(d) = d + 5. Let z be h(-3). Let a be ((-4)/z - -5) + 0. Which is smaller: 4 or a?
a
Let s(o) = o. Let g be s(0). Let a be -2*(2/4 - 2). Which is greater: g or a?
a
Let f = -12 - -26. Let u = f - 10. Do u and 1/4 have different values?
True
Let x = 2.08 + -2. Let j = x + -0.38. Let f be 5/(-3) + (-6)/(-9). Which is greater: f or j?
j
Let t = 341 + -3413/10. Which is bigger: 1 or t?
1
Suppose 4*t = -4*w + 16, w + 2*t = -5 + 4. Which is greater: w or 8?
w
Suppose -2*w - 4 = 0, 0 = g + 4*w - 14. Let j be (3/g)/((-3)/(-4)). Which is bigger: j or 1/4?
1/4
Suppose 0 = -11*r + 13*r. Is r at most 0?
True
Suppose 4*f = -3*t + 21, -10 = -5*f - t + 8. Suppose 0 = -f*s - 1 - 5. Is 0 less than s?
False
Let j(u) be the second derivative of u**4/12 - u**2/2 + u. Let d be j(3). Let m be (2/d)/((-3)/(-4)). Is 1 <= m?
False
Let d be 1 + 35/(-30) + 0. Is -1 less than d?
True
Let q = 3.2 - 4.2. Which is smaller: q or 39?
q
Let w = -16 - -15. Is 10 at most as big as w?
False
Let c be 48/(-492)*(-1)/(-2). Let z = c - 35/123. Are z and 2/9 equal?
False
Suppose -3 + 15 = -3*m. Let k = -5 - m. Let j = -4 - -4. Is k at least j?
False
Let k be (7 -