 not equal to z?
True
Let s = 8 - 6. Let k = s - 10. Let y be k/(-14)*7/2. Is y < 0?
False
Let y = 3 - 3. Suppose y*t - 15 = -5*t. Suppose t*s = 3*i + i + 8, -2*i - 4 = -2*s. Is s < -5/4?
False
Suppose -2*g + 0 = 8, 87 = -m + 5*g. Let h = m + 425/4. Which is smaller: 0.1 or h?
h
Let l = 116 - 81. Let j = 34 - l. Is 0.5 greater than or equal to j?
True
Let l = 4 - -3. Let p = 30 + -45. Let k be 5 - p/12 - (-2)/(-8). Is k bigger than l?
False
Let z(h) = -3*h**3 + 2*h**2. Let b be z(2). Is b at least as big as -161/11?
False
Let z = 7 + 21. Suppose -y - z = 3*y. Which is smaller: -8 or y?
-8
Let g = 20 - 22. Let k be ((-1235)/(-39))/((-4)/6). Let z = k - -49. Which is smaller: z or g?
g
Let p = 0.1 + -1.1. Let t be (-5)/65 - 184/312. Are t and p non-equal?
True
Let y = -33/58 + 2/29. Let t = 25 + -8. Is y > t?
False
Let w = -0.3 + -0.6. Suppose j = 3*j - 2. Suppose 3*o - 2*o - j = 0. Is o < w?
False
Let c = 68 + -71. Do c and -29/16 have the same value?
False
Suppose -1 = -2*i + 7. Let j(g) = -g**3 + 4*g**2 + g + 3. Let y be j(i). Which is smaller: y or -0.03?
-0.03
Let f(z) = -z**3 - 15*z**2 + 17*z + 19. Let w be f(-16). Suppose -w*a + 0*a - 3 = 0. Let p be (1/14)/((-3)/12). Which is smaller: p or a?
a
Let k = -12 + 18. Let w = k - 4. Suppose -l - 2 = -w*f, -2*l + 3*f - 4 = f. Is l greater than -3/2?
False
Let n = -2 - -2. Let y be (70/42)/(8 + 224/(-21)). Is y < n?
True
Let p = 33 - 18. Let f = p + -18. Which is smaller: f or -4?
-4
Suppose -5*q + 60 = 5*w, -4*q + 40 = -10*w + 6*w. Is 81/7 bigger than q?
True
Let d = 167 + -191. Which is smaller: -0.3 or d?
d
Suppose -17*v + 24*v = 308. Which is smaller: v or 48?
v
Let r = -293 - -295. Which is smaller: 12 or r?
r
Let u = 9759/8 - 1218. Let d be ((-132)/99)/(2/(-6)) - 2. Which is smaller: u or d?
u
Suppose 304 = 4*s + 2*v, -3*s - 2*v + 229 = -0*v. Let l = s + -75. Is 3/5 bigger than l?
True
Let k(d) = 13*d - 3. Let r be k(-3). Let m be 77/r + 2*1. Which is greater: -4 or m?
m
Let l(x) = 480*x**3 + x**2 - 3*x + 1. Let z be l(1). Is 478 bigger than z?
False
Let o = -2.6 + 0.1. Let k = -0.727 - 1.773. Let p = k - o. Which is bigger: 22 or p?
22
Let n = -14 - 159. Is n at most -174?
False
Let y(t) = 4*t**3 - t + 3. Let x be y(2). Let j = -17 + x. Is 14 < j?
True
Let d = -0.12 + 0.18. Let r = d + 0.94. Let t = 7 + -15. Which is smaller: t or r?
t
Let i = 2.81 + -2.9. Let t = i + 0.09. Which is smaller: t or 0.02?
t
Let p = -47/33 + 4/3. Let d(a) = 4*a - 17. Let b be d(5). Suppose 3*k = 5*h + 2, -b*h - 5*k = -6*k + 2. Is p != h?
True
Let z(n) = -3*n + 31. Let v(j) = 2*j - 30. Let d(p) = 5*v(p) + 4*z(p). Let o be d(-13). Is o less than 3/5?
True
Let d = 10715/201 + 158/67. Let r = d + -55. Let s = 100/7 - 293/21. Which is smaller: s or r?
s
Let t be -1 + 5 + 0 + (-224)/20. Which is smaller: 1 or t?
t
Let k(j) = 2*j**2 - 3*j - 5. Let n be k(4). Let b be ((-6)/n)/((-68)/(-706)). Let c = 40/17 + b. Which is bigger: c or -1?
-1
Let m(c) = -6*c - 19. Let w be m(-9). Suppose w = 5*f - 10*f. Is -6 equal to f?
False
Let u = -1/518 - -157/4662. Suppose 1 = -4*d + 5. Which is smaller: d or u?
u
Suppose -5*g = -3*g. Suppose -6 = -3*b, g = t - b + 3 - 0. Let a = -34 + 38. Which is smaller: a or t?
t
Let w = -6286031/322 - -19522. Let y = w + 3/322. Is 0 smaller than y?
True
Let q = -12.9 - -12. Let o = 1935 - 1934.9. Which is greater: o or q?
o
Let q be 2 - (-3 + 0 + 6). Let w(z) = 3*z. Let h be w(4). Let g be ((-2)/h)/((-6)/4). Is q less than g?
True
Let w be -3*(-13318)/693 + 18/63. Let h = w - 58. Which is bigger: -0.1 or h?
h
Suppose 1101*i - 1280*i + 7339 = 0. Suppose 33 = 2*n + d - 52, -91 = -2*n + 5*d. Which is bigger: i or n?
n
Suppose -2*l = 5*h - 81, l = 4*h - 104 + 34. Suppose g - h = 4*c, -3*g = -0*c - c - 18. Suppose 2*z + 2*x = 2 - 0, x - 13 = g*z. Is z equal to 1?
False
Let y = 2689/7 + -382. Are y and -0.07 non-equal?
True
Let k be (-4)/(-14) + (-8370)/(-105). Let n be 22/k - (-9)/72. Which is bigger: n or 8?
8
Suppose -2*n + 7*n = 15. Suppose 2*x - 7*x = -5*i - 65, 5*x + n*i = 105. Let p be (-9)/(-6)*(-2)/x. Which is smaller: 0 or p?
p
Let n(f) = 47*f - 209. Let q be n(7). Is q < 120?
False
Suppose 21 = -7*a + 357. Is 436/9 != a?
True
Suppose 0 = -3*p - 0 - 6. Let f(o) = o - 3. Let s be f(6). Suppose -s*z = 2*z. Is z greater than or equal to p?
True
Let g be ((-17)/(-2) - 2)*(-4 + 2). Let x be (-1*(0 - -1))/((-715)/g). Are -1 and x equal?
False
Let b = 97 + -983/10. Which is smaller: 0 or b?
b
Let n = -38/441 + 17756/209475. Which is smaller: n or 0?
n
Let o = 8 + -5. Let r(k) = -k + 4. Let w be r(4). Let q be o/(-9)*(w + -1). Which is bigger: q or 0?
q
Let v = -2033/33000 + 1/1000. Let j(c) = c**3 + 5*c**2 - 6*c. Suppose 0 = -3*h + 5*q - 8, 2*h + 0*q = 2*q - 8. Let s be j(h). Which is smaller: s or v?
v
Let t = -1000 - -13010/13. Is t less than or equal to -3/5?
False
Let d = -32 + 44. Let p be 3 - 1/(d/27). Which is greater: p or 1/4?
p
Let u = -0.04 - -0.2. Let k = u - 0.06. Let h = -743/2 + 1112/3. Which is greater: k or h?
k
Suppose 0 = 3*g + 2*g - 5*b - 20, 2*g + b = 2. Let f be g/5 - 342/(-95). Is 7 not equal to f?
True
Suppose 4*y - 3*d + 747 = 0, -2*y + 5*d = -97 + 474. Which is bigger: -190 or y?
y
Let c(g) = -2*g**2 - 11*g - 13. Let w be c(0). Let t = -35 + 22. Is w less than or equal to t?
True
Suppose 0 = 100*d - 96*d - 4. Is d at least as big as -3/10?
True
Let z(k) = -4*k**2 + k**3 - 4*k**2 + 4 + 2*k + 0*k. Let m be z(3). Suppose 110*q + 68 = 108*q. Is q > m?
True
Let y = -248 + -50. Let s = y - -2674/9. Is -1 less than or equal to s?
True
Let k(c) = 15*c**3 - 2*c - 2. Let d be k(-1). Let z = d - -16. Which is smaller: 24/13 or z?
z
Suppose 0 = -15*c + 10*c - l - 487, c = 4*l - 89. Which is smaller: -94 or c?
c
Suppose -36*o = 3451 - 3415. Let i be (1*0/1)/(-2). Suppose 5 = -i*h - 5*h. Is h bigger than o?
False
Let x = 11873 + -20891. Let w = x - -3922828/435. Let u = -1766/5655 - w. Which is greater: -1 or u?
u
Let w be 90/(-4)*(-6)/27*3. Is w less than or equal to 110/7?
True
Let y = 19.02 + -18.96. Do -0.075 and y have different values?
True
Let i = 179 + -246. Are i and -66 unequal?
True
Suppose -3*a - 146 = 5*v, -89 = -4*a + 5*v - 237. Does a = -40?
False
Let j be 5/(-2)*(-208)/29380. Which is smaller: 2 or j?
j
Let w = -797 + 509. Let n be 201/w + (0 - (-2)/3). Which is smaller: n or 1?
n
Let v = -6.3 + 49.2. Let w = v + -43. Which is smaller: -1/3 or w?
-1/3
Let h = -1415 + 7077/5. Is -2196 at most h?
True
Let a = 0.165 + -0.267. Which is greater: -3 or a?
a
Let m = -752 - -2257/3. Which is smaller: m or 2/183?
2/183
Let m(f) = -7*f**3 - 2*f**2. Let u(o) = -o**2 + 4*o - 3. Let s be u(2). Let r be m(s). Let l = 21 + r. Which is smaller: 0.1 or l?
0.1
Let u be (-5 - -2)/(48/(-32)). Which is smaller: u or -66?
-66
Let g = -762 + 779.04. Let v = 0.32 - -16.68. Let l = g - v. Which is bigger: -0.1 or l?
l
Let q = -9.29 - -7.79. Which is bigger: -1.9 or q?
q
Suppose -4*b = -3*q - 20, 5*q + 4*b - 20 = 2*q. Let i = 434 - -345. Let o = i + -8555/11. Which is bigger: q or o?
o
Let w = -556.0743 + 0.0743. Which is bigger: w or -1/2?
-1/2
Let x = 2 + -2. Let r be -2 + 297/74 - 2. Let h = r + 31/444. Is h greater than x?
True
Let u be -2 - 0 - (-3 + -2). Suppose 0 = -5*d + u*n + 17, -2*d + 6*d + 8 = -3*n. Let m(y) = -y - 1. Let k be m(d). Are -1 and k equal?
False
Suppose 8*x - 4*x - 400 = 0. Let w = 48 - -51. Which is greater: x or w?
x
Let n = -61.4 - -50.4. Which is smaller: n or 0.01?
n
Let x(s) = -2*s**2 + 13*s + 7. Let u = 145 - 138. Let v be x(u). Which is smaller: -6/5 or v?
-6/5
Let y be 1/((-3)/14)*(-6)/4. Suppose y*j + 554 - 64 = 0. Are j and -70 non-equal?
False
Let t = -904 + 517. Which is smaller: -1/3 or t?
t
Let i be 1 - ((-4)/(-5))/((-6)/(-15)). Let m be (-3)/(-1) + i + 2/(-3). Which is greater: m or 2?
2
Let r = -30 + 30. Suppose -3*o = -6*o + 5*b - 21, -2*b = r. Is o bigger than -0.1?
False
Let l = 604.9 + -612. Which is greater: l or -0.3?
-0.3
Suppose 9*u = 4*u + 5, -5*m - 14 = u. Let i be ((-3)/(-6))/((-2)/(-4)). Is i less than m?
False
Let b = 0.0517 - 0.0917. Suppose -2*d = 2*h, -1 = -5*d + 2*h + 20. Which is smaller: b or d?
b
Suppose 3*s + 4*b - 254 = 0, -s + 2*b - 22 = -110. Which is smaller: 83 or s?
83
Suppose 116*c - 5*o = 111*c - 10, 4*o - 11 = c. Is 2