2. Let z = 29/2 + -14. Is u bigger than z?
False
Let q = -1.322 - -0.322. Which is smaller: q or -4/5?
q
Let j = 26 + -23.7. Let p = -2.4 + j. Let n = -5.85 - 0.15. Is n < p?
True
Suppose 17*s + 2 + 15 = 0. Is s less than or equal to -19/16?
False
Let d = 336 + -339. Which is greater: d or 37?
37
Let o = 3/14 + -1/21. Let c = -3 + -3. Let v be 0*(-2 - 15/c). Which is smaller: v or o?
v
Let j be (-28)/(-2) + -6 + (-8 - -1). Which is smaller: -1/256 or j?
-1/256
Let i(a) = a**2 + 3*a + 3. Let l be i(0). Suppose -4*n + l*d = n + 14, -5*d = n + 14. Is n less than -26/9?
True
Let m = -1048.11 - -1047. Is m at most as big as 0.06?
True
Let n(h) = h + 8. Let v be n(-8). Suppose 4*x = -u - v*x + 33, 0 = 5*u - 5*x - 65. Let s be (-2)/u + (-14)/(-119). Which is bigger: s or -23?
s
Let k = -2 + 1. Let j = k - -3. Let b = -859 + 859. Is b <= j?
True
Let t = 167 + -181. Which is smaller: -15 or t?
-15
Let h be ((-4)/10)/(1/(-85)). Which is smaller: 106/3 or h?
h
Let y = -10.34 + -0.66. Is y < -7?
True
Let g = -15 + 21. Let w = g - 6. Let q = 2957/65 - 229/5. Are w and q equal?
False
Let v = -96 + -48. Is -144 smaller than v?
False
Let h be (18/(-24))/((-102)/(-144)). Suppose 4*k + 0 - 3 = -b, 1 = -4*b - 3*k. Is h != b?
True
Let a(c) = c**2 + 6*c - 3. Let g(p) = -2*p**2 - 18*p + 8. Let i(l) = 7*a(l) + 2*g(l). Let s be i(2). Is 22 != s?
True
Let v = 102 + -59. Are 46 and v non-equal?
True
Suppose -8*r - 110 = -3*r. Let t = 37 + r. Suppose 4*i + t = -5*g + 3, -3*i - 2*g = 9. Is i != -3?
False
Let g(o) = -o**2 + 3*o - 1. Let t be g(2). Suppose -3*f + 1 + 2 = 0. Let w be (4 - f) + (t - 1). Is w less than or equal to 2?
False
Suppose 4*f = 2*f + 22. Suppose 10*m + 49 = 189. Let o = f - m. Is -3 >= o?
True
Let h = -68 + 57. Is -19 != h?
True
Let y = -306.1 - -306. Is y less than 206?
True
Let i = -357 - -356.9. Is 264 at most as big as i?
False
Suppose -7*z + 58 = 65. Which is smaller: 3/146 or z?
z
Let l = 6 - 5.7. Let f = 1.3 - l. Let m = 1/123 + -85/369. Which is smaller: m or f?
m
Suppose -4*n - 9 = -3*q - 4, -5*q = -15. Let i = -5325 - -5278. Which is smaller: n or i?
i
Let r be (-22)/(-18) + 2/(-9). Let f(y) = -y**2 - 13*y - 11. Let l be f(-9). Let g = l - 23. Is g smaller than r?
False
Let f be ((-123)/205 - (-49)/65)*-7. Is f bigger than 0?
False
Let p = 348 - 25. Which is greater: 320 or p?
p
Let j be (-44)/(-11) - (-178)/(-46). Let h be -2 + (-1)/(3/(-3)). Is h greater than j?
False
Let a = 8 + -13. Suppose -25*x = -31*x - 36. Are x and a non-equal?
True
Let y = 10862 + -119398/11. Do 7 and y have different values?
True
Let s = -12.12 + 12. Let y = s - 12.88. Let p = y + 13.7. Which is bigger: p or -2/5?
p
Let d = 180 + -106. Let z = d - 52. Which is greater: 0 or z?
z
Let j be 25/175 + 15/42 + 0. Suppose 0 = -3*w + 2*l + 11, 2*w - 11 = w - 3*l. Suppose c = -w*m - 2*c, 0 = -m + c. Which is bigger: m or j?
j
Let w be 3/12*2*-4. Let t = -11/5 + 19/20. Which is greater: t or w?
t
Let k(t) = 9*t - 1 - t**2 + 2*t**2 - 6. Let y be k(-7). Let o = -27 - y. Which is greater: o or -4?
-4
Let l = 102 + -48. Let i be 12/2*36/l. Which is bigger: 16/3 or i?
16/3
Let t = -37924/43 + 882. Let x = t - -68/387. Let y = 1 - 2. Is y >= x?
False
Let p = 13.72 + -27.52. Which is smaller: 3 or p?
p
Let x = 10656445/508579707 + -4/287821. Let g = 2/589 - x. Which is bigger: 1 or g?
1
Let i = 3 - -9. Let r(f) = -f**2 + 12*f + 1. Let v be r(i). Suppose 0 - v = p. Do 1/5 and p have the same value?
False
Let h be 246/369*42/(-136). Do 1 and h have the same value?
False
Suppose 3*z - 33 - 9 = 0. Let a(n) = n**3 - 14*n**2 + 2*n + 8. Let j be a(z). Is 36 bigger than j?
False
Let k be (-76)/8*(-3 + 3 - -2). Which is greater: k or -6?
-6
Let r = -655115/66 + 58423/6. Let i = r - -189. Let m be (-8)/(-10) + 1/(-1). Which is smaller: m or i?
m
Let z = -438 - -167. Let w = z - -5689/21. Which is smaller: 1/3 or w?
w
Let q = 6 + -4. Suppose -3*p - 26 + 38 = 0. Suppose 0 = -2*b + p*b - v + 2, b = v - q. Is b < 2/25?
True
Let i be (10 - 5004/495)/(-4 - -2). Which is greater: i or 4?
4
Let f(x) = -x**3 - 10*x**2 - 5*x - 10. Let c be f(-10). Let n = c + -38. Which is smaller: n or 9/5?
9/5
Let r be (12/(-55))/(2/5). Let h be (-6 - 20/(-4))/(1/11). Let s(i) = i**2 + 14*i + 33. Let w be s(h). Are w and r equal?
False
Let j(a) = -a**2 - 13*a - 18. Let h be j(-12). Let o(z) = z**2 + 6*z + 1. Let u be o(h). Let n be 2/(-4)*(u - 1). Which is greater: n or 1/12?
1/12
Let x be -2 - ((-2 - 0) + 2). Let g(o) = -5 - 12 + 16 + o**3 + 4*o**2 + 2*o. Let r be g(x). Which is smaller: r or 4?
r
Let x = 33 + -32.95. Let y = x - -0.95. Is y greater than -0.15?
True
Let t = 295 + -4427/15. Is t at most 6/11?
True
Let y = 2031356/3 - 3810825917/5628. Let d = -9/28 - y. Which is smaller: d or 0?
0
Let m(o) = 8 + 1 - 1 - 3 + o. Let l be m(-4). Which is greater: l or -1/10?
l
Suppose -5*w - 2*g + 6 = -0*g, -4*g + 12 = -3*w. Let m be ((-464)/236 - 2) + (-12)/(-3). Is w < m?
True
Let l(x) = x - 8. Let u be l(9). Let h be (u - -5) + 12/20*5. Which is greater: h or -1?
h
Let j be (-8110)/(-1870) + (39/11 - 3). Which is bigger: 6 or j?
6
Suppose -3*b + 3*a = 2 + 7, 0 = 3*b - 4*a + 13. Let x be 6*b/30 + 16/(-55). Is x less than 0.1?
True
Suppose 3*z - 634 = -k + 6*k, -3*k + z - 378 = 0. Is -125 < k?
False
Let y(c) = 0 + 0 + 5 + c + 2. Let h be y(-8). Is h at most as big as 24?
True
Let f = 44 - 133/3. Let x = 48 + -525/11. Let s = x + -20/33. Is s smaller than f?
False
Suppose -3*u + k - 100 = 0, 3*u + 180 = -2*u - 5*k. Let d be 51/u*4/(-3). Suppose d*g - 4*g - 10 = -3*s, 0 = g + 4*s - 17. Which is bigger: -9 or g?
g
Let v = 288 - 280. Is v at most as big as 4/9?
False
Let g = -0.079 - 13.921. Let u = g + 17. Is -0.4 at least as big as u?
False
Let j be (-24 - -27) + 3/(84/(-100)). Let z be (-6)/21 - 48/(-217). Which is smaller: j or z?
j
Let q be (-10864)/2968 + 2*2. Which is smaller: 1 or q?
q
Suppose -23 - 61 = -3*a. Suppose -2*u = 4*h + 2*u - a, h - 16 = 2*u. Let i be ((-4)/(-15))/((-4)/h). Which is smaller: -1 or i?
-1
Let s = 13 - 8. Let g(d) = d**2 - d - 1. Let u be g(s). Let h(n) = 16*n + 18. Let x be h(0). Is u greater than x?
True
Let n be (4 - (-33)/(-22))/(2/(-4)). Let v = 15 - 9. Let c = v + n. Is 4/3 <= c?
False
Let n = -128 + 124. Suppose -5*a + 0*a - 25 = 0. Let o(m) = m**3 + 6*m**2 + 6*m + 3. Let y be o(a). Which is smaller: n or y?
n
Let p be (-1 - -3)/(0 - -1). Let a be p - 6 - 86/(-21). Which is bigger: a or -0.2?
a
Let k(r) = r**2 + r. Let y(u) = u**2 + u. Let m(z) = 2*k(z) - 3*y(z). Let l be m(0). Which is bigger: 5 or l?
5
Suppose -125*k = -96*k - 29. Let v = 40 - 14. Is k < v?
True
Let l(o) = -3*o - 33. Let z be l(-10). Let s be ((-11)/(154/(-21)))/(z/8). Which is smaller: 1 or s?
s
Suppose -37 = -4*s + 23. Suppose s + 3 = -3*q. Let x be 18/7 - q/(-2). Is x != -1?
True
Let x be 1 + -4 - (-5)/(15/42). Suppose -a = x*a - 264. Is a greater than or equal to 21?
True
Let a = 7059886/171 - 41286. Is 0 >= a?
True
Suppose 15*d + 32*d = -846. Suppose -14 - 4 = r. Does r = d?
True
Suppose 4*b + 25 = 5*o, 3*b - 5*o + 6*o - 5 = 0. Suppose 5*l - i - 5 = 0, b = 5*l - i + 5*i - 5. Is -3/16 smaller than l?
True
Let j = -0.5392 + -0.2008. Which is bigger: j or 3?
3
Let w(i) = -i**3 - 5*i**2 + 4*i - 8. Let k be (5 + 1)/(-2 - 0). Let l be k/(-1*1/(-2)). Let g be w(l). Is 5 at most g?
False
Let x be ((-4)/20)/(2/5). Let a = 310 - 326. Which is smaller: x or a?
a
Let x = -17 - -3. Let c = 16.5 + x. Let r = c + -4.5. Are r and 0.3 non-equal?
True
Let d(c) = -2*c + 36. Let h be d(19). Let b be (((-4)/(-6))/h)/(3/18). Which is smaller: 0 or b?
b
Let x be (-1768)/192 + (0 - 1/(-3)). Let j = 49/8 + x. Which is greater: j or 0.2?
0.2
Let j = -806 + 805. Is j greater than -1/103?
False
Let b(n) = 16*n + 158. Let c be b(-10). Does c = 9?
False
Let r = -231 + 231. Is 1/14 > r?
True
Let m = 47 - 51. Let c be (19/m)/(21/(-84)). Is 19 >= c?
True
Suppose -2*l + 4*p = -18, -8 = 4*p - 0. Suppose 23 = l*q - 12. Let a be -4*q*18/(-48). Which is smaller: 10 or a?
10
Suppose 5*r + i = 4*i - 1, -4*r + 3*i + 1 = 0. Let v be (r*6)/(1 + 0). Which is bigger: v or -11?
-11
Let p be (-2 + 2)/(-1) - -7. Let w(f) = 15*f - 135. Let x be w(9). Suppose x = -0*q - p*q + 49. Which is smaller: q or 6?
6
Suppose 5*k + 103 = -2. Let w be (-183)/(-132