 -4 or s?
-4
Let k = -22 + 27. Suppose 2*t + k = -1. Are -3 and t equal?
True
Let r = 5 - 5.04. Let h = 0.34 + r. Let d = h + -0.2. Which is smaller: d or 0?
0
Let d = 2 + -4. Let x be 268/168 + 3/d. Is x less than -1?
False
Let t(l) = l + 4. Let k be t(-3). Let a be (-24)/(-16) - 1/(-2). Suppose n - 1 = -2*q + 1, -a*n + 4 = q. Which is bigger: k or n?
n
Suppose -12 = -5*b + 5*z - z, 2*b + 3 = -z. Is b < -1/5?
False
Let m = 0 + -1.2. Is -0.1 != m?
True
Let l be (-22)/40 - (-1 + 20/16). Is l less than or equal to -1?
False
Suppose m + 4*m = -300. Let b be ((-4)/(-5))/((-8)/m). Is 6 greater than or equal to b?
True
Let n = -98 + 154. Let t = 335/6 - n. Which is greater: t or 1?
1
Let a = -362 + 367.98. Let r = a + -6. Let k = r - -5.02. Which is bigger: 1/2 or k?
k
Suppose -2*l = -2*r, 0*r - 3*r + 5*l - 8 = 0. Let z = r + -3. Is 1 at most z?
True
Let q = 1/107 - 217/321. Do 3/4 and q have the same value?
False
Suppose 26 = -3*i - 22. Let t be i/7 - (-4)/14. Is t less than -2?
False
Suppose 0 = -10*s + 33 - 13. Is s greater than 8/3?
False
Let r = 1 + -5. Let l = -7 - -12. Suppose -l*k + k = 0. Is r smaller than k?
True
Let z = 3/16 + -7/16. Which is smaller: 4 or z?
z
Suppose 0 = 3*v - 3 + 6. Which is greater: v or 3/8?
3/8
Let b be (1 - -1 - 1) + 3. Let z = 7 - 2. Which is bigger: z or b?
z
Let n = 377/4 + -94. Let j(p) = p**2 + p. Let r be j(-1). Which is smaller: n or r?
r
Suppose 0 = -0*m + 2*m, -x + 2*m + 1 = 0. Which is greater: -2/63 or x?
x
Let j = -43 + 56. Is j less than or equal to 13?
True
Let d = -230/3 - -78. Is d at most 3/7?
False
Let d = -0.26 + -1.04. Let s = -0.3 - d. Is s less than or equal to -0.1?
False
Suppose -4*i = -i. Let j = -8 + i. Let c be -2 + 0 - j/5. Is c > -0.1?
False
Let k be 36 + (0 - (0 - 0)). Suppose 3*n = 7*n - k. Suppose n - 1 = -4*x. Which is smaller: x or -1/3?
x
Let l = -3/44 - -71/396. Are 5 and l non-equal?
True
Let z = -4712 + 1173286/249. Which is bigger: -1 or z?
z
Let m be -2*422/(-4)*1. Let d = -1901/9 + m. Which is smaller: 1 or d?
d
Suppose 3*i + 41 = 2*w - 0*i, -2*w - 4*i = -76. Suppose w = -11*f + 9*f. Is 0.2 at least as big as f?
True
Let l = -15 + 33. Suppose 2*v - 2*a - l = 6*v, -3*v - 4*a - 21 = 0. Which is smaller: v or 0.2?
v
Let v(d) = 2*d - 4. Let a be (-22)/(-6) - (-6)/(-9). Let j be v(a). Let s = 8 + -4. Which is smaller: s or j?
j
Let p = -4.06 - -4. Let s = -0.04 + p. Is s greater than 2?
False
Let y = -0.1 + 0.1. Let g = 0.5 + -0.75. Let d = g - 0.15. Which is smaller: y or d?
d
Let f = 0 - -0.5. Let o = f + -4.5. Let p = o - -4.2. Are p and 1/2 non-equal?
True
Let d = 217/13 + 2334/65. Let x = d + -53. Does 1 = x?
False
Let v be 130/14 - 8/28. Let j(u) = -u**2 + 10*u - 2. Let b be j(v). Which is greater: 0 or b?
b
Suppose -4*o = -7 - 5. Suppose 5*p + 4*j + 20 = 3*p, -o = 3*p - 3*j. Is p > -3?
False
Let g be 0 + 4/((-224)/(-2)). Let a = 53/84 + g. Let q = 6 - 4. Is a bigger than q?
False
Let p = 125/1547 - 2/91. Let l = p + -19/34. Which is smaller: -0.3 or l?
l
Let s(v) = 3*v + 14. Let o be s(-5). Which is smaller: o or 0?
o
Let f be (-6)/(-2) - (-32 + 7). Let y be ((-1)/(-8))/(21/f). Which is smaller: y or -1?
-1
Let w = -34 + 34.2. Which is greater: -0.2 or w?
w
Let y(p) = p**3 + 3*p**2 - 2*p + 6. Let i be y(0). Is 3 equal to i?
False
Let r(k) = -4*k. Let d be r(-2). Suppose 0 = -4*h + 2*i - d, 2*h - 4*i = -6 - 4. Let o be 1 + -2*(-1)/2. Is o smaller than h?
False
Let q = 1.93 + -2. Let n = 2.07 + q. Does 1/3 = n?
False
Suppose 6*l = 11*l + 25. Let t be 2/(24/15 - 2). Is l greater than t?
False
Let h be 8*(21/6 + 0). Let o be 24/14 - (-8)/h. Suppose -o*v + 2*l + 2 = 0, -5*v = 2*l + 35 - 12. Which is bigger: -2 or v?
-2
Let h(v) be the second derivative of -v**4/12 - 11*v**3/6 - 7*v**2/2 - 2*v. Let b be h(-10). Let i be (b*2)/(2 + -3). Which is greater: -5 or i?
-5
Suppose -2*r + 1 = 5*y + r, 3*y + 9 = 3*r. Which is bigger: 1/73 or y?
1/73
Let o be 6/10 + 69/(-15). Which is greater: o or -6?
o
Let b be 33/2*6/9. Is 10 bigger than b?
False
Suppose 5*g = 3*p + 3, 0 + 4 = 4*g - 4*p. Let v be -1 - ((-51)/3 - g). Suppose -2*o - 2*o = -v. Which is bigger: 3 or o?
o
Let p = 40 + -53. Is p equal to -12?
False
Suppose 2*x + 0*x = 6. Let o be (-9)/(-12) + 2 - x. Which is smaller: o or 0?
o
Let k(r) be the first derivative of -r**3/3 + 4*r**2 - 9*r - 3. Let s be k(7). Is -4/5 greater than s?
True
Suppose 4 = -3*p + 4*p. Let q = p + 2. Let b = q - 2. Which is greater: 0 or b?
b
Suppose -2 = -2*w - 10. Let x = -12 + 9. Which is greater: w or x?
x
Suppose 17*y - 184 = 13*y. Do 45 and y have the same value?
False
Let h(y) = y**2 - 2*y - 2. Let m be h(0). Which is greater: -7/5 or m?
-7/5
Let q be (-2)/3*6/(-2). Is 0 smaller than q?
True
Let t = 13 - 13. Which is smaller: t or 4/5?
t
Let g = 8 - 4. Suppose -1 = g*r - 5*r. Let z be ((-3 - -2) + 2)*1. Is r at least as big as z?
True
Let m = -126 + 204. Which is bigger: m or 79?
79
Let s be 4*5 + 10 + -8. Let j be s/77 - (0 + 0). Let h = 34 + -240/7. Is j at least h?
True
Let j(m) = m**3 - 3*m**2 - 3*m - 3. Let n = 15 - 6. Let u(b) = -b**3 + 10*b**2 - 9*b + 4. Let p be u(n). Let y be j(p). Is -1/12 >= y?
False
Let b = -3.6 + 5. Let a = 0.1 + -0.5. Let z = b + a. Is 1 less than or equal to z?
True
Let j = -11 + 6. Suppose -4*f - 25 = -5. Let a = j - f. Is -1/3 greater than or equal to a?
False
Suppose -x - 2 = 4*w, -7*w + 2*w + 4*x = 13. Which is bigger: w or -10/7?
w
Let h be (1 - 12/8)/(1/13). Which is smaller: -7 or h?
-7
Let v(c) = -c + 12. Let m be v(23). Which is bigger: -7 or m?
-7
Suppose -6*l + 2*l - 8 = 0. Let y = l - -7. Suppose s - y*s + 20 = 0. Is 5 equal to s?
True
Suppose 4*t - 2*z - 11 - 5 = 0, -12 = -4*t + z. Let j be (-21)/117 + t/6. Does j = -1?
False
Let p(q) = q. Let r be p(1). Is r at least as big as -6/47?
True
Suppose -m + 30 = 3*c + c, -3*c + 45 = 2*m. Is 19 at least as big as m?
True
Let n be (-5 - -3)/(1*-1). Suppose -5*d + 3 = -n. Let o be (d + -2 - 2)/(-1). Is 2 < o?
True
Suppose 3*p + 45 = -0*p. Let j = p - -5. Let d = -19/2 - j. Which is bigger: 1 or d?
1
Let o = -402 - -394. Suppose 1 = -2*t - 17. Are t and o non-equal?
True
Let h = 8/3 - 7/3. Let n = 3.1 + -3. Which is bigger: n or h?
h
Let s = 5001/7021 - -2/1003. Let g = s + -4/35. Which is smaller: g or 2?
g
Let x = 0.19 + -0.59. Is x greater than or equal to -2/19?
False
Suppose -4*c - 4*r + 48 = 0, 0*r + 3*r = -4*c + 47. Suppose 5*z - 3*u = 12, 4*z + u = 2*u + c. Suppose 2*l = -z*l. Is -1/2 > l?
False
Let s = 247/4 + -62. Which is smaller: s or 2?
s
Suppose 0*m = -2*m - 4*a + 8, a - 1 = 0. Suppose 0 = -m*g - 0 + 4. Suppose -b = -g*j + 6 - 4, 2*b - 2*j = -4. Which is smaller: b or -3/5?
b
Let k be (0 - 0)/(2 + -4). Suppose -4*u + 4 = -2*q, -3*u + 5*u + 5*q = 26. Suppose 3*l - 2*b = b + 18, 0 = -2*l - u*b - 3. Which is bigger: k or l?
l
Let d be 24/35 - (-2)/(-5). Suppose 4*h - 17 = 3. Suppose 0 = 2*y + h*s + 8, y + 3*s + 0*s = -5. Which is smaller: d or y?
d
Let k be (-5)/(-15)*36/20. Which is smaller: k or 2?
k
Suppose h + 2 = 5. Let m(a) = -a + 1. Let d be m(h). Let k be (-4 - 44/(-12))/(1/3). Is d at most k?
True
Suppose 2*i = -0 - 4. Let y(s) = -s + 15. Let w be y(11). Suppose 2*u = 5*z - 4, 0*u - 8 = -4*z + w*u. Which is bigger: z or i?
z
Let w = 18/391 - -61297/1955. Let v = -31 + w. Is -2 smaller than v?
True
Let a be -19 - 4 - (2 - 5). Let r be (-25)/a + 1/4. Which is bigger: r or 2?
2
Let l(z) = 2*z**2 - z. Let t be l(-1). Which is smaller: 5 or t?
t
Let a = -8 - -8.3. Which is bigger: -2 or a?
a
Let u = 2 + -2.1. Let i = -0.1 - u. Let s = -6 - -8. Which is bigger: s or i?
s
Let f(m) = -m**2 + 2*m + 1. Let n be f(3). Let w be 13/4 + (-6 - -2). Are w and n equal?
False
Let r(l) = -l**2 + 7*l + 5. Let g be r(7). Suppose -3 - 7 = -3*n + 2*m, 0 = -g*n - m - 5. Is n < 1?
True
Let y(d) = 2*d**2 - 9 + 8 + d**3 + 2 + 2*d. Let o(z) = z**2 + z - 2. Let h be o(0). Let w be y(h). Is -3 greater than w?
False
Suppose 6*v + 33 = -93. Is -22 >= v?
False
Let y = 8 + -5. Let c = y - -3. Do 6 and c have the same value?
True
Let o = 2.895 + 0.105. Let i = 0.2 + -1.2. Let n = -1 - i. Is o smaller than n?
False
Let n = -4 + 3.97. Let y = n - -1.03. Is -1 at most as big as y?
True
Let l = -0.6 + 0.6. Let p = l + 2. Is p <= 0.1?
False
Suppose 0 = -3*z - 5*t + 20, -12 = -z