). Is f greater than or equal to 2?
True
Let t be 0/(1 - -2)*1. Let p be (-7)/(-21)*3*2. Suppose -4*i + 2*i = p. Is t bigger than i?
True
Let j = -1 + 1. Let f = 6 - 5.5. Let c = 0.4 - f. Which is bigger: j or c?
j
Suppose 475 = -4*o - 13. Let h be -3*4/o + 0. Let u = h - -153/305. Do 0 and u have the same value?
False
Suppose -5*g - 3*l + 17 = 0, -l + 0 = g - 5. Suppose -s + 0*m - 3*m = 3, -s + 3*m = -3. Which is smaller: g or s?
s
Let u = -0.09 - -0.14. Is u < 1/2?
True
Let h(c) = 4*c**2 + 2. Let n = 6 + -4. Let m be h(n). Let l be m/15*1 + -1. Which is bigger: 2 or l?
2
Let k = 22 - 21. Which is smaller: -2/55 or k?
-2/55
Let a = -52.9 + 53. Which is smaller: 3.3 or a?
a
Let a = 0.08 - -2.92. Let g = 0.4 + -5.4. Let s = a + g. Is -2/7 greater than or equal to s?
True
Let f = 124/195 + 2/65. Let j = 1008/5 + -201. Which is greater: f or j?
f
Let k = 69.9 + -73. Let x = k - 0.9. Is 1/4 greater than or equal to x?
True
Let j(v) be the first derivative of v**4/12 - 3*v**3/2 + 9*v**2/2 + 2*v - 1. Let o(k) be the first derivative of j(k). Let r be o(8). Is 2/3 != r?
True
Suppose -2*v = x - 5*v, -2*v + 1 = -x. Which is greater: x or -4?
x
Let z = -98 + 154. Let f be z/40*5/2. Is f equal to 3?
False
Let j be 2/(-6) - (-5)/(-3). Let g = -15 - -16. Does j = g?
False
Suppose -3*z + 0*z + 21 = 0. Suppose -l + 2*u = 7, -4*l - u = 3 + z. Let i be 0/1 - l/9. Which is smaller: -1 or i?
-1
Let i be -3 + (-2)/16*-34. Which is greater: 1 or i?
i
Let o(m) = m + 13. Let z be o(-9). Suppose 5*c + z = -21. Let j = 3 - 6. Which is smaller: j or c?
c
Let r = 0.12 - 0.42. Let i = r + 1.3. Is -2/13 greater than i?
False
Let j be ((-1)/8)/((-2)/(-4)). Let g = 3 - 2.8. Let c = 0.3 - g. Is j bigger than c?
False
Let o(u) = -u**2 - u + 3. Let j be o(0). Suppose 0 = 2*r - 5*l - 1, 0*r + 14 = j*r + 5*l. Let a be -2*(-1 - (-2)/4). Is a less than r?
True
Let z(h) = h**3 + 3*h**2 - 6*h - 4. Let o be z(-4). Let a be 114/27 - o/18. Suppose 5*d + 2*y + 17 = a*y, 5*d + 3*y + 12 = 0. Which is smaller: d or -5/3?
d
Let b = 290 + -3768/13. Let j = -4 + 3. Are b and j non-equal?
True
Suppose 9 + 11 = -5*s. Let w be 82/(-42) - s/14. Which is smaller: -3 or w?
-3
Suppose 0*k + 18 = 2*k. Let j(w) = -w**2 + 9*w. Let z be j(k). Let q = -3 + z. Is q less than -3?
False
Let f = -39.8 - -40. Is f less than 1.5?
True
Let y(a) = -7*a - 8. Let x(i) = -6*i - 7. Let b(g) = 6*x(g) - 5*y(g). Let v be b(0). Let p = -4 + 4. Which is smaller: p or v?
v
Let g be 4*2/8*-9. Is g >= -10?
True
Let b be (-5210)/8 + (-2)/(-8). Let v = 5867/9 + b. Which is bigger: 1 or v?
1
Let y be (14/7 + -7)*(-16)/10. Suppose 2*h = 6 + 10. Is h greater than y?
False
Let m(h) = -4*h**2 - 2*h - 1. Let s be 57/21 - 2/(-7). Suppose 0 = -5*g + 4*r - 25, -5*g + s*g = 4*r - 18. Let v be m(g). Is -4 bigger than v?
False
Let j be 6/(-4)*2/57. Which is greater: j or -1?
j
Let a be 2/5*(-1)/4. Let z = a + -2/5. Is z at most as big as 0?
True
Suppose -3*r + a + 3 = -r, -r + 5*a + 24 = 0. Which is bigger: 2 or r?
2
Let f = -1557 - -3241/2. Let w = 62 - f. Suppose 4*p = j - 6, 6*p = p - 2*j - 14. Do w and p have the same value?
False
Let x be (-6)/18 + 14/6. Let i = 0 + x. Suppose -i = -5*f + 3. Which is smaller: f or -0.1?
-0.1
Let x(g) = -g + 4. Let f be x(4). Let j = f + 1. Let l be (j/(-3))/(4/3). Is 2/7 >= l?
True
Let d = 10 + -5. Which is bigger: 6 or d?
6
Suppose -s = -5*y + 24, -3*y + 4*y - 6 = -s. Suppose -c + 2*k = 3*k - 4, -5*c - 2*k = -11. Let p be (2 - (c - s)) + -1. Is p at least as big as 1?
True
Let f = -3 + 6. Suppose -k + 12 = -f*g, 9*k = 4*k + 3*g + 24. Let s be 4/110*k*-5. Is s less than or equal to -2?
False
Let o = 2/201 - 428/2613. Let y be (1 - 3 - -9) + -3. Let v = y - 5. Which is greater: v or o?
o
Let b(k) = 4*k**2 - k. Let j be b(1). Let z = j + 0. Let f = 6 - 3. Is f at most as big as z?
True
Let f be (-2)/(1/(-2)*4). Let d be (2 + -2)*f*1. Which is greater: d or -4/7?
d
Let i = 1 - 0.5. Let d = 0.5 + i. Let m = 1 - 1. Are m and d nonequal?
True
Suppose 6 = 2*i + 4. Is i greater than or equal to 2/3?
True
Let a = 0.6 - 5.6. Let i = -38/3 - -12. Is a <= i?
True
Let m(h) = -h**3 + h**2 + 5*h - 3. Let k be m(3). Suppose w - p + 7 = 1, 0 = 3*w - 4*p + 17. Which is greater: k or w?
k
Let s = -2 - -2. Let d = 6/41 + 52/205. Is d at most as big as s?
False
Suppose -8 = -2*a - t, -5*a = -4*t + 3*t - 13. Let w be 9/20 - a/15. Which is smaller: w or -4?
-4
Let w = -14 + 13.9. Which is smaller: 1.9 or w?
w
Suppose 38*c = 45*c + 112. Are -16 and c nonequal?
False
Suppose -4*j - 3 = -3*j. Let r be (-2)/(j*4/(-30)). Is -5 >= r?
True
Suppose 0 = -3*u - 30. Is -10 equal to u?
True
Let c = -7 + 6. Which is smaller: c or -61?
-61
Let m = 0.033 + -0.133. Is m > -33?
True
Let y(x) = -7*x**2 - 3*x - 2. Let u(c) = -14*c**2 - 7*c - 5. Let a(v) = 2*u(v) - 5*y(v). Let q be a(-1). Is 6 bigger than q?
False
Let w(l) = l + 3. Let o be w(-5). Is o < -7/5?
True
Suppose 0 = -3*j - 42 + 30. Let k(t) = 2*t + 7. Let s be k(-5). Is s greater than j?
True
Let y = -2/357 + -113/1071. Is y <= 2?
True
Let b = -5.6 + 5.6. Is 15 less than b?
False
Let t be 2/4 + 2/12. Let h = -29 + 30.3. Let g = 0.3 - h. Is t at least as big as g?
True
Let z = 64.2 + -64. Which is bigger: 3/5 or z?
3/5
Suppose 0 = -n + 2 - 1. Let d be 0 - (-1)/((-1)/n). Is d < -2?
False
Suppose 2*v = -8, b + 3*b + 52 = -4*v. Which is smaller: b or -8?
b
Let m = -14 + 10. Let c = -4.4 - m. Let z = c + 0.5. Are -3 and z unequal?
True
Let b(p) = 9*p**2 + 4*p + 3. Let o be b(-2). Is 31 != o?
False
Let a = 11 + -10.84. Let g = 0.06 - a. Let r = g - -0.3. Which is smaller: r or -1?
-1
Suppose 0 = -3*s - 4*m - 4, -5*s + 3 = -2*m + 1. Is 2/43 at least as big as s?
True
Let l = -1.1 - -1.5. Let o = l - 0.3. Let y = -72 - -214/3. Which is greater: y or o?
o
Let u be (4/12)/(240/(-36)). Suppose -3*q + 4*y = 2*q, -5*q + 5*y = 0. Is u >= q?
False
Let a = -108 - -108. Is -1/108 less than a?
True
Let j = -629 + 1946/3. Which is greater: 21 or j?
21
Suppose p + 2 = 2*p. Suppose -7 = v + 3*r + p, 5*r + 13 = -v. Let f be 3*-1 + (-1)/1. Is v smaller than f?
False
Let y = 11 + -10. Suppose t = -0*t + 8. Is y less than or equal to t?
True
Let r(c) = c**2 - 4*c. Let l be r(4). Suppose -5*n + l = 5. Suppose 0*w + 16 = -4*w + 4*x, 4*x - 10 = w. Which is smaller: w or n?
w
Let x = -101/8 - -503/24. Which is smaller: x or 8?
8
Let o = 0.08 + -0.03. Let z = -0.05 + o. Do z and 1/5 have the same value?
False
Let r = -9.042 - -0.142. Let m = r - -9. Is m bigger than -3?
True
Suppose -3*w - 3 = 15. Let c = 30 - 24. Let b be (3/c)/((-3)/42). Which is greater: w or b?
w
Suppose 5*v + 2*t = -3, -2*v - 3*t - 6 = -t. Is v not equal to -0.5?
True
Suppose -4*y - 4 - 2 = 5*s, -4*y - 4 = 4*s. Which is greater: -2/5 or y?
y
Let o(r) = 5*r - 23. Let j be o(11). Is 34 < j?
False
Let b = -152.95 + 158. Let y = -0.024 + -0.026. Let t = y + b. Which is smaller: t or 0.1?
0.1
Let n(i) = -8*i + 5. Let u(q) = q. Let k(z) = -n(z) - 6*u(z). Let r be k(5). Suppose -2*x + 2*w = -2 + 16, -15 = r*x - w. Which is bigger: -1/2 or x?
-1/2
Let p = -227656610/2119 - -107436. Let r = p - -4/163. Suppose 6 + 5 = 11*c. Is c != r?
True
Suppose 3*m + 51 = 5*t + 17, 3*m + 3*t + 18 = 0. Let i = -12 - m. Let k be 5 + i - 6/4. Which is bigger: k or -2?
k
Suppose 2*a - 7*a = 32380. Let z = a - -1897470/293. Let v = z + -893/2051. Are 1 and v equal?
False
Let b be ((-1)/(-2))/(2/4). Let g be 0 + 0 + (-5)/((-775)/(-10)). Is b smaller than g?
False
Let w = 61/6 - 28/3. Are 2 and w unequal?
True
Let v(h) = -h - 7. Let m be v(-8). Which is bigger: -4/13 or m?
m
Let r = 8 + -4. Suppose 10 = 4*f - 2*u, -1 = 4*f - r*u - 21. Let l be (f + (-6)/15)*5. Is l != -2?
False
Suppose -2*k - 18 = -6. Is k at most as big as 2?
True
Let k = -10 - -11. Is k less than or equal to -2/53?
False
Let i = 37/42 - 3/14. Which is bigger: i or 2?
2
Let j(x) = -x**2 - x - 6. Let k be j(0). Is k smaller than -7?
False
Suppose 7*v - 3*v = 24. Let b be v/3 + -1 + 2. Let h(i) = i**2 - 3*i - 1. Let y be h(4). Is b > y?
False
Let d = -14 + 8. Which is smaller: -0.1 or d?
d
Let m = 5 + -25. Let l be 4/(-115)*15/m. Let i = l + -481/805. Is -1 < i?
True
Let o be 524/(-72) + (-10)/45. Is -8 at least o?
False
Let b be 4/3 - (-1)/(-3). Let g = -18 + 5. Let t be g/15 - 18/(-27). Which is