se 2*y - 3 = 5*y. Let q(j) = -j**3 + j + 1. Let v be q(y). Is -3/16 smaller than v?
True
Let m = 65 + -65.1. Which is greater: -5 or m?
m
Let y be 2 - (12/(-10))/((-3)/10). Which is bigger: y or -3/2?
-3/2
Let y be (2/(-3))/((-2)/12). Let k(v) = 11*v**2 + v + 8. Let w(z) = -5*z**2 - 4. Let h(p) = -4*k(p) - 9*w(p). Let r be h(y). Which is smaller: 3 or r?
3
Let x = -4487/17 - -264. Suppose 2*c + 3 = 1. Which is greater: c or x?
x
Let a = -22 - -45. Suppose -1 = 3*o + a. Let g = o - -4. Which is greater: g or -3?
-3
Suppose 5*d - 5*g = 0, 0 = -5*d + g - 12 + 4. Let i be 1/d*1 - 3. Which is greater: -3 or i?
-3
Let j be (-7)/((-378)/117) - 2. Let r(a) = a**3 - a**2 - a + 6. Let s be r(0). Let f(z) = z**3 - 7*z**2 + 5*z + 6. Let q be f(s). Does q = j?
False
Suppose -27*s - 12 = -33*s. Is 3 != s?
True
Let s = -6 - -6.3. Which is greater: s or -1/11?
s
Let o = 68 + -54. Are o and 0 non-equal?
True
Let o be (0 + (3 - 2))*1. Let i(s) = -s**3 - 2*s**2 + s - 2. Let x be i(-3). Suppose a + 3*m - 4 + 14 = 0, 2*a - x*m - 20 = 0. Which is bigger: a or o?
a
Let b = 870 - 30452/35. Which is smaller: 1 or b?
b
Let o = -117 - -177. Which is smaller: 0 or o?
0
Let n = -157/11 - -15. Is n != -0.1?
True
Suppose 2*i = -i. Suppose 2 = -2*r, -3*r = k + 4 - i. Let c = -1.03 - -0.03. Do k and c have the same value?
True
Let n be 4 + (138/(-33))/1. Is n bigger than 0?
False
Suppose -y - 2*a = -19, y + a - 5 = 6*a. Let k = 16 - y. Is k equal to 1/6?
False
Let c(v) = v - 1. Let s(w) = 1. Let z(n) = c(n) - 3*s(n). Let p be z(6). Let i = -1 - p. Which is smaller: -4 or i?
-4
Let d = 7 + 6. Suppose -j - 8 = -d. Is 1 greater than or equal to j?
False
Suppose 2*h + 0 = -2. Which is greater: 4 or h?
4
Let v = 2.11 - -0.43. Let u = 5.52 - v. Let w = u + 0.02. Is w equal to -1?
False
Let w = -8 - -9. Suppose -o + 0*o + w = 0. Let m be (o/2)/(1*2). Is m >= 4?
False
Let u be (-22)/(-121) - (-497)/(-11). Let i be 18/u - 77/20. Which is greater: i or -3?
-3
Let h = 3 - 0. Suppose 0 = 4*v - 2*v + h*i, -4*v + 3*i + 36 = 0. Let l be (-2)/v - (-20)/42. Is 0 bigger than l?
False
Let t = 12 - 4. Is 8 at least t?
True
Let u be (8/16)/(2/(-4)). Let f = 1.7 + 0.3. Which is bigger: f or u?
f
Let k = 6 - -1. Let a = -5 + k. Is 2 less than or equal to a?
True
Let r be 4/14 + 4894/70. Let y = r + -71. Is -2 bigger than y?
False
Let s be (-25)/(-13) - (-4)/(-2). Which is smaller: s or 0?
s
Let m = -3 + 10/3. Let o = 739/7 + -105. Which is smaller: o or m?
m
Let d = 0.093 - 0.133. Is 9 != d?
True
Let z be 2/((-6)/4 + 1). Let p be (-2)/8*8/z. Suppose -4*a = -u + 21, -4 = 2*u + 4*a + 14. Is p smaller than u?
True
Let u = -0.37 - 48.63. Is 0.2 at most as big as u?
False
Let v = -7 - -7.04. Let d = -0.27 + v. Let g = -0.03 - d. Is g >= 0.2?
True
Let f = 134 - 134.2. Is f at most -2?
False
Let c(l) be the third derivative of l**5/30 + 7*l**4/24 + 4*l**3/3 + l**2. Let u be c(-8). Let y = u + -325/4. Is 0 at most as big as y?
False
Suppose 4*c = -3*n + 119, 10 = c + 5*n - 7. Suppose 0 = 2*g - 124 + c. Suppose 4*q = -5*k + g, -5*k - 34 = -8*k - 4*q. Is k equal to 5?
False
Let c be (((-212)/(-8))/(-1))/2. Are -14 and c equal?
False
Let w(c) = c. Let j be w(5). Let r(d) = -d**3 - 5*d**2 - 5*d + 1. Let u be r(-4). Is u greater than or equal to j?
True
Let o = 60.1 - 60. Is o less than or equal to 16?
True
Suppose -17*h + 3 = -20*h. Is -5/3 greater than or equal to h?
False
Suppose 0 = 4*b - 0 - 4. Let v(l) = l**2 - l**3 - l**2 - 6*l**2 + b + 7*l. Let d be v(-7). Are d and 1 unequal?
False
Let o be 0/(8/4) - -3. Suppose 0 = -2*j - c + 4, -4*j = -3*c - 2*c - 8. Is j at least o?
False
Let m = 21 - 22. Is 2/13 at most as big as m?
False
Let q = -21 + 14. Let v(s) = s**3 + 8*s**2 + 8*s + 10. Let g be v(q). Let l be (2 + g)/(1 + -4). Is l at most as big as -2?
False
Let w(l) = -2*l**2 + 4*l + 7. Let c be w(3). Are -5/28 and c non-equal?
True
Let c = 3/380 + -2319/4940. Which is bigger: c or 1?
1
Let j = -4 + 3. Let c = 0.22 + -3.02. Let v = c + -0.2. Is j > v?
True
Suppose 0 = -3*q - 2*f + 8, 3*f - 12 = -5*q - f. Suppose -k - 2*k + 9 = -3*z, 4 = -3*z + 2*k. Is q != z?
True
Let v = 67.9 - 68. Which is smaller: 18 or v?
v
Suppose p - 3*v = -2*p + 3, 0 = 3*v + 3. Let l = 491/3 + -163. Is p at most as big as l?
True
Let t be (-2)/4 - (-1)/(-2). Let y be -11*1/8 + 1. Are t and y non-equal?
True
Let f = 15 - 8. Let p(d) = 2*d - 6. Let j be p(f). Is 8 less than j?
False
Let w = -1486 + 4324/3. Let a = 45 + w. Which is smaller: a or 0?
0
Let i = 15.6 - 15.67. Are -4 and i equal?
False
Let q = 7771004 + -15938329804/2051. Let c = q + 2/293. Is c < 0?
True
Let t = 0.11 - 4.11. Let q = 955/4 + -239. Is t smaller than q?
True
Let i = 7 + -11. Let q = i - -4.07. Is 0 > q?
False
Let c be (-4)/((-8)/(-10))*(-24)/200. Which is smaller: c or -1?
-1
Let f = 1.2 - -3.8. Let l = f + -4.2. Let n = l - -0.2. Which is smaller: n or -0.2?
-0.2
Let v be (-1)/(-2)*(9 + 9). Let j(q) = -6*q - 2. Let p be j(-2). Is p at most v?
False
Let g(q) = -4*q + 3. Let x be g(7). Let b = x - -24. Do 2/21 and b have different values?
True
Let g = -77 - -95. Which is greater: g or 19?
19
Let s = 69.8 + -80. Let n = s - -10. Which is smaller: 0.04 or n?
n
Let c be 1*((-17)/15 - -1). Let l be 8*(-5)/((-40)/6). Suppose 0 = -k + l*k. Are k and c equal?
False
Let v be 5*((-48)/(-20) - 2) - -1. Is v smaller than 15/8?
False
Let c = 1 + 1. Suppose -a + 5 = c*f, -3*a + 15 = -f - 2*f. Which is greater: f or 1/12?
1/12
Let c(h) be the second derivative of h**4/12 + 5*h**3/6 - 4*h**2 - 4*h. Let k be c(-6). Are k and -2 equal?
True
Let x = -1 + 1. Suppose -28 = 7*i - 6*i. Let u = 31 + i. Are x and u equal?
False
Let d = 0.8 + 0.2. Let p = -79/396 - 1/44. Which is greater: p or d?
d
Let j(d) be the first derivative of d**3/3 + 3*d**2 + 2*d - 3. Let q be j(-5). Which is smaller: q or 0.3?
q
Let t = 15 + -14.6. Let n = -0.4 + 0.2. Is t not equal to n?
True
Let t be (-820)/25 + (-1)/5. Let z be (1 - t/(-15)) + 1. Which is smaller: 1 or z?
z
Let b(j) = -j**3 + 15*j**2 + 7. Let c be b(15). Let t = 17 + -9. Let f = c - t. Is -2 not equal to f?
True
Let i = 6 - 4. Let a be i/(-40)*(-60)/8. Is a at least as big as -1?
True
Let l(x) be the third derivative of x**6/120 + x**5/5 - 7*x**4/12 - 17*x**3/6 - 3*x**2. Let u be l(-13). Are -6 and u equal?
False
Let l = 3.9 + -4. Let o be ((-5)/20)/(12/(-80)). Is l smaller than o?
True
Let u(j) = -j**2 + 7*j - 2. Suppose 7 = r + 3. Suppose -r*g + 36 - 8 = 0. Let s be u(g). Does s = -2?
True
Suppose 2*s = 3*s - 2. Let f(j) = j**3 + 2*j - 1. Let n be f(1). Is n smaller than s?
False
Let w be (-6)/28 + (-1)/(-2). Let f = 559.9 + -560. Which is bigger: w or f?
w
Let q = 0.19 + -3.19. Let p = 0.39 - -0.01. Which is smaller: q or p?
q
Let w = 20 - 19. Is 2/33 bigger than w?
False
Let p = 107 + -107. Which is bigger: p or -8/7?
p
Let o = -165 + 997/6. Let f = -3 + 4. Are o and f equal?
False
Suppose 0 = -3*r - 2*i - 5, 3*r + 2 = 4*r - 3*i. Let z = -10 - -9. Is z at least r?
True
Let t = 7.7 - 7. Let i = t + -1. Is 2/5 less than or equal to i?
False
Let a = -13 - -2. Let w = 15 + a. Let z = -3.8 + w. Is -1 smaller than z?
True
Let v = -0.08 + 5.08. Let t = -3 + v. Which is smaller: t or 0.4?
0.4
Let c = -6 + 3. Does c = -5/3?
False
Let g = 14 - 15. Are g and -1 non-equal?
False
Let v = -2 + 1. Let k be 0/(3/(-2 + v)). Which is smaller: k or -1/4?
-1/4
Let d be (-2)/(5*2)*2. Let n be 1/(((-3)/6)/1). Let o = 1 + n. Is o at least as big as d?
False
Let a(j) = -j**3 - j**2 + 2*j - 1. Let o be a(-2). Let s = -581 - -20337/35. Let t = -17/315 - s. Which is greater: o or t?
t
Let a be (-132)/(-9) - 2/(-6). Let z = a + -9. Are 7 and z unequal?
True
Let w = 2.33 + 0.07. Let i = w - 0.4. Is i less than -1?
False
Let i = -45/11 - -4. Do i and 0 have different values?
True
Let t be 2 - -3*13/(-5). Which is bigger: -7 or t?
t
Let u(w) = -6*w + 6 + w**2 + 4*w + w. Let q be u(0). Is 6 > q?
False
Let k = -15 + 8. Let m = 4 + k. Which is smaller: m or 2?
m
Let y = -4 - -1. Let j = 11.9 + -12. Which is smaller: y or j?
y
Suppose 1 = -3*b + 16. Suppose -b*h = -12 + 2. Suppose 4*u + 4 = 12. Is u at least as big as h?
True
Let p = -3 + 1. Let z be 1/p - 3/(-6). Suppose -g - 5*o = z, -4*g = 2*o - o - 19. Is 5 > g?
False
Suppose 0 = -5*q + 8*q + 9. Is q <= 0.02?
