 than r?
True
Let h be (-8)/6*(-3)/2. Let o(w) = -w**3 + 3*w**2 - 1. Let y be o(2). Is h at least as big as y?
False
Let h = -0.1 - 0.1. Let c = h - 0.3. Let n = 0.6 + c. Is n < 2?
True
Let l = 0 - 0.1. Let d = -2 + 0.6. Let h = 0.4 + d. Are l and h equal?
False
Let l = 0.4 - -0.1. Let h = -12.6 - -13. Let n = l - h. Which is greater: n or 0?
n
Let m(u) = -u**2 - 6*u + 1. Let f be m(-5). Suppose 4*a - 12 + 37 = b, 0 = b - 3*a - 20. Which is greater: b or f?
f
Suppose 0 = -0*c + 2*c + 4. Let o = 11 - 22. Let g = o + 8. Is g bigger than c?
False
Let u = 80865 + -1053882/13. Let t = 203 + u. Which is smaller: 1 or t?
t
Let g = 7 - 7.4. Let l = -164/1023 + -2/93. Which is smaller: g or l?
g
Let n = -0.4 - -0.7. Let l = -65 - -63.3. Let p = l - n. Are p and -3 non-equal?
True
Let f be (-12 + 0 + 4)/2. Suppose -3*u - u = -16, -4*u + 16 = -3*z. Is z <= f?
False
Suppose 2*w + 0*w + 10 = 0. Let h = -2 - w. Suppose 4*u = h*u. Which is smaller: u or -0.4?
-0.4
Suppose 4*d - 8*d = -68. Suppose -4 = 4*z, 5*l + 4*z - d + 46 = 0. Which is bigger: l or -1?
-1
Let t = -6 - -11. Let m(i) = -i**3 - 11*i**2 - 11*i - 7. Let b be m(-10). Let h be (t/30)/(1/b). Is h at most as big as -2/5?
False
Let l = -4.5 + 5. Let r = l + -0.5. Which is bigger: r or -0.3?
r
Let z = 3 + -1. Suppose 11 = -i - 3*r, -z*r - 5 = 3*i - 0*r. Is 1 at most as big as i?
True
Let g(o) = -o**2 + 8*o - 9. Let x(i) = i**2 + 4*i + 2. Let z be x(-5). Let p be g(z). Which is smaller: -1 or p?
p
Let x be 4*2/4 + -3. Let s = -200831147/774 - -259472. Let m = s - 1/86. Which is bigger: m or x?
m
Suppose n + n = 0. Suppose 5*p + n*p - 10 = 0. Suppose 3*z + p*u - 6 = 6*u, -4*u - 2 = -5*z. Is -8/5 equal to z?
False
Let c be 4/(-6) + 2/(-6). Let q be ((-7)/(-3))/(1/(-4)). Let m = -9 - q. Is m smaller than c?
False
Let x(o) = o**3 + 2*o**2 - 4*o + 3. Let q(m) = m**2 + 1. Let z(y) = -3*q(y) + x(y). Let c be z(3). Let p be ((-2)/c)/(1/(-15)). Which is greater: 1 or p?
p
Let l(g) = -g - 9. Let o be l(-5). Let f be (-2)/o*48/15. Which is smaller: 2 or f?
f
Suppose 3*d - 5*o - 50 - 35 = 0, 0 = -d + o + 25. Is d < 19?
False
Let j = 2 - 3. Suppose -11 - 3 = -c. Let d be (-10)/5 + 30/c. Which is bigger: d or j?
d
Let v = 19/33 + 1/11. Is v > -8?
True
Let a be (-50)/15*6/(-5). Let x be 0/(a + (2 - 5)). Suppose x = -3*i - 0*i - 3. Which is smaller: i or -0.1?
i
Let c be (18/4)/((-1)/2). Let m = c - -9. Is 1/3 greater than m?
True
Let x(w) = 2*w**2 + w - 1. Let c be x(-3). Is c at least 9?
True
Let s = -3 + 4. Let l be ((-8)/120)/(23/(-6) + 4). Which is smaller: s or l?
l
Suppose -t - 10 = -l, 5*l - 3*l = 3*t + 25. Suppose -3*p = -l*n - 9, -n + 0*n = -p + 1. Let j be 0 + (-3)/24*p. Which is smaller: j or -2?
-2
Suppose 8 - 23 = -3*p. Which is bigger: 2 or p?
p
Let l be (294/4)/((-54)/30). Let d = l - -41. Is 1 at most as big as d?
False
Let r(l) = -7*l**2 - 3*l**2 - l**3 - 2*l**3 + 2*l**3. Let i be r(-10). Let x = 76/105 - 2/35. Is x greater than i?
True
Let r = 117 - 103.8. Let v = r - 13. Which is greater: -3/7 or v?
v
Let z be 2/4*-1 + 182/(-56). Do 0.2 and z have the same value?
False
Let x be 3/(-9)*(-1 + -2). Let v be (1 - 0) + -1 + x. Let b = 29/4 - 7. Which is smaller: b or v?
b
Let p = -101 - -125. Which is bigger: p or 25?
25
Let n = -249/35 - -32/5. Let a = 33 + -35. Which is smaller: a or n?
a
Let r(p) = p**3 - 7*p**2 + 5*p + 6. Let k be r(6). Suppose -3*q - 4*m + 8 = 3, -2*q = -3*m + 8. Let l = q - -2. Is k smaller than l?
True
Suppose -o = -2*h + 6, -2*h + 7*h = 20. Let x = -0.08 - 0.92. Which is bigger: x or o?
o
Let i = -7 - -5. Let u = -3 - -5. Suppose 4*x - u = -6. Is x not equal to i?
True
Let u(s) = -2*s - 12. Let z = -12 - -4. Let p be u(z). Suppose 0 = 5*i + 2*x + 11, -2*i - 3 = p*x + 11. Which is smaller: 1/7 or i?
i
Suppose -4*w = -7*w + 42. Is 13 != w?
True
Let y be (37 + 1)*32/(-64). Are y and -4 non-equal?
True
Let m be (-8)/(-5) - (-6)/15. Suppose 0 = 5*j + 5*u - 5, 3*j - m*u = -0*j + 3. Is -2/7 < j?
True
Let q = -54 + 64. Is q at least as big as 10?
True
Let n = 6 + -3. Let x = 10 + -6. Suppose -x*d + 7 = h - 2*d, -n*h + 5*d = 23. Is h < 1?
True
Let n be 1/(((-5)/9)/(-5) - 0). Which is smaller: n or 6?
6
Let o = -10 + 2. Is o != -8?
False
Let l be (2 + (-2)/4)/3. Let z = 10 + -10.05. Which is smaller: l or z?
z
Let p = 7 - 5. Suppose p*m + 5*k = 13, -3*m - 8 = -m - 2*k. Is 2/15 != m?
True
Let w = -4.7 + 2.7. Is w bigger than -0.1?
False
Suppose -2*h + 2*v = 6 - 166, -5*h - 2*v = -365. Suppose 15 + h = -r. Let o = r - -274/3. Is o at most 2?
True
Let g = -32 - -31. Is -4/7 bigger than g?
True
Let z = -0.118 - -0.018. Suppose 3 = -3*p - 18. Which is smaller: z or p?
p
Suppose -i + 20 = -6*i + 2*v, -4*i + 4*v - 28 = 0. Let l = i - -1. Let d(x) = 4*x - 17. Let k be d(4). Are k and l unequal?
False
Let k(d) = d**3 + 6*d**2 + 4*d + 1. Let n be k(-5). Let r be (-2)/n - 11/3. Let m(h) = h**2 - 9*h + 10. Let y be m(7). Do r and y have the same value?
True
Let n(y) = 2*y - 6. Let g be n(5). Suppose 0 = -g*a - 8, 5*a = 7*z - 3*z - 2. Are z and -2 unequal?
False
Let b be (-2457)/(-396) + 2/8*-3. Which is greater: b or 6?
6
Let p = -44 - -42. Which is smaller: p or 5?
p
Suppose 3*o - o = 0. Which is bigger: o or -1?
o
Let f be (-4)/10 + 5482/80. Let g = -68 + f. Let l be -3 - 3/(5/(-5)). Do l and g have different values?
True
Suppose -28*m = -29*m. Which is bigger: m or 1/5?
1/5
Suppose 3*d - 5 = a, d = -3*d + 3*a. Let c be (-11)/(-12) + 2/(-8). Is c >= d?
False
Let a = -39.81 + 40. Which is greater: 2 or a?
2
Let l = 21 - 22. Which is greater: l or -0.3?
-0.3
Let r(a) = -4*a**2 - a. Let w be r(-1). Let c be 3/36 - w/(-9). Does 1 = c?
False
Let m(w) = w**3 - 4*w**2 + 2*w. Let h be m(3). Let u be -62*h/12 - -2. Let a = u + -107/6. Is -1 at least a?
False
Let h be (-24)/(-36)*6/4. Is -3/14 < h?
True
Let s = 11/20 - 3/10. Let k = 1.4 - 1.6. Let r = 0.5 + k. Is s not equal to r?
True
Suppose 0*i - 5*i - 3*s = 18, -5*s + 20 = 0. Let x = i + 21. Let m = x - 77/5. Is m less than -3?
False
Let m be -5 - -1 - 1*-2. Let i(k) = -2*k**2 - 5*k - 5. Let d be i(m). Which is greater: d or -6?
d
Suppose -2*f - 18 = 5*y, 2*y + 14 = -4*f - 6. Suppose -m + v = -0*m + 423, -3*m - 1293 = 3*v. Let z = -2995/7 - m. Which is greater: z or y?
z
Let c be (-152)/(-56) - 2/(-7). Suppose -3*t - 14 + 2 = -c*r, -4*t - 5*r + 11 = 0. Is t smaller than -1/12?
True
Let w = -1/204 + 827/2244. Which is greater: w or 1?
1
Let i = 1356/7 - 194. Let r = -5 - -9. Is i greater than or equal to r?
False
Suppose -3 - 13 = 4*f. Which is smaller: 1 or f?
f
Let l = -2 - -8. Is l less than 8?
True
Let p = 6.86 - -0.14. Let m = p - 6.92. Let k = -6.08 + m. Which is smaller: k or 1/2?
k
Let r = 7 - -12. Is r < 0?
False
Let h = -6.165 - 0.035. Let j = -0.2 - h. Which is bigger: j or -0.2?
j
Let a = 1 + -3. Let f be a - -1*(-2 + 3). Which is smaller: f or -3?
-3
Let m(n) = 63*n**3 + n**2 + 2*n - 2. Let k be m(1). Suppose -k = 4*g + 4*v, -v - 38 = 2*g - 11. Is g bigger than -9?
False
Suppose -2*i + 0 + 2 = 0. Let j be (2 - (3 + 1))/(-94). Which is greater: i or j?
i
Let w = 48 - 44. Let v = 22 - 17. Which is smaller: w or v?
w
Let n = 33 - 34. Which is smaller: 3/2 or n?
n
Let r = -85 - -257/3. Is 1 greater than r?
True
Let z = -1 + 2. Let c = 1/6 + 1/3. Which is greater: z or c?
z
Let i = -1681/23 + 73. Let v(g) = g**2 - 2*g + 1. Let n be v(1). Suppose n*b = -5*b. Is i bigger than b?
False
Let u(i) = i**2 - 6*i + 5. Let v be u(5). Let z be v + 2*(-4)/4. Which is greater: 2 or z?
2
Suppose 4*h = 3*n + 27, 3*n - 5*h = n - 18. Let g be n/6 - (-7)/4. Suppose f = 5*o - f - 15, -2*o = -4*f - 22. Is g at least o?
False
Let w(f) be the first derivative of -f**2/2 - 5*f + 5. Let k be w(-6). Which is smaller: -5 or k?
-5
Let n = 4 - -13. Does n = 16?
False
Suppose -2*c - 20 = t, 5*c + 3*t = c - 42. Which is bigger: -8 or c?
-8
Let b(k) = 7*k + 1. Let f be b(1). Let h = -13 + f. Is -4 < h?
False
Suppose -2*x = -6*x + 3*l - 60, x + 28 = 4*l. Is x > -7?
False
Let x = -0.04 - -0.44. Let l be 1/(-1)*(-5 + 3). Is l != x?
True
Let h be -2 + 6/2 + 0. Suppose -3*k - 2 = 4*q - 6, 0 = q + 2*k - h. Let x be q - (-3 - 6/(-2)). Is x < 0.06?
False
Let d be (-6)/42*2 + (-85)/21. Are -3 and d non-equal?
True
Let c = -1.8 + 1.8. Let u = 2 + -1. Let k = 0.9 - u. Are k and c e