 = -3*w - 13 - 2, -2*p + 3*w = -25. Let f = p - 6. Let u be (8/(-20))/(f/(-5)). Is u greater than or equal to -3?
True
Let n(a) = -3*a**2 + 3. Let v(l) = -l**2 + l. Let i(w) = n(w) - 2*v(w). Let z be i(-3). Let r = 1.1 + -1. Is r > z?
True
Let u = 0.051 - -0.149. Is u <= -1/3?
False
Let b(h) = h**3 - 4*h**2 + 2. Let v be b(3). Let c = 4 - v. Let i(r) = r - 7. Let w be i(c). Which is bigger: 3 or w?
w
Let o = 1 + -1.1. Let p be ((-14)/8)/((-6)/24). Let f be (4 - (-2 - -4))/p. Is o equal to f?
False
Suppose -3*a + 4*a - 1 = 0. Let r = 8/611683 - 222076441/2715260837. Let q = -1/193 + r. Which is smaller: a or q?
q
Suppose 5*k - 2*f - 34 = 0, -3*k - 3*f + 39 = 2*f. Do k and 8 have different values?
False
Let z = 65411/92 + -711. Which is greater: z or -1?
z
Let k be 4/12 - 158/(-90). Let i = k - 28/15. Let u be (0 - 2)/(-2)*-1. Which is smaller: i or u?
u
Suppose -5*u = 3*p + p - 17, -4*p = -u - 11. Is u bigger than 0.1?
True
Let j = 0 + 0.1. Let t = -0.3 - -0.2. Let r = t - j. Is 1 <= r?
False
Let m = 1/3628 - -47844/907. Let q = -51 + m. Is q less than 2?
True
Suppose 4 = -2*i + 4*d - 5*d, -3*i = 3*d. Is -34 at least i?
False
Suppose 5*i - 5 = 20. Suppose i*d - d = 0. Let n(c) = c**2 + 2*c. Let m be n(-1). Do m and d have the same value?
False
Let i = -65/292 - 2/73. Which is smaller: i or 0?
i
Suppose 3*q + 47 = 2*v, -2*q + 5*q = v - 49. Let p = q - -50/3. Which is smaller: p or -0.06?
p
Suppose 4*l - 9*l + 25 = 0. Suppose -l*f - 2*n + 29 = 0, 2 = 2*f + 3*n - 14. Which is smaller: f or 3?
3
Let q = 170.1 + -170. Which is greater: q or 74?
74
Let i = 16.9 + -11. Let h = i - 6. Is h less than 3/4?
True
Let t = -0.03 + 0.08. Let q = -1.05 + t. Is -0.1 <= q?
False
Let v = 12 + -11. Is v >= 2/5?
True
Let u(n) = n**3 + 4*n**2 - 9*n - 6. Let o be u(-6). Which is greater: -22 or o?
-22
Let j be 26/24 + 4/(-3). Is 35 at least as big as j?
True
Let c = 20 + -15. Let j = 10 - 5. Is j less than c?
False
Let y be 2 - 1*(-1 - 1). Suppose 6 = -y*r + r. Let d = -2 - r. Is 0 < d?
False
Let b = 2.39 - 0.36. Let v = -0.03 + b. Let r be ((-2)/(-5))/(-1) + 0. Is r less than or equal to v?
True
Let q be 1 - (-9 - -10 - (-1)/2). Which is bigger: -13 or q?
q
Let x = -0.2 - 2.8. Let p = -1 - x. Which is bigger: p or 3/7?
p
Let n be 6/(-4)*(-2)/(-4). Suppose -25 = -4*g + 4*j + j, 4*g = 2*j + 10. Which is greater: n or g?
g
Suppose 0 = -5*o + 2 - 7. Is -1 > o?
False
Suppose -6*i + 2*i + 36 = 0. Which is bigger: -2/3 or i?
i
Let g = -1 - 0. Suppose -3*r - 6*r - 63 = 0. Is r <= g?
True
Suppose 6 = 3*b - 9. Suppose -b = -3*s + 2*s. Suppose -3*r = -7*r - g - 6, 4*g + s = 3*r. Which is smaller: 0 or r?
r
Let h = 0.13 - 0.53. Let q(i) = i - 21. Let t be q(20). Which is smaller: t or h?
t
Suppose 3*w - 8 = w. Suppose 0*l - w*l = -8. Is l equal to 2?
True
Let x = -7 - -9. Let o = x - 7. Let y = o + 5.1. Which is greater: y or -0.2?
y
Let h(o) = o**3 - 12*o**2 + 10*o + 13. Let k be h(11). Suppose 2*g - 5 = -b, 4*g - k*g = -3*b - 1. Let u be 1 - 3/2 - 0. Which is smaller: b or u?
b
Suppose -4*k + k + 3 = 0. Let l be (-14*k)/(-2*1). Is 7 not equal to l?
False
Suppose 20*f - 6*f - 14 = 0. Is f bigger than 3/68?
True
Let g = 139 + -83. Let t be (-16)/g + 12/(-7). Which is smaller: t or -6/7?
t
Let a be (-18)/(-16) - (-3 - -2 - -2). Is a at least as big as 0.3?
False
Suppose -5*m - 309 = 4*u - 8*u, -u + 306 = -5*m. Let w be m - (0 + -1)*-2. Let h be (-6)/(-21) - (-39)/w. Is -1 < h?
True
Let v = 12 - 12. Suppose v = d - 2*d. Which is smaller: 3/11 or d?
d
Suppose -3*w + 8 = w. Suppose 0 + w = 2*m. Let z = m + -2. Which is smaller: z or -2?
-2
Let u = 65.043 - 0.043. Is u not equal to 1?
True
Let r = 5/17 - -41/34. Which is smaller: r or 3?
r
Suppose -3*v - 5*x + 7 = 0, v - 3*x - 21 = -0*v. Let n be (6 + 0/1)/2. Suppose -n*m + 0 = -v. Are m and 1/4 non-equal?
True
Let w be 6/(-4) - 3/(-6). Let q = -2 - w. Let s = 64/3 + -22. Does q = s?
False
Let x = 0.24 + -0.64. Is x at most -0.3?
True
Suppose 3*t = 2*t - 3. Let q = 2 + t. Let c be 17/(-7) - -2 - q. Which is smaller: c or 2?
c
Let i(l) = -l**3 + 3*l**2 + l. Let q(o) = -3*o**3 + 6*o**2 + o. Let d(j) = -5*i(j) + 2*q(j). Let c be d(-2). Which is greater: c or -2?
c
Suppose -60*h + 5 = -55*h. Which is smaller: h or -1/29?
-1/29
Let a = 0.2 - 0.1. Suppose 4*w = -4*u - 0*w - 32, 5*u - w + 16 = 0. Let v = 6 + u. Do v and a have the same value?
False
Let q(h) = 3 - 2*h - 3 + 5*h + 6*h**2. Let w(x) = 7*x**2 + 3*x + 1. Let a(j) = -6*q(j) + 5*w(j). Let o be a(-4). Which is greater: 1/3 or o?
o
Let v = -7 - -6.9. Let x = -19 - -24. Which is smaller: v or x?
v
Let w be 2 + (0 + 1 - 2). Let l = 12 - 10. Suppose l*o = -3 + w. Are -1 and o nonequal?
False
Let w(b) = b - 36. Let a be w(6). Which is smaller: a or 0?
a
Let d = 0.3 + -1.3. Let k = d - -10. Is k < 1?
False
Suppose 4*t = 3*u - 399 + 119, 0 = 5*u + 5*t - 525. Let r = 4 - 13. Let j be u/126 - (-2)/r. Is 1 bigger than j?
True
Let m(u) = u**3 + u**2 + u + 4. Let d be m(0). Suppose -d*p - 8 = -28. Are 1 and p equal?
False
Let p = 12 + -14. Is p != 3/4?
True
Let q = -1163/6 + 193. Suppose 2*p + 3*p = 0. Which is bigger: q or p?
p
Let c = 19/60 + 7/20. Suppose -3*t = 4*b - 0 - 3, -5 = -5*t - 5*b. Is t equal to c?
False
Let l(d) = -d - 4. Let k be l(0). Let z = -8 - -13. Suppose x - 8 = z*x. Is k bigger than x?
False
Let w = 31 - 31. Which is greater: -3/10 or w?
w
Let g = -0.023 + 0.223. Which is greater: g or -0.09?
g
Let w = 0 + -0.04. Let t = -2.94 - w. Let u = 3 + t. Is u > 2/13?
False
Let t = 2/1435 + -22978/12915. Which is smaller: t or -1?
t
Suppose -3 = r - 4. Is -1/8 equal to r?
False
Suppose 2*m - g + 8 = 7*m, -g - 2 = -5*m. Which is smaller: 4/13 or m?
4/13
Let r be 33/(-22)*2/(-1). Let x = -7 + 1. Let k be 2/x*(-18)/21. Which is smaller: r or k?
k
Let j = 38 + -39. Are j and 1/40 equal?
False
Let z be (-1)/(-15)*21*-5. Let q = -2 + 2. Suppose -32 = -q*k + 4*k. Is z >= k?
True
Let p(d) = d + 2. Let x = 1 - 3. Let l be p(x). Which is smaller: 1/7 or l?
l
Suppose 4*n + 32 = -3*u - 151, -n = -4*u - 244. Is u > -59?
False
Let v = 10 + -16. Suppose -48 = 6*j - 18. Which is bigger: j or v?
j
Let z(j) = -j**2 - 6*j - 8. Let i be z(-6). Let q be 1/(-6)*i/(-14). Which is smaller: q or 0?
q
Let i = 3 + -6. Let v be (-11 + 10)/(2/8). Which is bigger: i or v?
i
Let s be (-6132)/175*(-10)/(-4). Let u = s + 88. Let r(g) = -g + 3. Let a be r(3). Which is smaller: u or a?
a
Suppose 3*q + 7 - 22 = 0. Is 25/6 > q?
False
Suppose -3*w = -5 - 10. Suppose 0*q - 3*q = -w*b + 6, 3*b + 4*q + 8 = 0. Which is bigger: -1 or b?
b
Let q = -0.8 + -4.2. Let c = 5.3 + q. Is c less than or equal to -1?
False
Let h = 42 + -42. Is -1/30 < h?
True
Suppose 3 = -3*g + 18. Let f = g - 3. Which is greater: 4 or f?
4
Let i(v) = -6*v + 8. Let t(w) = 7*w - 8. Let g(x) = 6*i(x) + 5*t(x). Let n be g(7). Is 2/3 greater than n?
False
Let x(o) = o + 2. Let k be x(2). Is 26 at most as big as k?
False
Let o = 11 + -13. Let t = o - -2. Which is greater: t or 1/4?
1/4
Let m(d) = d**3 - 3*d**2 + d - 3. Let a be m(3). Let q = -3 + 5. Which is greater: q or a?
q
Let f = 5 + -4. Let g be f*((-22)/(-12))/(-11). Is g != 0?
True
Let t be 1/(-4) + 1/2. Let j = -0.5 - -0.3. Let u = j - 0. Is t less than or equal to u?
False
Let z be 80/5 + (1 - 3). Suppose -4 = 3*f + 4*h - z, -h + 22 = 4*f. Suppose 0 = r + 2*r + f. Is -1 greater than r?
True
Let r = -103 + 103.09. Which is bigger: -1/4 or r?
r
Let n be (-24)/22 - (-3 - -2). Let c(o) = o**2 + 12*o - 12*o - 1. Let j be c(1). Is j equal to n?
False
Let a = -1/27 - 133/54. Is -3 > a?
False
Let f be (-891)/(-10) - (-2)/5. Let d = f + -3403/38. Are d and 1 non-equal?
True
Let t be -1 + 3 + 125/4. Which is bigger: t or 32?
t
Let r = -25 + 28. Let g = -4 - -5. Is r at least as big as g?
True
Let x = 16 + -16. Is -0.3 less than x?
True
Let s = -5 - -11. Let l(w) = w**3 - 9*w**2 + 15*w - 5. Let c be l(7). Suppose c*m - 5*y = 39, -2*m + 5*y = -3*m - 18. Is s < m?
True
Suppose 4*f + 0*s = 2*s - 6, 0 = -2*f + 3*s - 9. Let v = 63 + -66. Which is greater: v or f?
f
Suppose -5*t = t - 18. Which is smaller: -34 or t?
-34
Let j be 6*9/((-27)/2) - 4. Which is smaller: j or -47/5?
-47/5
Suppose -5 = 2*q + 3*q. Let n be ((-3)/(-4))/((-60)/(-32)). Which is greater: n or q?
n
Let s = 10.1 - 14. Let u = -4 - s. Is