c or u?
u
Let k(t) = t**3 + 4*t + 3*t - t**2 - 4*t**2 + 2 - 3*t. Let n be k(4). Let g be (0 - n)*(-2)/(-6). Is -1/2 greater than or equal to g?
True
Let p be 24/(-8)*(-8)/3. Let q(t) = 11*t**2 - 14*t - 7. Let x(m) = 5*m**2 - 7*m - 4. Let a(v) = 4*q(v) - 9*x(v). Let u be a(p). Is 0 bigger than u?
False
Let x be ((-8)/(-10))/(2/(-15)). Let c be (-1)/1 - x/3. Let w be 2 + (-5 + 2)/3. Is c != w?
False
Let c be (-3)/6*6 - -2. Which is smaller: 0 or c?
c
Let o = -0.1 - 0.9. Let u = 2 + -4. Which is smaller: o or u?
u
Suppose 3*f = 2*x - 7 - 1, 0 = -4*f - 8. Suppose 0 = -3*o + 2*o - u + 1, 2*o = 2*u + 2. Let l be (o/(-5))/((-1)/5). Does l = x?
True
Let m = 21 - 22. Let l be (-4 + 2)*(-6)/20. Which is smaller: m or l?
m
Suppose -2*t + 24 = -4*t. Suppose -2*f = 391 - 363. Which is greater: f or t?
t
Let u = -8 + 9.2. Let j = 26 - 25. Is u greater than j?
True
Let y be (1/5)/(6/15). Do y and 2 have the same value?
False
Suppose 2*q = -4 - 0. Let v be 1/(-1 + (-3)/q). Let n be 3 - (v/1 + -1). Which is greater: n or 0?
n
Let a = 8 + -5. Suppose -a + 42 = 3*q. Suppose -1 = -4*s - q. Is -2 smaller than s?
False
Let v = -1 - -1.2. Let c = -1.1 + 1.21. Let a = c + -0.01. Is a >= v?
False
Suppose -z - 16 = -5*s, -2*z - 1 - 1 = 0. Suppose 12 = s*q - q. Let h = 0 + q. Do h and 7 have the same value?
False
Let j be (10/(-1))/2 + 3. Let k be j*(-3)/2 + 0. Suppose 2*h = a + 3, -4 = -3*h + k*a + 5. Is h <= -2/13?
False
Let c be 3 - 3 - 4/(-2). Suppose -c*a = -a - 3. Let q = 2 + 1. Is a smaller than q?
False
Let i(y) = -y**3 - 5*y**2 + 3. Let m be i(-5). Suppose -4*k - 4*h - 103 = -11, 0 = -5*k + m*h - 75. Let d be (-4)/18 + (-40)/k. Which is bigger: 3 or d?
3
Let s be 100/(-1)*(-2)/(-4). Let g be 8/s*10/4. Let z = -2 - -2. Are g and z non-equal?
True
Let t = 9 - 6. Suppose -t*g + 0*g = 6, -11 = -5*z + 3*g. Which is greater: 2 or z?
2
Let j = 28.9 + -30. Which is bigger: j or -1?
-1
Let j = -0.05 + 0. Let v = j + -0.45. Which is smaller: 0.2 or v?
v
Let z = -2.1 - -0.1. Let j = 0 - z. Let t = 1.5 - 1.4. Which is greater: j or t?
j
Let f = 6 - 4. Let p(t) = t**3 + 2*t**2 - 5*t - 3. Let s be p(-3). Is s bigger than f?
True
Let y = 2670/2977 + 6/229. Let f = -47/65 + y. Is f < 0.3?
True
Let a = 11 + 11. Suppose -5*w = -5*j - 0*w - 5, -j = -4*w + 7. Which is smaller: j or a?
j
Let n = -18 + 17. Is n < -4?
False
Let t = -31 - 1. Let u = -22 - t. Let m = 6 - u. Which is bigger: m or 0?
0
Let h = -9 + 7. Let y be (-4)/(-16) + h/(-8). Which is bigger: y or 1?
1
Let c = -12.2 + 16. Let r = 3.89 + 0.11. Let h = r - c. Is 1 smaller than h?
False
Let y = 0.98 - -3.72. Let r = -4 + y. Which is bigger: -1 or r?
r
Let p = -71 - -17. Are -55 and p equal?
False
Let g be 3 + (7/(-3) - 5). Which is greater: -5 or g?
g
Suppose 2*v = 4*v. Suppose 4*u - g - 14 = -v*g, u + 2*g = -1. Let q = u - 5. Do q and -2 have the same value?
True
Let k be (-5)/(-7) + 20/70. Are 2 and k equal?
False
Let w = 11.2 + -11. Is w less than -9?
False
Let t = 2.1 + -3. Let j = 0.1 - t. Is j greater than 1?
False
Let t be (9 + -8)*(-18)/(-10). Let z = -22/15 + t. Does 1 = z?
False
Let d = -0.1 - -0.05. Let q = -2.25 - -2. Let v = q - d. Is v at least as big as 0?
False
Suppose -7*n + 0*n = -7. Which is greater: n or 3/7?
n
Let i = -0.055 - 0.045. Is 42 greater than or equal to i?
True
Suppose -5*p + 1 = -3*j, -5*j - 2 = -6*j + 4*p. Let m be -3*2*j/4. Let l = m - 0. Does 1/2 = l?
False
Let s(p) = -p + 16. Let f be s(10). Let i = 6 - f. Are i and -1/5 nonequal?
True
Let d = 330/247 - 16/13. Is 0 > d?
False
Let d = 5.04 - 0.04. Let t = -0.05 + -0.01. Let r = t + 0.16. Which is smaller: d or r?
r
Let y be 1 + 0 - 28/20. Which is greater: y or 4/5?
4/5
Let z = -1.32 + 1.02. Let k(g) be the third derivative of g**5/60 - 5*g**4/24 + g**3/2 + 2*g**2. Let x be k(4). Is z smaller than x?
False
Suppose 20 = 6*f - 2*f. Suppose -f*a = -0*a. Are a and -5/4 nonequal?
True
Let d be (-2)/((-57)/(-21) - 3). Suppose -18 - d = 5*r. Is -5 < r?
False
Let h(d) = d**3 - 3*d**2 - 4*d + 2. Let l be h(4). Suppose -l*y - 2 + 0 = 0. Which is bigger: y or -2/55?
-2/55
Let s = 0.4 - -2.6. Let n = s - 5. Suppose 4*q + 4 = 6*q. Is n at least as big as q?
False
Let z be 0 - (-1 + (1 - 2)). Let s(y) = y - 11. Let d be s(8). Let q be (d + z)*6/(-3). Which is greater: 2/3 or q?
q
Suppose 5*t = t. Let l(j) = 3*j - 1. Let z be l(t). Is z <= -1/2?
True
Suppose -23 = -6*p + 13. Is 8 greater than or equal to p?
True
Suppose -4*z = -d - 0*d + 6, z + 7 = 3*d. Let r(q) = -2*q - 2. Let o be r(5). Let n be 1/(-2) - 4/o. Is z > n?
False
Let q(s) = -s + 2. Let z be q(2). Let m = 0 + z. Suppose -6 = -3*k + 4*v, 5*k - 4*v + 4 = -2*v. Is m greater than or equal to k?
True
Suppose t = -0*t + 4. Suppose -3*y + 3 = -t*y. Is y at most -3?
True
Suppose -4*y = 0, -3*t + y = 5*y - 84. Is t equal to 26?
False
Let a be (-82)/126 + (-18)/(-42). Do a and -1 have the same value?
False
Let j = 93 - 93.03. Does j = -1/4?
False
Let a be 2/2 + (-126)/125. Which is smaller: -1 or a?
-1
Let k be 8/4*(-2)/4. Is k greater than 1/7?
False
Let n be (-1)/(-4)*-1 + 111/396. Which is bigger: -1 or n?
n
Suppose x = n - 3, -4*n - 8 = 2*x - x. Suppose 5*o = -k - 12 - 4, 0 = 2*k + 2. Is x >= o?
False
Suppose -6 = 2*i + 10. Let c = i + 1. Is c <= -7?
True
Let o(z) = z - 1. Let s be o(-6). Which is greater: s or 2?
2
Let d be (-1)/3 + 110/15. Let a = 1 - d. Which is greater: -4 or a?
-4
Let u be -3*(-11)/(-36)*4. Are -0.1 and u nonequal?
True
Let f = -2 - 3. Let a be 2 - ((-9)/(-3) - -5). Is a < f?
True
Let w(b) = b**3 - 6*b**2 + 4*b + 1. Let m be w(5). Let a = m - -8. Suppose a*y + 0*y + 4 = 0. Which is smaller: y or 0?
y
Let c be (9/60)/((-18)/15). Is -1 <= c?
True
Let i = -1412 + 1423.29. Let b = i + -0.29. Are b and 1 unequal?
True
Let l be (-65)/15 + (-2)/(-1) + 2. Suppose 0 = -3*q - 0*q + 15. Suppose -4*k - 2*h = 10, -k + 12 = 2*k - q*h. Is k at least as big as l?
False
Suppose -2*c + 3 + 1 = 0. Suppose 0*j = j + c. Which is smaller: j or -1?
j
Suppose 5*m - 55 = 5. Suppose 5*o = -l - 3, -4*o = -4*l - 2*o - m. Let h be (-5 + (0 - -2))*1. Is h greater than l?
False
Let h = -13 - -18. Suppose h*b - n - 14 = -2*n, 4*b = n + 4. Which is smaller: 0 or b?
0
Let t = 57 - 36. Let j = t + -23. Which is greater: 4/9 or j?
4/9
Let s be -3 + (0/1 - -1). Let k be 0 - s - 1/(-1). Suppose -k + 21 = -3*q. Is -5 >= q?
True
Let l(s) = -2*s**2 - 6*s + 7. Let r(w) = 3*w**2 + 11*w - 13. Let z(v) = -11*l(v) - 6*r(v). Let f be z(-1). Let h be 0 + 2 + (-12)/f. Are 2 and h nonequal?
True
Let k = -3326/11 - -302. Let g = -16/77 + k. Are g and -2 nonequal?
True
Suppose -3*j + 6*j = -12. Let h be (-1)/((-2)/(-10))*-1. Let i = h + j. Which is bigger: -1/3 or i?
i
Let b = -13/42 + 1/7. Suppose -3*f + 6*f - s = 3, f + s - 1 = 0. Which is greater: f or b?
f
Suppose r = -z - 2*r + 11, 4*z = 5*r - 41. Let p be z/(-10) + (-198)/45. Which is smaller: -3 or p?
p
Let t(s) = -s - 9. Let q be t(-9). Let b be (2/(-1) + q)*-12. Suppose 2*n - 5*h + b = 0, 0*n + 3*n + 14 = 2*h. Which is bigger: n or -5/2?
n
Let s = 0.4 - 0.37. Let x = 0.07 + s. Is -2/3 > x?
False
Let y = -0.08 - -0.1. Let t = -0.02 + y. Let r = t - 0.1. Which is smaller: -3/5 or r?
-3/5
Let z = 0.07 - 1.09. Let s = z + 0.02. Suppose 0 = o + 3*o + 8. Is s >= o?
True
Suppose -4*h - 4*x - 4 = 0, h - 2*x + 12 - 2 = 0. Let d = 2 + h. Let c be -2 + d/((-2)/(-2)). Do -2 and c have different values?
True
Let j = -1.1 + 0.9. Let s = -6 + 8. Are j and s equal?
False
Let w = 3.33 + -0.33. Which is greater: -1/2 or w?
w
Suppose -4*s = k + 5, -k = 2*k + 4*s - 1. Suppose 0 = -2*x - 3*y - 11, k = -2*y + y. Which is smaller: x or 2/5?
x
Let h = -15167 - -318443/21. Let u = 10/3 + h. Which is smaller: 2 or u?
u
Let l = -17 - -18. Let r = 0.1 - 3.1. Let g = r - -4. Are l and g non-equal?
False
Let u = 0.59 + -0.09. Which is bigger: u or 0?
u
Let p = -12 - -13. Is -3/5 < p?
True
Suppose -2*a = -c - 3, -3*a + 5 = -2*a. Let t be (10/(-6))/((-1)/(-3)). Let l = t + c. Do 2 and l have different values?
False
Let r = -95 - -134. Is 39 bigger than r?
False
Let o(l) = 4*l**3 + l**2. Suppose 5*g = 3*g + 2. Let q be o(g). Let h(s) = -2*s + 7. Let c be h(q). Which is bigger: c or -5/3?
-5/3
Let m = -18 + 91/5. Let x = 52 - 103/2. Which is smaller: x or m?
m
Let q = -8 - -15. Let v be 4/1