0 = -4*m + 5*b - l. Is m > -22?
True
Let g = -114 + 97.89. Let c = g + -0.89. Let l = c + 22. Are -1 and l nonequal?
True
Let w = 7 + -12. Suppose 51*u + 21 = 14*u + 132. Is w equal to u?
False
Suppose 27*k + 436 = -1967. Let t be (k/(-4))/(0 + (-1)/(-4)). Which is smaller: 88 or t?
88
Let o(y) = -y**2 + 8*y - 1. Let f be o(5). Suppose -4203*u - 112 = -4210*u. Let a be (-51)/(-8) + (-6)/u. Is f at least as big as a?
True
Let d = -3732 + 3733. Is d greater than or equal to -1/3700?
True
Let n = 3467.1048 - 3467. Is -2/3 > n?
False
Let w be -8 - (-43188)/(-36) - -5*1/3. Is -1204 smaller than w?
False
Suppose -10*p - 896 = 4*p. Let d = 57 + p. Let z be 167/d + 4/(-28). Which is bigger: z or -23?
-23
Let f(d) = -d - 5. Let b be f(7). Let y = 445 - 430. Let o = y + b. Is 3 > o?
False
Let d(k) be the second derivative of -k**3/6 - 7*k**2/2 + 8*k. Let x be (-3)/((-40)/(-28) - 1). Let a be d(x). Which is smaller: a or 3/11?
a
Let l = -207 + 118. Let h = 89.39 + l. Let z = h - -0.81. Which is smaller: z or 1?
1
Suppose 172 = -5*d - 13. Suppose 2*u = -2*r - 228, -4*r - 4*u = -9*r - 552. Let o = -150 - r. Which is smaller: o or d?
o
Let o be (6/16)/(339/6328) + (-7180 - -1). Which is smaller: o or -7171?
o
Let v be -20 + 11 - 3002/(-334). Suppose -y + 8 - 5 = 0. Let p = -3 + y. Which is greater: v or p?
p
Let d be (-1)/3 + 10/3 + (-1121765)/35325. Which is smaller: d or -30?
-30
Let u = 569 - 564. Suppose 4*x = -5*k + 3, 6*k - 5*k + u*x - 9 = 0. Which is greater: k or -1/289?
-1/289
Let c be 32/40*19/(304/60). Which is smaller: c or 730?
c
Let f = -6705711/232 + 28904. Are 0 and f nonequal?
True
Suppose 8 = 3*c - 11*c. Which is bigger: c or -63.6?
c
Suppose -z = -2*z - 4*c - 4723, 3*c - 3 = 0. Let r = z + 865043/183. Let y(f) = 6139*f - 85947. Let d be y(14). Is d equal to r?
False
Let f(b) = -b**3 + b**2 - b - 1. Let a = 6 + -6. Let m be f(a). Let z be (38/20 + -2)*(-531)/(-59). Which is smaller: z or m?
m
Let c(z) = z**2 - 5*z + 18. Let d be c(8). Suppose -n = -4*j - 39 - 4, 3*n = -j + 129. Which is smaller: n or d?
d
Let l = 40005 - 40032. Are l and 5/29 equal?
False
Let t be (1/(-3))/((-59)/(-1062)). Let f be 170/(-102) + (-4)/t. Is -14/117 at least f?
True
Let q = -10.1 + 5.4. Let m = q + 4.9. Let k = -0.2 + m. Do -3/20 and k have different values?
True
Let i = -0.946 + -44.154. Let o = -42 - i. Let a be (-1)/1 - (-15)/12. Is o not equal to a?
True
Let g = -0.51 - 0.69. Let h = -13.8 - -15. Let u = h + g. Which is bigger: 0.8 or u?
0.8
Let k(i) = -100*i**3 + 3*i + 2. Let n be k(-1). Let t = -99 + n. Let h be ((-7)/861)/((-1)/6). Is t less than or equal to h?
True
Let v be (1/(-3) - -2)/(8/48). Let t = -28 + v. Let y be ((32/t)/4)/((-10)/125). Which is smaller: 6 or y?
y
Suppose 10*u = 12*u - 178. Let p = u - 89. Let a = 3/547 - 664/21333. Which is bigger: p or a?
p
Let k = 357049372/25267803 - 85/43341. Let u = k - 155/11. Let r = u + 88/477. Which is greater: r or 0.4?
0.4
Suppose 6*i - 1899 = -255. Let q = i + -1093/4. Which is bigger: -8 or q?
q
Let k be 40/75*(1 - 1/4). Let l = -9.005 + 0.005. Are k and l unequal?
True
Suppose q = -4*q - 25. Let t be 1/((1 + -2)/(-1) + 273/(-182)). Let h be (-1 + q/t)*(-352)/(-42). Which is smaller: 13 or h?
h
Let k = -89 - -85. Let b be (-1)/(k/(-14))*16/(-28). Suppose c - 41 = -b*p, 3*p - 5*c + 28 - 109 = 0. Is 23 equal to p?
False
Let u = -0.1399 - 66.2601. Is 2/15 <= u?
False
Let w(b) = b**3 - 2*b + 20. Let l be w(0). Let n be 32/l + -2 + 9/10. Which is bigger: n or 30?
30
Suppose w + 4 = 5*l - 4, -w + 27 = 2*l. Suppose -4*b + 3*n = -76, -b + 100 = 4*b - 5*n. Suppose 208 = 12*a + b. Which is greater: w or a?
w
Suppose 0 = -102*u + 17993 + 9445. Is 273 greater than or equal to u?
True
Let h(g) = -290*g + 4965. Let m be h(-4). Which is greater: m or 6121?
m
Let r = -3660944/45 - -81362. Which is greater: r or 8?
8
Let n be 3/(((-48)/1240)/((-12)/(-30))). Is n at most -3/14?
True
Let p = 2831 + -2831.48. Which is bigger: 2/393 or p?
2/393
Let m(d) = 2*d**2 + 15*d + 49. Let p be m(-5). Let f be 2/(-10) - (p/15)/(-8). Which is smaller: 4/65 or f?
f
Suppose -4 = -4*p + 2*r, -3*r = 5*p - 4 + 32. Which is smaller: 18 or p?
p
Let r be (-3)/((-34)/(-24) + 2/24). Which is smaller: r or -41/81?
r
Suppose 74*y - 773 = 781. Which is greater: 118 or y?
118
Let r = -5460 - -5459.3. Are r and 109 non-equal?
True
Let k be 14 + 7 + 30/(-5). Which is smaller: 74 or k?
k
Suppose w = 80 - 50. Let b be 1346/w + 4/30. Let l be (-1302)/(-30) - (-4)/(-10). Is l less than b?
True
Let p be (25/(-60))/((-335)/402). Which is greater: -2632 or p?
p
Suppose 0 = 2*l - 0*l - 2*k + 52, -k + 86 = -3*l. Suppose t - 209 = -56. Let w = t + -183. Is l greater than or equal to w?
True
Let h be 2/4*4 + -2. Let i be 8/24 - (-10)/6. Let w be (4 - i)/((-49)/(-14)). Do h and w have the same value?
False
Suppose -3*x + x = 3*q + 167, 3*x + 245 = q. Let m = 356221.1 + -356221. Which is smaller: x or m?
x
Suppose -2*u = -5*b + 467, 2*u + 2*b + 257 = -217. Let d = u - -234. Which is smaller: -17/22 or d?
d
Let l = -514 + 725. Which is smaller: -1 or l?
-1
Suppose 4592*u = 4595*u. Let v = -30783/38 - -810. Which is smaller: u or v?
v
Let x(l) = l**3 + 5*l**2 - 6*l - 1. Let t be x(-6). Let a = 258.8 - 264.8. Which is smaller: t or a?
a
Let b = -180 - -165. Let j(f) = f**3 + 14*f**2 - 12*f + 1. Let q be j(b). Suppose -5*x = -3*m - 149, 5*m = 3*x + x - 231. Are q and m unequal?
True
Suppose -5*b + 2*p - 2280 = 0, 0 = 6*b - 9*b + 4*p - 1354. Is -446 <= b?
False
Let d be 10/(5/75*2). Suppose 75 = v + 2*z, 5*z + 35 = v - 40. Is d greater than or equal to v?
True
Suppose -3*p + 4*h + 32 = 0, -2*h + 2 = 4*p - 4. Suppose v - 1 = 0, 3*u = -p*v + 1 + 9. Which is smaller: -7 or u?
-7
Suppose -32*z + 200 = 8*z. Suppose z*k - 879 = 651. Is 305 smaller than k?
True
Let q = 0.3496 + -8.5496. Which is bigger: q or 2?
2
Let u(x) = x**3 + 5*x**2 + 5*x. Let g be u(-2). Do 6.19 and g have the same value?
False
Let j be (-2)/(2/(-5))*248/40. Let n = -18 + j. Let o be 6/n*(-1 - (-114)/117). Is -1 greater than o?
False
Let m(x) = -x**3 - 110*x**2 - 203*x - 169. Let p be m(-108). Do p and -1572 have different values?
True
Let c(k) = 44*k**2 + 6*k + 2989. Let q be c(0). Is q <= 2987?
False
Let f = -84 - -3638. Let x = 223892/63 - f. Is 1 <= x?
False
Suppose 0 = 2*c - 2, s + c - 2*c = -7. Let b be s/(((-3)/5)/((-2)/(-5))). Suppose 3 = 5*f - d + b, 4*d - 4 = -4*f. Which is greater: -0.114 or f?
f
Let y = -90 + 3861. Which is bigger: -0.2 or y?
y
Let i(n) = n**3 - 5*n - 33. Let s be i(-3). Which is smaller: s or 13/3?
s
Let g(p) = -150*p + 27. Let v be g(-2). Let t = v + -321. Is 4 greater than or equal to t?
False
Let n(s) = -8*s - 13. Let h(c) = -9*c - 12. Let w(o) = -3*h(o) + 2*n(o). Let q be w(-32). Which is bigger: -341 or q?
-341
Let v = -4923/25 + 199. Is v equal to -3/2?
False
Let n = -1.48 + 1.68. Let b = 3.9 - 4. Let z = b + n. Which is bigger: -7 or z?
z
Suppose 5*v + 4*o = 6, -5*v - 3*o + 3 = -2*v. Suppose 8*u = 22 + v. Is u <= 2?
False
Let h be ((-14124)/6*1)/(-54031). Let s = 1/761 - h. Which is smaller: 0 or s?
s
Let n be 16926/240 + (-6)/(-10). Let x = -72 + n. Let g be 1/1 + 0 + -1. Do g and x have different values?
True
Let x = 54 + 11. Let f = x - 75. Let w be (1/((-4)/(-46)))/(8 + f). Which is greater: -7 or w?
w
Suppose 0 = -q - g - 73, 9 = 3*q + 4*g + 228. Is q less than or equal to -83?
False
Let y = 4192.228 - 4203. Let s = 0.228 - y. Which is smaller: 0.02 or s?
0.02
Let w be (3/(-405))/(190/544411590). Let h = w - -106114/5. Let j = h + 4/171. Which is bigger: 0.4 or j?
0.4
Let y be (208 + -87)*(-2)/494. Is 1 < y?
False
Let s(y) = y**3 + 27*y**2 + 24*y - 44. Let b be s(-26). Suppose 5*r + n = -44, -3*r + n = -2*r + 10. Let l = r + b. Is -4/23 != l?
True
Let o = -983018/523149 + 4/15853. Is -1 greater than or equal to o?
True
Let p = 681/17 + -40. Let f = -0.71995 - 0.28005. Which is greater: p or f?
p
Suppose -2*n - 30 = 3*n. Suppose -5*t + 6*t - 18 = 0. Suppose 13*z - t*z = 5. Which is smaller: n or z?
n
Suppose -4*d + 27983 + 465 = 0. Suppose -d = -3*p - 4*p. Let y = p + -7097/7. Is 3 at most as big as y?
False
Let w be (240/450)/(4/5). Which is smaller: w or -1/7825?
-1/7825
Suppose 1079 = -4*x + 5*z, -17*x + 13*x - 4*z - 1052 = 0. Let v = -35 + x. Is v