 -4*s. Is s bigger than i?
False
Let y be (-33)/(-4) + (-7)/28. Let u = 6 - y. Suppose r = -2*r - 3. Which is smaller: u or r?
u
Let t = -1879/5 + 379. Is t at most as big as 4?
True
Let l = 11 - 15. Let f = l - -4. Which is smaller: f or 1/3?
f
Let q = 2 - 5. Let v(z) = 5*z**3 + 7*z**2 - 3*z + 4. Let f(o) = 4*o**3 + 6*o**2 - 2*o + 4. Let u(h) = -4*f(h) + 3*v(h). Let m be u(q). Which is smaller: 1 or m?
m
Let k = 2 + -3.5. Let a = 6.5 - k. Let t = 9 - a. Which is smaller: -1/2 or t?
-1/2
Let v = 0.038 - 0.128. Which is greater: 4 or v?
4
Suppose 0 = a + i - 3*i - 21, -2*i - 54 = -4*a. Is 54/5 smaller than a?
True
Let y = 5 - 4. Which is smaller: y or -2/19?
-2/19
Suppose -3*q = 5*d - 0*d - 1, -2*q + 3*d = -7. Let b(a) = a**2 - 6*a + 2. Let y be b(6). Is q bigger than y?
False
Let p = -4/9 - 2/3. Which is bigger: -1 or p?
-1
Let u(a) = -a**3 - 9*a**2 - 19*a - 2. Let p be u(-6). Is p bigger than -1?
True
Let j = 1725482 + -2543360769/1474. Let i = 3/134 + j. Are i and 1 equal?
False
Suppose b - 3*b + 4 = -2*g, -3*b + 10 = g. Which is greater: g or -1/12?
g
Let g be 1/5 - (-18)/(-15). Let i(m) = m**2 + m + 1. Let c be i(g). Is c smaller than -2/21?
False
Let u be ((-1)/(-2))/(7/28). Are 5/6 and u nonequal?
True
Suppose 2 = -n + 4. Let j be 6/4 - 8/(-16). Suppose m + 2*q = 8, 4*m + j = 2*q + 4. Are n and m equal?
True
Suppose 4*c = -4*o - 16, 4*c + 12 = -5*o - 4. Let h = -3/65 + 151/455. Is o greater than h?
False
Let y(l) = l**2 + 7*l - 2. Let p be y(-7). Let a be (p - 1)*-1 - 1. Let t = 3.1 - 2.1. Which is smaller: t or a?
t
Let i(f) = f - 2. Let a be i(9). Let k be 2/(-9)*a/(-14). Is k at least as big as 0?
True
Let u(t) = -t**3 + 9*t**2 - 7*t - 5. Let j be u(8). Suppose -3*p - h - 9 = 0, -2*p - 2*p + h = 5. Let c be (-3 - -3)/(-1 - p). Is c < j?
True
Suppose k - 4 = -l, 2*k - k - 5*l + 8 = 0. Let o be -1 + (k - 0/3). Let t be (-3)/(-16)*(3 + o). Which is bigger: t or 2?
2
Suppose 0 = 4*i - 11 - 1. Let q = -10 - -14. Which is greater: q or i?
q
Let z = -7 - -11. Suppose 6*g = 2*g + z. Does g = 0?
False
Suppose -2*r - 2 = 5*w - 0*r, 0 = -5*w + 2*r + 2. Suppose 0 = -w*f + 4*f + 24. Do f and -5 have different values?
True
Let q = -2.2 + 0.2. Is 1 bigger than q?
True
Let f be 39/12*4*-2. Let b be (-4 - -2)/((-20)/f). Let r = b - -44/15. Which is greater: -1 or r?
r
Suppose -5*s + 4*o - 1 = 0, -o - 6 = s + 4*o. Which is greater: s or -7/3?
s
Let u be (2/6)/((-17)/(-6)). Let o be ((-2)/(-4))/((-4)/(-24)). Suppose 16 = y - o*g, -15 = -g + 4*g. Which is bigger: y or u?
y
Suppose -9 = 4*i + 5*i. Is i greater than or equal to 1/13?
False
Let a = 115 + -121. Do a and -6 have the same value?
True
Let p = -71 - -76. Which is smaller: p or 0?
0
Suppose 4*v = v - 9. Let b(n) = -n - 3. Let p be b(v). Is 3/4 at least as big as p?
True
Let h = 6 - 1. Let j = -6.84 - 0.16. Let w = j + h. Which is greater: w or 2?
2
Let p = 108 - 89. Is 19 > p?
False
Let s = -13.91 + 14. Let l = -0.19 + s. Which is smaller: 1/6 or l?
l
Let m be 8 - (-3 + 5) - 1. Let d = m + 3. Let n = -5 + d. Is n bigger than 2?
True
Let r = 0.36 + -23.36. Let h = r + 25. Is 3/5 equal to h?
False
Let l = 0.3 + -0.4. Let w = l + 0. Suppose -v = 4*x - 1, 0 = 2*x - 2*v + 7*v + 13. Which is greater: x or w?
x
Let l = -4/3 + 2. Let d = -2 + 3. Which is bigger: d or l?
d
Let d(l) = -l**2 + 9*l - 1. Let g be d(9). Which is bigger: g or 5/2?
5/2
Let s(q) = -q + 1. Let z be s(3). Let c be (z/3)/((-10)/(-15)). Let y = -14/9 - -89/63. Is y at most as big as c?
False
Let g(n) = -n**3 + 16*n**2 - n + 21. Let v be g(16). Is v less than or equal to 4?
False
Let c = 1.1 - 0.1. Let d = -0.9 + c. Let x = -0.04 + 0.24. Is d equal to x?
False
Suppose -5*r = -4*r. Suppose r = 3*b - 5 + 2. Which is bigger: b or 0?
b
Suppose -5*u = -4*u. Does u = -2/9?
False
Let n = 0.4 + -0.3. Let r = -12.9 + 12. Let m = r + -0.1. Which is bigger: n or m?
n
Let r(a) = a**2 + 5*a + 1. Let y be r(-6). Let z be ((-2)/5)/(y/(-35)). Is 0 greater than z?
False
Suppose 0 = 24*g - 16*g - 8. Is 42 at most g?
False
Suppose -5 - 7 = 6*a. Which is bigger: -2.7 or a?
a
Suppose 0 = -35*n + 32*n. Let w = 19 - 11. Which is greater: w or n?
w
Let y be (2/(-4))/((-4)/40). Let g be y - (-1 - (-1 - 2)). Suppose 5*b - 11 = -2*v + v, -g*b - v = -7. Is 2/3 less than b?
True
Let t = -0.1 - -4.1. Let m = t - 6. Which is greater: m or 3?
3
Let n(a) = a**2 + 4*a + 5. Let r be n(-2). Which is smaller: 0.3 or r?
0.3
Let y(j) = -j**2 - 6*j - 2. Let t be y(-5). Suppose -3*o + 3 = -t. Suppose -o*i - 5 = -4*r + 7, 10 = -5*i. Is 2 at least r?
True
Let p = -55.3 - -54. Are 0.2 and p nonequal?
True
Let k = 0.09 - -0.51. Let a = -2.6 + k. Which is bigger: -2/5 or a?
-2/5
Suppose 18 = 5*g - 2*g. Let b = -12 + 18. Is b greater than g?
False
Let b = -12 - -7. Let j = 6 - b. Suppose 3*p + 19 = -2*x, 2*p + j = -x - 0*x. Are -1 and x equal?
False
Let j be (9/(-6) + 29/18)/3. Which is greater: 0 or j?
j
Let h be (-2 + 1)/(-2*(-58)/8). Which is bigger: h or -1?
h
Let q(d) = d**3 + 3*d**2 - 4*d - 1. Let n be q(-3). Let y be 7/21 - n/15. Let t = -1 + 1. Which is bigger: t or y?
t
Suppose -5*n + 1 - 26 = 0. Is -11/3 less than n?
False
Let x(z) = z**2 - 7*z + 6. Let o be x(5). Let m be (1/(-12))/((-2)/o). Let u(k) = -k**2 + 4*k + 1. Let t be u(4). Do m and t have the same value?
False
Suppose -90 = 13*l - 3*l. Is -9 less than l?
False
Let g(p) = -p + 1. Let o be g(1). Let s = -242 + 1204/5. Which is bigger: o or s?
o
Let z = -5/8 + 7/24. Let l = 13161 - 276746/21. Let f = -53/3 - l. Is z < f?
True
Let r = -23.07 + 23. Which is smaller: r or 0.1?
r
Let q(n) = -n**3 - n**2 + 2. Let d(f) = -f**2 + f. Let h be d(1). Let s be q(h). Suppose g = -g - s. Which is greater: g or 0.3?
0.3
Let b be (3*12/9)/(-1). Let w be 6/b + (-1 - -2). Which is greater: -2 or w?
w
Let m(o) = -o**2 + 7*o + 17. Let g be m(9). Are g and -2 equal?
False
Let f = 3 + -4. Let i be -1 + -2 + 411/(-9). Let y = 2768/57 + i. Is y <= f?
False
Let q(a) = a**2 + 6*a - 2. Let m be q(-6). Let g = 2 + m. Let z = -1 - g. Which is smaller: -1/4 or z?
z
Suppose -1 + 10 = -3*d. Let w be 1 + d - (-4 + -1). Let o be w/(-2)*(-8)/42. Is o equal to 0.1?
False
Let l be (1 + 2)*4/6. Let m(u) = u**3 + 5*u**2 - 14*u + 2. Let c be m(-7). Is c at most l?
True
Let s(b) = 18*b**2 - 4*b + 2. Let y be s(2). Let j be (-87)/y*-2 - 3. Are j and 1 nonequal?
True
Let x be ((-4)/8)/((-1)/(-2)). Let r = x - 1. Let z be (r - (2 - 3)) + -1. Is -1 smaller than z?
False
Suppose 3*i = 6*i - 15. Let u = i + -35. Let a be ((-2)/u)/((-1)/2). Is a less than or equal to 0?
True
Suppose 2*g = 4*q - 0*q + 16, g - 5*q = 17. Which is smaller: g or 3?
g
Let s(h) be the first derivative of -3*h**4/4 + h**3/3 + h**2 + 3. Let y be s(-3). Let l be 6/15 + y/(-135). Is 1 < l?
False
Let r = 6 - 11. Let g be -1 - 1 - -3 - r. Suppose 0 = 3*j + 5*t + 31, 0 = 2*j - t - t - g. Which is smaller: j or 0?
j
Let p = 9/736 - -1/32. Which is bigger: p or -2/7?
p
Let o(z) = z**2 - 5*z. Suppose -5 = -0*i - i. Let l be o(i). Is -1/5 != l?
True
Let u = -0.77 - -0.34. Let a = 0.23 + u. Is -3 at least as big as a?
False
Let c = 14 + -7. Let m = c - 6.95. Is m at most -0.1?
False
Let z = 18 - 16. Which is smaller: z or 5/7?
5/7
Suppose 0 = -2*d + 4*i - 16, -2*i - 2*i - 8 = 2*d. Let f be -3*4/d + -2. Suppose f = -y - 1 - 1. Are y and -2 equal?
True
Let k = 2.3 + -0.3. Let s = 0.05 - 0.55. Let q = s - 0.5. Is k at least as big as q?
True
Let o = 6.9 + 0.1. Let d = o - 7.03. Are -2 and d nonequal?
True
Let t = -190 - -121. Let j be 1/3*t/2. Let s = j - -11. Which is smaller: s or -2?
-2
Let v = 1101/348449 + 1/5253. Let o = v - -790/1791. Is o < 1?
True
Let j = 52 + -158/3. Which is greater: 7 or j?
7
Let l be (11455/(-5225) - -2) + (-6)/(-33). Is 0 bigger than l?
True
Suppose 4*t = 3*t + 15. Let s = t + -17. Which is bigger: -4/5 or s?
-4/5
Let w = 0.1 - 5.1. Which is greater: 1/2 or w?
1/2
Suppose 5*h + 3*j - 1 = -2, -4*h + 5*j + 14 = 0. Suppose 2*o = -4*i - 4, 0*o = -o - i + h. Let k = 4 - o. Which is smaller: k or -2/3?
-2/3
Suppose -2*w - w - 27 = 0. Does -10 = w?
False
Let v = -19 + 20. Is v greater than -1/10?
True
Let f = 4 - 3. Suppose 4*c - 2*s = -0*c + 12, -3*c - 2*s + 2 = 0. Is f greater than or equal to c?
False
Suppose 0 = -8*f + 5*f - 15. Which is bigger: f or -14/3?
-14/3
