Let d = -2 + 6. Suppose 0 = 4*h + 4*o - 20, 5*h - 1 = 2*h + 4*o. Suppose -5*l + 9 = -d*u, -2*l = -u - 0*l - h. Is 1/3 <= u?
False
Suppose 9*j - 12*j = -141. Which is smaller: 48 or j?
j
Let l = -4 - 4. Let i = l - -7.9. Let z = i + 0. Which is smaller: z or -8?
-8
Let m = 3/10 - 17/40. Suppose -4*i = 2 + 2. Which is smaller: i or m?
i
Let n(o) = o**3 - 8*o**2 + 8*o - 9. Let w = -6 + 13. Let a be n(w). Let z be a*2/8*2. Is 1 greater than or equal to z?
True
Let h = 31/66 - 3/22. Let z = 0.1 + 1.6. Let i = z - 0.7. Is i at most as big as h?
False
Let u(g) = -g**2 + 5*g + 4. Let k be u(5). Let a(h) = -h**2 + 7*h + 2. Suppose -2*c - 8 = -22. Let n be a(c). Is n >= k?
False
Let d = -2 - 4. Let k = -7 - d. Let u = -19.1 - -19. Which is greater: k or u?
u
Let m = 15/13 - 1279/1131. Let i = m + -95/348. Is -0.11 > i?
True
Let c(a) = -2*a - 2. Let n be c(0). Let y be (n/(-5))/((-28)/105). Which is greater: y or 1?
1
Let u = 5.98 - 6. Let i = u - 0.08. Let x be (-14)/8 - 3/12. Which is bigger: i or x?
i
Let o = 0.78 - 0.8. Let b = -0.18 + o. Which is smaller: -3/4 or b?
-3/4
Let g be 24/(-14) - 2/7. Let m(b) = b**3 - 10*b**2 + 10*b - 2. Let p be m(9). Suppose 6*f = p*f + 1. Which is smaller: g or f?
g
Let x be 2/(1/(-1)*-2). Let r(a) = a - 1. Let f be r(x). Which is smaller: f or -1/8?
-1/8
Suppose 3*u - 4*u = -38. Let a = u - 188/5. Which is bigger: -1 or a?
a
Let p = -29 - -20. Let u be 2/p - 133/(-882). Which is smaller: 0 or u?
u
Suppose -2*m = 5*l - 5, -5*l + 0*m - 3*m = -5. Which is bigger: -12 or l?
l
Let u be -1*0*(-2)/(-4). Suppose 5*y - 5*n + 5 = u, 0 = -y + 7*n - 4*n - 1. Let f(a) = a + 2. Let p be f(-1). Which is smaller: p or y?
y
Let u = -81 + 407/5. Which is smaller: -0.02 or u?
-0.02
Let q(v) = v**3 + v**2. Let d be q(-2). Let u(r) = -r + 2. Let a be u(d). Let j = -5 + a. Is j less than 2/13?
False
Let j = 2.9 - 2.79. Is -2 greater than j?
False
Suppose z + 0*z - 31 = -5*h, -h = -2*z - 4. Suppose -h*w + 4 = -8*w. Which is smaller: -5/2 or w?
-5/2
Let c = 69/4 - 1445/84. Is c less than 1?
True
Let t(c) = -c**3 + 4*c**2 - c + 3. Let j = 13 + -9. Let y be t(j). Let s = 0 - y. Which is bigger: 7 or s?
7
Let z = 0.05 - 0.15. Let a = 112/3 - 37. Does z = a?
False
Let p = 2 - 4. Suppose -2*v = 3*v + 2*w - 9, 2*v = -4*w - 6. Suppose -4*a = -2*l + 12, -a + 0*a - 10 = v*l. Are l and p unequal?
False
Suppose -4*u - 3 = 1. Let t be (-5)/3 + u + 3. Which is smaller: 2 or t?
t
Let m(z) = z**3 - 10*z**2 + 8*z + 9. Let x be m(9). Suppose -3*b - b + 3*k - 7 = x, 4*b = k - 5. Which is bigger: b or 3/8?
3/8
Let u = 291269/76 - 3833. Let w = u + 24/19. Which is greater: w or -2/3?
w
Let q be (-2)/(-4)*6 - 210. Let f = q + 1032/5. Which is smaller: f or -1?
-1
Let g be 2/(-9) + (-10338)/135. Let n = g + 77. Let w be 2/(-10) + (-4)/5. Is w bigger than n?
False
Let o = -8 - -1. Let l = -4 + 4. Suppose 7 = -r - l*i + 3*i, -r = -i + 7. Is r < o?
False
Let i = 12 + -19. Let k = -7 - i. Which is bigger: k or -0.1?
k
Let z(b) = 6*b - 1. Let s be z(-2). Is 1 <= s?
False
Let u = -16 - -14. Which is greater: u or 3?
3
Suppose -4 = 2*h + 14. Which is greater: -62/7 or h?
-62/7
Let z = 6 + -9. Is 1 smaller than z?
False
Let s = -17 - -18. Suppose 2*q + 91 = q - 2*i, -5*q + i = 400. Let k = -239/3 - q. Which is bigger: s or k?
k
Let v = 1 - -4. Suppose -5*z = -0*z - v. Let n = 3 - 8. Is z smaller than n?
False
Let k(o) = -o + 6. Let r be k(6). Let j = -35 - -60. Suppose -u + 7 = 3*h - 4*h, 3*u - j = 4*h. Which is bigger: u or r?
u
Let v be (-2)/8 + 14/(-8). Let r be (16/v)/(18/63). Let w be (-22)/152 - 7/r. Which is bigger: w or -1?
w
Let y(v) = -v**2 + 5*v - 3. Suppose 2*m + 2*m + 4*j = 0, 0 = -5*m + 3*j + 32. Let r be y(m). Let o = 212/5 - 42. Which is smaller: o or r?
o
Suppose -3*f = -0*f - 36. Suppose 6*o - 4*o = -f. Which is bigger: -7 or o?
o
Let m = 0.1 + 0.3. Suppose 9*f = 4*f. Let h be (0 + f)/(3 - 0). Is h < m?
True
Let m = -32.3 + 33. Is 1 >= m?
True
Let n = 16 - 7. Let a = -21 - -24. Suppose 5*k - h - 2 = 7, -n = -a*k - 3*h. Is k > 5/4?
True
Let l = 0.33 + 8.67. Which is smaller: l or 0.3?
0.3
Let q(p) be the second derivative of p**3/6 + p**2/2 + 3*p. Let z be q(-2). Do 4 and z have the same value?
False
Let h(c) = -c + 12. Let k be h(5). Which is smaller: 9 or k?
k
Let s(k) = k**3 + 11*k**2 + 15*k + 20. Let z be s(-9). Which is smaller: z or 46?
46
Let a = -14 + 13.85. Let b = a + -0.55. Which is greater: b or -2/7?
-2/7
Let p = -11/2 + 5. Is -8/5 greater than p?
False
Let g = 1 - -1. Let m = g + 0. Does m = 2?
True
Let d be 78/8 + 2/8. Let l(s) = s - 9. Let k be l(d). Which is smaller: k or 1/9?
1/9
Let x(j) = -j**3 - 4*j**2 + 6*j + 3. Let k be x(-5). Let u be (-1)/3*k/(-3). Is u != 1?
True
Let r(i) = -i**2 + i - 1. Let q be r(0). Let a be (q/2)/(1/(-2)). Let s be (54/126)/((-14)/4 - -2). Which is smaller: a or s?
s
Let z be 29/17 - 3 - -1. Let u = z - 65/68. Do u and 0 have the same value?
False
Suppose -3*s + 1 = -k - 5, -2*k - 2*s = -12. Suppose 0*m = -k*m - 9. Which is smaller: -1 or m?
m
Let u = -17 + 14. Which is smaller: u or -2?
u
Let z(n) = n**3 - 5*n**2 - 6*n + 4. Let o be z(6). Let g be (-3)/5 - o/10. Is g >= 2/23?
False
Suppose a + 39 = -15. Let u be (-2)/(-9) - (-12)/a. Let z = 1 - 1. Does z = u?
True
Let u be 98/(-21) + 2/3. Let f be u*(2 + (-5)/2). Let o be 2/(3/(3/f)). Is 1/4 > o?
False
Suppose -j = 4*j - 2*t + 17, -8 = 2*j - 2*t. Suppose 6 = p - 0*p + 2*k, 0 = p + 4*k - 12. Let x = j + p. Which is greater: x or -2?
-2
Let w be (-4)/4 + (0 - 0). Let x be w/((-1)/3) + -2. Let q be 2/(-1) + (2 - x). Is q at least 2/13?
False
Let x(b) = b**2 + b + 3. Let y be x(0). Suppose 0 = 4*u + y*n, 0*n + 11 = 5*u + n. Let m = -6 + 8. Do m and u have the same value?
False
Let k = -16 - -60. Which is greater: -2/3 or k?
k
Let h = -7 + 8. Is 0.1 at least as big as h?
False
Let a = -13927/3 - -4600. Let s = -42 - a. Which is bigger: s or 1?
1
Let d(a) = a + 16. Let v be (4 + -1)/(27/(-72)). Let x be d(v). Are x and 9 nonequal?
True
Let w = 15 + -14.87. Is w bigger than -2/9?
True
Let j = 26 + -26. Is j <= -1/12?
False
Suppose -4*f + 18 = -x, -3*x = 2*x + 3*f - 25. Suppose -x*j + 4 = 4*k, 2*k = 4*j - 17 - 21. Is 10 greater than j?
True
Let q(k) = k - 1. Let j be q(1). Let b be 6/(-9) + -1 - -1. Does j = b?
False
Let o = -8 - 7. Let j = o + 6. Is 1 equal to j?
False
Let l = 5 - -3. Suppose -j = 3*j + l. Let o be (15/(-10))/(1/j). Is 2 < o?
True
Let l = -6368 - -114677/18. Let a = -40/9 + l. Which is smaller: a or -1?
a
Suppose -4*o = 23 + 1. Let z(j) = j**2 + 6*j - 5. Let f be z(o). Which is smaller: -4 or f?
f
Suppose -4*m + 13 = 5. Suppose -2 = m*o - 4. Is o < 2?
True
Let c be 6/(-5)*(-60)/(-18). Let x(v) = -v**3 - 4*v**2 - 1. Let j be x(c). Let r be (-3 + 0)*j/(-2). Is -1 greater than r?
True
Suppose 148 = 4*l - n, 0 = -4*l - 5*n + 103 + 21. Which is bigger: 35 or l?
l
Let a be 2/(-12) - 91/(-78). Is -2/5 at least as big as a?
False
Let z be (-1 - -1)/(6/(-6)). Is z at most as big as -1/12?
False
Let g be (4/7)/(-1 - -3). Suppose -i = 4*i. Suppose 0*b + 3*b - 2 = -5*t, -3*t - 2*b + 1 = i. Is t at most as big as g?
False
Let k be (0 + 2)*(-5)/(-2). Suppose 4*a = -5*q + 6*a - 1, 4*q = -4*a + 16. Let c = q - -2. Which is bigger: c or k?
k
Let i be -4 + ((-3)/(6/16))/(-2). Let b be (-1)/2 - (-5)/2. Which is smaller: i or b?
i
Let y = -0.9 + -0.1. Let b = y - -3. Let m = -0.32 - -1.32. Which is smaller: m or b?
m
Suppose 0 = -0*a + a. Let o = 40/63 - 7/9. Is a < o?
False
Suppose 0 = -d + 5*y + 17, -5*y + 11 - 26 = 0. Suppose -4*o = -d*o. Is -3/2 at most o?
True
Let i = -59 + 51. Is i > -9?
True
Suppose 5 = x + 2. Let z = 3 + x. Is -2 at least z?
False
Let v be (-2 - 14/(-10))*(-70)/(-441). Let o be 0/3 - 2/(-2). Which is smaller: v or o?
v
Let h(o) = o**2 - 4*o + 4. Suppose -d = 3*d + 12. Let g(n) = n**3 + 4*n**2 + 2*n. Let w be g(d). Let v be h(w). Do v and -2/5 have the same value?
False
Let b = -15 - -13. Let i(l) = -3*l**2 + 3*l + 6. Let x(c) = 2*c**2 - c - 3. Let s(a) = 3*i(a) + 5*x(a). Let m be s(b). Does -2/5 = m?
False
Suppose 0 = 3*d + 15 - 12. Which is greater: d or 2/311?
2/311
Let o be (-184)/(-18) - (-4)/(-18). Let v be 9/(-7) + o/35. Is -3/16 greater than v?
True
Suppose -2 = -3*u + 7. Suppose -4*l = -u*l + 5*c - 13, -9 = -3*c. Which is great