h. Suppose 71*m - 64*m + 21 = 0. Which is bigger: m or c?
c
Suppose 2*j = 2*f - j - 7, -3*f + 9 = -5*j. Suppose -3*y = -w + f, 3*y - 7 = 5*w + 1. Let v be (-7)/(-4) + (-1)/y. Which is smaller: v or 3?
v
Let c be ((-6)/9)/((-4)/(-6)). Let n = 0 - c. Let f = -0.9 - -1. Which is smaller: f or n?
f
Let g = -3 + 28. Which is smaller: 24 or g?
24
Let l = -3904/9 + 433. Do l and -2 have the same value?
False
Let u = 26 - 16. Let d = 7 - u. Suppose g + 1 + 1 = 0. Are g and d nonequal?
True
Let n(j) = 3*j**2 + j - 2. Let l be n(3). Suppose -4*s = -4*u - l, -3*u - 2*s - 26 = -6*s. Which is greater: u or -1?
-1
Let s(b) = -b**2 - 4*b - 3. Let t be s(-2). Let m be -29*(t + 0)*3. Let k = 265/3 + m. Is k bigger than 0?
True
Suppose -1 = -3*s + 2. Suppose -f = -5*x - 6, 2*x + f = 2*f. Let r = s + x. Is r less than or equal to -2?
False
Suppose -6 = -2*t + 2*s, -2*t = s - 4*s - 8. Let n be (-16)/(-60)*(t - -2). Which is smaller: n or 0?
0
Suppose 5*d + 3*o - 9 = 0, 7 = 5*d - 2*o - 12. Is 1 at most d?
True
Let i(t) = t - 7. Let y(r) = -5*r - 2. Let j be y(-2). Suppose 0 = x - 3*n - 9, 4*x = 2*n + 28 + j. Let p be i(x). Is p bigger than 2?
False
Suppose -2*y + 12 = 2*y. Let b = -20 + 28. Let h be -1 + b - 1 - 3. Do y and h have the same value?
True
Let c = -3.7 - -5.7. Which is greater: c or -4?
c
Let b be (-6)/2*(-8)/12. Suppose b*l = -3*l - 25. Let w(c) = -c**2 - 7*c - 7. Let r be w(l). Is r <= 1/3?
False
Suppose 0 = p + 3*p. Let x = 8 + -5. Suppose -t = -x*t. Are t and p unequal?
False
Let y = -0.5 + -3.5. Which is greater: 5 or y?
5
Let q = -283840 - -3686772/13. Let b = 242 + q. Suppose -1 = -3*z + 2. Which is smaller: z or b?
b
Suppose 0*u = -u - 3. Suppose -2*a = 3*a. Let v be 3*(a + -1 + 0). Is v bigger than u?
False
Let w(u) = 4*u + 1. Let c be w(0). Which is smaller: c or 24/17?
c
Let t = 0 + 8. Let x = 5.4 - 5.5. Which is bigger: x or t?
t
Suppose -56 = 4*z - 6*z. Suppose -2*l + z = -0*l. Is 13 less than l?
True
Let r be (2/(-28))/((-1)/(-4)). Let f(g) = g**3 - 3*g**2 + 3*g - 2. Let d be f(2). Is d equal to r?
False
Let f be ((-9)/6)/3*0. Let v(o) = o**2 + 3. Let n be v(f). Suppose -1 = -n*g - b, 3 = -6*g + 4*g + 3*b. Is -5/6 < g?
True
Let u be (1 - 2)*1/(-1). Which is greater: 4/15 or u?
u
Suppose 14 = -4*j + 10. Which is greater: -1/3 or j?
-1/3
Suppose 1 = -5*t - 2*z, -5*t + 2*z - 9 = -0*t. Let x be t/(4/(-4)*-4). Which is bigger: 1 or x?
1
Let d = -2 + 5. Let w(u) = -u. Let o(b) = 2*b - 5. Let t(a) = d*w(a) + o(a). Let k be t(-4). Is -1/6 at most as big as k?
False
Let y = -0.63 + -0.07. Let q = 1.3 - y. Let s be 2/(-4)*(-6)/15. Which is greater: q or s?
q
Let v be ((-3)/5)/(2/(-10)). Suppose -5*p + 6 = 2*b, -p + 3*p - 9 = -v*b. Let q = 2 + -2.1. Are p and q nonequal?
True
Let i = -2/2365 - 61472/21285. Let z = i - -20/9. Which is smaller: 0.5 or z?
z
Let b be 4*((-14)/(-8) + 0). Suppose -b*a = -2*a. Suppose 0 = -5*y - 2*g + 15, 2*y + 4*g - 6 = -a*y. Which is smaller: y or 2?
2
Let s = -1576/171 + 82/9. Suppose 0 = -4*n + 5*q + 5, -4*q - 4 = -2*n - n. Is s smaller than n?
True
Let s be (-1 + 0)*(-7 + -1). Let g be 9/12 + 2/s. Let c be g/(-4) - 2/(-40). Which is greater: -1 or c?
c
Suppose 3*b + 2*b = 0. Let n = -6 - -13/2. Which is smaller: n or b?
b
Suppose -4*c + 41 = 9. Suppose w = 3*a - c, -5*a = -w + 4*w + 10. Suppose -2*r - 1 = -3. Is a equal to r?
True
Suppose -3 = 9*y - 21. Do y and -2 have different values?
True
Let j(y) = 6*y + 1. Let r = -5 - -4. Let l be j(r). Let h be l/(-2)*36/(-45). Which is smaller: h or -1?
h
Let d(f) = -6*f - 1. Let k be d(-1). Suppose 0 = -9*c + 44 + 19. Is c greater than k?
True
Let o(c) = c**2 - 6*c - 8. Let s(v) = v + 1. Let l(n) = o(n) + 2*s(n). Let k be l(5). Let b be ((-3)/9)/((-7)/(-9)). Which is greater: k or b?
b
Suppose 3*j - 7*j - 7 = f, -j = 2*f. Which is smaller: -1/8 or f?
-1/8
Suppose 7 = -5*i + 22. Suppose -i*t + 2 = 2*y + 18, 4*t = 2*y + 2. Is -2 smaller than t?
False
Let m be -16 - (-2 - 6/(-2)). Let f = 151/9 + m. Suppose -33*t + 38*t = 0. Is t at least as big as f?
True
Let m = -72/11 + 958/143. Is m not equal to 2?
True
Let r = 2/85 - 176/255. Which is smaller: r or 0?
r
Let p = 6.04 + 32.06. Let k = -36 + p. Let z = -2 + k. Which is greater: z or -0.4?
z
Let j be -4*4/(-80)*(7 - 0). Is j at most -1?
False
Suppose 4*c - 4*f + 12 = 4, 3*f = -4*c + 20. Let k = -2 - -5. Which is greater: c or k?
k
Suppose -5*n + 10 = 0, 0*n - 5 = -m - 5*n. Is -7 greater than or equal to m?
False
Suppose 5*u + 0*u + 25 = 0. Let y be (6/2*-1)/(-1). Suppose f + 5*n - 4 = 0, 6*f + 30 = 2*f + y*n. Is f less than u?
True
Suppose -h + 0 = -2. Suppose -t = t + h. Is 4 <= t?
False
Suppose -2 = -4*s + 3*m + 3, -s = -m - 1. Let c(f) = -f**3 + 7*f**2 - 7*f + 8. Suppose -j + 18 = 2*j. Let h be c(j). Is h > s?
False
Let l = 0.1 - 0. Let j = l - -0.1. Is j greater than -0.2?
True
Suppose 2*x - 12 = 5*h, 3*x + 3*h - 2*h = 18. Which is bigger: 0 or x?
x
Suppose -p = 4*p - 15. Let k = p + -1. Let y(t) = t**3 - 3*t**2 + 2*t - 3. Let h be y(k). Is h at most -3?
True
Let c be -106*(-10 - -4)/12. Which is smaller: c or 1?
1
Let v be (-1)/2 - (-30)/20. Which is smaller: v or -5?
-5
Let r be -1*2/4*(-6)/36. Which is greater: r or 1/3?
1/3
Let h = -11.1 + 11. Let p = 6 + -5. Which is smaller: h or p?
h
Let v(h) = h - 4. Let x be (-10)/(-35) + (-2)/7. Let g be v(x). Let l = g - -10. Is 5 at most as big as l?
True
Let z = 3 + -1. Suppose g - 3*g = z. Let y = -1 - -2. Which is bigger: y or g?
y
Let n(a) = 5*a + 7. Let r be n(-6). Let u = r + 11. Let t be 6/(-4)*2/u. Which is bigger: -1 or t?
t
Let w be (8/20)/((8/250)/(-1)). Which is greater: w or -12?
-12
Suppose -l + 4 = -3. Suppose l*a - 12*a = -5. Suppose u - 1 = -m - 5, -3*u = 12. Do a and m have the same value?
False
Let x = -45507/62 - -734. Let l = 121/186 + x. Which is bigger: l or -2?
l
Let y(b) = 0*b + 5*b - 2*b - 5 - b**2 + 2*b. Let u be y(3). Which is bigger: 2/5 or u?
u
Let h = -2/249 + 755/996. Which is bigger: 7/5 or h?
7/5
Let p = 4.95 + 0.05. Which is smaller: 2 or p?
2
Let v = -10.1 + 10. Let l = -0.1 - v. Which is smaller: l or -1?
-1
Let p = -139 - -133.04. Let r = p + 6. Is r equal to 1?
False
Suppose 5*w - 10 = 4*r, -2*r = 2*r. Let h(l) = -2*l + 21. Let m be h(10). Is m < w?
True
Let z = 0.5 + 0.5. Which is bigger: z or 0?
z
Let i = -1 + 2. Let f be (2*(i - 2))/(-1). Let h be (-1)/(-4)*(1 - f). Which is bigger: h or 0?
0
Let v = -15.6 + 16. Let n = v + -0.8. Which is smaller: n or 0.4?
n
Suppose -4*m = -4*a + 20, 5 = -4*m - a + 2*a. Are m and 2/7 nonequal?
True
Let l = -35 - -25. Let x be (1*3)/((-285)/l). Suppose 4*f = -0*f - 4. Which is smaller: f or x?
f
Let v(w) = w**3 - 2*w**2 - 5*w - 7. Let l be v(-3). Is l at most as big as -38?
False
Let l = 7.8 - 5.8. Which is smaller: l or 16/9?
16/9
Let s be (3/(12/(-32)))/(-14). Suppose b = 2*y + 7, 3*b + 3*y + 9 = -y. Is b at most as big as s?
False
Let j = 131/45 - 28/9. Suppose b = 4*b. Suppose 3*f - 3 = -b*f. Is f equal to j?
False
Let a be (-6)/((-15)/6*(-1 - 8)). Which is smaller: 0 or a?
a
Let h be ((-1)/(-2))/((-14)/28). Are 0.3 and h unequal?
True
Let a = 0.11 + -0.1. Let q = a + 0.09. Which is smaller: q or 0.3?
q
Let a be 4 - (-3 - 4/4). Which is greater: a or 13/2?
a
Suppose -3*q - 2*q = -4*m + 19, -5*q - m - 39 = 0. Let r be 1/2 - 26/4. Which is greater: r or q?
r
Let a = 61/42 - -1/21. Let p be 2/(-1)*1/(-1). Suppose n + 1 = p, -4*n = -u - 3. Which is greater: u or a?
a
Suppose -3*l + 6 - 3 = 0. Are 1 and l equal?
True
Suppose -3*o + 10 = -o. Suppose -8 = o*v - v. Let f = -1 + -2. Which is smaller: v or f?
f
Suppose -2*z + 227 = -r, -2*r - 3*r = -4*z + 439. Let f = z - 814/7. Which is smaller: -1 or f?
-1
Suppose u = -4*k - 12 - 2, 3*u - 4*k - 6 = 0. Which is smaller: u or -10/3?
-10/3
Let d = -8 - 2. Which is greater: d or -9?
-9
Let r = -0.09 - 1.91. Let o = r + 2. Is o at least as big as -3?
True
Let n = 6.98 - -0.02. Let i = -8 + n. Which is smaller: -3 or i?
-3
Let p = 59/9 - 58/9. Which is smaller: 0 or p?
0
Let r = -142/5 - -28. Suppose 2 - 1 = -a. Is a < r?
True
Let q(x) = 3*x + 10. Let o be q(-5). Which is smaller: -7 or o?
-7
Let u = 2.85 - 2.5. Is 0 at least u?
False
Let y = -602/3 + 198. Do -4 and y have the same value?
False
Suppose 0 = 5*o - 0*o - 5. Let l be 1/((-1 + -3)/(-16)). Let i b