c less than or equal to b?
False
Let p = 29.6 - 32. Let h = -0.18 - -0.38. Is h greater than p?
True
Suppose 3*a = -a + 12. Suppose -p = -1 - a. Suppose -5 = i + y, 6*i - i + p*y + 22 = 0. Which is smaller: i or -3/7?
i
Suppose 6*a = 3*i + 2*a + 2102, 674 = -i - 4*a. Let k = -4151/6 - i. Are 3 and k unequal?
True
Let g(c) = -3*c**3 + c**2 - 1. Let u be g(-1). Suppose -21 = u*r + 3*j, -3*r - 1 = -j - 0*j. Let t be (r/(-21))/((-2)/(-6)). Is -2/7 greater than or equal to t?
False
Let j = 145 - 269. Do -123 and j have the same value?
False
Let l(i) = -2*i + 1. Let q be l(-1). Let y = -1361 - -1363. Is y not equal to q?
True
Let j = -9/92 + -590/23. Let v = 26 + j. Which is bigger: v or 0?
v
Suppose 2*v + 10 = -2*l, 2*l - 28 = 4*v - 2*l. Let u be 7/42 + (-5)/v. Which is greater: u or -2/11?
u
Let u = -18 + 25. Let x be (-3)/(-21) + 65/35. Suppose -x*k + u = v + 2*v, 3*k = -v. Is 0 greater than or equal to k?
True
Let m = 937/35 - 186/7. Which is greater: m or 11.2?
11.2
Let j(y) = y**3 + 6*y**2 + 11*y + 11. Let q be j(-4). Let o be (-6)/(-10) + (-199)/78. Let p = o + 19/10. Is q > p?
False
Suppose 0 = 2*s + 2*w - 18 - 0, -s = -5*w - 3. Let j be (-2 + 142/72)*s/6. Is 5 greater than or equal to j?
True
Let f(j) = 8*j**2 + 2*j + 6. Let o be f(-2). Let l = o + -17. Do 17 and l have the same value?
True
Let w = 3044729/481 + -6330. Are 0 and w equal?
False
Suppose 36*w = 34*w + 20. Suppose 0*g - 2*g - 2 = -2*q, 2*g - w = -q. Let u be (-261)/(-36) + 1/(-4). Which is bigger: g or u?
u
Let k(y) = -y**3 - 20*y**2 + 44*y + 2. Let w be k(2). Let r = 0 - -3. Let z be (-46)/66 + 1/r. Is w >= z?
True
Suppose -2*p + 18 = p. Suppose -p*s + s - 60 = 0. Let t = s - -3. Which is smaller: t or -10?
-10
Suppose g - 2*c + 5*c - 3 = 0, -3*g + 23 = 2*c. Suppose 0*i + 5*t = -4*i - 33, -4*t = -i + 18. Which is greater: g or i?
g
Let r = -2260 - -2280. Is r less than 20?
False
Let u = -0.3 + 0.4. Let v be 14/(-3) + (3/3)/(-3). Let j be 9/12*(2 + 14/v). Is j greater than or equal to u?
False
Let o = 174229/69540 - 999/380. Let q = -3/305 + o. Let s be -1 - 0 - (19 + -19). Which is greater: s or q?
q
Suppose -12*l = -10*l - 48. Which is smaller: l or 26?
l
Let n = 1607/2 + -803. Is n at most as big as 148?
True
Let q = 87 - 142. Is -55 bigger than q?
False
Let h = 166 + -165.9. Let u = 34 - 20. Which is greater: h or u?
u
Let u be 8/36 - 3932/36. Let g = -153 - u. Which is smaller: -43 or g?
g
Let a(q) = 5*q**2 - 6*q - 16. Let r(u) = -u**2 - u + 1. Let s(z) = -a(z) - 4*r(z). Let y be s(11). Let b be (-26)/18 + (-3)/(-3). Does b = y?
False
Let l = 14.28 + -14. Let i = -961 + 977.72. Let f = i + l. Is f less than or equal to -1?
False
Let y = 37 - 39. Let d be 16/(-10) + (-6)/y. Which is greater: 2 or d?
2
Suppose 2*l - 7*l + a = 99, -a - 15 = l. Which is smaller: -4 or l?
l
Let u = 81/2 - 285/7. Is 1 smaller than u?
False
Let k(f) = f**2 + f + 1. Let v be k(0). Let w = 87/17 - 5549/1071. Are w and v unequal?
True
Suppose -2*o = 4*r - 4, 3*r + 2 = o - 5. Suppose 5*x - 114 = 2*x. Suppose -c = 2*c - 5*y - x, -5*c - 2*y = -22. Is c < o?
False
Let a(g) = g**3 + 5*g**2 + g + 7. Let s be a(-5). Let o = 249837314/92765429 - 1/2462799. Let q = o - 3/113. Which is greater: q or s?
q
Let r = -963.4 - -963. Is r at least as big as -71?
True
Let z = 96.03 + -96. Let v = z + -1.03. Are -0.025 and v non-equal?
True
Let o be (-10 + -15)/(26/(-24)). Let b = o + -7474/325. Let g(j) = -j + 4. Let h be g(3). Which is smaller: b or h?
b
Let w = 148 + -148. Is 2/321 < w?
False
Let z(c) = -2*c**3 + 10*c**2 - 7*c - 3. Let l be z(4). Suppose 193 = 4*d - p, -3*p - 91 = -2*d - 8*p. Let t be ((-4)/(-16))/(9/d). Is t >= l?
True
Let h(f) = 5*f + 49. Let i be h(16). Which is greater: -0.1 or i?
i
Let m = 864 + -909. Which is smaller: -51 or m?
-51
Let x = -57.04 - -57. Let o = x - -1.04. Is -28/3 equal to o?
False
Suppose -31*o - 216 = -39*o. Which is smaller: o or 24?
24
Let t = -97 - -26. Let o = -70.72 - t. Which is greater: o or -1?
o
Suppose -3*i + y = 10, 0 = 8*i - 3*i - 3*y + 18. Let o be -2*(-69)/(-30) - i/1. Is -0.1 at most as big as o?
False
Let r be (-3)/(-1)*2/6. Let m be 1/1 + 0 + r. Suppose 0 = i - 2*f - 31, 5*i - f = -3 + 68. Is i >= m?
True
Suppose 0*l + 3*l - 12 = 0. Suppose 7*g - l*g = 0. Let z(x) = x**2 - x - 7. Let t be z(g). Is t at least as big as -6?
False
Let j be (310/(-4))/(65/(-39)). Is j >= 46?
True
Let v(u) = 23*u**2 - 3*u - 6. Let y(b) = 12*b**2 - 2*b - 3. Let m(k) = 4*v(k) - 7*y(k). Let a be m(2). Is a greater than or equal to 34?
False
Let a be (-34)/(-6) + -1 - ((-84)/12 - -11). Let q(y) = y**2 + 3*y. Let o be q(-4). Let i = o - 3. Which is bigger: i or a?
i
Let d be -2 - (24/20 - -1)*-1. Let g = -14.62 - -0.62. Which is smaller: d or g?
g
Let w = 29.4 - -8.6. Suppose 4*z - 4 = -2*m, -4*m + 1 = 4*z - 7. Which is smaller: w or z?
z
Let d = 0.54 - 1.84. Let l = 8.2 + -10. Let x = d - l. Is 1 less than x?
False
Let d(o) = -4*o + 26. Let y be d(9). Let i(j) = 2*j**2 + 18*j - 10. Let x be i(y). Are x and 9 equal?
False
Let j = 135 - 51. Let m = j + -93. Which is smaller: m or 0.1?
m
Let q = -26 + 30. Suppose 0 = 3*v + q + 2. Let j(g) = -g - 8. Let r be j(-6). Is v > r?
False
Let w be (24*4)/(7/(2/(-2))). Let q = 14 + w. Which is greater: 0.5 or q?
0.5
Let u be 43/280 - ((-62)/16 - -4). Which is smaller: -1 or u?
-1
Let v = -1.7 - 6.3. Let p = 7.97 + v. Let b = p + 0.03. Is b smaller than 10?
True
Suppose -5 = r - 4*r + 5*k, 4*r + k = 22. Let l be r/2 - 4/(-8). Suppose 0*g = l*g - 3. Which is smaller: -1/6 or g?
-1/6
Let d = -50 + 72. Suppose 33*i = 44*i + 242. Let y = i + d. Is y < 3?
True
Let v(d) = 5*d**2 - 9*d + 10. Let c(f) = 11*f**2 - 18*f + 20. Let g(x) = -6*c(x) + 13*v(x). Let m be g(-9). Which is smaller: 12 or m?
m
Suppose 0 = 2*m, 5*i + 36 - 111 = m. Let v be (-5)/i*(-3)/(-57). Which is bigger: -1 or v?
v
Let g = 689 + -68212/99. Suppose -12*w + 7*w = 0. Is g smaller than w?
True
Let z(v) = -v**2 - 7*v - 12. Let s be z(-3). Are -1/3 and s non-equal?
True
Let y(d) = -d**3 + 9*d**2 - 8*d + 9. Let v be y(8). Suppose -3*i + 0*p - p = -33, 4*i = -4*p + 44. Suppose -15*t = -i*t - 32. Is t >= v?
False
Let k = 41 + -40.93. Let x = -9.5 + 5.5. Which is bigger: x or k?
k
Let d = -21 - -27. Suppose -8*t + 8 = -d*t. Suppose -t*c + 2 + 2 = 0. Which is smaller: 0 or c?
0
Let i be 2/3 - (-16)/(-24). Suppose 3*u + 1 = 7. Let v be ((-6)/(-15))/(2/u). Is i <= v?
True
Let z = -13 + 11. Let j be 1*(-3 - z)*3. Let q be (-2)/j - 18/27. Is 3/4 at least as big as q?
True
Let s(y) = -y**2 + 7*y + 14. Let j be s(9). Let q(c) be the third derivative of c**4/24 + 5*c**3/6 + 2*c**2. Let l be q(j). Which is greater: l or 5/9?
l
Let m(z) = -z**2 + 5*z + 37. Let x be m(-4). Is -24.8 > x?
False
Let l = 0.304 + -1.304. Which is smaller: 1.194 or l?
l
Let k be (-10)/(-3)*12/5. Let s(c) be the third derivative of c**4/12 - 3*c**3 - 116*c**2. Let r be s(k). Which is greater: r or 3?
3
Suppose -6*m + 4*m + 8 = 0, -2*t = -4*m - 140. Which is smaller: 77 or t?
77
Suppose 0 = -3*a + 2*y - 7, 5*y + 0*y - 10 = 0. Let p be 4/((-8)/(-12) + 0). Let f be (p/(-9))/((-8)/(-36)). Which is bigger: a or f?
a
Let i = -2524/29 + 87. Let d(z) be the second derivative of -z**3/6 + 5*z**2/2 + 2*z. Let r be d(4). Is i <= r?
True
Let b = 66 - 72. Let f be 3/22*8/b. Is f equal to 1?
False
Let f = -5.66 + 5.101. Which is greater: 1 or f?
1
Suppose -13*j - 50 = -37. Is j bigger than -3/236?
False
Let f be ((-18)/15)/(3*(-7)/140). Is f <= 80?
True
Let l be -261 + (-7)/(14/10). Are -267 and l unequal?
True
Let p = -3483 + 3481. Suppose -5*m - 4*s + 8 - 24 = 0, 0 = 3*m - 3*s + 15. Which is bigger: p or m?
p
Let a = 5 - 0. Suppose -5*p = a*o - 4 - 31, 30 = 5*o + 4*p. Let f = 412 - 415. Which is bigger: o or f?
o
Let m = -26 - -24. Let v be (-3 + (-674)/(-224))*m. Which is smaller: 0 or v?
v
Let s = -0.49 + 7.49. Let l = s - 3. Is -1 >= l?
False
Let v = 2.61 - -0.29. Let z = -4.6 + v. Which is greater: 1 or z?
1
Let u be 71/(-355) - 246/(-1305). Let o(f) = f**2 - f + 1. Let m be o(0). Which is smaller: m or u?
u
Let x = 82 + -53. Suppose -x = -5*y + 21. Is y less than 1/2?
False
Let b = 19 - 21. Let i = 4.2 + b. Let z = -2 + i. Is 0.2 > z?
False
Suppose -2*q + 2 - 7 = -5*g, 2*q = -g + 1. Is g smaller than 1?
False
Suppose -11 = o -