w
Let u = 0.1 - -0.9. Let n = 13.1095 + -0.0595. Let l = n + -13. Which is bigger: u or l?
u
Suppose 2*b = 4*b - 6. Suppose -b*t - 3 = 0, 3*i - t - 9 = -i. Are 2 and i unequal?
False
Let o(l) = -l**3 - 4*l**2 - 3*l - 4. Let s be o(-3). Is s at most 0.1?
True
Let r = -62051/494 + 2513/19. Let d = -13/2 + r. Suppose -4*i = -6*i. Are d and i equal?
False
Let z be (-3)/(-2)*-1*-10. Suppose -b - z = -2*l, 0 = 4*l - b - 26 - 3. Let o be l/(-35) + 0/(-2). Is 1 bigger than o?
True
Let n = 1.3 - -0.7. Let j = -0.85 - 0.15. Which is greater: j or n?
n
Suppose -2*t - 5*r - 3 = 0, r + 7 - 6 = 0. Which is greater: 4/29 or t?
t
Let j = 5 + -19. Let w = j + 13. Which is smaller: 0 or w?
w
Let o = 115.95 - 116. Is o equal to -9/5?
False
Let n = 19 + -29. Suppose 0 = 3*c, -44 = 4*a - 6*c + 5*c. Which is greater: a or n?
n
Suppose -2*h = -k + 62, 2*h - 6 = -0. Is 68 bigger than k?
False
Let d(b) = b - 4. Let c = -2 - -6. Suppose -12 - 8 = -c*t. Let a be d(t). Which is greater: 2 or a?
2
Let b = -1.97 + -0.03. Is b greater than 0.3?
False
Let y = 734 + -5146/7. Which is bigger: 0 or y?
0
Let i be 4/(-24) + 2/(-6). Which is smaller: i or -8?
-8
Let r = 23 - 23.1. Let a be (-6)/5*(-1)/(-2). Which is smaller: a or r?
a
Let p(i) = -i - 7. Let c be p(-5). Let r(z) = -2*z - 2. Let u be r(1). Is c < u?
False
Let v be (-2 - 0)*1555/90. Let p = 35 + v. Is -1 smaller than p?
True
Let f(t) = 34*t + 3. Let i be f(-2). Let o = i + 453/7. Which is smaller: 0 or o?
o
Let y = -6 + -1. Let a = y + 6.9. Which is bigger: a or 1?
1
Let c = -21 - -21. Are c and 0 unequal?
False
Let a = -0.2 + 0.3. Let j = -211.1 + 211. Which is smaller: j or a?
j
Let n = -243827/4659 + 2/1553. Let f = n + 53. Suppose 3 = -2*z + 5*z. Which is bigger: f or z?
z
Let a be ((-49)/28)/(3 + -7). Which is greater: -1 or a?
a
Let v be 3/24*12/69. Which is smaller: v or 0?
0
Let t = -0.08 + 0.38. Let m = 0.2 - t. Which is bigger: m or -7?
m
Suppose -100 = -3*c + 8*c. Let q be 1183/(-26)*(-3)/(-7). Let a = q - c. Which is greater: 0 or a?
a
Let h = 4 - 2. Let n = h + 0. Are n and 0.1 equal?
False
Let j = 18 + -17. Which is bigger: 2/7 or j?
j
Let s(c) = -c. Let g be (-7)/14 + 1/2. Let m be 3 + g - (-1 - -3). Let p be s(m). Is p <= 2/17?
True
Suppose 0 = 3*t - 15 - 3. Suppose h + 28 = -4*y, 0 = 3*h - 6 - t. Let x = -14 - y. Which is bigger: -7 or x?
x
Let t(m) = m**3 + 2*m**2 - 5*m - 4. Let i be t(-3). Let j(k) = -2*k + 2. Let s be j(4). Let h = -5 - s. Is i bigger than h?
True
Let g = -23 + 22. Let j be (-22)/21 - (-2)/(-7). Does g = j?
False
Let x = -6659/102 + 886/17. Let d = x + 40/3. Which is smaller: -1 or d?
-1
Let t(w) = w**3 - w**2. Let h = 4 - 2. Let p be t(h). Is 1 greater than p?
False
Let u be (1*6)/((-2)/(-45)). Let y be (-6)/15 + (-6)/u. Is -1/3 smaller than y?
False
Let l(g) = 2*g**2 + 6*g + 5. Let p be l(-3). Let b(u) = u**2 + 3*u - 1. Let y be b(-5). Suppose y*n = p*n + 4. Is n >= -0.1?
True
Let i = 0 - -0.5. Let a = -0.113 + 0.213. Which is bigger: i or a?
i
Let j = 2 - -4. Suppose -l = -j*l - 5. Is l at most 3/8?
True
Let y = 0.9 + -0.8. Which is greater: y or 0?
y
Let p(g) = -g**2 - 10*g - 20. Let m be p(-8). Which is smaller: m or -2?
m
Let g(r) = 3*r - 16. Let c be g(5). Let k be 2/6 + (-7)/12. Is c at least as big as k?
False
Suppose -5*r + 25 = -0*r. Let h(s) = s**3 - 3*s**2 - s - 2. Let o be h(3). Let z = o + r. Is z greater than or equal to -1/2?
True
Let t = 8 - 5. Let m be 1*(6/t - 1). Suppose 0 = 5*g + 2 + 3. Is m not equal to g?
True
Let n(d) = d**2 - d. Let z be n(4). Are z and 10 unequal?
True
Let h(p) = 0*p + p - 5 + 4 - 4*p. Let y be h(1). Let t(b) = -b**3 - 4*b**2 + b + 3. Let s be t(y). Which is bigger: s or -1/2?
-1/2
Let n = 2/37 + 29/148. Let u(w) be the first derivative of -w**2/2 - 2*w + 2. Let s be u(-3). Which is greater: s or n?
s
Suppose -4*c + 9 + 11 = 0. Which is smaller: 15/4 or c?
15/4
Let a be 108/(-44) + -3*(2 + -3). Which is smaller: 1 or a?
a
Suppose 2*s - 8*s - 54 = 0. Is -11 greater than or equal to s?
False
Suppose 0*d + 24 = -3*d. Let n = d - -6. Let k = -105 + 417/4. Which is greater: k or n?
k
Let h = -0.2 + 1.2. Let f = -2 + h. Let i(y) = y**3 - y. Let x be i(1). Is x greater than or equal to f?
True
Let s = -57 - -59. Let h = -11/9 - -67/18. Is s > h?
False
Let a(r) = r**2 + 4*r + 5. Let b be a(-4). Suppose 0 = -i - 4*u + u, 5*i + b*u = 0. Let x = 2133/13 - 164. Which is smaller: x or i?
i
Suppose -4*u - x = -2*u - 10, -25 = -3*u + x. Let k(z) = z**3 - 8*z**2 + 8*z - 6. Let l be k(u). Are l and 1 nonequal?
False
Let f be 1*-2 - (-7 + -2 + 1). Is f equal to 6?
True
Let c(u) = -u**2 + 7*u + 17. Let v be c(9). Let f be 24/(-45) - 4/6. Which is smaller: v or f?
f
Suppose f - y = 244, -2*y + y = -4*f + 961. Let x be (15051/126)/((-1)/(-2)). Let i = x - f. Which is greater: i or 1?
1
Suppose g + 2*u = 3*u, 5*u - 24 = -g. Let f = 6 - g. Suppose z = f*z. Does z = 2/11?
False
Let v = -6.05 - 0.05. Let z = v - -6. Which is greater: -3 or z?
z
Suppose -5*l = j - 0*l + 29, j - 21 = 5*l. Suppose -4*u - 4*k - 56 = 0, 2*u + 3 + 19 = -4*k. Let y = u + 12. Which is bigger: y or j?
j
Suppose d + d + 22 = 0. Which is smaller: d or -9?
d
Suppose -4*z + 22 = -6. Let k be z/((-28)/(-16)) - 5. Is -0.13 smaller than k?
False
Suppose 9*q + 22 = 11*q. Let j = -11 + q. Which is bigger: j or -6/7?
j
Let f be (-2)/16 - 1/(-2). Let i(m) be the third derivative of -m**5/60 + m**4/24 + m**3/3 + 7*m**2. Let v be i(2). Which is smaller: f or v?
v
Suppose 15 - 37 = -2*i. Let a = i - 5. Which is smaller: 3 or a?
3
Let u = -7 - -11. Suppose d - 2*x - u = -x, -d - 3*x = 12. Which is greater: -2/7 or d?
d
Let l = 68 + -73. Let t = -4 - -1. Is t smaller than l?
False
Suppose 0 = 38*b - 27*b + 1716. Which is greater: b or -155?
-155
Let i = -10 - 5. Let w = i + 15. Suppose 1 + 3 = 2*b. Is w at most as big as b?
True
Suppose -52 + 52 = 4*o. Which is bigger: o or -1/101?
o
Let p(r) = r + 3. Let m be p(-6). Suppose -4 = -0*w - 2*w. Let z be m + w - (2 - -1). Which is bigger: -3 or z?
-3
Let a = 4 + -4. Let p = -0.1 - a. Is 2/17 at most as big as p?
False
Let p = -12/7 + 10/7. Suppose 7 = 3*w + 19. Let t be (w/10)/(2/(-5)). Is t less than or equal to p?
False
Let l = 0.7 - 0.8. Let v = l + 0. Let d = -2 + 1. Which is smaller: v or d?
d
Let r = -0.02 + 0.12. Let q = -0.2 + r. Let j = 0.8 + -1. Which is smaller: q or j?
j
Let w = 2 + -2.1. Is w smaller than -17?
False
Let h be (1/(-2))/(4/864*-2). Which is smaller: 53 or h?
53
Suppose -6*f = -f - 5. Suppose 2*u - 4*m - f - 3 = 0, -5*u = -2*m - 2. Is -6/7 at least as big as u?
False
Let v be 34/8 + 3/(-12). Suppose -5*o + o = -v. Let r be ((-14)/8 - -2) + 0. Is r smaller than o?
True
Let b = -128/5 + 26. Let g(t) be the first derivative of t**4/4 + t**2/2 - 1. Let d be g(0). Are b and d equal?
False
Let n(g) = g**2 - 7*g + 7. Let d be n(6). Do d and 3/10 have different values?
True
Let u be 60/6*1/1. Let h = u + -10. Which is greater: h or -1?
h
Let w = 0.17 - 0.07. Which is smaller: -1/17 or w?
-1/17
Let s = -0.014 + -0.186. Is -0.1 < s?
False
Let c be ((-7)/(-2) - 3)*(2 + 0). Let w be (-48)/(-195) + 2/(-5). Is c > w?
True
Let d(h) = -h**3 - h**2 - h - 15. Let c be d(0). Let t = c - -28. Is 13 >= t?
True
Let f = 532/9 - 59. Which is greater: 2/7 or f?
2/7
Let d be (-1 + (0 - 0))/1. Suppose 0 = -8*r + 3*r. Suppose r = -4*h - 3*a + 4*a + 5, -a = h + 5. Is h at least d?
True
Let b be (8 + -9)*(-2)/(-4). Is -10 at most b?
True
Let d be (-2)/3 - 14/6. Let v = d - 4. Let a = -11 - v. Is -4 greater than a?
False
Suppose 3 = -3*c - 6, -2*z + 4*c = -10. Suppose 4 = -3*r - 2. Is z less than r?
False
Let v = 3 + -4. Let u(l) = -l**3 + 4*l**2 + 3*l + 1. Let d be u(5). Let a be (d/(-6))/(1/(-2)). Are a and v equal?
False
Suppose -2*c = -5*v + 25, -3 = -5*v + 22. Suppose 2*h + 8 - 40 = 0. Suppose 2*m - 5*j = -22, -4*j + h + 2 = -2*m. Which is smaller: m or c?
m
Let p be (2/2)/(4 + -3). Which is greater: p or 1/14?
p
Let h be ((-22)/(-16) - (-12)/(-4)) + 2. Which is greater: 0.5 or h?
0.5
Let k be 8/44 - 45/(-55). Let m = -119 - -1427/12. Is k > m?
True
Let n(z) = -10*z**3 + 2*z**2 - 1. Let x be n(1). Let q be (-4)/(2/(-6)*-2). Let m = q - x. Is 2 at least as big as m?
False
Suppose 0 = 12*i - 15*i + 9. Suppose -5*f + 22 = 2*m, -2*f + 5 = i*m - 6. Which is