Let j = 38608521983119/283092 - 545526147/4. Let a = -2/2283 - j. Is 1 > a?
True
Let t = 0 + 1. Suppose -2*l + 7*l - 4*h = -9, 5*h + 25 = -l. Let o be l/2*4/(-20). Which is smaller: o or t?
o
Let q be 8*3/(-9 + 3). Let m be (-4)/464*-2*q. Is m < -1?
False
Let s = -0.8 - -0.8. Let d = -17.9 + 17. Is s less than d?
False
Let x be ((-1)/9)/(6/(-54)). Which is greater: -2/179 or x?
x
Let y be 1/1 - (-4 + 3). Suppose 3*p + 7 = g, -3*g - 3*p = -y*g + 5. Let s = -161 - -1125/7. Is s bigger than g?
False
Let g(i) be the first derivative of -i**3/3 - 11*i**2/2 - 7*i + 3. Let k be g(-10). Do 4 and k have different values?
True
Suppose -3*r = 2*m - 99, -2*m = -4*r - m + 143. Let b be 4 - 5 - (-33)/r. Which is bigger: b or 0?
0
Suppose 0 = -5*f - 16 - 34. Let r = f - -8. Is -4/7 >= r?
True
Let b = -23.9 + 24. Is b greater than or equal to 17?
False
Suppose 28 + 23 = -3*l - 4*w, 5*w = -l - 28. Suppose -2*m - 4 = 20. Which is smaller: m or l?
l
Let s = 15 - 9. Suppose 23*x = 29*x. Is x less than s?
True
Suppose 5*n + 3 = -3*x, 3*x - n = -5*n. Suppose -x*y - 5 - 7 = 0. Is y less than -2?
True
Let q = 3 + -8. Let f(s) = s**3 - 8*s**2 - 10*s + 10. Let g be f(9). Let l = g + -6. Is l at most as big as q?
True
Let i be (-2)/2 - -1*19. Let u be 27/i*4/6. Which is smaller: -1/4 or u?
-1/4
Let d = 10 - 21/2. Let l(g) = 2*g**2 - 9*g - 2. Let y(f) = f**2 - 8*f - 3. Let u(w) = -2*l(w) + 3*y(w). Let r be u(-5). Are d and r equal?
False
Let m(d) = -d + 1. Let w be m(2). Let a be (-6)/15*1*(-15)/78. Which is smaller: a or w?
w
Let g be 2/6 - (-64)/24. Suppose -4*y - 15 = 2*s - 5, 0 = 3*y + g. Is -1 at most s?
False
Let i(o) = -o**2 - 2*o. Let a be i(0). Which is smaller: a or -2/213?
-2/213
Let s = 11 + -11.07. Let y = s - -1.07. Do -0.3 and y have the same value?
False
Let q = -3.4 + 3. Which is greater: q or 3/5?
3/5
Let v = 236/7 - 34. Is 1 equal to v?
False
Suppose -4*u + 21 = -u. Let i = u - 9. Which is smaller: i or -3?
-3
Suppose -2*l - 2*o - 861 = -5*l, 0 = -5*o - 15. Let u be 1/3 + (-140)/l. Is -1 <= u?
True
Let t = -7 - -7. Are t and -1 nonequal?
True
Let d = -8 + 4. Let q = -1 - d. Let r = -2 + q. Which is smaller: 0.1 or r?
0.1
Let n be -4*(7/5 - 20/50). Suppose 4*u + 16 = -8. Is n smaller than u?
False
Let t = -1.9 + -10.1. Is -1 at least t?
True
Suppose 3 = 4*r - 3*r. Suppose 5*j + r*u + 4 = 1, -4*u - 4 = -5*j. Which is smaller: 4/3 or j?
j
Let t(b) = b - 2. Let o be t(-1). Let q(u) = u - 3. Let z be q(0). Are z and o unequal?
False
Suppose -c - 10 = -9. Which is smaller: c or -2/11?
c
Let k be (-13996)/(-2 + (-4152)/(-39)). Let m = k + -362/97. Let i = m + 138. Which is greater: i or 1?
1
Let i = 95 + -108. Which is greater: i or -10?
-10
Let g = -8 - -17. Which is bigger: g or 10?
10
Let x = 67.1 - 67. Which is smaller: x or -2/7?
-2/7
Let s = -13 - -17. Which is smaller: s or 0?
0
Let d(m) = m**3 + 5*m**2 + 2*m - 2. Let z be d(-4). Suppose -h + 2*h + 34 = -4*n, 3*h = z. Is n bigger than -9?
False
Let h(p) = -p**3 - p**2 + p - 9. Let i be h(0). Let l be 2/8 + i/(-12). Which is smaller: l or -2/7?
-2/7
Suppose 0 = -g + 4*j - 5 - 2, -1 = -j. Are -13/3 and g nonequal?
True
Suppose 4*v + 5*s = -1, 2*s = -2*v + s + 7. Let r(g) = -g. Let c(a) = -a**2 + 9*a - 7. Let l(w) = -c(w) - 2*r(w). Let h be l(v). Which is bigger: h or 2/3?
h
Suppose -3 = -r + 2*r, 4*p - 11 = 5*r. Let l be (8/(-48))/((-4)/(-6)). Is l < p?
False
Suppose -p = -4*t + 2*p + 11, -2*p = -6. Suppose 3*b = t*s + 16, -8 = -5*b + 2*s + 6. Suppose -z = 3*i + 2*z - 18, 0 = -2*i + z. Is i equal to b?
True
Let k(u) = -u + 7. Let l be k(7). Let m be (-2)/(-4) - 14/4. Let d be m/(1*-3)*l. Which is greater: d or 2?
2
Suppose 4*u - u = 4*r - 19, 0 = -2*r - 2*u + 6. Let d be (r/6)/((-8)/(-12)). Is d greater than or equal to 0.1?
True
Suppose 0*v - 35 = -2*z + v, -5*z = 2*v - 110. Suppose 6*w - z = 4*w. Are w and 11 equal?
False
Suppose 18 = 3*x + 63. Are x and -14 equal?
False
Let w(c) = -c**2 + 2*c. Let k be w(2). Let j = -9142/45 - -34/45. Let b = -203 - j. Do b and k have the same value?
False
Let x = -3.28 + 0.28. Is x at most 6?
True
Let o = -45 - -51. Do 6 and o have different values?
False
Let g = 0.4 - 0.2. Let z = 0.1 - 0.9. Let u = -0.2 + z. Which is smaller: g or u?
u
Let z be (-18)/(-8)*32/12. Let f be z/(-4)*20/(-3). Suppose f = -2*g + n - 1, -g = -2*n + 4. Is g bigger than -6?
False
Suppose 2*x = -13 + 1. Which is smaller: -7 or x?
-7
Let h(q) = -2*q + 5. Suppose -2*x + 6*x = 5*w + 27, 5*w + 24 = 3*x. Let a be h(x). Do 4/11 and a have different values?
True
Suppose 3*a = -12, -n + 17 = -0*a - 2*a. Let f be n/12 + 13/(-28). Is f at least as big as -4?
True
Let p = 8 - 7. Let z = p + 1. Which is bigger: z or 0.1?
z
Let b = 14 - -9. Is b greater than 23?
False
Let r be (-1 - (-1)/2)*0. Suppose r = 6*s - 2*s + 4. Let y be 3/(-44) - 2/(-8). Is y less than s?
False
Let v = -17 - -8. Which is greater: v or -13?
v
Let d = 0.32 - -5.68. Which is smaller: d or -1/4?
-1/4
Suppose v - 154 = t + 4*t, -3*t + 5*v = 88. Is -31 bigger than t?
False
Let c = -0.219 - -0.199. Is c at most 4?
True
Let t(d) = 38*d - 4. Let j be t(-6). Let a be j/(-408) + (-2)/6. Is a < 1?
True
Suppose -l - 21 + 21 = 0. Is 0.15 greater than or equal to l?
True
Let v(d) = -d**2 - 9*d + 20. Let y be v(-9). Which is smaller: y or 17?
17
Let m = 91/5 - 98/5. Is -1 greater than m?
True
Suppose -5*w = -0*w - 60. Suppose -2*q = 4*a - 5*a - 23, -55 = -4*q - a. Which is greater: w or q?
q
Let x(l) = -l**3 - 5*l**2 + 8*l + 6. Let y be x(-6). Is -0.2 != y?
True
Let w be (-926)/(-232) - 2*2. Which is bigger: 1 or w?
1
Let d = 1438 + -56077/39. Which is bigger: d or 0?
d
Let r = -27 - -25.67. Which is bigger: -1 or r?
-1
Let b(x) = -x**3 + 7*x**2 - 4*x - 4. Let q be b(6). Suppose -4*d - 3*y = 16, 2*d = y - 5*y - q. Let g be ((-1)/d)/((-21)/12). Which is smaller: -1 or g?
-1
Let t = 2/37 + -191/111. Is t at most as big as -1?
True
Let n = 191/3 - 64. Do n and -5 have different values?
True
Let z be (36 - 7)*(1 + 0). Which is smaller: z or -0.3?
-0.3
Let h = -56.9 - -58. Which is smaller: -1/4 or h?
-1/4
Let y = -11.2 - -0.2. Let d = y - -10.56. Let n = d + 0.04. Which is smaller: 0.1 or n?
n
Let r = -1 - -4. Suppose 12*k - 3*k - 18 = 0. Is k equal to r?
False
Let h be 4/2 - (-4 - -2). Suppose 5*v + l = -4, -3*l = 10 + 2. Suppose x + x - h = v. Which is smaller: x or 5/3?
5/3
Suppose 8 = 2*h + 12. Which is smaller: 2 or h?
h
Suppose -4*p = -3*h - 0*h - 80, 2*h = 0. Which is greater: 18 or p?
p
Let y = -11 - -10. Which is bigger: 2/5 or y?
2/5
Let n = 3966 - 130891/33. Let t = n + -3/11. Let q = -1 - -1.2. Is q < t?
False
Let l = -0.021 - -6.021. Is -3 less than l?
True
Suppose -3*h + 23 = 5. Suppose 0 = -0*k + 2*k + h. Is k >= -2?
False
Let h be (1 + -1 + 0)/(-1). Let j = -0.11 + 0. Let i = -0.21 - j. Which is smaller: h or i?
i
Let i be 3*-2*(-1)/(-6). Let v be (-7)/36 - 2/8. Which is bigger: i or v?
v
Let w = -1 - -3. Suppose 4 = -m + 6. Let x be (m/(-3))/(3/(-9)). Is x at most as big as w?
True
Let z(c) = 4*c + 6. Let u be z(-2). Is 2 bigger than u?
True
Let f = -1/12 + 2/27. Is 1 != f?
True
Let g(a) = 2*a + 2. Let k be g(3). Let u = k - -1. Let p be u/(-6)*(-8)/6. Which is bigger: 1 or p?
p
Let a(z) = -z**3 + z**2 + z + 3. Let f be a(0). Suppose -3*v - 176 + 41 = 0. Let c be ((-6)/(-9))/((-12)/v). Which is greater: f or c?
f
Suppose -5*m + 16 = -3*m. Suppose u + m = 3*r, 4*r - 3*u - 19 = -0*u. Let q be (0 - 1)*(-10 + 9). Does r = q?
True
Let n = 20.991 + 0.009. Is n <= 0?
False
Let w(g) = g**2 - 6*g + 5. Let b be w(5). Suppose -3*v + 63 = -0*v. Let f = -22 + v. Is b greater than f?
True
Let x be (-209)/57 + (-1 - -1). Is x at most -4?
False
Suppose -6 = 3*p - 3. Which is greater: 1 or p?
1
Suppose -4 = -3*m + 11. Suppose -p + 0 = -4, -26 = -2*q - 5*p. Suppose q*i - i = -a + 7, -m*a = -4*i - 21. Which is smaller: 1/13 or i?
1/13
Let b = -4.79 + -0.21. Which is smaller: b or 1?
b
Let t be 12*-1*9/(-12). Suppose t = 5*x - 6. Which is greater: x or -0.1?
x
Suppose 16*g - 6 = 18*g. Is g less than -24/13?
True
Let p(f) = 7*f**2 + 1. Let l be p(1). Let v = -7 + l. Suppose 3*c = -4 + 10. Is c > v?
True
Let k(h) = -h. Let i(s) = s + 6. Let m be i(-6). Let d be k(m). Which is greater: -1/6 or d?
d
Let h = 384 + -128. Suppose -x = 3*x + h. Let b = -2