(-5)*(u + 1). Is x greater than -0.04?
True
Let x = 31/54 + -2/27. Let p = -1.6 - 0.1. Let j = 0.3 - p. Which is greater: x or j?
j
Let o(p) = p**2 + 10. Let r be o(0). Let m = r + -89/9. Which is smaller: 0 or m?
0
Suppose -14 = -4*h - 2. Suppose -q + 4 = 3*q. Are q and h nonequal?
True
Let y = 3 - -1. Suppose -y = n - 3*n. Which is smaller: 1 or n?
1
Let x = -37 + 36. Is x bigger than -24/11?
True
Let u be (-2)/6 + (-4)/6. Let o be 2/(-12) - u/2. Which is bigger: -1 or o?
o
Let l = -1.5 - -0.8. Is l greater than 0?
False
Suppose -3*l - 4*v - 1 = 0, 3*l + v - 10 = 1. Suppose 3*k - 4 = -l*z, 4*z + 2 = -5*k - 13. Is k greater than -7?
False
Suppose 4*g + 3*t = 15, -4*g = 5*t - 3*t - 10. Let w be (0 - 2)*1/2. Which is bigger: w or g?
g
Let g = -0.1 - -0.04. Let z = 6/77 - -16/77. Which is greater: z or g?
z
Let t = -26 + 44. Let w be t/20 - (-2)/(-4). Which is bigger: w or 6?
6
Let f(t) = -t**2 + 5*t - 6. Let x be f(4). Are x and -2 non-equal?
False
Let i(o) = -o**2 - 23*o + 33. Let x be i(-25). Is x at least as big as -16?
False
Let f = 92/7 - 416/21. Let p = 43/6 + f. Let o be ((-2)/(-4))/(1/2). Is o at least as big as p?
True
Suppose b - 2*s = 3*s - 16, -s + 14 = -2*b. Let l(a) = -a**3 - 5*a**2 + 5*a - 1. Let f be l(b). Is 5 smaller than f?
False
Suppose -288 = -5*f + 3*a, 5*a - 5 + 165 = 3*f. Suppose -2*h = 4*r - 34 - 26, 0 = -4*r - 5*h + f. Let u be r/4 + (-1)/(-4). Which is smaller: -1 or u?
-1
Let i be (-12)/8 - (-5)/2. Suppose 5 = p, 3*x = 5*p - p - 11. Suppose -d + 4 = x. Is i at least d?
True
Let g(r) = r**2 - 12*r - 33. Let i be g(14). Which is greater: i or -6?
i
Let p = -6047/24 + 252. Is -0.1 less than p?
True
Let t be 0 - 0 - (-146)/(-6). Is t greater than -24?
False
Let b(v) = v + 11. Let m be b(-9). Suppose 0 = -0*g + m*g + 5*k - 13, -4*g - k = 1. Which is smaller: g or -8/7?
-8/7
Suppose 4*n - 9 - 126 = z, -15 = -3*z. Are 36 and n nonequal?
True
Let j be (-1 + (-4)/(-5))/(-1). Let f = -47 - -47. Which is greater: j or f?
j
Suppose -5*g = 64 - 4. Let a = -14 - g. Are -2 and a unequal?
False
Let y = 16 - 12. Suppose -a = -y*a + 9. Which is smaller: 5 or a?
a
Let p be 2/(-6) + (-2)/(-6). Suppose p = 5*w - 4*w + 5*u - 10, -3*u = -w - 6. Let z be (12/(-9))/(-2 + 3). Does w = z?
False
Let f = 20 - 20. Is -1 at most f?
True
Suppose 0 = -3*l + 12 + 42. Does 19 = l?
False
Let o be 35/(-45) + (-6)/27 + 2. Which is bigger: o or 6?
6
Let m(y) = -y - 1. Let b be m(-2). Let n(t) = -t**3 - 4*t**2 - t + 1. Let k be n(-4). Suppose -9 - 1 = -k*r. Is b smaller than r?
True
Let r = 4 - 3. Let j = 1779/13 - 137. Which is greater: j or r?
r
Let j(k) = -k**3 - 5*k**2 + 5*k - 3. Let c be j(-6). Let q = 5 - c. Let t = 2 + -1. Is t less than or equal to q?
True
Let h(t) = 8*t - 81. Let g be h(8). Which is smaller: -18 or g?
-18
Let r be (-8)/(-28) + (-1791)/4088. Let o = 2/73 + r. Which is bigger: 1 or o?
1
Let t = 80 - 80.1. Which is smaller: t or 11?
t
Let f = -1 + 3. Let a be f*(-41)/638*1. Let c = a + 9/29. Which is smaller: -2/5 or c?
-2/5
Let g = 13 - 8. Suppose -3*n - 1 = -5*f, -g*n - 8 = 4*f - 3*n. Let d be (0 + f)*(0 + 1). Which is greater: -2/7 or d?
-2/7
Let q = 43 + -31. Let o be 2/3 + (-2)/q. Which is smaller: o or -1?
-1
Let x(u) = u - 9. Let g be x(9). Suppose j - 3 + 2 = g. Is -3/7 less than j?
True
Let b be ((-72)/224)/((-15)/8)*15. Is 0 greater than or equal to b?
False
Suppose -v + 3*o = 5*o - 2, 3*v - 3 = -3*o. Let l(q) = q - 1. Let y be l(-1). Which is greater: v or y?
v
Let u be (-10)/2*(2 - 7). Suppose 5*j + 13 = -5*q - 2, 0 = -5*j + 3*q + u. Let f be (-1)/(((-3)/(-2))/(-3)). Are j and f unequal?
False
Let l = 7.9 + -7.8. Let h be 2/3 - (-326)/(-120). Let m = h - -9/5. Which is smaller: m or l?
m
Let m be (-8)/(-4)*(-17)/2. Let v be 2/5 + m/5. Let f = 5 + v. Which is bigger: f or -0.1?
f
Let i = -5 + -5. Let d(h) = -10*h**2 - h. Let y be d(-1). Which is bigger: y or i?
y
Let c(t) = -t**2 + 5*t - 5. Let h be c(4). Which is smaller: -7/26 or h?
h
Let k(j) = -j**2 - 7*j + 10. Let q be k(-7). Let f be ((-3)/q)/((-12)/24). Let b(p) = -p. Let t be b(-1). Which is smaller: f or t?
f
Let c be ((-2)/3)/(6/45). Let p be ((-2)/20)/((-2)/c). Does 0 = p?
False
Let n(x) = 2*x**2 - 7*x - 1. Let t be n(3). Which is greater: -3 or t?
-3
Let w be 2/8*4/3. Let c(u) = u**2 + 6*u + 8. Let h be c(-5). Suppose 8*j - h*j - 10 = 0. Which is greater: j or w?
j
Let w(z) = z**3 + 8*z**2 + 6*z - 2. Let d be w(-7). Suppose 0 = -d*m - 5*s - 25, 5*s + 14 = -4*m - 4. Let n be (-6)/(-4)*3/9. Is m greater than n?
False
Let u = -0.12 + -5.88. Let g = 5.28 + 0.52. Let t = g + u. Is t bigger than -0.2?
False
Let p = -9.9 + 9. Let z = p - -1. Is z bigger than -7/2?
True
Let h(x) = -2*x**3 - 4*x**2 - x + 2. Let n = 6 - 8. Let u be h(n). Suppose 0 = 4*y + u, -y - 3 = -4*t + 2. Is 1 equal to t?
True
Suppose -m + 2 = -0. Suppose 0 = m*z - 10. Is 1/3 bigger than z?
False
Suppose 2*i - 4*p = -p + 26, -3*i - 4*p = -22. Is i equal to 15?
False
Let c be 3/(-4) - 294/(-456). Let x = 2 + -1. Which is smaller: x or c?
c
Let c = 1 + -9. Let y = 5.1 + 2.9. Let x = c + y. Is 1 less than x?
False
Let i be 3 + -3 + 0 + 2. Let k = i - -4. Which is bigger: k or 5?
k
Let i(r) = r**2 - 1 + 2*r + 6*r - 6*r. Let p be i(-3). Which is greater: 0 or p?
p
Let y = -79 - -565/7. Is 0.1 >= y?
False
Let f = -352 + 11617/33. Let u be 3/(-6) + (-2)/(-4). Which is bigger: u or f?
f
Suppose -4*y + 4*h = -24, 4*y + 3*h = -6 + 16. Suppose -3*g + 82 = -5*k + g, -71 = y*k - 5*g. Let m be (-4)/k - (-37)/(-7). Which is bigger: m or -6?
m
Let b(u) = u - 4*u**2 + 2 + 4*u**2 + u**3. Let v be b(0). Do v and 1 have the same value?
False
Let n be (-70 - 0)*(-18)/30. Which is smaller: 40 or n?
40
Let z = 10 + -6. Let s = -4 + z. Which is bigger: 1/12 or s?
1/12
Let u = 7 - 9. Let l be u/(-9) + (-343)/693. Are -1 and l nonequal?
True
Let v = -7 + -5. Let b be (-2)/8 - v/(-16). Which is smaller: -2/11 or b?
b
Let v = -3 - 4. Is -8 <= v?
True
Let x = 30 - 36. Let f be (-10)/(-3)*(-6)/4. Which is smaller: x or f?
x
Let a = 3 + -4. Let q be 4/5 - (4 + -3). Is a at most as big as q?
True
Let g be 99/(-18)*2*1. Let k be 4 + g*(0 + 1). Suppose -16 = 4*z - 2*z. Is k less than z?
False
Suppose 0 = -5*k - 0*k - 45. Let j = k - -5. Let w = -2/291 + -568/2037. Which is smaller: w or j?
j
Let b be 16/(-3)*(-9)/6. Suppose 15 = 3*c - 3*q, 4*c - 4*q - 20 = b*c. Let k = 4 - 5. Is c at most k?
False
Suppose -v = 2*v - 9. Suppose -k + 71 = 5*z, -5*z + 67 = 3*k - k. Let p be (-3 - -2)/((-5)/z). Is v not equal to p?
False
Let o be 20/11 - 2/(-11). Suppose -o = 3*l + 10. Let n(u) = -u**3 + 4*u**2 - 5. Let h be n(4). Is l greater than h?
True
Suppose -7 = 3*t - 19. Suppose -t*s - s = 10. Is s not equal to 1?
True
Let u = -227/5 - -6593/145. Let r = -41/15 + 7/3. Is r < u?
True
Suppose -3*u - 2*m - 1 - 12 = 0, 10 = -4*u + m. Let g = u - -5. Let w(v) = -v + 5. Let q be w(5). Which is smaller: g or q?
q
Let d(t) = 2*t - 22. Let v be d(0). Is -21 <= v?
False
Suppose 7*z = -5*a + 2*z + 5, -2*a + 5*z = -23. Suppose l = a*l - 12. Which is greater: l or 0?
l
Suppose 3*i - 74 = -x, -x - 2*i = x - 152. Which is smaller: x or -1?
-1
Suppose 0 = -3*y - y + 8. Let f(w) = -1 - 3*w**3 + 2*w**3 + 5*w - 3 - 5*w**2. Let m be f(-6). Is y <= m?
True
Let w = -0.23 - -1.33. Let s = -0.1 + w. Let y = 0.4 + -0.5. Which is bigger: s or y?
s
Let f(m) = 2*m**2 - 1. Let r be f(-1). Let g = 0.4 - 0.2. Let l = -0.3 + g. Which is bigger: r or l?
r
Let o = 50 - 148/3. Let z be (1/18)/(4/(-6)). Which is smaller: o or z?
z
Suppose 4*y = -y - u + 16, 3*u = -3*y. Let t = y - 2. Which is greater: 7/5 or t?
t
Let o be (-12)/(-8)*(-8)/(-6). Suppose -4*p + 2*y + o = 0, 0 = -4*p - 4*y - 0 - 4. Is 2/15 smaller than p?
False
Let j(d) be the third derivative of -5*d**4/24 - d**3/6 + 3*d**2. Let o be j(-1). Is 4 >= o?
True
Let n(j) = j**2 + 9*j + 15. Let b be n(-6). Suppose 4*s + s + 5 = 0. Is b less than or equal to s?
True
Let c = -33255427/18486 - -46765/26. Let b = c - -6/79. Suppose -4*y - y = 0. Which is smaller: y or b?
b
Let a(l) = -l - 5*l**2 - 2 - 2*l + 4*l**2. Let s be a(-6). Let i = 14 + s. Which is smaller: i or -0.1?
i
Let z = 36 - 26. Let k be 17/30 - 4/z. Is k at most 1?
True
Suppose 0 = -13*h - 70 - 8. Which is bigger: -4 or h?
-4
Suppose a + 7 = -0. Are a and -