 Is c < a?
False
Let u(j) = -j**2 + 20*j - 15. Let z be u(19). Suppose -2*k + z*r + 52 = 0, 7 = 4*k + r - 61. Which is smaller: 1/3 or k?
1/3
Let i(q) = -q**3 + 4*q**2 - 3*q - 1. Let k be i(3). Let m = 43 - 42. Let j be m + (8/(-5) - (-18)/(-45)). Is j < k?
False
Suppose 9*b - 2*o + 10 = 4*b, b + 3*o + 19 = 0. Let u = 0 - b. Suppose 12 = u*l + 4. Which is smaller: 13/5 or l?
l
Let w be (-7)/(70/15)*22. Let m = -34 - w. Which is greater: 2/15 or m?
2/15
Let k = -275 + 283.98. Let v = 0.3 - 0.28. Let j = k + v. Do -0.1 and j have different values?
True
Suppose 0 = 4*z - r - 37, -41*r = 2*z - 36*r - 13. Is 87/11 less than or equal to z?
True
Let x be 2 - (-1)/2*0. Suppose -2*r = 4*n - 296, x*r + 118 = 3*n - 90. Let t = n + -1942/27. Is -1 >= t?
False
Let w be 10 - 3/3 - 0. Let n = w - 2. Suppose -2*u + 14 = z - 2, 2*z + 40 = 5*u. Which is smaller: n or u?
n
Let m = -3.3 - -3.04. Let d = -0.04 + m. Suppose -2*l - 3 = -3*l. Which is bigger: l or d?
l
Let m be -2*54/31760*6. Let z = m - 351671/373180. Let u = z - -10/47. Which is smaller: u or -1?
-1
Let t = 48 + -47. Suppose 0 = 3*a - 7 + t. Which is smaller: a or -3?
-3
Suppose -2*p + p + 2 = -2*m, 0 = -p + 2. Let w be (2 - 1)*(0 + m). Let q = 5/43 + -151/559. Is w less than q?
False
Suppose -2*n + 23*d - 25*d - 8 = 0, -n - 5*d = 16. Which is smaller: 4/143 or n?
n
Let u(n) = -n**2 + 15*n - 6. Let g be u(14). Let s be ((g - -4)/(-4))/1. Let y be s/(-12)*4*0. Is y less than or equal to -2/23?
False
Suppose 4*g - 2*g = -4*q + 12, g + 5*q - 12 = 0. Let o be g/4*-4 + 51. Is 49 equal to o?
True
Let g = 157 + -158. Which is bigger: 752 or g?
752
Let w be (-6 - 370/(-30))*1/3. Which is greater: w or -2?
w
Let s(x) = -x**2 - 16*x - 22. Let v be s(-14). Let n(k) = k**3 - 7*k**2 + 6*k + 4. Let r be n(v). Are r and 4 non-equal?
False
Suppose s + 156 = 2*m, 3*m - 44 = -4*s + 168. Suppose 5*k + 110 = -5*r, 4*k + r - 3*r = -m. Which is smaller: k or -21?
-21
Suppose k - 7 = 36. Which is bigger: k or -6?
k
Let w be (-11)/(121/22) + 2533. Is w > 2531?
False
Let p(w) = -w**3 + 4*w**2 - 2*w - 1. Let d be p(3). Suppose 0 = -x - 3*n + 11, 0 = x - d*n - 3*n - 43. Which is smaller: x or 22?
22
Let u = 26 + -24. Let x be -11 - u*(-1)/(-3). Is -13 smaller than x?
True
Let x(c) = c**2 - 5*c - 2. Let t(y) = y**3 - 2*y + 1. Let s be t(2). Let m be x(s). Let j be (m/(-4))/(35/(-30)). Which is smaller: -0.1 or j?
j
Let r = -8.3 + 8. Let x = 18.278 + -0.178. Let c = x - 18. Which is smaller: r or c?
r
Suppose -4*b + 9*b = 155. Suppose -11*a = b + 24. Is a bigger than 1?
False
Let l = -335 + 186. Which is smaller: -147 or l?
l
Let u(i) = i**3 + 10*i**2 + 30*i + 24. Let x be u(-3). Let r(m) = m**3 - 6*m**2 + 4. Let z be r(6). Which is smaller: x or z?
x
Let v = -36.014 - -0.014. Let r = v - -36.01. Which is smaller: -2 or r?
-2
Suppose 0 = z - 2*z + 37. Let k be z/(3 + (0 - 2)). Let t be k/4 + (-24)/(-32). Is t less than 9?
False
Let h = 3.26 + 16.74. Are -9 and h non-equal?
True
Let m = 0 + -2. Let i be (((-6)/(-8))/(3/(-10)))/((-189)/(-210)). Which is smaller: i or m?
i
Let f = -20.28 - -0.28. Is 1/8 >= f?
True
Let i be (-80)/(-8)*2/28. Suppose 0 = 4*n + 4*x, 2*x + 3 = -x. Which is smaller: n or i?
i
Suppose l - u + 222 = 0, 0 = -2*l + 401*u - 406*u - 416. Is -221 greater than or equal to l?
False
Let r be -3 - ((-4)/6)/((-408)/110844). Let w(m) = -4*m**3 - 5*m**2 - m + 4. Let p be w(-4). Let x = p + r. Which is greater: x or -1?
x
Let z = -0.243 + 115.243. Let i = 115.7 - z. Let n = 1 + -1. Which is greater: i or n?
i
Let q be (-201)/6 - 2/4. Let h = -13712 - -13679. Is h > q?
True
Let j(h) = -h**3 - 3*h**2 + 3*h - 3. Let o be j(-4). Let n(g) be the second derivative of -g**5/20 - g**3/6 + g**2 - 5*g. Let z be n(0). Is z at least o?
True
Let d = 874 - 862. Which is bigger: d or -30?
d
Let c be (222/4)/(-3)*(-14 + 12). Let a = -28 + c. Do a and 12 have different values?
True
Let q(r) = -r**3 - 4*r**2 + 6*r + 6. Let o(n) = -n**3 + 3*n**2 + 10*n - 5. Let f be o(5). Let j be q(f). Let u be 4/(-60)*70/(-4). Which is smaller: j or u?
j
Let q = 2 + -2.2. Let c(m) be the first derivative of -m**2 + 5*m + 16. Let v be c(2). Which is smaller: v or q?
q
Let a(m) = -2*m + 1. Let y be a(-2). Suppose 6*c - 3*c - y*x + 12 = 0, 6 = 3*c + x. Let d(k) = 2*k**3 + 2*k - 1. Let t be d(c). Is 3 >= t?
True
Let k = -0.6 + 2.6. Let v(o) = o + 18. Let g be v(-10). Suppose g*h + 19 = -x + 3*h, 3*x = 5*h + 23. Which is bigger: x or k?
k
Let d = -63 - 52. Which is greater: d or -116?
d
Let t = -1/4 + 15/28. Which is bigger: 1/4 or t?
t
Suppose -199 = -3*m + 5*l, l = 5*m + 5*l - 344. Suppose -f + 3*f = 2*o + 60, -2*f + 4*o = -m. Which is smaller: f or 25?
25
Let f be -2*2*((-225)/74)/(-9). Is f >= -1?
False
Let t be -1*(5 - -2 - 1). Suppose 2*j = -2*g + 10, g = -2*g - 2*j + 11. Let q be 1/3*(-15)/g. Which is smaller: t or q?
t
Suppose 2*m = 5*m - 15. Let u(j) = -j**3 + 6*j**2 - 3*j - 7. Let i be u(m). Let b = -42899 - -42904. Is b at most as big as i?
False
Let n = 51 + 48. Let s be (-3)/n*(2 - (-2 + 0)). Is 1 less than or equal to s?
False
Let h be (-2 + 13/5)*(-232)/(-12). Are 13 and h unequal?
True
Let u be (-1)/2*1*-16. Suppose 3*q = 14 + 7. Suppose -10*g = -q*g - 27. Which is smaller: u or g?
u
Let z be (-848)/1120 + 1/(-10). Is z < -0.39?
True
Suppose -24*z + 19*z - 185 = 0. Suppose 0 = -2*g + 3*s + 2*s - 101, -2*g - 4*s = 56. Which is greater: g or z?
z
Let u = -43/25 - -723/275. Suppose 5*q - 3*y - 12 = 0, -3*q - 4*y - 10 = 6. Is q != u?
True
Let p(o) = o + 5. Let t(z) = z**2 + 6*z - 45. Let c be t(-10). Let x be p(c). Are 1/6 and x nonequal?
True
Let f(u) = u**2 + 111*u - 438. Let l be f(4). Is l greater than -0.21?
True
Let l be (-1 + (-20)/(-25))*-61. Let a be 574/42 + 10/(-6). Is l less than a?
False
Let d(b) = b**3 + 4*b**2 - 8*b - 6. Let w be d(-5). Let q = -1185 - -1193. Is q at most w?
True
Let o = -2/70913 - -1134966/12693427. Is -1 > o?
False
Suppose 16*u = 3*z + 14*u, 4*z = u. Is -86 less than z?
True
Let t be (-24)/(-5 + 9 - 358/88). Which is smaller: t or 351?
351
Suppose 2*t + 2 = t. Let f be 3/t*2/(-3). Let l be 8/(-6)*(10 - 579/58). Which is smaller: f or l?
l
Let u(s) = s + 95. Let i(v) = 19. Let h(a) = -11*i(a) + 2*u(a). Let o be h(9). Which is bigger: 1/4 or o?
1/4
Let v(y) = 2*y**2 + 14*y + 6. Let z be 6/2 - 9*1. Let l be v(z). Let c be (26 - 6)*l/15. Which is greater: -6 or c?
-6
Let w = 1 - 6. Suppose -3*n - 15 = 0, n + 15 = -u - u. Is u bigger than w?
False
Let b = -23.8878 + -0.0122. Let t = 25 + b. Let a = 1.2 - t. Is a <= -2/3?
False
Suppose -4*d = 0, -4*d - 5 = -n - 3*d. Suppose -n*l = -5*r - 5, 2*r - 3*l = -2*r. Suppose g - r*q + 6 + 7 = 0, q + 5 = 5*g. Which is bigger: g or -0.1?
g
Suppose 188 = -5*x + 4*x. Let t = -569/3 - x. Let g be (-1 - (-4 + 2))*-3. Which is greater: t or g?
t
Let x = -10228/3 - -3562. Which is bigger: x or 154?
154
Let l(g) = 6*g**3 + g**2 + g + 1. Suppose -3*x - 2*x + 3*u - 2 = 0, -2*x - 5 = 3*u. Let q be l(x). Let i be (-10)/q*2/4. Is -1/21 <= i?
True
Let w = 30255422 + -150140071/5. Let a = 226461 - w. Let n = a + 941. Which is greater: n or -6?
n
Let r be ((-21)/2 + 2)/(36/72). Let x be 2/(-7) + 108/(-14). Which is bigger: x or r?
x
Let h(l) = l**3 + 4*l**2 - 12*l + 2. Let g be h(-6). Suppose 0 = -2*c + 2*b + 4 + g, -3*b - 7 = -5*c. Is 1 greater than or equal to c?
True
Let m(v) = 1. Let z(s) = -9*s + 60. Let w(j) = -4*m(j) + z(j). Let r be w(5). Which is smaller: r or 12?
r
Let g be ((-3)/(-1 - 0))/(-1). Let f = 187 + -109. Let i = 77 - f. Which is greater: i or g?
i
Suppose 243 - 607 = 4*h. Let d = h - -91. Which is smaller: d or -6/5?
-6/5
Let n be (2 - 1)/((-2)/(-16)). Let b(m) = m**3 - m**2 - 58*m - 16. Let l be b(-7). Which is bigger: l or n?
n
Suppose w = -2 + 4. Let k be (w - 1) + 29/(-11). Suppose -488*h - 768 = -104*h. Is k greater than or equal to h?
True
Let b = -551.3 + 552.3. Let x be 1 + (4*-1)/2. Which is greater: b or x?
b
Let u(r) be the second derivative of -1/12*r**4 + 0*r**3 + 0 + 13*r + 0*r**2. Let l be u(-1). Is 1/6 bigger than l?
True
Let d = -6.94 + 0.94. Does -2/7 = d?
False
Let l = -834 - -834. Is -2/635 at least as big as l?
False
Let l(f) = f**2 - 2*f - 6. Let m be l(-3). Is m less than or equal to 9?
True
Suppose -42*h + 41*h = -11. Which is greater: 85/7 o