h is smaller: -1 or a?
-1
Suppose 0 = 5*f - 5*x - 45, -3*x + 1 = -f + 5*f. Are f and 21/4 nonequal?
True
Let p = 13.742 + 0.158. Let a = -14 + p. Is -2 bigger than a?
False
Let u = 64 + -47. Is u at least -2/5?
True
Let b = 6.9 + -6. Let s = 2 - 1. Let o = s - b. Are o and -2 unequal?
True
Let r = 8 - 8. Which is smaller: r or -1/6?
-1/6
Let l = 8 + -7.4. Let t = l + -5.6. Let q = t - 0. Is -1 < q?
False
Suppose -5*l + 20 = -0*l. Let b = -8 + l. Is b equal to -2?
False
Let r = 43 + -44. Is -6/5 smaller than r?
True
Let i be (-2)/8 - (2/2 + -1). Let a be ((-441)/6)/((-5)/(-2)). Let x = a - -29. Is x less than i?
True
Let l = 52.99763 + -0.01763. Let d = -55 + l. Let t = -0.02 - d. Is t at least 0?
True
Let h = 2 - 2. Let d be (-3)/6*-2 - -1. Suppose -d*o = -o. Is o smaller than h?
False
Let d = -728 - -21110/29. Is d at least 1/4?
False
Let r(w) = w**2 - w - 25. Let x be r(-5). Let f = 575/3 + -188. Which is smaller: x or f?
f
Let v(k) = 2*k - 7. Let d be v(6). Let r = d + -4. Which is smaller: r or 2/7?
2/7
Suppose 14 - 5 = -j. Let o = j - -5. Let u = -18 + 15. Is u greater than o?
True
Let t be -1*(-3)/(-2 - 1). Which is smaller: t or 4/57?
t
Let q = -123/55 - -18/11. Is q smaller than -1?
False
Let h(s) = -s**2 - 8*s + 7. Let u be h(-10). Let v = u + 13. Which is bigger: -7/6 or v?
v
Let k(j) = 4*j**2 - 2*j + 1. Let z be k(1). Suppose 5 = 5*p + 2*g - 7*g, -z*p + 17 = 4*g. Is p greater than 3?
False
Let b be 68/12 + 2/6. Is 7 < b?
False
Let k(d) = 8*d - 2. Let b be k(-2). Let v be b/4*(-14)/21. Let c = 2 - v. Does c = -2/7?
False
Suppose n - 2*u - 22 = 4*n, 2*n + 4*u + 28 = 0. Let p be n/(-8)*(-2)/(-16). Which is smaller: 0 or p?
0
Let n be (-3 - (-1 + -3)) + 2. Suppose n*b + 0*j = j - 10, -3*b + 5*j - 26 = 0. Which is greater: b or 2?
2
Suppose -2*k - k + 6 = 0. Suppose 0 = k*m + 2*h + 10, -8 = 4*m + 2*h + 12. Are -4 and m non-equal?
True
Let k = -0.8 + 2.8. Which is smaller: k or -5?
-5
Let g(y) = y**2 + 2*y - 1. Let p be g(1). Suppose -5*q = p + 8. Do q and -2 have the same value?
True
Let k be -157 + 0*(1 + 0). Let f = k - -94. Let o = f - -251/4. Are o and 1 equal?
False
Let h = 7 + -28. Let s be (-56)/h*(-3)/(-5). Which is smaller: 2 or s?
s
Suppose -2*m = 4*m - m. Are -2/19 and m unequal?
True
Let o = 26 - 25.78. Let d = -0.02 + o. Is -4/5 greater than d?
False
Suppose t - 2*t = 2*v - 45, 2*v = -4*t + 36. Which is greater: v or 25?
25
Let v = -11 - -5. Let q = v - -7. Let w be ((-2)/39)/((-1)/(-3)). Is w <= q?
True
Suppose -5 = 2*k - 7*k. Is k at least as big as 5/13?
True
Let p = 124 + -84. Is p equal to 39?
False
Let n = -13 - -27. Suppose -n = -2*k + 4*k. Let m be k + (-3 - (-4)/2). Which is smaller: m or -7?
m
Let h(j) = j**3 - 12*j**2 + 12*j - 11. Let b be h(11). Let s be ((-2)/(14*-1))/1. Which is greater: b or s?
s
Suppose 17 = 7*g - 2*g + 3*p, -4*p = -2*g + 12. Suppose -5*w - 8 = -n - 0*n, -n = -g*w - 7. Is n < 0?
False
Suppose n = -n + 4. Let o = -3 - -7. Suppose o*w = 2 + 10. Is w at least n?
True
Let q(m) = -m**3 - 5*m**2 - m - 3. Let i be q(-5). Suppose i*n + 0*n = 2. Which is bigger: 2 or n?
2
Let g = -928/9 - -103. Which is smaller: 0 or g?
g
Let d = 0.3 - -1.7. Let c = d - 2.05. Is c smaller than 0?
True
Let k = -83 + 110. Which is smaller: 29 or k?
k
Suppose 5*d + 18 = -22. Which is greater: -1 or d?
-1
Suppose 5*x + 0*x - 10 = 0. Suppose -x*w + 25 = 3*w. Suppose 0 = 3*b + 2*b + w. Which is smaller: -0.1 or b?
b
Let n(g) = -4*g**2 + 2*g - 2. Let s be n(-5). Let k = s - -451/4. Which is smaller: k or 2/7?
2/7
Let m = 8 - 8.1. Is m greater than 2?
False
Let j(u) = u**2 + 2*u - 1. Let o be j(-3). Suppose -l = -0*l. Suppose l = -2*i + 3 + 1, c = o*i - 5. Is c <= -1/5?
True
Let n = 38 - 36. Let a = 0 - -2. Is n bigger than a?
False
Suppose 5 = -7*q + 2*q. Let d be (2/q)/((-8)/4). Is d at most -2/5?
False
Let h be 8/(2 + (0 - 0)). Let m = h + -7. Let s be m/18*-2*1. Which is smaller: -1 or s?
-1
Let n be -1 + -3 + 1/(-1). Let a be (2/(-6))/(n/3). Let f = 3 + -3. Which is smaller: f or a?
f
Let g be (-2)/(-8) + 182/(-344). Let c = g + 142/817. Is -1 at least c?
False
Let m = 4 + -7. Let n(u) = -u - 19. Let i be n(-16). Is i >= m?
True
Let r = -0.06 - 4.74. Let v = 5 + r. Let z = v - 0. Which is greater: -0.2 or z?
z
Let d = -11 + -4. Let t = d - -14.9. Which is smaller: t or 0?
t
Let h = -0.04 - -13.04. Let j = 25 - h. Is j less than -1?
False
Suppose -3*a = y + 10, -5*a + 6*a = y - 10. Suppose 2*m = y*m + 15. Let g be (10/(-25))/(6/m). Which is smaller: 1 or g?
g
Let y = 1600/10759 + -4/371. Which is smaller: y or 1?
y
Let j be 1*14*1/(-2). Let a = 6 + j. Which is smaller: a or -2?
-2
Let k = 6 + -6.6. Let a = k + 0.8. Suppose 0 = 2*z - 0*z. Which is greater: a or z?
a
Suppose -4*d + 3*f + 37 + 12 = 0, 0 = -d + 2*f + 6. Suppose 2*z + 2*z = -d. Which is smaller: -2 or z?
z
Let g be (1/7)/(5 - 4). Suppose 3*o = -3*v + 24, -10 = -v - 2*o - o. Let m = -6 + v. Is g equal to m?
False
Let n = -36.1 - -37. Let u = 0.1 + n. Let d = -10 + 7. Which is greater: u or d?
u
Let b = 35/2 - 18. Let f(g) = 5*g + 5. Let r be f(-1). Which is smaller: b or r?
b
Let z = -0.02 - -0.12. Which is smaller: 0.2 or z?
z
Suppose 0*l = 2*l + 14. Is l at least as big as -5?
False
Let h = 75 + -78. Is -3 at most h?
True
Let n(y) = -y**3 + 2*y**2 + y - 1. Let u be (-10)/(-6) + (-10)/15. Let b be (-1)/u*(-1 - 1). Let k be n(b). Is 1/4 equal to k?
False
Let k = -2 + 1. Let q = 419 + -254. Let x = 1813/11 - q. Which is bigger: k or x?
x
Let t(u) = u**2 - 11. Let f be t(0). Suppose 0 = -0*l - 2*l. Which is smaller: f or l?
f
Let q be ((-2)/8)/(1/(-4)) - 47. Are -44 and q equal?
False
Let d = 0.018 - -3.982. Suppose -15 = -5*i - 215. Let b = -198/5 - i. Which is smaller: d or b?
b
Let p = -121 - -859/7. Let z = 69 - 68. Which is greater: p or z?
p
Let y be 1/1 - 6/(-21). Does y = 0?
False
Let z(g) = -g**3 - 6*g**2 - 7*g - 7. Let k be z(-5). Suppose -j - 7 = 5*w, w - k*j = -0*w + 5. Let r be 16/45 - 2/9. Which is smaller: w or r?
w
Let j = -4/93 - -518/7719. Let n = -89/249 + j. Suppose -3*k = -3*l + 6, k - 3 = 4*l - 11. Do k and n have the same value?
False
Let i(y) = -3*y**2 + 20*y - 1. Let u be i(6). Is 9 smaller than u?
True
Let z = 1.2 - 0.2. Suppose 4 = -t - 1. Let h be (-2)/(6/t) - 2. Which is smaller: h or z?
h
Let o = -18 + 5. Let u = -21 - o. Is u >= -8?
True
Let i = 0.5 - 0.3. Let l = -0.3 + i. Let s = 0.04 + -0.14. Is s at least l?
True
Let z = -15.64 - 0.36. Let f = 16.1 + z. Which is smaller: -2/5 or f?
-2/5
Let c be (0 + 4)/(-12*(-4)/12). Is c < 2/519?
False
Suppose 4*k + 48 + 56 = 0. Which is smaller: k or 0.1?
k
Suppose -16 + 3 = -k - 2*o, -3*o = -3*k + 30. Which is smaller: k or 10?
10
Let c = -5/6 - -23/24. Let i = c - 11/24. Let y = i + 2/3. Which is bigger: y or 0?
y
Let m = -55 - -219/4. Let a(x) = -x**3 - 4*x**2 - 2*x + 4. Let n be a(-3). Which is smaller: n or m?
m
Suppose 0 = -2*i - i + 5*i. Let z be (-2)/3*3/7. Is i less than or equal to z?
False
Let l be 3 + (-30)/(-99)*-9. Which is smaller: -1 or l?
-1
Let c be 144/16 - 1*4. Is 6 equal to c?
False
Let z = -18 + 16. Do -1 and z have different values?
True
Let r(p) = 0 + 0*p**3 - 3*p**3 + 2 + 2*p**3 + 5*p**2. Let q be r(5). Does 2 = q?
True
Let w(t) = -t**2 + 5*t - 3. Let d be w(5). Let o = 4 + d. Is o greater than or equal to -2/57?
True
Let j(p) = 11*p**2 + 5*p. Let g be j(-1). Is g at least 3?
True
Let z = 0 - 2. Let b(x) = -x**2 - 3*x + 5. Let d be b(-4). Suppose -3*o = -8*o - 5*i, 4*o = -5*i + d. Are z and o nonequal?
True
Suppose 3*w = v + 29, 5*v + 53 = 5*w + v. Let l be (7/2)/(8/16). Is l bigger than w?
False
Let f = 10.3 - 10. Which is greater: f or -7?
f
Let z = 3.4 - 3. Let s = 4.4 - z. Let l = s + -4.02. Is l at least as big as 0.1?
False
Let y(v) = v**3 - 3*v**2 - v + 4. Let p be y(3). Is p >= -2/25?
True
Let y = 4 + -2. Suppose 2*w = s + 1, 0 = -3*w + y*s + 1. Suppose 5 = -2*c + w. Which is bigger: -3 or c?
c
Let h = -6 - -4. Let z(m) = m**3 - 7*m**2 + 2. Let p be z(7). Let d = p + h. Which is smaller: d or 4/5?
d
Suppose 0 = -4*i - 5*o + 2*o - 2, 5*i + 5 = -5*o. Which is smaller: 15/8 or i?
i
Suppose -2*k - 8 = 2*j - 3*k, -j + 4*k = 4. Are j and -4 equal?
True
Let f(a) = -2*a - 1. Let h be (-8)/6*(-3)/(-2). Let d be f(h). Suppose 2*r - 25 = -d*r. Is 2 != r?
True
Suppos