ch is smaller: b or 0.023?
b
Let l = 64 - 68.7. Let z = -15.3 + l. Let v = -19.9 - z. Which is bigger: v or -7?
v
Let j = 402 + -1611/4. Is -67/2 at least j?
False
Let k be ((-56)/3)/(((-10)/15)/1). Which is greater: k or 27?
k
Let f(b) = -b**2 + 8*b + 9. Let c be f(9). Suppose -50 = -5*z - c*z. Let n be (-6)/1 - (9 - 26). Is z less than n?
True
Let x = -166 - -70. Let f = x + 28. Are f and -68 unequal?
False
Let g = 1274 - 1234. Is 33 not equal to g?
True
Let k be (1/((-8)/304))/((-3)/3). Which is greater: k or 276/7?
276/7
Let q be 12/(-9)*(-33)/(-2). Which is greater: q or -2?
-2
Let a be (327/(-60))/1 - (-1)/(-4). Which is bigger: -5 or a?
-5
Let u = 12.585 - -0.115. Let c = 12.8 - u. Are 78 and c non-equal?
True
Suppose 98 = 39*v - 58. Which is smaller: 212 or v?
v
Let q be 18/6 + (-12)/2. Suppose 55 = 5*l + 10. Let t be (q/l)/((-5)/(-30)). Which is bigger: -9/5 or t?
-9/5
Let k = 28 + -118. Let p be 43/(-9) - (-20)/k. Are p and 2 non-equal?
True
Let u = -166 - -499/3. Let g = -7 + 27. Which is smaller: u or g?
u
Let q = -11 - -16. Suppose 5 = -y, -1 = q*g - 3*g + y. Suppose 4*c - 2*h - 4 = g*c, -5*c + 2*h + 7 = 0. Is -2/5 equal to c?
False
Let m(i) be the first derivative of -i**3/3 + 8*i**2 - 7. Let v be m(16). Is 0 < v?
False
Suppose -5*w = 3*d + 71 - 17, -4*d + 2*w = 46. Let z(i) = 15*i**3 + 2*i**2 + 2*i + 1. Let q be z(-1). Is d smaller than q?
False
Suppose -2*c + 17 = 1. Suppose 7*z = c*z - 15. Suppose -7*x = 30 - 128. Which is greater: x or z?
z
Suppose 5 = 7*p - 6*p. Suppose 2*w + 3*w - 15 = 0, w = p*u - 32. Is u smaller than 37/5?
True
Suppose 0 = 3*q + i - 0*i - 4, 4*q + 2*i = 6. Let z = 8 - q. Let r(n) = n**3 - 6*n**2 - 7*n - 2. Let v be r(z). Is -2 greater than or equal to v?
True
Let w = 133 - 132. Which is greater: -2 or w?
w
Let p(r) = -5*r**2 + 8*r + 6. Let k(o) = -6*o**2 + 9*o + 7. Let n(j) = -6*k(j) + 7*p(j). Let h be n(-2). Let v = -667/4 + 166. Are h and v unequal?
True
Let y be (2/(-65))/(2/(-20)). Let g(j) = j**3 - 7*j**2 - 2*j + 3. Let h be g(6). Let v = h + 45. Which is smaller: v or y?
v
Let y(r) = 3*r**2 - 62*r - 96. Let u be y(22). Let w be (-18)/(-8)*(-4 - 0). Do w and u have the same value?
False
Let r = 6 + -1. Let z = -24 + 12. Let w be (12 + z)/(3/1). Which is greater: r or w?
r
Let v(t) = 18*t + 464. Let u be v(-26). Let s(z) = z**2 + 8*z + 7. Let w = -2 - 4. Let p be s(w). Do p and u have different values?
True
Suppose 0 = 4*g - 3*b + 5, 0 = 4*g - 4*b + 3 + 1. Let d(o) = -o + 6. Let p(u) = -3*u - 7. Let j be p(-5). Let w be d(j). Does w = g?
True
Suppose 2*h - 33*o + 36*o = 30, 0 = -3*h - 2*o + 55. Which is smaller: 23 or h?
h
Let r = -107251/10 + 10735. Let v = 32/5 - r. Let x(b) = -b**2 + 4*b + 8. Let a be x(6). Is a at most as big as v?
True
Let w(b) = -b**3 + 11*b**2 - 11*b + 10. Let l = -16 - -21. Let x(c) = c + 5. Let u be x(l). Let y be w(u). Which is smaller: -5 or y?
-5
Let a be (49/1813)/((-1)/3). Are a and -1 non-equal?
True
Let a = -0.7 - -1.05. Let f = -381 - -381.55. Let k = a - f. Which is bigger: 9/5 or k?
9/5
Let x be 2/(-18) + 679979/(-441). Let j = x - -1542. Which is greater: j or 1?
1
Let v = 346 - 346. Let z(t) = -3 + t**2 + t - 3 - 2. Let a be z(v). Are a and -9 nonequal?
True
Let r be ((-7)/(-14))/((-1)/(-8)). Suppose g - u + 2 - 1 = 0, 0 = -g + r*u - 16. Suppose t - g*t = 0. Is -1/32 at least t?
False
Suppose -2*i - 20 = 4*s, 3*i + s + 8 = 6*s. Let r be (2*(-20)/(-15))/(2/i). Let v be (0 - -5)*(-12)/10. Which is bigger: v or r?
v
Let w be 4/10 - 4/2. Suppose j + 2 = 6. Let b be ((j/(-1))/(-2))/((-2)/1). Which is smaller: b or w?
w
Let d = -15.85 - -1.73. Let m = 0.12 + d. Let s be (11/(-55))/((-6)/10). Which is smaller: m or s?
m
Let c be ((-2)/(-5))/(-2 + (-120)/75). Is 148 at least c?
True
Let m = -4280.17 - -4301. Let x = -0.17 - m. Is -0.2 <= x?
False
Suppose 0 = 2*f - 3*d - 2, 2 = -2*f + 3*d + 2*d. Let o be (-28)/(f + -2 - 0). Is o at least as big as -13?
False
Let l = 1001/48505 - -1/545. Which is greater: l or 4?
4
Suppose -2*c = 2*c - 4. Let y = c - -3. Suppose -5*b + 3*b + 2 = -y*d, 0 = 4*d + 3*b + 7. Is -2/43 < d?
False
Let z(l) = -20612*l + 2. Let u be z(4). Let a = u - -2308767/28. Let f = -41/4 + a. Which is smaller: 0 or f?
f
Let a = 1705 - 1621. Is 83 >= a?
False
Let q be 6 + (-22)/(-1) + 8. Let i(h) = h**2 - 7*h - 6. Let k be i(-4). Which is smaller: q or k?
q
Let f(x) = -4*x - 8. Suppose s + s + 8 = 0. Let r be f(s). Is 8 at most as big as r?
True
Suppose 2*y - 6*y = 112. Let u = y - -25. Is -3 less than or equal to u?
True
Let j be -1*((-1 - 4) + 1). Suppose 0 = -4*f - 5*r + 14, 2*f - j*r + 3 = -3. Let l be 4 - f - 26/7. Is -1 smaller than l?
True
Let b be (-4)/(-10) - (-154)/(-35). Suppose 2 + 2 = x. Let f(a) = -2*a**3 + 9*a**2 - 4*a - 5. Let l be f(x). Which is bigger: b or l?
b
Let t be 34/6 + (-10)/15. Suppose t*k + m = -4*m - 15, k + 2*m = -4. Let u be k + 2/(-1)*-5. Which is greater: 9 or u?
9
Let n = 319 - 5425/17. Let u = n - -8/357. Is -1 at least u?
False
Let x = -3200/9 + 1015/3. Is -16 bigger than x?
True
Let s be (-33 - -27) + (215*2 - -2). Are 426 and s equal?
True
Suppose 2*a - 5*p + 1939 = 1955, -a + 2*p + 6 = 0. Let q be (-8)/(-11)*6/(-8). Which is smaller: q or a?
a
Let h be ((-71732)/(-50))/(2520/2631550). Let u = h + -1498146. Let g = u - -1/126. Which is smaller: -2/3 or g?
-2/3
Let z = 284 - 205. Does 0.1 = z?
False
Let h = -53.96 + -0.04. Let j = -75 - h. Is 0 greater than j?
True
Let s = -48 + 59. Let r(f) = f**2 - 12. Let m be r(0). Let g = s + m. Is g less than 7?
True
Let z = -318 + 364. Which is smaller: z or 48?
z
Let r(i) be the third derivative of -11*i**6/120 - i**5/30 + i**4/12 - i**2. Let l be r(-2). Let g be 220/l + (-2 - 1). Is g at least as big as -1?
True
Let s = 9.9 + -10. Let m = s - -3.1. Let p be (-5)/6*24/(-80). Is p smaller than m?
True
Suppose 31 - 29 = 2*j. Is 1/130 greater than or equal to j?
False
Let b = -839.51 - -840. Which is greater: 0.5 or b?
0.5
Let b(k) = 3*k - 6. Let l be b(4). Let h = 0 + l. Let f = 1 - h. Which is smaller: -6 or f?
-6
Suppose 0 = -5*z - 391 - 209. Let y be ((-1)/(-22))/(2/z) - -3. Let r(q) = -q**3 - 5*q**2 + 5*q - 6. Let g be r(-6). Which is bigger: g or y?
y
Let c be (-2)/(-3) - (-24)/18. Let u(y) = 0 + 6 - y**2 - 6*y - c - 1. Let s be u(-5). Which is smaller: 9 or s?
s
Suppose -4*p = 0, -4*p + 3 = 3*c + 9. Let q = 2179/8 + -273. Is q at least as big as c?
True
Suppose 0*f + 0*f = -10*f. Suppose -3*c - 9 = 0, 3*o + 2*c + 2 - 8 = f. Suppose -2*v = -2 - 6. Are v and o non-equal?
False
Let o be (35/10 + -2)*(-362)/3. Is -180 smaller than o?
False
Let b = -43 - -27. Let u = -12 - b. Let j = u + -7. Does j = 2?
False
Suppose -3*l + 3*z - 3 = 0, -l - 3*l - 4*z - 4 = 0. Let t be (l/3)/(0 - -1). Let p = -0.36 - -0.3. Which is greater: t or p?
p
Let g = -242.92 + 36.22. Let v = -217.67 - g. Let f = 11 + v. Is f bigger than 1/2?
False
Let v = -8 + 7. Let u be -3*(4/(-2) - v). Let w be 4/u*(-21)/91. Which is smaller: 1 or w?
w
Let v = 0.2 + 1.8. Let w = -247 - -245. Is v bigger than w?
True
Let a(p) = 2*p**2 - 6*p + 7. Let i be a(3). Which is smaller: i or 0.06?
0.06
Let j = -9630 + 9578. Suppose 0*y - 5 = 5*y, 2*u = 5*y - 95. Which is greater: j or u?
u
Suppose -y - 204 = -5*y. Let c = y + -65. Which is greater: c or -4?
-4
Let a = -51.7 - -51.6. Which is bigger: -4/147 or a?
-4/147
Let s be (-6 + 77/14)/((-2)/(-44)). Let a = -10 - s. Which is greater: a or 2?
2
Let y = 57 + -61. Let c(u) = -4 + 3 + 2 + u. Let f be c(y). Which is smaller: -5 or f?
-5
Let r be 0 + 2/2 + -11. Let f = 6.19 - 3.19. Do r and f have the same value?
False
Let q = 407 + -370. Which is smaller: q or 223/6?
q
Let f be 1/((-2)/144*2). Let d be 2/4 - 54/f. Let c be 4 + (-4 + d - 1). Is c less than or equal to -1/7?
False
Suppose -3*d = -2*d - 4, 4*d - 22 = -3*o. Let b be 32/130 - o/(-13). Suppose 0 = 5*i + n + 1, n = i - 4*i + 1. Is i at least as big as b?
False
Let y(u) = u**3 + 14*u**2 + 12*u - 6. Let i be y(-13). Let c = i + -3. Suppose 0 = p - c*p + 3. Which is smaller: p or -0.1?
-0.1
Suppose 0 = -5*a - g, 20*a = 25*a + 5*g - 20. Let i be (-1)/(-2)*2/(-10). Which is smaller: a or i?
a
Let v(u) = u**3 - 12*u**2 - 126*u + 20. Let a be v(-8). Which is smaller: a or -255?
-255
Let g = 129 + -136. Which is smaller: g or