han j?
True
Let z(v) = 3*v**2 - v - 2. Let f be z(2). Let o = -15 + 39. Let i = o + -17. Which is smaller: i or f?
i
Let t = 28 + -28.5. Let p = 1.79 + 0.21. Which is smaller: t or p?
t
Let v be (9/(-2))/(6/(-36)). Which is smaller: v or 0?
0
Let d = -14 + 9. Are 3 and d nonequal?
True
Let d = 2 + 3. Let y = 5 - d. Suppose -4*g + y*g + 8 = -4*x, 26 = 5*x + 4*g. Which is smaller: x or 1?
1
Let c = 1.9 + -2. Let l = c - 3.9. Let q be (-528)/(-112) + -5*1. Is q smaller than l?
False
Suppose -2*c = 3*a - 40, -5*c + 5*a + 87 = 6*a. Is 15 greater than c?
False
Let u(b) = b**2 + 3. Let k be u(0). Suppose 0 = -0*w + k*w. Is 3/4 > w?
True
Let d(w) = -w**2 + 5*w. Let j be d(4). Which is smaller: 10/3 or j?
10/3
Let b = 1 + 0. Let q = b - 0. Let w = q - 0.8. Are -1 and w unequal?
True
Let h be (3/(-2 + -1))/1. Let j be (h - (-6)/9)*0. Is j <= -2/21?
False
Let k be 7/4 + 2/8. Let i be (-2 - -3)*k/(-2). Let d = 6/13 + -51/26. Which is bigger: d or i?
i
Suppose 4*p = -0*p + 20. Let j = 18 - p. Is 14 greater than j?
True
Let l(j) = -j - 6. Let r(b) = -2*b - 7. Let y = 6 + -11. Let v(p) = y*r(p) + 6*l(p). Let g be v(1). Which is greater: g or 2?
g
Suppose 0 = 6*g - g. Suppose 5*v - 5*r = -5, -3 = -v - 6*r + 3*r. Are g and v equal?
True
Let b = -20 + 19.98. Is 2 > b?
True
Suppose -3*a - 5 = -2. Let r = 62 - 93. Let n = r - -32. Is a less than n?
True
Let j be (-1252)/14 - 21/(-49). Is j less than -88?
True
Let b = 2.02 - 0.02. Let g = -1 - 1. Are b and g unequal?
True
Let v(r) = r - 1. Let y be v(4). Suppose 4*o = -2*t + 40, -71 = -4*t - 5*o - 3. Suppose -y*q = q + t. Is q greater than or equal to -3?
True
Let s = -19.9 + 20. Are -0.03 and s non-equal?
True
Let y(i) = -i**2 + 9*i - 8. Let r be y(6). Suppose 2*v - 4 = -r. Which is smaller: -4 or v?
-4
Suppose -4 - 3 = -2*r + j, -3*r + 18 = -4*j. Which is smaller: r or 3?
r
Let k(m) = -15*m - 7. Let d be k(-1). Let l = -0.4 - -2.4. Let o = -1.9 + l. Is o at least as big as d?
False
Let o(d) be the first derivative of d**4/4 + 2*d**3/3 - 2*d**2 - 2*d + 3. Let b be o(-3). Which is greater: b or 0.1?
b
Suppose u - 2*s = 36, 0*u - 3*u + s = -93. Let i be (6*4/u)/(-1). Let a(v) = -v + 1. Let n be a(3). Which is greater: n or i?
i
Let l = -27/5 + 28/5. Which is smaller: l or 1?
l
Let t be (3 - 2)/(2/4). Let o = t - 1. Let d = 4 - 2. Is o not equal to d?
True
Let l(t) = 3*t**3 + 5*t**2 - 5*t + 7. Let z(y) = -2*y**3 - 2*y**2 + 2*y - 3. Let u(m) = 3*l(m) + 5*z(m). Let o be u(4). Which is greater: o or -6?
o
Let t = -0.3 - -0.5. Let h = t - 0.3. Let x be 6/(-4)*(-2)/(-6). Which is smaller: h or x?
x
Let k = -0.06 - 0.2. Let o = -0.04 + k. Which is smaller: o or -2?
-2
Let w = 1.6 - 1.7. Which is bigger: w or 5?
5
Suppose 0 = 3*z + 2*g - 3 - 6, 3*g = 9. Let w be 4/(9 - z)*1. Is w at most as big as 6?
True
Let z be (0 + -1)*(-4)/20. Let x(g) = -g + 9. Let y be 6 + ((-3)/(-1) - 1). Let u be x(y). Which is smaller: u or z?
z
Let p = 161/5 + -33. Which is smaller: p or 0?
p
Let n = -4 + 3.72. Let p = 8.28 + n. Is p > -2?
True
Let g(c) = -2*c + 4. Suppose 0*a = -4*a - 16. Let q be g(a). Let i be (-5)/(-12) + (-8)/q. Are i and -3 equal?
False
Suppose -4 = -4*f + 4. Suppose 8 = 3*q - u, q + 17 + f = -4*u. Is q at most 2?
True
Let y = -16 + 35. Suppose -4*i - 4 = 0, -4*u + u + 4*i = -y. Are u and 7/2 non-equal?
True
Suppose 0 = -3*t - 0*t - 3. Let x be (2/7)/(-1 + t). Which is bigger: x or -1?
x
Suppose 0 = -3*z + 5*w - 17, 4*z = -w - 3*w + 20. Suppose 4*p + p = 4*q - 155, -p = -5. Let k be -3*((-4)/q)/(-2). Is z equal to k?
False
Let z be (-21)/4 - 1/(-4). Suppose -3*q - 5*b = -5*q + 5, -22 = 2*q + 4*b. Are z and q non-equal?
False
Suppose -a = -i - 1, -4 = -6*a + 2*a - 3*i. Is 3/5 greater than a?
False
Let g = -1576865 - -1032846983/655. Let j = -3/131 + g. Is j bigger than 0?
True
Let g be ((-6)/9)/((-43)/(-3)). Is g smaller than 0?
True
Let q = -2.9 - -3. Let n = -0.4 + q. Which is bigger: 0 or n?
0
Let m be ((-4)/(-70))/((-4)/5). Which is bigger: 0 or m?
0
Let u = -1602 - -19235/12. Is 2 < u?
False
Suppose -72 = -j + 2*y, 2*j + 2*j = -y + 261. Suppose j - 18 = 4*g. Let s be 2*(-3)/g*0. Which is bigger: s or -2?
s
Suppose -w - 15 = -3*l, -4*w - 3*l - 2*l = -8. Let s = -7 - w. Which is bigger: s or -2?
-2
Let s be (1 + -7)*3/2*-1. Is 11 at least s?
True
Let c(w) = -w**3 + 14*w**2 - 12*w - 14. Let n be c(13). Are -2/279 and n equal?
False
Suppose 49*z - 52*z - 9 = 0. Which is bigger: z or 11?
11
Let q = 167310 - 26434423/158. Let j = q + -2/79. Which is smaller: -1 or j?
-1
Let h = -7 - -17. Which is smaller: h or -2?
-2
Let n be (-1)/(-4) - (1652/208 + -8). Which is greater: n or 0?
n
Let i = -18.9 + 19. Let p = i + -0.1. Is p not equal to -1/5?
True
Suppose -3*p + 5 = -2*p. Suppose -3*j + 3*y = 6, -p*j - 5*y + 11 = -29. Suppose -4*w + 9 = -3. Is j smaller than w?
False
Let p be ((-8)/3)/((136/(-6))/(-4)). Which is smaller: p or -1?
-1
Let w = 0.34 + -61.34. Which is bigger: -1/3 or w?
-1/3
Suppose 0 = -5*y + 2*y - 2*c + 17, 0 = 5*c - 20. Let i = 3 - y. Is i greater than or equal to 0?
True
Let i(m) = -m**2 - 6*m + 2. Let d be i(-6). Suppose d*p = -r + 11, 0 = -2*r + 5*p - 14. Suppose -r*y + 0*y = 6. Which is bigger: y or -1?
-1
Suppose -5*w - 1947 = 4*o, 2*w + 1959 = -3*w + 2*o. Let r = -134 - w. Let v = r + -2567/10. Which is smaller: 0 or v?
0
Let t = -0.6 + 0.5. Let w = -46/7 + 48/7. Which is bigger: t or w?
w
Let n(l) = -l**3 + 4*l**2 - 4*l + 3. Let v be n(3). Suppose p + 4*s - 2 - 2 = v, -4*s + 4 = 2*p. Suppose p*w = -4*w - 4. Which is bigger: w or 0?
0
Suppose 4*m = 11 - 3. Let s = m + -7. Which is bigger: s or -4?
-4
Suppose -17*s - 13 = -4*s. Which is smaller: s or -3/7?
s
Let q(b) = b**3 + 4*b**2 - 2*b - 3. Let k = -8 + 4. Let j be q(k). Suppose 3*x = -2*x - j. Which is greater: 1/4 or x?
1/4
Suppose 0*s = 4*s - 16. Let y be 10/3*(-3)/(-2). Suppose -2*a - y*t + 23 = 0, t - 6 = s*a + 3. Which is smaller: a or 1/3?
a
Suppose 36 = 6*z - 5*z - 3*y, 220 = 5*z - 5*y. Suppose -4*j + 0*j = -2*h - z, -16 = -4*j. Is h bigger than -16?
False
Let i = 4 + -3.6. Let l = 5.3 - 5. Let s = l - i. Is -0.1 bigger than s?
False
Let p be 967/((-2 + -16)/2). Let u = p - -107. Which is smaller: u or -1?
-1
Suppose -5*v + 13 = -2*s, -5*v + 4*s = -7 - 4. Suppose v*t - 3*o = 4*t - 14, 4*t = -o + 1. Which is smaller: -3/28 or t?
t
Suppose -5*z = 3*h - 11, -2*z - 4 = 3*h - 3. Suppose -i = -z*i. Suppose -2*c + 4*c = i. Is 0 equal to c?
True
Let w = 0 + 0. Suppose 12*m = 14*m - 6. Suppose -5*o - m = -2*o. Is w at most o?
False
Let u be 18*((-154)/75 - -2). Let c = u + 506/475. Let d be 12/4*-1 + 2. Which is greater: d or c?
c
Let x(a) = 2*a + 3. Let k = 3 - 6. Let y be x(k). Let b be y/2*(-2)/3. Which is smaller: b or -1?
-1
Suppose -2*b - 5 = -d, -3*b - 10 = 3*d - 7*d. Let i = 1.4 + 9.6. Let y = 8 - i. Are y and d unequal?
True
Let t(i) = 6*i + 31. Let g be t(-6). Let x = -40 - -70. Let b be ((-8)/x)/(6/g). Which is smaller: b or -1?
-1
Suppose 0 = 4*u + s - 0*s - 9, -4*u + 18 = -2*s. Let l be (-3)/(u - (-6)/(-4)). Let j = 16/3 - 35/6. Are l and j equal?
False
Let h = -1/104 - -109/520. Let u(d) = 5*d**2. Let f be u(-1). Suppose 0 = -m + f*w + 10, 4*m = -w - 1 - 1. Is m smaller than h?
True
Let j(f) = -7*f + 17. Let r(k) = 13*k - 33. Let w(g) = 11*j(g) + 6*r(g). Let y be w(12). Which is bigger: -1/5 or y?
y
Let w = 0 - 0. Let f = 4.88 - 5. Let p = f - 0.08. Is p at least as big as w?
False
Let s = 0.033 + 0.007. Are -7 and s nonequal?
True
Suppose 4*b + 7 = 23. Suppose y - 10 = -b*d, -4*d = -2*d + 5*y + 4. Suppose -8 - 2 = -5*f. Which is bigger: f or d?
d
Let f = 0 - -0.02. Let y = 0.04 + -1.44. Let i = y + 0.4. Is i greater than f?
False
Let s be ((-1)/3)/((-2)/6). Suppose 3*t = 4*t + s. Is t less than or equal to 1/4?
True
Let a = 0.1 - 0.1. Let j = -0.064 + -0.036. Does j = a?
False
Let p(g) = g**2 - 5*g - 11. Let b be p(-10). Which is bigger: 0 or b?
b
Let a = -138 - -412/3. Which is smaller: a or -2?
-2
Let a = 37.2 + -37. Is -8 at least a?
False
Let d(h) = h - 1. Let g be d(6). Suppose 0*k - 3*v - 12 = 4*k, -g*v - 20 = -5*k. Which is smaller: k or 1/14?
k
Let o(i) = i**2 + 8*i + 11. Let y be o(-6). Is y < -2/19?
True
Let i = 2.7 - 0.7. Let n = i - 1. Are 2 and n unequal?
True
Let j be (1/(-3))/(40/90). Which is smaller: j or -1?
-1
Sup