pose 33 + 9 = 7*b. Let t(x) = 7*x - x - 4*x**2 - 4 - 3*x**2 + x**3. Let y be t(b). Do y and -1 have the same value?
False
Let x = -3.9 + 4. Let y = 0 - 0. Which is greater: x or y?
x
Let y(u) = 13*u**2 + 2*u + 1. Let k be y(-1). Let b be ((-2)/14)/(k/(-14)). Suppose 0 = -0*s - 3*s. Which is smaller: s or b?
s
Let z = 124/3 - 41. Let l be -4*(11/4 + -3). Is l greater than z?
True
Let r be -1*(-5)/((-5)/3). Let p be (-14)/(-4) + r/(-6). Does 5 = p?
False
Let h = -125 + 127. Are h and 14 nonequal?
True
Let s = -3.2 + 3.4. Let b = 3 + -8. Is b not equal to s?
True
Let p = -0.064 - 0.036. Let r = -2.4 + 0.4. Which is smaller: p or r?
r
Let v be (-386)/(-66) - 3 - 3. Let q = 7/264 + v. Does 0 = q?
False
Let z be (-122)/(-18) + (-6)/(-27). Let m = z - 4. Suppose -l - l + 3*q - 15 = 0, 15 = -l + m*q. Is l < -1?
False
Let z = 22469/24 - 936. Which is smaller: 1 or z?
z
Suppose -14*d + 9*d + 75 = 0. Which is bigger: d or 13?
d
Let a be (-5)/(-10)*(-2 + 6) - 0. Let h(x) = -x**2 - 4*x + 1. Let o be h(-3). Is a less than or equal to o?
True
Let x = -1 - -3. Suppose -b + x*b - 3*p = 0, -p = -2*b. Suppose -5*c + b*c = 0. Which is bigger: c or 2/7?
2/7
Let p be (4998/(-1665) - -3)*-164. Let l = p - 6/37. Which is smaller: -1 or l?
-1
Suppose 0*s + 5*s - 30 = 0. Let x = 0 + s. Suppose 0 = 4*f - 16, -5*u - f - 2 = -x. Are u and 2/9 unequal?
True
Let s(w) = 4*w - 5*w - 1 + 3. Let u be s(5). Let x be (-2)/(-8) - u/(-12). Is -0.2 greater than x?
False
Suppose 4*j + 17 = 5. Is j less than or equal to -6?
False
Let c be ((-4)/(-8))/(-14*(-5)/(-460)). Is -3 != c?
True
Let z(n) = -n**2 + 4*n. Let b be z(3). Suppose -y - 8 = -3*g, -g - b*y = -y + 2. Suppose 3*m = -4*q - m - 12, -14 = 3*q + 4*m. Is g at most q?
True
Let i be (-16)/(-4) - (1 - -3). Is -3/14 at most i?
True
Let a = -5/333 + -3/74. Which is smaller: a or 0?
a
Let h = 0.2 - 1.2. Let d be (-12)/(-4) + 9*-1. Which is greater: d or h?
h
Let h = 42 + -42. Let o be (-3)/9 - (-22)/30. Which is bigger: o or h?
o
Let m be 16/32 - 22/(-4). Is 5 > m?
False
Let a = -3 - -4. Let o be a + 3/(-33)*9. Does o = 3/4?
False
Suppose -8*x + 20 = -4*x - 2*l, 2*x + 5*l + 14 = 0. Is x at most 2?
False
Suppose -3*o - 22 = 29. Which is smaller: -18 or o?
-18
Let p be 1*(4 + 2*-1). Let i = 4 + -1. Which is greater: i or p?
i
Let z be 28/(-9) - (1 - 4). Let s = 2 + 1. Let a = 3 - s. Which is bigger: z or a?
a
Suppose -3*c - 33 + 6 = 0. Do c and -9 have the same value?
True
Suppose 2*h - 80 = -8. Does 37 = h?
False
Suppose 4*s = -0*s - 4. Is -1/4 <= s?
False
Let w be 1*(1 + 27/(-21)). Suppose -13 - 2 = -5*f. Are w and f equal?
False
Let q be (1 - (2 + 0)) + 0. Are q and 1/4 unequal?
True
Let k be (-2)/(-5) + 2/(-5). Suppose 0 = -3*q + 9 - k. Let g(b) = b**3 - 2*b**2 - 4*b + 3. Let h be g(q). Is h greater than or equal to 0?
True
Suppose 3 = -2*c + 3*c. Suppose -5*j = 4*w - 4*j + 73, w - c*j = -2. Do w and -16 have the same value?
False
Let d = -1 - 2. Let h be d/(-18)*(1 - -2). Is 0 < h?
True
Suppose t = 2*t. Suppose 5*y - 5*i = -35, 3*i + t*i = -3. Suppose 18 + 10 = -4*o. Which is smaller: o or y?
y
Let b = -21 + 21. Suppose b = -v - v. Let f = -361 + 2171/6. Which is smaller: f or v?
v
Suppose 6 = 4*z + 2. Is 3/8 not equal to z?
True
Let v be (-1)/(-1)*-3 + -236. Let q = -2627/11 - v. Suppose 0 = -2*p - 0*p. Which is smaller: p or q?
p
Let h = -0.7 - -2. Let p = -1.2 + h. Let q(n) = 5*n**2 + n + 1. Let d be q(-1). Which is bigger: d or p?
d
Suppose 5*b + 2*t - 5*t = 60, 48 = 4*b + 3*t. Which is smaller: 8 or b?
8
Let a be -1 - ((7 - 3) + -1). Let p = 6 + -10. Is a at most as big as p?
True
Let w be (-1)/((-2)/16)*-1. Is w at most as big as -8?
True
Let i = -6 - 0. Let c = 1.35 + -0.35. Is i <= c?
True
Let r(j) = 6*j - 3. Let b be (-6)/(-9) - 4/(-3). Let c be r(b). Let w be c/(-11) - 4/22. Is -2/7 at most w?
False
Let k = -9 + 1. Is 1 at least as big as k?
True
Let o = 0 - -1. Suppose 2*y - 8 = -36. Let j be (2/y)/((-54)/(-63)). Is j > o?
False
Let p = -16 + 31. Let l(u) = 5*u - 6. Let v be l(4). Is p <= v?
False
Let h = -2.492 - -0.482. Let o = 0.11 + -0.1. Let n = o + h. Is n less than -0.1?
True
Let x(n) = -n + 2. Let z be x(4). Let w = 3 - z. Let l(c) = c**3 + 3*c**2 - 5*c + 1. Let h be l(-4). Is w at least h?
True
Let h = 31/84 + -1/28. Are h and -1/3 nonequal?
True
Let g = -3.91 + 4.1. Let t = g + -0.09. Let a = -1.9 + 2. Is t > a?
False
Let m(z) = 4*z - z - 4*z - 3. Let b be m(-5). Suppose -4*s + u - 4 = s, -b*s + 1 = -3*u. Is -1 > s?
False
Let g = -572724/8135 - -4/1627. Let d = -70 - g. Is d at most 1?
True
Let s = -20.8 + 21. Do 1/7 and s have the same value?
False
Suppose -5*d + 2*w + 0*w = -40, -2*d + 37 = -5*w. Let i = 5 - d. Are 0 and i equal?
False
Let i = 853 + -17917/21. Do i and 0 have the same value?
False
Suppose -1 - 11 = -4*y. Suppose -2*v - y = -3*v. Is v < 2?
False
Let r = 32.2 + -28. Let t = r + -4. Let b be (-1*2)/((-77)/(-11)). Which is smaller: t or b?
b
Let m(t) = 2*t + 9. Let v be m(-6). Is v at least as big as -1?
False
Suppose -4*s + 48 = 4*k, 4*k - 26 - 23 = -5*s. Which is bigger: -1/3 or k?
k
Suppose -2*b = 4*h, -3*b + 2*h = -3*h. Suppose 0 = -3*q - 9 - b. Which is bigger: -2 or q?
-2
Let k = -12 - -8. Let r be (-21)/(-9) - 8/(-12). Suppose r*w - 9 = -12. Is w greater than or equal to k?
True
Suppose -n - n + 2 = 0. Let g be (-1)/(-1) - (-28)/(-30). Which is greater: n or g?
n
Let d(p) = -p**3 + 2*p**2 - p. Let z be d(1). Are z and 1/4 equal?
False
Let c = 11.05 + -11. Let z = c + 0.45. Which is greater: z or -1?
z
Let m be ((-152)/(-95))/(2/5). Is m > -1?
True
Suppose -2*x + 3*w = -31 + 10, 0 = -3*x - 4*w - 11. Suppose 0 = x*j - j. Let m be (-6)/2 + 35/15 + 2. Which is greater: m or j?
m
Let d = 156 + -245. Let n = d + 977/11. Which is smaller: -1 or n?
-1
Let b = -2.6 - -13.6. Let x = -7 + b. Let w = 6 - x. Are w and 2 equal?
True
Suppose -12 = 15*c + 78. Is c equal to -24/5?
False
Let l be 0 + -2 + 0/2. Suppose 5*i - 99 = -f, -29 - 268 = -3*f - i. Let k be l + f/21 - 3. Does -1 = k?
False
Let q(n) = -n**2 + 5*n - 4. Let p be q(5). Let x be 6/p - (-21)/14. Let b be x/(-2 - -1 - -2). Which is smaller: -1 or b?
-1
Let i(h) = h - 1. Let d be i(-1). Let n be d/(-4)*(-1 - -1). Is n bigger than 0?
False
Let b = 9 - 4. Let s be -4 + b - (-2)/(-3). Is s <= 1/3?
True
Suppose 0 = 15*n + 26 + 469. Is n greater than -32?
False
Suppose 0 = 2*b + 4*i - 10, -5*b = 5*i - 2 - 3. Do -9 and b have the same value?
False
Let w = 39/86 + 2/43. Let b be (18/5)/((-22)/10). Let u = 43/33 + b. Is u less than or equal to w?
True
Let o = -47 - -33. Is -14 greater than o?
False
Let i(s) = 2*s**2 - 28*s - 28. Let x be i(15). Which is bigger: -0.5 or x?
x
Let y = 2.046 + -0.046. Which is bigger: -1 or y?
y
Suppose 13 = -2*g - 3*v - 2*v, 0 = -5*g - 4*v + 10. Suppose g = -2*x - 2. Is x at least -5?
True
Let y be 1 - (-3 - (-173)/43). Let j = 32/589 - -48293/75981. Let d = j + y. Which is greater: 2/5 or d?
d
Let p = 0.02 - -5.98. Let n = -3.44 + 0.44. Let b = p + n. Is -1/2 >= b?
False
Suppose 0 = 2*s + 6 - 2. Which is greater: s or 0.05?
0.05
Let u = 3/11 + 35/33. Which is smaller: u or 0?
0
Suppose -6*v - 5*m = -v - 45, 5*m - 17 = 2*v. Suppose v*x = 5*x. Is x greater than or equal to -2/7?
True
Let i = 0 + -2. Let j = 19 + -12. Let g = 6 - j. Is g bigger than i?
True
Let j be (1 + 1*-2)/(-1). Suppose -n + j + 2 = 0. Let h = -3/49 + -11/49. Which is smaller: h or n?
h
Let a be 7/20 + (-689)/65 + 10. Suppose 0 = -0*f - f + 1. Is f less than a?
False
Let n = 0.01 + -0.31. Let v = -0.26 - n. Let c = -1.96 - v. Do 2/7 and c have different values?
True
Suppose -2*i = -3*i. Which is smaller: -2 or i?
-2
Let q = -32 - -63/2. Let x = 0.5 + -1. Is q < x?
False
Let s be (6 - 22) + 1*3. Let g(m) = m**2 + 13*m - 3. Let r be g(s). Are -1/4 and r nonequal?
True
Let g = 3 + -2. Let d = g - 3. Do d and 0 have the same value?
False
Let q(b) = 8*b + 2. Let r be 10/(-25) - 9/15. Let m be q(r). Suppose 0 = -l + 2*l + 6. Is m at most as big as l?
True
Let r(h) = -1 + 1 + 2*h - 3. Let q be r(2). Let z = -88/5 - -18. Which is smaller: q or z?
z
Let l(o) = -o**3 - 12*o**2 - 13*o - 16. Let t(w) = -6*w + 1. Let u be t(2). Let d be l(u). Suppose n = -2*i + 7, -n - 18 = 3*i - d*i. Is n less than -2?
True
Suppose 5 = 5*s, -4*y + 6*s + 92 = 2*s. Which is