 - 40. Which is smaller: 0.5 or h?
0.5
Suppose 2 = -2*f, -3*b + 4*f + 13 = -9. Let z = -9 + b. Let u(p) = p + 4. Let i be u(z). Is 2/5 at most as big as i?
True
Suppose 0 = 349*f - 351*f + 10. Suppose 3*l - a - 1 = 6*l, 0 = 3*l + 4*a + 4. Suppose 10 = d + 4*d, 4*i + 3*d - 22 = l. Is f != i?
True
Let g be (2/3)/((-4)/(-18)). Let z be (28/10)/(-1) + g. Suppose 0 = 3*d + d. Which is smaller: z or d?
d
Let p = 229/2 + -109. Are p and 6 non-equal?
True
Let c = -2 + 4. Let s be (-4)/(-8) + (-9)/c. Let v = -3 + -2. Are s and v nonequal?
True
Suppose 0 = q + 2 - 9. Let k = -10 + q. Is -2 less than or equal to k?
False
Let t be 8/52 + (-168)/78. Let w be (-2)/5*(-5)/(-1). Is w at most t?
True
Let v be (10/25)/(3/(-15)). Is -20/9 at least as big as v?
False
Let z = 739 + -30297/41. Which is smaller: 0 or z?
0
Let p = 588 + -2363/4. Which is greater: p or -2?
-2
Let j(t) = -t - 4. Let m be j(-5). Let d = -293399/1782 - -1809/11. Let r = 2/81 + d. Are m and r nonequal?
True
Let g = 11.9 - 12. Let k = 2 + -1.9. Let o = k + g. Is 0 smaller than o?
False
Let f = -57/7 + 927/119. Is 1 bigger than f?
True
Let z be -2 - 1 - (-13 - 3). Suppose 0 = -2*d + 5*f + 26, 2*d + z + 1 = -5*f. Does d = 3?
True
Let x(c) = -c**2 - 17*c - 27. Let g be x(-12). Is g at least as big as 0.1?
True
Suppose 2*k - 2 = -0. Is k at most 4?
True
Let r be (-1 - (0 - -2))/(4/36). Is r not equal to -30?
True
Let c = 3 - -1. Let h be c/(-10) - 3/5. Which is smaller: h or 1/8?
h
Suppose 0*a = 2*a. Which is smaller: 1/19 or a?
a
Let u(o) = -o**3 + 5*o**2 - 7*o + 7. Let p be u(4). Which is smaller: -1 or p?
p
Suppose -3*d + 3*x = -39, 35 = 2*d - 3*x + 6. Which is smaller: 8 or d?
8
Let z = 1 + -7. Let v = 5.8 + z. Is 0 less than or equal to v?
False
Suppose 0*g - 3 = -g. Suppose 0 = -g*j - 0*j. Suppose 2*l = 2*p, j = -5*l - 4*p + 2*p + 7. Is l < 0?
False
Let l be (-12)/(-24) + (-50)/(-8). Which is bigger: 7 or l?
7
Let l(s) = -2*s**3 + s**2 + 9. Let f be l(0). Is f less than 8?
False
Let i = 3 + -6. Let x = 6 + i. Suppose -x*q - 4 = -4*q. Is 3 < q?
True
Let d be 3 - 1*(0 + -1). Suppose 0 = -s - 0*s - 2*m + d, s = -3*m + 4. Let a = s + -4. Which is greater: a or -1/8?
a
Let a = -0.7 - 3.3. Let c = -4.02 - a. Let u = c - -0.72. Which is bigger: u or 0?
u
Suppose 5*i - 2*c = -16, 6*i = 2*i - c - 18. Let j = i - -4. Does 0 = j?
True
Let z(u) = u - 4. Let b be z(3). Let d = 4.9 - 4. Let m = 1 - d. Which is smaller: m or b?
b
Let v(o) = o**2 - 9*o + 9. Let m be v(7). Let x = 11 + m. Let d be 2 - (2 + x/9). Do d and 1 have different values?
True
Let c(l) = -l**3 - 6*l**2 - 5*l + 4. Let s be c(-5). Which is greater: -1 or s?
s
Let u = -1.3 + 1.4. Which is smaller: 0.2 or u?
u
Suppose 23 = q - 4*b, 0 = -5*q + 3*b + 80 + 69. Is -1 < q?
True
Suppose -j - 4 = 2. Let m be (3/j)/(1/(-5)). Is m at least 3?
False
Suppose 4*l + 2*x - 8 = 0, 6 = l - 5*x - 7. Let a = -73/2 + 38. Is a < l?
True
Let v(p) = 6*p**2. Let g be v(1). Let z be 6 - (0 + -1 + 0). Is z greater than g?
True
Suppose -i + 4 - 6 = -2*k, i + 3 = 3*k. Which is bigger: i or 1?
1
Let n = 61 - 26. Are n and 35 unequal?
False
Let t be 1/5 + 511/(-1505). Let j = t - -79/258. Which is smaller: j or -1?
-1
Let j = 20 - 19.9. Is 1 less than j?
False
Let x(k) = 5*k**2 + k - 1. Let t be x(1). Suppose -5*d + 8 = -12. Let b = d - t. Which is smaller: b or -1/2?
b
Let w = -4 - -3.8. Let i(a) = a**3 - 7*a**2 - a + 7. Let s be i(7). Which is smaller: s or w?
w
Let n be (-81)/12 + 3/(-12). Let x be (-2)/n - 35/(-49). Is x > 2/51?
True
Let c = -18 + 10. Suppose 4*r = k + 1, -4*k = r - 6*r - 7. Are r and c unequal?
True
Suppose -4*f = 3*w + 55 - 6, -15 = 5*w. Let p(s) = -s**3 - 11*s**2 - 9*s + 11. Let a be p(f). Do a and 2 have the same value?
False
Let f = -1 - -4. Suppose 3*l + 3*t = 3, 0 = -f*l - 0*l + 2*t + 3. Is 5 less than or equal to l?
False
Let l(r) = -r**3 + 4*r**2 - r - 4. Let u be l(3). Let o be (u - 1)*(1 - 2). Suppose 3*f + 12 = 0, -j - 13 = 5*f + 8. Is o equal to j?
True
Let c = -47.1 - -47. Which is smaller: 0 or c?
c
Let y be (-1)/(-6) + 102/36. Let m be (1/y)/(36/27). Is m at least as big as -1?
True
Let j be (-9)/7 - 20/(-70). Is -3 != j?
True
Let a = -2 - -2.1. Let o = -3.7 - -1.8. Let s = o - -2. Is s > a?
False
Let m be (2 - (4 - 2))/2. Let a be (-168)/(-83) + (-5 - -3). Let b = a + -172/249. Is b smaller than m?
True
Let z(v) = -v**3 + 10*v**2 - 9*v + 4. Let i be z(9). Suppose -2*r + 4 = -3*u - i, -5*r - 6 = -u. Which is smaller: -4 or r?
-4
Let v = 5 + 0. Let t(w) = -w**2 + 5*w - 1. Let o be t(5). Let s be ((-2)/(-2) - o) + -1. Do v and s have different values?
True
Let d = -12 + 16. Which is greater: 1 or d?
d
Let k = -0.05 + 0.08. Let h = k + 4.97. Is -1 at most as big as h?
True
Let k = -0.38 + 0.18. Which is bigger: k or 5?
5
Let c be 3/(168/(-53)) + 20/35. Is -1 bigger than c?
False
Suppose -3*i + 5 + 1 = 0. Let l(y) = -y**2 - 3*y + 2. Let t be l(-2). Suppose h + 5*f = -3, 5*h - 10 = 4*f + t. Does h = i?
True
Let w = -0.29 - -0.21. Is -1 equal to w?
False
Let n = 9.2 + 0.8. Which is greater: n or -1?
n
Let s(v) = v**2 + 7*v. Suppose -3*q = -3*z + 1 + 14, -22 = 2*q + 4*z. Let h be s(q). Let t = h + -1. Do -3/4 and t have the same value?
False
Let n(b) = -3*b + 4. Suppose 3*l + 1 = j - 1, -l = -5*j + 24. Let z be n(j). Are -10 and z nonequal?
True
Let y = -2.63 - -0.63. Let n be 24 - -1 - (0 - 1). Let g be ((-2)/5)/(n/10). Which is smaller: g or y?
y
Suppose r - g = 5, -33 = -5*r - 2*g + 20. Let a be 3/9*r/(-12). Is -2 <= a?
True
Let j be -3 + (-1 - 10/(-6)). Let a(k) = k**2 + 10*k + 21. Let d be a(-6). Which is smaller: d or j?
d
Let t = 9 + -5. Let o be (3 - 3)*2/t. Which is smaller: -3/4 or o?
-3/4
Let f = -31 - -54. Suppose f = 3*h - 16. Let k = h + -27/2. Which is smaller: k or 0?
k
Suppose -5*o + 4 = 24. Let u = o - -5. Let j be (-7)/20 - (-3)/5. Which is bigger: j or u?
u
Suppose 0 = 18*b - 10*b + 8. Is 32 bigger than b?
True
Let l = 1.46 - 1.6. Let n = 0.84 + l. Let t = n + -0.8. Which is greater: t or 3?
3
Suppose -2*s - 2*s + 8 = 0. Let l = -52 - -55. Which is bigger: s or l?
l
Let c(s) = -s + 9. Let x be c(12). Let j(v) be the second derivative of -v**5/10 + v**4/4 + v**3/6 - v**2 - v. Let a be j(2). Is x at least as big as a?
True
Suppose l + 11 = -4*m, -3*l + 3*m + 12 = -0*m. Let u be (l - 0)/(4/(-20)). Is u bigger than -5?
False
Let d be 871/(-52) - (-6)/8. Is d <= -18?
False
Suppose -2*k + 3*k - 2 = 0. Let g(s) = -s**2 - 4*s - 3. Let a(y) = -y. Let o be a(2). Let j be g(o). Which is greater: k or j?
k
Let v = -0.07 - -0.1. Let g = 0.03 - v. Let k = g + 1. Is k at most 0.1?
False
Let f = 42 - 59. Let l(v) = -v**2 - 17*v - 7. Let q be l(f). Which is bigger: q or -8?
q
Let m = 9 - 13. Let z = m + 3.5. Which is bigger: 0 or z?
0
Let p be 2/3*(-20 + 5). Which is bigger: p or -2/9?
-2/9
Let p(n) = 2*n**2 - 5*n + 2. Let m be p(3). Is m bigger than 4?
True
Let a be 8/77 + (-2)/7. Let t be 0/(10 - 4 - 4). Are a and t equal?
False
Suppose -4*a - z + 20 = 2*z, -4*a + 5*z - 12 = 0. Suppose 0 = -5*n + w + 3*w + 5, 3 = 3*n + a*w. Let p(q) = q**2 + 1. Let l be p(n). Is 2/3 != l?
True
Let k = -0.01 + -0.03. Let z = k + 0.04. Which is greater: 1/2 or z?
1/2
Let c be (-146)/(-204) + (-1)/3. Let a = -2/17 - c. Which is greater: -2 or a?
a
Let n = -178/3 - -63. Let u = n + -4. Which is greater: -0.1 or u?
-0.1
Let z = -72 + 147. Which is greater: 74 or z?
z
Let s = 19 - 4. Let k = s - 13. Let u = 57/2 + -28. Is u > k?
False
Suppose 1 = -2*j + 7. Which is smaller: -4 or j?
-4
Let c = 11/4 + -201/76. Suppose k + 12 = 4*f, -3*k + 5*f = -2*k + 15. Are c and k non-equal?
True
Let u be -2 - (-3 + 0) - (-6)/15. Let h = 2 - 0. Are u and h nonequal?
True
Let g = 0.11 - 2.11. Which is bigger: g or 2/5?
2/5
Suppose 0*k + 2*t + 2 = k, -2*t + 4 = 2*k. Suppose 13 + 7 = -4*w. Let h be 7/10 - w/(-25). Which is greater: h or k?
k
Suppose 35 + 109 = 3*k. Let a be (-2 + k/22)*-1. Is 1 at least as big as a?
True
Let v(o) = -2*o**2 - o. Let k be v(-1). Is 3/58 smaller than k?
False
Let y = -1605/8 + 201. Which is smaller: y or 1?
y
Let m be 2/3 - (-10347)/(-12078). Let g = 1/122 + m. Suppose 15*k = -0*k - 15. Are k and g equal?
False
Suppose 4 = -i + 2. Let p(d) = d**2 + 3*d + 1. Let t be p(i). Suppose -5*y - 10 = -0*y. Is y at most t?
True
Suppose -44 = -