= -1. Let t = 131/2 - 85. Let d = t - -19. Which is greater: d or h?
d
Let t = -3 - -3.4. Let l = t + -2.4. Let d = 0.17 - -0.83. Which is smaller: d or l?
l
Let s = 3 + 9. Which is greater: 13 or s?
13
Let x be (-15)/(-6) - 4/(-8). Suppose -x*c = 15 + 21. Is c <= -12?
True
Let m = -151 - -142.9. Let z = -8 - m. Is z < -0.1?
False
Let n be (1/(-4))/((-10)/(-8)). Let i = 1 - 1.2. Are i and n nonequal?
False
Let g(s) = -2*s - 10. Let k be g(-7). Suppose -4 - k = 2*a. Let f = -4 + 0. Is a bigger than f?
False
Let l = 4/161 + 3043/644. Is l bigger than 6?
False
Let n = 1058938/133 - 7962. Let g = n - -10/399. Is 1 != g?
True
Let a(i) = i**3 - 5*i**2 - 6*i - 1. Let f be a(6). Suppose 6*y = -3*k + 3*y - 6, 5*y + 18 = -k. Let u be k - (4 + -2) - 1. Is f greater than u?
False
Let b(w) = -w**2 - 3*w + 4. Let u be b(-4). Suppose -m - 3*m = u. Which is smaller: -2/17 or m?
-2/17
Let o = -65 - -69.92. Let u = 5.9 - o. Let g = u - -0.02. Is g at least 3?
False
Suppose 2*t + 6 = 5*t. Suppose 0 = -t*o + 3*o. Which is greater: -1 or o?
o
Let c = -0.22 - -0.02. Let b = 296 - 6214/21. Is b greater than or equal to c?
True
Let a = -10 - -25. Is 15 less than a?
False
Suppose -2*n - 1 = 3. Let l be (0 + 0)/(4 + n). Is l > -2/51?
True
Let p = -37/26 + -21/104. Let m = 35/24 + p. Is m at least as big as 0?
False
Suppose -2*c + 3*o = -23, 2*c + o - 11 = -2*c. Suppose 0 = -4*t, 4*w - c = -3*t + 2*t. Which is bigger: w or 2?
2
Let r = 0.72 - -0.18. Let y = r + -1. Let v be 1/((25/(-5))/35). Which is greater: y or v?
y
Suppose -29 - 69 = -14*b. Suppose -24 = -5*y + 6. Is b at least y?
True
Let k = -32652 - -229300/7. Let i = k + -105. Let u(o) = o - 7. Let s be u(6). Is i != s?
True
Let v be 90/88 + (-2)/(-8). Is 2 at least as big as v?
True
Let f = 2/81 + 52/81. Let r = -0.1 + -0.4. Let z = r - -0.3. Is z > f?
False
Let g(x) = x**3 + 7 + 0 - x + 0*x. Let a be g(0). Suppose -2 = 4*f - h, -4*f - 1 = -5*h - a. Which is smaller: -1/3 or f?
f
Let p = -137 + 957/7. Which is bigger: p or 1?
1
Let x be -1*((-12)/2 - 1). Let o be x/2 - (-21)/(-14). Is o < 0?
False
Let c(l) = 8 + l**3 + 2 + 5*l**2 - 2 - 5*l - 2. Let n be c(-6). Is n smaller than 0?
False
Suppose 4*y - 2*y = 0. Suppose m - 4*m - 21 = y. Are -6 and m unequal?
True
Suppose 0 = -m - 10 - 5. Are -15 and m equal?
True
Let b(v) = -v**3 - 5*v**2 - 5*v - 6. Let f be b(-4). Let p(r) = r**3 + 3*r**2 + 2*r + 1. Let a be p(f). Let c be (1 - -5)/(2/a). Which is smaller: 4 or c?
c
Let j = 56 + -59. Suppose 5*h - 45 = 5*v, 2*h + 4*v = -0*v. Which is bigger: j or h?
h
Let z = 29 + -10. Let r = -30 + z. Which is smaller: r or -10?
r
Let d be 10/(-75) + 2307/(-45). Let h = d - -51. Which is greater: -1 or h?
h
Let c = -12 + 7. Is c at most as big as -6?
False
Let k be 1/(-5) - (-24)/20. Which is bigger: 16 or k?
16
Suppose 3*w - 3*l = -4*l + 14, 3*l = 2*w - 2. Let t = 5 + -3. Suppose 3*y = -3*a - 3, -w*y + t = -9*y - 4*a. Which is greater: y or 3/5?
y
Let k = -2 + 0. Suppose -5*g + 3 = b, b + 4*g = -2*b - 2. Are b and k equal?
True
Suppose -5*q - 2*d = d - 34, 16 = 2*q + 2*d. Let i be 2 + q*(-3)/6. Is i at most 3?
True
Let u = 0 + -1. Let l = u - -2. Let s be 0 + (3 - 1)/6. Is s at least as big as l?
False
Suppose -y - 13 = -4*c, -5*y + 4*y - c + 2 = 0. Let z be (-5)/(-2) + (y - 0). Let s = -12 - -15. Which is smaller: z or s?
z
Let h = 7 - 15/2. Let f = -0.5 + 5.5. Let o = 5.3 - f. Is o at most h?
False
Let t = 0 - -3. Let a = -3.2 + t. Is 1 >= a?
True
Suppose 3*z + 10 = 5*u, -5*u + 8 = z - 2. Suppose z = -4*y + 6*y + 4. Are y and -5/8 nonequal?
True
Suppose 0*j - j - 14 = 0. Suppose 0 = 5*u - 3*g + 36, -7*g + 3*g = u - 2. Let b = u - j. Are b and 8 unequal?
False
Let s = 0.085 - -16.915. Which is smaller: s or 2?
2
Let c = -0.6 - 0.4. Let m = -4 - -6. Is m at most c?
False
Let o = -16023 + 560891/35. Let q be -4 + 12/14*8. Let z = o - q. Is -0.1 greater than z?
True
Let d = 2 + -16. Which is smaller: d or -15?
-15
Let x = -38.2 + 22. Let l = 16 + x. Is l equal to 4?
False
Let n = 3 - 0. Suppose -m - m = -3*h + 11, -3*h = n*m - 6. Let q be 2/6 - 1/h. Is q != 0?
False
Let q = 13 + -9. Suppose 8*k - q = 4*k. Is -2/23 >= k?
False
Let v = 14 + 4. Is v at most 1/3?
False
Let m be -22 - 0/(2 + -6). Is m bigger than -22?
False
Let q be 10/(-4)*(-8)/10. Let m(c) = -c**3 - 7*c**2 + 8*c + 4. Let g be m(-8). Suppose -g*t + q*d = -4, -4*d - 4 = -t + 11. Which is smaller: t or -1/4?
t
Suppose y = -5*i + 34, 5*y = -2*i + 31 + 1. Suppose -3*o = -f + 7, 4*o - 3*o - 3 = -5*f. Suppose g + i = 4*z - f, -4*z - 8 = 4*g. Which is bigger: 1/5 or z?
z
Let h(s) = s**2 - 3*s + 1. Suppose 0 = 3*n + 3*n - 6. Let p be h(n). Are p and -2/47 nonequal?
True
Let k be ((-1)/3)/(1/(-11)). Let t = -17/12 + k. Is 3 bigger than t?
True
Suppose s = -5*b + 10, -3*s + 13 - 3 = 5*b. Let f(z) = -z**2 + 2*z + 4. Let r be f(3). Is r at least as big as s?
True
Let x(a) = a - 2. Let y be x(2). Let q be (y + -9)/3 - 0. Let m be (0/q)/(-2 + 1). Which is smaller: 4 or m?
m
Let t = -1617.946 + 1616. Let d = t + -0.034. Let j = d + 2. Which is smaller: j or 0.1?
j
Let q be (-2)/11 - (-1 - -1). Let z = -0.3 - 0.1. Let o = z - -0.1. Is q > o?
True
Let f = 20 + -104/5. Which is smaller: -1 or f?
-1
Let f be (-6 + 6)/(2/(2/1)). Let q(g) = g**3 - 7*g**2 + 5*g + 2. Let a be q(6). Which is bigger: f or a?
f
Suppose -5*o - 2*j = 32, -o - 52 = 4*o - 3*j. Let s = 5 + o. Do s and -3 have the same value?
True
Let j be (4/21)/((-4)/(-6)). Let v = 25.7 + -28. Let q = v + 1.3. Which is smaller: q or j?
q
Suppose 2*m + 14 = -3*s - 5, 4*m = 4*s + 12. Are -5/3 and m equal?
False
Let t be ((-26)/273)/(-2 + 65/33). Is 2 equal to t?
False
Let t be (-5 + 7)*((-9)/2 + 1). Let h be ((-90)/(-4))/5*-2. Which is smaller: h or t?
h
Let l be ((-22)/(-88))/((-14)/(-48)). Which is smaller: -0.2 or l?
-0.2
Let b be -1*15/14 + 1. Let a = 68 + -67. Which is smaller: a or b?
b
Let f(p) = p + 1. Let l(j) = -10*j - 12. Let i(s) = -22*f(s) - 2*l(s). Let r be i(3). Is -5 greater than r?
False
Let n = -51 + 27. Let s be 0 - (2 + n/10). Is s smaller than -0.7?
False
Let q be ((-6)/(-14))/((-18)/(-12)). Let b(z) = z + 1. Let m be b(-2). Which is smaller: m or q?
m
Let c be -16*4/12 - -4. Are -2/5 and c nonequal?
True
Let d(s) = -9*s + 53. Let m be d(9). Is m > -28?
False
Let l be -29*(-2 + 15/6). Let g = l - -16. Is 1 at most g?
True
Let u = 3 - 3.2. Is -0.12 bigger than u?
True
Let q(g) = g**2 + 4*g + 1. Let i be q(-4). Let n = 4 - 8. Let j(t) = -t**2 - 6*t - 6. Let l be j(n). Is i < l?
True
Let f(i) be the second derivative of 1/20*i**5 + 0 + 5/12*i**4 + 3*i + 2/3*i**3 + 1/2*i**2. Let a be f(-4). Is 1 less than a?
False
Suppose 0*n = 2*n - 12. Let s be (9/(-4))/(n/(-16)). Let l be (s/(-4))/(3/(-1)). Which is smaller: -0.3 or l?
-0.3
Let t be (14/(-33))/((-17)/(-51)). Which is smaller: t or -2?
-2
Let j = 128 - 22. Let p = -744/7 + j. Is 0 at least as big as p?
True
Let b = 51 + -51.2. Is b != 2/57?
True
Let h be (63/27 - 8/6)*3. Which is smaller: -8 or h?
-8
Let x be (-3 - -4)*4/(-20)*-5. Is 1/87 equal to x?
False
Suppose -4*x - 3080 = 2*j, 3*x - 3*j - 2*j + 2310 = 0. Let w be (-4)/(-14) - (-360)/x. Let d = 0 + 1. Which is bigger: d or w?
d
Suppose a = 3 - 8. Let g = a - -3. Let k(f) = 2*f + 2. Let x be k(-2). Are g and x equal?
True
Suppose 0*l - 4*j = 3*l + 6, 12 = 3*l - 2*j. Suppose 1 = -h + l*h. Let n = -2 - h. Is n less than or equal to -2?
True
Let r(o) = o**2 - 7*o - 5. Let n be r(8). Which is smaller: n or 0?
0
Suppose -7 = 5*l - 2. Let q be (-5)/(20/3) - 3/(-4). Which is smaller: l or q?
l
Let f(b) = b**3 + 6*b**2 + 6*b + 3. Let h be f(-5). Let v(w) = w + 6. Let r be v(5). Suppose -3*s = 3*u, u - 3*s + r = -5. Is u greater than h?
False
Let m = -45/1232 + -2/77. Is 0 greater than m?
True
Let b(n) = -n**3 - 4*n**2 + 3*n - 7. Let v be b(-5). Let c = -8 - -8.02. Let m = c + 0.08. Which is smaller: m or v?
m
Let i be 3/1 + (-1 - 0). Suppose 3*a + i*p + 6 = 0, 12 = 2*a - 4*p - 0*p. Which is smaller: -4/7 or a?
-4/7
Let u = 2 + 2. Let y = u - 3. Let k = y + -1. Is 3/5 at least as big as k?
True
Let l(j) = 3*j + 9. Let k be l(-6). Let b be 1/(-1 + (-6)/k). Let m be (2/b)/((-5)/(-3)). Is m at least 1?
False
Let t = -8 - -40. Which is bigger: 29 or t?
t
Suppose -5*h - 2*q = 3, 4*q - 7 = h + 6*q. Let o = -10 + 15. L