 bigger: 23 or y?
y
Let m = 29 - 9. Suppose 2*p - m = -2*p. Which is bigger: p or 6?
6
Let t(m) = m**3 + 3*m**2 - 6*m - 3. Let x be t(-4). Is 5 at most as big as x?
True
Let r = 0 - 0. Is r greater than or equal to -1/8?
True
Let c = 34 - 34.57. Let i = c - -5.67. Let y = 5 - i. Are y and -1 nonequal?
True
Let g = -1759 + 15851/9. Which is greater: g or 3?
3
Let d(s) = -s**3 + 13*s**2 + 14*s - 2. Let l be d(14). Which is greater: -13/8 or l?
-13/8
Let q = 24 + 10. Let w be (-2)/(-8) - q/8. Suppose -n + 3*d - 13 = 0, n - d + 19 = -3*n. Is w < n?
False
Let p = -16 + 8. Let c = p + 9. Let w = c + 7. Is 2/7 greater than w?
False
Let m(i) = -7*i**2 - 1. Let p be m(-1). Let o = p - -3. Is -5 greater than or equal to o?
True
Suppose 0*i - 3*i = 0. Let v(u) = u. Let n be v(0). Is i at least as big as n?
True
Let k = -3.03 - -3. Let l = k - 1.97. Let t be -1 - (-2 - -1) - 0. Which is greater: t or l?
t
Let i be (-1)/((16/4)/(-12)). Let j = i - 1. Let c(k) = -k**3 + 5*k**2 + 7*k - 6. Let u be c(6). Which is bigger: j or u?
j
Let u be 135/(-20) + 4 + 3. Let v = -2 - 3. Which is smaller: u or v?
v
Suppose -4*b = -2*h - 26, 0*h - 26 = 2*h + 4*b. Suppose -3*r - 39 = -2*m + 4, 5*m = 4*r + 62. Is h <= r?
True
Let h = -2.3 - -0.8. Let d = -0.5 - h. Let f = d + -1.2. Which is greater: f or 2/3?
2/3
Suppose -4*l + 2*b = -16, -3*l - 4*b - 10 = -0*l. Suppose 0 = -l*s - 3*s. Which is smaller: -1/3 or s?
-1/3
Suppose -5*w + 3*d - 9 = 0, 0*d - 9 = w - 3*d. Is w greater than 1/45?
False
Let h = 15 + -15. Let l(m) = -3*m + 5. Let k be l(-4). Suppose -2*u - 5*x = 15, 3*u + 5*x + k - 2 = 0. Is h at least as big as u?
True
Let u = 0.5 - 0.4. Let o be 0 - -4*(-15)/(-3). Let m be 4/o*10/(-8). Is m smaller than u?
True
Let j be (4 + -5)/((-2)/4). Let u be -2 + 6 + 1 - j. Which is bigger: u or 4?
4
Let b be (-66)/(-15)*(-10)/(-8). Which is greater: b or 5?
b
Let p = 37 - 36.9. Let g = 2.8 - 3. Let l = 0 - g. Is p at most l?
True
Let j = 3 + -43. Do j and -41 have different values?
True
Let y = 13.1 + -15. Let g = -2 - y. Let q = 0 + 0.1. Which is smaller: q or g?
g
Let d = -2.4 + 15.4. Let u = -13 + d. Are 5 and u non-equal?
True
Let a = -2/231 + -1/66. Is -1 at least a?
False
Let n = -1 + 1. Let a be 4 + (-68)/(-172)*-10. Which is greater: a or n?
a
Let s = 0.2 - 5.2. Let t = -6 - s. Which is bigger: t or 0?
0
Let t = -15 - -19. Is 4 != t?
False
Let m(i) = -i - 2. Let w(a) = -a + 1. Let f(p) = m(p) - 3*w(p). Let t be f(5). Suppose -3*k = -t*k. Is -1/15 at least k?
False
Let g = -0.01 - 0.05. Let b = g + 0.26. Which is bigger: b or -2?
b
Let c = 0.1 - 0.05. Let x = -0.1 + c. Let q = x - -2.05. Which is greater: 0 or q?
q
Let q = -4.8 + 5.1. Which is smaller: q or 2?
q
Let h(p) be the first derivative of 1/2*p**2 - 1/3*p**3 - 1 - p. Let o be h(0). Which is bigger: o or 0?
0
Let l = 17 + -223/13. Let d be -7*(-1)/((-21)/18). Let i = d - -6. Which is greater: i or l?
i
Suppose o = 2*y - o + 16, 2*y + 4*o = -4. Is y at most as big as 1/4?
True
Let b = 124943/3 + -41204. Let m = b - 440. Let h = m - 3. Is 2 less than h?
False
Suppose -5*b - 4*s - 12 = -53, -5*b + 5*s + 5 = 0. Let j be ((-16)/21)/(b/15). Let u = j + 41/21. Does u = 1?
False
Let b(o) = o**3 + 4 + 9*o - 9*o**2 + 6 + 4*o**2 + 14*o**2. Let y be b(-8). Which is bigger: y or 1?
y
Let s = -3.7 - -4. Are -1/3 and s nonequal?
True
Let u be 9 - (3 - 3/(-4 - -7)). Is 11/2 at most u?
True
Suppose -2*s = -5*x + 13, -s + 3*x - 7 = s. Does s = 1/111?
False
Let c be (0 - 2)*(-9)/18. Is c greater than or equal to 1?
True
Let v = -9 + 3. Let m = v + 4. Let z = -704 + 706. Which is bigger: m or z?
z
Let w = -22 + 17. Is w bigger than -7?
True
Let n = -4 + 2. Let w = -91/2 + 45. Is n >= w?
False
Suppose 0*c = -c + n - 121, -3*c = 4*n + 335. Let m be (c/42 - -3)*2. Which is greater: 1 or m?
1
Let q = -93 - -89. Let m = 0.3 - 0.1. Let v = m + -0.4. Which is greater: v or q?
v
Let g = 1.3 - 1.5. Do g and -7 have the same value?
False
Let k = 2 + -3. Let s = 1/122 - 133/1342. Which is greater: s or k?
s
Let j be (-9)/(-6)*4/8. Which is greater: 0 or j?
j
Let z(m) = -m - 4. Let x be z(-5). Is x greater than -10/9?
True
Let r = 17 + -15. Are r and -2 equal?
False
Let u be (24/(-6))/(0 + -1). Suppose -2*h - u = -3*f + 9, 16 = 3*f + h. Let g be ((-4)/(-35))/(2/f). Is 0.1 less than g?
True
Let m = -1 - -3. Let r be (m/(-6))/((-6)/(-9)). Is -2/3 bigger than r?
False
Let x = -3 + -7. Let p = 13 + x. Which is smaller: -1/4 or p?
-1/4
Suppose 5*s = q + 12, 3*s - 2 - 4 = q. Suppose -4*m + q*i = 2*i - 7, -2*m = 3*i + 7. Let o = 1 - 1. Which is smaller: m or o?
o
Let p = 15 + -12. Suppose -20 = -4*m + 4*x, p*m = -0*x - 5*x - 17. Is m at least as big as 0?
True
Let d = 0 - 3. Let x = -3.1 - d. Suppose 5*m = -2*p - 35, 2*p + 2 = 3*m + 7. Is p greater than x?
False
Let f be (2/12)/((-5)/(-30)). Which is smaller: f or 6/11?
6/11
Suppose 4*a + 0*f + f = -3, -6 = -3*a + 2*f. Let q(z) = 2*z - 6. Let o be q(3). Is o smaller than a?
False
Let y = -113 - -449/4. Which is greater: y or -2?
y
Suppose -p = 2, 5*y - 4*p = -3 + 1. Let d be y/(-6) - 28/(-6). Is 5 != d?
False
Let f = 27 + -26. Is 2 bigger than f?
True
Let i = -116 - -60. Let x = -223/4 - i. Is -1 >= x?
False
Suppose -2*z + 8 = -10. Let i be (-2)/z - 7/9. Which is bigger: i or -4/13?
-4/13
Let n = 29 - 29.5. Which is greater: -4 or n?
n
Let v = -54 + 54. Suppose 0 = 4*c + 3*j - 7 - 9, -j + 5 = c. Is v at most as big as c?
True
Let w(l) = -l - 1. Let s(h) = 2*h + 15. Let k(m) = -s(m) - 3*w(m). Let f be k(11). Which is greater: f or 2/13?
2/13
Let f = -3 + 0. Let r be 4/1 + f - 6. Which is smaller: r or -6?
-6
Let q(f) = f**2 + 8*f - 6. Let u be q(-9). Suppose -3*j = 2*n - 20, -3*j + 3*n + 8 = 2*j. Is j less than u?
False
Let d = -144316/39 + 3700. Let c be (10/(-20))/((-26)/(-4)). Let f = d - c. Is f less than 1?
True
Let p be 12/(-108)*(-6 + -3). Which is smaller: p or -0.2?
-0.2
Let x be 26/(-3) - (-8)/12. Which is bigger: -48/7 or x?
-48/7
Let c be (-1 - 0) + (-2)/(-6). Suppose -5*j = -2*j. Suppose 0 = -j*u + 4*u. Which is smaller: u or c?
c
Let o be (-6 - -4) + (-18)/(-7). Suppose 5*g + 5*j + 5 - 30 = 0, -20 = 3*g - 4*j. Is o greater than or equal to g?
True
Suppose 21 = -5*i - 4. Let a(m) = m + 9. Let o be a(i). Let f = -7 + o. Is -2 != f?
True
Let i(s) = s**2 + 9*s + 9. Let h be ((-24)/30)/((-2)/(-20)). Let g be i(h). Is g equal to 2/17?
False
Suppose -7*y - 2 = 3*m - 5*y, -2*m = -5*y - 5. Let h be (0 - 9/(-4))/(-3). Is h at least m?
False
Let x(f) = -f. Suppose 6 = -4*d + 2. Let i be x(d). Is -1/12 >= i?
False
Let p = -4/87 + -154/435. Is p at most 0?
True
Suppose k = -k - 14. Let n be 2 - (-3)/9*k. Is n != -2?
True
Let d = 23/63 + -2/63. Suppose -2*l = -c - 5, 5*l + 0*l - 4*c - 14 = 0. Suppose 3*w - 22 = -l*w - 3*y, w = 2*y - 6. Is w less than or equal to d?
False
Suppose -2*l = 4*d - 20, 4*d + 4*l - 32 = -l. Suppose 4*o = -j - 2*j + 13, -d*j + 12 = 3*o. Let h be o + -3 - (2 - 0). Which is greater: h or -3?
-3
Let d = 0.6 + -0.8. Let f = 2 - 2. Which is smaller: f or d?
d
Let f(d) = -5*d - 21. Let s be f(-9). Let t = s + -12. Which is greater: 11 or t?
t
Let x(z) = z**2 - z. Let a be x(2). Let y be a/3 + 39/9. Let j(v) = v**3 - 4*v**2 - 4*v - 7. Let g be j(y). Is g smaller than -1/2?
True
Let l(h) be the second derivative of h**3/2 - 6*h**2 + h. Let k be l(5). Which is smaller: -1/4 or k?
-1/4
Let v(l) = -l**3 + 5*l**2 + l - 5. Let o be v(5). Suppose 2*i - 7 = 2*u + 3, -u = -4*i - 7. Let n be (-9)/(-12)*(-6)/u. Is o greater than or equal to n?
False
Suppose 5*r - 3*a + 5*a = 5, -2*a + 3 = 3*r. Which is bigger: 1/12 or r?
r
Let s(z) = -z**3 + 3*z**2 - 2*z - 1. Let i(n) = -n**3 - n. Let u(p) = 2*i(p) - s(p). Let c be u(-3). Which is bigger: -3/7 or c?
c
Let q = 235 + -334. Let n be 2 - (-814)/(-8) - 0. Let i = n - q. Which is smaller: -2 or i?
-2
Suppose -4 = -4*t + 3*q, -t - 4 = -5*t - 4*q. Let g be (3 - 9/3)/t. Does 0 = g?
True
Suppose -j - 24 = -3*g, -g + 4*j + 26 = g. Suppose 10*s + 3 = g*s. Is -1/2 greater than s?
True
Let u = -703/8 + 88. Do 1 and u have different values?
True
Let y = -270 + 811/3. Let z be (-2)/(((-56)/(-17))/(-1)). Let o = -6/7 + z. Is o less than or equal to y?
True
Let q = -3 + 6. Let j(m) = -m + 4. Let i be j(q). Which is smaller: i or 0?
0
Let g = 10 + -9. Let n 