 x = -0.1124 - -8.1124. Are x and k unequal?
True
Suppose 2*h = -h + 2*w + 1, 5*h - w - 4 = 0. Let c be (-1 + h)/(3 - 2). Suppose c = l + 9 - 7. Which is greater: l or -17?
l
Suppose -3*l = 3*j + 3435, 288*j - 292*j + 4556 = -4*l. Is -7986/7 greater than or equal to l?
True
Let w = -0.117 + 83.117. Let j = w - 81. Let d = -253 - -222. Is j greater than d?
True
Suppose 0 = -3*x + 611 + 649. Let d be (-136)/(-143) - (4 - x/110). Suppose i = 4*i. Is d at most i?
False
Let p be 26/(-13) - (8 + -12 + 3). Which is smaller: -27/172 or p?
p
Let s(l) = 300*l - 2957. Let x be s(26). Are 4844 and x nonequal?
True
Let w = 14 - 8. Let c be 2*-1*1656/1104. Are w and c unequal?
True
Suppose 428*a = 306*a. Which is smaller: a or -30/401?
-30/401
Let g = -1634/17 + 37514/391. Let m be 7/(21/(-6)) + 2. Which is greater: g or m?
m
Suppose -66*m - 59*m = -116*m. Which is greater: m or -4/1261?
m
Let i(h) = -10*h**2 - 13 + 322*h - 8*h**2 - 303*h - h**3. Let p be i(-19). Are -3 and p unequal?
True
Let a(r) = 31*r - 6. Let m be a(-6). Let c = 868/96479 - 3056501461/15919035. Let l = m - c. Is 0 bigger than l?
True
Let n(r) = 3*r**2 - r. Let d be n(1). Suppose -4*b + d*b - y = 92, 0 = -5*y + 20. Let a(o) = 2*o**2 + 17*o - 26. Let w be a(-7). Is b equal to w?
False
Let a = -485275/36 - -3850039/324. Let p = -1597 - a. Suppose 0 = -178*k + 172*k - 6. Which is greater: p or k?
p
Let t(o) = 122*o**2 - 33*o. Let f be t(4). Let i be (-5)/(105/(-2))*-19077. Let n = f + i. Which is smaller: 3 or n?
3
Let f = 2995 - 3035. Which is smaller: f or -34?
f
Let l = -6810388/887 - -7678. Let u = 891/1774 + l. Suppose 5*m - 1 = p + 3, 4*p = -2*m + 6. Is u at most as big as m?
True
Suppose 5*z = 15, -2*z = 32*t - 33*t - 9. Which is greater: 0.0151 or t?
0.0151
Let l be (40/25 - 2)*30 - -4. Let f be (-3)/l + 30/(-80). Is -2/135 < f?
True
Let c = -75428 - -74850.97. Let x = c - -577. Is x at most as big as 14?
True
Let a = 13759 + -13727. Which is bigger: 150 or a?
150
Let d = -67/1977 + 165535/4845627. Is d less than or equal to 1?
True
Let y = -12.208 - -128.388. Let m = y - 116. Which is smaller: m or 2?
m
Let x(n) = -n + 10*n**2 - 3*n - n**3 + 9 - 7*n + 2*n. Let l be x(9). Let r be 60/l - (-4)/12. Which is smaller: r or 8?
r
Let x = 325.822 + 0.178. Let g = x - 325.96. Which is bigger: -14 or g?
g
Let r be -1 - 1 - 48/(-2). Let w(z) = 5*z + 85. Let h be w(-17). Suppose h = -12*k - k + 299. Which is bigger: k or r?
k
Let d be (4 + -1 - 2) + 1. Suppose -w + 2*w - d = 0. Let b = 64.101 + -68.601. Which is smaller: b or w?
b
Let j be (-39270)/350 + (-3 - 21/(-5)). Is -115 > j?
False
Let v be (2/(-6))/(34/(-4896)). Let c = -72 + v. Let q be 0 - 44/2 - 2. Are c and q equal?
True
Let o = 468.9591 + 0.0409. Let t = 914 - o. Does 0.1 = t?
False
Let y be (-83942)/(-141) + (-6)/(-9). Which is bigger: y or 594?
y
Suppose q + 6 = 5*u - 0, 2*q - u = -3. Let w be (q/6)/(2/28). Let g(j) = -3*j - 39. Let d be g(-12). Is d at least as big as w?
False
Let k be 684 + (21 - 60/4). Which is smaller: 689 or k?
689
Let z = 924 + -1231. Which is smaller: -306 or z?
z
Let a(w) = w**3 + 13*w**2 + 17*w + 13. Let p be a(-11). Let o = 67 - p. Is o > -3/7?
False
Let m = 0.3 + -0.3. Suppose 18*u = 8*u + 182 - 52. Is u not equal to m?
True
Let v(i) = i**3 + 9*i**2 - 10*i + 5. Let w be v(-10). Which is bigger: -24/95 or w?
w
Let n be 2/(-10) + (-1198)/10. Let v be (-6)/(-33) + n/902. Suppose -13*z + 21 = 8. Is v at most as big as z?
True
Let i = 12066 + -12095. Is 54 < i?
False
Let c be (-292)/(-6) + -1*3/(-9). Suppose -28 = 3*z + 2*j + 6, j - c = 4*z. Let w be z/(-15)*(-2)/4. Does w = -0.01?
False
Suppose 4*x + 11 = -1, -5*x - 1728 = -3*l. Suppose -l*f = -573*f + 230. Does f = 116?
False
Let r = -102063497/617 + 165419. Is r >= 0?
True
Suppose -x = 480*v - 483*v - 1774, -3*v - 2*x = 1753. Is v greater than -594?
True
Let a = 129 - 255. Let p = a - -125. Which is smaller: 7/2 or p?
p
Let y = -1 + 4. Let g = -83 - -101. Let q be (5 + 1)*((-117)/g)/13. Which is smaller: q or y?
q
Let p(h) = h**2 - 9*h - 3. Let g be p(10). Suppose -3*r - 5*m + 9 = -g*r, r + 3*m = 2. Let j be r + -1 + 4/(-6) + 2. Which is bigger: 0 or j?
0
Let j(w) = -15*w + 228. Let n = -312 + 343. Let a be j(n). Is a >= -237?
True
Suppose -1 = -11*y + 12*y + 4*w, 4*y + 2*w + 4 = 0. Which is smaller: -1/1765 or y?
y
Suppose -185 = 5*f - u, 2*f - 4*u = f - 18. Suppose -277 = -5*q + 2*d, -2*q + 21 + 85 = -2*d. Let y = q - 95. Are y and f unequal?
False
Suppose -4*v + 3*x + 2*x + 78 = 0, 3*v - 2*x - 62 = 0. Let f be (-4)/(6/(-3)) - (v + 0). Let k be 6 + 228/f - 2/(-5). Is -5 equal to k?
True
Let h be -1*8 - (16/4 - 5). Let n be 1/h - (-24)/(-21)*-1. Let o be (n + 0)*(-3 - 1*-6). Is o at least as big as 1?
True
Let g = -7 - -49. Let z = -41.945 - 0.155. Let v = g + z. Which is smaller: v or -58?
-58
Let q be (-6)/42 - 0 - (-77584)/33145. Let r = 2/947 + q. Which is bigger: r or -3?
r
Let f = -40 - -67. Suppose f*j - 25*j + 114 = 0. Is j bigger than -58?
True
Suppose 4*f - 28 = b, 2*f - 2*b - 2 - 6 = 0. Suppose 2*n = -f*n + 40. Suppose 5*m - 2*k = -8 - 147, 78 = -2*m + n*k. Which is greater: m or 0.1?
0.1
Let c be 1*(-6 - 45/(-5)). Is -2/33 > c?
False
Let o = -2925 + 2925. Which is smaller: o or -6/529?
-6/529
Suppose -146 = -3*n - m, -3*n + 22*m - 21*m + 136 = 0. Let a = -50 + n. Is a at least as big as -15?
True
Let d be (2/(-12)*-1)/(12168/3510). Which is bigger: -1 or d?
d
Let f = 23.2 + 69.8. Let z = f - 125. Let c(y) = -y**3 - 9*y**2 - 8*y. Let o be c(-8). Is o > z?
True
Let o be 248/40*(0 + 5). Suppose 4*h - 2 = -0*h + 2*f, -o = -2*h - 5*f. Let w = -32 - -36. Is h < w?
True
Let q = -22267 - -22266. Which is bigger: -2/11485 or q?
-2/11485
Let f be 89/(2 - (-209)/(-95)). Is f > -444?
False
Suppose 0 = -3*q + 5*n - 23, -5*n = -3 - 17. Let g(s) = -8*s**3 + 4*s**2 - s + 1. Let t be g(3). Let r = t - -7825/43. Which is bigger: r or q?
r
Let a be 31 - (24/15)/(4/10). Suppose 2*q + h = -a - 16, 5*q + h + 100 = 0. Which is bigger: q or -22?
q
Let o be 163799/5261024 + (-6)/192. Is 0 at most o?
False
Let n = 16 + 8. Let u = -24 + n. Let x = -19 + 19.1. Which is greater: x or u?
x
Let u = 57 + -54. Let l be (u/18*2)/(2/24). Let d be (l/20)/(3 + 63/(-15)). Which is smaller: -0.7 or d?
-0.7
Let z be 362/10 + (168/(-14) - -7). Suppose -3*a + 90 = 4*x, -3*a + 90 = 3*x - 2*x. Which is smaller: z or a?
a
Let d = 1 + -0.96. Let u(t) = -22*t + 9. Let s be u(0). Let n be -3 + 3070/1170 + 2/s. Is d less than n?
False
Let o = -39 - -83. Let x be 0 - (o/18)/(2/(-3)). Let m(l) = l + 7. Let z be m(-4). Which is smaller: x or z?
z
Let j = -66 - -128. Let f = 46122 - 46061. Is f equal to j?
False
Let u = -7213/76734 - -2/1421. Let t = u - -133/270. Which is greater: 94 or t?
94
Suppose -5*n = 15, 4*q = -4*n + 5 - 17. Let t be 4 + q/(-3) - 2. Let v be -1*(t/37)/(-1 + 2). Which is smaller: v or -2?
-2
Let s = 7461 + -7457. Let l = 4 - 1. Suppose 3 = 3*d - l*k, -s*k = 5 + 3. Which is bigger: d or 2/139?
2/139
Let k = 1345546/1221 - 1102. Which is smaller: k or 0?
0
Let i = 21 + -20.69. Let k = -0.3 + i. Suppose 2*s - 3681*g + 3683*g + 22 = 0, 4*s - 46 = 2*g. Is s bigger than k?
True
Let c = -1251 + 1250. Which is bigger: 0.03365 or c?
0.03365
Suppose -6*p = -7*p + 27. Let n be (-4)/(-6) - 222/9. Let i = p + n. Which is smaller: 14/5 or i?
14/5
Suppose -s + 5*f - 1 = 0, -3*f = 5*s - f - 49. Suppose 0 = -s*m + 6*m + 39. Suppose 4*y = 5*y - 2*a + m, -8 = -2*a. Are -6 and y equal?
False
Let i = -3/50 + 127/450. Let j = 0.06303 + 2.93697. Is i less than or equal to j?
True
Let y = 1501 - 1447. Is 59 less than or equal to y?
False
Let h = 1.3 - 3.3. Let p = h - -3. Let z = 0.2893 - 2.0893. Which is greater: z or p?
p
Suppose 3*m + 3*s = 24, m - 3 = -3*s + 15. Suppose 0 = -380*z + 368*z - 38 + 2. Is m smaller than z?
False
Let c be (-1758990)/(-15) + 2/(-1). Let v be ((-3 + 0)/9)/((-34)/c). Let t = v + -1150. Which is greater: 0 or t?
0
Suppose 0 = n + 8, -122*o + 125*o + 3*n = -237. Let d be 0 - (-4)/(-1 - -3). Is o smaller than d?
True
Suppose -2*h = 4, k + 2 = -0*h - h. Let d = 58 - 30. Suppose k = 8*s - 20 + d. Which is smaller: -0.077 or s?
s
Let d = 2.7 + 17.3. Let k = 42.8 + 135.2. Let h = k + -178.1. Which is bigger: d or h?
d
Let k(x) = -x**3 + 7*x**2 + 20*x - 8. Let h be