*s + 23 = 5*w - 0*w, 5*w = -3*s + 21. Is w != n?
True
Let t(l) = -l**2 + 5*l - 6. Let p be t(6). Let h = p + 11. Which is smaller: h or -0.5?
h
Let l be 10 - 6 - (3 + 4). Are l and 2 unequal?
True
Let y(l) = l**2 - 4*l + 3. Let p be y(2). Which is smaller: p or -7/9?
p
Let x be (48/10)/((-3)/(-81)). Let v = x - 130. Let r be (-7)/(-14) + (-2)/4. Which is bigger: r or v?
r
Let f = -3.9 - -5. Let i = 1.1 - f. Which is smaller: 12 or i?
i
Let f = 7 - 5. Suppose 8 = f*a - 2. Is 5 less than a?
False
Suppose 4 = k - 0. Suppose -k*y = 6 - 2. Let r be -3 - (0 - (-43)/(-15)). Which is greater: y or r?
r
Suppose -3 = -5*m + 2*m. Let r = -8/95 + 49163/570. Let s = -86 + r. Which is greater: m or s?
m
Let b(y) = -y**2 - 7*y - 7. Let k be b(-5). Which is smaller: k or 4?
k
Suppose -2*w = -3*w. Is w < 0?
False
Let h be 22 + 3*2/(-3). Suppose -7*a + 2*a + 3*l + 22 = 0, 0 = 2*a - 3*l - 16. Let u be a/h*(2 + 0). Which is bigger: 0 or u?
u
Suppose -47 = -3*h + b, -5*h + 3*b + 81 = -0*b. Suppose t = -4*t + h. Suppose 0 = t*n + 4*d + 17, 3*n = -n - 3*d - 11. Is 2/3 at most as big as n?
True
Let y be (-1 + 2)*5/5. Let u be y/(-2)*52/8. Which is bigger: u or -4?
u
Let g be -4 - ((-39)/6 + 2). Are g and 9 non-equal?
True
Suppose -5*p + 3*r - 149 = -0*p, p - 3*r = -37. Let c = p - -55/2. Let u be -2 + (1 + 0)*1. Is u equal to c?
False
Let n be 15 + (-1 - -3*1). Suppose n = -3*k - 2*k - 4*b, -12 = -3*k + 5*b. Suppose 3*l - 8*l = 0. Which is bigger: l or k?
l
Let w = 0.02 + -9.02. Is w at most 0.1?
True
Let m = 6 - 12. Let q(r) = r + 6. Let k be q(m). Let l = k + 2. Which is smaller: l or 3?
l
Let r(d) be the first derivative of d**2/2 - d - 2. Let l be r(-1). Suppose 0 = 19*t - 10*t. Which is bigger: l or t?
t
Let z = -6 + 6.01. Let k = -0.09 - z. Is 1 < k?
False
Suppose -4 = c - 2. Is -4 at least as big as c?
False
Let g be (-336)/147 + 2/7. Which is smaller: -9/10 or g?
g
Let k(a) = a + 9. Let y be k(7). Let c be (-12)/y - 2/8. Which is bigger: -2 or c?
c
Suppose -t - 4*t = -45. Let x = 15 - t. Let d be 4/x - 2/(-6). Which is smaller: 3 or d?
d
Let z = -0.1 + 0.2. Let g = z + -0.2. Let x = -16 - -15.9. Is x bigger than g?
False
Let z = -20 - -15. Which is bigger: -4 or z?
-4
Let s = -24 + 24. Does s = -5/28?
False
Let g(u) = -4*u + 70. Let n be g(18). Is n equal to -15/8?
False
Suppose -5*l + 5*d - 5 = 0, -5*l - 5*d - 34 = 1. Let b = l + -1. Which is bigger: -4 or b?
-4
Let r be 21/27 + (-4)/(-18). Let b be r - -1 - (1 - -1). Let z be (0 - -1)*1/(-8). Which is smaller: z or b?
z
Let n = 2 + -2.1. Let m be (-9)/(-12)*5 - 4. Is n at most m?
False
Suppose 3*c - 16 + 4 = -3*y, 3*y + 15 = 0. Which is bigger: 10 or c?
10
Let c = -262 + 176. Is -1 bigger than c?
True
Let c = -2 + 2. Suppose -f - 3*f = c. Let x = 308 - 2160/7. Which is greater: x or f?
f
Let f(q) = q**3 + 2*q**2 - 1. Let k be f(-2). Let u = -240 - -1917/8. Is k smaller than u?
True
Let m(j) = j**3 + 5*j**2 - 5*j + 5. Let h be m(-6). Let g be -2 + 19 - 3 - h. Suppose -4*l = l - g. Is l != 3?
False
Let f(l) = l**3 - 7*l**2 - l + 10. Let w be f(7). Let a be (-8)/4*(0 - 1). Are w and a nonequal?
True
Suppose 6*k = k + 5, l + k + 6 = 0. Which is bigger: l or -5?
-5
Let s = -603 + 5413/9. Let u = -16/9 - s. Is -1 less than or equal to u?
True
Let p = 212 + -5723/27. Which is smaller: -0.1 or p?
-0.1
Let z(o) = -7*o + 32. Let h be z(5). Which is smaller: 2 or h?
h
Suppose 2*x + 3*d - 4 = -3*x, -x - 8 = 5*d. Suppose 0 = 5*u + 2*i + 37, 0 = -3*u - 2*i - 2*i - 11. Let c be ((-6)/u)/((-2)/(-3)). Which is bigger: x or c?
x
Let h be (-3)/(6/(-16)*-4). Which is greater: 7 or h?
7
Suppose -39 = 4*l + 145. Do l and -45 have different values?
True
Suppose -3*k = 2*k + 20. Is k at most -5?
False
Let t(c) = 2*c**2 + c. Let o be t(1). Let g = 1 - o. Let f(a) = a**3 + a**2 - 1. Let w be f(-1). Is g < w?
True
Let m = -4 - -9. Suppose m*s + 8 = s. Which is bigger: -1 or s?
-1
Let t = 8/29 + -146/319. Suppose w + 6 = o, 0*o - 4*o - w - 1 = 0. Is t <= o?
True
Let u = -0.06 - -1.06. Let m = u - 1. Which is smaller: m or 2/3?
m
Let l = 99 + -99.1. Which is greater: 0 or l?
0
Suppose 4*o + 0*o + 104 = 0. Let u be o/143 + 41/165. Are u and 1 unequal?
True
Let r = 26.995 - -0.005. Let g = 27.2 - r. Which is smaller: g or -1/5?
-1/5
Let f be ((-30)/35)/(1/7). Let b be 2 - 1 - f/(-4). Is 1 greater than or equal to b?
True
Let p = 85 - 86. Is p greater than -2/63?
False
Let t = -1 + 2. Let j = t - -2. Is 6 at least j?
True
Let a(p) = p**2 - 9*p + 3. Let d be a(7). Let u be 3/(-1) + (-1 - d). Let z = -7 + u. Which is bigger: z or -1?
z
Suppose 0*w + 2*w = 16. Let i(r) = -3*r**2 + 13*r - 12. Let d be i(w). Let l = d - -1902/19. Which is smaller: -1 or l?
-1
Let w be 2/1 - 28/20. Is w at least 0?
True
Let q = -2/1443 - 122647/5772. Is q less than -22?
False
Let l(v) be the third derivative of -v**4/8 - 2*v**2. Let t be l(-1). Is t greater than -2/11?
True
Let p be (-4)/(-10) - (1 + 37/(-20)). Which is smaller: 4 or p?
p
Suppose 5*h - 3*o + 26 = 0, -4*h - 2*o - 22 = -5*o. Let z = -117 - -111. Is z > h?
False
Let h be (5/10)/(1/(-2)). Let q = -2 + 5. Let z = -4 + q. Are z and h non-equal?
False
Let x(o) = o**2 + 2*o. Let c be x(2). Let r be c - (-3)/(-1 - -4). Let v(s) = s**3 - 10*s**2 + 9*s - 1. Let u be v(r). Is 0.8 less than or equal to u?
False
Let r(f) = -f**2. Let a(t) = 7*t**2 - 9*t + 7. Let i(z) = a(z) + 6*r(z). Let b be i(8). Is 2/15 at most as big as b?
False
Let d(o) = -o**2 + 6*o - 3. Let x be d(5). Let u be 8/x*(-2 - -1). Are -5/2 and u equal?
False
Suppose -5 + 35 = z. Let x be (-4)/16 + z/56. Is 0 <= x?
True
Let w = 165 - 1481/9. Let f be (3/9)/(2/(-6)). Are f and w nonequal?
True
Let s = 15575/1154 - -2/577. Let n = 14 - s. Suppose -9 = 3*x + 3*f, 0*f = -x - 3*f - 9. Is n bigger than x?
True
Let i = 2 - 1. Let g = 0.05 - 1.05. Let k = g + 0.9. Is k at most i?
True
Let b be -1 - -3 - (-25)/(-20). Suppose 0 = -r - r. Is r >= b?
False
Suppose -16 = -5*s + s. Suppose 6*g = g + 25. Suppose -5*h - g = -n - 0, h = -s*n - 1. Which is smaller: -2/7 or h?
h
Suppose 0*r = r + 2*x + 6, 0 = -5*r - 4*x - 6. Suppose 2*h + r + 0 = 0. Is h at most -2?
False
Let v(t) = t**3 + 10*t**2 + 17*t + 8. Let k be v(-8). Which is bigger: k or -1?
k
Suppose -2*g = 48 - 42. Let s be (-2)/6 - (-14)/(-3). Is s greater than g?
False
Let f = 0.001 + 0.399. Which is smaller: f or -2/31?
-2/31
Let z = -14.5 + 13. Let w = 1.6 + z. Is 1/3 greater than or equal to w?
True
Let i = -2 + -4. Which is smaller: i or -5?
i
Let o(d) = -21*d**2. Let q be o(-1). Do q and -22 have the same value?
False
Let c be 24/(-84) + (-65)/(-7). Let g = -12 + c. Which is smaller: g or -4?
-4
Let t be (8 - -1)*(-12)/(-983). Let o = 81757/216260 - t. Let d = -3/44 + o. Which is smaller: -1 or d?
-1
Suppose -y = 4 - 2. Which is bigger: y or -6?
y
Let u be (-1 - -2) + -7 + 4. Which is smaller: u or -3?
-3
Let l = 7 - -1. Let o = -6 + l. Let r = 3 + -3. Is r <= o?
True
Let q be (5 + (-467)/94)*(-4 + 2). Which is smaller: 1 or q?
q
Let k = 2 + -1. Let a = 59 + -412/7. Is k at most a?
False
Let w(j) = j**2 + 2*j + 1. Let t be w(-1). Suppose t = 2*v - 4, 0*v - 4*v + 4 = -4*q. Is q smaller than -1/31?
False
Let d be ((-736)/24)/(4/(-6)). Let o be (-8)/(-36) + d/36. Is o <= 1/4?
False
Suppose 2*n - 6 = 4*j, -8 = 3*j - 0*j - 5*n. Let w = -1272/13 + 98. Which is bigger: w or j?
w
Let o = 0 - -1. Suppose 301 + 8 = 2*x - 5*w, 3*x - 2*w - 458 = 0. Let q = x - 611/4. Is o > q?
True
Let x be 3/2*12/(-2619). Is 1 less than or equal to x?
False
Suppose 0 = 2*j - j - 10. Let m = j - 9. Are 3/4 and m equal?
False
Let c be 4/(-1) - 4/4. Let v be c*2*1/5. Let x(b) = -b**3 - b**2 + 2*b. Let i be x(-2). Which is bigger: v or i?
i
Let o be (-3)/2 - 7/14. Which is smaller: -2/3 or o?
o
Let d = -813/1376 + 16/43. Let i = d + -1/288. Which is bigger: -1 or i?
i
Let i = 2.92 + 0.08. Let s = i - 3.2. Are 0 and s equal?
False
Suppose 2*c + 3*p - 18 = 0, 2*c - p = -3*c + 11. Let a(t) = -t**2 - 2*t + 3. Let k be a(-3). Suppose 5*b - w - 6 = 0, -4*b + k*w = c*w - 1. Is 1 bigger than b?
False
Let t be 3/36*-2 - -1. Let v(q) = -q**3 + 8*q**2 + q - 6. Let s be v(8). Which is smaller: t or s?
t
Let d(g) = 32*g**3 + g**2 - 3*g + 1. Let l be d(1). Which is smaller: 30 or l?
30
Let c = 0.1 - 0.3. Let u = 102 + -102. Is u > c