. Are c and 1/3 non-equal?
True
Let o = -11 - -15. Suppose 0*l - 3*m + 9 = -2*l, o*l - 2*m = -14. Let n be (-4)/15*l/(-2). Which is smaller: 0.1 or n?
n
Let l = 6631/33 + -201. Which is smaller: l or 1?
l
Let j(z) = -39*z**3 + 1. Let a(x) = -x**2 + 8*x - 8. Let v be a(7). Let s be j(v). Let n be 16/s*(0 - 1). Is n < -1?
False
Let h be 2/(-6) - (-34)/(-6). Let s(z) = z - 20. Let b be s(14). Let g be (-6 - -6) + b + -1. Which is greater: g or h?
h
Let c be 1 - 0 - (6 + -3). Let t be 9*c/(-14) + -1. Let i = -0.68 - -0.88. Which is greater: t or i?
t
Let m = -38 - -38. Let g = 3418/17 - 201. Which is bigger: g or m?
g
Suppose -4 = 4*r - 24. Suppose -r*q = -0*q. Suppose 5*o - 5*n - 45 = 0, q*n = -3*o + n + 17. Is o at most 4?
True
Suppose j + 3 = -4*k, -2*k + 15 = -4*k - 5*j. Let f = -1 - k. Let h be 2/(-6) + 4/9. Is f < h?
True
Let i = -254/3 + 1760/21. Let m(w) = -w**2 - 4*w - 4. Let d be m(-3). Is i at least as big as d?
True
Let g be ((-5)/(-140))/(9/12). Let m = -2 - -3. Is g equal to m?
False
Let a be (0/1)/(4 - 5 - -2). Suppose -3*w + w + 10 = 0. Suppose c - w*b - 24 = 0, 4*c = -0*c + 5*b + 21. Which is smaller: a or c?
c
Let d be 8/(-14)*3/(-6). Let t(w) = 4*w - 39. Let z be t(10). Which is greater: z or d?
z
Let q = -1.32 + -0.38. Are -2 and q nonequal?
True
Let s = 3 - 3. Suppose s = 5*a + 5 - 0. Let g be a/(16/6 + -3). Is 2 at most as big as g?
True
Suppose -k - 1 = 5. Let n = k + 10. Suppose n*f = -4, -z - 5*f - 7 = 3. Is -5 bigger than z?
False
Let c = -1 + 0. Let h = -46.98 + 48. Let z = 1 - h. Is c < z?
True
Let a(z) = 0*z - z + 1 + 0. Let w be a(2). Is w greater than 2/13?
False
Suppose -2*t + u = -3, 3*t - u - 2 = 3. Let j be ((-1)/t)/(2/4). Let v = -2.0506 + 0.0506. Which is smaller: v or j?
v
Let b(y) = y**3 - 10*y**2 - 5. Let w be b(10). Which is bigger: w or -1?
-1
Let l be (-1)/(7/(-2) - 0). Let n be 0/(-2 + -1 - -1). Suppose n = 2*k - 0*k + 3*j + 8, 4 = -2*j. Which is smaller: k or l?
k
Let s be (6/60)/(1/2). Let n be ((-12)/81)/(2/3). Let d = n - -8/9. Is s less than d?
True
Let q = -0.5 + 0.5. Let u = -2 - q. Let v = u - 0. Is v at least as big as 0.2?
False
Let p = 55 - 54. Is -0.17 > p?
False
Let j = 39.2 + -36. Let r = 4 + -1. Let a = r - j. Are a and 0 nonequal?
True
Suppose 4*f - 3*f - 5 = 0, -7 = -2*y - f. Suppose 4*u + k + 20 = 0, -2*u + 5*k - 15 = u. Let n be u/(1/2*2). Which is bigger: n or y?
y
Let t(i) = -i**3 - i**2 + i + 1. Let u be t(-2). Suppose g - u = -0. Suppose 3*v - 3*m + 1 = -14, -3*v = g*m + 3. Which is bigger: v or -2?
-2
Let m = 41 - 41.01. Which is greater: m or 1/3?
1/3
Suppose g - 2*g = -12. Suppose -4*u = -4*v + 44, -4*u - 20 = 2*v + g. Does -8 = u?
False
Let r be -2*1*9/(-6). Let q be 19/r + 3/(-9). Which is greater: 5 or q?
q
Let k = 23 + -22. Which is greater: k or 13?
13
Let x = 6.7 - 1.7. Which is greater: 0.2 or x?
x
Suppose -2 = 3*s - 14. Does 3 = s?
False
Let v = 3.14 + -3.1. Which is smaller: 1 or v?
v
Let m = 38 - 73. Is -36 >= m?
False
Let i = 4 + -6. Let g = 39 + -27. Suppose 3*x = -s - 2*s - g, 2*x + 11 = -3*s. Is x at least i?
True
Suppose 3*g = g. Let q be (-6)/(-10) + (-19)/15. Which is smaller: q or g?
q
Let l(u) = 7*u**3 + 9*u**2 - 2*u + 3. Let p(y) = 10*y**3 + 13*y**2 - 3*y + 4. Let s(k) = 7*l(k) - 5*p(k). Let w be s(-1). Which is bigger: -2 or w?
w
Let i = 0.1 + 1.9. Suppose -f + 6*f + 1 = 2*m, -m = 3*f + 5. Let t be (-5 + 3)*m/(-20). Is i at most as big as t?
False
Let x = -0.3 + 0.32. Are x and 0.3 equal?
False
Let b(r) = -r**3 - 8*r**2 + 8*r - 12. Suppose -2*y - 7 - 11 = -3*x, 45 = -5*y - 2*x. Let w be b(y). Is w < -5/2?
True
Let h be (-28)/(-23)*(-2)/(-12). Let x = h - -3/23. Is -5 equal to x?
False
Let s = -10.64 + 0.74. Let w = s + 10. Let h = -0.09 + w. Which is smaller: h or 1?
h
Let z = 0.9 - 0.9. Which is greater: z or 17?
17
Let b(h) = -h**3 - 8*h**2 + h + 8. Let f be b(-8). Suppose -s - 3 = -f*s. Which is smaller: -1 or s?
s
Let z be (-6)/(-33) + 12/(-99). Which is smaller: z or 1?
z
Let i(h) = h**2 - 2. Let n be i(-2). Let g = 4 + n. Let b = g + -5. Is b smaller than 1?
False
Suppose 3*k - 12 = 5*k - 3*r, -2*k - 2*r = 32. Is 2 smaller than k?
False
Suppose 5 + 1 = 3*v. Is 1/2 > v?
False
Suppose -4*h - 8 + 0 = 0. Let i be 2 + (5 - 2 - h). Which is bigger: 6 or i?
i
Suppose 5*l + 2*z = 4*l + 13, -5*l + 89 = 2*z. Let f = 31 - l. Is f less than 13?
True
Suppose -4*y = -4*c + 21 - 1, 3*c = 12. Let j be (-6)/2*y + 0. Suppose -j*o + h = -2 - 20, h + 10 = o. Is 1/4 equal to o?
False
Let v = 0.26 - 0.1. Let c = -0.04 - v. Which is smaller: 0.2 or c?
c
Let n = -7 - -8. Let r be 0 + n + (2 - 2). Which is greater: 2 or r?
2
Let l = -33.6 + 28. Let k = 0.5 + l. Let r = -5 - k. Which is bigger: r or -2/3?
r
Suppose 4*f + 6*i + 8 = 2*i, -f + 2*i + 7 = 0. Is 1/19 <= f?
True
Let a = -347 - -3820/11. Is a at least as big as -1?
True
Let o be (-6)/(-21) - 136/(-14). Suppose 4*m - 2*k = -o, -3*m - 2*k + 6*k = 15. Suppose 2*f + f = 0. Which is smaller: f or m?
m
Let y be (-15)/(-25) - (-8)/(-5). Let u = 0 + y. Suppose -3*z = 5*p + 19, 0 = -0*z + z + 3. Which is bigger: u or p?
u
Let t(v) = v**3 + 10*v**2 + 4*v + 12. Let w be t(-9). Is 55 > w?
False
Let l be 25/(-5)*6/10. Let v be (l/(-12))/((-3)/(-12)). Which is bigger: v or 5?
5
Let p = 19 + -41. Let f = p - -40. Let u be (-6)/9*f/(-16). Is u smaller than 0?
False
Suppose -35 = 5*o + 5*n, 4*n + 8 = -2*o - 10. Let t(k) = -5*k + 1. Let y be t(1). Which is smaller: o or y?
o
Let b(n) = n - 2. Let c be b(3). Let x = 1 - 1. Let i = x + 2. Are c and i equal?
False
Suppose -11*d + 4 = -13*d. Is 0.1 greater than or equal to d?
True
Let s = 0 - -10. Let k be (32/200)/(4/s). Is 2 <= k?
False
Suppose -3*d = a - 2 - 23, 40 = 3*a + 2*d. Is a greater than or equal to 8?
True
Let v = 4 - 1. Let n = -7/2 + v. Are -0.1 and n non-equal?
True
Let i be 3/(-12) - (-38)/24. Let x(o) = 3*o. Let t(j) = -4*j + 1. Let u(d) = 4*t(d) + 5*x(d). Let v be u(3). Which is bigger: i or v?
i
Let g(b) be the first derivative of b**3/6 - 2*b - 1. Let r(m) be the first derivative of g(m). Let p be r(0). Which is smaller: p or 1/4?
p
Let i = 1 + -2. Let m = -2.7 + -1.3. Let p = 3.9 + m. Is i greater than or equal to p?
False
Let o be 2 - ((1 - 0) + 27/45). Let q(a) = -a**2 + 2*a + 5. Let k be q(4). Let y = -2 - k. Are y and o unequal?
True
Let n = -2 - -3. Let i = n + -1.1. Let h = -0.26 + 0.56. Which is smaller: h or i?
i
Suppose 0 = -z + 3*z - 6. Suppose 0 + 6 = 5*l - 3*q, z*l = -3*q - 6. Are 1/5 and l non-equal?
True
Let o = -2 - 1. Which is smaller: -4 or o?
-4
Let k(y) = 2*y - 26. Let h be k(15). Is h at most 14/5?
False
Suppose x = -2*x + 15. Suppose -x*z = -3*z. Is z > -1?
True
Let t = 16 - 19. Are -11/3 and t equal?
False
Let z(f) = f**3 + 7*f**2 - 7*f + 11. Let r = -26 - -18. Let v be z(r). Let x = 2 + v. Which is greater: x or 3?
x
Let r(k) = k**2 - 2*k. Let a be r(2). Which is bigger: a or 15/16?
15/16
Let i = 21 + -21. Is i at least as big as 3/5?
False
Let t be (-4)/(-10)*12/(-8). Which is greater: 24 or t?
24
Let u(r) = r**3 - 9*r**2 + 9*r + 2. Let b be u(7). Let a be (-6)/15 + b/5. Are -8 and a equal?
False
Let r(s) be the third derivative of s**4/24 + s**2. Let z be r(-1). Let x = -60 + 178/3. Is x at least z?
True
Suppose -4*p = 4*s - 0*s + 8, -2*p + s = -2. Suppose -m = 3*c - 0*c - 10, 2*c - 2*m - 4 = p. Is 4 less than c?
False
Let f = 27.1 - 27. Which is bigger: 0.3 or f?
0.3
Let p(b) = 5*b - 5. Let h be p(2). Is 6 greater than h?
True
Let x = 143/10 + -8147/570. Which is bigger: 0 or x?
x
Suppose -12 = -2*w + 48. Suppose s - w = -5*l, 5*s = -l + 42 - 12. Let v = l - 4. Are -1 and v equal?
False
Let w = 0.11 - -0.04. Which is smaller: 0 or w?
0
Suppose 10 = -2*n - 3*n. Let d(a) = 15*a**2 - 3*a - 1. Let j be d(-2). Let l be ((-2)/j)/(n/10). Which is smaller: l or 0?
0
Let g = -15 - -7. Let h = 6 + g. Is h smaller than -2?
False
Let i(s) = -4*s + 5. Let q be i(-2). Which is smaller: 11 or q?
11
Let a = 5 - 7. Let n(s) = 3*s + 3. Let q be n(a). Is q not equal to 0?
True
Let y = -11 - -5. Is -6 at most as big as y?
True
Let o = -400/873 + 4/291. Which is bigger: o or 1?
1
Suppose 0 = 3*p - 0*p - 5*k + 18, -3*k = -p - 10. Let r be -2 - (14/(-22) + p). Which is smaller: r or -1?
-1
Suppose 4*g - g = 54. Let a be 9/3*2/(-3). Let i be (-6 - -5)*a/g. Which 