 + 2 = 0. Is h less than -2?
False
Suppose 0 = -h + 4*h + 6. Let w(t) = t**2 + 2*t - 1. Let s be w(h). Let n be -2*((-6)/16)/3. Are n and s unequal?
True
Let m(s) = -s**2 - 10*s + 3. Let t be m(-10). Suppose -t*c = 4*q - 5, 5*c - 4*q + 9 = -2*q. Let x be (3 - 1)*c + 1. Do -1 and x have the same value?
True
Let z = -0.3 - -0.18. Let a = -0.08 + z. Is a at least 0.1?
False
Let f = 11.509 - 0.009. Let y = f - 11. Are -1/4 and y nonequal?
True
Let x be (-3 - (-3 + 3)) + 8. Suppose -m - x + 2 = 0. Are -4 and m nonequal?
True
Suppose n + 5*y = -11, 5*y - 8 = 3*n + 5. Let d be 75/(-12) - 1/(-4). Is d greater than or equal to n?
True
Suppose -n = -c, -n + 6 = -0*c + c. Suppose 5*z - 4*z = c. Let u be 1/(4/6 + 0). Are z and u nonequal?
True
Suppose 0 = -z - 2*z + 3. Let l = -260/9 - -88/3. Is l bigger than z?
False
Let y be (3/9)/(2/6). Is y <= 5/6?
False
Let y = -2 - -3. Let m be 2 + (-2 - (-1)/y). Let r be 34/42 + (-10)/15. Is r at most m?
True
Let z = -18 - -18.23. Let m = z + -0.13. Which is smaller: m or 1?
m
Let l = 16 - 13. Is 3 less than l?
False
Let s = -76/429 + 14/39. Let y be 6*1 + 0 + 1. Suppose -g + y*j - 16 = 4*j, -g = -j + 6. Is g less than or equal to s?
True
Let v(y) = y**2 - 14*y - 12. Let h be v(11). Let g = 1247/28 - 17/84. Let r = h + g. Which is smaller: -1 or r?
-1
Let u be 2/7 - (-549)/(-84). Which is greater: -5 or u?
-5
Let a(f) = f**2 + 5*f + 3. Let n be a(-6). Let p = -20 + 29. Let d = p - n. Which is smaller: d or -1?
-1
Let l be (-10)/(-8)*7/35. Let u be 0/(0 + -1 + -1). Which is smaller: l or u?
u
Suppose 0 = 4*q + 2*f - 6, 5*f + 7 = 5*q - 23. Let j = q + 1. Suppose -12 = 3*l + 3*i, 2 = -j*l + 2*i + i. Do -4/5 and l have different values?
True
Let q = 2.94 + 0.98. Let g = -0.08 - q. Let x be 2/(1*-2) + 0. Does x = g?
False
Let w = 91 - -7. Which is smaller: 1 or w?
1
Let o(l) = l**2 - 4*l - 11. Let s be o(5). Is s bigger than -14/3?
False
Let p be 10/(-25) + (-3)/5. Which is smaller: -4/17 or p?
p
Suppose 3*m = -0*m - 3. Which is smaller: m or 1/7?
m
Let x(l) = -3*l**2 + 2*l + 0 + 3*l**3 - 4*l**3 + 3. Suppose 4*h - 2 + 14 = 0. Let b be x(h). Which is bigger: -2 or b?
-2
Suppose 25 = 5*d + w, -w - 14 = -5*d + 11. Let n = 18 - 17. Which is smaller: d or n?
n
Let x be 6/7*(-4 + -3). Let c be (x/(-9))/(2/21). Which is bigger: c or 3?
c
Let m = 47 - 41. Which is greater: 36/7 or m?
m
Let o = 6.94 + 0.06. Let n = -14/25 + 4/25. Which is smaller: o or n?
n
Let i be 3 - 3 - 1 - -12. Let p = -7 + i. Is 2 at most as big as p?
True
Suppose 1 = t - 2. Suppose -2*x + 8 = 4. Which is smaller: x or t?
x
Suppose 0 = 3*a - z + 26, -2*a + z - 22 + 3 = 0. Let x = -505 - -498. Is x greater than a?
False
Let i = 0 + -0.1. Let q = i + 0.4. Is -1 >= q?
False
Let p = 10 - 11. Let u be 3*(-18)/14 - -3. Which is greater: p or u?
u
Let b(v) = v**3 + 5*v**2 + 2*v - 2. Let x be b(-5). Let p be (-2)/1*(-6)/x. Is p bigger than -3?
True
Let o(m) = -6*m + 29. Let g be o(6). Is g at least 2?
False
Suppose 0 = -5*d - 2 - 3. Let c = 4 + d. Are 4 and c equal?
False
Let m be -3*(-8)/108 - (-14)/18. Which is smaller: m or -2/219?
-2/219
Suppose 0*n + 5*c = n - 2, -1 = c. Let m(p) = -p**2 - 2*p + 3. Let w be m(n). Let d(b) = -2*b**2 - 4*b - 3. Let l be d(-2). Is w at most l?
False
Let j be (3/(-12))/(-7 + 11). Which is bigger: 0 or j?
0
Suppose -13 = -x - 3. Let o = -6 + x. Suppose 0 = a + o - 0. Which is smaller: -3 or a?
a
Let o = -15 - -25. Which is greater: o or 7?
o
Let w = 145 - 1591/11. Which is greater: w or -1?
w
Let w be (-88)/(-318)*(-1756)/(-112). Let l = -2/371 + w. Which is bigger: l or 4?
l
Let y = -6 - -16. Suppose -t + 5*t + 8 = -r, -y = 3*r + 5*t. Let c = -10 - -10. Is c not equal to r?
False
Let b = -2720209/92 + 29568. Let d = b + -6/23. Are -1 and d non-equal?
True
Let b = 11.18 - 23. Let n = b + 12. Is n less than or equal to 0.1?
False
Let b = -5 + 5. Let d be 1/(-2)*24/18. Is b greater than d?
True
Let s(x) be the first derivative of -x**2/2 + 3. Let p be s(-3). Is 3 smaller than p?
False
Let n(y) = -y**3 + 4*y**2 - 4*y + 4. Let p be n(3). Let c = -2 + 7/3. Which is bigger: c or p?
p
Suppose 6*u = u - 5. Let l(o) = -o**2 + 11*o - 11. Let t be l(10). Let q be (4/(-10))/(1 - t). Which is bigger: u or q?
q
Let n = -2.1 + 2. Let u be (1 + 0)/(3/(-6)). Let q be -11*(-3)/(-15) - u. Is q <= n?
True
Let u be -2 - -3 - (1 - -4). Let a(i) = -i**3 - 8*i**2 - 6*i + 4. Let q be a(-7). Is q at least as big as u?
True
Let v = 4 - 5. Let c be 2/3*6/2. Let b be ((c/(-4))/v)/1. Is b <= 2?
True
Let m be 1/(-6)*-3*0. Are -3/14 and m nonequal?
True
Let g = -24 - -23.98. Which is greater: g or 0?
0
Let d(s) = s + 7. Let g be d(-7). Suppose g = -2*l - 4*j, 0 = -6*l + 3*l + 5*j. Let a be (3/(-6) + -1)/2. Are l and a equal?
False
Let y be (-11)/(165/10) - (-50)/84. Which is smaller: y or 1?
y
Suppose 0*v = v - 8. Suppose 4*m + 0 = v. Let b be m*(-6)/28*-1. Which is smaller: b or 0?
0
Let y = -0.19 - -0.09. Let k = -0.03 - -4.03. Let x = 3 - k. Which is bigger: x or y?
y
Let k = 0.083 - 3.083. Does 11 = k?
False
Let v be (2/6)/(8/(-6)). Let a(w) = w**3 - 3*w**2 - 6*w + 7. Let u be a(4). Is v > u?
True
Let z(p) = p + 17. Let j be z(-13). Suppose -30 = j*n + n. Which is greater: n or -7?
n
Let d = -104 + 587/5. Is 12 <= d?
True
Let h be ((-12)/80)/((-42)/(-10) - 3). Are h and -1/5 equal?
False
Let z be (-2 + (-32)/(-14))*5. Let a = -6 + 6. Which is smaller: z or a?
a
Let b = -676 + 678.97. Let v = -0.03 - b. Let h = 4 + v. Is h greater than 1?
False
Let s = 12 - 17. Which is greater: s or -4?
-4
Suppose 18 = 5*p - 3*h - 9, -3*h - 21 = -4*p. Suppose -2*o - o + 5*d + p = 0, -3 = 4*o - 3*d. Which is smaller: o or -1?
o
Suppose -5*v = -0*v - u + 21, 4*u = 2*v + 12. Let d(y) = y**3 + 2*y**2 + 1. Let w be d(-2). Let s = w - v. Which is smaller: 4 or s?
4
Suppose -2*b - 16 = -6*b. Suppose 17 = 14*y - 25. Which is smaller: b or y?
y
Let w be (-15)/6*12/(-405). Which is greater: 0 or w?
w
Let n = -3 - -1. Let r be (-7)/21 - 5/21. Which is smaller: n or r?
n
Let j = 1.2 + -7.2. Let h = j - -5.8. Is -7 less than or equal to h?
True
Let n be (-1 + 24/15)*5. Let g(s) = s - 1. Let u be g(n). Suppose -2 = -0*t - 2*t. Which is greater: u or t?
u
Let l(x) be the second derivative of x**4/6 + x**3/3 - x**2/2 - x. Let j(q) = -3*q**2 - 22*q - 9. Let z be j(-7). Let b be l(z). Is b greater than -1?
True
Suppose -z + 19 = 4*s, -z = 4*s + 3*z - 4. Which is smaller: 5 or s?
5
Let c = 31 - 29. Which is greater: -0.1 or c?
c
Let r be 1 - (-3 - -1) - 1. Let i be 21 - (r - 0 - 1). Suppose -4*y = i, 3*w - 8*w + 15 = -y. Which is smaller: w or 3?
w
Let i be 64/48*(-9)/(-64). Which is greater: 0 or i?
i
Let t = -2/995 - 3779/995. Let l = t + 219/55. Is -1 smaller than l?
True
Let y be (-297)/(-24)*22/3. Let x = y + -18505/204. Let z = x + 41/255. Is z equal to 1?
False
Suppose 3*q - 3 - 3 = 0. Suppose u = -q*u - 6. Let m be u/(-9) - 8/(-126). Which is smaller: m or -1?
-1
Let r(y) = -y**3 - 10*y**2 + 12*y + 15. Suppose 5*h + 13 = -3*q + q, -4*q = 5*h + 31. Let g be (-2 + 3)*q - 2. Let b be r(g). Are b and 2 nonequal?
True
Let v be (-4)/(-6) - 92/384*2. Are 1 and v nonequal?
True
Suppose -u + 17 = -5*m, 0*m + 50 = -5*u - 2*m. Let b = 13 + u. Which is smaller: 6 or b?
b
Let a = -2.1 + 2. Is a equal to -0.4?
False
Let r = 22 + -16. Let z = -5 + r. Let a = -1.1 + z. Which is greater: 1/4 or a?
1/4
Suppose -3*x + x = 0. Is 0 at most as big as x?
True
Let h be 2/(-6) - (-12)/(-18). Let l be (1/4)/(0 + h). Which is smaller: l or -1?
-1
Let r = -2.5 - -0.3. Let a = r + -0.8. Which is greater: 0.2 or a?
0.2
Let c = 31/51 - -1/17. Which is smaller: c or 1/14?
1/14
Let k be 1*9/2*2. Let r be (-1)/(12/k)*2. Is -1 bigger than r?
True
Suppose -h + 5*o = h - 22, -h = 2*o + 7. Which is bigger: h or -4/15?
h
Let v = -4 - -4. Let q = v + 2. Let x be (-5 + q)/(21/2). Is x at least as big as -1/3?
True
Suppose -142 = 4*d - 6. Is d less than -67/2?
True
Suppose 2*b - 4*b = 14. Let n(s) = -s**2 - 8*s - 3. Let d be n(b). Let g be (-1)/d - (-14)/(-8). Which is bigger: g or -5?
g
Suppose 5*w = 2*z - 10, -z = -3*w + 5*w + 4. Suppose -t = a - 11, 20 = -z*t + 5*t. Which is smaller: 8 or a?
a
Let t = -1 + 1.02. Let z = t + 5.98. Let i = z + -3. Is -1 at most i?
True
Suppose -4*l + 52 = -52. Which is bigger: 0 or l?
l
