+ 97.6. Do h and -3 have different values?
True
Let k = 9 + -15. Let s = 6 + k. Is -0.2 not equal to s?
True
Let g = 4 + -14. Is g bigger than -10?
False
Let q = 0.1 + -0.1. Is q at most as big as 1/2?
True
Let n be -6 + 32/6 + 5/3. Which is greater: 10/37 or n?
n
Suppose -2*l - 4*q + 5 - 3 = 0, 5*q = 5*l - 5. Suppose 0 = 2*x - 2*u - 10, -u + 1 = 3*x - 2. Let a be (-5)/x*16/(-140). Is a smaller than l?
True
Suppose 4 = 2*c - 2*u, -2*u - 2 = -4*c - 0. Do c and 1/3 have the same value?
False
Let x be (-9 + 12)/(1/(-7)). Let l be x/12 + -1 + 3. Is -1 equal to l?
False
Let z = 0.39 - -5.61. Is 0.3 smaller than z?
True
Let g be (-268)/6 + (-16)/(-4). Let f = -41 - g. Which is bigger: -3/8 or f?
f
Let q(b) = -b**3 - 3*b**2 - 2*b + 2. Let l be q(-2). Let r be -2 - (l + -8)/3. Is r bigger than -1/8?
True
Let v(g) = -g**3 - 7*g**2 - g - 7. Let k be v(-7). Suppose k = -2*l - l - 2*i + 17, 0 = -3*i + 3. Suppose 3*f = l*f. Which is smaller: 1/4 or f?
f
Suppose 3*t - 4*t = 2. Is -3 at most t?
True
Let y be -2 - (3 + 3/(-1)). Suppose 0 = -f, -3*k - f - 7 + 1 = 0. Is y greater than or equal to k?
True
Suppose 5*a - 29 = 11. Which is smaller: -0.3 or a?
-0.3
Let q = -1 + 2. Let l be 288/(-30) + 4/(-10). Let s = -7 - l. Which is smaller: q or s?
q
Let h be 2/6 - (-5)/3. Let y(o) = o. Let t be y(h). Suppose 5*u - 3*u - t = 0. Which is bigger: 2 or u?
2
Let z be 8 - (0 + 1) - -1. Is z < 5?
False
Suppose 3*u + 1 = -2. Let v(a) = a**3 + 8*a**2 - 10*a + 4. Let z be v(-9). Suppose 10 = -t - t + 4*g, 4*g - z = 5*t. Is t less than or equal to u?
True
Let h(w) = -58*w - 5. Let x be h(2). Which is greater: -120 or x?
-120
Let l(x) = x + 3. Suppose -6*f + f + b - 22 = 0, 0 = -2*b - 6. Let o be l(f). Is -1 at least as big as o?
True
Let o be ((-6)/8)/(2/8). Let p be (-2)/(-2)*(-6 + 5). Which is greater: p or o?
p
Let g be 141/(-132) + 1/4. Let c = g + 25/44. Suppose s = 6*s. Which is bigger: s or c?
s
Suppose -3*q + 32 + 28 = 0. Suppose -p + q = -0*p. Suppose -3*g + 2 = -3*c + p, 4*c - 18 = -2*g. Is -2 > g?
False
Let h = 2.95 + 0.05. Let p = -3 + h. Let s = 0.2 - p. Is s less than or equal to 2/3?
True
Let x(b) = 3*b - 1. Let k be x(2). Suppose -k = -4*r - r. Which is bigger: 3 or r?
3
Let z be 25/6 - (-4)/(-24). Suppose -3*h + 8 = -z. Which is smaller: h or 3?
3
Let o(l) = l**3 + l**2 - l - 1. Let g be o(0). Suppose a - 6*a + 5 = 0. Let b be 0/a - (2 - 2). Is b smaller than g?
False
Let j be (-3)/18 - (0 - 1/6). Which is greater: j or 1/133?
1/133
Let v = 113 + -124. Which is greater: v or -9?
-9
Let i = -4.1 + 3.1. Is -1 at least i?
True
Let p = -9 + 18. Let y be p/(-6)*(-2)/(-9). Let s = -0.13 - -1.13. Which is smaller: y or s?
y
Let u be 2/9 + (-16)/18. Let z be (-1 - -5) + 20/(-5). Which is smaller: z or u?
u
Suppose -3*n = -0*n - 3. Let s(z) = z**3 + z. Let m be s(n). Let l = m - 0. Is l <= 2?
True
Let d(c) = -c + 9. Suppose -4*w = -n - 16, 6*w = 2*w + 5*n. Let v be d(w). Let o = -6 + v. Which is smaller: o or -3?
-3
Let z be (-618)/(-42) + (-2)/(-7). Suppose -2*a = a - z. Suppose 2*o = a*o. Is o at most as big as 1?
True
Let p be (-4 + 4)/(0 + 2). Let b = 3/28 - -1/7. Is p at least b?
False
Let u be 68/28 - 0 - 2. Which is smaller: u or -1/2?
-1/2
Let s = -1.89 - 0.11. Which is greater: 2 or s?
2
Let c = -68 + 67.94. Is -3/5 > c?
False
Let h be (3 - 0)/(-3) - 206. Let l = h - -3107/15. Let w = -2 + 2. Does w = l?
False
Let q = -3 - -9. Suppose -k - 3*l + 16 = 0, -2*l = -q*l + 20. Let r be (-8)/(-2) - (-21)/(-5). Is k != r?
True
Let g be (-2 - -2)/(-1) - -1. Let z = 116/13 + -2642/299. Which is smaller: z or g?
z
Let d(h) = -h**3 + 4*h**2 + 3*h + 10. Let s be d(4). Is s greater than 21?
True
Let r be 2 - -1*(-7)/1. Let b be 0/(-2) - (-4 + 1). Let p = b + r. Which is smaller: p or -3?
-3
Suppose -2*f - 10 = 0, -t + 0*t - 3*f - 12 = 0. Let r(v) = v**3 - 7*v**2 + 6*v + 1. Let i be r(6). Let k be -2*(5/(-2) + i). Is k not equal to t?
False
Let v be 3/(-15) + 4/(-5). Let d = 3/22 + 13/66. Which is greater: d or v?
d
Let z be 132/30 - (-2)/(-5). Let t(s) = -s**2 - s. Let l be t(-3). Let q = l + z. Is q bigger than -0.1?
False
Let m = 0.8 - 0.5. Let g = -1 - -2. Let z = 2 - g. Are z and m equal?
False
Let j = -1 + 1. Let a be -28*(-4 - 14/(-4)). Suppose -7*v - a = -0*v. Are v and j equal?
False
Let f = -7478004/48671 - -15/13906. Let m = -456/7 - f. Let u = m + -869/10. Do 2 and u have the same value?
False
Let g be (2 - (-4 - -3)) + 7. Let h be g/(-50)*(-3 + 1). Let r = -1 + 2. Is r bigger than h?
True
Let i = -80967/2 + 29472129/728. Let p = i - -15/56. Is -1 greater than or equal to p?
False
Let z be (-2)/((-5)/((-15)/(-138))). Let h = z - -18/115. Is h smaller than 0?
False
Let u = -29/36 + -13/9. Is -1 <= u?
False
Suppose -v = 4*v. Let y = 2 + v. Which is greater: y or 5/7?
y
Let y be -1 + (1 - (-1)/(-2)). Let s be (-1)/(-2 + 6/4). Which is greater: s or y?
s
Suppose 4*i = -2*x + 128, 5*i - i + x - 126 = 0. Which is smaller: 32 or i?
i
Let p be 4/(-14) - 40/(-42). Suppose 200 + 130 = -22*c. Which is bigger: p or c?
p
Let s = -0.04 + 0.44. Let r = -0.3 - 0. Let m = s + r. Are m and 3 unequal?
True
Let c be (2/(-12))/(20/30). Which is smaller: c or -0.4?
-0.4
Let t = 32 - 20. Are 12 and t equal?
True
Let d be ((-36)/5)/(15/(-100)). Suppose 144 = -4*q + d. Let h be 4/(-10) - q/(-15). Which is greater: h or -3?
h
Let v be -10 + 0 - -6 - 4. Is -8 < v?
False
Let h = 20 + -19. Does h = -1/60?
False
Let n(s) = s - 4. Let z be n(3). Let k(b) = 5*b**2 + b. Let w be k(z). Suppose w = q - 5*q. Which is greater: 0.8 or q?
0.8
Let x be -29 + 25 + 5 + -1. Which is greater: 1/16 or x?
1/16
Let j(d) = -4*d**2 - 8*d + 8. Let c(t) = -3*t**2 - 7*t + 7. Let r(s) = 5*c(s) - 4*j(s). Let f be r(2). Is f <= 2/3?
False
Suppose 0 = -0*i + 3*i. Which is smaller: i or -1/5?
-1/5
Let t be 14/((-2)/2 + 3). Suppose o - 15 = -2*o. Suppose t = -4*a - o. Is a greater than or equal to -3?
True
Suppose 2*o = -5 - 1. Let g be -2 + 0 + 1 - 3. Which is bigger: g or o?
o
Let a = 1/8 - -3/8. Let m(o) = -o**2 + 11*o + 2. Let c = 7 - -4. Let u be m(c). Does u = a?
False
Let o be (5 + -41 - -1) + -5. Is o < 2?
True
Suppose 2*d = s - d + 16, 2*s + 5*d - 12 = 0. Let f be s/((-48)/(-34)) + 3. Is f greater than or equal to 1?
False
Let k = 1.08 + -0.18. Let c = k + 0.1. Let j be 2/(-1)*(-2)/4. Is j < c?
False
Let z = -2 + 2. Suppose 4*m - 2*m = z. Suppose y - 6*y + 5 = 0. Which is greater: y or m?
y
Suppose b + 0*b - 1 = 0. Is b equal to -3/13?
False
Let o = -3/299 + 2706/1495. Suppose 3 = 2*u - 1. Which is smaller: u or o?
o
Let d be (14 + -6)*(-32)/(-190). Let i be 0 + (-74)/(-38) + -1. Let o = d - i. Is -1/5 <= o?
True
Let w = -2 - 0. Suppose 2*k - 7 = 4*m + 9, 28 = -2*m - 4*k. Let f = w - m. Is 3 > f?
False
Let n = -2 - 1. Let s = -3.1 + 0.1. Let p = n - s. Which is greater: p or 0.2?
0.2
Let v = 29 + -33. Is v at least -3?
False
Let l = 1 - 2. Let g be 9980/5838 - (l - -3). Let w = g + 2/417. Which is smaller: w or 1?
w
Let w(z) = -11*z**2 + 4*z - 8. Let o be w(4). Let x = o + 508/3. Is x greater than -0.1?
True
Let g(r) be the third derivative of -r**5/60 - r**4/6 - r**3/2 + r**2. Suppose 3*i + 4*t = 2*t - 8, -2*t - 2 = 0. Let n be g(i). Is 0 smaller than n?
True
Suppose 3 = -0*w + w. Suppose 0*l + 15 = 3*u + l, 0 = -5*u + w*l + 39. Is 6 at least as big as u?
True
Let q = -0.8 - -6.8. Let h(g) = g**3 - 2*g**2 - 6*g + 5. Let b be h(-2). Which is smaller: b or q?
b
Suppose -3*u = -4*u + 8. Let z be 3*(0 - (-6 + 3)). Which is smaller: u or z?
u
Let y = -3 + 4. Let u be 0 - (4/4)/(-4). Is y < u?
False
Suppose -3*i = 3*c + 7 - 28, 0 = c - 5*i + 5. Suppose 0 = -4*x + x + 18. Is c not equal to x?
True
Let v be (-2)/7 - 24/14. Let l = -3 - v. Which is bigger: l or 0?
0
Let b = -0.2 - 2.7. Let a = -2 - b. Which is smaller: a or -0.1?
-0.1
Let g = -12 - -12. Let a(r) = -r**3 - 6*r**2 + 1. Let q be a(-6). Which is bigger: g or q?
q
Let k(x) = -x**2 + 2*x + 5. Let p be k(4). Let w be p + (-76)/(-56)*2. Is -2/5 at most as big as w?
True
Suppose 3*k = -2*k - 3*w + 65, -3*k = 2*w - 39. Is k > 13?
False
Suppose d - 2*d = 2*q + 3, d + 6 = -3*q. Let z be (-2)/(-9 - 1 - q). Let p = -0.8 + -0.2. Which is greater: z or p?
z
Let h be (-14)/(-49) + 62/(-70). Which is greater: -2 or h?
h
Let t be (1/(-7))/(2 - 1). Suppose -5*l +