 -3*u + 76 = o - 6*u, -u = 3. Let k = 199/3 - o. Is -1 at least as big as k?
False
Let a be (2 + 0)/((-8)/12). Let g = a + 5. Do g and 1 have different values?
True
Let r = 3 + -2.5. Let t = 0.01 - -2.99. Does t = r?
False
Let u be 4/14 + (-8)/28. Are -2 and u non-equal?
True
Let m(i) = 2*i - 4. Let o be m(4). Let p = 5 - -4. Suppose 5*h = p + 6. Is h bigger than o?
False
Let z = 65 + -63.64. Let f = 0.04 + z. Let g = f + -0.4. Do g and -1 have the same value?
False
Let a(z) = 7*z - 69. Let c be a(11). Is c at least 44/5?
False
Let t(h) = h + 1 + 3*h + 0 - 5. Let s be t(6). Let m be (5/s)/(6/(-8)). Is m < -1?
False
Let z be 4/(-18) + 10/45. Suppose 3*q + z*q + 3 = -3*b, -3 = b + 2*q. Which is smaller: -1/22 or b?
-1/22
Let b(c) = c**3 - 2*c**2 + c + 2. Suppose -6*j + 12 = -2*j, -g + 2*j = 4. Let z be b(g). Suppose -9 = o - 4*a + 6, 4*o - 20 = -z*a. Which is bigger: o or -1/8?
o
Suppose -4 = -4*j + 4. Let g be (-6)/j + 26/10. Let v be (-2)/(-2 + 0) + -1. Which is greater: g or v?
v
Suppose 0*w = 5*w + v + 4, -4*v - 16 = -2*w. Suppose c = -u + 2, -u + 0 + 6 = 5*c. Is c greater than w?
True
Suppose 2*i - 3*n = -25, -4*i - n + 5*n - 40 = 0. Suppose 4*k - 5 + 25 = 0. Is k less than or equal to i?
True
Let p = 0.01 + 0.01. Let x = -0.02 - p. Let v = x + -3.96. Is v smaller than 0?
True
Let c = 3 + -3.3. Let g = 0.2 + c. Let b = 0 + g. Which is smaller: -1 or b?
-1
Let w = 365/63 + -39/7. Suppose -h + 0*h = 0, -4*h + 42 = 3*r. Let d be (-4)/r + 4/(-84). Which is smaller: d or w?
d
Let j(g) = -g**2 - 12*g - 26. Let q be j(-13). Is -39 less than or equal to q?
True
Let q be ((2 - 5) + 1)/(-2). Let z be 6/((0 - q) + 3). Is 3 at most z?
True
Suppose -2*d = -2 - 0. Suppose -5*s - 165 = -5*f, 117 = 4*f + 2*s - 3*s. Let q be ((-6)/f)/((-6)/8). Do q and d have the same value?
False
Let g(v) = v + 14. Let o be g(-11). Suppose 0 = -o*s + 6*s. Which is smaller: s or -2?
-2
Suppose -2 = -2*r + r, -14 = 3*c - r. Do c and -5 have different values?
True
Let d = -15 + 23. Are 7 and d equal?
False
Let t(o) = o + 2. Let q be t(4). Suppose 0 = h - 5*z - 17, 4*h + 16 = q*h - 4*z. Which is bigger: h or 1?
h
Let r = 44 + -63. Let o = r + 11. Are -8 and o unequal?
False
Let c be 14/(-14) - (42/(-26))/3. Is c equal to 1?
False
Let l be (2/36)/(1/4). Suppose -2*a - 6*h = -2*h + 16, 0 = a - 3*h - 2. Let w = a - -5. Which is smaller: w or l?
l
Let r = -71 - -137/2. Let v(h) = 2*h - 1. Let u be v(3). Suppose -g + 6*g = -u. Is g < r?
False
Let d = 2.3 + -0.3. Is -2 < d?
True
Let i be (-20 + 22)/((-24)/10). Which is smaller: -2 or i?
-2
Let k = -63 - -34. Let z = k - -41. Are z and 11 equal?
False
Suppose 7*q - 4*q = 27. Suppose -23 = 3*s - 2*w - 146, -5*w = 4*s - 141. Suppose -q = -5*g - s. Are -6 and g nonequal?
False
Let o be 3/12*-2*-2. Suppose -2 = t, -t + o = -3*i + 6. Which is smaller: i or 2/5?
2/5
Let i be 1/(1 + 27/(-24))*-4. Does i = 31?
False
Let s = -45 - -183/4. Let d be 2*3 - (3 - 3). Let j be 2/d + 2/3. Is j smaller than s?
False
Suppose 2*r - 7 = 1. Suppose 3*i = 7*i + r. Which is greater: 2 or i?
2
Let s be 2 + -2 + 2/(-3). Let h be (20 + -20)/(1/1). Is s < h?
True
Let x be (-2)/3 - (-18)/8. Let v = -35/3 - -167/12. Let t = x - v. Do -2 and t have different values?
True
Let q be 8/2 - 9/(-3). Is 8 at least q?
True
Let o = 1565/12104 - 13/136. Is o at most 0?
False
Suppose 5*p + 15 = 5*b, b - 4*p + 0*p = 6. Suppose 0 = -0*u + 2*u - 6. Suppose 3 = u*n + k - 6*k, -4*k - b = -2*n. Which is greater: n or 0?
n
Suppose 3*n + n - 16 = 0, -t - n = -2. Let q be (6 + t)*(4 - 6). Let f(w) = w**3 - 6*w**2 + 8*w - 4. Let k be f(3). Which is smaller: q or k?
q
Let q = 317273052258 - 9477580618542037/29872. Let j = -42/1867 + q. Let p = j - -50. Is 1 > p?
True
Let q(u) = u**3 - u**2 - 2*u + 1. Let k be q(0). Which is smaller: k or -3/55?
-3/55
Let h = 563 + -3949/7. Is h bigger than 0?
False
Let j be 96/(-440) - 2/11. Do 1 and j have different values?
True
Suppose 4*m + 3*i - 18 = -7, 0 = -3*m + 3*i + 3. Suppose y = -0*y + 5*r - 23, -m*y - 3*r + 19 = 0. Is y > 2?
False
Let d(a) = -a**2 - 2*a. Let u be d(-2). Suppose u = -3*n - 9, -3*n - 26 = -5*w - n. Let j(r) = r**2 + 4. Let q be j(0). Is q > w?
False
Suppose 3 = w - 1. Let n be w/(-50)*20/(-2). Let q(m) = m - 1. Let g be q(3). Which is bigger: n or g?
g
Let z = 11.5 - 13. Let i = -7.5 - z. Which is smaller: -1 or i?
i
Suppose 3*s + 40 = -5*a, 4*s + 0*s + 20 = 0. Let l = -10 - -7. Let o = -2 + l. Is a < o?
False
Let r = -5 - -5.5. Let o = r - 0.7. Is -1/6 bigger than o?
True
Let c(r) = r**3 + r**2 - 2*r - 2. Let h be c(-2). Let i(v) = -5*v - 2. Let a be i(-1). Let u(q) = -q. Let t be u(a). Is t < h?
True
Let s(i) = i + 2. Let v be s(-2). Let x(b) = b**2 + 8*b + 12. Let m be x(-6). Is v greater than or equal to m?
True
Suppose -p + 3 = -6*y + 2*y, -y + p - 3 = 0. Suppose 0 = -4*g - y*g + 40. Let o be (-2 + 4)*7/g. Are o and 1 equal?
False
Let r(i) be the first derivative of i**6/60 + i**5/20 - i**2/2 - 4. Let u(k) be the second derivative of r(k). Let s be u(-2). Does s = -4?
True
Suppose 5 = 3*h - 10. Let d be h/3 + 2/6. Suppose 12 = -w - d*w. Is -3 > w?
True
Let b be (-4)/(-24) + 10*(-15)/36. Let g = 4 + -9. Which is smaller: b or g?
g
Suppose -3*b - 4 = b. Let s be (b/3)/((-1)/3). Let l = 138 - 968/7. Is s less than l?
False
Let n = -29 + 27. Which is bigger: 3 or n?
3
Suppose -4*b + x - 2*x - 9 = 0, 2*x + 7 = 3*b. Let j = 0 + b. Suppose -5*q + 3 = 8. Is j smaller than q?
False
Let m = -509/5 + 15789/155. Suppose 9 = 5*t - r - r, -r = 2. Is m greater than or equal to t?
False
Let i be 8/(-12) - 34/(-6). Suppose -5*b + 5*a = 3 + 17, 0 = -b + i*a + 4. Which is smaller: b or -5?
b
Let k(n) = -n**2 + 3*n + 11. Let o be k(5). Let m = 1 - 2. Which is bigger: m or o?
o
Let k = 9/10 - 37/30. Is 0.2 less than or equal to k?
False
Let x = -11 + 16. Suppose -3*v = -8 + 44. Let c = 18 + v. Is x not equal to c?
True
Suppose 4*b + 14 = 3*c, c - 1 = 4*c - b. Are -14/5 and c non-equal?
True
Let r be ((-2)/(-8))/(0 + -1). Which is smaller: r or -9?
-9
Let z(g) = -g**3 + 3*g**2 + 4*g + 3. Let q be z(4). Let y be 1/(0 + 4/16). Suppose -5 + 17 = y*j. Is j at least q?
True
Suppose 0 = 2*o - 3*j + 6, -j + 0 + 4 = 0. Let s be (4/(-10))/(4/(-60)). Let k(n) = n**3 - 7*n**2 + 8*n - 8. Let l be k(s). Is l bigger than o?
True
Suppose n - 11 = 5*d, 2*d = -4*n - 0*d. Let z be (1 + -2)*n*-1. Let x = -92 + 1197/13. Is z at least as big as x?
True
Let y = 148 - 146. Is 0.07 at least as big as y?
False
Let v = 179 - 257. Which is greater: v or -77?
-77
Let g = -0.05 - 4.95. Let w = g - -4. Let o = -2 + w. Which is smaller: 1/4 or o?
o
Let k = -0.018 - -4.098. Let g = 0.08 - k. Let w = 3.9 + g. Is 1 at most as big as w?
False
Suppose 0*r = -2*r + 8. Suppose 3*m - 4*q - 20 + 6 = 0, -r*m = 4*q. Which is bigger: 8/9 or m?
m
Let h = -10.6 + 11. Let s = -0.2 + 0.1. Which is greater: h or s?
h
Let u = 0.05 + -11.05. Let a = 11.2 + u. Is 3 bigger than a?
True
Let d = 80 - 81. Is d <= -0.051?
True
Let j = 0 + -3. Let k be 69/33 - (-1 - j). Which is smaller: -1 or k?
-1
Suppose -2*u = -8 + 2. Suppose 5 = -4*z - u. Which is smaller: z or -1?
z
Let a(j) = j**2 + 5*j + 7. Let f be a(-3). Is 0.31 >= f?
False
Let g be (-3 + (-75)/(-6))/1. Which is smaller: g or 11?
g
Let j = -2 - -4. Let q(k) = 6*k**2 - 14*k**2 + 7*k + 4 + k**3 - j. Let x be q(7). Which is smaller: x or 3?
x
Let n be ((-120)/(-350))/((-6)/20). Let d be (-1)/28*(-1 + 19). Let x = d - n. Which is greater: x or 0?
x
Let r = -2 + 41. Which is bigger: r or -0.1?
r
Let s = -952 - -79017/83. Which is greater: 0 or s?
s
Suppose -4*a + 5*x + 31 = -2*a, -2*x = 2*a + 4. Suppose 0 - 9 = a*r. Let o be (4 - 3)/(r/9). Which is smaller: o or 1?
o
Let t(d) = -10*d**3 + d**2 + d - 1. Let r be t(1). Let v(g) = -g**3 - 9*g**2 - 7*g - 1. Let o be v(-8). Is r smaller than o?
False
Suppose 2*i - g = -0*i + 3, 2*g = 2. Let d be 0 + i/(-14)*-2. Which is smaller: 3/5 or d?
d
Suppose 36*y = 35*y - 14. Which is bigger: y or -13?
-13
Let w be 3/(-9)*(-30)/10. Suppose 2*r - 11 = 3. Suppose 2*g = -3*c - 0*c - r, 3*g + 3 = 3*c. Is c >= w?
False
Let u = 7 - 19. Let r be (3 + -1)/(u/(-9)). Suppose 0 = c - 2*b + 5, -3*c + b + 13 = 2*b. Which is bigger: c or r?
c
Suppose 1 + 11 = 4*w. Let x(j) = j**2 + 3*j - 6. Let c be x(-5). Suppose -