 Let g be m(18). Let q be (4 - 9/2)*g/(-14). Let t = q - 1/7. Is 7 at least t?
True
Let k = -27 + 73. Let l = k + -36. Suppose -5*g = l, -2*t + t - 5 = 5*g. Is 8 equal to t?
False
Suppose 61*g = 62*g + 3*o - 25, -30 = -2*g - 2*o. Is -6 < g?
True
Let j(k) = -k + 4. Let y be j(-4). Let p(d) be the first derivative of d**3/3 - 3*d**2 - 4*d + 115. Let b be p(y). Is b < -2?
False
Let s = 562 + -562. Is s at least -1/465?
True
Let w = 8571 - 8409. Is w greater than 12?
True
Let n be (-4037)/(-1353) + 0 + 2 + -5. Let v(u) = 2*u + 23. Let x be v(-10). Suppose -2*l = l - t, 3*t - 6 = x*l. Which is smaller: l or n?
n
Let y be (25 + -22)/(((-3)/2)/(-1)). Suppose 9*l = 10*l - y. Which is bigger: l or 26/17?
l
Let x = 8511 - 8512.4. Which is smaller: x or 9?
x
Let m = -0.01 - -0.21. Let h = 0.05044 - 0.07244. Is m smaller than h?
False
Suppose -5*c + 5 = 0, 98 = -y + 3*c - 376. Which is bigger: y or -466?
-466
Let m be 1 + -2*(-23)/(-34). Let u = 70 + -46. Suppose -2*x - u = -22. Is x at most m?
True
Let p = -104 - -109. Let x(j) = 6*j - 17. Let r be x(p). Suppose 11*a = r*a. Which is bigger: a or -6/17?
a
Let g = -39.86 - -36.86. Let k = 9 + -169/19. Is g at least k?
False
Let w(d) = d**3 - 15*d**2 + 26*d - 5. Suppose -24 = -x - 11. Let c be w(x). Are c and -24/5 unequal?
True
Suppose -3*z = -2*z - 4*d + 76, -3*z = -2*d + 178. Suppose 344*j + 633*j - 339*j = -1387*j. Which is bigger: j or z?
j
Suppose 5*n + 84*o - 11 = 80*o, 0 = 4*n + o. Is -7/270 equal to n?
False
Let u = -327150 + 327157. Let h = 23 + 2. Is u < h?
True
Let j = -628/35 - -18. Let q = -1/70 - j. Let l = -1.7 - -2.7. Is q >= l?
False
Let v = 0.18 - 0.38. Let l = 63 + -70. Let q(j) = -4*j - 31. Let o be q(l). Which is bigger: o or v?
v
Let k be 1 - (-10)/(-14) - 1806932/28. Let a = k - -325474/5. Let i = a + -560. Is i less than or equal to 3?
True
Suppose -26 = 3*f + 2*j - 27, 0 = 5*f + 3*j - 2. Which is greater: f or -11/168?
f
Let n = 2548 - 35633/14. Which is smaller: n or 1?
1
Suppose -21815*b + 21806*b + 102177 = 0. Which is greater: 11352 or b?
b
Let s(f) = -f**2 + 4*f + 4. Let x = 39 + -36. Suppose -11*i = -x*i. Let r be s(i). Is 33/7 less than r?
False
Let i(u) = -u**2 + 5*u + 267. Let f be i(-14). Is -3/752 greater than f?
False
Let c be (((-880)/(-33))/16)/(20/(-12)). Is c at least as big as -5/2827?
False
Suppose 0 = 5*z + 128 + 242. Let h be ((-3)/(-1) - z) + 0. Let m be ((-4)/(-7))/(506/h). Which is smaller: m or 0?
0
Let r = -2984.2 + 2984. Is r greater than or equal to -11/7?
True
Let x = -5 + 5. Suppose p = -x*p. Let n = 3684/3445 - -2/265. Which is smaller: p or n?
p
Let t be (-800)/(-2176) - 4/34. Let k be 62/56 + -1 + 0. Which is greater: t or k?
t
Let k = -76 + 112. Let z = 212 + 0. Let d = -212.1 + z. Which is smaller: k or d?
d
Suppose 4*y - 4*s + 137 = 113, 0 = 5*y + 4*s - 15. Is y bigger than -4/2293?
False
Let g = -0.979 - -0.889. Is 37 < g?
False
Let o = 638 - 652.6. Let y = -7.7 - -7.8. Which is smaller: y or o?
o
Let l(x) = x**3 + 12*x**2 - 446*x + 57. Let d be l(-28). Let r = 39704/99 + -3454/9. Which is smaller: r or d?
d
Let g = -34806 + 33690. Which is smaller: -1113 or g?
g
Let n(h) = -h**3 + 20*h**2 + 115*h + 76. Let x be n(-4). Is x not equal to 118/375?
True
Let z = -9245 - -37163/4. Which is smaller: z or 45?
45
Suppose -4*o = -2*q + 308, -10*q + 12*q - 3*o = 307. Let c = 164 - q. Let i be 5/30 - 2/(-6). Is c equal to i?
False
Let m be ((-3)/2 + 0)*15/((-2925)/21554). Which is smaller: 165 or m?
165
Suppose -3*f + 2*u = -9440 + 3445, 4*u = -3*f + 5965. Is 1993 smaller than f?
True
Suppose -38*z + 35*z = 2*w + 11, -z + 3*w = -11. Which is smaller: z or 2/20685?
z
Let g = -10.214 + 0.094. Let k = -0.12 - g. Let h = 19 - k. Is -4 at least h?
False
Let v = 775/90132 - -3/1036. Suppose -10 = 4*z + i - 12, -5*i = -3*z + 13. Is v >= z?
False
Let v = -7295 - -525233/72. Which is smaller: 1 or v?
v
Suppose -3*m = 2*m - i + 265, -4*i - 240 = 5*m. Is 1/30 <= m?
False
Let l = -3685 + 3704. Suppose -4*v + 0*v + 64 = 0. Which is smaller: v or l?
v
Let v = 2282 - 2281.9. Which is greater: v or -1172?
v
Let m = 95086/4903 + -1655371379/85866239. Let c = m + -9/211. Are 1 and c non-equal?
True
Suppose 90 = -54*z + 49*z. Let w be (-1 - (-84)/z)/(-3). Is 1 > w?
False
Let r be 1/(-3) - (-1204)/12. Let c = 102 - r. Suppose 2*v - 6 = -0*v - 2*o, c*o - 3 = v. Is v <= 2?
True
Let n(b) = b**3 - 5*b**2 - 3*b - 12. Let c be n(7). Let o be (-11)/(-3) + -3 - (-190)/3. Which is greater: c or o?
c
Let p = -3.16 + 0.16. Which is smaller: 1250 or p?
p
Let u = -310.8 + 279. Let o = -109 - u. Let t = o - -77. Which is smaller: t or 3/31?
t
Let y = 225 - 224. Is y not equal to 20/449?
True
Let t(s) = -s + 8. Let a be t(10). Let z be (9/a)/((-9)/(-144)). Suppose 2*k = 4*k + 5*f + 157, -2*k + 2*f = 136. Does k = z?
False
Let x = -14986 + 14982. Does -208/47 = x?
False
Let q(x) = x**3 - 8*x**2 + 5*x + 4. Let o be q(7). Suppose -4*f - 2*r = 70, -4*f - 103 = -88*r + 93*r. Is f at least as big as o?
False
Let t(i) = 18*i - 141. Let x be t(8). Suppose -x*n + 176 = -2*v, -3*n + 3*v + 293 = 2*n. Is 54 <= n?
True
Let c be (-2 + 4)*(-1)/(-14)*7. Is 50 != c?
True
Let w = 3021 + -2997. Which is bigger: w or 36?
36
Let v be -15 + ((-520)/(-128) - -11). Suppose 7 = -2*t + 5*g, -4*t - 14 = -t - 4*g. Let o be -3 + 1 + (-3 - t). Which is smaller: v or o?
v
Let r be (106 + 2)/(4/22) + -1. Suppose -87 = 8*s + r. Is -85 equal to s?
True
Let f(u) = -4*u - 34. Let w be f(11). Let g be ((-2)/3 - 1) + (-134)/w. Is -1 <= g?
True
Let w = 0.02844 + 0.07156. Is w < -785?
False
Suppose -25*z - 54 = -22*z. Let d be (-108)/(-7) - z/(-63). Let x = -7519/497 + d. Is x smaller than 1?
True
Let o be 1953/(-15) + (-1)/10*-2. Let d = o - -112. Which is bigger: 1 or d?
1
Suppose -1 = -z + 7. Let c(j) = 15*j**2 + 104*j - 27. Let m(n) = 4*n**2 + 26*n - 7. Let v(f) = -2*c(f) + 9*m(f). Let b be v(-5). Which is greater: z or b?
b
Let u be (-2 - 1)/(-1) - 85/30. Is u at least 1143?
False
Let i = 25904 + -25905. Is i > -8/2685?
False
Let c = -6 + 8. Let t = -3818 + 2558. Let u be 5/(t/(-564)) - (-10)/(-6). Is u <= c?
True
Let f be ((-33600)/(-1280))/((-1)/4). Is f <= -1760/17?
True
Suppose -359*q + 50 - 2458 = -15*q. Which is greater: -432/65 or q?
-432/65
Let r = 17890 - 17759.882. Let d = r + -0.118. Is d smaller than -1?
False
Let g = 1442 - 3491. Which is bigger: 0 or g?
0
Let d be -1 + (-3 - 2) + 192. Let b = d + -214. Suppose 5*k = 3 + 7. Is k equal to b?
False
Let q = -0.09088 + -0.00912. Is q bigger than 1175?
False
Let d be 1*(-1136)/24*-6. Let b = d + -283. Which is smaller: -21 or b?
-21
Let o be 189/3*11/(33/(-4)). Let v = o + 84. Which is greater: v or 6/7?
6/7
Let d(x) = 22*x - 49. Let u(i) = 112*i - 246. Let y(k) = -14*d(k) + 3*u(k). Let r be y(-6). Is r bigger than -221?
True
Let i(r) = 2*r**2 + 27*r - 185. Let v be i(5). Which is smaller: v or -2/1785?
-2/1785
Let c = -18.43 - -37.43. Is c at most as big as -2.2?
False
Let f = 477 - 481. Let a be -1*((-3)/(-12))/(f/(-80)). Are a and -25/7 nonequal?
True
Let i = 48.3861 + 0.0139. Let a = 54.72 - 6.72. Let z = i - a. Which is smaller: z or -1?
-1
Let q = -178 + 183. Let l be q*(24/6)/(-4). Is -3.8 not equal to l?
True
Suppose 11*r = 5*r - 96. Let q be r/(-20)*15/3. Suppose 2*l + 86 = 4*j, 2*j - q*l + 92 = 6*j. Is j less than 21?
False
Suppose -6*m = -3*i - 5*m + 139, -2*i - 3*m = -111. Suppose 4*c - 208 = v - 68, -2*c = 5*v - i. Is 34 greater than c?
False
Let u be -1*(8/(-3))/(-4). Suppose -30*x + 25*x = -15. Suppose -x*y - 2 = -2. Which is smaller: y or u?
u
Let f = 402/11 - 14136/385. Suppose 0*t + 4*m + 46 = -3*t, -3*t - 71 = -m. Let r = -22 - t. Which is greater: r or f?
r
Suppose -2*y = 3*t + 31289, -2*y = -76 + 60. Which is greater: t or -10434?
-10434
Let g = -86 - -349. Let v = 170 - g. Are -92 and v unequal?
True
Let m be 8203/1262*(-1774)/(-13). Which is bigger: m or 884?
m
Suppose i = -g - 6, -340*g + 339*g - 3*i = 16. Which is greater: -1/1020 or g?
-1/1020
Let o be ((-12)/(6 + -12))/(2 - 0). Suppose -19 = -4*k + o. Suppose -5*v + k*b + 15 = 0, -2*v - 2*b = -3*b - 2. Which is smaller: v or 2/143?
v
Let m = 0 + -0.4. Suppose -5*f = 4*v - 56 + 33, -2*f = 13*v - 89. Which is smaller: v or m?
m
Let t(l) = 26*l**2 + 7*l + 1. Let v be t(3). Let k be -1 + (4