equal to 1?
False
Let f = -5 + 47/9. Let k(c) = -c - 3 - 5 - 2*c**2 + 11*c**2 + 0*c**3 + c**3. Let p be k(-9). Is p greater than or equal to f?
True
Let o = 0.7 + -5.7. Let g = o + 5.1. Which is smaller: -9 or g?
-9
Suppose 5*p - 2*p = 213. Are p and 71 unequal?
False
Let w(n) = -n**3 - n**2 - 2. Let f be w(-2). Suppose -2*u - 8 = f*u. Let z be u/(-8) + 17/(-20). Which is bigger: 0 or z?
0
Let s = -37 - -36.93. Is s > -2/9?
True
Let i(d) = -6 - 2*d + 13*d - d**2 - 2*d. Let r be i(9). Let x be 0 + -1 + (-10)/2. Do r and x have the same value?
True
Let c = -12 - -47/4. Which is greater: c or 9?
9
Let d = 6 - 6. Suppose d = -n - 0*n. Let i(z) = -z**2 - 6*z - 6. Let w be i(-5). Which is bigger: w or n?
n
Let k = 10 - 9. Is k less than 22?
True
Let z = -3 + 0. Let i = -24 + 24. Is i at least z?
True
Suppose 0 = 4*s - 8, 4*w - 3 = 5*s - 1. Suppose -f = f - 8. Which is smaller: f or w?
w
Let y(d) = d**3 + 2*d**2 + d + 2. Let h be y(-2). Let t(o) be the first derivative of o**3/3 - 5*o**2/2 - 4*o - 4. Let s be t(6). Is h greater than s?
False
Suppose 0 = u - 5*l + 3 + 2, -52 = 5*u + 2*l. Is u at most -12?
False
Let t be (-256)/144 + (-1)/(9/2). Let d = -2.8 + 3. Which is smaller: d or t?
t
Let v = -18 + 35. Is v > -1?
True
Let c be 4 + 0/(-4) - 11. Is -8 smaller than c?
True
Let w(c) = -c**2 - c + 4. Let s be w(-6). Let i be s/(-21) + (-4)/6. Which is bigger: i or 1?
1
Let s be (-8)/(-4)*(-5)/2. Let k(a) = -a - 5. Let p be k(s). Let q = -3 + 3. Are q and p equal?
True
Let p = 2/135 - 316/3105. Which is greater: -1 or p?
p
Let f = 79 + -44. Let y be f/(-4) - (-1)/(-4). Let r be 2/y - 0/4. Which is smaller: 0 or r?
r
Suppose 5*b = -2*m + 11, 5*b + 2 = 5*m - 8. Let o(l) = -l - 3 + 3*l - m*l - l**2 - 3*l. Let t be o(-2). Which is smaller: t or -1/4?
-1/4
Let r(t) = -t - 8. Suppose 20 = -2*i - 3*i, 3*f - 2*i + 10 = 0. Let c be r(f). Which is greater: c or -4/5?
-4/5
Suppose 4 = -10*k + 6*k. Is k not equal to 2/49?
True
Suppose k = -2*i + 3 + 4, -5*i + k = -14. Suppose 4*d = -0*d + 12. Is d at most i?
True
Let k(z) = 6*z - 4. Let c be k(4). Suppose -8*a + c = -3*a. Suppose 0 = 3*g - 5*g + a. Is g at most as big as 3?
True
Let u(b) = -b**2 - 7*b - 3. Let v be u(-7). Is v >= 2/3?
False
Let t = -2 + 5. Let j = t - 2. Which is greater: j or -1?
j
Let m be (-2)/(4*(-1)/(-10)). Let w = 4 + m. Is -2/11 greater than w?
True
Let x = 2 + -8. Which is greater: x or -9?
x
Let g = -48 + 48.8. Is 4 bigger than g?
True
Let v(j) = -j**3 + 11*j**2 - 11*j + 11. Let i be v(10). Suppose 5*x - i = 4*x. Let a be 1 + -2 - 5/(-4). Are a and x unequal?
True
Let z(k) = -8*k + 7 - 6*k + 15*k. Let f be z(-8). Are f and -4/9 unequal?
True
Let w = -58 - -402/7. Is -1 at least as big as w?
False
Let n be 2/1 + 0 - 0. Let i(w) = -w**2 + 6*w**n - 4*w**2 + 7*w. Let u be i(-7). Which is bigger: u or -3/5?
u
Let l = 0.2 - 0.4. Let x = 0.3 + l. Let i = x + -0.3. Is i at most 0?
True
Suppose -4*o - 3 - 13 = 0. Let r be (-1 + (-2)/o)*-6. Suppose 4*i = i + 9. Are i and r equal?
True
Let k = 0.8 - 0.7. Let a = 386 - 256. Let x be a/(-35) - (-4)/(-14). Do k and x have the same value?
False
Suppose 33*i - 31*i + 14 = 0. Which is smaller: i or -2/17?
i
Let l be (-12)/(-8) + (-1)/2. Let c be (-15)/(-6) - l/2. Suppose -b - 1 = 0, b - 1 = c*t + 2*b. Is 2/3 at most as big as t?
False
Let u = 0.3 - 0.2. Let h be -1 + 1/5*7. Are u and h non-equal?
True
Let s = 22 + -17. Suppose 6 = -s*t - f, 6*f = 2*f - 4. Which is smaller: t or -8/5?
-8/5
Let i be 15/4*(-52)/91. Are -3 and i nonequal?
True
Let f be ((-4)/10)/((-87)/(-15)). Let l = f + 39/145. Are 2/3 and l nonequal?
True
Let z be (-9)/6 + 5 + -2. Let w be 3*3/6*2. Which is smaller: z or w?
z
Suppose -3*i - 9 = -0*y - 2*y, 0 = -3*y - 5*i - 15. Which is smaller: -13 or y?
-13
Suppose c = -2*c - 240. Which is greater: -81 or c?
c
Let o(v) = -v**3 + 5*v**2 - 2*v - 3. Let n be o(4). Suppose z - 4*z + n*q = 17, -2*q = -4*z - 18. Does z = -4?
True
Let w be 4 + (1/(-1))/(-1). Let j be (-1)/(w - 0)*3. Which is bigger: 0 or j?
0
Suppose 2*o - 30 = -3*r, -3*o + 25 + 18 = 4*r. Suppose -5*m + o = x, 0*x + 2 = -4*x - m. Which is smaller: 1/5 or x?
x
Suppose -2*t + 3*a = 37, 3*t + 2*t = -a - 101. Let n be (-4)/(-20) - (-29)/t. Which is greater: -1 or n?
-1
Suppose -3*z - 12 = z. Is z <= -3?
True
Let h = 3.5 + -5.5. Which is smaller: h or 0.04?
h
Suppose s - 4*y - 10 = -s, 3*y + 20 = -s. Which is greater: -1 or s?
-1
Let t = -19 + 19. Is t at least as big as -4/21?
True
Let m = 16 + -28. Let o = m + 7. Is -3 at most as big as o?
False
Let g = -14 - -15. Suppose 11*d + g = 10*d. Is 15 less than d?
False
Let r = 0.3 - 0.3. Let t be -2 - -5*(-2)/(-6). Which is greater: r or t?
r
Let t be 950/(-144) - (-42)/112. Are t and -5 non-equal?
True
Suppose 2*b - z + 7 + 0 = 0, 0 = 3*b - 3*z + 6. Let h be 5/(b/2) + 9. Let d = h - 10. Which is smaller: d or -1/2?
d
Suppose 0 = 2*l + 5*h - 3, -4 = -l + 3*h + 3. Let f(j) = j**2 - 4*j - 7. Let c be f(6). Does c = l?
False
Suppose 2*a - 5*k = 10, 0 = -5*a + 3*k - 5*k - 33. Is a greater than -4?
False
Let o = 556/15 - 212/5. Which is smaller: -4 or o?
o
Let x(w) = 2*w. Let c be x(2). Suppose c = s + 5. Is -1 > s?
False
Let q = -8 + 7.4. Let t = q - 1.4. Let i = -3 - t. Are 0.2 and i unequal?
True
Let p = 6 - 6. Which is bigger: 6/5 or p?
6/5
Suppose 3*v = -2*b + 2*v + 39, -3*v - 30 = -b. Suppose -4*z = -r - b, 0*r - 12 = -3*r - 3*z. Which is smaller: -4/9 or r?
r
Let r be (-785)/(-7)*(-48)/(-30). Let u = 179 - r. Which is smaller: u or 2/3?
u
Let v(d) = 2*d**2 - 7*d + 4. Let p be v(4). Let a = p - 6. Suppose -5*c - 22 = -y, -a*c - 20 = 5*y - c. Which is smaller: y or -2?
y
Let w be (51/119 + 6/(-14))/2. Which is bigger: 10/27 or w?
10/27
Let s = 1 - 0. Let c = 3.92 - -0.08. Let r = c + -4. Which is smaller: s or r?
r
Let w = 1517 + -186589/123. Is 0 at least w?
False
Suppose 2*x = -0*x. Let m = -0.5 - -0.2. Let a = m - -0.4. Is a at least as big as x?
True
Let o = -3.7 + 4. Let s = 1.3 - o. Let h = -9.3 + 9. Which is smaller: s or h?
h
Let y = -27 - -31. Suppose -t = -7 + 1. Which is smaller: t or y?
y
Let d = -127 - -136. Do 2/3 and d have different values?
True
Let y be 1/(2*(-1)/4). Let t(h) = h**2 - 5*h - 8. Let s be t(7). Let f be s*-1*1/(-15). Is f equal to y?
False
Suppose 2*k - 2 - 3 = 5*j, -5*k + 27 = 2*j. Suppose k*q + 4*g - 4 = 0, -2*g + 0*g + 2 = 4*q. Is 0 equal to q?
True
Let d = -0.68 - -371.68. Let r = d + -372.97. Let v = 0.03 - r. Are 0 and v unequal?
True
Let q = -522 - -521.9. Let b = -18 - -29. Are q and b nonequal?
True
Let c(l) = -8*l**3 - 2*l**2 - 4*l - 2. Let g be c(-2). Suppose -2*z - 27 = -5*h, 3*z - 5*h - 19 = -g. Is 1 greater than or equal to z?
True
Let y be 94/8 - (-4)/(-48)*-3. Which is greater: -1/2 or y?
y
Let c = 35 + -139/4. Is 4 at least c?
True
Suppose 3*w - 110 = n, 4*w - 5*n - 33 - 132 = 0. Is w equal to 36?
False
Let c = 6 - 10. Let f = c + 3.8. Let p = 0.3 + f. Which is bigger: p or 1?
1
Let y be 6/4*4/21. Let j be (-60)/(-52) - 2/2. Which is bigger: y or j?
y
Let a be 486549/(-15) + (-6)/(-10). Let n be 1/(-3) - 7149/a. Let q = -1/212 + n. Which is smaller: 1 or q?
q
Suppose 5*p = 4*u - 4, p - 20 = 4*u + 2*p. Let r be (-4)/u - 12/(-2). Suppose m - 4*b = -20, -5*b = -2*m + r*m - 25. Which is greater: 1/9 or m?
1/9
Suppose 2*q - q - 6 = 0. Suppose 2*h + 4 - q = 0. Which is greater: 0 or h?
h
Let j = -7.5 + 7.5. Which is greater: 5 or j?
5
Let y = -349/2 - -3863/22. Are 1 and y nonequal?
True
Let j = -34 + 25. Do -10 and j have different values?
True
Let q(x) = -x**3 + 12*x**2 + 12*x + 17. Let s be q(13). Suppose -s*w = -0*w. Let d = w + -4. Which is greater: d or -3?
-3
Let h = 140/3 - 46. Which is bigger: h or 1?
1
Let b = 51/304 - 1/16. Which is smaller: b or 1?
b
Let m be (2/2)/(1/(-2)). Suppose 2*b - 4 = 0, 3*a - 11 = -4*b + 3. Let w be a - 3 - 2/3. Is m greater than w?
False
Suppose -2*a = 3*a - 5. Let f = -4 - -3. Let c = f + 3. Which is greater: c or a?
c
Let o = 1 + 0. Let y be 5 + -5 - (-1 + o). Let d be (256/30)/4 - 2. Is y > d?
False
Suppose 6 + 62 = -2*k. Which is greater: 0.1 or k?
0.1
Let y = 3 - -1. Suppose 22 = 3*q - q + 3*p, 2*q - 5*p = -10. Suppose d + y = q*d. Is -1 != d?
True
Suppose -2*x = 5*z + 6 - 0, 0 = 5*z + 5*x. Is z >= -4/3?
False
Let y(g) = -g + 7. Let s be y(6). Let 