e b(0). Let y be 5/(-20) + -2*55/n. Which is smaller: y or -16?
-16
Let n(a) = -a**2 + a + 1. Let k be n(0). Let v(u) = -u**2 - 7*u + 45. Let g = -59 - -48. Let y be v(g). Do k and y have different values?
False
Let a(m) = m**3 + 7*m**2 - 8*m - 1. Let k be a(-11). Is k < -396?
True
Let u(q) = -2*q**2 + q - 4 + 6*q**2 - 3*q**2. Let a be u(3). Let h be a/(-12) - (-8)/(-6). Is h at least 0?
False
Suppose m = -2*y + 181, 470 = 5*y + 2*m - 3*m. Is y smaller than 91?
False
Let r = 102998/56661 - -2/5151. Let o = r + -73/22. Which is greater: -1 or o?
-1
Let b(c) = -c**3 - 10*c**2 + 9*c - 22. Let g be b(-11). Suppose g = 68*p - 61*p. Let q be ((-6)/1)/(-1*19). Is p bigger than q?
False
Suppose 0*k = k - 2. Let r(g) = 7*g + 6*g**2 - 7*g**2 + 2*g**2 - k*g**2 - 4. Let l be r(5). Are 6 and l equal?
True
Let w = -0.063 - -15.063. Let z = -16 + w. Let c = -0.3 + -0.7. Is c bigger than z?
False
Suppose 0 = 5*c - 0. Suppose -6*q - 3*u + 1186 = -4*q, -3*q + 1779 = u. Let f = 4143/7 - q. Are c and f nonequal?
True
Let i = 490 - 489.8. Let n(f) = 2*f**2 - f - 1. Let b be n(2). Suppose 0*o = b*o. Which is smaller: i or o?
o
Suppose 193 = -10*y - 437. Is -66 at least as big as y?
False
Let s = -219.9 + 221. Which is smaller: -0.1 or s?
-0.1
Let g = 91 + -196. Which is bigger: -106 or g?
g
Let c = 452 + -7235/16. Let m(a) = a**3 - 10*a**2 + 7*a + 18. Let x be m(9). Which is greater: x or c?
x
Let g = 11 + -7. Suppose -g*t = -42 - 62. Is 26 <= t?
True
Let f(i) = -3*i - 21. Let g be f(-2). Is 2/9 at most as big as g?
False
Suppose 0 = 5*x - 5*m + 395, 5*x + 78 = -4*m - 281. Is x less than or equal to -75?
True
Let m = -78 + 153/2. Let o = -49 - -49. Which is smaller: m or o?
m
Let s = 4.0023 + -0.0723. Let k = s + 0.07. Let a = k - 2. Is 3 smaller than a?
False
Suppose f - 3*f - l + 8 = 0, 5*f = 2*l + 2. Let k(v) = -v**3 + 5*v**2 + v - 2. Suppose 3*s - 12 = 3. Let a be k(s). Which is bigger: f or a?
a
Let g(z) = z**3 - 2*z**2 - 3*z - 6. Let m be g(3). Let w be (m/24)/((-2)/(-54)). Are w and -6 non-equal?
True
Let w = 1180 - 1162. Is w equal to -5?
False
Let n = 8608 - 8599. Let v be (7 - (0 + -2))*1. Is v smaller than n?
False
Let f = -374 + 2627/7. Is 2/9 greater than f?
False
Suppose -14 - 60 = -2*j. Suppose 253 = 5*a - 4*t + j, t = 2*a - 84. Suppose 4*c = 6*c - a. Is 18 less than or equal to c?
True
Suppose 3*v = -5*d + 3*d + 13, -3*d = -3*v - 27. Let p = d + -2. Suppose 0 = -p*u + 8*u. Is u greater than or equal to 2?
False
Suppose -3*t = f - 62, -t + 84 = 3*t + f. Let j = t + 22. Are 45 and j non-equal?
True
Let o = 16775/28 - 599. Is o bigger than 2/11?
False
Let z be 12/(-770) + (-104)/260. Which is bigger: 0 or z?
0
Let u = -0.959 + 107.859. Let n = -107 + u. Let m = 0.2 - 2.2. Which is greater: n or m?
n
Suppose 2*w - 5*w = 0. Let p = w - -4. Is 5 less than p?
False
Let k = 59 + 41. Let x = 107.7 - k. Let p = 1.3 + x. Is p greater than or equal to 1?
True
Suppose -4*t + 4*v = 24, 0*t - 3*t - 2*v + 7 = 0. Which is bigger: -1/161 or t?
-1/161
Let m be 5*5/25 - 1. Suppose m = -4*o - 4*v - 4, -4*o + 2 = -2*v + 6. Is -14/15 greater than o?
True
Let a be 1*12/((-4)/1) - -2. Are a and 29 non-equal?
True
Suppose -4*v - 656 = 2*y, 132 - 1426 = 4*y - v. Which is smaller: y or -321?
y
Let x = -11.2 + 8. Let j = 0.053 - -0.947. Which is bigger: j or x?
j
Let v be (-101)/(-9) - (-12)/(-54). Suppose -13*q = -v*q + 28. Let j = -24 - q. Is -10 equal to j?
True
Suppose 86*j = 96*j. Is -2/177 < j?
True
Suppose 2*l = -3*l. Let s be 3 + (l - 0/2). Suppose -n = 2*n, 0 = i + s*n. Which is bigger: -0.8 or i?
i
Let p(x) = -x**2 + 2*x + 37. Let g be p(7). Let d be (712/118)/g + -3. Which is smaller: d or 1?
d
Let t = 18931/6 - 6119/2. Are t and -0.1 unequal?
True
Suppose -4*o + y = 11, -4*o - 8 = -2*y + 6. Let c be 7 + (5852/55)/(-14). Which is smaller: o or c?
o
Let c(x) = -270*x + 1107. Let s be c(4). Which is greater: s or 30?
30
Suppose -9*m + 58*m = -2303. Is m less than -61?
False
Let o(k) = -k**2 + 27*k + 13. Let b be o(27). Which is smaller: b or 12?
12
Let u be 332/(-2)*5/60*6. Let g = -105 - u. Is g less than -22?
False
Let t = -63 + 61. Which is bigger: -48/23 or t?
t
Let i = 1539 + -1052. Which is bigger: i or -1/2?
i
Let i be (-1745576)/3430 + 2/(-7). Is i greater than or equal to -509?
False
Let k be (12 - 14)/((-2)/8). Suppose -k*i + 4*i = 196. Let q be (14/i)/(45/(-21)). Which is bigger: 1 or q?
1
Let s = 0.01 - 3.01. Let u = 3.2 + s. Is u equal to -0.01?
False
Let n be (3/(-2))/(6/(-20208)*-12). Is n less than or equal to -421?
True
Let l(o) = o**2 - 3*o - 4. Let i be l(3). Let x be 0/(1/(-4)*i). Let p be x + 16/6 - 2. Is -3 >= p?
False
Let z be 3 + 1 + 105/9. Let g = -16 + z. Which is greater: g or -3?
g
Let l(y) = 30*y - 102. Let n be l(6). Is 78 bigger than n?
False
Let u = 22/67 - -1/201. Which is greater: 1.73 or u?
1.73
Let m = -1 - -33. Let j = m - 23. Which is smaller: j or 3?
3
Suppose 0 = 18*n - 17*n - 69. Is n != 69?
False
Let o be (92/(-8) + 11)*(122 + 2). Is o equal to -60?
False
Let d = -370.9 - -372. Which is bigger: d or 1?
d
Let g = -799 + 800. Is 3/458 <= g?
True
Let t be -4*(5 - 186/24). Let d = 34 - 23. Is d < t?
False
Let h = 0.39 + 1.91. Let p = h + -2.1. Which is greater: p or 4/7?
4/7
Let k be 0/(3/(15/10)). Which is smaller: 3/226 or k?
k
Let u = -87 + 66. Let g(b) = b**3 + 21*b**2 + 2*b + 51. Let d be g(u). Do 6 and d have the same value?
False
Suppose 0*n = -3*n. Let x = n - -2. Let m = 106 - 313/3. Which is bigger: m or x?
x
Let j = 20 - 14. Suppose -j*m - 12 = -10*m. Suppose -m*d - 3*c + 6 = 0, -d + 14 + 0 = -5*c. Is 3 at least as big as d?
False
Suppose -16 = 2*r - 4*r - 2*z, -2*r = z - 11. Suppose -r*m - 1 = 2*f - 4, -3*m + 2*f + 3 = 0. Is -1/23 greater than m?
False
Suppose -125 = -6*g + 181. Which is smaller: 52 or g?
g
Let a be 2 + (-156)/(3 + -6). Are a and 56 equal?
False
Let m be 2392/88 - (-2)/(-11). Suppose -5*x = -2*x + m. Let d be (3/x)/((-1)/3). Is d greater than -6/13?
True
Let z(u) = 30*u - 81. Let q be z(3). Let w be 10/6*(-42)/(-9). Is w at least as big as q?
False
Let p = 22707/28 - 811. Is p bigger than 1?
False
Let b = -260 - -391. Are 2 and b equal?
False
Let r = 13513273/725 + -18639. Is -1 at least r?
False
Suppose 0 = 3*z - a + 2 - 15, -5*a = -3*z + 29. Let i be z/(-6)*6 + 6. Which is greater: 4 or i?
4
Suppose -2*i + 4*z - 4 = z, -5*z = -i - 16. Suppose -i*o + 13 = 1. Let x(n) = n - 3. Let a be x(o). Which is greater: 3/5 or a?
3/5
Let a(u) = u**2 - u + 3. Let h be a(4). Suppose 0 = 7*y - 10*y + h. Suppose i = 6 + y. Is i <= 11?
True
Let w(y) = -y**3 - 19*y**2 - 17*y - 7. Let b be w(-21). Which is smaller: 1231 or b?
1231
Let a = -15 - -15. Suppose 4 = -4*r, 3*x + 0*r - 3*r - 15 = a. Suppose c - x*o - 20 = 1, 3*o + 19 = 4*c. Which is greater: 1/3 or c?
c
Let j be 2*2/(8/(-4)). Let n = 5970/7 + -855. Which is bigger: j or n?
j
Let u = -9 - -14. Suppose w + u = -0. Let l(m) = m**3 + 5*m**2 - m - 5. Let o be l(w). Which is bigger: -4/5 or o?
o
Suppose -34 = -4*z - 5*v, -5*v + 3 = -4*z + 17. Suppose 3*b - 6 = z*b. Let w be (-66)/65 + ((-110)/(-25) - 4). Which is bigger: w or b?
w
Suppose -3*t - 12 = -p, t + 0*t - 44 = -5*p. Suppose 0 = p*k - 12*k + 27. Is k at least as big as 11?
False
Suppose 0 = -50*b + 44*b - 6. Which is greater: b or 3/172?
3/172
Let o = 89 - 92.9. Let y = -27 - -31. Let i = o + y. Which is smaller: 1/6 or i?
i
Suppose 6*a - 8 = 2*a, 0 = -5*v - a + 32. Let y be 2/v + 14/21. Is y less than or equal to -2?
False
Let j = 14 - -3. Suppose 3*g + 5*k = 30, 4*g = -0*k + k + j. Suppose -19 = -g*i - 4. Is i > 4?
False
Let q = 2.86 + -3. Let z = -0.07 + 0.02. Let w = z - q. Which is bigger: -0.1 or w?
w
Let t = 0.3 + -0.4. Let a(y) = -3*y - 6. Let d be a(-5). Suppose 3*w = 30 - d. Which is bigger: t or w?
w
Suppose 2*k - 2*n = 852, k = 30*n - 31*n + 430. Do -2 and k have the same value?
False
Let w = -49.286 - 0.714. Is 2/13 > w?
True
Suppose 0 = k + 4*g - 23, -2*g + 0 = -k - 7. Let t be 2*k/30*4. Let v = -11/6 - -10/3. Is t smaller than v?
True
Suppose -16*z + 10*z - 22*z = 0. Is 2/889 equal to z?
False
Suppose 0 = 5*n - l - 55 - 23, -3*n = -4*l - 40. Let m = n - 82/5. Let r = 433 + -433. Which is bigger: r or m?
r
Suppose -m = 3*c - 27, 2*c + 4 = -5*m + 152. Let a = 28 - m. Let o be (6/14)/((-6)/21