)). Is 0 greater than o?
False
Let d = -1.19 - -1.41. Let x = -0.03 + d. Is x at most 3?
True
Suppose 45*o + 11 = 46*o. Is o at most as big as 107/10?
False
Suppose -3*d + 3*w + 6 = -2*w, 21 = -4*d - 3*w. Let o(g) be the second derivative of g**4/12 + g**3/6 - 7*g**2/2 + g. Let k be o(d). Is k != -24/11?
True
Let z = 0.1556 + -0.0556. Is z < 2?
True
Let a be (-66)/231 + 34/70. Let w = -83 + 1163/14. Which is smaller: w or a?
w
Let q = 15511 + -1209895/78. Let g be 4 - 150/36 - 28/(-78). Let f = q - g. Is -2 not equal to f?
True
Suppose -5*y + 5*j + 360 = 0, 3*y + 3*j - 228 = -0*y. Suppose -14 + y = -6*w. Is w greater than or equal to -10?
True
Let n(y) = -y**3 + 13*y**2 - 13*y + 14. Let r be n(12). Suppose -33*k = -29*k - 56. Is k bigger than r?
True
Let v = 22 - 22. Suppose v = -15*b + 19*b + 4. Let w be 10/(-52) + (-1)/(-2). Which is bigger: b or w?
w
Let a(h) = h + 4. Let z be a(-4). Let u be (-3 - -4)/(-1)*-5. Let k = u + -4. Which is smaller: k or z?
z
Let i be (-29)/(-21) - (-7)/21. Let t = 42 - 40. Suppose -1 = t*f - 7. Is i <= f?
True
Suppose -2*a = 4*c + 19 + 9, 5*a = -2*c - 54. Let l be (8 + -9)*(-2)/a. Which is greater: l or 2/7?
2/7
Let m = -17705/11 + 1607. Let d = m - -26/11. Are 2/3 and d non-equal?
True
Let v = -1 - 0. Let u be (-45)/(-396) - (-2 + 1)/4. Do u and v have the same value?
False
Let g = -1103 - -1103. Which is smaller: g or 8/17?
g
Let a be 25/(-27) + 1 + 0. Let p = -200 - -140. Let z = 61 + p. Is z equal to a?
False
Let g(y) = y**2 + 29*y + 29. Let c be g(-27). Which is greater: 3/13 or c?
3/13
Let n be 1/((-4 + 2)*(-1)/(-2)). Let z be (-164)/(-336) - n/(-2). Is 1 less than or equal to z?
False
Let g be 39/(16/(-4) - -3) + 1. Is -38 less than g?
False
Let m = 73 + -48. Let u be (1972/145)/(6/15) + -9. Is u bigger than m?
False
Suppose 36*x + 644 = -364. Is x smaller than -4?
True
Let t(o) = 2*o**3 - 7*o**2 - 8*o + 7. Let s be t(5). Suppose -n - s = 2*n. Which is smaller: n or -15?
-15
Let v = 0.3 - 0.1. Let j = 2144 - 2126. Is v > j?
False
Let c = -2 - -3/2. Suppose -3*m + 2 + 19 = 0. Suppose -m*v = -2*v. Is c <= v?
True
Suppose -2*r + 25 = -6*q + 7*q, -2*q + 45 = 5*r. Which is greater: q or 9?
q
Let h be (-930)/(-5)*(-2)/(-6). Which is smaller: h or 61?
61
Suppose 0 = -13*x - x + 924. Is x <= 64?
False
Let w = 107121/23281 + 33/751. Which is greater: 5 or w?
5
Let v = -3.02 - -2.82. Are -180 and v unequal?
True
Let p = 1.18 - 2.18. Is -102 equal to p?
False
Let u(a) = -a - 5. Let j(r) = r**3 - 4*r**2 - 5. Let f be j(4). Let g be u(f). Let v be 1/(15/(-18)) + (0 - 0). Is v bigger than g?
False
Let d = -0.08 - 3.92. Let f(u) = -u**3 - 10*u**2 + 4*u + 119. Let p be f(-9). Is p > d?
True
Let m = -16.2 + 16.2. Is 15 less than m?
False
Let o be 3*5/(-15) - -1*2. Let t be -18 - -30 - (2 - o). Is t > 12?
False
Suppose 4*k = -3*k - 133. Let w = -15 - k. Suppose -y + 14 = t - 3*y, -5*t = 3*y - 18. Which is smaller: t or w?
w
Let f = 42 - 35. Let l be (f/(-14))/((-9)/6). Let r = 137 + -2331/17. Is l not equal to r?
True
Let m = -21.6 + 22. Let y = m + -19.4. Which is greater: y or 2/3?
2/3
Suppose 4*t = -28*i + 32*i - 40, -4*i + 46 = -5*t. Is t < -3?
True
Let g(j) = 2*j**3 - j**2 - 9*j + 11. Let l be g(2). Which is greater: l or 4?
l
Let i(u) = u**3 + 6*u**2 + 3. Suppose 5*q + 27 = -3. Let b be i(q). Suppose 0 = -b*p - 2*f + 18, f - 14 + 2 = -2*p. Is p greater than or equal to 6?
True
Suppose 4*k + 6 = 3*d, -2*k - 2*d = -4*d + 4. Suppose k = -4*t - 20 + 12. Which is bigger: t or -7/4?
-7/4
Let s = -701 - -964. Is 263 greater than or equal to s?
True
Let r(j) = -j**3 + 4*j**2 - 5*j + 3. Let f = 0 + 3. Let m be r(f). Let w(c) = 2*c**2 + 140*c + 399. Let p be w(-67). Is m less than p?
False
Let r be 4*(-1 + 1/3 - -3). Which is bigger: r or 9?
r
Let f(b) = b**3 + 9*b**2 + 8*b - 1. Let n be f(-8). Let g be ((4 - 4) + 2)*n. Which is smaller: -1 or g?
g
Let r = 0.25 + -0.45. Let m = -77 - -113. Let c be 1 + m/33 + -2. Is c < r?
False
Let k = -506 + 508. Let i = 2.08 + -2. Do i and k have different values?
True
Let c = 241 - 152. Let r = c + -133. Which is bigger: r or 0.1?
0.1
Let c be 4 - (-13 - -2) - 0. Let b = c + 13. Is 29 > b?
True
Let g(n) = 43*n + 344. Let w be g(-8). Which is greater: w or -1/999?
w
Let u(b) = b**3 + 13*b**2 + 28*b + 2. Let h be u(-14). Is -586 at least as big as h?
True
Suppose 4*m = -0*m + 24. Let h = -3561 + 3564. Is h at most as big as m?
True
Let r be 1166/99 + (-4)/(-18). Let m = 11 - r. Which is smaller: -24/11 or m?
-24/11
Let l = 20987/6 - 3507. Let p(g) = g**2 + 17*g + 20. Let s be p(-15). Is s smaller than l?
True
Let h = 21/5 + -47/10. Let b = -814 - -28486/35. Which is bigger: h or b?
b
Let g(c) = -c**2 - 6*c - 4. Let x be g(-5). Let p be (x + -2)/((-10)/150). Does 15 = p?
True
Suppose 0 = -2*w - 2*y - 212, 0*w - 2*y - 317 = 3*w. Let a = w - -1567/15. Is -1 smaller than a?
True
Suppose -5*u + 104 = 359. Let s = -273 - -223. Which is smaller: u or s?
u
Let h be 5*(-4 + 1*(-3 - -13)). Suppose -4*v + 7*v = h. Suppose -5*l - 2*u + 46 = 0, l = 2*l + 5*u. Is v <= l?
True
Suppose 20 = -5*t, 5*x - 1 - 5 = -t. Suppose -2 = 3*z + 9*d - 8*d, 10 = x*z - 5*d. Is 1/25 smaller than z?
False
Let u = 724.935 + -725. Which is smaller: u or 8?
u
Let y = -5856 - -1048238/179. Is y < 1?
True
Let c = -2.01 + 1.9. Let p = c - -0.08. Let a = 82 - 244/3. Which is bigger: p or a?
a
Let f be 6 + (-117)/(-36) + -9. Which is smaller: f or 1?
f
Let i = 15 + -13. Let j be 1/i*(5 - -1). Suppose j*r - 28 = -1. Is 9 != r?
False
Suppose 2*d + 2*d + 20 = -4*f, 2*d = 4*f + 14. Let r(s) = -s. Let m be r(-5). Suppose 3*b + 2 = -m*i - 10, -2*b - 8 = -3*i. Is b < f?
False
Let x be 3*(2*-1)/2. Let u(a) = -a**3 + 9*a**2 - 13*a - 2. Let v be u(7). Suppose -z + 2*j = 0, 2*z = -0*z + v*j + 2. Is z smaller than x?
True
Suppose z + 4*a = -106, z = 4*z - 3*a + 318. Let t = z - -323/3. Which is bigger: 3 or t?
3
Let z(p) = -p**2 + 15*p + 102. Let c be z(20). Is -1 not equal to c?
True
Suppose 4*i - 111 = -83. Let m be i/(385/50)*3*1. Which is greater: 2 or m?
m
Let d = -287.121 - -287. Let y = 1.101 + d. Let h = -0.02 - y. Which is greater: 3 or h?
3
Let j = 12 + -6. Let d be 6/j + (2 - 7). Let y = 8 + d. Do y and 2 have the same value?
False
Let l be (-564)/880 + (-20)/(-25). Which is smaller: l or 1?
l
Let q = -4 + 5. Suppose 4*a = 0, -q = 2*u - 3*a - 3. Suppose 2*c = 1 + u. Is 1 not equal to c?
False
Let y be (-3)/7 + (-39940)/(-93100). Which is bigger: 0 or y?
y
Suppose -4*l - 10 = 2*r - 38, l - 19 = -2*r. Let u be r/(-154)*(-63)/18. Which is smaller: u or 1?
u
Suppose 0*a - 3*a = -9. Suppose -3*h = a*s + 21 + 33, -2*h = s + 19. Suppose -5*m + 10 = 0, -3*m - 38 - 4 = 3*c. Is c <= s?
False
Let j = 61/71 + 4501/1207. Are j and 6 non-equal?
True
Let g = 2 + 11. Suppose -2*w - 5*h = -w + 3, -39 = -3*w + h. Which is smaller: g or w?
w
Let r(x) = -7*x - 39. Let j be r(-13). Let n = j - 51. Is 0 greater than or equal to n?
False
Let a = 11 + -137. Let m = a + 167. Is m >= 41?
True
Suppose -2*h = -3*h - j + 15, 0 = 5*h + j - 71. Suppose c + c = -h. Let a = 20 + -28. Is c smaller than a?
False
Suppose -5*b + 3*b + 5*k - 12 = 0, -4*b - 2 = k. Let i be (b/(-46))/(5/20). Is -0.6 > i?
False
Let j be (-48)/20*1 + 4/10. Let p(v) = 8*v**2 + 5. Let u be p(j). Is 38 bigger than u?
True
Let w(g) = g**3 + 2*g**2 + 2*g + 1. Let r be w(-2). Let t = -13 - -9. Let k = t - r. Which is smaller: -2/45 or k?
k
Let j(v) be the first derivative of 0*v + v**2 + 5 + 1/3*v**3. Let k be j(3). Is k bigger than 15?
False
Let b = -0.201 - -25.101. Let l = 25 - b. Let h = 6 - 11/2. Are l and h unequal?
True
Let i(t) = 10*t - 74. Let d be i(-9). Which is smaller: -166 or d?
-166
Suppose -5*a = -3*k - 105, -4*a = 4*k - 102 - 14. Let y be 1/(-4) + a/(-32). Let g(d) = -7*d**3 - 2*d**2 + 2*d - 1. Let n be g(1). Is n bigger than y?
False
Suppose 3*o = 4*i + 18, -4*o - 2*i + 3*i = -24. Let s(x) = 5*x**2 - x. Suppose 2*h + 4 - 2 = 0. Let y be s(h). Is o greater than or equal to y?
True
Let t(a) = 3*a**3 + 39*a**2 + 17*a + 13. Let v be t(-12). Is 240 not equal to v?
True
Let t = 44 + -44.21. Let a = 15.21 + t. Let i = a - 16. Is 15 > i?
True
Let s = -287/747 - -4/9. Is 0 less than or equal to s?
True
Suppose -4*t + 7 + 9 = 0. Suppose -2*w = -2*h + 4, 0 = 2*h - 0*h - t*w - 4. Let 