= 3*l - 4*m - m, -3*m - 6 = 0. Suppose -2*s - 2*u - 292 = 2*u, 0 = 4*s + 2*u + 590. Let d be 103/s - (-27)/36. Is l smaller than d?
False
Let m(f) be the third derivative of -f**6/120 + 2*f**5/5 + 9*f**3 - 19*f**2. Let x be m(24). Which is smaller: 55 or x?
x
Let i be (-3*(-6)/(-18))/1*7. Let h = 25 + -17. Let k = 1 - h. Is k <= i?
True
Let j = 652.4 - 651. Which is greater: j or 13/3?
13/3
Suppose -5*t = 46 - 61. Suppose 0 = -z - t*z. Is -1/23 greater than or equal to z?
False
Suppose -4*q + 5*s = -17, 0 = 2*q + 2*s + 2*s - 2. Suppose 3*b + 5*n + 15 = 0, q*b = -n - 2*n - 9. Let x be 8/(-6)*3/22. Which is bigger: x or b?
b
Let h be 6*((-2)/(-6) + 0). Suppose a = 3*i + 18, 2*i + a + h = -5. Suppose 48*l - 3*k - 39 = 53*l, -2*l + 2*k = 6. Which is smaller: i or l?
l
Let b be -502*(0 - (3 - 5))/4. Is b less than or equal to -252?
False
Let m = -30.2 + 26.2. Which is greater: -113 or m?
m
Let l = 59.7 + -70.7. Let c = 7 + -7.2. Which is smaller: c or l?
l
Let q = -1/227 + -223/908. Let i = -0.02 - 0.28. Which is smaller: q or i?
i
Let i = -215 - -171. Which is bigger: i or -43?
-43
Let t = -103/40 - -16/5. Let h = -4 + 5. Which is greater: h or t?
h
Suppose -5*t - 4*u + 10 = -15, -2*t - 5*u = -27. Let o be (2/(-2) + 5)*t. Suppose 6 = 2*w - o*w. Is -4 bigger than w?
False
Let r = -0.146 + -71.854. Let b = -71 - r. Which is smaller: b or 0.4?
0.4
Let z = 53.8 - 8.8. Let y = z - 44.3. Which is greater: -3 or y?
y
Let f be -7*((-296)/28 + 2). Let w = f - 88. Let z be (-6)/w*(-49)/(-14). Which is greater: z or -0.01?
z
Let z be ((-3648)/19)/(-4 + -1 - 0). Is 37 at most z?
True
Let p = -9314/57 - -52/19. Are -161 and p unequal?
True
Suppose 18 = -7*v + 16*v. Is 25/36 at least v?
False
Let y = 46.7 + -15.7. Is y at most as big as 2/7?
False
Suppose 2*z + 3*z = 10. Let j = 1769/980 + -1/196. Which is greater: z or j?
z
Let u(g) = -1. Let v(w) = -w**2 - 10*w - 9. Let o(r) = 6*u(r) + v(r). Let l be o(-8). Is l != 6/7?
True
Suppose 2*a + 3*v = 4*a - 299, -2*a - 2*v + 274 = 0. Let p be a/35 + (-44)/11. Which is greater: p or 0?
p
Let p = 165 - 36. Let z be 1/2*3/((-18)/p). Is z at least as big as -10?
False
Suppose 3*x + 33 = 2*a, 4*a - 5*x = -5 + 68. Let s = a - 12. Suppose 2*d - 3*d + 1 = s. Which is smaller: d or 2/91?
2/91
Suppose 0*a - a + 5 = 0, -z + 18 = 4*a. Let l(y) = y + 3. Let w be l(z). Is w >= -2/215?
True
Let g = 27 + -27.2. Let c = -3.2 - g. Let r = -15/2 - -71/10. Are r and c unequal?
True
Let y = 72 + -66.9. Let l = y - 5. Is -4 > l?
False
Suppose 3*n + 20 = -2*n + 5*w, -n + 3*w - 12 = 0. Let i = -9/1568 + 370075/4704. Let p = 79 - i. Is p less than n?
False
Let b = 14041/247638 + -5/1662. Do 0 and b have the same value?
False
Suppose -2*k + 17 = 3. Suppose -70 = -2*t - 3*t. Let g = -6 + t. Which is smaller: g or k?
k
Let r = 2 + 1. Suppose 12 = -r*k - 5*z, 2*k = 5*k + z. Which is greater: k or -4/11?
k
Suppose 0 = 2*i - 14 - 16. Let p = -15 + i. Suppose -4*a = -5*a + 2*d + 15, p = -4*a + d + 25. Which is bigger: 6 or a?
6
Let k be (-2 - 1)/((-3)/3). Suppose 8*a = 11*a + 12. Let t be 2/(-4*1/a). Is t <= k?
True
Let s be 48 - 2/10*-5. Which is smaller: 53 or s?
s
Let u be 1/(5/(20/2)*-2). Is u bigger than -2/671?
False
Let i = -47 + 80. Let x = i - 28. Does 4 = x?
False
Let z = -3067 + 52195/17. Which is smaller: z or 4?
z
Let z(p) = p**2 + 4*p + 5. Let q be z(-3). Let a(l) = 6*l**2 + 6*l**2 - 17 - 3*l + 11*l**2 - 22*l**q. Let o be a(0). Which is bigger: o or -18?
o
Let a be (-20)/(-70) + 139/(-364). Let i = -137/884 - a. Which is bigger: 1 or i?
1
Let x(s) = -12*s + 49. Let r be x(5). Which is greater: -9 or r?
-9
Let l be 2376/(-104) - (2/13 - 0). Let w = -23 - l. Which is bigger: -12 or w?
w
Suppose 152 = -5*k + 4*t, 11*k - 8*k - 3*t + 93 = 0. Let a be -2 - 8*6/k. Let l = -105/4 + 287/12. Is l less than or equal to a?
True
Let k(b) = 0*b + 4 - b - 27 - b. Let c be (-1)/(-5) - 244/20. Let m be k(c). Which is bigger: 16/9 or m?
16/9
Let f be (-26)/14 + (-1 - -3). Let r be (-3 + 3*(-16)/(-12))*-1. Are f and r non-equal?
True
Let u = 58/9 - 433/63. Let m be 8/6 + (-11)/(-3). Let g(b) = -b + 6. Let r be g(m). Which is greater: u or r?
r
Suppose 3*x - 5*n = 21, 0 = -x - n + 2*n + 5. Let t be ((-24)/16)/((-13)/x). Which is smaller: t or 0?
0
Suppose -50*k + 51*k - 2*a = -15, 0 = -4*k - a - 87. Let r be 4 + 0 + (1 - 1). Let l be -1 - k - 1*r. Is l != 17?
True
Suppose -98*f + 3 = -101*f, -3*f + 8 = -q. Is -19 >= q?
False
Let v = 2.01 - 0.11. Let d = 1.8 - v. Is d greater than -6/31?
True
Let x be 630/(-189) + -2 + 10/3. Suppose 4*h = 3*h - 3. Is x at least as big as h?
True
Let u be (-108)/(-7335)*15/4. Which is smaller: u or -0.1?
-0.1
Suppose 3*c = 304 + 38. Suppose -c = 4*z - 5*r, 2*z - 4*r + 2 = -58. Which is bigger: z or -27?
z
Let q = 1266/7 + -16514/91. Which is greater: q or -1/2?
-1/2
Let c be 2 + -1 + -4 + 3. Let l = -3733 - -33592/9. Is c at most as big as l?
False
Let g = -5455 + 60061/11. Suppose -4*x - 12 = -6*x. Which is smaller: x or g?
g
Let n be 0/(0 - (-2 - -1)). Let f be (-1806)/7160 + (-3)/(-12). Let t = f + 1848/25955. Which is greater: t or n?
t
Suppose 3*i + 20 = -2*x, -6*i - 5*x = -i + 35. Let z be 18/i*4/39. Let t be (0 - -2)*(-2)/(-4). Is t smaller than z?
False
Let b = -39 - -83. Suppose -a + 40 - b = 0. Suppose -4*c - 3 = -2*c - l, 0 = -4*c - 5*l + 29. Which is smaller: c or a?
a
Let o be (0 + -2)*(10/(-4) - -2). Is o > 12/17?
True
Let t = 1397/15801 + -1/687. Let x be 4/(-2) - 65/(-46). Let c = t + x. Which is smaller: c or 0.3?
c
Let g(s) = s**2 - 13*s + 15. Let t be 4/(-12) - (-37)/3. Let l be g(t). Which is greater: 5 or l?
5
Let n be (-3 + (7 - 3))*(-1 - 0). Is n greater than -198?
True
Let p = -161 - -160.8. Let x = 0.08 - 0.98. Let y = -1 - x. Is y != p?
True
Let z(l) = 22*l - 1. Let m be z(1). Let n be 3/7 - (-33)/m. Let v be -1 + -1 - (2 - n). Which is greater: -7/5 or v?
-7/5
Let y be ((-12)/9)/((-8)/12). Let f be ((-12)/9)/y*(-9)/(-12). Which is greater: f or 0.05?
0.05
Let u = -619 + 620. Is -22 less than u?
True
Suppose -2*p - 64 = 14*p. Let s be 2 - -1*(-1 + 5). Suppose 4*l + 16 = -2*c, -s*l = -4*c - l + 7. Is p greater than c?
False
Let o = -13 + -25. Let f = o + 20. Is f <= 2/3?
True
Suppose 8*m + 36 = 17*m. Suppose -1 = 5*t + l, m = 2*t - 2*l - 2*l. Let q be 1/28 + (-2)/8. Is q equal to t?
False
Let q(m) = m**3 - 18*m**2 + 15*m + 32. Let j be q(17). Suppose -3*d - 5*u + 30 = 0, u + 40 = 4*d - u. Is d less than or equal to j?
False
Let y be (-78)/104 - 614/(-8). Are y and 76 non-equal?
False
Let l(v) = -v**2 - 7*v + 12. Let n be l(-6). Let f = n + -107/6. Which is smaller: f or -1?
-1
Suppose 7 + 0 = 3*t + 13. Suppose 0 = -5*b + 10. Let z be 0 + b/((-2)/(-1)). Is t > z?
False
Suppose -30*q + 3634 + 8966 = 0. Is q at least as big as 420?
True
Let b = -681 - -668. Which is greater: -15 or b?
b
Suppose -t + 2*t + 6 = 0. Let j be -6*(-7)/(84/8). Suppose -196 = j*a - 176. Is t greater than a?
False
Let a be (-2)/4 - (-2457)/5886. Is a bigger than -1?
True
Let x = -184 - -1308/7. Is 0 at most x?
True
Suppose -101 + 31 = -14*u. Let k(v) = -3*v + 30. Let s be k(u). Is -0.2 at least s?
False
Let l = -2/63 + 136/315. Which is greater: -3/32 or l?
l
Let f = 104 - 107. Suppose -2*a + 0*a = 2. Let t = a + -1. Which is smaller: t or f?
f
Let f be -4 + (-404)/(-58) + -3. Suppose 5*u = -4*q - 7, -3*u - 10 = -u - 2*q. Let t be u/3*1/(-1). Is t < f?
False
Let u = -5264 - -1873989/356. Is u > 0?
True
Suppose 9*h - 19 = 8*h - 3*k, 0 = -5*k + 15. Is h at most 6?
False
Suppose -133 - 287 = -7*z. Which is greater: 63 or z?
63
Let a(q) = -4*q - 44. Let o be a(-11). Are o and -14/151 non-equal?
True
Let n(h) = h**3 - 5*h**2 - 3*h + 1. Let o be (-5)/((-100)/(-12))*-10. Let c be n(o). Let j = 18 - c. Which is smaller: 4 or j?
j
Suppose -1 = -79*n + 80*n - 5*j, -n - 5*j - 1 = 0. Is n greater than or equal to -4/481?
False
Let x = -6.24 + 7.24. Is x at most -62?
False
Suppose 0 = m + 3*p + 5, -2*m + 3*m + 5 = -5*p. Let x(i) = i**2 - 4*i - 1. Let u = 15 + -13. Let j be x(u). Is j smaller than m?
False
Let t(i) = -i**3 - 12*i**2 - 15*i - 35. Let k be t(-11). Let b = -10 + k. Is -2/161 less than b?
False
Let i(d) = -d - 6. Let r be i(-16). Let p(k) = -2*k**2 - k**3 + r + 11*k - 2*k**2 - 5*k**2. Let b be p(-10). Are 1/25 and b noneq