3*l + 3 = 2*l, -3*h + 4*l - 16 = 0. Let k = 1 - 6. Let z = h - k. Which is smaller: -1 or z?
-1
Let z = -9.6 + 9.4. Is -23 >= z?
False
Let g = -162.5 + 163. Which is smaller: 1/40 or g?
1/40
Let k(s) = s - 5. Let g be k(7). Suppose -b + 2 = 2*h, 2*h + g*h - 5*b = -24. Which is smaller: 0.4 or h?
h
Let m be (-4)/7 + (-3)/(-3). Let l(j) = j**2 + 7*j - 1. Let s be l(-7). Is s smaller than m?
True
Let r = 1/2 - 5/6. Let l(m) = -m - 6. Let q be l(-6). Is q equal to r?
False
Let m = -18.9 + 20. Which is smaller: -1 or m?
-1
Suppose -3*t - 17 - 23 = 4*l, 0 = -l - 5*t - 10. Let j be ((-2)/(-3))/(l/(-15)). Suppose 0 = b - j. Which is smaller: 2 or b?
b
Let t = -12 + 12.07. Let s = t + 0.13. Do 1 and s have the same value?
False
Let g be (-1*1)/(2/6). Let s be -1*2/(8/12). Is g less than s?
False
Let t = -10071/7 + 1441. Which is smaller: 2 or t?
2
Let z = 0.015 + -0.215. Which is smaller: 2/21 or z?
z
Let q be -3 - ((-35)/2)/5. Are 2 and q nonequal?
True
Let q(o) = o**3 + 4*o**2 + 3*o + 4. Let i be q(-3). Let p = i - 6. Let n(s) = -2*s**2 - 4*s - 2. Let l be n(p). Which is smaller: l or -1?
l
Let b = -92632/55 - -1684. Let l = 8881/99 - 800/9. Let c = l + b. Is c >= 1?
False
Let l(b) = b**2 - 11*b + 3. Let f be l(9). Which is smaller: -8 or f?
f
Let i = 27 + -26. Which is smaller: i or -16?
-16
Let b(w) be the first derivative of w**4/4 - 10*w**3/3 + 9*w**2/2 - w - 2. Let p be b(9). Let m be p + 3*2/6. Which is bigger: m or -1?
m
Let m(j) = 2*j**3 - 3*j**2. Let k(o) = o**2 - 8*o + 2. Let u be k(8). Let v be m(u). Suppose -f + v = 7. Is -2 < f?
False
Let g = 2 + -4. Let v be (-6)/g + 2 + -2. Suppose 2*o = v*o + 1. Which is bigger: -3/4 or o?
-3/4
Let w = -10 - -13. Suppose -w*b + 40 = -b. Which is smaller: b or 19?
19
Let g be 2 - (-2 - -3)*-73. Let v be 4/(-35) - (-30)/g. Which is smaller: v or -4?
-4
Suppose -2*l = 3*u - 71, -3*l + 120 = 5*u - 0*u. Are 28 and u non-equal?
True
Let h = 0 + 5. Let r = -4.9 + h. Let b = -0.1 + r. Is b not equal to -1?
True
Let g = -0.6 + 1. Let a = 0.6 - g. Is a at most -2/3?
False
Let u be (-1)/(4/6) + -1. Let q(a) = -65*a - 199. Let m be q(-3). Which is bigger: m or u?
u
Let o be (-32)/(-176) + 136/(-22). Is o smaller than -6?
False
Suppose 2*w - 6*w = 72. Let g be (-1)/((-3)/w*3). Let l be 5/g + 2/2. Are l and -1 nonequal?
True
Suppose 0 = p - 6 + 1. Suppose 0 = 3*z - 4*z - 5. Let i = 10 + z. Is p less than or equal to i?
True
Let r = -1 - 3. Let i be (-2)/(-1)*(r - -3). Let k be (i/(-8))/((-27)/24). Are 1 and k unequal?
True
Let u = -0.08 + 0.11. Which is smaller: u or -0.2?
-0.2
Suppose 2*q + 222 = -310. Let v be (-2)/7 - 83/q. Let n = 69/266 + v. Is -1/3 bigger than n?
False
Let w = -1262/9 + 140. Which is bigger: w or 2/5?
2/5
Let a = -3 - -10. Which is greater: a or 0.1?
a
Let r = -1.1 + 1. Suppose -6*p + 25 = 1. Which is smaller: r or p?
r
Let d(b) = b + 7. Let m be (7 + -2)*24/(-15). Let i be d(m). Let h be (-2)/(1*6)*i. Is -1 at least as big as h?
False
Let n(g) = -g**3 + 4*g**2 + 5*g - 3. Let u be n(5). Let p be (1353/(-518))/(u*2). Let c = 1/148 - p. Does c = 0?
False
Suppose 7*v - 24 = 10*v. Which is greater: -5 or v?
-5
Let c be 5 - (0 + 1 + 1). Let i be -5*(c - 2) - 0. Let b(z) = -z - 6. Let m be b(i). Is -1 at most as big as m?
True
Let k = -0.29 - -0.48. Is 2 != k?
True
Let l be ((-5)/(-15))/(6/4). Let s be (1/2)/(3/4). Is s != l?
True
Let a be -3*(-4)/(-18)*3. Let y = -18 - -18. Is y at least a?
True
Let i be (12/105)/((-2)/(-5)). Is i at most 0?
False
Suppose 4*f = -5*c + 9, 11*c - 8 = -3*f + 6*c. Let h = -2/313 + 648/3443. Is f at most h?
False
Suppose -2*c = -10 - 8. Let w be 2 + c/3 + -2. Let v be 2 - (3 - (-20)/(-8)). Which is greater: v or w?
w
Suppose -5*p = -12*p + 14. Is p at least as big as 2?
True
Let n = -59979/308 - -779/4. Which is bigger: 0 or n?
n
Let b = -7420 + 2188898/295. Is b < -1?
False
Let w = -17 - -18. Is w less than or equal to 5?
True
Let i = 27.95 - 26. Let k = i + -2. Let m = k + 1.05. Is -0.3 less than or equal to m?
True
Let s be (-1 - 0) + 3 - 0. Which is smaller: 3/4 or s?
3/4
Suppose f = 3*i + 9, -f - 4*f + 61 = i. Suppose 5*d - f = -2. Let j = 11/17 - -41/68. Is j < d?
True
Let x = 21 + -15. Suppose i - x = -i. Suppose -l - 2*l + 20 = 5*f, -i*f + 12 = 0. Which is smaller: l or 1?
l
Let b = -214 + -28. Let i = 963/4 + b. Which is bigger: i or 0?
0
Suppose -5*o + 0*o + 63 = 3*u, -o - 3*u = -15. Let a be (12/(-10))/(o/(-30)). Let l be a/(-2*2/4). Which is bigger: -1 or l?
-1
Let o = -64 + 46. Are o and -18 equal?
True
Suppose -3*h = -h - 44. Let m = h - 29. Is -8 greater than m?
False
Let i = 11.02 + -11. Which is bigger: 0.3 or i?
0.3
Let o = 6 - 3. Let z be (-1)/(7/o - 2). Let x be (-16)/(-6) - (-2)/z. Is x greater than 2?
False
Let w be 18*-2*3/(-18). Let c = -6 + w. Let d be 13/(-21) + (-11)/(-33). Is c <= d?
False
Let m = 8 - 9. Is 0 < m?
False
Let d = -10 + 1. Let m(x) = x**2 + 9*x. Let v be m(d). Which is smaller: v or -2?
-2
Let b be (-12)/(-2)*(-4)/6. Which is bigger: -7 or b?
b
Let g = 7/10 + 1/20. Does g = -0.01?
False
Let h = 24 - 22. Is h <= 2?
True
Let w = -1 + 2. Let d be 2 - (-2 + (0 - -4)). Let n = d - 0. Which is smaller: n or w?
n
Let n(h) = h**3 + 7*h**2 + 5*h + 6. Let c be n(-6). Is c at most as big as 11?
False
Suppose -c - 44 = 19. Let p = 569/9 + c. Is -1 != p?
True
Let w be (2 + 3 - 3) + 2. Let p = -6 + w. Is 0 greater than or equal to p?
True
Suppose j - 8 + 15 = 0. Is j > -6?
False
Let x be 3 - (-1)/((-40)/(-41)). Let d = -29/8 + x. Are 0.5 and d nonequal?
True
Suppose 2*n + 12 = -o - 3*o, -n + 6 = -2*o. Let v be (-8)/3*(-2 + 5). Let l be 0*2/v*2. Does l = n?
True
Let h = 0 - 0.2. Is h greater than or equal to 2/19?
False
Let l = -761 + 40334/53. Let n = l + -56/159. Is n < -1?
False
Let v = 696/7 + -100. Let b be 4*3*(-5)/(-12). Let h = b - 5. Is v bigger than h?
False
Let v be 477/(-60)*(-2)/3. Let h = 31/6 - v. Is h at least 1?
False
Let y be 3*1/(-2)*(2 + 0). Let b(o) = -o + 3. Let j = 3 - -5. Let q be b(j). Are y and q nonequal?
True
Suppose -l = -3*l - 60. Let a be (4/10)/((-14)/l). Let p(t) = t + 4. Let u be p(-4). Which is bigger: a or u?
a
Let d be -4 + 6 + 2/(-1). Let g be (4 - d)*6/(-8). Which is greater: -22/5 or g?
g
Let j = 21 - 41. Is -21 less than or equal to j?
True
Let v(k) = -k**2 - 8*k - 7. Let o be v(-6). Let y = 0 + o. Do 6 and y have the same value?
False
Let a be (2/2)/(5/25). Suppose 2*c + 3 = -5*t, -a = t + c - 5*c. Is 0 less than t?
False
Let y be (10/24)/(-4*7/378). Is y at least -6?
True
Let g = -0.001 + 21.001. Let h = 20 - g. Are -4/3 and h non-equal?
True
Let b be -6*((-6 - -4) + 0). Is 12 at most as big as b?
True
Suppose 5*y = y + 36. Let u be 198/(-12)*3/y. Is u bigger than -5?
False
Suppose -779 + 239 = 6*r. Is r bigger than -90?
False
Let i = 106 + -105. Are -2/13 and i nonequal?
True
Let j(g) be the third derivative of g**4/24 - g**3/6 - 2*g**2. Let l be j(1). Let b = -5 - -33/7. Do b and l have the same value?
False
Suppose -9*i = -i + 80. Which is bigger: i or 2/3?
2/3
Let s = -16 - -15. Does -6 = s?
False
Let z be (-9)/3 - (-3 + -2). Let p be 1*z/(-1) + 4. Do p and 4/5 have different values?
True
Let m(s) be the first derivative of -s**3/3 + s + 1. Let u be m(1). Let r be (6/(-9))/((-2)/3). Is r at most u?
False
Suppose -3*s = 2*s + 5. Let c be (s/3)/(2/(-6)). Let g be 2/(-10) - (1 + -1). Which is greater: g or c?
c
Let i be (-4)/10 + 5/(-50). Is -19 bigger than i?
False
Let j = -3 + 3.1. Let p = 2 - 2. Let u = j - p. Is -1 != u?
True
Suppose 4*t + 8 + 8 = 0, 5*s + 4*t - 544 = 0. Suppose 5*r = g + 2*r + 70, -2*g - r - s = 0. Let n be g/(-18) + -1 + -2. Is -1/2 >= n?
False
Let f be -39*(-35)/675 + (-1)/(-5). Are 1 and f equal?
False
Let o(m) = -m**2 + 28*m - 28. Let w be o(27). Let f = -27/8 + 119/40. Which is smaller: f or w?
w
Let m(n) = n - 3. Let d be m(4). Let q be (-14)/(-8) + 1 + -2. Which is smaller: d or q?
q
Let u = -0.1 + 0.9. Let h = 0.5 - u. Let m = h + -2.7. Is -0.1 at least m?
True
Let m be (-36)/(-810) - (-2)/5. Suppose -x + 4*f + 8 = 2*x, -2*x + 5*f = -10. Which is smaller: x or m?
x
Let d be (-9 - -21)*1/(-2). Let r = 6 + d. Suppose 3*c - 1 = -4*q - 3, r = 2*c + 2*q. Is c smaller than -1/3?
False
Let d be (-2 - 1)*11/33. Are d and 10/43 equal?
False
Let o be 15/(-9) + -1 + 3. Let k 