). Suppose -b + 5*f + 6 = 0, 3*b + b = 3*f + 24. Is h at most b?
True
Let z(o) = -o**3 - 23*o**2 + 34*o + 225. Let w be z(-24). Let m be (1/((-2)/(-2)))/2. Which is smaller: m or w?
w
Let m = 35 + -18. Suppose 4*r - 5*f = -r + 75, -4*r = f - 55. Let c = r - m. Which is bigger: -17/4 or c?
c
Let y be (-4)/(-14) - 18/14. Let f be (9/6)/(105/(-150)). Which is greater: y or f?
y
Let a = 42 + -29. Let f = 7 - a. Let c = -6.1 - f. Is -11 <= c?
True
Let r = 0.15 + -2.45. Let z = 19.7 - r. Let g = 22.2 - z. Which is smaller: g or -0.03?
-0.03
Let o be -76 - (1 + ((-3)/(-1))/(-3)). Let u be -1 + o/(-34) - 1. Which is greater: 1 or u?
1
Let f be 8 + -12 - 2172/(-542). Which is smaller: f or 0?
0
Let n = -3.51 - -3.55. Is n > -0.05?
True
Let n be (-15)/(-10) - (-65)/(-10). Is n bigger than -37/7?
True
Let p(c) = -8*c - 4*c + 16*c. Let t be p(5). Which is smaller: t or 21?
t
Let g = 1166/3 - 388. Is -13 >= g?
False
Let w(m) be the first derivative of -9*m + 3 - 1/2*m**2. Let k be w(-9). Is k equal to -3?
False
Suppose -3*x + 5*s = -43 + 3, x = 2*s + 12. Let a be (-25)/x + (3 - 22/8). Which is greater: a or 4/33?
4/33
Suppose 3*m - 14 = k, 2*m + 3*k - k = 12. Suppose 61 = m*u + 11. Is 10 not equal to u?
False
Let g = 7746/490873 - 5/331. Is 0 less than or equal to g?
True
Suppose -29*b = -12*b + 3247. Are b and -191 equal?
True
Let s = 1317 + -1334. Which is smaller: s or 3/8?
s
Let c be (-36)/(-9) - (-2 + 4). Let r be -6 - -3 - c/(10/(-45)). Which is smaller: r or 52/7?
r
Suppose 0 = 2*u - 1 - 183. Which is smaller: 94 or u?
u
Let i be (-78 - -2)*1*1/(-14). Is 6 bigger than i?
True
Let y(f) = f**3 - 9*f**2 + 19*f - 7. Let h be y(6). Let u(c) = -c**3 - 5*c**2 - c - 6. Let g be u(-5). Are g and h equal?
True
Let l(t) = -2*t**2 + 41. Let p be l(-5). Let j(o) = -o - 30. Let z be j(-22). Is z != p?
True
Let n be 3/(-6)*(2 + -10). Let p be (n - 9)*(2 - 11/7). Is 2 at most as big as p?
False
Suppose -5*g + 16 = -g. Suppose 0*y = g*y - 12. Suppose -y*a + 5*a = 6. Which is greater: 4 or a?
4
Suppose -2*l + 4 = -u, 2*u = 2*l - 0*u - 2. Suppose -4*a - l*i + 3 = 0, -8 = -5*a + 4*i + 19. Is a bigger than 3?
False
Let j be 9/(-3) - (-28)/4. Suppose -151*w + 150*w = j. Does w = -2?
False
Suppose 16*p + 42*p = 3*p. Which is bigger: p or -1/93?
p
Let d = -163 - -623/4. Is -3 smaller than d?
False
Let v = 46 + -92.2. Let k = -46 - v. Is k less than or equal to 2?
True
Let z = -99 + 132. Let a be 55/z - 2*1/2. Is 1 at least as big as a?
True
Let c be 196/(-16) + 1/4. Let h be 114/c + 0 + 5. Let o = 2 + -7. Is h >= o?
True
Let o be (0 - -8)/((-28)/14 + 1). Let a(m) be the second derivative of -m**5/20 - 3*m**4/4 - 4*m**3/3 + m**2/2 - m. Let g be a(o). Which is bigger: -2/37 or g?
g
Suppose -428 + 2008 = 10*f. Is f bigger than 157?
True
Suppose 0 = 5*c - 5*t - 10, -18 = 6*c - c + 2*t. Let s be (-3 + (-11)/c)*-2. Let v be -3 + (125/(-9))/s. Which is smaller: v or 0?
v
Let k be (-3 - -5)*3 - 24. Which is greater: k or 6?
6
Let t = 3468.1 + -3468. Let j be 0/(-1) - (-4)/8. Does t = j?
False
Suppose 0*c - 3*a = 2*c - 15, -c = -a + 5. Suppose c = -8*d - 0. Which is greater: 1/55 or d?
1/55
Suppose -4*m - r + 84 = 0, 3*r + 0*r - 12 = 0. Which is smaller: m or 185/9?
m
Let s(z) = -z - 5. Let c be s(-6). Let u = -36 - -4. Let g = 31.7 + u. Is g less than or equal to c?
True
Let h = -0.22 + 3.42. Let b = -13.8 - h. Let p = 17.2 + b. Which is bigger: 3 or p?
3
Let r be 2598/(-10) + (-1)/(-4 + 3). Suppose 3*z - 411 = 369. Let v = z + r. Is v > 1?
True
Let a(b) = 3*b**2 - 2. Let v = -6 + 4. Let t be a(v). Let s be -5 + 3 - (-3 + t). Is -7 equal to s?
False
Suppose -4*n + 22 = -2*u, 0 = -2*u + 5*n - 0 - 27. Let h = 10 + -7. Let k(o) = o**3 - 2*o**2 - o - 7. Let d be k(h). Is d less than or equal to u?
True
Suppose -f + 0*f - 4*u = 0, 0 = 5*u + 5. Suppose 686 = f*l - 11*l. Is l smaller than -97?
True
Let j be 65/(-7) - 2/(-7). Let u be (-2)/3 - 87/j. Does u = 9?
True
Let a be (-3*2/(-9))/(49/(-7056)). Which is smaller: -100 or a?
-100
Let d be (-2)/(-4)*(-336)/(-5754). Does d = -1?
False
Let o be 4/(-18) - (-2)/9. Let w(i) = -2*i**2 + i - 75. Let b be w(o). Which is bigger: b or -74?
-74
Let i = -199827/98 + 2039. Let c = i + -2/441. Which is smaller: c or 0?
c
Let p(l) = l**2 - 5*l - 10. Let s be p(7). Suppose 0 = 2*a + 2*a - s. Let d be (a/4*4)/1. Is 1 less than or equal to d?
True
Suppose 6*t - t + 4*w + 30 = 0, -3*w - 23 = 4*t. Let s be (-11 - t) + 4/(8/6). Is -5 less than or equal to s?
False
Let b be (502*4/8)/(0 - 5). Let t = b - -50. Let p = -2 - -1. Which is smaller: t or p?
p
Suppose -99*l + 216 = -108*l. Are -29 and l non-equal?
True
Suppose 0 = 2*x - 68509 - 446031. Let f = 1796327/7 - x. Let z = f - -653. Which is bigger: 2 or z?
2
Suppose -16 = -4*q - 0*i + 2*i, q + 5 = 5*i. Let c = -6 + q. Which is greater: c or 9?
9
Let i be (-16)/104 + 392/520. Let j = -7.94 - -8. Let l = j + -0.16. Which is bigger: i or l?
i
Suppose 0*v - 3 = v - 5*i, v - i + 3 = 0. Let q be -5*v/30*34. Is q greater than or equal to -0.1?
True
Let t be 4/16 - 90572/(-16). Let b = t - 73629/13. Which is smaller: -4 or b?
-4
Let b = -4 - -5. Let c be 8/(-92) - (-8736)/(-2691). Which is smaller: c or b?
c
Let z(m) = -4*m**3 + 4*m**2 + m + 20. Let j be z(4). Which is greater: j or -167?
-167
Let u(t) = -t**3 - 37*t**2 - 7*t - 74. Let p be u(-37). Which is smaller: p or 184?
184
Let r = 1.45 - 26.45. Is 4 smaller than r?
False
Let r = -1316/11 - -120. Let j = 5979 - 5980. Which is bigger: r or j?
r
Let m = 0.01 - 3.01. Let v = m - -3.2. Let n = 603/5 + -121. Which is smaller: n or v?
n
Let g be 3/((-4050)/2061) + 9/6. Is -1/4 < g?
True
Suppose 5*y - 3*q + 10 = -2*q, 8 = -4*y + 4*q. Let m = 6 + -20. Let b = m + 27/2. Is y >= b?
False
Let a(u) = 3*u - 1. Suppose 2*y = 0, -2*j - 4*y - 10 = -7*j. Let x be j/(-12) + (-200)/(-48). Let z be a(x). Which is smaller: z or 10?
10
Let q = -6.455 - 0.045. Let s = 6.3 + q. Which is greater: s or -14?
s
Let i = -40 - -16.1. Let v = -24 - i. Which is greater: -2/15 or v?
v
Let l = 449 - 449. Is l at least 4/721?
False
Let w = 4 + -2. Let i be w*(-2)/4 - 15. Let x be 6/(-10) - i/10. Which is smaller: x or 2?
x
Let k = -58 + 96. Is k > 36?
True
Let s = 907/114 - 148/19. Which is bigger: s or -122?
s
Let o be (63/18)/((-6)/(-52)). Let h = 30 - o. Is h equal to 1/5?
False
Let l = -10 + 16. Let t = 2.4 - -3.4. Let y = l - t. Which is smaller: y or -1?
-1
Suppose -2*g - g + 168 = 0. Suppose 27*i = 2*i - 8*i + 1881. Which is bigger: g or i?
i
Suppose -37*w = -34*w + 48. Let m be (w/80 - (-7)/(-2)) + 4. Which is greater: m or -1?
m
Let o = -324 - -300. Are o and -93/4 nonequal?
True
Let l = -41 - -42. Let d = -161 + 1130/7. Which is smaller: d or l?
d
Suppose -181*n + 185*n - 8 = 0. Which is bigger: -1 or n?
n
Let d = 79745483/31 + -2572076. Let b = -359 + d. Is b equal to -1?
False
Suppose g - 6 = -g. Let s = 706 + -700. Which is greater: g or s?
s
Suppose -5*n = -b + 11, -5*b + 0*n + 7 = -n. Let z(q) = -b - 8*q**2 + 2*q + 9*q**2 - q. Let x be z(0). Which is greater: x or -1/10?
-1/10
Let v = -1 + 3. Let a be (-1)/((v/220)/(-1)). Let y be a/90 + 2/(-9). Which is bigger: y or -2/71?
y
Let i = -18 - -10. Let b be 14/(-8) + (-6)/i. Let l be b*0*3/9. Is l less than or equal to 0?
True
Let i(h) = -h - 2. Let k be i(-6). Suppose 20 = -3*b + b + l, -k*b - 38 = -l. Let v = 6 + b. Which is bigger: v or -8/3?
-8/3
Let r = 226 + -226. Let q(n) = 14*n - 7. Let f be q(-5). Let d be 20/f - (-4)/(-14). Is d not equal to r?
True
Let s(a) = a**2 - 2*a - 20. Let f be s(9). Let o = -60 + f. Is -16 <= o?
False
Let p be (-873)/(-15)*6/18. Is 18 < p?
True
Let x(h) = h**2 + 15*h - 43. Let o be x(-18). Suppose -70 = 3*t + 254. Let a = -538/5 - t. Is o greater than or equal to a?
True
Let g be -53*(-1)/(-17) + 13 + -10. Which is smaller: g or 1?
g
Suppose 0*w - x = 3*w - 9, 2*x + 14 = 2*w. Let f(r) = -r**3 + 5*r**2 - 4*r + 6. Let i be f(w). Which is bigger: i or 8?
8
Let r = -8 - -11. Suppose r*s + 5*p = 0, -2*s = -3*p - p. Let o be 1 + 2 + 1*(-70)/18. Which is smaller: s or o?
o
Suppose 0 = -4*a + m + 19, a - 2*m = 3*a - 22. Suppose -h - 5*o = 21, h = a*h - o + 27. Which is bigger: h or -4?
-4
Let g be (-555)/10*(-364)/21. Is g at least as big as 961?
True
Let a be (378/105)/(5/(-75)). Is a >= -51?
Fa