*s - 16. Let z be k(4). Let a be (-203)/(-4) - (-3)/z. Is 49 at least a?
False
Let b be (-14)/(0 + -1) - 0. Let d be 4 - (3 - (-228)/b). Let y = -15 - d. Which is smaller: y or 9?
y
Let a = -4.42 - -5. Let h = a - 45.58. Is 0 not equal to h?
True
Suppose -23*m - 20 = -18*m. Let b be (9/m)/(18/48). Which is smaller: -7 or b?
-7
Let f = 239 - 4542/19. Let c be (3/6)/((-3)/138). Let l = 22 + c. Which is smaller: l or f?
l
Let r(x) = 15*x - 111. Let u be r(22). Is u at most 220?
True
Let f be (-2)/(-10) + (-203)/(-35). Suppose 0 = u - 45 + 37. Are u and f non-equal?
True
Let g(v) = -10*v**2 + 2*v - 2. Let j be g(1). Let t be (((-72)/(-330))/6)/((-64)/j). Which is smaller: 0 or t?
0
Let y = 47.6 - 47.5. Are 53 and y nonequal?
True
Let l = 0.414 + -1.614. Do l and 15 have the same value?
False
Let x be 6688/16 + 4/(-8)*4. Is 417 equal to x?
False
Let w = 1.29 - 3.09. Is w at least as big as -0.8?
False
Let a be (-4)/8*-3*(-1062)/27. Is -3 less than a?
False
Let p(m) = -m**2 - 4*m + 7. Let z be p(-5). Suppose z*q + 4*n + 19 + 1 = 0, 15 = -3*n. Let f be ((-12)/14)/(-2)*(-24)/36. Is q less than f?
False
Suppose -5*k + 2*g = 173, -4*g = 5*k + 208 - 29. Is k less than or equal to -37?
False
Let a = 1652 - 1665. Is a greater than -49/4?
False
Let k = -18 + 34. Suppose k = 2*u + 2. Are 10 and u unequal?
True
Let y = -3/40 + 7/10. Let q(k) = -2*k**3 - 20*k**2 - k - 2. Let m be q(-10). Suppose 12*u = 8*u + m. Which is smaller: y or u?
y
Suppose 0 = -1216*f + 1207*f - 7848. Is f at most as big as -872?
True
Suppose 9*f - 5*f + 0*f = 0. Which is greater: f or -4/49?
f
Let z = -25/48 - -1/48. Let k be -4*(1 - (-18)/(-24)). Which is bigger: k or z?
z
Let w = 1.2 - 1. Let h = -0.5 - w. Let x = -2.7 - h. Is 2 less than or equal to x?
False
Let a = -96 - -1630/17. Let i be (-40)/(-15) - (-4)/(-6). Suppose 4*w = 2*w - i. Which is greater: a or w?
a
Let r(t) = 5*t**3 + 5*t**2 + 5*t - 1. Let l(g) = -6*g**3 - 5*g**2 - 6*g + 2. Let w(a) = -4*l(a) - 5*r(a). Let i be w(-5). Let m be i/(-6) - 24/36. Is -1/6 > m?
True
Let l be -18 - (-2 - -1) - -2. Let m = l + 14. Suppose -3*u - 21 = 3*p, -8 = 2*p + u + 1. Which is bigger: m or p?
m
Let z(s) = s**3 + 2*s**2 - 2*s - 2. Let j be z(-2). Let g be ((-4)/6)/((-6)/81). Suppose 0 = -2*b - 4*r - 48, -r - g = j*r. Do -19 and b have different values?
True
Suppose -42*n + 4 = -38*n. Suppose 87*a + n = 88*a. Are -1/28 and a unequal?
True
Suppose -17*m + 874 = 126. Suppose 4*o = 2*p - m - 2, -41 = 4*o - p. Let i(b) = -b - 4. Let w be i(-4). Is w <= o?
False
Let s(y) = y**2 - 39*y + 109. Let c be s(36). Is c bigger than 2/61?
True
Let t be (-9)/(-2) - 2/(-4). Suppose -6*w = -w + t. Let c be -5 - (w + (0 - 1)). Which is smaller: -3/2 or c?
c
Let s = -224.38 + 221. Let m = s - 0.12. Let f = m - 0.5. Is -0.1 less than f?
False
Let c = -129 + 115. Let b = 24 - 39. Which is smaller: c or b?
b
Let r(w) = w**2 + 3*w - 19. Let j be r(-6). Is j less than -0.0066?
True
Let w be 470/714 + (-21 - (-915)/45). Is 1 <= w?
False
Let g be 2/(-2)*3 - -3. Suppose -5*t + 17 + 73 = g. Do t and 19 have the same value?
False
Let x be 2/1 + (-4)/3. Let k(v) = -v**3 + 8*v**2 - v + 2. Let r be k(8). Let u = 8 + r. Which is greater: x or u?
u
Let m be (0 - 0)/(7 + -5 + 1). Which is smaller: m or -3?
-3
Let v = -157 - -2199/14. Which is smaller: v or 0?
0
Let n = 1449 - 123168/85. Are 0 and n non-equal?
True
Let r be (-2)/(-8) - (-3501)/108. Let a = 69 - 36. Which is smaller: a or r?
r
Let j be -2 + (-224)/104 + 3. Which is smaller: -2 or j?
-2
Let q(z) = z**2 + 6*z + 2. Let b be q(-6). Suppose b*p = -67 + 195. Which is smaller: 63 or p?
63
Let s = 1127 - 1113. Which is smaller: 2 or s?
2
Let c = 39 + 13. Let i be (10 + c)*(-2)/4. Let p = i - -30. Do p and -1/7 have the same value?
False
Let p be -5 + 5 + 2 + 0. Let i be (1/5)/(p - 4/(-2)). Does i = 0?
False
Let w(k) = k**3 - 22*k**2 + 5*k + 128. Let n be w(22). Is n <= 240?
True
Suppose 2*l - 1 - 3 = 0. Suppose 0 = l*d + d + d. Is 1/58 greater than d?
True
Let m = 17.2 + -21. Let i = m + 2.8. Is i >= -1/2?
False
Let m be (-9)/((-394065)/(-218911)) - -5. Is 1 greater than m?
True
Let x = -5 + 10. Suppose 0*u = x*u - 3*r, 0 = 4*u - 2*r. Let n = 93/88 - 15/22. Which is bigger: n or u?
n
Let u = -12 - -13. Let b be ((8/2)/(-4))/u. Which is smaller: b or 2/19?
b
Suppose 5*t = -4*b + 2, -7*t + 8*t + 14 = 4*b. Is 1 at most b?
True
Let c(z) = 4 + 2*z - 2 - 3 + z**2. Let n be c(-4). Suppose 0 = -3*a + n*a + 4. Is 0 greater than a?
True
Let q = 37 - 1809/49. Let s = q + 199/1764. Let p = -4/9 + s. Which is greater: p or -2?
p
Let g = -75 + 74. Suppose -2*l = 12 - 6. Which is smaller: l or g?
l
Let t be (20/40)/((-21)/60). Is t equal to -1?
False
Suppose u + 8 = 3. Let r(y) = -y + 8. Let h be r(u). Is h greater than 13?
False
Let n = -291/16 + 73/4. Is n equal to 2.1?
False
Suppose -4*q + s = -36, -2*s + 24 = 3*q - 14. Let y(g) = 4*g - 12. Let k be y(q). Are 27 and k equal?
False
Suppose 6*r = 23 + 25. Which is greater: 20 or r?
20
Let v = -119/48 + 45/16. Which is bigger: -1 or v?
v
Let o(z) = -7*z - 36. Let q = 3 - 8. Let r be o(q). Which is smaller: r or 1/35?
r
Suppose 5*b - 2 + 17 = 0, -2*i = -5*b + 41. Is 0.2 bigger than i?
True
Suppose d + 14 = -0*d. Let g = -350 - -347. Which is greater: d or g?
g
Suppose -10 = -2*c + a - 1, 5*c - 4*a = 15. Let t(s) = -8*s**3 - 2*s**2 + 1. Let u be t(-1). Is u greater than c?
False
Suppose -10*j - 114 = -104. Which is smaller: -3 or j?
-3
Let g be ((-1)/2)/((-7)/42). Suppose -6 = -g*c - 18. Suppose -3*k + 4*q = 8*q + 6, -k + 2*q = 2. Is c equal to k?
False
Let h = -0.18 - -0.78. Is 4 < h?
False
Let a = -1299/4 + 325. Is a bigger than 54?
False
Let s = 20 + -6. Suppose 0 = 30*o - 29*o - w - 17, -2*o + 5*w + 43 = 0. Are o and s unequal?
False
Let j = 1689 - 1697.4. Let n = -0.8 + 0.9. Which is greater: n or j?
n
Let t be -2 + 14/(-63) + 2162/9. Let d = t - 14041/59. Suppose 0 = -3*g - g. Which is bigger: d or g?
d
Suppose 5 = 2*r + 1. Suppose r*k - 4*k + 40 = 0. Let d = 6185 + -6166. Which is greater: k or d?
k
Let n(s) = s - 2. Let m be n(4). Suppose 6*g = m*g. Let r be (-1)/3 - 68/(-168). Which is smaller: g or r?
g
Suppose -320 = -2*t + 7*t. Let o = 63 + t. Which is greater: o or -8?
o
Let k = -91 - -86. Let t = -5 + 10. Let z = 4 - t. Do k and z have the same value?
False
Let j = 33294/5 - 6680. Which is greater: -1/3 or j?
-1/3
Suppose -5*p - 4*s - 1974 = 0, -2*s - 394 = 4*p + 1190. Is p greater than -400?
True
Let k be 6*34*(-12)/16. Is -154 less than k?
True
Suppose 3*u = -2*u + 5*b - 30, 2*u = -5*b - 26. Let z = -6 - u. Suppose -z*l = 2*t + l - 14, -4*t - 16 = -5*l. Which is smaller: t or 9/5?
t
Let j = 13 - 13.1. Let h be 51/(-9) - 2/(-3). Let p be (5*(-2)/h)/15. Are j and p non-equal?
True
Suppose u - 4 = -3*u. Let j be -31*(-20)/(-6720) + (-4)/42. Do j and u have the same value?
False
Suppose 4*u = 3*p + 19 + 1, -p - 12 = 4*u. Let o = 15 + p. Let l = -5875 + 5879. Is l at least as big as o?
False
Suppose -2*b = -10 + 2. Suppose 0 = -3*r + 12, b*s + 0*s - 3*r - 20 = 0. Let q be (4/s)/(1 + 0). Is 2 < q?
False
Suppose -3*s - 12 = 0, -7*z = -12*z + 5*s + 20. Which is greater: z or 1/281?
1/281
Let t be 225 + -28 + 1*(0 + -4). Is t at most as big as 192?
False
Let y = 2.9 - 3.2. Let f = -0.3 - y. Which is bigger: f or -6/17?
f
Let g(z) = -z**2 + 6*z - 3. Let q be g(5). Suppose -5*a - 70 = -3*k, 3*k + 30 = -5*a - q*k. Let d be 15/(-20) + a/(-4). Which is smaller: -2 or d?
-2
Let w be 2/7 - (-656)/56. Suppose 0*i = -5*i - q + 68, 5*i - 50 = 5*q. Which is smaller: w or i?
w
Let q = 1070 - 1463. Is -394 at least as big as q?
False
Let m = 37/6 - 9/2. Let i(r) = -r**3 - 19*r**2 + 19*r - 19. Let b be i(-20). Is b at least as big as m?
False
Let k = 1.58 + -1.7. Let i = k + 0.72. Is i greater than -3?
True
Suppose -7*v - 28 = -14*v. Let l be 11/((-6 - -10)/(v/(-6))). Which is bigger: l or -3?
l
Suppose 8 = -4*b - 40. Let k be (b/15)/((-3524)/10). Let n = k - 7054/2643. Do -2 and n have the same value?
False
Let v(h) = -28*h - 52. Let z be v(-2). Is z >= 65/24?
True
Let x = 8483 - 1467565/173. Which is smaller: 0 or x?
x
Let s be 2/11 + 117/(-99). Let v be (1/2)/(s/26). Are v and -11 unequal?
True
Let u = 11.74 - 8.74. Let b be 6/4*28/21. Suppose m = 3*y + 2*y + 23, -b*y = -m + 8. Ar