21*y - 3. Let z be n(21). Let a be z - 20/(-8) - (-9)/6. Do s and a have different values?
True
Let d = -133.915 - -134. Let i = d - -0.915. Which is greater: i or -5?
i
Let u = -12 + 8. Let r be (75/(-40))/(3/6 - 0). Which is smaller: u or r?
u
Let k = -26 - -25. Suppose 0*c + c - 4 = -2*n, 0 = -3*n + 5*c + 6. Let p be (36/64)/(3/n). Which is smaller: p or k?
k
Suppose 7*o = 2*o + 26525. Let h be o/760 + (-3)/2. Let i = h + -43/8. Is i not equal to 1?
True
Let l = -32/47 + 2010/329. Which is bigger: l or 4?
l
Let l = -1669 - -1673. Which is smaller: l or 44?
l
Let k be (-8)/(-24)*(1145/1135 + -1). Which is greater: 1 or k?
1
Let j be 3 + -4 + 0 + 6. Let v be j + -8 + 1 + -2. Is v equal to -4?
True
Let h = 7159/5 + -1432. Suppose 0*z = z - 1. Let m = z + -1. Which is smaller: m or h?
h
Suppose 0 = -11*a + 15*a - 76. Let h = 24 - a. Suppose h*t - 14 = 4*t. Is 15 greater than t?
True
Let n(v) = -v**2 - 5*v + 4. Let r(k) = k**2 + 10*k + 12. Let t be r(-8). Let z be n(t). Let g = z - 12. Which is greater: -5 or g?
g
Suppose 3*t = -2*c + 250, -4*c + 263 + 257 = t. Is c bigger than 131?
False
Let r = -3/163 - -247/4564. Is r greater than or equal to 0?
True
Let s = -5 + 13. Suppose -7 - 225 = s*v. Which is smaller: -28 or v?
v
Let x(d) = -4*d + 1. Let a be x(0). Which is smaller: a or -2/1849?
-2/1849
Let h be (-16)/4*(-5)/90. Let j = -17 - -23. Suppose -j*o - 1 = -7. Is h less than o?
True
Let b be 33/22 + (-3955)/170. Which is smaller: -21 or b?
b
Let m be ((-9)/(-3))/((-1)/((-1)/(-20))). Let v = m - 1/10. Which is greater: v or 105?
105
Suppose 2*z - 1 = z. Suppose -3*n - 2 = z. Which is smaller: n or -2/25?
n
Let a be ((-220)/25)/(-4*(-7)/140). Is -51 smaller than a?
True
Suppose 0 = 429*s - 418*s - 33. Let f(x) = x - 1. Let n be f(2). Suppose -s*b + n = -4*b. Is -1 at most b?
True
Suppose -24 = 5*y + 1, 3*q - 38 = 4*y. Which is greater: 0.3 or q?
q
Let f(w) = 7*w**3 + 2*w**2 + w. Let k be f(-1). Let r be (-16)/(-6) + 4 + k. Let t = -4 - -6. Is r greater than or equal to t?
False
Suppose 211*y - 200*y = 3146. Which is greater: y or 2004/7?
2004/7
Let x(a) = a**3 + 6*a**2 + 3*a + 2. Let v be (20/(-30))/(2/15). Let y be x(v). Suppose -4*i + 15 = i, 3*h - y = -i. Which is bigger: h or 4?
4
Let v = -6 - -7. Let q be (0 - v) + 15/3. Suppose -5*l - 6 = q. Is l smaller than 3?
True
Let k be (-4)/18 - 266/(-63). Suppose 5 = -k*b + 1. Let t(n) = 2*n**2 - n - 4. Let z be t(3). Is z bigger than b?
True
Let d = -355 - -351. Which is greater: -16 or d?
d
Let v be ((-52)/(-16) + 18/24)/(-122). Is 0.1 bigger than v?
True
Let i(d) = d + 7. Let s(b) = 7*b**3 + 1. Let u be s(-1). Let w be i(u). Let n be (-10)/15 - w/3. Which is smaller: n or -2/11?
n
Let c = -6900 - -6880. Let d = 0 - -1. Which is bigger: d or c?
d
Let c = -46539/269 + 173. Which is bigger: c or -1?
c
Let a = -5 + 11. Let r(k) be the third derivative of -k**5/60 + 3*k**4/4 - 13*k**3/6 - 22*k**2. Let j be r(17). Which is greater: a or j?
a
Suppose 18*s - 80 = -8. Suppose -s*b = 3*n + 28, -2*n + 3*n = -4. Is b at most as big as -28/9?
True
Let v = -9 - -7. Let x be 1/(-1) - 6/(-15). Which is smaller: x or v?
v
Let f be (-5)/(220/(-8)) + 1038/(-22). Let d = f - -409/9. Which is smaller: -1 or d?
d
Let p be (-4)/((-6)/15 + 0). Suppose -j + 10 = -5*q - 0*q, 2*j + 5*q + p = 0. Suppose j*g + g = -1. Is -2/15 >= g?
True
Let x(z) = z + 7. Let k be x(-5). Let j = 371/57 - -14047/38. Let y = 377 - j. Which is greater: k or y?
k
Let g(j) = -9*j + 172. Let p be g(-20). Is p >= 352?
True
Let q = -2.462 - -0.162. Does -1/2 = q?
False
Suppose -o + 10 = 9*o. Let v be (11/((-55)/(-38)))/(o/(-5)). Is -39 greater than v?
False
Let w be -22*(-7)/2450*-7. Which is smaller: -0.1 or w?
w
Let k(m) = -83*m**3 + 4*m**2 - 2. Let g be k(1). Is -81 greater than g?
False
Let f(v) = -v**2 - 4*v + 2. Let h be f(-4). Let m be 2 - (h - (-6 + -2)). Let i be 28 + -27 - (-1 - -11). Is m greater than i?
True
Let n(u) = 16*u + 100. Let p be n(-6). Are p and -8 nonequal?
True
Let k be 8/(-32) - 1/2. Let n = 49.81 + -50. Let z = 0.29 + n. Are z and k non-equal?
True
Suppose -6*c - 28*c + 884 = 0. Do c and 105/4 have different values?
True
Suppose 43*o - 21 = 22. Which is greater: 15/173 or o?
o
Let k(r) = -r**2 - 8*r - 14. Let m be k(-5). Let b be (3 + -3 + m)/(3/(-180)). Is b not equal to -61?
True
Let x = 0.26 + -0.26. Which is bigger: 161 or x?
161
Let o = -16 - -17. Which is greater: 2/727 or o?
o
Let x = 6/199 + -416/597. Which is bigger: x or -165?
x
Suppose -4*g - 4*u = 16, 0 = -10*g + 5*g - 2*u - 8. Suppose g = 40*y - 41*y - 2. Are y and -1 unequal?
True
Let n = -0.106 - -10.106. Let w = n - 26. Are w and 2 nonequal?
True
Let b = -1467 - -1467. Which is smaller: -3/80 or b?
-3/80
Suppose -r - 77 + 78 = 0. Is 5/73 greater than r?
False
Let q = 143 - 154. Is -1/4 greater than or equal to q?
True
Let r = 172 - 863/5. Suppose 3*w = -i + 117, -5*i = 3*w - 47 - 58. Let j be w/(-15)*(0 - 3/(-12)). Is r at least j?
True
Let c be (8/8)/(2/(-22)). Do -15 and c have the same value?
False
Let a = 1319.97 - 1320. Let m(u) = u**3 - 3*u**2 - 3*u - 4. Let c be m(4). Is c less than or equal to a?
False
Let j = 0 + 3. Let m = -0.14 - -4.74. Let f = -3.6 + m. Is j != f?
True
Let w be (0 + 8 - 10) + -85. Is 1 <= w?
False
Suppose -50*r - 47*r - 194 = 0. Is -60/23 less than or equal to r?
True
Let z = 10/17 - 33/85. Let q = -89 + 125. Let k be (-80)/q + (-2)/(-9). Which is bigger: z or k?
z
Let u(h) = -3*h**2 + 4*h + 4. Let o be u(4). Suppose 8*y - 5*k + 180 = 3*y, 3*k = -2*y - 67. Let w = o - y. Are w and -1 equal?
False
Suppose 11*o = 17*o + 126. Let j = o + 15. Which is smaller: 0.3 or j?
j
Let p be -1*((-690)/(-45))/((-28)/(-6)). Which is smaller: p or -4?
-4
Suppose 5*z = a - 0*z + 19, 5*a = z + 1. Let g be ((-16)/14)/(-8)*(-14)/(-6). Which is smaller: g or a?
g
Let d(m) = m**3 + 4*m**2 + 4*m + 2. Let t be d(-2). Let k be 4/t*(9 + 0 - 4). Which is bigger: k or 9?
k
Suppose -k = -5*r - 31, r + 5*k + 16 = -11. Which is smaller: r or -10?
-10
Let b be 40/4*6/4. Let q(w) = w**3 - 5*w**2 - 3*w + 5. Let d be q(6). Let c = b - d. Do c and -7 have the same value?
False
Let j = -843 - -843.14. Is j != -3/10?
True
Let b = 38 + -116/3. Let f = -164 - -163.919. Let j = f + 0.081. Is j <= b?
False
Suppose -5*h - q + 4*q = -9, -5*h - 6 = 2*q. Suppose h = -2*j + 3 - 7. Let x = 697 + -6289/9. Which is greater: x or j?
x
Let s = -31564 + 116628979/3695. Are 0 and s equal?
False
Suppose -3*w + 24 + 4 = -5*v, -4*w + 2*v = -14. Let q(g) = g + 5. Suppose 12 = -3*s + y, s = -0*s + 2*y + 1. Let h be q(s). Which is smaller: h or w?
h
Let h = 234 + -234. Which is bigger: h or 9?
9
Let k = 0.58 + 9.12. Let w = k - -0.3. Let j = w + -9.8. Which is smaller: j or 0.1?
0.1
Let t = 13 - 12.75. Let s = t - -23.75. Let m = 24 - s. Which is smaller: -13 or m?
-13
Let j(h) = h + 3. Let t be j(2). Which is smaller: t or 52/11?
52/11
Suppose -6 = 3*t, 5*u - t - 8 - 4 = 0. Suppose -h = u*h - 15. Suppose 3*f - f + 12 = 2*p, -2*f - 12 = h*p. Is f equal to -5?
False
Suppose 32*k - 26 = 34*k. Let w be (3 - 4/4)/k. Which is smaller: w or 1/6?
w
Suppose -2*k + 4*q = 158, -7*k + 5*k = -q + 143. Which is bigger: -70 or k?
k
Let v = -16.154 + 16.1. Which is smaller: 1 or v?
v
Suppose -4*u + 4 = -2*k, 5*u + 3*k + 8 = 2. Is u less than or equal to 193?
True
Let m be 5*12/(-10) + 3480/582. Is m at least as big as -7?
True
Let p = 7 - -1. Suppose -107 - 77 = -23*u. Is u bigger than p?
False
Suppose -3*m + 279 = -4*y + 2167, 0 = m + 4. Are y and 470 unequal?
True
Suppose 0*d = 4*d + 56. Let o be (-41)/(-21) - (-4)/d. Which is smaller: 2 or o?
o
Let c = -4182 - -79428/19. Let f = -172/133 - c. Let g be 117/91 + 1/(7/(-2)). Is g > f?
True
Let i be -3 - (-19)/7 - (-2910)/(-105). Which is smaller: i or -30?
-30
Let j(a) = 2*a**2 - 16*a - 7. Let k be (-2*6)/(-3 - -1). Let y = k + 2. Let h be j(y). Is h greater than or equal to -7?
True
Let u be 1*(-1)/(-1)*-1. Let o(q) = 6*q - 28. Let v be o(13). Let n = v + -49. Which is greater: u or n?
n
Let h(k) = 3*k + 1. Let b be h(2). Let t = -13 - 67. Let g = -80.1 - t. Are g and b equal?
False
Let h be 84/(-80) + -4 - (-15)/3. Which is greater: h or 0?
0
Suppose 0 = 2*v - 4*h + 116, 37*h - 39*h = 2*v + 110. Which is bigger: v or -53?
-53
Let f = 742/99 + 