/143. Is l smaller than 0?
False
Let z = -0.0824 - -1.0824. Which is smaller: z or 0.2?
0.2
Let v(o) = -6*o**3 - o**2 + 12*o + 10. Let n(u) = 5*u**3 - 11*u - 10. Let j(g) = 7*n(g) + 6*v(g). Let l be j(-5). Let c be (-62)/(-5) - (-4)/l. Is -1 >= c?
False
Suppose -8*m + 79 = 71. Do m and 1033 have different values?
True
Suppose -67*j - 36 = -69*j. Let b be 7/j - 5*10/225. Which is greater: b or 0?
b
Let j(o) = o**2. Let u be j(0). Let s be 4/22 - (-1705)/(-7381). Let k = s + 173/1037. Is u smaller than k?
True
Let o be 1 + -1 + (-4812)/(-26). Let p(f) = -60*f - 5. Let j be p(3). Let l = o + j. Which is greater: l or 0?
l
Let c = -2 + 2.7. Let d = -10.3 + 7.3. Is d != c?
True
Let i = -432.051 - -432. Which is bigger: i or 0.1?
0.1
Let b(u) = -u**3 + 11*u**2 - 9*u - 12. Suppose -50 = -5*a - 3*i, 4*i = -a + 3*a - 20. Let t be b(a). Which is greater: -11/5 or t?
t
Let j = -8.756 - 0.244. Let g(q) = q**3 + 9*q**2 - 12*q - 15. Let c be g(-10). Suppose c*m - 4 = 3*m. Is m greater than or equal to j?
True
Let p(r) = -r**3 - 5*r**2 - 3*r + 5. Let z be p(6). Let j = -6119675165/14958681 - -2/787299. Let i = j - z. Which is bigger: i or 0?
0
Let s = 238 + -152. Let g = -108 + s. Which is smaller: g or -21?
g
Let n = 265/44 + -27/4. Let o be (16/(-28))/(10/(-105)). Let q be 0*(-2)/(-12)*o. Is q >= n?
True
Let z be ((-10)/(-4))/((-2)/(-8)). Let f be (z/5)/2 - 2. Do f and 1 have different values?
True
Suppose 4*c + 68 = v - c, 12 = 4*c. Suppose -50*n = -51*n - v. Is -83 <= n?
True
Let m = -74 - -75. Let l be (m - 132/56)*2. Which is bigger: l or -4?
l
Let v be (-16)/12 - (-11224)/(-20). Let y = v - -563. Which is bigger: y or -1?
y
Let y be 1995/25 - -3 - (-6)/10. Let i = y + -75. Which is bigger: 9 or i?
9
Suppose 0*k - 2 = -k. Suppose -k*v + 8 = -0*v. Suppose 4 + 0 = -v*u. Are u and -1/17 equal?
False
Let d = 743807/14131 - 23/1087. Which is smaller: d or 53?
d
Suppose g = 5*a + 17, 3*g = -2*g - 3*a + 1. Let c be 172*g/162 + -2. Let n = c - 1042/567. Is n less than or equal to -3?
False
Suppose -2*m + 74 + 247 = 3*b, -2*m - 107 = -b. Which is smaller: -1/4 or b?
-1/4
Let k be -7*10/(-245) - (-533)/267. Let z = k - -1/267. Which is bigger: z or 1?
z
Suppose -2*d = -4 + 4. Let g(x) = x**2 + 6*x + 3. Let p be g(-6). Suppose 0 = -q + 5*k - 25, p*k + 0*k - 15 = 0. Is d less than or equal to q?
True
Suppose 0*w + 6*w - 924 = 0. Let f = 109 - w. Which is bigger: f or -44?
-44
Suppose c = -1 + 3. Let r(d) = -14*d - 36. Let n(h) = 15*h + 36. Let l(q) = -3*n(q) - 4*r(q). Let x be l(-3). Does x = c?
False
Let m be -4*(28/(-16))/7 + 3. Let j = 41 - 14. Let b be j/(-6)*(-2)/3. Which is smaller: b or m?
b
Suppose 0*i = -5*f + i + 79, 2*i = 4*f - 68. Suppose -r + 3*h = -3*r - f, -5*r - 43 = 2*h. Is -10 smaller than r?
True
Let t = -2 + 2.1. Let p = 0.189 - -0.011. Let a = p - t. Are a and -3 unequal?
True
Let v = 1 - -20. Let r = v - 21.09. Let d = -0.21 + r. Which is bigger: 0.1 or d?
0.1
Suppose -3*c + c + 116 = b, 240 = 4*c + 4*b. Let n = c - 42. Is 10 not equal to n?
True
Let q = -8.8 - 7.2. Is -2 at least q?
True
Let i(x) = -x. Let t(h) = 3*h - 4. Let r(v) = 2*i(v) + t(v). Let b be r(4). Suppose b = -2*p - 4*j - 9 - 13, -4*j + 23 = -p. Is p smaller than -15?
False
Let z be (-7)/(14/10) + 6. Let w = -233/4 - -58. Which is bigger: z or w?
z
Let r = -0.042 - 35.958. Suppose 38*n + 8 = 46*n. Which is bigger: n or r?
n
Let f = -301/9 - -1583/45. Is f greater than or equal to 1?
True
Let t = 799 + -839. Are -37 and t unequal?
True
Suppose 5*i + 12 = -3*v + 7*v, 0 = 4*v + 2*i + 16. Let l(a) = 7*a**2 + 3*a + 1. Let b be l(v). Let n = -24 + b. Is -14/11 at most n?
True
Let a = -20 + 22. Let r(n) = -6*n + n**a + 3 - 2 - 2 - 2*n**2. Let m be r(-6). Which is smaller: m or 3?
m
Let r = 958 + -957.8. Is 0.6 at most r?
False
Suppose 5*f - 2*m - 6408 = -683, 4*m - 20 = 0. Is f > 1146?
True
Let n = 0.383 - 0.283. Which is bigger: n or 243?
243
Let x be (-1)/(-6)*14 + 3/(-1). Let i = 6 - 5.8. Let c = i - 0.3. Is x greater than or equal to c?
False
Let r be (28/10)/((-6)/(-30)). Suppose 5 = 13*n - r*n. Let k = -7 - n. Is 0 >= k?
True
Suppose 4*h = -3*g + 268, -5*g + 2*g + 2*h + 244 = 0. Let u = -82 + g. Which is bigger: -6 or u?
u
Let t(j) = -j**2 - 8*j - 26. Let r be t(8). Is -154 less than r?
False
Suppose -2*z = 2 - 42. Let b = -21 + z. Which is smaller: b or -3/10?
b
Suppose -s - 3*z = 32, 4*s + 4*z = -s - 116. Let m = -3561 - -3543. Is s greater than m?
False
Let o = 455 + -454. Let h = -59 + 296/5. Which is smaller: o or h?
h
Let q be 5/3*(-135)/15. Let w be 2/q*(-20)/(-24). Are w and 0 equal?
False
Let a = 7.863 + 0.037. Let p = a + -30.9. Which is bigger: p or -1?
-1
Suppose 5*h = 4*j + 1421, 4*j = -2*h - 1526 + 112. Which is greater: -356 or j?
j
Suppose 7*y = -3*d + 8*y + 6, 4*y = -12. Is d equal to 6/109?
False
Let t = 105 + -104. Suppose -3 = -2*s - t. Which is greater: s or -0.057?
s
Let a = 52.1 - 51.9. Which is smaller: -35.3 or a?
-35.3
Let r = 32 + -35. Let g be (-1 + (-4)/r)/(96/324). Is 0 not equal to g?
True
Let h(a) = -a**2 - 6*a + 67. Let x be h(6). Let l be (x/(-10))/(4/8). Is l less than -2?
False
Let x be (-2)/(-18)*2 + (-3182)/(-18). Let b = x + -98. Which is greater: b or 78?
b
Let h = 7240/207 + -314/9. Let f(d) = 104*d**2. Let o be f(1). Let g = 104 - o. Which is greater: h or g?
h
Let i be (-7 - -6)*(-2539)/13. Let m = i + -195. Is m not equal to -1?
True
Suppose 358*a - 347*a = 11. Are a and -1/545 nonequal?
True
Let v = 755 + -761. Let m = -20 - -20. Which is greater: m or v?
m
Let k = 31 - 3. Let p = k - 27.96. Is 1/3 at least p?
True
Suppose 2*n = -0 + 12. Suppose -n - 34 = 2*r. Which is bigger: 1 or r?
1
Let p = -1 - -1. Suppose 2 = 3*f - 1. Suppose p = -2*y - 3 + f. Which is bigger: -3/4 or y?
-3/4
Let d = -1 + 0. Suppose -g = -2*h + 1, -10*h = 2*g - 9*h - 3. Is g > d?
True
Let w = 46 - 130. Let b = w - -83.9. Is -27 equal to b?
False
Suppose -3 = -5*c + 5*n + 7, -3*c = n + 2. Is c less than or equal to 9/8?
True
Let m(u) = u**2 + 17*u + 66. Let b be m(-10). Let s be (-7)/2 + 2/2. Which is smaller: s or b?
b
Let c = 236 - 457/2. Let j = 43/6 - c. Let s = 1564 - 1567. Are s and j non-equal?
True
Let i(f) = -5*f**2 + 17*f - 10. Let p be i(3). Let k = -16 - -29. Let d = 7 - k. Which is greater: d or p?
p
Suppose -o = -5*b + 9*b - 4, 3*b - 5*o = -20. Are -3/236 and b unequal?
True
Let i be (-2)/7*6/4. Let a be (-14)/5*(105/(-14))/3. Suppose u - 2*u = -2*p, a = 5*p + u. Is p > i?
True
Suppose -5 = -4*h - 3*x, h + 3*x - 7 = 8*x. Suppose -u + 3*a = -h*u + 11, -3*u - 11 = -2*a. Is u greater than 0?
False
Let j = 0.046 - 0.046. Is -0.24 smaller than j?
True
Let i = 61 + -118. Let r = 286/5 + i. Let w = -2 + 2. Which is smaller: w or r?
w
Suppose 84 = -448*l + 452*l. Is l greater than 0.08?
True
Suppose -c - v + 15 = 2*v, 0 = 2*c + v - 40. Let b = 22 - c. Which is bigger: 1/181 or b?
b
Let a = 790/29 - -17785/87. Let g = a - 222. Which is greater: 10 or g?
10
Suppose 2*w + 3*w = 0. Let s be 6/(-15)*((-15)/6)/(-5). Is w smaller than s?
False
Let l(m) = -m**3 - 6*m**2 + 8. Suppose 4*o - 24 = 8*o. Let y be l(o). Let r(s) = 2*s - 13. Let i be r(y). Which is smaller: i or 2?
2
Suppose 4*y + 4 = 4*b, -5*b + 43 = 5*y - 2. Suppose -5*a + y*a = -2. Suppose -4*t = -2*f + 4, 2*t - a*f - f + 10 = 0. Is 1/6 at least as big as t?
False
Let z = 770.9 - 771. Which is greater: 6 or z?
6
Let n = 95.7 - 96. Let t = -2 + -1. Let l = t + 5. Is l not equal to n?
True
Let r(y) = y**2 - 16*y - 16. Let i be r(17). Which is bigger: i or 7?
7
Suppose 5*c = 25, -4*c - c - 45 = 5*x. Let b(y) = -2*y - 14. Let w be b(x). Suppose z - 2*n + w = -2, 18 = -z + 4*n. Is z smaller than -14?
False
Suppose -5*z + b + 9 + 6 = 0, 0 = -2*z - 3*b - 11. Let v be (1/2)/(775/(-390) + z). Is v at most as big as 38?
False
Suppose -68 = -2*h + 4. Let m be ((-2)/(-6))/(26/h). Suppose 3*c = -z + 4, 3*c - 764*z + 759*z = -20. Which is greater: m or c?
m
Let m(h) = h**3 + 13*h**2 + 6*h + 3. Let k be m(-6). Suppose -k = 5*p + 91. Is -63 > p?
False
Let j(x) = x + 4. Let f be j(4). Let m = -14 + f. Let s be 19/m - (-6)/2. Which is smaller: 0 or s?
s
Suppose 0 = -2*n + 7 + 33. Suppose 2*r - 6*r + n = 0. Let t be (18/30)/(1/r). Which is smaller: 4 or t?
t
Suppose 341 = 2*j - 93. Let i be -4 + 1 - j/(-63). Which i