 greater: 1 or w?
1
Let h(s) = -s**3 + 21*s**2 + 45*s + 27. Let g be h(23). Let w(a) = 2*a**2 + 0*a**3 - a + 3*a**3 + 0*a. Let m be w(1). Is m equal to g?
True
Let k = -8.7 - -4.5. Is -0.1 smaller than k?
False
Let i be 4/6*(-1)/3. Let v(c) = -c**2 - 4*c + 2. Let g be v(-4). Suppose 0 = -3*m - g*n + 2, -n - 2*n = -3. Is m at least as big as i?
True
Let z = -0.3 - -0.2. Let q = -0.4 - -0.5. Which is smaller: q or z?
z
Let u = -107 - -108. Which is smaller: u or -37?
-37
Let g = 11 + -17. Let x be 21 + g + (4 - 1). Which is greater: 17 or x?
x
Let g = 10 + -10. Which is bigger: g or 6?
6
Let o(f) = 10*f - 1. Let n be o(-1). Is 1 > n?
True
Let q = 0.73 - 0.33. Let o(m) = m**3 - 3*m**2 - 4*m. Let i be o(4). Which is greater: i or q?
q
Suppose c + 2*h = 4 + 4, -h + 4 = 0. Let g(f) = f + 4. Let m be g(-3). Let j be m/((-12)/(-9))*1. Which is bigger: j or c?
j
Let r be 2/(-6) - (-8)/(-3). Let w(g) = -g**3 - 4*g**2 - 2*g + 1. Let l be w(-2). Let h be (5 + -14)*(-1)/l. Is h at least as big as r?
True
Let v = -0.1 + -17.9. Let s = v + 17.8. Which is bigger: s or 0?
0
Let m be (4/(-6))/(14/(-21)). Let y = m - -4. Is 6 greater than or equal to y?
True
Let p = 2032/171 - 106/9. Let l = -1.9 - 0.1. Is l greater than p?
False
Let l be (-3)/(-6) + -2 + 2. Let g(a) = a - 12. Let o be g(12). Which is smaller: l or o?
o
Let u = -50 - -49. Are -2/5 and u non-equal?
True
Suppose 0 = 2*t - 3*t + 1. Let z be t*2 + -7 + 0. Do z and -5 have the same value?
True
Suppose 5*o + 2*s = 88, 0 = 4*o - s - 64 + 4. Are o and 16 nonequal?
False
Let i = 29/4 - 23/4. Let f = 6 + -3. Which is bigger: i or f?
f
Let r(a) = -3*a**2 - 5*a + 2*a**3 + 2*a - a**3 - 5. Let m be r(4). Let f = 0.09 - -0.91. Is m greater than or equal to f?
False
Let a = -1.7 + 1.9. Let c(o) = o - 6. Let g be c(5). Which is smaller: a or g?
g
Let v be (-1)/(2 + (-3)/1). Let q be (-1)/2 + 3/2. Suppose 3*p - 7 + q = 0. Do p and v have the same value?
False
Let m = -18 - -18.1. Is 1/5 at most m?
False
Let k = -10 - 62. Is -71 at least as big as k?
True
Let a be (-2*1/3)/((-16)/(-6)). Do 21/4 and a have the same value?
False
Suppose -2*g - 10 = 0, 3*i - 4 + 15 = 5*g. Let t = -7 - i. Suppose x + 4 = 2*j + 3*x, 0 = -3*j - t*x + 12. Is j greater than -1/3?
False
Let k = -19 + 19. Which is greater: -2 or k?
k
Let s be 2/5*1/(-2). Let m = -0.01 - -0.41. Let v = 0.4 - m. Is v >= s?
True
Suppose -2*o - 6*f + f = -18, 6 = o + f. Suppose -m = o*m. Let q = m - -4. Are 3 and q non-equal?
True
Let v(h) = h**2 + 3*h + 1. Let n be v(0). Are n and 1/26 unequal?
True
Let m = -178/5 + 36. Let z = 1/10 + m. Which is smaller: 1 or z?
z
Suppose 0 = -2*n - 4*z + 18, 13 = 5*n - 2*z + 4. Suppose 0*h + p + 5 = -h, n*h - 2*p - 10 = 0. Which is smaller: 6 or h?
h
Let n = -2.43 - -0.43. Is n less than or equal to 3/5?
True
Let q be 1/1 - (-1 - -1). Let t = -5 + q. Let u(l) = -l**3 - 5*l**2 + l + 1. Let b be u(-5). Is t at most b?
True
Suppose 2*h - 6*h = 8. Let a be h*(-1)/(-7)*-1. Which is bigger: a or 0.4?
0.4
Suppose -4*d - 22 = 22. Do d and -12 have the same value?
False
Let q(o) = o**2 + 3*o. Let s be q(-5). Let u be 1 + (-24)/s + 2. Let b = -14 + 14. Which is bigger: b or u?
u
Let f = -1192/145 - -47/29. Is -7 greater than f?
False
Suppose -5*n - 4*s = s - 170, 4*n + 5*s - 138 = 0. Suppose n = 5*c - c. Let a = c - 9. Is -1 greater than or equal to a?
True
Let s = 2/1027 - -24634/7189. Which is smaller: s or 2?
2
Let m be (-4)/12*3 - -1. Which is smaller: m or -3/10?
-3/10
Let p be (-3)/11 - (-2)/6. Is 1 at most as big as p?
False
Let q = 451/345 - -3/115. Let c = -2 + 2.2. Let k = -0.3 + c. Is q bigger than k?
True
Let t be 2*(2 + 0 - 1). Let g be (2 + -3 - -1)/t. Is g at most -3/2?
False
Let l = 11 + -79/7. Let u(v) = v**2 - 3*v + 1. Let c be u(1). Which is greater: l or c?
l
Suppose 2*s - 5 = -3*s. Let t be 44/23 + 0 + -2. Is s less than t?
False
Let m be 112/2 + (-3)/(-3). Suppose 0 = -5*w + m + 18. Let s be 4/10 + (-12)/w. Do s and -1 have the same value?
False
Let a be -12 - -2 - (-1 + 1). Let k be (-34)/(-10) - (-4)/a. Suppose 5*t = 2*t + k. Is 3 bigger than t?
True
Let j be -1 + (1*-2 - -2). Suppose -15*p = -20*p - 10, 0 = 2*v - 2*p. Which is greater: v or j?
j
Suppose 0*p + 5 = -5*p, -28 = z + 4*p. Let d = -71/3 - z. Let x = -1 - -1. Do d and x have different values?
True
Let t be 11/20 - 1/(-4). Let f be ((-3 + 3)/(-3))/2. Suppose -3*z = -f*z. Is t smaller than z?
False
Let h = -1.9 + 3.5. Let g = h - 0.6. Do g and 0 have different values?
True
Suppose -5 = 5*a - 15. Suppose -2*c - 16 = -a*w, 0*w - 4*c = -w + 17. Is 5 at most as big as w?
True
Let x(a) = -a + 1. Let s be 93/13 - 2/13. Let i be x(s). Are -8 and i nonequal?
True
Let j(f) be the first derivative of f**4/4 - 5*f**3/3 - 3*f**2 - 2*f - 1. Let u be j(6). Which is smaller: 0 or u?
u
Suppose -2*o - 2*m = -o - 5, -5*m + 7 = -3*o. Let g = 6 + -3. Let t = 2.9 - g. Which is smaller: t or o?
t
Let s(x) = x + 8. Let i be s(-7). Let d = -0.03 + 3.03. Let c = 2.6 - d. Which is smaller: i or c?
c
Let d = 6/23 - -263/138. Is 1 <= d?
True
Let c = 0.024 + -6.224. Let k = -6 - c. Is k at least as big as -0.2?
True
Suppose 0 = o - 5*o - 2*h, o - 7 = 3*h. Suppose -o = 2*f - 3*f. Suppose -6*j + 4*j = 0. Which is smaller: f or j?
j
Suppose 0 = -4*w - 4*u + 8, -5*w + 10 = 2*u + 3. Let l be 29/(-2) + w/2. Let i be l/10 - 10/(-25). Which is bigger: -1/8 or i?
-1/8
Let w = 3 - 5. Let x = w + 2.2. Let i = -1.1 + 1. Are i and x nonequal?
True
Suppose 3*w = -2 - 4. Which is smaller: -2/21 or w?
w
Let z be 2/(-6) - 238/(-6). Let y = 39 - z. Is 0 not equal to y?
True
Suppose -5*n - 4*h = 4 + 17, 5*h = -20. Let w = 1 - 3/4. Which is smaller: n or w?
n
Let d be (-15)/(-21) + (-4)/(-14). Let u be (0 - -2) + (d - 2). Let p be 2/3 + (0 - 14/63). Is p at most as big as u?
True
Let y(s) = s**3 + 10*s**2 + 8*s - 6. Let z be y(-9). Which is bigger: 13/4 or z?
13/4
Let r(o) = 2*o - 3. Let s be r(3). Which is greater: 4 or s?
4
Let h = 1.4 + -0.2. Let l = -2 - -1. Let b = l + h. Which is greater: 2/3 or b?
2/3
Let g be 4*(1 + 3)/(-8). Let x be (-2)/((0 + 86)/g). Do 0 and x have different values?
True
Let k = 33/2 + -17. Which is smaller: k or -1?
-1
Let t = -0.12 - 4.88. Let f = -4.6 - t. Let s = -13 + 13.2. Is f < s?
False
Suppose g = -6 - 8. Which is bigger: g or -15?
g
Let k be 1/(-4) + 7/(-4). Let g = -9 + 14. Let l = -5 + g. Is l equal to k?
False
Let f = 1.5 + -2. Let k = -0.4 - f. Let b = 10 - 6. Which is bigger: b or k?
b
Suppose 4 - 7 = 3*k. Which is smaller: -5/3 or k?
-5/3
Let i be 684/132 + (-2)/11. Suppose -i - 1 = -3*j. Let f be (-6)/(-4)*2/6. Is f smaller than j?
True
Let x(z) = 2*z**2 - 3*z**2 - 5 + 11*z - 4*z. Let v be x(6). Is 2 greater than v?
True
Suppose 7*x - 15 = 2*x. Let n = x - 0. Do 5/2 and n have the same value?
False
Let o = -82/77 - -7/11. Let j = -3 + 3.1. Which is smaller: o or j?
o
Let j be (-1 + 2)*2 - 1. Let p be (1/(j/2))/1. Let c be (-7)/(-9) + p/(-6). Is c greater than 1?
False
Suppose -2*s + 356 = -504. Let v = -913967 - -15530127/17. Let f = s + v. Which is greater: 1 or f?
1
Let q be (-7)/(-6) + 21/(-14). Let d = -7 + 4. Is d less than or equal to q?
True
Let j be -2*1*(-60)/8. Suppose 3*r + j = 2*g - 7*g, 5*g + 15 = 0. Do -4 and r have the same value?
False
Suppose 2*l - 2*u - 90 = -4*u, 4*l - 5*u - 135 = 0. Suppose 4*f + l = 16. Which is smaller: f or 0?
f
Suppose -l + v + 12 = 0, -57 = -4*l - 0*v + v. Do l and 13 have different values?
True
Let m be 3/(-14) - (-3)/6. Let a(p) = p**2 + 2*p + 2. Let o be a(-2). Suppose g + o*s = -4, -4*g - 2 = 5*s + 8. Which is greater: m or g?
m
Suppose -6 - 2 = 2*l. Is l smaller than -1?
True
Suppose -3*h + 5*h = 4*o + 30, 0 = 2*o - 10. Is h bigger than 25?
False
Let z be ((-12)/32)/((-6)/4). Let k be 2 + -2 - (-1 - 1). Suppose 2 = k*j + 4. Which is smaller: j or z?
j
Let l be (-10)/(-70) - (-3)/(-7). Which is bigger: -1/4 or l?
-1/4
Let o(v) = -v. Let i(u) = -u**3 - 8*u**2 - 6*u + 4. Let z be i(-7). Let w be o(z). Which is bigger: 2 or w?
w
Suppose 6*j + 12 = 2*j. Let m = -2 - j. Let b be 13/(-21) - 1/(-3). Is b greater than or equal to m?
False
Suppose -5*t - 2*v = -0*v + 5, 5*t - 2*v = 15. Suppose -4*i - 19 = -3*z - 0*i, -5*z + 17 = -3*i. Let x be (-3)/(z/(4/(-6))). Is x bigger than t?
True
Let k(n) be the first deriva