-10). Let b be (2/(-4))/(6/w). Is b at most -1/2?
False
Suppose -5*s - 3 = 27. Let b = -11 - s. Which is greater: b or -3?
-3
Let x = -1/138 + 421/966. Which is bigger: 6 or x?
6
Let y = -2 + 3. Which is smaller: -1/11 or y?
-1/11
Let g = 0.19 - -0.01. Is g greater than -6?
True
Let s = 13/3 + -35/6. Which is smaller: -3 or s?
-3
Let t(l) = l**3 - 7*l**2 - 7*l - 3. Let g be t(8). Suppose -g*u = -0*u - 10. Let x be (-1)/(-3) + u + -2. Do 1 and x have the same value?
False
Let b = 1.4 - -0.6. Let i = -6 - -7. Is i at most as big as b?
True
Let r = -4 - -3. Which is smaller: r or 0.1?
r
Let w = 5 + -5.05. Let z = -0.15 - w. Which is smaller: 3 or z?
z
Let v = -179 + 3399/19. Let x(g) = -g**2 + 9*g - 8. Let f(l) = -4*l - 4. Let z be f(-3). Let c be x(z). Which is bigger: v or c?
c
Let m(i) = i**2 + 6*i + 2. Let q be m(-6). Suppose 0*l = -q*l + 8. Let s = 24 + -18. Which is smaller: s or l?
l
Suppose 0 = 2*r - 5*d - 69, 4*d - 3*d = 3*r - 84. Suppose 12 = -4*c, 5*c - r - 3 = -5*y. Are 8 and y nonequal?
True
Let z(v) = -v**2 - 10*v - 12. Let w be (-30)/4 + (-3)/6. Let q be z(w). Suppose 5*s = r + 24, 40 = 8*s - 3*s - 5*r. Is s >= q?
True
Suppose 585 = 3*y - 0*y. Let r be (1 - 3)*y/6. Let z = r - -257/4. Do z and -2 have different values?
True
Let j = -2 - -2. Let f(a) = a - 6. Let n be f(6). Suppose -5*m + n = 5. Which is greater: m or j?
j
Let q = 15507/5 + -3187. Let l = 86 + q. Do -1 and l have different values?
True
Let h be 6/(-8) - (-1 - -1). Let d(v) = -v**3 + 5*v**2 + 5*v + 4. Let w be d(6). Let o be (-3 - -4)*(w + 0). Is o <= h?
True
Let v(f) = -f**3 + 8*f**2 - 5*f - 6. Let x be v(6). Let d be (-50)/(-18) + 8/x. Let m be d/(-4) - (-3)/(-12). Which is smaller: m or -7/3?
-7/3
Let h(y) = -7*y - 11. Let n be h(-2). Which is smaller: n or 20/9?
20/9
Let l = 3 + 1. Suppose k = 1, l = -2*y + 3*y + k. Let v = 4 - y. Is 2 greater than or equal to v?
True
Let g be -1 + 152/30*-1. Let k = g + 20/3. Let x be (1 + (-1)/1)*1. Which is greater: x or k?
k
Let y be ((-1)/4 - 0)*-34. Let q be (4 - 31)*25/(-78). Let g = y - q. Is 1 not equal to g?
True
Let w(n) = -n**3 - 4*n**2 + 5*n + 2. Suppose -3 = 3*h, -c - 2*h - h - 8 = 0. Let g be w(c). Suppose 6*x = g*x - 16. Is -1 less than or equal to x?
False
Suppose -4*d + 3*o - 5*o = 10, 0 = d + 3*o - 10. Let r be (3/d)/((-4)/20). Let u(n) = n**3 - 3*n**2 - n + 4. Let b be u(r). Which is smaller: b or -1?
-1
Let g = -0.34 - -0.54. Are -5 and g equal?
False
Let w = 3 + -2.9. Let i = w - 0.1. Is i smaller than 0?
False
Suppose -s = -2*o - 1, -s - 2*o - 2 = -3*s. Let f(d) = d**2 - 2*d. Let k be f(s). Is -0.1 <= k?
False
Let y(k) = -k**3 + 8*k**2 - 6*k - 7. Let s(b) = -b**3 + 11*b**2 + 13*b - 5. Let u be s(12). Let i be y(u). Does 1/16 = i?
False
Let h = -57 + 48. Which is smaller: -2 or h?
h
Let z(h) = h**2 + 2*h - 4. Let p be z(-4). Suppose -w + 16 = p*x, 4*w - 2*x = 3*x - 20. Are 2/9 and w equal?
False
Let n be (-18)/72 - (-2)/8. Do 0 and n have the same value?
True
Let h = -189 + 188.9. Which is smaller: h or -9/13?
-9/13
Let b = -2 - -4. Suppose c + 0*c - q - 1 = 0, 0 = q - 1. Suppose 3*h = -c + 5. Which is greater: b or h?
b
Let n be 2/(-3)*-3 - 10. Let y = -5 - n. Let i be 3/(-4)*y/9. Is 0 less than or equal to i?
False
Let i be 74/(-14) + (-4)/(-14). Let v(z) = z**2 + 5*z. Let b be v(i). Is b not equal to -2?
True
Let i(y) = y**2 - 4*y + 3. Let j be i(4). Let l = -3 + j. Is l at most as big as -1/4?
False
Let c = -4 - -3. Which is bigger: c or 5/33?
5/33
Let o be 7/(-21) + (-4)/6. Is o at least 5?
False
Let y = 5 + 8. Is y at most as big as 13?
True
Let m(f) = f**3 + 7*f**2 - 8*f - 2. Suppose -5 = -n + 4*u + 7, 0 = -4*n - 5*u + 27. Suppose -5*h - n = -4*h. Let y be m(h). Which is greater: y or -1?
-1
Suppose 2*x - 36 = 36. Suppose -x = 3*g + g. Is -9 != g?
False
Let r = 5173/6 - 860. Let m = 8 - 5. Which is greater: m or r?
m
Let b = -16.222 + 16.2. Is 0 != b?
True
Let z be ((-24)/(-63))/4*3. Let i = 91.9 - 86.89. Let k = 5 - i. Is z at least as big as k?
True
Let z = -0.02 - -2.02. Let d = -76 - -76. Which is greater: d or z?
z
Suppose 8 + 17 = -5*m. Let w(n) = -n**3 - 4*n**2 + 2*n + 5. Let f be w(m). Suppose -l + f = -5*l. Which is bigger: -4 or l?
-4
Let y be 2/10*(-5)/(-18). Let h be 3/2*(100/(-15) + 6). Is h smaller than y?
True
Suppose 0 = q + 3*q - 12. Suppose -q*x = 2*x. Is x greater than -3?
True
Let v(j) = -3 + 9*j + j - 2*j**2 - j**2 + 2*j**2. Let p be v(10). Are p and -3 equal?
True
Let j = 139 - 559/4. Suppose 5*c + 0 = 15. Let m = -3 + c. Is m > j?
True
Suppose 2*g + 8 = 2. Which is greater: -4 or g?
g
Let i = -2.1 + 2.6. Let o = i + 1.5. Do -3/7 and o have different values?
True
Let m = -0.008 + 11.808. Let g = m - 21.7. Let r = g + 10. Is r != 0.4?
True
Let w = -13 + 12. Let j be 5/75 + (-1)/(-3). Which is greater: w or j?
j
Let o = -2.03 + 0.03. Which is bigger: o or -11?
o
Let l be 3 + -5 - 136/(-67). Let g = l + 331/134. Is 4 < g?
False
Suppose -s + 17 = -3*z, 22 = 2*s - z + 3. Let t(d) = d**3 - 3*d**2 - 4*d + 2. Let g be t(4). Suppose -g*w + 6*w = s. Is 1 <= w?
True
Suppose 3*c = 2*c + 6. Suppose -3*r + 2*r = -5*l + 3, -3*r - l + 23 = 0. Does r = c?
False
Let k be 22 - (4 + (0 - 0)). Let t = k + -17. Is -2/43 at most as big as t?
True
Let c = -193/4 - -48. Is c >= 1?
False
Let r = -14.6 + -3.4. Let f = 18.2 + r. Is f bigger than -0.1?
True
Suppose -12 = -r - 2*r, 4*l - 8 = -4*r. Let p = -300 + 1795/6. Which is greater: p or l?
p
Suppose 4*k = -2*z + 4, k = 6*z - z - 10. Let m = 2 - -1. Is k less than or equal to m?
True
Let t be -17 + (2 + -1 - -3). Is -12 greater than or equal to t?
True
Let o(j) = -j**2 - 3*j + 1. Let y be o(-3). Which is smaller: y or 3/2?
y
Suppose -2*i + 41 = -i. Let w = -28 + i. Suppose 0 = -5*z - 2*c + 27, -3*z = -2*c - w. Which is bigger: 4 or z?
z
Let u = 14.06 - 14. Let y = u + 1.94. Which is smaller: -2/5 or y?
-2/5
Let y be (-4)/14 + 60/(-84). Is 1/13 less than y?
False
Let n = -1.5 - -8.5. Let g = n - 11. Let v = 2 + g. Is 0.2 greater than v?
True
Let l(v) = v**2 - 4*v + 4. Let p be l(5). Which is bigger: 8 or p?
p
Suppose -4*m = -4*j + 116, -j + m + 104 = 3*j. Let y = j + -15. Suppose n + 6*o - 3*o = y, 3*o - 11 = -2*n. Is n >= 2?
False
Let l = -4 + 2. Are 3 and l non-equal?
True
Let c(b) = -b**3 - 10*b**2 - 3*b + 2. Let k be c(-10). Let w be 2 - (3 - k/2). Are 15 and w non-equal?
False
Let b be ((-3)/6)/((-1)/(-6)). Suppose 3*v = -v + 12. Let n = -5 + v. Which is smaller: b or n?
b
Let q = 26 - 79/3. Which is smaller: -1 or q?
-1
Let p = -0.38 - -0.08. Let o = p - -0.3. Let m = o - 0. Is -2 != m?
True
Let w = 165 + -655/4. Is 2 > w?
True
Let a be (-5 - 126/(-25))*(-14 - -2). Which is greater: a or 0?
0
Let h = 18 + -16.3. Let x = h - 2. Let w = x - -0.9. Is w >= 0.1?
True
Let s = -0.26 + -2.84. Let x = 3 + s. Let i = -13 - -12. Is x at most as big as i?
False
Let y be 0 - 0 - (1 + -1). Let q be y/(-1)*3/(-3). Let c be (2 - 15/6)*q. Which is bigger: c or 2?
2
Let z(b) = b**2 + b - 1. Let o be z(2). Suppose 0 = -3*g + o + 4. Which is smaller: g or 4?
g
Let l be 2 + (120/(-3))/(-1). Let h = l + -59. Is h != -18?
True
Let x = -4 - -3. Suppose -5 = -a + 5*q, -4*a - a - 3*q = 31. Let c = -5 - a. Which is greater: x or c?
c
Let f(r) = r - 18. Let g be f(6). Which is smaller: -11 or g?
g
Let b be (-9)/12*2/6. Which is smaller: b or -110?
-110
Suppose -5 = -7*o + 2*o. Let s be -1 + (-1 - -8) + 0. Let g be s/(-8)*3/(-9). Which is greater: o or g?
o
Let y = -0.05 + -0.15. Let z = y - -0.4. Which is smaller: -0.3 or z?
-0.3
Suppose 0*k + 4*k = -4*a + 68, 4*a = -k + 32. Let l be (-1)/k*2*4. Which is smaller: l or -1?
-1
Let d = 1.4 + 0.6. Let w = -2.5 - 10.5. Let c = w + 14. Is d greater than c?
True
Let j = -14 - -17. Let f = 6 + -3. Suppose -3*n = j*r + f, 2*r + 17 = -r + 4*n. Is 2/3 at most r?
False
Suppose 5*q = -7 + 22. Let h be 1/q*(7 - -1). Which is bigger: h or 4?
4
Suppose -2*g = 2*f - 4, -4 - 2 = -5*f - g. Let p(r) = r**3 - 30*r**2 + 2. Let j be p(30). Is j < f?
False
Let a = -39.9 + 41. Suppose -2*u - u = 0. Which is smaller: u or a?
u
Let f = 30 + -21. Let d be (3/f)/(20/(-6)). Let r(v) = -v**3 - 5*v**2 - 3*v - 14. Let z be r(-5). Which is bigger: d or z?
z
Let o = -3 - -3.4. Let k = 1 + -0.9. Which is bigger: k or o?
o
Let u = 1 + 6. Let k = u - 6. Let a