t as big as r?
False
Let u = 4 - 5. Let x = 13.86 + -14. Let m = x + -0.06. Is m at most u?
False
Let y be 21/4*(25 + -17). Let m be (-2)/4 + (-7)/y. Which is smaller: -2 or m?
-2
Let j = 118 + -120. Is j <= -6/7?
True
Let t be (-1113)/(-273) + 0 + -4. Which is smaller: 1 or t?
t
Let s(q) = 2*q**2 - 55*q + 26. Let b be s(27). Which is bigger: -2/77 or b?
-2/77
Let n be 86/26 + (1 - 2). Which is greater: n or 1?
n
Let r be (-4)/34 + (-280)/(-68). Is r at least 2?
True
Let j = -6 - 0. Let c = -8 - j. Suppose -v + 1 = 0, 0*q + 4*q = -2*v - 2. Which is smaller: q or c?
c
Let y be (-106)/372 - (70/21)/(-10). Is 1 bigger than y?
True
Let o be ((-2)/(-4))/(1/(-7)). Let f = o - -15/4. Suppose 0 = 3*p - 3*u - 12, 0*p - 2 = p + u. Is p < f?
False
Let t = 26 + -11. Suppose 0 = 4*y + y + t. Are -2 and y non-equal?
True
Let c(j) = -j**3 + 11*j**2 + 3*j - 14. Let k be c(11). Let z = -11 + k. Suppose -5*v + 24 = 4*q + z, -11 = 3*q - 2*v. Which is smaller: -3 or q?
-3
Let g(y) = -y**2 - y + 1. Let r be g(1). Which is bigger: -3 or r?
r
Let l be (-2)/(-10) + 300483/(-1502490). Let w = l - -13841119/100166. Let g = w + -138. Is 0 not equal to g?
True
Suppose 347 - 27 = 5*b. Suppose -3*d + b = -5*w, 5*d - w - 80 = 2*w. Which is smaller: d or 12?
12
Suppose -k + 5*m + 13 + 9 = 0, -5*k + 4*m + 26 = 0. Let n be 0 - (-2 - (-1 - k)). Let j be (-8)/(-6) + n/3. Which is bigger: -2/3 or j?
j
Let u be (-6)/(-21) - 122/(-14). Suppose -d = -2*d - u. Let f = d + 100/11. Which is bigger: -1 or f?
f
Let r = -24 + 23. Which is greater: r or 0?
0
Let r be -6 + -2*(-3)/6. Let d(k) = -k**2 - 5*k - 2. Let s be d(r). Suppose 2*n + 4 = -2*n. Is s smaller than n?
True
Suppose -m - 5*s - 4 = -17, -3*m - s = -11. Suppose u = m*u. Let x = -3 + 1. Is x != u?
True
Let z(f) = f + 8. Let n be z(-4). Which is bigger: 5 or n?
5
Let b(a) = a**3 - 2*a**2 - 3*a + 4. Let y be b(3). Let p = -10 + y. Which is greater: -7 or p?
p
Suppose 5*i + 2*q - 76 = -0*q, -2*i + q = -34. Suppose -3*r + r + 10 = 3*g, -5*g + i = 3*r. Let c be (-3)/(-3) - (-2)/(-5). Which is greater: r or c?
r
Let x(b) = -b**2 + 4*b. Let n be x(5). Is n at least -7?
True
Let i be (-2)/9 + (-61)/9. Let v(a) = -6*a**2 - 3*a + 2. Let k be v(1). Is i bigger than k?
False
Suppose 3*r = -2*y - 0*r - 9, -2*r - 11 = 3*y. Let s = 6 + y. Which is smaller: 7/3 or s?
7/3
Suppose -3*v + 2 - 3 = 5*s, -2*v - s - 3 = 0. Let c be (-2)/6 - 2/v. Let n(d) = d + 2. Let j be n(-2). Which is smaller: j or c?
j
Let c = 66/7 - 712/77. Which is smaller: 0.24 or c?
c
Let k(x) = x - 3. Let y = 0 + 2. Let o be k(y). Let w be 78/15 - 3 - 2. Is o greater than w?
False
Let x be 2*2/(-6) + (-15)/(-9). Which is smaller: x or 2/3?
2/3
Let z = -2 + 1. Let w be 0/(-2)*(-3)/(-6). Suppose -2*h - 3*h = w. Which is smaller: z or h?
z
Let g be ((-1)/(-3))/(5/300). Is 21 >= g?
True
Let r be (2/(-3))/(24/(-324)). Which is bigger: 8 or r?
r
Let h = 10 + -43/4. Let u = 2 + -17. Let c be 21/u + 4/10. Is c equal to h?
False
Let a(i) = -21*i - 7. Let t be a(1). Which is bigger: -29 or t?
t
Let u be (-2)/(-2) + (12 - 10). Suppose f - 5*o + 1 = -0*o, 4*f + 21 = u*o. Which is smaller: f or -2/5?
f
Let z be (-24)/(-9) + (-4)/6. Suppose 0*u - 18 = -3*u. Suppose 4*d = -q + 15, -d + u*d + 3*q - 24 = 0. Which is smaller: z or d?
z
Suppose 0 = 5*u + 2*i + 123, 111 - 7 = -4*u + 4*i. Is -24 != u?
True
Let g = 13 + -2. Let i = g - 13. Which is smaller: -3 or i?
-3
Let i = -2 + 3. Let g(w) = 5*w**2 - 2*w - 1. Let j be g(-1). Let k = j + -6. Is i at least as big as k?
True
Let x be 4/6 + 1022/(-21). Let h be ((-3)/10)/(x/(-10)). Is h at most as big as 0?
True
Let w = -9.1 - -9. Is w greater than or equal to -0.1?
True
Let x be -4 - 3/(45/(-58)). Is 3/5 <= x?
False
Suppose 3*u - 1 = 2. Which is greater: -2/7 or u?
u
Let b = -59/84 - -1/28. Which is greater: -1.3 or b?
b
Let c(n) = -n**3 + 9*n**2 + 1. Let k be c(9). Let t be 8/6 + 1/(-3). Do k and t have different values?
False
Let n(s) = -7*s**2 - 2*s - 3. Let u(a) = 3*a**2 + a + 1. Let m(y) = 2*n(y) + 5*u(y). Let k be m(-1). Is k <= 1/10?
True
Let i = 1623/2 + -794. Let j = i + -17. Which is smaller: j or 0?
0
Let v be (1/(-10))/(4/(-16)). Let f(y) = -y**2 - 9*y + 9. Let a be f(-10). Is v greater than a?
True
Let n = 0.06 + -1.16. Let h = 1 + n. Let x = -0.75 + -0.25. Which is smaller: x or h?
x
Let v = 181 - 181. Is v less than or equal to 2?
True
Let p be ((-12)/(-10))/(2/(-15)). Let y be -3 + 6 + 1 + p. Which is greater: -7 or y?
y
Let l = -149 + 1045/7. Let a = -2.2 + 3. Let v = -0.2 - a. Which is bigger: l or v?
l
Let r = -0.968 - 0.032. Which is greater: r or 7/2?
7/2
Let s be 4/(-16) - 3387/(-28). Let f = 121 - s. Is f less than 0?
False
Let y be 2/(-4) + 9/18. Suppose y = -3*r - 0*r. Which is smaller: 2/17 or r?
r
Let g = 12 + -4. Let k(t) = -t + 1 + 8 - 8*t + t**2. Let l be k(g). Is 2/21 smaller than l?
True
Let p be (3/(6/2))/1. Let g = p + -1. Suppose 1 = -f - g*f. Is f > 3?
False
Let h = -128/1173 - -10/51. Is 0 bigger than h?
False
Let m = 8 - 8. Let t be -1 + 0 + (-33)/(-18). Let s = -29/30 + t. Is s at most m?
True
Let j be 1/2*2/(-9). Let x(n) = n - 8. Let f(c) = -3*c + 2. Let g be f(-2). Let p be x(g). Do j and p have the same value?
False
Let b be 30/70 - (-2)/(-6). Suppose -1 = 5*n + 4. Which is smaller: b or n?
n
Let p = -0.3 - -0.4. Is p > -2.8?
True
Let a = -8 - -11. Suppose -j + a*y + 1 = 0, j + 3 - 8 = -y. Let n be j/(104/30) - 1. Which is smaller: n or 0?
0
Suppose -8*i = -3*i - 25. Suppose 2*g = i*g. Which is smaller: -4 or g?
-4
Let i(o) = -o**2 + 4*o + 5. Let f be i(5). Let r(g) = g**3 + 5*g**2 + 3*g - 5. Let d be r(-4). Let x be 0 + (-1)/(-1) + d. Is x >= f?
True
Let m = -11 - -10.8. Let a = m + -0.8. Is 2 > a?
True
Let c = 0.003 - -4.397. Let f = 0.4 - c. Let v = 0.3 + -0.4. Is v at most as big as f?
False
Let u = 0.216 + -0.016. Which is smaller: u or -16?
-16
Let r = 15 - 21. Let x be (20/r)/(2/3). Is x greater than -5?
False
Let g = 3 + -1. Let f = 3 - 2.92. Let q = f - 0.28. Are q and g unequal?
True
Let h(m) = -m**3 + 6*m**2 + 3*m - 12. Let d be h(6). Let b be -1 - (-17 - -1*2). Let v be (12/(-14))/((-2)/b). Is v > d?
False
Let h be ((-2)/4)/(1/2). Let t be h*(-2)/(2 - 28). Which is bigger: t or -1?
t
Let d = -9/14 + 17/28. Let k = d + -15/364. Is 1 smaller than k?
False
Let v(r) = -2*r. Let d(f) = 1 + 4*f**3 - 7*f**3 - f**2 + 2*f**3. Let k be d(0). Let b be v(k). Which is smaller: -1 or b?
b
Let n = -112.1 + 110. Which is smaller: n or -2/9?
n
Let l(t) = 3*t. Let w be l(1). Let j = w - 1. Let d be ((-2)/(-7))/(j + -3). Which is smaller: -2 or d?
-2
Suppose 0 = z + 2*z - 9. Suppose -n = z*n. Which is greater: -2/15 or n?
n
Let f be (2/8)/((-1)/(-4)). Let q = 3 - 6. Let k be 1/q - (-7)/15. Is k <= f?
True
Let x = 7 + -4. Suppose 12 = -x*a - 0*a, -5*a = -k + 24. Suppose -4*s + 0 = k. Is -2/5 >= s?
True
Let i be (10/(-15))/((-111)/(-9)). Is i at least as big as 0?
False
Let j(h) = h**3 + 22*h**2 - h - 27. Let f be j(-22). Do f and -2 have different values?
True
Let y = -4.7 - -0.7. Let g = 1 + y. Is g > 2/3?
False
Let n be 142/(-350) - (-42)/147. Are n and -1 nonequal?
True
Let p = -23 - -17. Is -5 < p?
False
Suppose 2*j + j - 21 = 3*x, -2*j + 4*x = -22. Suppose 0 = 5*p + 8 - j. Let a = 16/17 + -163/119. Which is smaller: a or p?
p
Let g = -44 - -48.3. Let j = g - 4. Do j and 0.1 have different values?
True
Let u = 0 + 0. Let j be (-16)/(-72) + 19/(-45). Which is smaller: u or j?
j
Let o(j) = j - 5. Suppose 4*w + 4*g - 22 = -10, 16 = -4*g. Let y be o(w). Is y at least -3?
True
Let g = 3 + 2. Let z be 2/g - 64/10. Let v be (-1)/2*z/(-15). Which is smaller: -2/5 or v?
-2/5
Let d = -0.7 + 8.7. Let p = d - 11. Which is smaller: p or 2?
p
Suppose -o = -2*o + 1. Which is bigger: -2/69 or o?
o
Let k = -2.4 - 0.4. Let v = 3 + k. Which is bigger: -2 or v?
v
Let o(b) = -b**3 - 5*b**2 + 6*b + 4. Let i be o(-6). Suppose -5 = 5*h - 2*h - 2*k, i*h = -k + 8. Which is smaller: 3 or h?
h
Let v = 2.03 + -0.03. Let w = 12 - 10. Suppose a = -1, 5*a + 11 = w*u + u. Does u = v?
True
Let s = 3 - 4. Is s >= -3/5?
False
Let x(s) = -s**2 - 3*s + 2. Let q be x(-4). Let u be 1*2/q + 1. Let c = 282/5 - 56. Which is smaller: c or u?
u
Let g = 3335/2 - 1591. Let s = g + -1695/22. Is 0 less than or equal to s?
False
Suppose 2*p + p + 36 