 - 3*h**2/2 - 30*h. Let q be g(o). Is q less than or equal to 3/2?
False
Let i = 0 + 2. Suppose 5 = -5*p - 2*l - 0*l, -4*p - i*l = 6. Is p smaller than -2/5?
False
Suppose 0 = -3*b + 1 - 4. Let p = -39 + 116/3. Do b and p have different values?
True
Let k = 1.12 + -1.02. Suppose -6*q = -q. Which is smaller: k or q?
q
Let t = -10.8 - -11. Let c = t - 0.1. Which is smaller: c or -3?
-3
Let i(o) = o + 17. Let p be i(-10). Suppose -4*l - 2 = -5*l + 4*z, -5*l - 5*z + 35 = 0. Which is bigger: l or p?
p
Let a be (28/6 + -4)*3. Is -1 not equal to a?
True
Let f = -4 - -4. Let u(x) = -x**2 - 8*x + 2. Let w be u(-7). Let c be (-6)/w - (-10)/6. Which is smaller: c or f?
f
Let a = 1.9 - 4.9. Let f = 2.6 + -5.7. Let c = f - a. Do 0 and c have the same value?
False
Let a = -81 + 82. Which is smaller: -1/6 or a?
-1/6
Let n = 28 + -20. Suppose -2*u = -0*u - n. Is 5 less than u?
False
Let r = -26.1 - -25. Let n = 1.12 + r. Which is smaller: n or 0.1?
n
Suppose -2*g + 0*g = -4. Suppose n + 4*l - 4 = 2*l, -4*n - g = -l. Suppose 0 = -2*j + 3*h - 0*h - 15, -2*h = -5*j - 10. Are n and j non-equal?
False
Let o = -17 + 15. Is o less than -7/5?
True
Let f be -3 + (16 - (-6)/(-2)). Which is smaller: 11 or f?
f
Let n be 6*(7/3 + -2). Suppose -4*l - 2*k + 2 = 0, 0 = 4*l + 4*k - 6 - n. Which is smaller: -7/3 or l?
-7/3
Suppose d + 3*d = 0. Let m = d - -1. Is m >= 2?
False
Let x(z) = z**2 + 4*z - 3. Let b be x(-5). Suppose b + 1 = -3*w. Which is smaller: w or 0.03?
w
Let o = 8 + -7. Let m = o + 4. Let y = m - 3. Which is smaller: 0 or y?
0
Let t = 435/851 - 13/23. Suppose 0 = k + 4 - 5. Is k < t?
False
Let g = 40 + -42. Is g greater than 1/11?
False
Suppose 4*w = 5*d + 10, 0 + 8 = -w - 4*d. Let y be w*(3/2)/3. Are 1/11 and y unequal?
True
Let q = 16.9 + -17. Are q and -18 non-equal?
True
Let b = -49 + 52. Which is smaller: 1 or b?
1
Let f be 2/(-2) + 1/(2/(-17)). Is -9 smaller than f?
False
Let w = -2953/10 - -295. Which is smaller: w or 0?
w
Let h be (-40)/(-6) + (-2)/3. Suppose l = h*l. Let q be 1 - (-5)/((-15)/2). Is q >= l?
True
Let l = -3 - -3. Let n = 1 - 3. Let b = l + n. Which is bigger: -1/4 or b?
-1/4
Let f = 38 - 39. Which is smaller: -1/47 or f?
f
Let a be (25/2 - -1)/((-30)/40). Which is greater: -21 or a?
a
Suppose -x + 5*l = 9, -2*x + 0*x = -3*l + 25. Let v(h) = -h**3 + 11*h**2 - 10*h + 3. Let k be v(10). Let p be (-1)/k + x/(-24). Which is smaller: p or -1/4?
-1/4
Let h = 31 - 31. Do -5/11 and h have the same value?
False
Suppose -4*c - 5*j - 7 = 0, 8*j = -4*c + 4*j - 4. Let m = -5 + c. Let f be 2 - 1*(-2 - m). Is 1 greater than f?
False
Suppose -4*j = -3*w + 5 + 10, -5*j = -4*w + 19. Suppose 4*f + 4*h - 20 = 0, -f = f - 2*h - 2. Is w at least as big as f?
False
Let u = 14 - 5. Let t = -8 + u. Which is greater: t or -1/5?
t
Let g = -390 + 199. Let o = g - -189.01. Let f = -0.01 + o. Is -0.1 bigger than f?
True
Suppose -2*a - 78 = -4*f + 28, 4*a + 5*f + 160 = 0. Is a less than or equal to -46?
False
Let d = 0 + 1. Let k = -778/7 - -111. Which is bigger: d or k?
d
Let k = 0 + -1. Let o(c) = -c**3 - 4*c**2 - c - 4. Let u be o(-4). Let p = u + 0. Which is greater: p or k?
p
Let u = 4 + -8. Let z be u*1 + (-315)/(-72). Which is smaller: 0 or z?
0
Let q = -16 + -85. Is -101 < q?
False
Suppose -9 = 3*i - 18. Which is bigger: 4 or i?
4
Suppose w + 3 - 2 = 0, -3 = l + 4*w. Which is bigger: 5/6 or l?
l
Suppose -3*h - 80 = 2*h. Let c = 38 + h. Suppose 3*i + 0*p + c = 5*p, -2*p = -i - 8. Which is smaller: i or -2?
i
Let m = 4 + -8. Let i = 13 + m. Let h be i/(-6) - 2/4. Is -3 at most h?
True
Let a = -29/3 + 31/3. Let h = 0.936 + 0.064. Which is greater: h or a?
h
Let f(j) = j**3 - j**2 - 4*j + 3. Let r be f(2). Let g = -1 - r. Which is bigger: 1 or g?
1
Let k(t) = -t - 3. Suppose -2*j = -6*j - 12. Let s be k(j). Let z be 0 + (0 - 1)*s. Which is smaller: z or 1?
z
Let z(f) = -f. Let b be z(5). Let k(m) = m + 1. Let h be k(-5). Is b at most as big as h?
True
Let k(d) = d**3 - 20*d**2 - 17*d - 5. Let o be k(21). Is 78 smaller than o?
True
Suppose 4 + 2 = -i. Let c(m) = -2*m - m - 2*m + 4*m - 7. Let t be c(i). Which is smaller: t or -2?
-2
Suppose h + 5 = 6*h. Do 2 and h have different values?
True
Let b = -0.39 + 0.4. Let m = -3.1 + 2.1. Is m <= b?
True
Let b = 9 - 1. Let p be 2/11 + (-345)/506. Which is smaller: p or b?
p
Let y be (-58)/4*(-2)/(-5). Let d be (18/(-5))/(4/6). Let i = d - y. Which is greater: i or 1?
1
Let q = -372/11 - -34. Do 1/6 and q have the same value?
False
Let r = -153/4 - -38. Let k = 0.21 + -0.11. Which is smaller: k or r?
r
Let r be 3*-8 + (-5 - -8). Let h be 3/r*(-4)/(-2). Which is greater: 0 or h?
0
Let l = -2.3 - -2.21. Let j = 0.79 + l. Let h = -1 + j. Is h < -2/3?
False
Suppose -2*q - 4 = m, 2*q - 20 = 5*m + 6*q. Let k be (8/12)/(m/6). Let u be (-2)/4 + 1/4. Which is smaller: u or k?
k
Let j(r) = -r**2 + 6*r + 6. Let b = 13 - 20. Let z = 0 - b. Let d be j(z). Which is bigger: d or -0.1?
-0.1
Suppose 14 + 58 = 4*m. Let k = -2 + m. Suppose 0 = -4*s - 12, -2*s = 5*v - 5 + k. Which is greater: 1/3 or v?
1/3
Let w = 1 - 1.3. Let k(m) = -m**3 - 7*m**2 - 8*m - 11. Let a be k(-6). Is a at least w?
True
Let w be ((-3)/(-111))/((-1)/(-3)). Is w < 0?
False
Let q = -2.2 - -1.1. Let a = 9.1 + q. Let w = 7.9 - a. Are -5 and w non-equal?
True
Suppose -6*n - 15 = -45. Is 2/3 >= n?
False
Suppose -13 = 3*a - 10. Which is bigger: a or -1/13?
-1/13
Suppose 3*m - 2*m + 10 = 0. Let a = m - -14. Suppose a = -o - o. Is o < -1?
True
Suppose -3*s - 64 - 14 = 0. Do s and -26 have the same value?
True
Suppose -4*v + 4*l = -8, 6 = l - 4*l. Which is greater: -3/26 or v?
v
Let p = 8443/41 - 206. Is 1 != p?
True
Let l be (-57)/(-4) - 4/32*2. Does 14 = l?
True
Let v(c) = -21*c**2 - c + 1. Let a be v(1). Is -21 at most as big as a?
True
Let k = 0.14 + 0.92. Let w = 0.9 - k. Is w >= -1/2?
True
Let w = 186 + -168. Which is bigger: -0.1 or w?
w
Let d be -2 + (6/(-3) - 2). Let o(w) = -w - 5. Let u be o(d). Let c be (-1)/u*(-3)/(-6). Is c at least as big as 0.1?
False
Let c be ((-3)/(-8))/(-3) + 0. Let o(i) = 2*i - 1. Let g be o(1). Which is smaller: c or g?
c
Let g = -84529/57 + 1483. Are g and 1 equal?
False
Let p(u) = -u**2 - u + 2*u + 2*u**2 + 2*u. Let n be p(-4). Let o be 1*(-1 + -2 + n). Is 1 greater than o?
False
Suppose 2*d - 50 + 4 = 0. Suppose 2*t + 3*v = 17, 2*t + d = 3*v + 2*v. Which is bigger: 2/3 or t?
t
Let t = -3/11 + 17/22. Suppose -2*d + 5*o + 0 = -29, d + 23 = -5*o. Is t less than or equal to d?
True
Let b(k) = -9 + 0 - 3 - k**2 + 11*k. Let i be b(8). Is 12 < i?
False
Let r(n) = n**3 + 3*n**2 + 5*n + 4. Let i be r(-3). Let w(l) = -l**2 + l - 10. Let b be w(0). Is i smaller than b?
True
Let u = -39 - -29. Which is smaller: -11 or u?
-11
Let l be ((-2)/48)/((-15)/12). Let f = 3/10 + l. Let o = -0.99 - 0.01. Which is greater: o or f?
f
Let f = 8 - 5. Let p be ((-7)/3 - -1)*-3. Suppose 2*n - 11 = -4*u + 17, f*n + 28 = p*u. Is u greater than or equal to 6?
True
Let i be 30/(-9)*(-9)/(-6). Which is smaller: -11/2 or i?
-11/2
Let w(s) = -s**3 - 3*s**2 + s + 4. Let p be w(-2). Which is greater: 15 or p?
15
Let a(d) = -d**2 - 7*d - 5. Let b be a(-5). Suppose o - 2*f - 4 = -3, b*o + f + 6 = 0. Suppose 2*q = 4*c - 8, -11 = -5*c + 4*q - q. Is o at most as big as c?
True
Let b(l) = l**2 + 5*l - 6. Let f be b(-6). Let a = -348 - -158. Let j = -2092/11 - a. Which is greater: j or f?
f
Let b = 0.36 + -0.36. Let u(p) = 5*p**2 + 2*p + 1. Let q be u(-1). Suppose -4*m + 3*l = 7*l - q, 2*l = 3*m + 17. Which is greater: b or m?
b
Let z be 2/6*(-9)/15. Let p(b) = -b**2 - 2*b - 1. Let l be p(-2). Which is greater: l or z?
z
Let u = 9 + -12. Let m = u + 7. Which is smaller: 5 or m?
m
Let l = -5.4 + 5.47. Is 1 < l?
False
Let p(c) = -c**3 - 11*c**2 - 3. Let n(z) = 3*z + 1. Let r be n(-4). Let h be p(r). Which is bigger: h or -5?
h
Suppose 0 = -4*g - 3*b - 7, 0*g + g + 4*b = 8. Let n be ((-2)/g)/((-1)/(-2)). Is 2 equal to n?
False
Suppose -h - 5 = -5. Is -5 greater than or equal to h?
False
Let o = 18 - 7. Suppose -3*t + o = -x - 4*x, -12 = 3*x. Which is smaller: 0 or t?
t
Suppose -3*t - r = -6*r - 17, 0 = -5*t - 5*r + 15. Which is greater: t or 11?
11
Let z = 15 - 9. Let m = -3 - -2. Let j = 1 - m. Do j and z have the same value?
False
Suppose t + 35 = -3*o - 8, 5*t + 85 = -5*o. Do 