t y be ((-1174)/(-37))/(18/63). Let d = 111 - y. Which is bigger: -1 or d?
d
Let s = 0 - 0.02. Let m = 0.2 + -0.2. Let q = 0.1 - m. Which is smaller: s or q?
s
Let w = 118 - -100. Let s = -1960/9 + w. Which is smaller: -1 or s?
-1
Suppose -4*j + 0*j - 16 = 0. Suppose 1 = -l + 3*x, -4*l + x + 7 = -0. Is j greater than l?
False
Let o be (-33)/(-110)*((-10)/8 + 1). Which is smaller: 1 or o?
o
Let r(d) = -12*d - 11. Let z be r(-1). Is 3/4 at least as big as z?
False
Let y = 7 - 6. Let u be 2*3/(-6) + y. Is 2/3 greater than or equal to u?
True
Let j(q) = q**2 - 8*q + 1. Let k be j(8). Let x be k/(-2) - (-56)/16. Which is smaller: x or 7?
x
Let b(f) = f**2 - 6*f - 16. Let l be b(-3). Is 13 greater than l?
True
Let f = -0.2 + -0.8. Let i = f - -1.1. Let c = -714 - -713.6. Which is smaller: c or i?
c
Let v be -13 - (5 - 45/5). Is -12 > v?
False
Let n = 6 + -5. Let z be 18/26*(20/12 - 2). Is z <= n?
True
Let b = -36 + 56. Suppose -2*m + 3*w = -m + 4, 5*m + 2*w + b = 0. Let i = -1 - m. Which is smaller: i or 4?
i
Let r = 0.1 + -1.1. Do -1/2 and r have the same value?
False
Let w be 6/(-9) - (-11)/3. Let l be (-1)/(-6)*w*10. Suppose -6 = -3*j + l*j. Is j at most -3?
True
Suppose 0*o + 2*o + 4 = 0. Let s = 2 - 7. Let t = -7 - s. Does t = o?
True
Let r = 3 + -2. Let x be 75/27 - (r - -2). Which is smaller: x or 0?
x
Suppose -5*f - 4*l - 268 = -0*l, -l = 5*f + 277. Let h be ((-8)/f)/(6/(-7)). Are h and 1 equal?
False
Let r = -49 - -50. Which is smaller: r or -34?
-34
Let n be -1 - (1/(-2) - 1). Let b = 10 - -1. Let q = 12 - b. Is n at least as big as q?
False
Let j be (1/(-1))/(4/12). Is -14/9 != j?
True
Let t(y) = y + 17. Let u be t(-12). Suppose -21 + 1 = u*f. Is f greater than or equal to -2?
False
Let r(h) = 7*h + 101. Let n be r(-14). Is n at least 11/6?
True
Let h be ((-30)/10)/(2/4). Let x = -20 + 18. Which is greater: h or x?
x
Let l be (-6)/27 - (-14)/9. Let x(m) = m**2 - m - 1. Let p = 5 - 3. Let w be x(p). Which is greater: l or w?
l
Let j(k) = 2*k**2 - 4*k + 2. Let f be j(2). Suppose -15 = 2*h - g, -h = -0*g + 4*g - 15. Let d be (9/15)/((-1)/h). Is f at least as big as d?
False
Let j(y) = -y**2 + 6*y - 4. Let t be j(5). Let a = -5 - -4. Let n be t*6/(-4) - a. Which is bigger: 1 or n?
1
Let i be -2 - (1356/44 - -2). Let p = 35 + i. Which is greater: -4 or p?
p
Suppose 3 + 2 = x. Suppose 0 = -2*s + 2*y, -s + 2*s - 12 = -x*y. Let z be -9 + 4 + 0 - (-38)/6. Are z and s non-equal?
True
Let l = 7 + -21. Let w be 4/(-14) + (-4)/l. Which is greater: 1/9 or w?
1/9
Let o be (-1)/2 + (-26)/4. Let z be (-2 - o)*(-9)/(-15). Suppose 5*x = z*a, 2*a + a + 27 = -4*x. Is x != -2?
True
Let m = 5/34 + -157/952. Is m < -1?
False
Let l = 1 + -1. Let w = 1 + l. Is -0.1 less than w?
True
Let a be ((-8)/(-14))/(21/(-49)*-3). Which is smaller: a or -1?
-1
Let p be (5890/392)/5 + -3. Let i = p - 983/588. Let y = -7 + 7.2. Which is bigger: y or i?
y
Let b(q) = q**2 + 5*q - 10. Suppose -7*j + 2*j - 35 = 0. Let s be b(j). Suppose 12 = -5*k + 4*u, -k + s = 3*u - 5. Is k > -1/2?
True
Suppose -4*k = 3*q + 4 + 3, 4*k - 23 = 3*q. Let y = 14 + -11. Is y <= k?
False
Let x be (13 - 0)*(-8 - -9). Which is smaller: 69/5 or x?
x
Let k(y) be the second derivative of -y**5/10 + y**4/3 - y**3/2 + 5*y. Let s be k(2). Is -7 at least as big as s?
False
Let q = 5 + -2. Suppose 0 = 5*d - q - 7. Let c be ((-9)/30)/(d/4). Which is smaller: c or -2?
-2
Let u be 2/2 + 3 + 0. Suppose 6*v = u*v + 4. Let l(c) = 2*c + 12. Let x be l(-6). Which is smaller: v or x?
x
Let v(b) = 2*b**3 - 7*b**2 - b + 4. Let d be v(6). Let i = d + -2316/13. Is i greater than -2/5?
True
Let w = 64 - 67. Let p be (-40)/18 + 2/9. Which is bigger: p or w?
p
Suppose -21 - 4 = 5*u. Is -21/5 greater than u?
True
Let y = 13 + -10.4. Let n = 0.4 + y. Which is smaller: n or -1?
-1
Suppose 0 = -21*x - 308 + 14. Which is greater: x or -17?
x
Let o = -2.1 + 2.1. Is o greater than 25?
False
Let y = -4777/390 + 123/10. Suppose 2*x + 0*x = 3*x. Is y at least x?
True
Suppose -u - 3*u - 2*b + 18 = 0, -5*u - 4*b + 18 = 0. Let n be (-3 - 1) + 2 + u. Which is smaller: n or 3?
3
Let b be (-1365)/20 + 2/8. Let x = b - -474/7. Is 1/4 <= x?
False
Let w be (-6)/9 + 4/9. Let l be (1 - 4)/(-2 + 1). Suppose -4*f + 1 = -l. Is f != w?
True
Let s be (20 + (-3 - 1))*(-1)/(-22). Which is smaller: 0 or s?
0
Let l = 2 + -2. Let h = 0.23 - 0.03. Is h bigger than l?
True
Let f(j) = -3*j - 5. Let m be f(-1). Let p = -3/17 + -30/119. Which is smaller: p or m?
m
Let v = -678/143 + 51/13. Do v and -1 have the same value?
False
Let d be -1*(-1 - -6)*14/35. Let x be (-6)/21 + 8/(-21). Which is smaller: x or d?
d
Let b = 59 - 179/3. Is 0.19 <= b?
False
Let r = 1361/9 + -149. Are 2 and r nonequal?
True
Let d = 2595009 + -28343719/11. Let u = -16946731/924 + d. Let j = -133/4 - u. Are j and 1 unequal?
True
Let q = -34 + 39. Suppose -3*i + i = -2*c - 2, c = 4*i - 16. Is i <= q?
True
Let f = -194 + 312. Is f greater than or equal to 117?
True
Let x = 0 + 5. Suppose -x*r = -3*r. Is r at most as big as -1/11?
False
Suppose -12 = -i - 5*q - 2, q = 0. Suppose -4*c - i = c. Is c at most as big as -2?
True
Let c be ((-26)/(-12) - 2)*-4. Let w = 5.4 - 5. Which is bigger: w or c?
w
Let d = 1.43 - 0.43. Let i = -0.2 - -0.2. Do d and i have the same value?
False
Suppose -p + 3*h = 4, -3*p + 8 = -5*p - h. Let y = p + 3. Is y < -1?
False
Let n be 6/63 + 12/(-28). Is n at most as big as 1?
True
Let t = 5 - 4. Let p = -2 + t. Is 0 at least p?
True
Let m be 1/((-1)/(-3)) + 14. Let r(d) = d**2 + 20*d - 5. Let h be r(-21). Which is smaller: m or h?
h
Let c = -10 + 10.6. Which is bigger: c or -2?
c
Let x(a) = -a**2 + 4*a - 1. Let m be x(3). Suppose -2 = -4*y - 4*z + z, -m*y = z. Which is smaller: y or -1/3?
y
Let v(a) = -a**2 - 11*a - 10. Let p be v(-10). Let d(y) = y**2 + 3. Let k be d(p). Let g = k - 0. Is 2 at least g?
False
Let k = 18 + -17. Which is smaller: k or 4/7?
4/7
Suppose -1 = -3*k + 2. Suppose 2 = -o - k. Let m = o - -7. Is 1 < m?
True
Let b(f) = f + 8. Let y be b(-4). Let g = y + -10. Is g at least -7?
True
Let p = 61 - 77. Do p and -18 have the same value?
False
Suppose -2*r + 4 = -0*r. Suppose -14 = -2*v - 4*o, 4*v + 2*o + 2*o = 20. Suppose 11 - 29 = r*q + v*j, -16 = 4*j. Is q <= -2?
True
Let z(w) = 5*w - 3. Let i(o) = -o - 1. Let h(c) = -6*i(c) - z(c). Let y be h(-5). Suppose 5*m - y = 6. Is m at most 3?
True
Suppose 0 = 2*j + o - 58, 2*o = -2*j + 27 + 33. Is 28 greater than j?
False
Let m = 6/35 + 1/35. Let b = 2.02 + -0.02. Is b at least as big as m?
True
Let q be ((-33)/(-154))/(6/8). Which is greater: q or 11?
11
Let m = 36 - 51. Suppose p = -p - 30. Does m = p?
True
Let f = -25/33 + 2/3. Let x = 76304/33 - 2312. Let p = x - f. Which is greater: p or 0.1?
p
Let s(h) = -2*h**2 + 2. Let x(i) = i + 11. Let f be x(-9). Let q be s(f). Which is smaller: -5 or q?
q
Suppose -4*f - s = -21, -3*f - 5*s + 43 - 6 = 0. Let p = 3 + 0. Suppose f*r = r + p. Which is smaller: 2 or r?
r
Let q = -41 - -39. Let z = 0 - -4. Let a = z + -6. Is q <= a?
True
Let s be (-2 + 2)/(9/3). Let t be 1 + -2 - (s + -1). Is 1/10 less than or equal to t?
False
Let j(s) = s - 8. Let w be j(7). Let v be 3/(-3) - (1 - 1). Are v and w unequal?
False
Let y = -11.82 + 12. Let s = y - 0.38. Let t = 0.1 + -1.1. Is s at least as big as t?
True
Let c(g) = g**2 - g - 1. Let u be c(-1). Let m = -0.21 + 0.2. Let h = -0.31 - m. Which is smaller: u or h?
h
Let m(v) be the second derivative of v**5/60 - v**4/3 - v**3/2 - v**2 - v. Let i(p) be the first derivative of m(p). Let a be i(8). Is a equal to -4?
False
Let u be (-3)/(-4)*2/(-6). Are -3 and u non-equal?
True
Let x be (12/(-8))/(3/186). Is x less than -93?
False
Let n = -4.6 + 5. Let q = 7.6 - 9. Let h = q + n. Which is smaller: 3/2 or h?
h
Let r(l) = -l**3 - 11*l**2 - 19*l + 9. Let u be r(-9). Is 18 smaller than u?
False
Let l(v) = -2*v**2 + 6*v - 6. Let w be l(2). Which is bigger: w or 7?
7
Let r = 7/62 + 785/186. Let s = 1 + 3. Is r <= s?
False
Let m = -7/2 - -3. Are m and 1 unequal?
True
Suppose 7*a = 3*a - 8. Let r = a + 4. Suppose 2*i + 2 - 4 = -r*z, 2*z = 0. Do i and 4/5 have the same value?
False
Let w = 6.3 + -4.1. Is w at least -1?
True
Let k be 0/((-2)/1 - -3). Suppose k = t + 1 - 2. Is t >= 2/13?
True
Let l be ((-3)/(-12))/(10/16). Suppose -2*d