5*o - 2 = -2*l + 2. Suppose 4*c - 8*c = 4*h - 16, l*c + 4 = 2*h. Which is bigger: c or -1/32?
c
Let p = 51 + -53. Let i be ((-30)/54)/(17/(-6) - p). Which is smaller: i or 1?
i
Let a(y) = 15*y - 24. Let k be a(-4). Let f = 83 + k. Is f > -1/5?
False
Let y = -326 + 328.99. Let v = -3 + y. Let p = 0.01 + v. Do p and -0.8 have the same value?
False
Let m(o) be the third derivative of -83*o**4/24 + o**3/6 - 9*o**2. Let q be m(1). Let d be 22/(-33) - q/6. Which is greater: d or 12?
d
Let c = 0.6 - 0.5. Let r = 41.6 - 7.6. Let t = -55 + r. Which is bigger: t or c?
c
Let c = -1 - -4. Suppose q + 0 = c. Let b = q - 4. Which is smaller: -1/12 or b?
b
Let z be 30/(-56) - 2/(-7). Let j = -66 + 141. Let t = j - 71. Is t != z?
True
Let j = -0.14 - -7.14. Let l = 31 - 21. Let d = 9 - l. Does d = j?
False
Let h = -18157/10 + 1816. Which is greater: h or 0?
h
Let l = -67 + 62.4. Which is smaller: l or 2?
l
Let d be (6/(-9))/((-6)/(-9)). Suppose -3*a + 4 = -2. Let v be (-2)/a - (-5)/4. Which is greater: v or d?
v
Let l = 24 - -2. Let g be (-3)/(-9)*0*1. Suppose 2*d - 4*d - l = g. Which is greater: -12 or d?
-12
Let z = -1.2 - -1.28. Let o = -0.113 - 2.887. Which is smaller: z or o?
o
Let j = 0.47 + -0.3. Let z = -367 + 247. Let h = z + 120. Is j >= h?
True
Let m be 2/(-5)*(4 + -1). Let i(n) = -n + 7. Let o(u) = 2*u - 13. Let l(z) = -5*i(z) - 3*o(z). Let w be l(6). Is m greater than w?
True
Let x = -375 + 344. Which is smaller: x or 8?
x
Suppose 23*o + 100 = 73*o. Let w = -27 - -55/2. Is w greater than or equal to o?
False
Let n be ((-884)/(-220) - 4)*1. Do -1 and n have the same value?
False
Suppose -4*j - 6*j + 2090 = 0. Let q = j + -619/3. Which is smaller: q or 4?
q
Let z(h) = -h**3 + 7*h**2 + 6*h + 6. Suppose -4*i - 12 = t, -i - 50 = -5*t + i. Let s be z(t). Let l be (-6)/5*s/(-3). Is l at least as big as -21/5?
True
Let k = -9845/2 - -5014. Let o = -5311/58 + k. Is 0 smaller than o?
False
Let d be (-957)/11 + (0 - -8) + -3. Which is bigger: 4 or d?
4
Let r = 49 - 641/13. Let p = 0.03 + -2.03. Is r >= p?
True
Suppose 0 = h + h - 38. Which is smaller: h or 25?
h
Let s = -40 - -26. Let w(q) = -q**3 + q**2 - q - 13. Let u be w(0). Which is smaller: u or s?
s
Suppose -9*n = -4*n + 5*r - 15, n + 2*r = 6. Which is bigger: n or -21?
n
Let z = 29.2 + -29.9. Let d = 17/65 - 6/13. Is d > z?
True
Let q = 2106 - 2107. Is -31/46 smaller than q?
False
Let v = -0.25 + 0.77. Let m = 49 - 49. Which is bigger: m or v?
v
Let m = -52 + -216. Let l be 2/4 - m/(-32). Let v = 8 + l. Do -1 and v have different values?
True
Let i = 85.26 - 85. Let j = i - -13.74. Are -1 and j non-equal?
True
Suppose 10*l - 627 = 3993. Is 460 >= l?
False
Let p = 7 - 7. Suppose -2*a - 113 = -g, p*g + g - 1 = 0. Is -0.2 > a?
True
Let h be 4*4/16*(-60)/(-1). Let u = h - 55. Is 2 less than u?
True
Let m be (8/(-12))/(1/39). Let j = -14 - m. Is j not equal to 14?
True
Let m be (-7)/((-21)/174) - 1*4. Let i = 77 - m. Is 23 > i?
False
Let d = -27/2 + 67/5. Let v = 3/5 + d. Is v less than 0.06?
False
Let b = 42.72 + -42.4. Which is smaller: 6 or b?
b
Let h(y) = -y**3 - 6*y**2 - 7*y + 2. Let z(f) = -f**3 + 12*f**2 + 13*f - 5. Let v be z(13). Let n be h(v). Do n and 12 have the same value?
True
Let y = -0.991 + -0.009. Let j = -12771/31 - -412. Are j and y unequal?
True
Let n = 75.424 - 0.424. Is n > 0.03?
True
Let m = -328 + 327. Is 1/12 smaller than m?
False
Suppose y + 4*y - 10 = 0. Suppose y + 6 = -4*g - 4*s, 3*s + 6 = 4*g. Which is bigger: 1/25 or g?
1/25
Let y(u) = 8*u**2 - 17*u - 13. Let k be y(-7). Is k equal to 497?
False
Let i = 9 + -25. Let q = i + 7. Let s = 27 + -28. Is s <= q?
False
Suppose -4*f - 2*o = o - 13, 2*f + 4*o - 4 = 0. Suppose n - f = 44. Suppose 0 = -3*d - d + n. Is 14 at least as big as d?
True
Let g = 0.785 + -0.79. Let p = -1.105 - g. Is p greater than or equal to -1?
False
Let b = 6 + -6. Is 882 < b?
False
Let y = -89/4 + 22. Let p = -1.99624 + -0.00376. Do p and y have the same value?
False
Let o = 18329265/629 - 490932/17. Let a = -262 + o. Which is greater: 0 or a?
0
Let a = -22 + 1165/53. Which is greater: -1 or a?
a
Let u be ((-21)/14)/((-6)/(-14)). Let q(t) = -t - 6. Let b be q(5). Let f = -16 - b. Which is greater: f or u?
u
Let f = -34 + -5. Let a = f - -69. Which is greater: -1 or a?
a
Let f = 0.604 - 630.604. Which is bigger: f or -2?
-2
Suppose 15*t = 14*t + 5. Suppose d - 10 - 61 = m, 2*d - 170 = -t*m. Which is bigger: d or -1?
d
Let w be (2/(-20))/((-148)/(-555)). Which is greater: w or 13/5?
13/5
Let t = -722 - -723. Is 1/732 not equal to t?
True
Suppose 4*z + 10 = 2*z. Let o be 0 - 15/(z + 2). Suppose -o*m = -2*m, -3*f = m - 3. Which is bigger: 3 or f?
3
Suppose -4*g + 0*g = -2*y + 14, -5*g + 2*y - 15 = 0. Let z be 720/768*2/(-3). Is z bigger than g?
True
Suppose -z + 30 = 2*s, s - 5*z + 66 = 5*s. Let d = 13 - s. Let m(y) = -y**2 + 5*y - 6. Let g be m(4). Is d >= g?
True
Let g be -3 + -3*115/(-90). Let x(d) = d**3 - 6*d**2 + 3*d + 12. Let j be x(5). Are g and j equal?
False
Let b = 225/7 + -32. Let a be ((3 - -1) + -12)/1. Let t be a + 11 + 2*-2. Is b less than t?
False
Let w be (-3652)/42 - (-4)/14. Let x = -86 - w. Suppose -3*k = -6*k. Is x smaller than k?
False
Let q = -0.073 + -3.027. Let z = 1.1 + 0. Let y = q + z. Is y at least 0?
False
Let w = 22.6 + 4.4. Let v = w + -31. Is -0.2 <= v?
False
Let d = 2.1 - 1.93. Let w = 1.39 + -0.286. Let s = w - 0.104. Is d at most as big as s?
True
Suppose 275 = -5*c + 4*s, -2*s - 220 = 3*c + c. Let n = c - -12. Is -42 != n?
True
Let j(u) = -u**3 - 3*u**2 - 2*u. Let z be j(-2). Suppose 0 = 4*p - 4*q - 1060, 0 = -4*q - 3 - 13. Let l = -2867/11 + p. Is z bigger than l?
False
Suppose 93 = -n + 94. Suppose 4*v - 3*k = 27, 0 = -3*v - 2*v - 3*k. Is v > n?
True
Let a be 2/(-3) - (-21)/(-9). Let l(m) = -m**3 - 2*m**2 + 3*m - 4. Let g = -8 + 5. Let y be l(g). Which is smaller: y or a?
y
Let p = -5666 + 33877/6. Are 0 and p nonequal?
True
Let u be 3 + (-18)/3 - -10. Let f = -13 + 13. Suppose f*s = 2*s - 12. Which is greater: u or s?
u
Let a be (-444)/23 - (1 - 1). Let h = a + 6837/322. Let c = -5/2 + h. Is 0 equal to c?
False
Let d = 11/72 + -5/24. Let u = -31/234 - d. Let i = 1 - 2. Which is smaller: u or i?
i
Let x be 2/(-5) + (-2)/(-4). Let n be (4 + (-3 - 1))/3. Let k be (2 + n)/(2 - 0). Which is bigger: k or x?
k
Let p be (13/405*-93 - -1) + (0 - -2). Let q = 0 + 0. Is p < q?
False
Let h = 2730 + -1972. Which is smaller: h or -1?
-1
Let c(j) = -j + 9. Let t be c(8). Let r be -33*((-2)/3 + t). Which is smaller: r or -2?
r
Let c be (2 + 3 + -5)*(-5)/(-10). Suppose 5*l + 7*k = 2*k - 5, c = -3*l - k - 3. Which is bigger: l or 1/47?
1/47
Suppose 8 = -6*z - 16. Let q be 2 + 8/(-12)*6. Is q less than z?
False
Let z be (7 - (-124852)/(-8323)) + 8. Which is greater: z or 0?
0
Suppose 1640 + 7324 = -36*l. Is l greater than or equal to -249?
True
Let g be (-3)/935*(-66)/99. Is g <= -1?
False
Let y = -43 + 12. Let g = 33 + y. Which is greater: 1 or g?
g
Let x = 4542 - 935649/206. Is x smaller than 1?
True
Suppose -3*s - 148 = -5*v + 574, 2 = 2*s. Let o = v - 3481/24. Which is smaller: o or 0?
o
Suppose 5*b + 104 = -4*o, 0 = -5*o - 0*b - 4*b - 130. Let x(s) = -2*s - 57. Let u be x(o). Are 4/11 and u non-equal?
True
Let z = 381/1045 + 6/55. Which is bigger: z or -1?
z
Let j be 425/(-25) + 2 + 2. Let o = 18 + -32. Which is bigger: j or o?
j
Suppose 0 = 3*c - 2*n - 82, 4*c - 3*n + 20 = 5*c. Is 24 less than c?
True
Let f(d) = -d**2 + 9*d - 9. Let q(a) = a**2 + 6*a - 19. Let k be q(-9). Let z be f(k). Is z bigger than -5/3?
True
Let y = -11.2 + 10.958. Let s = -0.042 - y. Which is smaller: -2 or s?
-2
Suppose -3*a = -3*u + 15, 6*a = 2*a - 12. Suppose 0*r - 3*r + 4*p - 79 = 0, 0 = -4*r + u*p - 102. Let f be 54/(-10) + (-10)/r. Which is bigger: -3 or f?
-3
Let f = 47086/51 + -923. Which is smaller: f or 0?
0
Let t be (7/(-30) - 0)*(-652)/23961. Which is bigger: t or -1?
t
Let b be (0 - -9)*(8 - 3). Suppose -2*f = 5*k - 9 - 0, -4*f - k = -b. Let h = 11 - f. Which is greater: h or -1/3?
-1/3
Let g(y) = 10*y**2 - 8*y - 2. Let r be g(2). Which is smaller: -1 or r?
-1
Suppose 3*m = -3*p + 2*m - 69, 0 = 4*m. Let g = -21 - p. Suppose g*l + 5 = -21. Are l and -15 nonequal?
True
Let r(m) = -45*m**2 - 219*m - 10. Let q be r(-5). Is q < -40?
False
Let y