e q and 3/4 nonequal?
True
Suppose 3*u - 8 = -u. Suppose -u = -3*a + 1. Let y = 13/2 + -61/10. Which is smaller: y or a?
y
Suppose -5*t + 30 = -5*s, 0*t - 2*t - 5*s + 33 = 0. Let x = t - 8. Is 3 != x?
True
Let b = -8 + 8.04. Let q = b + 0.18. Let f = -0.08 - q. Which is smaller: f or -2?
-2
Let y be -10 - (-2 + -10)/4. Which is greater: y or -39/7?
-39/7
Let s be (2 + 6)/2 + -4. Is 4 greater than s?
True
Let c = 0.22 + -0.2. Let l be (-40)/3*(-2)/4. Let s = -7 + l. Which is smaller: s or c?
s
Let s = 16 - 25. Let c(t) = t**2 + 8*t + 7. Let p be c(-5). Which is smaller: s or p?
s
Suppose 24 = 4*x + z, 5*x - 3 = -2*z + 30. Is x < -4?
False
Let o be (2 + -3)/(3 + 33/(-6)). Is -0.1 at most as big as o?
True
Let y(p) = p + 2. Let q be y(6). Which is greater: 0.2 or q?
q
Let h be (0 + 2)/(-3*(-2)/81). Which is smaller: h or 25?
25
Let n = -2 + 5. Let y be 0/n + 1 + 0. Which is bigger: 0 or y?
y
Let z(h) = -4*h - 17. Let d be z(-4). Which is smaller: d or -3/10?
d
Let h(s) = s**2 - 9*s - 9. Let d be h(10). Let w be (-1)/2*2*d. Is -1 at least w?
True
Let m be -1 + (-1 - -1 - -6). Suppose 2 = m*p - 7*p. Which is greater: 1/4 or p?
1/4
Let r be (2/(-63))/(1/(-24)). Let y = -2/21 + r. Suppose -5 - 11 = -8*n. Which is smaller: n or y?
y
Let v = -22 + 43/2. Let g be (-3)/(-6)*9/(-7). Let n = -8/7 - g. Do v and n have different values?
False
Let f = 51166 + -51163.9479. Let t = 0.0421 - f. Let j = 0.01 + t. Is j not equal to -2?
False
Let l = -0.04 - 1.96. Is -1/3 at most l?
False
Let j(u) = -9 + 3 - 4 + u**2 - 8*u + 0. Let l be j(9). Is 4/7 greater than or equal to l?
True
Suppose 2*p = 9*p. Is p bigger than -12/17?
True
Let o be (-1)/(-12)*9/(-2). Let x be (2/6)/(2/18). Suppose 3*j = g + 11, -x*g = -j + 2 - 1. Which is smaller: g or o?
o
Let j = 0 - 0. Let l = 27 + -29. Is j != l?
True
Let d(f) = f**2 - 3*f - 3. Let r be d(4). Suppose 3*m - 35 = r. Is m smaller than 13?
True
Let v = 0 + 0. Suppose x - 4*x + 2*t = -8, 2*x - 7 = 3*t. Let j be 1/x + (-14)/12. Do j and v have the same value?
False
Let y = -214 + 211.01. Let f = y + -0.01. Let w = f + 2.9. Is -1 bigger than w?
False
Suppose 4*s - 17 = -3*g - 1, 0 = -5*g - 2*s + 22. Suppose 3*u + 15 = -p, g*p + 8*u + 15 = 5*u. Which is smaller: p or -2/31?
-2/31
Let n = 2 + 1. Suppose 7*r = n*r - 12. Let k = -4 - r. Do 0 and k have the same value?
False
Suppose 2 = -6*p - 4. Is 1/102 at most p?
False
Let m = -12.8 - -7. Let t = m - -6. Suppose 2*j - j + 4 = 0. Which is smaller: t or j?
j
Let v = -1/6 - 1/3. Suppose -3*r + 3 - 9 = 0. Is r less than v?
True
Let y be 1/(0 + 1)*-1. Let k be (0 - (-12)/(-6)) + 5. Let x be (y/k)/(7/21). Are -1 and x equal?
True
Let z be 8/6 + (-99)/(-27). Which is bigger: 1 or z?
z
Let q be (2/4)/(2/224). Let k be q/9 + (-8)/36. Let y be k*(-2 + 99/48). Is 1 bigger than y?
True
Suppose -k - 2 + 3 = 0. Is k at least 2?
False
Let f(w) be the third derivative of w**5/60 - 5*w**4/24 - 5*w**3/6 + 2*w**2. Let o be f(6). Which is greater: -5 or o?
o
Let g(z) = z**2 + 3*z - 10. Let s be g(2). Is 31 at least s?
True
Let u = -0.2 - -0.5. Let c = -5 + 1. Let k = c + 5. Which is smaller: k or u?
u
Let d(s) be the first derivative of s**3/3 + 3*s**2 - 9*s - 3. Let j be d(-7). Which is bigger: j or -2/3?
-2/3
Suppose -v - y + 45 = 2*v, 4*v - 53 = y. Is 14 greater than or equal to v?
True
Let d(j) = -j**3 + j**2 - 6*j - 4. Let t be d(-5). Let x be 576/t + (-6)/2. Is x at most 0.1?
False
Let p(t) = t**3 - 8*t**2 + 8*t - 10. Let i(c) = c**2 + c - 5. Let f be i(-4). Let h be p(f). Let d be (0 + 3)/(h/(-2)). Is 2 at most d?
True
Let l = 36 + -24. Let n be ((-4)/l)/((-1)/(-15)). Let x(r) = r**3 + r**2 + r - 5. Let j be x(0). Is j not equal to n?
False
Let f(r) = r**3 - 8*r**3 - 2*r**2 + 2*r**3 + 1. Let w be f(-1). Suppose -3 = -3*y + 9. Is w less than or equal to y?
True
Let n(q) = 39*q. Let w be n(-1). Which is greater: w or -0.1?
-0.1
Let t = -4 - -6. Suppose -s - t*f + 7*f = 0, -5*f = 5*s. Let g = s + 1. Is g greater than 1?
False
Let q = 5 + 0. Let u = q - 5. Which is smaller: -1 or u?
-1
Let i be (-6)/(-8)*96/(-396). Let n = 0.3 + -0.4. Which is greater: n or i?
n
Suppose 2*s - 8 = -2*s. Suppose 6 = m - 2*k, -k + 4 = -s*k. Is -2 greater than m?
False
Let a(b) = -b + 7. Let m be a(7). Suppose -4 + m = 2*n. Let s be (-5)/n*(-4)/(-10). Which is greater: 0 or s?
s
Let y be -3*(-2)/6*1 + 18. Which is smaller: y or 20?
y
Let z = 20 + -223/11. Suppose -3*o = 4*c - 118, 150 = 5*c - 2*o + 7*o. Let s be (c/(-12) - -2)*-3. Which is bigger: s or z?
s
Let j be 9/(-6) + (-2)/4. Let z = j + 2. Let x be -2 + 35/14*(-2)/(-10). Which is bigger: z or x?
z
Let b = 5.7 - 5.1. Let o = -0.2 - -0.3. Is b > o?
True
Let t = 149 - 1041/7. Is t > -0.2?
True
Let x be -1 + (-4)/(4/(-3)). Is x equal to 2?
True
Let p = 3.04 - 0.04. Let k = p - 6. Let v = 4 + k. Is 2 bigger than v?
True
Let s(x) be the third derivative of x**6/120 + 2*x**5/15 + x**4/3 + x**3 + x**2. Let k be s(-7). Which is smaller: -2 or k?
-2
Suppose -9*t + 4*t = -165. Let s = -97/3 + t. Is -1/2 smaller than s?
True
Let j be -2 - (-5)/(110/43). Which is greater: 1 or j?
1
Suppose 9*y - 4*y - 5 = 0. Which is bigger: -2/21 or y?
y
Suppose -3*t + 2 = -4*y, 5*y = -4*t + 16 - 3. Suppose i = -4*b - t, b = 5*b + 4*i - 4. Is -1 >= b?
True
Let j = -6 - -11. Suppose 5*h = 5*m + 5, j*m + 0*m = 0. Do h and 1 have the same value?
True
Let n = 5.03 - 0.03. Let l = n + -7. Is l > -5?
True
Let i = -0.05 - -1.05. Let b = -0.05 - 1.05. Let y = b + i. Which is greater: 0 or y?
0
Suppose 0 = -x - x. Which is smaller: 2/9 or x?
x
Let c = -8 - -9. Does c = 1/9?
False
Let o = 0.1 + -0.1. Let x = 0.7 - 0.7. Let g = x + -1. Is g greater than or equal to o?
False
Let b be ((-768)/15)/(3/5). Let v = b + 86. Which is smaller: v or 1/5?
1/5
Let z = 12 + 0. Let n = z + -15. Which is smaller: -2 or n?
n
Let w = 89 - 90. Is 3/25 >= w?
True
Let d = -0.2 + -0.8. Let o = -0.118 - -0.088. Which is smaller: d or o?
d
Suppose 3*v + 9 - 6 = 0. Let x be (v/3)/((-2)/21). Let c = -17/6 + x. Which is smaller: c or 1?
c
Suppose -3*l + 4 = -5. Suppose 4*v - t + 7 = 0, -l*v - 2*t = -3*t + 6. Is v != -1?
False
Suppose 0*u = u - 8. Let f be 28/u - (-1)/2. Is f bigger than 5/2?
True
Let n = 60 + -898/15. Let t = 9 - 10. Is t at most n?
True
Let b = -47 + 46.5. Which is smaller: b or 0.1?
b
Let j = -2555/1703 - 5/131. Is -2 at most as big as j?
True
Suppose 3*g + 12 = 0, m + 1 = 2*g + 7. Let i be 2/(-3) + (-44)/(-12). Suppose 0 = -3*w + 6*w + i. Which is smaller: m or w?
m
Let j = -1.8 - -2. Are -3/4 and j nonequal?
True
Let i be ((-4)/(-4690))/(2/(-656)). Let x = i - 2/335. Which is smaller: 0 or x?
x
Let f = 25/4 + -159/28. Suppose 0 = -3*q + 6*q - 12. Suppose q*x - 1 = r, r + 5 = -4*r + 4*x. Are r and f non-equal?
True
Suppose 3 = x - 2*z, -3*x + x - 3*z - 1 = 0. Suppose 0 = -2*o - x + 3. Let q = 6 - 40/7. Which is greater: o or q?
o
Let b be (2/3)/(2/3). Suppose -2 = -t - b. Let s(r) = 2*r**2 + r - 1. Let o be s(1). Which is smaller: t or o?
t
Let o = -0.08 - -0.09. Let q = 0.09 + o. Which is greater: 6/7 or q?
6/7
Let l = -5 + 5. Let h = 0 + l. Which is smaller: h or 0.6?
h
Suppose -3*a - 5 = -8*a. Let u be -2 + a + 2/1. Does 0 = u?
False
Let w = 8 - 8.3. Let g = -0.4 - w. Is 3 > g?
True
Let h = 374/2831 + -4/149. Let a be ((-1)/3)/((-1)/3). Which is greater: h or a?
a
Let y = -30.1 + 30. Let t = 0.8 + 0.2. Do t and y have the same value?
False
Let b(c) = -25*c - 3. Let u be b(-1). Do u and 21 have the same value?
False
Let c be (-5)/8*(-114)/(-475). Which is smaller: -1 or c?
-1
Let w = 1/2 + 0. Let s = 0 + 1. Is w equal to s?
False
Let b(j) = 26*j**2 + 2*j - 1. Let o be b(1). Let x be o/7 + (-4)/(-28). Is 5 greater than x?
True
Suppose 0*a + 1 = -2*m - a, 4*m - a + 17 = 0. Let k(r) = -12*r + 58. Let t be k(5). Is m smaller than t?
True
Suppose p - 35 = -9. Is 2/5 bigger than p?
False
Let t = 2/21 + -16/21. Let z(b) = b - 1. Let i be z(3). Suppose 3 = -5*s + q - 1, s + q + i = 0. Is s less than or equal to t?
True
Let c be 4/3 + (-10)/30. Which is smaller: c or 4?
c
Let t = 10 - 6. Let c be (3/1)/((-6)/t). Let g be 1*(c + (2 - -1)). Is 1 at least as big as g?
True
Let a = -82.06 - -81. Let v = -0.6 - -0.54. Let w = v - a. Is w > -1/2?
True
Let n = 3 - 2. Let x = n + 11. Let l = -47/4 + x. Which is sm