?
True
Suppose 0 = -5*i - 2*f + 14, 0*f + 12 = 2*i + 4*f. Is i at least as big as 3?
False
Let o = 0.02 + 0.98. Let i = o + -0.9. Suppose -4 = 2*t - 2. Which is smaller: i or t?
t
Let l = 32 - 4. Suppose 3*p - 5 = l. Suppose -r - 3*r - p = -3*v, -5*r - 3*v - 7 = 0. Are -3 and r non-equal?
True
Let c = -40 - -24. Which is smaller: -18 or c?
-18
Let f = 136/9 + -10726/711. Is -1 greater than f?
False
Let w = -0.7 + -16.3. Let m = w + 18.4. Let z = -0.4 + m. Which is smaller: z or -1?
-1
Let h = -0.06 - -0.16. Which is smaller: h or -1/22?
-1/22
Let k(v) = v**3 - 4*v**2 + 2. Let m be k(4). Suppose -5*w = -0*w - 5*c - 50, 0 = m*c - 4. Let h be 9/w + (-1)/(-4). Does 2/9 = h?
False
Let i be 1*(-1)/((-3)/15). Suppose 4 = -3*d + i*d. Is d at least 1/2?
True
Let w(f) be the second derivative of -f**7/2520 - f**6/720 + f**5/40 - f**4/6 + 3*f. Let a(b) be the third derivative of w(b). Let h be a(-3). Is h > -2?
False
Let v = 24 - 13. Suppose 5*l - 2 - v = h, 0 = 2*h - 3*l - 9. Suppose -3*w = d - 1 + 4, 2*w = -4*d - h. Which is greater: 1 or w?
1
Let h = 9.86 + -10. Which is smaller: 2/7 or h?
h
Let b(x) = x**3 + 13*x**2 - 3*x - 28. Let s be b(-13). Is 11 greater than s?
False
Let k = 3 - -1. Let r be -1*(k + -2) - 2. Let d = -4 - r. Is 1/7 at most as big as d?
False
Let q(x) = -4*x - 8. Let c be q(-2). Which is bigger: c or -1/34?
c
Let o = -8 + 7.9. Let s = 0.8 + -1.1. Let h = o - s. Is 0.2 bigger than h?
False
Suppose 1 + 2 = 3*h. Suppose 4*i - 5 + h = 0. Are -2/9 and i nonequal?
True
Let z be -2 + 13/4 + -1. Suppose 0 = -0*o - 4*o. Which is bigger: z or o?
z
Suppose 4*y + 3 = 31. Let z = y - 6. Which is bigger: z or -3/7?
z
Let o(x) = -x**3 - 5*x**2 + 7*x + 8. Let p be o(-6). Suppose l - 24 = 3*m, l - 16 = p*m + 3*l. Is m at most as big as -8?
True
Let b be (-3)/(-2)*(-1)/(-3). Let v = -7.9 - -2.9. Are v and b non-equal?
True
Let g = -0.11 - 0.89. Is g at least 1?
False
Let y(n) be the third derivative of n**4/24 + 2*n**3/3 - n**2. Let l be y(-3). Let u = 1 - l. Which is bigger: u or -2/9?
u
Let i = -23 + 24. Are i and 51 equal?
False
Let h be 1/7 - (2 + -3). Let x be 3/(-4)*112/(-42). Which is greater: h or x?
x
Let n be 0/1 + (-198)/9. Let c be (9/n)/((-9)/(-12)). Which is bigger: c or -2?
c
Let b be 1/3*-5 - -1. Let m = 8 - 21. Let p = -12 - m. Are p and b equal?
False
Let o be 4 - (-2 + (-32)/(-5)). Let a(w) = -w - 1. Let u be a(-1). Suppose u = t - 0*t - 3*x + 9, -12 = -t - 4*x. Are t and o non-equal?
True
Suppose -2*m + 8 = -4. Let f be (8/(-6))/(4/m). Suppose 6*o + 10 = o. Are f and o equal?
True
Let i = -2/113 + -1239/226. Let s = 35/6 + i. Is s < 0?
False
Let x = 12 + -15. Let c be 1 + (-117)/30 - x. Which is greater: 1 or c?
1
Suppose 2*w = 3*s - 0 + 15, 3*w - 5*s - 25 = 0. Suppose w*k + k = -3*m - 2, -4*m - k = 2. Suppose -6*y + 3*y + 9 = m. Which is bigger: y or 2?
y
Suppose -3*o = o. Let g = o + 1. Let n be g + -1 - (7 - 11). Are 4 and n nonequal?
False
Suppose 7*x - 3*x = 1055584. Let z = x + -2900967/11. Let v = z + -172. Which is bigger: v or 1?
1
Suppose -m + 21 - 11 = 0. Is 9 smaller than m?
True
Suppose -w + 5 = -0*w + 5*b, 3*w - 15 = b. Let x = -4 + 8. Which is smaller: x or w?
x
Let f = 2 + 0. Let h be (f/(-6))/((-3)/36). Is 4 at least as big as h?
True
Let l be 1 - (2 + (-1 - 0)). Let x be (l - 0) + 2/(-9). Suppose -3*w = 4*o - w + 14, 2*o - 2*w - 8 = 0. Is o greater than x?
False
Let n = 5/76 - 6/19. Suppose b = -2*b. Suppose r = -3*z - b - 1, -4*z = 2*r - 2. Which is smaller: n or z?
z
Let s = -15 + 21. Let v = 7 - s. Which is smaller: v or -5/4?
-5/4
Let j be (-4)/8*(-4)/(-30). Let k = 1 + 0. Is k not equal to j?
True
Let z = -26799/20 + 2196663/1640. Let o = z + 6/41. Which is smaller: 0 or o?
o
Let g be (-5 - (-85)/15)*6. Which is greater: 8/3 or g?
g
Let u = 3 - 1. Let s(a) = 10 + a**u - 4*a**2 + a + a**3 + 10*a**2. Let k be s(-7). Which is greater: 2 or k?
k
Let q = -0.39 - 0.01. Let k be (-4)/(-21)*9/8. Let o = -5/7 + k. Is o greater than q?
False
Let l(d) = -2*d - 43. Let a be l(-17). Which is smaller: -3 or a?
a
Let m(q) = -3*q + 3. Let k be m(3). Let c be (-2)/(-6) + (-16)/k. Let j be 0/(-1) + 3/2. Which is bigger: j or c?
c
Let g(m) = -m + 6. Let z be g(7). Let a(k) = k**2 - k. Let v be a(1). Let d be -2 - (-2)/(-6)*v. Which is smaller: z or d?
d
Let j(x) = x**3 + x**2 - 2*x - 2. Let v(w) = -w**2 + w + 4. Let i be v(3). Let z be j(i). Which is greater: -9/5 or z?
-9/5
Let r = -997/3195 + 19/71. Which is bigger: r or 0?
0
Let h(x) be the second derivative of -x**4/12 + 7*x**3/6 + 9*x**2/2 + x. Let l be h(8). Let q = l + -1. Which is smaller: q or -3/7?
-3/7
Let z = 1 + 5. Let j(v) = v**2 - 7*v + 8. Let c be j(z). Suppose 5*n - c*n + 9 = 0. Is n not equal to -3?
False
Let j = 399/50 + -19/50. Is 7 > j?
False
Let i be 10/6*(-4 - -10). Is 8 smaller than i?
True
Let u be (-1)/(((-1)/(-1))/(-1 - -3)). Which is smaller: -1 or u?
u
Suppose t + 1 = 0, -5*a + 2*a = -5*t - 41. Suppose q = 3*q - a. Suppose -3*n = -0*n + q. Which is bigger: n or -0.2?
-0.2
Let f = -342 - -340.11. Let l = 2 + f. Which is smaller: 0 or l?
0
Let w be ((-72)/42 - -3) + 4/(-14). Suppose c - 8 + 0 = -5*i, 2*i - 2 = 0. Is c < w?
False
Let l = 4.3 - 4. Let y = l - 0.31. Let n = 0.21 + y. Which is smaller: n or -1?
-1
Let h = -12 - -12. Let z = 102/5 + -21. Which is greater: h or z?
h
Let n = 8 - 9. Let t = 0.23 + -1.13. Which is greater: n or t?
t
Let b be 93/198 - (-2)/(-6). Are 0 and b nonequal?
True
Let o(n) be the first derivative of -n**2 - 5. Let x be o(-3). Suppose -5 = r - x*r. Is -0.2 equal to r?
False
Let d = -86 - -173/2. Let b be (7 + -2)*(-4)/(-10). Which is smaller: b or d?
d
Let q be ((-376)/(-33))/((-10)/135). Let t = -154 - q. Let v = 2 + -1. Which is greater: t or v?
v
Let u(q) = 795*q - 2. Let c be u(-5). Let h be c/36 - (-2)/8. Let y = -110 - h. Is -1/3 at most as big as y?
True
Let s = 4 - 2. Let d(y) = -y**2 + 9*y + 24. Let j be d(11). Suppose -2 = k - j*k. Is k greater than or equal to s?
True
Let u(h) = h**3 + 4*h**2 + h - 3. Let r be u(-3). Suppose -r*j + 8 = j. Let m be 15/(-10)*j/(-3). Which is greater: m or -1?
m
Let d be (5/(-2) + 3)*0. Suppose 0 = 2*c - d*c + 14. Which is smaller: -8 or c?
-8
Let q(c) = -c**3 - 5*c**2 - c + 4. Let l be (8/12)/(4/(-18)). Let n be q(l). Is -12 greater than or equal to n?
False
Suppose -p - 2*p - 6 = 0, 5*l + 184 = -2*p. Are -36 and l nonequal?
False
Let j = 13417/3007 + -138/31. Which is smaller: -1 or j?
-1
Let u = -423 - -5502/13. Let x = 1/52 + u. Are x and 5 unequal?
True
Let r = 1/2 - 3/4. Let s = -10.38 - -10. Let f = s - -0.08. Is f at most r?
True
Let j = 2.1 - 0.8. Let d = 1.37 - j. Which is smaller: 2 or d?
d
Let o be (-1 - 0 - 3) + 0. Is 3/4 > o?
True
Let p be 6/4*20/15. Suppose 4*y - 10 = p. Which is bigger: 2 or y?
y
Let h = -33087/64 + 517. Is 1 greater than h?
True
Let p be (-21)/9 - 2/3. Let n be (-2 - -2) + (2 - -2). Suppose -29 = 2*s - 0*k - 5*k, -s = -n*k + 22. Which is greater: s or p?
s
Let n = 73/2 + -37. Are 0 and n nonequal?
True
Let g = 142/405 + 4/81. Which is smaller: -105 or g?
-105
Let z(k) = 2*k + 9. Let b be z(-8). Let f be 1*-2*(-1)/b. Which is bigger: f or -9?
f
Let j = 396/5 - 63766/805. Is 1 not equal to j?
True
Let u(l) = -l**3 + 4*l**2 + 4*l + 6. Let f be u(5). Let i be (0 + 7 + f)/2. Let v = i - 4. Is v at least as big as -2?
True
Let k(z) be the first derivative of z**2/2 - 9*z + 1. Let l be k(7). Is -2 != l?
False
Let k be 4 + (10/25 - (-992)/(-230)). Which is smaller: k or -2/11?
-2/11
Suppose 0*a = -5*a. Let x = 86 - 606/7. Which is smaller: x or a?
x
Let b(t) = -t**2 + 9*t + 2. Let x be b(8). Let u be 2/x*(0 - -2). Is u bigger than 1?
False
Let h = 0.5 + -0.6. Let v = -1 + 0.8. Which is smaller: v or h?
v
Let q = -6 + 6. Suppose 6 = -2*b - 4*h, -4*b - 2 = 2*h + 4. Which is bigger: q or b?
q
Let x = 0.8 - -0.8. Let l = x - 1.4. Let d = 1 + -1.1. Is l less than d?
False
Let f = -2816 - -312578/111. Which is smaller: 1 or f?
f
Let m = 22 + -10. Is m bigger than 11?
True
Let z be (80/(-15))/8*96. Is z less than or equal to -64?
True
Let x(g) = -g**3 - g**2 + 2*g + 1. Let s be x(-2). Let c = -4/33 - 146/429. Which is smaller: c or s?
c
Suppose -3 = -6*w - 9. Which is smaller: w or -1/7?
w
Let j be -5 + 13/((-26)/(-56)). Is j at least as big as 24?
Fals