 + -47. Let y = i - 23. Let t = y + -27/2. Which is smaller: t or 2?
t
Let g = -115 + 112. Which is greater: g or 0.1?
0.1
Let n(s) = -s**2 - s + 2. Let f be n(0). Suppose 0*j - 6 = -2*j - t, -2*j + 10 = f*t. Let g be (-3)/1*(-5)/(-70). Is j < g?
False
Let d be 827 - 4/(0 + 2). Let a be 2*5/(d/(-6)). Let m = 3/11 + a. Which is smaller: m or -1?
-1
Let o be -3*((-8)/6)/4. Which is smaller: o or 5/7?
5/7
Let q(l) = l + 5. Let c be q(-6). Let u be ((-1)/18)/(30/(-8)). Let w = 56/135 - u. Is w at least as big as c?
True
Suppose -4*c = -8 + 44. Let z be -3 - (2/5 + 84/(-35)). Let r be 2/(-9) - z/c. Which is smaller: r or 2/5?
r
Suppose 2*n + 3*z - 1 + 4 = 0, -5*n - z = -12. Suppose -6 - 2 = -2*b. Suppose -4*i + t = -i - 18, b*t = -3*i + n. Is 6 > i?
True
Let o = 15 + -19. Let s(u) = u**3 + 3*u**2 - 4*u - 4. Let x be s(-4). Is x bigger than o?
False
Let x = -9003/5 + 1852. Let w = -37889389/165 - -229684. Let z = x - w. Is z != 0?
True
Let b be (1 - 6)*3/(-5). Suppose 4*x - x - b = 0. Is 1/4 >= x?
False
Let w(u) = 2*u + 0*u**3 + u**3 + 5 - 2 - 2*u**2 + 5*u**2. Let q be w(-2). Suppose -q*i = i + 16. Is -4 at most as big as i?
True
Let c = 21 - 18. Let v(i) = 2*i**2 - 5*i + 4. Let t be v(3). Let n = c - t. Is n bigger than -4?
False
Let q = -0.41 - -2.31. Let h = 12 - 12.1. Let m = q - h. Which is smaller: m or -1?
-1
Let a = -39 - -37. Which is bigger: a or -3/4?
-3/4
Let b be -3 + (-2)/(8/(-36)). Is b at least as big as 6?
True
Suppose 6 = -4*b - 2*r, -b - 3 = 3*b + 3*r. Let y be 49/3 - 2/b. Let t be y/(-5) + (-6)/(-15). Do t and -2 have different values?
True
Let k be (2 - -1)*(-10)/(-15). Suppose 3*u = -k*u. Is u bigger than 1?
False
Suppose -20*i = -17*i. Is 1/15 greater than i?
True
Let v be 9/(-4) + 7/(-28). Does -2 = v?
False
Let u(g) = -g**3 + 6*g**2 - 4*g - 2. Let p be u(5). Let m(j) = -3 + 4 - j**2 - p*j + 0*j. Let b be m(-3). Is b greater than 1?
False
Let n = -177 - -526/3. Let r be 13/(-4) - (-2)/8. Which is smaller: n or r?
r
Let a = 75 + -68. Which is bigger: 0 or a?
a
Let t be (40/10 + -21)*(-2 + -1). Do t and 49 have different values?
True
Suppose 0*g = -6*g + 210. Are 35 and g non-equal?
False
Let x be -2*((-3)/2 - -2). Let z be 2/6*12/14. Is z greater than x?
True
Suppose -9*h + 6*h + 300 = 0. Suppose 2*y - h = 5*c, -3*c - 2*y - 49 = -y. Do -17 and c have different values?
True
Let g = -0.019 - 0.081. Which is bigger: -0.06 or g?
-0.06
Let y = 4.09 + -0.09. Let m = -3 + y. Are m and -1/3 equal?
False
Let i = -81 - -85. Does 2 = i?
False
Let y = 1.8 + -2. Let x = 0.3 + y. Suppose 5*r + 5 = -4*a, -a + 0 = 3*r + 3. Is x less than or equal to r?
False
Let a(p) = -p**3 - p. Let z be a(0). Let x = z + -2. Suppose i = -i - 10. Which is smaller: x or i?
i
Suppose 0 = -5*y - 0 + 20. Let s be 2/y + 33/(-54). Is 0 less than s?
False
Suppose -5*h + 14 - 4 = 0. Suppose 5*x + 5 = 0, 4 + 15 = -h*a - 5*x. Is a less than -8?
False
Let w(s) = s + 4*s + s - 7*s. Let b be w(2). Is b smaller than -3/2?
True
Suppose -2*u - 22 = -2*v, 0 = 2*u - v + 4*v + 2. Does -7 = u?
True
Suppose 4 = -g - k - 0, 11 = -5*g - 2*k. Which is greater: -3/17 or g?
-3/17
Let o(v) = -7*v + 1. Let n be o(-1). Suppose 0 = -2*d - 2*d - n. Let x be 5/(-2) - 0 - -2. Which is smaller: x or d?
d
Let z(q) = -2*q - 1. Let l be z(1). Let j be (3/(-6))/((-2)/(-12)). Is l less than or equal to j?
True
Suppose 2*j + 2 = -3*o - 2, 5*j - 1 = -2*o. Which is bigger: -1/36 or j?
j
Let y be (480/90)/(-1*4/(-6)). Is y greater than or equal to 8?
True
Let t be ((-10)/(-8))/((-1)/(-4)). Let d = 0 + t. Suppose -d*x = -5*c + 10, 3*c = -x - x + 6. Is 2 greater than or equal to c?
True
Let m(n) = n**3 - n**2 + n + 1. Let p be m(-1). Are p and -7/6 nonequal?
True
Suppose -10*l - 1 + 11 = 0. Is 1 less than or equal to l?
True
Let l(r) = 18*r + 13. Let z be l(-7). Let k = z - -1231/11. Is k less than or equal to -2?
False
Let u = 13 + -12.96. Which is greater: -0.1 or u?
u
Suppose -3*w = -7*w + 40. Let y be (w - 5) + 0 + -2. Let m be (y/4)/((-2)/(-8)). Which is smaller: 2 or m?
2
Let y = 1.76 + 0.34. Let f = y - -2.9. Which is smaller: f or 1?
1
Let z = 36 - 26. Let c(v) = -v**3 + 9*v**2 + 9*v + 8. Let y be c(z). Let j(i) = -i - 6. Let t be j(-5). Which is greater: y or t?
t
Let k = 6 - 4. Let r = 2 - k. Suppose -5*a - 8 = -x, -a = a + 4. Which is bigger: x or r?
r
Suppose 4*d - 6 - 6 = 0. Suppose -d*w + 1 = 4. Which is greater: w or -1/3?
-1/3
Let j = -0.51 - -0.11. Let h = j + 0.1. Which is greater: -0.2 or h?
-0.2
Suppose 3*k - 2 + 1 = 2*g, 4*k = -4*g - 12. Let j = 4 + k. Let b be (6/16)/(j/12). Which is greater: b or 3?
3
Let f = 32/3 - 10. Let l = -7 + 10. Let b = l - 1. Which is smaller: b or f?
f
Let y = 0.29 - -11.71. Let f = 12.1 - y. Let z = 1 + 0. Is f > z?
False
Let b = -0.378 - 7.582. Let v = -8 - b. Let g = -1.96 + v. Is g <= -2/3?
True
Let b = 104 - 102.93. Let s = -0.07 + b. Let m = -0.2 - 0.3. Is s less than m?
False
Let s be (-4*(-2)/4)/2. Suppose -2*t - 4 = -2. Let i = t - s. Is 0 less than or equal to i?
False
Suppose 0*k + 5*k = -4*v - 4, -k - 2 = 2*v. Suppose -x - 2*x = k, 5*j - 5 = 5*x. Which is smaller: j or -1/5?
-1/5
Let c(j) = -j**3 - 5*j**2 - 4*j + 1. Suppose -2*f = -2*t + 14, -8 + 4 = -t. Let p be c(f). Suppose 0 = -3*b - 2*r - 12, -2*b + 0 - 8 = 5*r. Does b = p?
False
Let j be (1 - (-5)/(-2)) + 54/36. Which is greater: -8/11 or j?
j
Let y(k) = -k**2 - 4*k - 4. Let c be y(-3). Let j(m) = m + 4. Let z be j(-4). Which is smaller: z or c?
c
Let j = 0.4 - 0.4. Is -1 < j?
True
Let y(u) = -u + 5. Let c(s) = s - 4. Let k(b) = -4*c(b) - 3*y(b). Let n be k(0). Is 2/3 less than or equal to n?
True
Let y = 2.98 + -3. Which is greater: y or -4?
y
Let s be ((-5)/((-15)/(-2)))/((-2)/3). Which is greater: s or 4/17?
s
Let a = -114 + 115. Is a bigger than -24?
True
Let p(d) = -d**3 - 5*d**2 + d - 5. Let w be p(-5). Let b = w + 9. Is -1 at most as big as b?
True
Let b = -0.044 + 0.019. Which is smaller: -0.1 or b?
-0.1
Suppose 17 = -x + 1. Which is smaller: -81/5 or x?
-81/5
Let k be 0/(2*1 + -14 + 11). Which is smaller: -2/71 or k?
-2/71
Let q = 22/3 - 160/21. Is 0.2 at most as big as q?
False
Suppose 0 = 4*c - 46 - 110. Let l be (-6)/c - 0 - 0. Are -1 and l non-equal?
True
Let n be ((-9)/(-4))/((-4)/16). Which is greater: n or -8?
-8
Let z = 0.5 - -0.5. Let t = -0.8 + z. Let r(u) = u**3 + 6*u**2 - u - 5. Let k be r(-6). Which is smaller: k or t?
t
Let h = -1837/7 - -263. Which is greater: 1 or h?
1
Let f = -61 + 243/4. Is -18 greater than or equal to f?
False
Suppose 4*u + 62 = 74. Let m = 0 - -2. Which is smaller: u or m?
m
Let m = -47 + 331/7. Let j(t) = t + 4. Let k be j(-2). Let n be (k/(-4))/((-2)/4). Is m at most as big as n?
True
Let z be (0 - 12/8)*-2. Which is greater: 7/3 or z?
z
Let i be 3/21 - (6/14 - -1). Which is smaller: i or -2?
-2
Let h be 5*(1 + 2/(-5)). Let m(u) = -u**3 - u**2 - 2. Let g be ((-6)/9)/((-2)/(-6)). Let z be m(g). Is z at least h?
False
Let j = -2.68 - 0.32. Which is greater: 0.06 or j?
0.06
Let y = -2.1 - -2. Let g be (-217)/21*2*-1. Let h = g + -22. Is h <= y?
True
Let f be -1*(-1)/(-1) - 0. Let n be f/(-5)*(-5)/2. Which is greater: n or -3?
n
Let s be 6/9*206/(-32). Let i = s + 25/6. Are i and 1 nonequal?
True
Let j = -455/4 + 114. Let o = 13.82 - -0.18. Do j and o have the same value?
False
Let t = -0.38 - -0.48. Is 21 < t?
False
Suppose 3*n = 2*b - b + 5, -n - b = -3. Let f(r) = r**2 - 2*r. Let i be f(2). Which is smaller: i or n?
i
Suppose -6*f + 2*f = 2*z - 282, -351 = -5*f - 4*z. Let i = -922/13 + f. Which is smaller: i or -1?
-1
Let k(j) = -j + 10. Let t be k(6). Suppose 0 = -4*p + x + 25, p - 29 = 4*x - t. Suppose 2*g - 5 = -3*g, 2*g - 12 = p*d. Which is smaller: -1 or d?
d
Suppose 5*d - 4 = 3*n, d + 5*n - 6 = 3*d. Suppose -4*l + 24 = 5*y, 0*y = 4*l - d*y + 4. Suppose -a - 2 = -l. Do -1 and a have different values?
False
Let p = 1 + -1. Let q = -2 - p. Is q bigger than 0?
False
Let f be (30/20)/((-6)/(-64)). Are f and 16 unequal?
False
Let r = 10 - 16. Let c = r - -5. Which is smaller: -1/19 or c?
c
Let j = -67 + 333/5. Suppose 0*l = -3*l + 3*z - 6, -l = 5*z - 28. Let p be ((-1)/l)/((-2)/6). Is p bigger than j?
True
Let p = 68 - 67. Which is bigger: p or 11/10?
11/10
Let x(l) = 2*l**2 - 4*l**3 - l - 2*l**2 - l**3 + 1. Let g be x(1). Are -3 and 