(-9) - 1/(-4). Let x be n/(-6) - 217/t. Which is smaller: -3 or x?
-3
Suppose -1 = -s - 2. Suppose -5*f - 5*x = -190, 3*f - 2*x - 92 = f. Let t be (-87)/f + 1 + 1. Is t >= s?
True
Let p = -115 - 13. Let i = p - -127.9. Which is greater: 29/3 or i?
29/3
Let f = -1665 - -1665. Which is bigger: 55 or f?
55
Let p be 4*2/12*39/(-26). Is p <= 5/48?
True
Let l(f) = f**2 + 26*f + 44. Let k(y) = y - 1. Let a(x) = 2*k(x) - l(x). Let c be a(-22). Is -20/11 <= c?
False
Let k = 0.339 + -0.139. Are -1/27 and k nonequal?
True
Let w = -127.972 - -128. Let d = 13.028 - w. Is d != 4?
True
Let u be (5282/5004)/((-1)/258*-2). Is u equal to 135?
False
Suppose 646*d - 648*d = -108. Let c(t) = 6*t**2 - t - 1. Let k be c(-3). Which is greater: d or k?
k
Let m be (-1 - 58/(-70))/((-924)/3080). Suppose -2*g = -3 - 1. Is g < m?
False
Let u be 3/(-6)*-10 + (-235)/50. Is 0.3 greater than or equal to u?
True
Let b(v) = v**2 + 7*v + 3. Let k be b(-5). Let t be (1 + -1)*k/14. Let a = 5.6 + -5. Which is smaller: t or a?
t
Let x be 10 - 11 - 15/(3/1). Let j be (12/(-9))/(1/3). Let l be 41/(-6) + j/(-12). Which is smaller: l or x?
l
Let d = -1954 + 1868. Is d at most as big as -85?
True
Let l = 1778438746807753/252357 - 7047312921. Let m = -2/1281 + l. Is 1 less than m?
False
Suppose 0 = -3*t + 2*y + 12, 12*y - 7*y = -3*t + 33. Suppose -2*x - 12 = t. Is x greater than -7?
False
Let m = -22 - -12. Let g(r) = -2*r - 38. Let v be g(-20). Suppose v*d + 21 = -s, 3*d + 7*s - 2*s + 28 = 0. Is m less than or equal to d?
False
Let i be 2/(-6) - 2272/6. Let f = -5309/14 - i. Suppose 5*o + 3*l + 18 = 4, 18 = -3*o - 5*l. Do o and f have the same value?
False
Let v(q) = -q - 7. Let c = -12 - -7. Let i be v(c). Let k be 5/10*(i - 4). Is k greater than or equal to -1?
False
Let k = -1459 + 1460. Is k at least 8?
False
Suppose 2*c = 5*i - 7, 5*i - 2*i - 5 = c. Let s be (-7 - (c - 3))*2. Is s at most -17?
False
Let q = -529 + 529.036. Is 0.14 at least as big as q?
True
Let f be 2*-1*(-14 + 10 + -8). Is 26 < f?
False
Let q = 57 + -153/2. Is -19 greater than q?
True
Suppose -8*i = -4*i - 5*c + 11, 3*i + 37 = -2*c. Does i = -80/9?
False
Let g(k) = -k**3 - 7*k**2 - 5*k + 7. Let b be g(-6). Let x(m) = m**3 - 4*m**2 + 1. Let z = 5 + -1. Let u be x(z). Is b greater than or equal to u?
True
Let y = 1.5 + -2.7. Let r = y - -1.1. Let a = 4.1 + r. Is -1/3 smaller than a?
True
Let s be (-225)/(-2)*(5/(-1) + 7). Is s at most as big as 225?
True
Let y(g) = -g**3 + 5*g**2 + 7*g - 5. Let x be y(5). Suppose 5*m + 125 = 5*v, 5*v + 45 = -2*m + 2*v. Let t be (4 + 1)*m/x. Is -5 < t?
True
Let m = -2634 + 2635. Is m smaller than 3/586?
False
Let q = 1781.02 + -1781. Let c = -0.07 + 3.07. Is q equal to c?
False
Let c = 0.1467 + -0.7867. Which is greater: -5 or c?
c
Let n(p) = 9*p**2 + 10*p - 2. Let c be n(-2). Let o be (-1 + c/7)/((-2)/12). Suppose -v - 13 = b + v, -3*v - 9 = 0. Is b != o?
True
Suppose 3*m - 19 = q + 30, 5*q - m + 203 = 0. Let a = -39 - q. Is 4/3 less than or equal to a?
False
Let b = 1337 + -1337.1. Is 131 != b?
True
Let g be 0/4 - (-1 + -4). Suppose -3*c - 18 = -6*c. Suppose -n + c = n. Do g and n have the same value?
False
Let i = -117 - -22. Let d = 95.8 + i. Let p = 0 - 1. Do p and d have the same value?
False
Suppose 99*u = 32*u - 603. Is u equal to -6?
False
Let l = 0.05 + -4.05. Let z = l - -2. Let s(g) = 6*g - 16. Let d be s(3). Is z bigger than d?
False
Let r = -13.3 + 11. Let z = r + 2.3. Let l = 10 + -9. Is l bigger than z?
True
Let t = 4033/11 - 367. Which is smaller: 1 or t?
t
Let o be 8 + (-1)/(3/24). Which is smaller: -586 or o?
-586
Let u = 84 - 2855/34. Is u > 0.07?
False
Let h be (-8)/6 - (-12)/(-18). Let f(z) = 2*z**2 + z - 3. Let w be f(h). Let a be -3 - (w - (-128)/(-20)). Is a > -5?
True
Suppose -23*s - 117 - 21 = 0. Which is smaller: s or -41/8?
s
Let v = 0 - 0.1. Suppose -6*l - 160 = -10*l. Let i = -40 + l. Which is smaller: i or v?
v
Let j(d) = d + 5. Let h(i) = -i**2 - 5*i + 7. Let b be h(-6). Let n be (-5)/1 + 0 + b. Let r be j(n). Which is bigger: r or -2/5?
r
Let y be (-1)/((-1)/(246966/(-15))). Let s = y + 1390279/85. Let u = -108 - s. Are 1 and u non-equal?
True
Suppose 0 = 2*v + 2*o, v + 2*o = -2*v + 4. Suppose -5*a + 115 = v*s - 9*s, -a + 3 = 0. Which is greater: s or -19?
-19
Let m be -498 + (-24)/4 + 0 + 4. Let l be 2/9 - m/(-468). Is l != -1?
True
Let k = 0.16 + 0.04. Let o be -3 + (-10)/(-3)*-2*3. Is k equal to o?
False
Let x = -9 + 9. Suppose -d = -183 + 911. Let c = d + 42950/59. Is x less than or equal to c?
False
Suppose 4*j + 2*j = -4*j. Which is bigger: 1/1122 or j?
1/1122
Let o(b) = -b**3 - 14*b**2 - b - 13. Let q be o(-14). Suppose -q = 3*x + 5. Are x and -2 non-equal?
False
Let n(f) = -f**3 - 6*f**2 + 6*f - 5. Let l be n(-7). Suppose l*v - 5*b = -17, -4*b + 20 = -5*v + b. Is 2/23 less than v?
False
Let g(i) = -291*i + 3201. Let h be g(11). Let w = 1727 - 56987/33. Which is greater: w or h?
w
Let x = -1 - -3. Let z = 1.797 + -1.677. Are z and x equal?
False
Suppose g + 20 = 6*g. Suppose 3*n - g*n + 4*h + 39 = 0, 76 = 4*n + 4*h. Suppose 3 = n*m - 26*m. Which is smaller: -9/5 or m?
-9/5
Let u = -7.1421 - -0.1421. Is u smaller than -0.05?
True
Let f be (4/(-6))/(14/(-336)). Suppose 14 = -15*w - f. Do -10/3 and w have the same value?
False
Let m = -0.483 + -0.017. Let f = m + 0.5. Are f and -17 equal?
False
Suppose 7*p = 5*v + 4*p, 3*v = 2*p - 1. Let q(r) = 4*r**3 + r**2 - r + 1. Let h be q(1). Let l be ((-9)/15 - -1)*h. Which is smaller: l or v?
l
Let z be 2/(-2) + -12 + 13. Let t = 2.9 + -5.4. Let s = t - -1.5. Do s and z have the same value?
False
Suppose 19*l + 3 = 16*l. Which is smaller: -1/953 or l?
l
Let z = -0.165 + 1.065. Is 1/4 at most z?
True
Suppose 0 = -10*r + 157 + 563. Suppose 12*o + r = 4*o. Which is smaller: o or 0.2?
o
Let h = 107/4 + -27. Suppose -2*q = 5*a - 7, 3*q - 3*a = -4*a + 4. Suppose 0 = -n - 0*n - q. Is n less than h?
True
Let w = -0.57 - 2.33. Let z = -1.856 - 0.044. Let v = w - z. Is 0.12 equal to v?
False
Let f = -998 - 3737. Let n = -61521/13 - f. Which is smaller: n or 4?
n
Let t be -5*(2 + -1 + -2). Let f = t - -5. Suppose -4*h + 5*g + 37 = 2*g, 0 = -5*g + 5. Is f bigger than h?
False
Suppose 42*v - 74*v = -41*v. Let p = -9809/30 - -327. Which is greater: v or p?
p
Suppose 156*c + 4*c - 22*c + 1242 = 0. Let n be (-2)/(-3) - 49/6. Which is greater: c or n?
n
Suppose 17*i + 1520 = i. Which is smaller: i or -97?
-97
Let j be (-4)/(-35) + -6*5/75. Let r = -25.92 - -26. Which is bigger: j or r?
r
Suppose k + 3*k = 0. Suppose -g + 2*g = 2*n - 8, -4*n = -3*g - 14. Suppose g*h + h + 33 = k. Is h greater than -12?
True
Suppose 5 = l + 2. Let n be 8/(1 - l) + 4. Is n > 10/9?
False
Let m = 112.53 + -113. Let r = m + 0.97. Which is greater: r or -1?
r
Let j be 2/((52/(-30))/13). Which is smaller: j or -273/20?
j
Let y = 0.14 + -0.07. Let o = -67/10 - -4201/630. Let m = 59/126 - o. Is m at least as big as y?
True
Suppose 3*w - 16 = -4*c, 4*w = -w + 2*c - 8. Suppose w = v - j + 5, -5*v + v - j = 0. Which is smaller: v or -1/17?
v
Let z = -565 - -191534/339. Which is greater: -1 or z?
z
Let h(b) = -2*b**2 - 17*b + 9. Let l be h(-9). Suppose -s + 5 = x, 3*x - 3*s - 7 + 4 = l. Are x and 5 non-equal?
True
Let a = -310 - -1249/4. Let u(r) = r**2 - 2. Let y be u(2). Is a != y?
True
Let x = -0.624 - 0.29. Let m = 0.086 - x. Which is greater: m or 1/21?
m
Let u(p) = p**3 - 6*p**2 - p + 2. Let o be u(6). Let y be 16/12*6/o. Let t(r) = -2*r**2 - 2*r. Let s be t(y). Is -2 <= s?
False
Let l = -16 + 15.7. Let h = -145 + 159. Is l equal to h?
False
Let y(w) = -w**2 - 12*w + 4. Let x be y(-11). Let o = x + -14. Is o at least -5?
True
Suppose 0 = -2*j - 2*z - 80, 0 = 2*j - 5*z + 58 + 36. Let c = 62 + j. Are 18 and c non-equal?
True
Let x be 6/9 + (-52)/(-12) + -2. Suppose 0*k - 20 = -5*q - 5*k, x*q - 4 = k. Are q and 2 non-equal?
False
Let u = -0.07226 - 31.31774. Let a = -31 - u. Let y = 2.61 + a. Which is greater: -2/5 or y?
y
Let q = 778/3 + -260. Which is smaller: q or -31?
-31
Suppose j + 26 = 25. Let t be (-3)/((j/(-14))/((-3)/18)). Let p = -13 - -18. Which is bigger: p or t?
t
Let u = 2 + 2. Suppose 0 = -5*b + u*q + 36, -5*b + 0*q + q + 24 = 0. Is -4 less than or equal to b?
True
Let j = 1.14 - 0.14. Let b = j + -0.6. Let o = b - 0.8. Which is 