 h?
False
Let z = 24 + -23. Which is smaller: z or 3/20?
3/20
Suppose 0*s = -s + 4. Suppose -4*t + s*h - 17 + 5 = 0, -5*t - 15 = 2*h. Which is bigger: t or -13/5?
-13/5
Suppose 323 = 2*l - 129. Let o = l - 1585/7. Is -1 at least as big as o?
False
Let h be (2 - -3)*(-1)/(-1). Are h and 3 nonequal?
True
Let r be (18 - 21)*(-2 + 1). Which is bigger: 5 or r?
5
Suppose 3 = -5*v + 2*a, 3*a = -0*v - v - 4. Which is smaller: -0.05 or v?
v
Let l be (-11 + 9)*(-7)/2. Which is smaller: l or 6?
6
Suppose 0 = -8*k + 2*k. Suppose 8 = -2*c + 4*l, -5*c + 17 = -c + 3*l. Suppose -2*g + 3*y - 27 = -c*y, -4*y = g - 19. Which is greater: k or g?
k
Let v = -87/5 - -18. Which is bigger: 0 or v?
v
Suppose -4*w - 4*n = -69 + 17, -2*n = -4. Suppose -1 = h - w. Let a = h - 8. Is 2 at least as big as a?
True
Let l be 5/20 + 3/18*-3. Let k = -39/7 - -209/35. Is k greater than or equal to l?
True
Let i be (-6)/(-2)*(-2)/6. Let m(l) = -l + 4. Let t be m(4). Let o be t + 1 + (1 - 3). Is i greater than o?
False
Let x be (-3)/9 - (-2)/6. Suppose x = -5*n + 35 + 10. Suppose b = 5*b - k + n, 3*b - 12 = -3*k. Does b = 1?
False
Let v = -139 + 135. Which is smaller: v or 1?
v
Let z be (-2*6)/(-4) - 8. Which is smaller: z or -6?
-6
Let s(f) be the second derivative of -f**3/3 - 2*f**2 + 3*f. Let o(b) = 3*b**2. Let t be o(1). Let u be s(t). Is -9 bigger than u?
True
Let j(z) = -7*z - 13. Let y(k) = 20*k + 39. Let o(f) = -17*j(f) - 6*y(f). Let u be o(-11). Does 0 = u?
False
Let k(y) be the third derivative of -y**6/30 + y**2. Let m be k(-1). Suppose -4*r + 0*r = m. Is r != -1?
False
Let l be (-52)/(-30) + 10/(-25). Which is smaller: 2 or l?
l
Let i = 543/28 - 77/4. Is 1 bigger than i?
True
Let a = -0.2 + 0.2. Let z = -0.4 + a. Let n = z - -0.7. Which is smaller: -0.2 or n?
-0.2
Let w = -17 + 17. Is w != -6?
True
Suppose 0 = -3*o + 20 + 4. Suppose -3*z - 2*s = 3*s - 10, -5*z = -4*s + o. Which is bigger: z or 2/29?
2/29
Let a = 14 + -9. Which is smaller: -1 or a?
-1
Let y(m) = -2*m**2 - 3*m - 2. Let o be y(-2). Let r be (-36)/24*(-3)/9. Which is greater: o or r?
r
Suppose 32 = 4*l - 5*c, -2*c - 16 = 2*c. Suppose -34 = -4*j + 2*j. Suppose 5*v = l*t - 20, -2*v + 3*t - j = -0*t. Is 0 <= v?
False
Let c be (-4 - -5)*8/(-14). Let j = -9 + 7. Which is greater: j or c?
c
Let n be 4/3*6/14. Is 0 < n?
True
Let s = 1.5 + 0.5. Let k = -1 + s. Let r(b) = -b**3 - 4*b**2 + 6*b + 6. Let v be r(-5). Is v not equal to k?
False
Let g = -3.58 - -0.08. Let x = 0.5 - g. Let b = 25/2 + -13. Is x < b?
False
Let p(a) = a**3 + 8*a**2 + 7*a + 3. Let t be p(-7). Is 2 less than t?
True
Suppose 5*x + 4*d - 36 = 2*d, 0 = 5*x + d - 33. Is x != 6?
False
Let v = -79 + 46. Which is greater: -32 or v?
-32
Let c(h) be the first derivative of h**4/4 - 2*h**3 + 5*h**2/2 - 2*h + 1. Let v = 19 - 14. Let k be c(v). Do k and -2 have different values?
False
Let u = 4 - 4. Let h be u + (1 - (-15)/(-24)). Which is smaller: 1 or h?
h
Suppose 3 = -4*n - 5. Let j = -2.7 + 3. Let q = j + -0.2. Is q smaller than n?
False
Suppose 5*f - g - 1 = -14, -4*f + 3*g = 6. Which is smaller: f or -7/3?
f
Let d = -7 - -5. Let x be d/1 - -8 - 2. Suppose -5*g + 8 = -x*k, 4*g + k + 2 = -0*g. Is g bigger than 0?
False
Let b = -40 - -40. Which is bigger: -5/19 or b?
b
Let a = 0.44 + -0.4. Let v = a - 3.04. Let x = v - -3. Is x less than -1?
False
Let p = -3.2 - -4.2. Which is smaller: -1/12 or p?
-1/12
Suppose -3 = 3*y - 0. Which is smaller: y or 2/23?
y
Suppose -f - 12 = -5*y + 35, 3*y - 18 = 4*f. Let a = -5 + y. Let i = a + -9/2. Are i and -3 equal?
False
Suppose -26 = -3*w - 5. Suppose -w*f + 3*f + 68 = 0. Which is bigger: 16 or f?
f
Suppose 3*p - 4*g - 15 = -38, -9 = 4*p - g. Let v(h) = -3 - 2*h + 0*h + 4. Let d be v(1). Is d greater than p?
False
Let q = 2.4 + -2.1. Which is greater: 6 or q?
6
Suppose 5*v + m + 70 = 0, 0 = 3*v - 3*m + 5 + 19. Let g = 22 + v. Suppose 0 = 3*h - 3 + g. Which is bigger: -1 or h?
-1
Let t = -9 - -1. Let w be (t/(-42))/(4/(-6)). Is 3 greater than or equal to w?
True
Suppose 3*w + 2*z + 9 = 0, 4*w - z + 4*z = -11. Let d = 6 + -12. Which is greater: w or d?
w
Let h = 3.46 - 0.46. Is h bigger than -5?
True
Suppose 0 = -2*a - 1 + 3. Which is smaller: a or 7?
a
Let x = 338/7 + -48. Suppose 0*a = 3*a. Which is greater: x or a?
x
Let c = 6.6 - 7. Let z = -0.2 - c. Let x be -2*3*1/9. Which is smaller: z or x?
x
Let l(w) = 5*w - 29. Let a be l(-11). Is -84 bigger than a?
False
Let k = 15 + -13. Is k smaller than 3?
True
Let b = -0.2 - -0.4. Let d = b + -0.4. Let h = d - -0.1. Which is greater: h or 2?
2
Let o = -18 + 5. Let a = 18 + -9. Let b = o + a. Which is smaller: -3 or b?
b
Suppose 0 = -6*a - 9 + 3. Which is smaller: a or 1/8?
a
Let m be (-6)/(2 - (-15)/(-12)). Let n = -8 - m. Are n and -2/9 non-equal?
True
Let h(b) = -b**3 + 7*b**2 - 5*b + 9. Let d be h(6). Let m = d - 12. Suppose 0 = k - 2*k + 2. Is m at most as big as k?
False
Let v(z) = -3*z - 5. Let p be v(-4). Is 4 at most as big as p?
True
Let v(p) = p + 58. Let i be v(15). Is i at least -1/3?
True
Let b = -8 + 5. Let d = -2.9 - b. Which is bigger: 2 or d?
2
Let n be (-12)/(-5) - (-2 + 4). Suppose 2*p = -w + 6*p + 5, 2*p + 2 = 0. Which is greater: n or w?
w
Let v = 0 + 0.08. Let k = v - -3.92. Is k at least 1?
True
Let s = -5 - -4. Let t = 2 + s. Let g be -6*(-4)/(112/(-2)). Is g equal to t?
False
Let u(o) = o**2 - o + 1. Let q(y) = 4*y**2 + 6*y + 6. Let x(c) = q(c) - 5*u(c). Let m be x(11). Is 10/9 > m?
True
Let h(q) = q**2 + 3*q + 1. Let f be h(-1). Let i(a) = 4*a**3 + 2*a**2 + 3*a + 2. Let g be i(-1). Which is smaller: f or g?
g
Let c = -33 - -133/4. Suppose -b = 3*j - 25, -j + 0*b - b + 9 = 0. Let i be (-1)/(-5) + j/10. Is c equal to i?
False
Suppose 0 = -3*m - m + 16. Let i be m/(-6) + 1/(-3). Which is smaller: 1/9 or i?
i
Suppose 0*i - 4 = 2*i. Does -1 = i?
False
Let y = 1/342 - 1379/3762. Is -4 not equal to y?
True
Let z = -20.6 - -17. Let y = z + 2.6. Which is bigger: -0.02 or y?
-0.02
Suppose -4*y + t = 0, 3*t - 17 + 5 = 0. Suppose d = -2*d. Which is greater: y or d?
y
Let y = -1003 - -26075/26. Which is greater: y or 1?
1
Let p(j) = 2*j - 2. Let o(x) = 2*x - 1. Let c(r) = -5*o(r) + 4*p(r). Let i be c(-2). Which is smaller: 0 or i?
0
Let s = 2/657 + -6596/8541. Which is greater: 0 or s?
0
Let x = -18 + 10. Suppose -7*v + 5*v = -2. Let h be (v/6)/(x/12). Which is smaller: 0.3 or h?
h
Suppose 8 = w - 5. Let r = w - 13. Is -1 bigger than r?
False
Let i be (-2)/(-11) - (-1200)/(-66). Let r be (-2)/10*(-30)/i. Does 3 = r?
False
Let j be -3 - 1/((-1)/8). Let u = j + -8. Suppose z + 3*z + 16 = 0. Which is smaller: u or z?
z
Suppose g + 7 - 65 = -4*n, -34 = -3*n + 4*g. Let w(j) = j**3 - 14*j**2 + 1. Let l be w(n). Which is bigger: l or 5/7?
l
Suppose h = -4*v + 12, -h - 4*v + 3*v = -3. Which is greater: 0.01 or h?
0.01
Suppose -4*r - 4 = 0, h = 6*h + 3*r - 2. Which is smaller: h or 2/55?
2/55
Let t = -485 + 13097/27. Is 0 != t?
True
Let c = 0.2 - -1.4. Let a = c + -1.5. Is -0.3 <= a?
True
Let w = 2.02 - 0.02. Which is smaller: w or -3?
-3
Let k = -490 + 3911/8. Let s = k - -13/8. Which is bigger: -1 or s?
s
Suppose -4*z + 4*o + 0*o + 12 = 0, -4*z = 3*o + 23. Let m = -6 + 4. Let t be 0 + 1 - (-3)/m. Which is greater: t or z?
t
Let t = -79/45 - -17/9. Let r be -2 + 2/2 + 2. Is t equal to r?
False
Let m(k) = -k + 6. Let f(g) = 2*g - 11. Let q(c) = 6*f(c) + 11*m(c). Let v be q(-6). Let b be 8/(-2) + v/(-2). Is b != 0?
True
Let t be 1/(-1*(-1)/9). Suppose 2*v + 0*v = -4*i + 26, -46 = -4*v - 5*i. Is t at most v?
True
Let x = -7 + 2. Suppose -4*r - b - 29 = 0, -r - 2*b - 9 = -0*r. Let w = r - -4. Is w greater than x?
True
Let m be (-7)/(-7) - (1 + -2). Suppose -o = -m*b - 2*o + 7, 0 = -3*b - 2*o + 12. Is 12/5 not equal to b?
True
Let x = -565/4 - -141. Is -2/3 at least as big as x?
False
Let m = 3.5 - 3. Let l = m + 0.1. Let t = 0.4 + l. Which is smaller: t or -0.1?
-0.1
Suppose 0 = -4*z - 4 + 8. Let w = 0 - z. Is -3/8 > w?
True
Let a(k) = k**2 + 3*k + 2. Let d be a(-2). Suppose -4*i + 8 = -d*i. Let s be (1 + 2)*i/6. Which is smaller: s or -1?
-1
Let t = -3.1 + 2. Let x = 1 + t. Let c be (-22)/(-12) - (0/(-3) + 2). Which is greater: c or x?
x
Suppose 0 = -4*k - 0 - 8. Is 3 >= k?
True
Let d = 3.7 - 3.67. Let j be ((-4)/(-8))/(2/1). Which is smaller: j or d?
d
Suppose 