-8 - w. Let f be 184/(-180) - 2/(-9). Which is bigger: f or a?
a
Let v(o) = -2*o - 5 + 2*o + 3*o**2 - o - o**3 + 4. Let i be v(1). Which is smaller: -1/26 or i?
-1/26
Let b = 29 + -18. Suppose b*z - 6*z = 0. Let c be (-1 + z)/((-8)/32). Is 6 less than c?
False
Suppose -2*k = -2*c - 6 - 2, 3*k = 4*c + 17. Suppose 36 = 6*j - 2*j. Let p = j + -10. Does k = p?
True
Let b(i) = -3*i**2 - 17*i - 14. Let d be b(-5). Which is smaller: d or 18?
d
Let v be 3 + -4*(-1)/4. Suppose -24 + v = -5*o. Suppose -w - 2 = 0, 3*m = o*w - 5*w + 1. Are -1/4 and m non-equal?
True
Let h = 0.01 - 10.01. Let m = -10.3 - h. Let r = 0.9 + m. Which is greater: r or -0.1?
r
Suppose -5*a + 6*a = 3*b + 161, -b = 2*a - 315. Which is smaller: 159 or a?
a
Let n = 353 - 354. Is n < 2/1223?
True
Let l(p) = -p**2 + 22. Let d be l(-10). Let j = d - -700/9. Is 10 > j?
True
Let c be 84/8*(16/(-39))/(-8). Which is bigger: 2 or c?
2
Let x = 12 - 7. Let g = -13 + -5. Let n be g/(-5) + 16/40. Is n smaller than x?
True
Let s be -8 + 4 + (-3180)/(-798). Which is smaller: -1 or s?
-1
Suppose 0 = 4*d - 12, d + 45 = 4*y - 0*y. Let i be (-1)/6 - y/(-72). Which is bigger: i or -3/19?
i
Let p = -26852/179 - -150. Which is bigger: p or 0.1?
0.1
Let r be (3 - 2)/(1/(-5)). Let u be ((-7)/21)/((-8)/(-84))*-4. Let j be (-5)/(r/u) + 1. Which is smaller: 1 or j?
1
Let y(q) = -q + 8. Let j be y(-9). Suppose 2*m + 3*p - 32 = 0, p - 5*p = 4*m - 64. Which is smaller: j or m?
m
Let h = 13 + 127. Suppose 7*n = -3*o + 4*n + 81, 0 = 5*o + 4*n - h. Suppose 4*i = -4 - o. Which is smaller: i or -11?
-11
Let r be ((-63)/(-14))/3*(-138)/(-9). Let f = -27 - -49. Which is greater: r or f?
r
Let j(z) = 2*z**3 - 5*z**2 - z + 8. Let h be j(4). Let c be 3/((-39)/2) + (-5)/h. Does -0.1 = c?
False
Suppose -q - 1 = -16. Suppose -2*s - 82 = -4*s - 5*u, 0 = 3*s - 2*u - 104. Suppose 0 = -8*f + 76 + s. Is q greater than f?
True
Let i be 6/(-24) + (-132)/(-16). Let y be i/80 + (-1)/(-2). Are 0 and y non-equal?
True
Let y = -0.13 - -0.13. Suppose -5*z - 112 = 11*z. Is y bigger than z?
True
Let c = 46 + 38. Let l be 4/(4 - (-90)/(-21)). Let q be 2/l + 33/c. Is q not equal to -0.1?
True
Let f = -3.3 - 0. Let r = f - -3.4. Let m = -1.3 - 5.7. Does r = m?
False
Let g be 12 + -9 - 232/(-14) - 3. Is g greater than or equal to 18?
False
Suppose -7*f - 19 = -5. Let a be f + (-3)/1*(-6)/9. Let h = 100/3 - 33. Is a at most as big as h?
True
Let k(j) = -j**3 - 14*j**2 + 11. Let f be k(-14). Let x = -6 + 15. Is x not equal to f?
True
Suppose -5*o + 253 = 2*r, -3*r = -0*r - 5*o - 317. Let y = r - 109. Which is smaller: 45/7 or y?
y
Suppose -5*d + 72 = 3*f, 0*d = -d - 4*f + 11. Let l be (-3)/d*-1 + (-98)/40. Are l and -3 equal?
False
Suppose -z + 5 - 2 = 0. Let j = -4555 + 4564. Do z and j have the same value?
False
Let i(s) = s**2 - 3*s - 18. Let a be i(13). Let f be 6/((-7)/(a/(-12))). Is f smaller than 9?
True
Let a be 6/(-6)*(-75)/(-555). Which is smaller: a or -2/7?
-2/7
Suppose -5*y - 5*n - 649 = 541, 4*n = -5*y - 1195. Let f be 2 + y/49 + 3. Which is smaller: 0 or f?
0
Let v = -40/931 - -6934/291403. Let a = -21567/1565 + v. Is -14 greater than or equal to a?
False
Let i = -1/74 + -1993/370. Which is greater: -5 or i?
-5
Let b(a) = 9 + 2*a + 12*a - 23*a + a**2 - 9*a. Let q be b(18). Is 15/2 at least q?
False
Let d = -28 + 39. Let j be (-10)/(-70) - ((-468)/154 - -3). Which is bigger: j or d?
d
Let s = -1.38 + -0.02. Let t = 11.6 - s. Let o = t + -12.8. Is o less than 2/13?
False
Let l(g) = -10*g**2 - 4*g - 4. Let x be l(-2). Let q be (8/(-2))/x*(-30)/(-35). Is -1 less than q?
True
Suppose -6273 = 51*g - 34*g. Is g less than -367?
True
Let y = 73 - 69. Which is greater: 7 or y?
7
Let u = -293 - -123. Let r be u/(-43) + -2 - 2. Let g(n) = -n**3 - 3*n**2 + 2*n + 6. Let a be g(-3). Is a less than or equal to r?
False
Let i = -1 + 2. Suppose -4*k = -47 + 23. Suppose 0 = 2*j - k, y + 9 = -5*j + 18. Is y bigger than i?
False
Suppose 0 = -11*k + 10*k + 3*w + 46, 4*w - 112 = -2*k. Are k and 55 nonequal?
True
Let j be (-1)/25*8/16*-2. Which is smaller: 1 or j?
j
Suppose 3*t - 37 = -7. Let n = t - 9. Let j be (-28)/24*(-8)/98. Is n at least j?
True
Let k = 87 + -83.3. Let d = k + 11.3. Let g = d + -12. Are g and 0 unequal?
True
Let s = 52 - 41. Suppose 3*w = -8*w + s. Is -1/18 greater than or equal to w?
False
Suppose 3*r = 3*j + 258, 5*j + 175 = 3*r - 73. Let l = 95 - r. Is 5 < l?
False
Suppose h = 4*f, 9*h - 4*h - 110 = -2*f. Are 18 and h nonequal?
True
Suppose s = 108*m - 105*m + 30, -4*s - 5*m + 52 = 0. Are 19 and s unequal?
True
Let n(j) = -3*j + 1 + j**2 - 3*j + 4*j. Let o be n(1). Suppose -69*c + 67*c = -5*z + 20, -5*c - 5*z - 15 = 0. Which is bigger: c or o?
o
Let o = 0.8 - 1.18. Let m = 4.38 + o. Which is smaller: -2/7 or m?
-2/7
Let n be (-1)/2*(-17)/((-102)/(-108)). Is 3 at least as big as n?
False
Let v = -663 + 9946/15. Is 0 not equal to v?
True
Let j(u) = u**2 - 11*u + 6. Let d be j(17). Let x be (416/d + 0)*18/(-12). Which is smaller: x or -7?
-7
Let j be 1*(0 - (-2 - -2)). Suppose 2*h - 8 = -j. Suppose 2*l = h - 2. Is -2/9 at least as big as l?
False
Let i = 4698 - 4697. Let p be -2 + -4*54/(-109). Which is smaller: i or p?
p
Suppose -4*w - 46 = 3*h + 102, 4*w - 3*h = -148. Which is smaller: -36 or w?
w
Let x = -580/7 + 83. Is x > -1?
True
Suppose -2*n = -g - 25, -6*n = -7*n + 4*g + 16. Which is smaller: 0.01 or n?
0.01
Let q = -2265 + 351072/155. Which is bigger: q or 1?
1
Let t(m) = m**2 - 5*m + 8. Let d be t(4). Suppose -5*s - d*s + 45 = 0. Is 6 less than s?
False
Let j(g) = -g + 6. Let a be j(14). Let p be 6/4*(a - 4). Let c = p + 14. Which is smaller: -5 or c?
-5
Let i = 50 - -69. Let x = 1191/10 - i. Which is bigger: x or 0.01?
x
Let h = -179 + 180. Let z = -0.12 + 0.52. Let j = 0.3 - z. Which is greater: j or h?
h
Let k be (-348)/(-465) - 3/30*2. Is k less than 0?
False
Let n = 13 + 369. Is 0.1 <= n?
True
Let u = 285 + -781. Are u and -495 nonequal?
True
Let b(k) = -14*k**2 + 3*k + 115. Let l be b(-9). Does l = -1045?
False
Let y = -12931/12 - -2680/3. Let c = 2075/12 + y. Which is smaller: -11 or c?
c
Let x(k) = k**2 - 18*k + 17. Let u be x(16). Let j = -3 + u. Suppose -i = 10 + 7. Are j and i nonequal?
True
Let k = 372 + -10043/27. Suppose -7 = 5*l - 22. Which is smaller: k or l?
k
Let y be 1*3 - ((-27500)/(-2115) + -10). Which is smaller: y or 1?
y
Suppose 73 = 16*x - 103. Which is greater: x or 6?
x
Let w = -48200 + 142502/3. Let a = w + 710. Is a <= 12?
True
Suppose -6*t - w = -3*t + 1954, 3*t + 2*w = -1949. Which is bigger: t or -2?
-2
Let x be ((-1)/(-1))/((-72)/(-32) + -2). Suppose m - 60 = -3*m. Suppose -4*b + m = -b. Which is smaller: x or b?
x
Let f be (20/1040)/(2/4). Suppose 2*d - 8 = -0*n - n, 3*n - 2*d - 8 = 0. Which is greater: n or f?
n
Let k = 287 - 286. Which is greater: 3/77 or k?
k
Let i = -2 - 7. Let y be (-3)/9 + (-39)/i. Suppose -y*h = -0*h. Is h greater than 6/11?
False
Let x = -1.5 - 12.9. Let w = x + 24.4. Which is smaller: w or 8?
8
Let g = 12.9 - 17.9. Let i = -2.59 - -1.59. Is i at least as big as g?
True
Let o be ((-15)/4)/(24/(-64)). Let i be (-123)/(-11) - o/55. Which is bigger: i or 2?
i
Let h(p) = -7*p**2 - 6*p + 4. Let s(q) = q**2 + 1. Let y(i) = h(i) + 6*s(i). Let x be y(-7). Suppose -2*j - 4*b - 16 = 0, -5 = j + x*b + 6. Are -1 and j equal?
False
Let i = 9137/5424 + 1/339. Which is greater: i or 2?
2
Let w = -10.058 + 0.058. Let x = -16 - w. Which is bigger: x or 1/5?
1/5
Suppose 12*i + 6 = -6. Let b(r) = 26*r**3 + 2*r**2 + 2*r. Let l be b(i). Is l smaller than -26?
False
Let y(i) = i + 1. Let x be (-1*12)/3 + 3. Let r be y(x). Are -3 and r equal?
False
Let h(u) = u**2 + 6*u + 4. Let b be h(-6). Let j(a) = -a**3 + 9*a**2 - 7*a - 8. Let k be j(8). Suppose k = b*n + n. Is n not equal to -1/12?
True
Let t(b) = -6 + 31*b + 0 - 56*b. Let q be t(2). Is -56 > q?
False
Suppose 2*l + 3*l = -15. Suppose 11 = 4*z - 17. Suppose -o - z = 4*u, 2 + 0 = 2*o. Which is smaller: u or l?
l
Let q = 1898 - 199294/105. Which is greater: -1 or q?
q
Let h = 35/19 - 1467/817. Which is greater: -1 or h?
h
Suppose -2*x - 3*l - 15 = 0, 0 = -3*x + l + 3*l + 3. Let f be x/(-12) + 0 + (-3)/(-4). Let j be (-2)/(-12) + (-12)/(-9). Is f != j?
True
Suppose -6*f + 0*f + 18 = 0. Suppose y + 14 = o + f*y, 0 = -4*y + 20. Let