8 - 3. Which is smaller: h or -1?
h
Let h = 9.7 + 3.3. Let p = -13.1 + h. Which is smaller: p or 0.1?
p
Let o = -0.31 + 0.21. Which is bigger: o or 0.03?
0.03
Suppose 2 - 2 = -8*y. Which is bigger: y or -2/39?
y
Let o = -21 + 19. Suppose 1 = -2*h - 3. Let t be (o - h) + 0 + 0. Is 1 < t?
False
Let t = 23 + -11. Suppose t*i = 8*i - 32. Is i greater than or equal to -8?
True
Suppose 0*n + 5*n - 5 = 0. Let a be (-4)/(-6) + 20/(-21). Which is greater: n or a?
n
Let i(m) = m**2 - 11*m + 10. Let l be i(10). Let n = 7 + -7.03. Is n < l?
True
Let b = -15 + -22. Which is bigger: 0 or b?
0
Let s be (-1 + 3 + -8)/(-614). Let h = s - -17493/614. Let m = h + -29. Which is greater: 2 or m?
2
Let o(j) = -4*j - 6. Let i be o(-6). Let a be (i/(-14))/((-4)/(-7)). Are a and -1 equal?
False
Suppose -3*s = -3*l - 36, 4*s - 39 = 5*l + 21. Let r be (-38)/154 + l/66. Is 0.1 at most r?
False
Let a = -12 + 20. Let m be ((-8 - 1)/(-1))/1. Which is bigger: m or a?
m
Let l = -736 - -49310/67. Which is smaller: -1 or l?
-1
Suppose 23 = 4*x + 7. Suppose -4*k - 8 = 4*w, 0 = -4*w + x*k + 27 - 3. Which is smaller: w or 1?
1
Let l(n) = n**3 - n**2 - n. Let r be l(2). Suppose -4*q = 2*c + r, -2*q - c - 1 = -4*q. Let y = -3/17 + -11/34. Which is bigger: q or y?
q
Let j(u) = 2*u**3 + 7*u**2 + 5*u + 4. Let d be j(-4). Let b be (25/870)/((-2)/d). Let x = b + 6/29. Which is smaller: 1 or x?
x
Let s = 0.33 + -0.23. Let v = 0.4 - 0.3. Is v at least s?
True
Let m = 42 - 48. Which is smaller: m or -9?
-9
Let v = -9.8 + 10. Let w = -811/74 + -20/37. Let g = w - -113/10. Is v greater than g?
True
Let q = 35 + -15. Is 56/3 not equal to q?
True
Let k = 1 + -0.7. Suppose 3*r = -3*v, 5*r = -2*v + 3 - 0. Are r and k equal?
False
Suppose 4*x - 6 = 5*b, b = 2*x - x - 2. Let y be (b + 0)/2*5. Which is greater: y or 4?
y
Let n = 28 - 30. Let c(k) = -k - 7. Let g be c(-6). Let i = 0 + g. Which is smaller: n or i?
n
Let j(y) = y + 5. Let z be j(-3). Suppose -2*t - 10 = -n, 3*t - 10 = -5*n + 5*t. Which is greater: n or z?
z
Let b be 3 - (2/1 + -1). Let l = b + -3. Suppose 50*x = 53*x - 9. Which is greater: l or x?
x
Let j be (-11071)/30 - 2/(-12). Let a = j + 369. Which is bigger: 0 or a?
a
Suppose 184 + 104 = -16*d. Is -18 < d?
False
Suppose 0 = -3*j + 7*j + 4. Suppose -3*o - 792 = o. Let m be 12/o*6/(-2). Is j greater than m?
False
Suppose -16 = -5*x + 4. Suppose -6*r + r + 10 = -d, -4*d - 8 = -x*r. Which is greater: d or 1/8?
1/8
Let t = 20.8 - 17. Let x = t + -1. Let z = x + -3. Which is bigger: 0 or z?
0
Suppose 2*p - 5 = -1. Let i be 0/(0 - 0 - p). Is 4/5 greater than or equal to i?
True
Let l(b) = 2*b + 10. Let i be l(-9). Which is smaller: -9 or i?
-9
Let l = -10 - -9. Which is bigger: 3/19 or l?
3/19
Let f = 1 - -4. Suppose -4*o - o + 9 = 3*p, f*p - o = -13. Let j be (p/(-6))/((-3)/6). Which is bigger: j or 2/3?
2/3
Let q = -0.43 + 0.03. Let v = -0.9 - q. Which is bigger: v or 2/3?
2/3
Let s = -9 + -6. Which is smaller: s or -16?
-16
Suppose 0 = -3*w + 23 - 8. Let m = w + -7. Which is greater: m or 2?
2
Let i(b) = b + 8. Let y be i(-6). Suppose 2 = y*o + 4. Is o equal to -7/5?
False
Let z be 2 + (1113/81)/(-7). Which is smaller: z or 0?
0
Suppose 0 = 13*a - 16*a + 246. Does a = 82?
True
Let q = -0.8 + 0.5. Let c = q - -1.3. Which is greater: c or 5?
5
Let s(b) = b**3 + b**2. Let u(m) = -2*m**3 - 3*m**2 - m + 1. Let h(p) = -s(p) - u(p). Let j be h(-2). Which is smaller: -2 or j?
j
Let c be (-158)/(-22) + (-2)/11. Is 6 greater than c?
False
Let u be (-577744)/102 - 3/(-9). Let z = u - -51123425/9027. Let f = 2/177 - z. Is f equal to 0?
False
Suppose 2*m + s - 2 = 195, 2*s = -10. Let f = m + -508/5. Is 0 at most f?
False
Let o = 0.9 - 5.9. Let r = o - -5.2. Let y = r - 0.3. Is -2/7 bigger than y?
False
Let h = -4203757728/10511963 + 840/136519. Let j = -372662/385 - h. Let v = j - -568. Is v at least as big as 1?
False
Let g = -0.26 - -0.32. Let b = 0.16 + -0.1. Let a = g - b. Are a and 0.2 nonequal?
True
Let m be 12/(-2)*4/8. Suppose 2*z - 2*u + 36 = 0, -19 = 2*z - 3*u + 12. Let d be (-2 - z/16)*4. Which is smaller: d or m?
m
Let g = 11 - 119/11. Let z be (2/(-2*1))/1. Is g > z?
True
Suppose -19*q = -16*q + 51. Is -16 at least q?
True
Suppose -2*i + 50 - 14 = 0. Let q be 6/(-2)*24/i. Is -4 at most as big as q?
True
Suppose 3 = 5*i - 2. Suppose q = 3*c + c - 29, -q = i. Do 7 and c have different values?
False
Let h(l) = -l + 1. Let p be h(-9). Let m(j) = j**2 - 6*j + 9. Let s be m(6). Which is smaller: s or p?
s
Let a be -1 - (1 - (-228)/(-111)). Which is smaller: a or 1?
a
Let c be (2/(-12) + (-66)/(-180))*1. Which is bigger: -4 or c?
c
Suppose 0 = -19*w - 170 + 702. Is w smaller than 30?
True
Let j = 3.026 - -0.074. Let n = j + -3. Let u = 11 - 10. Which is smaller: n or u?
n
Let j = -21012/517 + 448/11. Which is smaller: j or 0?
0
Suppose 3*x - x = -42. Let a = 37 + x. Is a less than 15?
False
Suppose -331 = 11*q - 34. Which is greater: -26 or q?
-26
Suppose 0 = 4*t - 0*t - 260. Let l be (-2 + 4 + t)/76. Let n = 12/19 - l. Which is smaller: n or 0?
n
Suppose 3*t + 2 + 1 = 0. Suppose -2*v + 0*d = 2*d, -4*v + 2*d = -30. Let u be 1*-3*t/v. Which is smaller: -0.1 or u?
-0.1
Suppose 3*c + 5*a + 2 - 10 = 0, 0 = -5*c - a + 6. Let w = 6 + -3. Let y be 1/w - 2/6. Does c = y?
False
Let f be ((-1)/(-116))/((-4)/(-24)). Let b = 284918467/406 - 701770. Let c = b - f. Is c at least as big as -1?
True
Let g = 5200/17 + -306. Let z(t) = 2*t - 3. Let b be z(3). Suppose -b = 2*c + 3*m, 4*c - 2 = 4*m + 2. Does c = g?
False
Let j = -13 + 17. Are j and 11/3 non-equal?
True
Let y(s) = -s**3 - 7*s**2 + s + 9. Let b be y(-7). Let w be b/(-2) - (-7)/3. Which is bigger: w or 1?
w
Let a = -10 + 6. Let r = a + 11. Let f = r + -6. Is f < -2?
False
Let v = 30 - 31. Is -7/6 at most v?
True
Suppose 0 = -0*c + 3*c - 36. Let b = c + -8. Is b >= 0.1?
True
Let d be 10 + (1 - 1/1). Suppose -h - 15 = -6*h. Suppose -5*y = z - 2*z - d, 3*z = -h*y + 6. Are 2 and y non-equal?
False
Let d(r) = 2*r**3 - 15*r**2 + 10*r - 21. Let o be d(7). Is o not equal to -2/69?
True
Let u = 34 - 34. Let w be (-17)/3 + 1/(-3). Let m(v) = -v - 7. Let o be m(w). Which is greater: u or o?
u
Let l = 19 + -9. Let t = l - 9.7. Which is greater: t or -3/2?
t
Suppose f - a + 4 = 4*f, 8 = 2*a. Suppose 4*k - 2*k - 4 = 0. Suppose k*y = -f*y. Which is greater: y or 0.1?
0.1
Suppose f - 4*n = 2, -4*f + 6 + 2 = 5*n. Suppose 3*h + f = 5. Which is smaller: 12/7 or h?
h
Let h = 1 + -2. Do -5/13 and h have the same value?
False
Let f = -40 - -13. Is -27 bigger than f?
False
Let z be -5*(-1)/(-4) - 27/4. Let w be 31/(-4) + (-2)/8. Is w < z?
False
Let a = 3 + -3.02. Let p = a + -0.28. Let q = 0.2 + p. Is -0.1 at least as big as q?
True
Let z(m) = m**2 + 7*m + 3. Let v be z(-5). Which is bigger: v or -5?
-5
Let n = 139 + -975/7. Let v(r) = -r**2 + 2*r + 2. Let c be v(-1). Which is smaller: c or n?
c
Let t = -17 - -9. Let l = t + 5. Is l greater than -2?
False
Suppose g = -15 + 4. Is g at least -1/3?
False
Let t = 1 + -1. Let w be 16/(-70) - (-5)/(-25). Is w not equal to t?
True
Let a(u) = u - 2. Let t be a(0). Let n be (2 - 1) + 195/(-3). Let d be n/(-112)*(-6)/4. Which is smaller: d or t?
t
Let h be ((-6)/15)/(3/(-60)). Let i = 5 - h. Let j be 3/6*0 + i. Is -3 at least as big as j?
True
Let h = 2 + -1. Let g be (-12)/15*(-15)/18. Is h bigger than g?
True
Let n = 0.1 - 0. Is 2 > n?
True
Let g = -0.035 + -3.065. Let w = 3 + g. Let r = -950/7 + 136. Which is greater: r or w?
r
Let l be 1/6 + 164/24. Suppose l = 3*x + 2*u, -u - 6 = -2*x + 1. Let i(r) = -r**3 - r**2 - r + 2. Let n be i(0). Are x and n unequal?
True
Let y(z) = z**3 - z**2 - z + 2. Suppose 7*c = 2*c + 10. Let n be y(c). Suppose 1 + 0 = p, 0 = 4*f + 4*p - n. Which is smaller: -8/7 or f?
-8/7
Suppose -5*v + 4 + 6 = 0. Suppose v*w + 10 = -3*w. Which is greater: 1 or w?
1
Let v = -1 - 0. Let b = -121/84 + 7/12. Which is greater: b or v?
b
Suppose 2*f + 11 = -5*r - 18, -2*r = 2. Let b = -13 - f. Is 1/3 > b?
True
Let x = -163/130 + 15/13. Suppose -3*o + 0*o = 0. Is x <= o?
True
Suppose m + 4*m = -4*a - 6, -3*a = -3. Let q(p) = -p**2 - 2. Let h be q(0). Let i(y) = 2*y + 1. Let r be i(h). Is r < m?
True
Let v = 155/994 + -1/14. Let t = v + 100/497. Which is smaller: -2/9 or t?
-2/9
Let p = 5 - 5. Let h(u) = -u**2 +