uppose 2*j - 3 = -m - 6, m = 2*j - 3. Which is smaller: n or j?
n
Suppose 13*h - 21 = -8*h. Let y be (-1)/2*(-4 + 1). Which is bigger: h or y?
y
Let j be 3*(6/(-27))/(8/12). Which is greater: -7 or j?
j
Let z(i) = -i - 1. Let x be 11/(-2) - (-2)/(-4). Let q be z(x). Suppose 0 = 2*a + v - 3, -q = -3*a - 2*v + 2. Is -2/9 greater than or equal to a?
True
Suppose v - 4 = 2*a - 7, 0 = -4*v - 4*a. Let m = -106 - -42. Let n be 1 + (2 - m/(-21)). Are v and n equal?
False
Let m = -3 + 0. Let r be (1 - 1)/(m*1). Suppose t + t = r, -2*n = -2*t + 4. Is 0.2 at most n?
False
Let f = -1.8 + 2. Let i = -24 + 17. Let d = -9 - i. Does f = d?
False
Let y = 0.074 - 8.074. Let z = 7.3 + 1.7. Let x = z + y. Which is smaller: 0 or x?
0
Let c = 0.2 - 0.4. Let b = 5.2 + c. Let l = b + -5.3. Which is smaller: l or 1?
l
Let q be (-6)/4*224/(-30). Let b = q + -59/5. Which is greater: 0 or b?
0
Let r(q) = 3*q - 3. Let u be r(-9). Which is smaller: u or -31?
-31
Let s be 3 - (1 + 2 + 2). Which is bigger: 8 or s?
8
Let j(l) = -l + 16. Let s be j(17). Which is smaller: s or -3/16?
s
Let z = 0.1 + 0.9. Let h = -2 + z. Let w = 0.36 + -0.26. Is w <= h?
False
Let w be (1/(-39))/(6/18). Which is greater: -1 or w?
w
Let s be 4/159*(3 + -5)/4. Which is smaller: -1 or s?
-1
Let k = -391/56 - -57/8. Let p(l) = -l + 4. Let o be p(4). Which is smaller: o or k?
o
Let w = -15926/9 + 1766. Which is smaller: -3 or w?
w
Suppose -3*j - 2*j + 2*k - 159 = 0, 5*j - k + 157 = 0. Which is smaller: j or -29?
j
Suppose 3*g - 1 = 2. Let w be (-18)/(-9) + 214/(-14). Let x = 1223/91 + w. Which is greater: x or g?
g
Suppose 0 = -3*u - 2*m + 3, -2*u - 2*m - m + 7 = 0. Which is smaller: u or -2?
-2
Let p = -31.7 - -30. Let j = p - -1.8. Which is smaller: j or 6?
j
Let w be ((-48)/(-252))/(4/(-6)). Which is bigger: w or 0?
0
Let t(p) = -p**3 + 8*p**2 - 7*p + 4. Let s be t(7). Let i be 3/2*(1 - -1). Suppose -i*q = -q. Are s and q nonequal?
True
Let v be (8/(-12))/(1/(-6)). Let u(m) = -m + 2. Let j be u(v). Are -3 and j non-equal?
True
Suppose 0 = f - 5*l - 10, -3*f + 4*f = l + 2. Which is smaller: f or 3/5?
f
Let y = -2/614387 - -1423534701/6758257. Let z = y - 211. Which is greater: 0 or z?
0
Let s be 7 - 8 - (-2 - 1 - -1). Is 15/7 < s?
False
Suppose 0 = -3*g + 8*g - 40. Let y = g - 4. Is y < 4?
False
Let b be (-1729)/(-16) + 0 + 1. Let c = 109 - b. Let f be 2 - -1 - (-34 - -36). Which is bigger: c or f?
f
Let d = -17/55 - -7/5. Let q = 0.9 - -0.1. Is q smaller than d?
True
Suppose -4 = 3*j - 0*j - 2*v, -2*j = 3*v - 6. Is 2/531 less than or equal to j?
False
Let g = -5 - -2. Which is smaller: g or -8/3?
g
Let d = 17 + -22. Which is greater: d or -4?
-4
Let f(l) = -2*l**2 + 17*l - 26. Let h be f(7). Is h equal to -4?
False
Let k = -32 + 22. Let i be 2/(-5) + (-24)/k. Let d = -2 + i. Is -2/3 bigger than d?
False
Let c = 0 + -0.1. Is -1/5 > c?
False
Let x be 19/(-7) - 1 - -4. Let k(i) = i - 4. Let j be k(4). Is x greater than or equal to j?
True
Let q = 10780/30447 - 2/1791. Are q and 1 equal?
False
Let j(x) = -x**3 - 7*x**2 + 2*x + 9. Let m be j(-7). Which is smaller: m or -0.1?
m
Let m = 7 + -1. Let z = m - 6. Which is smaller: z or -4/7?
-4/7
Let u = 10 + -26. Let n be (-16)/3*9/(-6). Let m be 4/u + 3/n. Which is smaller: 0.1 or m?
0.1
Let b be -13 + 10 + (2 - -1). Are b and -6/67 equal?
False
Let t = -12 - -8. Let u be 2/t*(-1)/(-2). Which is smaller: u or 1?
u
Let x = -0.9 + 2. Let u = -0.7 + x. Which is smaller: -2 or u?
-2
Let n = -7.95 - 0.05. Let u = -9 - n. Let x = -8.5 + 8. Which is smaller: u or x?
u
Let o be 35/14*4/(-5). Let d be 5/o*28/(-805). Do d and -1 have the same value?
False
Suppose 2*w = v - 41, 3*w + 8*v - 5*v = -39. Are w and -18 equal?
True
Suppose 4*s + 3 + 1 = 0, -d = 5*s - 13. Let k = d - 20. Which is smaller: 3 or k?
k
Let u(g) = 2*g**3 + 9*g + 2*g**2 - 3*g**3 - 6*g**2 + 8. Let y be u(-5). Is y not equal to -12?
False
Let b = -41 + 44. Is 1 >= b?
False
Let w = 15/68 - 8/17. Suppose -r - 5*o = 3*r + 24, 3*r + 7 = -o. Is r greater than or equal to w?
False
Let u(l) = -6*l + 2. Let g be u(1). Which is bigger: g or -5?
g
Let s be (-2)/(-2) + -5 + 2. Let n be s/(-8) + 3/4. Do n and -1/8 have different values?
True
Suppose -108 + 36 = -4*x. Is 17 <= x?
True
Let s be 1/(-4)*(1 + -9). Let d be (-35)/s + (-4)/8. Is -19 != d?
True
Let j = -13.2 - -1.2. Which is smaller: j or -0.2?
j
Let w be (5/2 + -1)*(-8)/(-12). Is 2/19 greater than w?
False
Let x = 61 + -61.1. Is x less than -8?
False
Suppose n - 2*g - 12 = 0, n - 3*g + 0*g = 17. Suppose c = -2*y + 1 + 10, -5*y - n*c = -30. Let x = y - 8. Which is greater: x or 1?
1
Let q = 183448/101235 - 2/5955. Let b = q + -24/17. Is b bigger than 2/3?
False
Let k = 3 - 2.998. Let i = k + 3.698. Let l = -4 + i. Is l <= 0.1?
True
Let q be (-28)/(-45) - 6/15. Let d = -8/45 - q. Let l = 3/122 - 497/366. Is d not equal to l?
True
Suppose h + 0*h - 7 = 0. Let x = -6 + h. Let y = 44 + -130/3. Is y smaller than x?
True
Let z(f) = 4*f - 21. Let n be z(5). Which is smaller: -1/107 or n?
n
Let z be 6/((-3)/(6/(-4))). Let u = -4 + z. Let i = 199/3 + -67. Which is greater: i or u?
i
Let i(a) = -1 - 4*a + a + 2 + 4*a. Let n be i(-1). Which is smaller: 4/9 or n?
n
Let p = -18.7 + 18. Let h = 0.8 + p. Let d = -795/13 + 61. Do h and d have different values?
True
Let m = -0.41 - 0.04. Let u = m - -1.5. Let x = -0.05 + u. Which is smaller: x or -3?
-3
Let j be (-8)/(-27)*((-273)/140)/13. Which is greater: 1 or j?
1
Suppose -y - 5*p = -27, -y + 5*p = -6*y + 35. Suppose 15 = y*a - 7*a. Let l be 1*((-3)/a + -1). Is l less than 1/5?
True
Suppose 5*j + 4*x = 110, -3*j + 5*j - 46 = -2*x. Suppose 2*l = -2*l - 12. Let t be 2/12 + l/j. Is t greater than 0?
False
Let f(z) = 16*z - 2. Let j be f(1). Let s be 2/(-4) - 7/j. Which is smaller: s or -1/3?
s
Suppose 4*y + 21 = -3*d, 0 = 2*y + 7 - 1. Let k be (-9 - d)*(-2)/(-3). Is k equal to -4?
True
Let c be -1 + 1 - (0 + 0). Let p be c + 2/4*-2. Let n be (-2 - (-2 - p))*-1. Is 2/21 >= n?
False
Let q = -0.17 + -0.03. Let m = -11 + 7. Let j = m - -3.9. Are j and q nonequal?
True
Let h = -8.2 - -10. Let z = -2.5 + h. Let b = z + 0.7. Is 2 at least as big as b?
True
Let p = -11 + 11. Are 4/5 and p equal?
False
Let x be (-6)/9 - 4/21. Let q = 15 + -10. Suppose 6 = -q*t + 1. Is t at most x?
True
Let c = -0.02 - -9.02. Let f = -1 + c. Which is bigger: 1 or f?
f
Suppose 39 - 34 = -n. Suppose 2*x + 6 = -0*x. Which is smaller: n or x?
n
Suppose -24 = -2*n - n. Suppose i = -3*i + h + 8, -2*h = n. Let m be 3*(-4)/126*-3. Do m and i have the same value?
False
Let g = -124 + 2110/17. Let w(d) be the second derivative of d**3/6 + 2*d**2 + d. Let p be w(-5). Which is smaller: p or g?
p
Let d = 0.09 - 0.39. Let u = 1 - 0. Let g be 0 + 0 - (u + 1). Is g at most d?
True
Let j(y) = -32*y**3 + y**2 - 1. Let i be j(-1). Suppose 2*u + 5*r = i, 4*u + r + 3 - 31 = 0. Let t be 4/u*6/4. Which is smaller: 1/4 or t?
1/4
Let h = 0.89 + -0.14. Let y = h - 0.8. Which is bigger: y or 2/5?
2/5
Let i = -82 - -82.037. Which is greater: -1 or i?
i
Let l = 12 + -7. Let c(j) = -j**2 + 7*j - 3. Let q be c(l). Let g(y) = -y**2 + 7*y + 1. Let m be g(q). Which is smaller: -1/9 or m?
-1/9
Let a be (-8)/12 + (-2)/(-3). Let y be (-18)/(-16)*(a - -2). Which is smaller: 3 or y?
y
Let q be (-6)/(-28)*8/6. Let a = 2 + -3. Which is greater: a or q?
q
Let z = 45 + -45. Which is bigger: -2/43 or z?
z
Suppose 4 = 5*i - 6. Suppose i*q - 5*w = -0*q + 10, -5*q = -w - 2. Which is smaller: q or 3/17?
q
Let o = 10.7 - 1.7. Let v be -1*(3 + -3)/1. Which is smaller: o or v?
v
Let i be ((-4)/6)/((-2)/12). Suppose 0 = -3*p + 5 + i. Let n(a) = a**2 + a - 3. Let u be n(-3). Is p != u?
False
Let l = 51 + -47. Which is smaller: l or -10?
-10
Let t be (42/(-4) + 4)*-2. Which is smaller: t or 12?
12
Suppose 0 = p - 5*p. Suppose p*l = 2*l. Which is bigger: 2/7 or l?
2/7
Suppose -70 = -3*c + 8*c. Let t = c - -21. Is t < 6?
False
Let l = 12 + 24. Suppose -2*m + l = m. Suppose 4*z = 4*c + m, z - 3*c = -0*z + 11. Which is smaller: 2 or z?
z
Let w be 1/((-1)/(-4)*14). Let n = 5 - 4. Is n greater than or equal to w?
True
Let b be (5/2)/(7/6). Let h = -37/14 + b. Let s = h - 0. Do -1 and s have the same value?
False
Suppose -7 = -5*h + g - 5*g, -5 = -5*h - 5*g. Let q = h - 1. Let a = 22 + -20. Is a <= q