 Let h be (-11)/7 + z + -2. Is 0 < h?
True
Suppose 4*q + 8 = 3*x - 2*x, -5*x + 6 = -3*q. Is -5/6 greater than or equal to x?
False
Suppose 3 = 2*c - c. Let v(z) = z - 5. Let t be v(c). Let l = t + 0. Does l = -2?
True
Let o = -1 + 23. Let w be o/8 - (-1)/4. Let j be 0 - ((-3)/w - -2). Is j greater than or equal to 2/5?
False
Let c = 1.8 + -2. Let p = 0.143 - -14.057. Let k = 14 - p. Are c and k equal?
True
Let t be ((-16)/(-18))/((-2)/33). Let y = -15 - t. Which is smaller: y or 0?
y
Let j = 38 + -47. Which is smaller: j or -1?
j
Let d(n) = -n**3 - 9*n**2 + 11*n + 11. Let l be d(-10). Suppose j + 72 = -0*j. Let u be (-34)/j + 6/(-27). Is l greater than or equal to u?
True
Let p(q) = 3*q**2 + 0*q**2 + 7*q - 4*q**2 + 2. Let k be (-1)/(-2) + 273/42. Let i be p(k). Is 3 less than or equal to i?
False
Let t = 5 - 3. Let m be (-33)/(-5) + t/5. Let o be (-4)/16 + m/12. Is -1 > o?
False
Let b(k) = k**2 - 1. Let h be b(1). Let n = -1572505/8771 + -10/8771. Let x = 179 + n. Is h greater than x?
True
Let h be (-1236)/72 - (-2)/12. Let c = 13 + h. Is c at least as big as 1?
False
Let i = -4 - -4.05. Let y = i + 0.15. Let d = -2/15 + -11/30. Which is smaller: y or d?
d
Let t = -0.24 - 10.76. Which is greater: 0 or t?
0
Let n be 20/(-15) - (-318)/225. Which is smaller: n or -1?
-1
Suppose 0*h - 3*h + 9 = 0. Let a be h*(1 + 2 + -2). Is a at most as big as 3?
True
Let n be 3/(-2)*80/(-15). Let l = n + -6. Let h = l + -3. Which is smaller: h or -2/7?
h
Let w be (-9 - -5)/(-4*3/2). Let y(g) = -g**3 + 4*g**2 - 2*g - 3. Let f be y(3). Which is smaller: f or w?
f
Let t be 1/3*-1*3. Let u be (-2)/(t*3 - -2). Suppose -m + 3*d = -u*d, 0 = -5*m + 4*d. Is -1/5 > m?
False
Let o(b) = -b**2 - 13*b - 14. Let h be o(-5). Is 26 at most as big as h?
True
Let h = 1.5 + -4.1. Let m = 1.4 - h. Do 1 and m have the same value?
False
Let d be (-41)/(((-22)/(-6))/1). Let u = -11 - d. Let o be (-26)/117 + (-4)/18*-1. Which is smaller: u or o?
o
Let z = 0.2 + -0.3. Let h = 23/177 + 1/295. Is z at most h?
True
Let k = 72.1 + -13.1. Which is smaller: k or -0.1?
-0.1
Let t = 47.7 - 48. Is 5 != t?
True
Let g = 88 - -279. Let b be 3671/10 - 27/18. Let y = b - g. Is -2 < y?
True
Suppose -4*p - 761 = 3*f, 2*f + 5*p - 172 + 684 = 0. Let s = f + 1251/5. Is s less than or equal to 0?
True
Suppose -x = -5*x - 404. Is -102 not equal to x?
True
Let n(q) = 8*q + 3. Let j be n(-1). Suppose -2*i - 4*k - 10 = 0, 3*i + 4*k = 3 - 16. Which is smaller: i or j?
j
Suppose 0 - 2 = -2*a. Suppose h - 1 = 1. Suppose -3 = h*y - a. Is -1/2 less than y?
False
Suppose -z + 5 = -6*z. Let h be 1/(-1*(z + 0)). Suppose 4 = -l - 3*l + 4*w, l - 4*w = -7. Is h bigger than l?
False
Suppose -4*z = 3*h - 0*h + 12, 9 = h - 3*z. Suppose 0 = -h*i + i - 5*v + 24, -v + 58 = -3*i. Which is smaller: -0.1 or i?
i
Let x = -5 + 7. Let u(q) = 0*q**2 + 8 + 3*q - 3*q**2 + 5*q + 4*q**x. Let r be u(-7). Which is greater: r or 4/5?
r
Let p = 6 + -15. Let j = -0.072 + 8.972. Let i = j + p. Do -2 and i have the same value?
False
Suppose -2*q = 2*q. Let w be 6/33 + -1 + 1. Which is greater: w or q?
w
Let j(q) = q**3 + 7*q**2 + 6*q - 1. Let h be j(-6). Let v be (-10 + 9)/(1 + 2). Which is smaller: v or h?
h
Let y = 50 - 48. Let g = 3 - 4. Are g and y equal?
False
Let f = -4503/7 - -646. Which is greater: 2 or f?
f
Let g be (528/(-135))/(-2) + (-6)/15. Which is bigger: g or 3?
3
Let s be 4/3 - (-14)/(-35). Is 0 bigger than s?
False
Let j = -1.22 - 0.08. Let f = -0.7 + j. Which is bigger: 0 or f?
0
Let w = -16/65 - 2/13. Which is bigger: 0 or w?
0
Suppose 0 = -3*f - 0*f - 12. Are 2 and f non-equal?
True
Let r be (-28)/12 - (-7 + 5). Let b(g) be the third derivative of g**4/12 - g**3/6 + 2*g**2. Let j be b(1). Is j > r?
True
Suppose -6 = 4*v - 2*j, 4*j + 23 = -4*v - 13. Which is smaller: v or 1/2?
v
Let c(k) = -k**2 + 4*k - 3. Let u be c(3). Suppose -2*m + 5*g - 20 = 0, -3*m - 2*g + 5 + 3 = u. Is m at most as big as 2/3?
True
Let s = -1 - -1. Is s > -3/4?
True
Let n = 67/527 + 7/31. Is n < 0?
False
Let t(j) = 6*j**2 - 15*j**2 - j + 1 - 3 - j**3 - 1. Let z be t(-9). Which is bigger: z or -2/3?
z
Let x = -18 + 16. Is -2 != x?
False
Suppose 38 = t + t. Which is greater: 18 or t?
t
Let o be (0 - -2)/(88/(-6)). Let x = o - 5/44. Let p(k) = k**3 - k + 1. Let c be p(0). Is x >= c?
False
Let o = 13.4 - -1.6. Which is smaller: -1 or o?
-1
Suppose -4*h = -5*q + 28, 2*h + 9*q = 4*q - 14. Which is bigger: 2 or h?
2
Let z = 0.475 + 0.525. Let m = 2.5 - 3. Which is greater: z or m?
z
Suppose 20*o + 3 = 19*o. Is -28/9 bigger than o?
False
Let v = -0.5 - -0.2. Which is smaller: v or -2/11?
v
Suppose 3*g + 16 = 4*v - 7, 0 = -5*v - 2*g. Suppose -4 = -k - 3, u = 2*k. Is u at most as big as v?
True
Let w(x) = x + 4. Let a be w(-4). Suppose 0*z + 2*z = 362. Let o = z + -2171/12. Is o at most as big as a?
False
Let a = -0.06 - 0.74. Let q = a + 0.3. Which is smaller: q or -0.1?
q
Let l be ((-44)/52 + 1)*-2792. Let v = -430 - l. Is 1 < v?
False
Suppose -2*b = -1 - 3, -4*b + 3 = 5*w. Let p(h) = -3*h**2 + h - 1. Let k be (2/8)/((-2)/(-8)). Let o be p(k). Which is greater: o or w?
w
Let j = -0.1 + 0. Let n(o) = -47*o - 1. Let u be n(3). Let w = 992/7 + u. Which is bigger: j or w?
j
Suppose 11*r - 90 = 6*r. Which is smaller: 17 or r?
17
Suppose 2*m = -2*m - 92. Let g = m + 33. Which is bigger: g or 9?
g
Let u be (-4)/(-480)*3 - 12/30. Which is smaller: u or -1?
-1
Let c be 2 + (-19 + 0)*-1. Let z be c/14 + (-34)/28. Is -2/7 at most as big as z?
True
Let r = 0.072 - 7.072. Is r at most 2/11?
True
Let y = -154/3 + 281/6. Which is smaller: -4 or y?
y
Let g = 43 + -74. Is g at most -31?
True
Let c(n) = -3*n - 8. Let f be c(-8). Is f greater than 17?
False
Let r be (-3)/6*68/(-6). Are 7 and r nonequal?
True
Let w(i) be the first derivative of -3*i**2/2 - i + 5. Let o be w(5). Is -16 != o?
False
Let n = -7 - -15. Let l be (-72)/(-105) + n/(-28). Do l and -0.1 have different values?
True
Suppose -3*q = o - 8 - 1, 0 = -2*o - 4*q + 16. Let h be 5/(-15) + 2/o. Does 0 = h?
True
Suppose -4*v = -16, -4*v + 23 = -5*n - 2*v. Let u be 1/((-27)/(-6))*n. Let o be (-6)/27 + 16/(-9). Which is bigger: u or o?
u
Suppose 2 = -5*r + 3*r. Let b = -2 - -1.9. Let l = -0.2 - b. Does l = r?
False
Let b = -8.7 + 1.7. Let j = b - -4. Let k = j - -3.2. Is k at least as big as 2?
False
Suppose -5*s = -2*j - 2*j - 1, 5*j - s - 25 = 0. Are j and 5 nonequal?
True
Let w = -31 - -26. Is w > -2?
False
Let w = 1.09 + 0.11. Let c = 1 - w. Let v = -0.4 - c. Which is bigger: v or -1?
v
Let p = 10 + -14. Let v be 2/(p/2*1). Let x be 6/9 - 14/3. Which is bigger: x or v?
v
Suppose 4*n - 4 = 4. Let s(a) = -3*a**2 + 0 + 2*a**3 + a - n - a**3. Let c be s(3). Which is greater: c or 3?
3
Suppose 0 = -4*a + 4*h - 24, -5*a - 5*h = 32 + 28. Let b be ((-3)/9)/(3/a). Let i = -1 + 1. Which is greater: i or b?
b
Suppose k + 6 + 6 = 3*f, -2*f = -k - 9. Let s(r) = -r**3 - 2*r**2 - 2*r - 1. Let q be s(-2). Suppose p - 3*p - q*a = 11, -p - 3*a = 7. Which is bigger: k or p?
k
Let b = 7 - 6. Suppose -3*l - 5 = p, -b = 3*p - 4*l + 1. Is p smaller than -2?
False
Let q = -133/3 + 45. Which is smaller: q or -0.06?
-0.06
Suppose 2*f - 5 = -3*f. Let u be (-130)/(-56) + 2/8. Let a = u + -19/7. Which is bigger: a or f?
f
Let m = -15 + 14.93. Let j(s) = -s**2 - 18*s. Let c be j(-18). Which is bigger: m or c?
c
Let a = 14/15 - 8/5. Suppose 3*x + 15 - 15 = 0. Is a >= x?
False
Let v(u) = -u**3 + 3*u**2 + 3. Let g be v(3). Let j(r) = 3*r**2 - 1. Let d be j(1). Is g != d?
True
Suppose -y + 31 = -5*r, y + 5*r = r - 14. Let s be y/(-9) - 120/(-99). Is s at most as big as 1?
True
Suppose -3*x + 3*v = 0, 0*v - 3 = x - 4*v. Let q be (-15)/10 + (-2)/(-4). Let s be (q/6)/((-18)/(-24)). Which is smaller: s or x?
s
Let l be (0/5 - 5) + (8 - -5). Suppose b - 45 = -4*b. Which is smaller: b or l?
l
Let w be (3 + (-9)/2)/(15/(-5)). Which is greater: 86 or w?
86
Let j = 2.3 - 2.2. Let f = -0.2 + 1.2. Which is bigger: f or j?
f
Let v = -7191/4585 - 2/655. Is v > -2?
True
Suppose 2*y + 5*d - 14 = -83, 2*y + 42 = 4*d. Is 0 greater than or equal to y?
True
Let d = 87 + -45. Do d and 43 have the same value?
False
Let d = 0.05 + 1.95. Let f = d - 2.1. Which is bigger: f or 2?
2
Suppose -3*a + 17 = -4. Let g = 7 - a. Let x be 8/(-77) + 4/14. Which is smaller: x or 