. Are f and 0.1 unequal?
True
Let r be 8/3 - (-4)/12. Let k = r + -7/2. Is k greater than or equal to -4?
True
Let z be 11/21 - (-4)/12. Are z and 2 equal?
False
Suppose -3*j + 12 = -6*j. Let o = j + 4. Let r be (-2)/(-6)*(-5)/(-10). Is r equal to o?
False
Let g = 0.21 - 0.13. Let f = g + -0.08. Is 3 at least as big as f?
True
Let u = -3 + 3. Let f = -12158/37107 - -6/589. Let q = f + 2/21. Are q and u unequal?
True
Let v = 18 - 91. Is -73 <= v?
True
Let b(z) = z**3 + 10*z**2 - 3*z - 1. Let w be b(-8). Let i = w + -3777/25. Is 1 <= i?
False
Let k = -0.05 - -2.05. Which is smaller: -0.03 or k?
-0.03
Let f = -63 - -59. Are f and -6 non-equal?
True
Let r be -1 + -1 + 3/2. Let p(g) = 6*g - 2*g**2 - 5*g + g**3 - 4*g. Let u be p(3). Is r greater than or equal to u?
False
Suppose 2*u + 4*f = -f + 24, 0 = 2*u + 2*f - 12. Let o be (-9)/(-15)*(1 - -3). Is u > o?
False
Let u = 13 - 9. Suppose 0 + 15 = 3*f - u*k, f = k + 4. Let d = -2 - -4. Is d greater than or equal to f?
True
Let i = 7 + -11. Which is greater: i or -32/7?
i
Let y = -10.4 - -11.32. Let c = -5.92 + 6. Let z = y + c. Is 1 > z?
False
Let m(j) = -3*j - 7. Let w be m(-6). Suppose -2*q = w - 5. Let n = 5 - 7. Which is smaller: n or q?
q
Suppose 0 = -5*a + a - 5*y - 4, -1 = a - 5*y. Let c be (-21)/(-48)*-2 + (-2)/(-2). Which is smaller: c or a?
a
Suppose 6 = 6*u - 24. Suppose -3*d + 5 = -u*h, 2*d = h - 3*d + 1. Which is bigger: 1/6 or h?
1/6
Let j = -11 - -11. Let s be (3 - j)*3/9. Which is smaller: 3/7 or s?
3/7
Let h = -9.95 - -0.35. Let f = h - -1.6. Let q = -8 - f. Are 0 and q equal?
True
Let q be ((-4)/(-102))/((-5)/15). Is 1 greater than q?
True
Let o = -33 - -175. Which is greater: o or 143?
143
Let c = 0.5 + 0.5. Let g(d) = d + 1. Let p be g(3). Let m be (-102)/12 + 6/p. Which is smaller: m or c?
m
Let b = -19 + 18. Which is bigger: b or 2/9?
2/9
Suppose 5*p - g + 55 + 77 = 0, 90 = -3*p - 3*g. Let h be 6/p - (-29)/9. Suppose 2*u + 4*w + 10 = h*u, -3 = 3*u - w. Which is smaller: -1 or u?
u
Let s(g) = 9*g**2 - g. Let a be s(1). Let p = 5 - a. Do -4 and p have different values?
True
Let v be 0/(-2) + 16/(-8). Which is bigger: -18 or v?
v
Let c(l) = 2*l + 9. Let v be c(-4). Which is smaller: -1 or v?
-1
Let d be -3 - ((-22)/1)/2. Let m = d - 7. Are m and -1 equal?
False
Let q be -3 - ((-1 - (3 + -2)) + -7). Is q smaller than 36/5?
True
Let c be 104/10 + 8/(-20). Let x be (-10)/(-24)*14/c. Let m = x + -1/4. Which is smaller: m or -1?
-1
Let o be (6/(-18))/(2/(-18)). Suppose -o*b = 2*g - 1, 7*g + 3 = 3*g - b. Let f = -117 - -821/7. Is f greater than or equal to g?
True
Let q = 22 + -22. Which is smaller: 2/15 or q?
q
Let g = 6.21 - 6. Let k = g + -0.01. Which is smaller: k or -3/5?
-3/5
Let c(o) = o + 1. Let k be c(-1). Which is smaller: k or -1/25?
-1/25
Let q = -3395/9 - -385. Let r = -5119/657 + q. Let n = -139/511 + r. Is -0.1 < n?
False
Let h be (-3)/9*-3 + -1. Suppose h = -9*p + 4*p. Suppose x + 3 - 5 = p. Which is smaller: x or 0.1?
0.1
Let f be 5 - 3*3/9. Let o be (1 + -1)*(-2)/f. Let x be (-1 + (2 - o))/1. Is x at least as big as 1?
True
Suppose 4*j - 18 = 2. Which is bigger: j or 1/2?
j
Suppose 5*j = 2*j. Let n = 47 - 75. Let h be ((-1)/(-5))/(n/35). Is j less than or equal to h?
False
Let r = -4 - -32. Suppose -3*d = d + r. Let g = d + 8. Which is bigger: g or -2?
g
Suppose 0 = -5*x + b + 4, -3*x + 2*b + 8 = x. Suppose f - v - 4 = x, 4*f + 3*v + 4 + 1 = 0. Let i = -3/5 + 1/5. Which is smaller: i or f?
i
Let k be ((-18)/225)/((-2)/(-10)). Is k < 1?
True
Suppose 2*k - 5 = 3*k, 2*k = b - 17. Let n = -467/62 + 1/31. Let i = n + b. Are 0 and i non-equal?
True
Let g = -0.1 - -0.2. Let v = -34 - -21. Let k = v - -16. Does k = g?
False
Let k = 6 + -2. Let q = 3 + -1. Is k greater than q?
True
Suppose -2 = -5*r + 4*d + 5, -4*r - 5*d = -22. Suppose 0*a = -r*a. Which is smaller: 3/11 or a?
a
Let m = 47 - 57. Which is greater: -1 or m?
-1
Suppose 4*p = -0*p - 4, 4*m - 28 = -4*p. Suppose b = 5*b - m. Let d be 3*(b/3 + -2). Which is smaller: d or -2?
d
Let q = 0.1 + -0.15. Let d = 0.05 + q. Which is bigger: d or 1?
1
Let v(s) = -4*s**2 + 15*s + 4. Let c be v(4). Which is bigger: c or -12?
c
Suppose 0 = 4*v + 3*u + 8, -4*v + 18 = -2*v - 4*u. Let p be 1/3 - 13/3. Let l be 2 + (p - v/(-1)). Is 2/7 at most as big as l?
False
Suppose 0 = -2*u - 14 - 28. Let y = 12 + u. Let g be (3/22)/(y/12). Is g smaller than -0.1?
True
Let p = 223 + -2897/13. Is -1 at most as big as p?
True
Let y = -0.94 - -5.04. Let a = -4 + y. Is a at most as big as 4/3?
True
Suppose 2*o = -3*u - 57, 4*o + u + 104 = 5*u. Is o < -28?
False
Let j(q) = q**3 - 10*q**2 - 12*q + 11. Let x be j(11). Suppose -2*y - k - 1 = x, -k = -3*y + 3*k + 15. Is 1 greater than or equal to y?
True
Let z = 5.8 + -6. Let q = 0.2 + -0.5. Let g = q - z. Are -0.3 and g nonequal?
True
Let c = 4 + 1. Is 3 > c?
False
Suppose -7*t = -2*j - 2*t + 18, -2*j = t - 6. Suppose 0*i - 3*i = -18. Let q be (6 - i) + -1 + 3. Which is smaller: j or q?
q
Let c be (8/(-10))/(18/(-315)). Is c < -1/2?
False
Suppose -5 = -5*f - 30. Suppose -3*r + 15 = 3. Let o = -2 - r. Which is smaller: o or f?
o
Let y = 4 - 6. Let x be -1 + -3 + y/(-1). Let v = 5/3 + x. Which is smaller: 0 or v?
v
Suppose 2*d - 1 = -11. Let w be (-4)/d*(-6 - -1). Which is smaller: w or -5?
-5
Let x = -14 - -13.9. Which is greater: x or -1?
x
Let v be 6/((-90)/(-5)) - (-4)/24. Let i = -3 + 3.02. Which is smaller: v or i?
i
Let g(q) = q**2 - 6*q + 3. Let l be g(6). Suppose 3*c + l = -0. Is -1/10 at most as big as c?
False
Let j = -68 - -66. Let f(q) = q**2 + 3*q + 3. Let b be f(-2). Suppose -u - 4 = -b. Is u greater than or equal to j?
False
Let a = 13 + -13. Let g = a + 0.1. Which is greater: g or -5?
g
Let q = 4095893/3380780 - -1/65015. Let m = q - -1/26. Which is smaller: m or 2?
m
Let s = -0.56 + -9.54. Let w = 10 + s. Which is smaller: -0.8 or w?
-0.8
Let u(w) = -w**3 + 8*w**2 - 5*w - 5. Let a be u(7). Is 11 at most a?
False
Let z be 16/24 - (-2)/6. Suppose -4*j = -7*j. Which is smaller: j or z?
j
Suppose 0 = 2*p + p - 6. Let z = p - 3. Which is smaller: 0 or z?
z
Suppose -3*j + k = 1 - 14, 4*j = -3*k + 39. Let c = j - 0. Let i be (-16)/(-30) + (-2)/c. Which is smaller: i or 0?
0
Suppose -r - l = -0*l + 5, r + 5*l + 25 = 0. Which is greater: -1/15 or r?
r
Let d be -1 + (-5)/((-5)/21). Suppose -22*j - 2 = -d*j. Which is greater: j or 3?
3
Let u be 3 + 22/6 - 2. Is 5 > u?
True
Let x = 253.95 + -247. Let z = -0.85 + x. Let d = z + -6. Which is bigger: -1/3 or d?
d
Let r = -2.94 + 21.84. Let u = 19 - r. Is 9 at most u?
False
Let o(h) = 3*h - 11. Let r be o(3). Is 0.1 at least r?
True
Let l = 9/26 + -128/351. Which is bigger: -1 or l?
l
Let f = -26 - -25. Let l = 38/195 + 4/15. Which is smaller: l or f?
f
Let y = 71.97 - 76. Let j = y + 0.03. Let h be (-6)/9 + 11/12. Is h <= j?
False
Let w be -1 - -2*2/6. Which is greater: w or 7?
7
Let s be 2/(-6)*(1 - -2). Is s equal to -1/5?
False
Suppose -7*n = -2*n - 4*s - 3, -4*n - 5*s = 14. Suppose f = -3*w - 7 - 0, 2*f = -2. Let l be 1/(-3) - w/4. Is n less than l?
True
Let i = 663/7198 - 7/118. Which is greater: -1 or i?
i
Let n = 1/68 - 71/204. Let r(p) = p**3 - p**2 + 1. Let q be r(1). Is q bigger than n?
True
Let j(k) be the second derivative of k**4/12 - 5*k**3/6 - 2*k**2 + k. Let v be j(7). Let q be (-9)/v - 2/(-4). Do 1 and q have the same value?
False
Let f(o) = o**3 - 1. Let r be f(2). Let z = 6 - r. Which is smaller: z or 2/5?
z
Let m = -15 + 2. Is -14 bigger than m?
False
Let c(v) = -v**2 - 11*v - 11. Let a(f) = -f - 20. Let y be a(-10). Let i be c(y). Which is smaller: 1/3 or i?
i
Suppose 0*r - 4 = -4*r. Which is bigger: 2 or r?
2
Let y = -129 + 643/5. Let n(j) = 3*j - 1. Let a be n(3). Let o be 2/(a/2)*0. Do o and y have the same value?
False
Let o = -5.3 - -5. Let v = -0.06 - -0.76. Let q = v - o. Which is greater: -2/13 or q?
q
Suppose 17 = 2*r - 5*m, -4*r + 2*r = -2*m - 8. Which is smaller: -2/331 or r?
-2/331
Suppose 2*h + 10 = h + 3*b, -3*b = -9. Let s = 389/36 - 43/4. Is h <= s?
True
Let z be (-2 + 12/8)*2. Is z at most 4?
True
Suppose -2*y = -a + 7, 3*y + 5 + 5 = 2*a. Suppose -3*d - 267 = -39. Let i = 379/5 + d. Is i less than a?
False
Let p be (-679)/770 - 4/(-22). Let c be ((-2)/20)/(2/(-4)). Let k = p + c. Is k <= -1?
False
Let q = 2 + 0. 