y) = -28*y - 2. Let l be w(-2). Let k be l/7 - 2/(-7). Which is greater: k or 7?
k
Let r(o) = -o**2 - 16*o + 12. Let i be r(-16). Let q(v) = -5*v - 2. Let w be q(-4). Let j = w - 7. Is j > i?
False
Suppose -5*b - 11 = j - 2*b, 21 = 5*j - 4*b. Let k be (j/(-4))/((-12)/240). Suppose 5*s + 4*i = 7*i - 124, -k*i + 84 = -3*s. Is -23 smaller than s?
False
Let v = -1803 + 1803. Let j = 0.125 - 12.925. Let o = -1.8 - j. Is o at least as big as v?
True
Let g = 6386/9 - 709. Is -5 bigger than g?
False
Let w = -2 + 2.2. Let y = -0.79 + -1.16. Let r = -0.05 + y. Is r at most as big as w?
True
Suppose -5*m + 5*y + 10 = 0, -5*y = m + 3 + 7. Which is smaller: -1/79 or m?
-1/79
Let t be ((-11)/(-110)*5)/(27 - -1). Which is greater: -1 or t?
t
Let y = -3643/20724 + 5/157. Let c = -1/44 + y. Which is bigger: 1 or c?
1
Let g = -0.1374 + -31.9026. Let w = -0.04 - g. Let d = 32.1 - w. Is d greater than or equal to -8?
True
Suppose 4 = x - 1. Let s = 80 - 91. Let l be 2 - -1 - 22/s. Do l and x have the same value?
True
Let c(v) = v**3 - 11*v**2 - 8*v - 5. Let u be c(12). Suppose 9*h = 65 + u. Is -0.1 not equal to h?
True
Let d = -737/4016 - 1/251. Let r = d + -1/16. Are 2.1 and r unequal?
True
Suppose 0 = 7*l - l. Let p(m) = m**3 - 2*m - 3. Let c be p(l). Are c and -8/5 nonequal?
True
Let f be (-264)/26 - -1 - (-16)/104. Let k be f*-2*(-93)/36. Which is greater: k or -47?
k
Let o = -0.02 - -0.21. Let m = -0.49 + o. Which is smaller: m or -1?
-1
Let q(v) = -108*v**2 + 184*v + 185. Let d be q(-1). Which is bigger: d or -0.05?
-0.05
Let a be 0 - -1 - 2 - 2. Let i be 41 - (a + 3)/1. Suppose -3*f - 4*w = i, -w - 5 = -3. Which is smaller: f or -10?
f
Let c = 5/18 - -1/18. Let n = -58.875 + -0.125. Let o = n - -61. Which is bigger: o or c?
o
Let g(u) = u**2 - u - 2. Let i be g(6). Let a(r) = -81*r - 648. Let k be a(-8). Which is smaller: k or i?
k
Let q(f) = f - 16. Let r be q(14). Let w be 12/20*(84/27 + r). Which is smaller: 2 or w?
w
Let x = 4.2 + -15.2. Which is smaller: 8/7 or x?
x
Let f = -2/977 - -2044/43965. Suppose b - 4 = x, b - 20 = 6*x - x. Do b and f have different values?
True
Let a(c) = -6*c + 2. Let o(l) = l - 1. Let v(g) = -a(g) - 2*o(g). Let i be v(-3). Let y(q) = -q**2 - 13*q - 2. Let k be y(i). Which is smaller: k or 11?
k
Let g(w) = -24*w - 192. Let r be g(-8). Which is smaller: r or -5/53?
-5/53
Let c = -209 + 257.9. Let g = c - 49. Which is smaller: g or 3/5?
g
Let y = 7979/38 - 180/19. Which is smaller: y or 202?
y
Suppose 2*p = 3*p - 4. Suppose 5*s = p*s - 5*y - 3, 5 = -5*y. Let g be 1*((-69)/(-39) - s). Which is smaller: g or -1?
-1
Let c be 13/4 + 0 + (-25)/100. Which is smaller: 1/11 or c?
1/11
Suppose -215 = 4*g - 5*s, -3*g - 167 = 7*s - 5*s. Which is greater: g or -54?
-54
Suppose 4*o + 2*t - 1382 = 0, 4*o + 3*t = -0*t + 1385. Let b be ((-6)/o)/((-30)/20). Which is bigger: b or 0?
b
Let o be (-801)/(-63) + (3 - (-19)/(-7)). Is o less than -3?
False
Let d be (6/(-5))/(-2*(-5)/(-75)). Let x be ((-3)/9)/((-3)/d). Which is bigger: 1/16 or x?
x
Let b = 1353/4 - 344. Do -0.1 and b have different values?
True
Let r be 1124/48*-4 + (-2)/6. Is -94 bigger than r?
False
Let g = 8/135 - -46/135. Which is smaller: g or -14?
-14
Suppose 0 = 4*g - 9*g. Suppose 3*o + 1 = -2*i + 4*o, -5*i + o + 5 = g. Which is smaller: i or 3?
i
Suppose 2*x - j + 68 - 1 = 0, 4*x + 122 = -2*j. Is -31 >= x?
True
Let w = 0.1 + -0.08. Suppose 0 = 33*c + 126 + 6. Is c at most w?
True
Suppose 0 = 3*u + 5*m - 29, -2*m + 34 = 4*u - 0*m. Suppose 15*q - 14*q - u = 0. Let i = -1.2 - -0.2. Which is bigger: i or q?
q
Let u(m) = m**3 - 2*m**2 - 9*m + 5. Let t be u(4). Suppose -5*b + 10 = 5*x, 5*b + 3 = -3*x + t. Let r = -2 + 8. Is r < x?
False
Let l = -295 - -235. Which is smaller: l or -4?
l
Let k(t) = -t**3 + 3*t**2 - 3*t + 4. Let n be k(2). Let o be n/((-2)/6 - (-11)/(-33)). Is o bigger than -8?
True
Let t = -4.43 - -1.38. Let g = t - -1.05. Which is greater: -0.1 or g?
-0.1
Let u(a) = a**3 - 3*a**2 - 11*a - 2. Let l be u(5). Are -84/11 and l equal?
False
Let d be 72/(-230) - 6/(-15). Let k = -94 - -80. Let p = k - -15. Are d and p unequal?
True
Let i be 9/(-45)*(1 + -2). Suppose -5*b = -4*b. Suppose v - 11 + 9 = b. Is i less than or equal to v?
True
Let m(x) = -4*x**3 + 4*x**2 - 2*x. Let f be m(2). Suppose -h - q = 15, -3*h + 2*q + 3*q - 69 = 0. Which is bigger: h or f?
h
Let t = 0.24 - 0.34. Let y = -4.6 + 6. Is t equal to y?
False
Let z(g) = -6*g + 13. Suppose -5*q + 63 = 3*h, 6*q = q - h + 61. Let d be z(q). Let p = -107/2 - d. Which is bigger: p or 6?
6
Let x be 1 - 0 - 0*(-6)/(-42). Which is greater: -5/38 or x?
x
Let l be 39/(-27) + ((-208)/(-24) - 7). Which is greater: l or -479?
l
Suppose -w = -0*w - 2. Let o(u) = -2*u**3 - 36*u**2 - 81*u + 139. Let h be o(-15). Which is smaller: h or w?
w
Suppose 0 = 38*u - 51*u - 546. Is u less than -44?
False
Let s be 6*(-1)/(-2) + 1. Suppose -p + 0 = s*h - 6, -p + h = -31. Let v = 18 - p. Which is smaller: -7 or v?
v
Suppose 2*n + 10 = 0, -2*o + 4*n + 65 = -5*o. Let h be o + 2/(1 - 3). Let b = h + 17. Which is smaller: 1/18 or b?
1/18
Let a(v) = -7*v + 9. Let m be a(3). Is m <= -38/3?
False
Suppose -3*n = 5*v + 305, 5*n - 176 + 54 = 2*v. Are -60 and v non-equal?
True
Let k(q) = 7*q - 221. Let b be k(37). Which is smaller: b or 23?
23
Let l(d) = -26*d - 185. Let w be l(-9). Which is smaller: w or -1?
-1
Suppose 5*k + 1 = 2*z + 15, 6 = -3*z. Which is smaller: k or -13?
-13
Let r be 8/(-44) + 1 + 336/(-88). Let u be (-6)/4*4/3. Are u and r unequal?
True
Let f = 39 - 34. Suppose -3*y = f*m - 62, 5*m + y = -3*y + 66. Is 9 less than or equal to m?
True
Let z be ((-10)/(-35))/((-66)/14). Suppose -w = o - 1 + 3, 8 = o - w. Let f be 0*(o/(-2) + 2). Which is greater: z or f?
f
Let f(v) = -14*v**2 + v**3 + 39 - 38 + v + 8*v**2. Let s be f(6). Let y be 4/(-14) + 0/2. Is s equal to y?
False
Let d = 0.46 - 0.404. Let w = 0.456 - d. Which is smaller: w or 0.03?
0.03
Let j = -187 - -195. Which is greater: -0.01 or j?
j
Let b be (1/19)/((-1)/(-11)). Let y = b + -15/19. Which is bigger: 0.1 or y?
0.1
Let r(b) = -b**2 - 100*b + 101. Let j be r(1). Which is greater: j or -20/17?
j
Let r be (-3)/(-1) + (4 - 4). Suppose 6 = -r*k - 0. Which is smaller: -3/2 or k?
k
Let s = 118 + -101. Is 0.4 >= s?
False
Let n = 111.524 + -11.494. Let p = 100 - n. Let o = 1 - 2. Which is greater: o or p?
p
Let v = -0.14 + 0.1. Let s be (3/(-9) + 1)/(4/18). Suppose 0 = -4*g + 5*l - 24, -s*g - 5*l + 3 = -14. Which is smaller: v or g?
g
Let c = 2.28 + 104.72. Let g = -118.7 + c. Let x = -12 - g. Is x at least as big as -4?
True
Suppose -3 = w - 2*q + 1, 5*q - 5 = 5*w. Suppose w*b + 1 = -9. Let g = b - -9. Is 0 less than g?
True
Let g be (-183)/(-21) + 4/14. Let c be g/(-12) + (-1)/4. Let h = -801 + 799. Which is bigger: c or h?
c
Let u be 2/(-15)*(-3)/(-1). Let n = -16.405 + 16.4. Which is greater: u or n?
n
Let l be -8*((-18)/4 + 4). Suppose 3*c = -5*x + 13, l*c - 14 = x - 6*x. Is 3 at least as big as x?
True
Let k = 302 + -285.85. Let d = 16 - k. Let m = d - -2.15. Which is bigger: 2/5 or m?
m
Let j be (-1)/((-4)/(-5 - (-3)/3)). Suppose 5*u - 177 = 58. Do j and u have different values?
True
Let s = -3198/35 - -474/5. Which is smaller: s or 3?
3
Let c = -87192/23 - -3790. Is -1 != c?
True
Let a be 1/3*15*-1. Let n be a/(3 + -1 + -1). Is -4 <= n?
False
Suppose 0 = -2*p + 2, -5*a = -9*p + 8*p + 3581. Does -716 = a?
True
Let x = 408887 - 22489631/55. Let g = x + 76/5. Let q = -0.129 - -0.229. Which is smaller: q or g?
g
Let q = -3/482 - 1787/22654. Let s = 0 + -1. Which is bigger: s or q?
q
Suppose 5*n - 2712 = n. Let a = -16948/25 + n. Suppose -2*u = 2 - 0. Are u and a equal?
False
Let t = -17.16 + 0.36. Let b = t - -17. Which is smaller: -1 or b?
-1
Let r(a) = -2*a**2 + 5*a + 3. Let u be r(4). Let q = -354 - -353. Let g = q - u. Which is bigger: -1 or g?
g
Let v = 0 - -5. Suppose 0 = v*a - 3*m + 6, -a - 3*a = 4*m - 8. Which is bigger: a or 6/11?
6/11
Suppose -66 = -2*o - 3*p, 2*o - 3*o = -5*p - 46. Let f = -33 + o. Let q be (-31)/(-9) + 6/27. Which is smaller: q or f?
f
Let l be (3 - (-2216)/(-752))*2. Is l at least 0?
True
Let w be (-15)/(-10) - (-6)/(-4). Suppose w*o + 3*o = -303. Let v = 507/5 + o. Which is greater: 2/7 or v?
v
Let y = -10534/195 - 42/65. Which is smaller: -5