 -5*y = w - 1312, 3*w - y = 5*w - 2651. Let i = w - 307863/232. Let s = i + 921/1624. Is s at most as big as 0?
False
Let y = -141471 - -3543501/25. Let o = y + -269. Is -1 at least o?
False
Let r(g) = -g. Let n be r(-2). Let x be (n - (-1)/(-1)) + -8. Let p be x + -6*1/(-2). Which is smaller: 0 or p?
p
Suppose 2*x + 12*x = -28. Which is greater: x or -7/8?
-7/8
Let f be ((-4)/(-16))/((-38)/(-8)). Suppose -5*k = -4*k. Which is smaller: f or k?
k
Let o = -2.2 + -0.8. Let x = 6 + o. Is 1 > x?
False
Suppose -2*m - 3*l = 0, 3*l - 1 = -3*m - l. Suppose -m*o + 4 = 10. Let k be (-2)/28*o/(-1). Which is bigger: 0.1 or k?
0.1
Let j = -170663/47 - -3631. Which is smaller: j or 0?
j
Suppose -12 = -4*o, -2*o = -0*a - 3*a + 24. Let u be (-2)/(-6) + a/(-21). Suppose -j = 4*j. Which is smaller: u or j?
u
Let v = -7 + 13. Let m = 6.3 - v. Is -2 at most m?
True
Suppose -4*f + 4*i = -8, 2*i + 0 + 6 = 3*f. Suppose 3*z - p - 19 = -0*z, -3*p = 3. Suppose -5*j = -4 - z. Does j = f?
True
Let q be -28*1*(-4)/8. Let j = -13 + q. Which is bigger: 1/8 or j?
j
Let z = -5932/15 - -395. Which is bigger: z or 0?
0
Let c = -3 + 2.95. Let q = -7 - -6. Let k be q*(1/2 + 0). Is k less than or equal to c?
True
Let r = -47/1890 + -1/270. Which is smaller: 1 or r?
r
Let f = -0.062 - -4.062. Which is smaller: f or -4?
-4
Suppose 3*i - 169 = -5*b, 0 = -3*i + 2*i + b + 51. Which is bigger: i or -1?
i
Let f be 116/(-72)*(0 - -3). Let w = -365/2 - -176. Let m = w - f. Is m smaller than -1?
True
Let r(z) = -z**2 + 3*z - 6. Let p be r(4). Let l(a) = a**2 - 14*a - 11. Let g be l(14). Which is smaller: g or p?
g
Let u = -58 + 57.94. Which is smaller: 3 or u?
u
Let s = 13 - 11.8. Let k = s + -0.2. Let h = 4 - k. Which is bigger: h or -0.1?
h
Let u = 5.2 - 9.2. Let q = 0 + 0.1. Which is greater: q or u?
q
Suppose -z + 6 = -4*m - 4, -5*z - 70 = 4*m. Does -9 = z?
False
Let m(s) = 3*s**2 + 6*s**3 + 3*s**3 + s - 2*s**2. Let q be m(-1). Is q at least -10?
True
Let n = -15 - -7. Which is smaller: -7 or n?
n
Let m = 3/194 - -3459/2134. Are m and -2 unequal?
True
Suppose u + 0 = 5*c + 9, -3*u + 14 = -2*c. Let k = u + -2. Suppose 0 = -0*f + k*f. Which is greater: -2 or f?
f
Let p = 2.8 + -0.8. Which is bigger: -13 or p?
p
Let y = 6 - 6.02. Let s = -0.27 - -1.27. Is y not equal to s?
True
Let n be 3/2*12/18. Let m(o) = 5*o**3 - 3*o**2 - 3*o. Let x(v) = -v**3. Let k(q) = n*m(q) + 6*x(q). Let s be k(-2). Do 1 and s have the same value?
False
Let s = -2.1 - -1.2. Let o = 0.1 - s. Which is greater: 2/23 or o?
o
Let j = -5/33 + -31/231. Let o(t) = t - 5. Let y be ((-8)/(-10))/(7/35). Let c be o(y). Is j != c?
True
Let i = 54 + -103. Which is greater: i or 1?
1
Suppose 0 = 3*b - 7 + 19. Let d be 22/18 - b/(-18). Let r = 1 - 0. Is r greater than d?
False
Let r = -0.3 - -0.3. Let m = -0.7 - 0.3. Let u = -1.1 - m. Which is bigger: u or r?
r
Let z be ((-9)/(-3))/((-2)/3). Is -5 equal to z?
False
Let x = -24 + 22. Is x < -5/3?
True
Let n = 12/5 + -2. Which is smaller: 1 or n?
n
Let d be (-673)/(-63) + (1 - 1). Let z = -74/7 + d. Is 2/7 at most as big as z?
False
Let l(k) = -3*k**2 + 14*k + 5. Let j be l(5). Let i be ((-1)/(-3))/((-4)/(-3)). Which is greater: i or j?
i
Suppose 0 = 5*k - 5*u - 0*u - 5, 0 = -2*u. Which is smaller: 3 or k?
k
Suppose 3*q + 8 = 4*g, -6 = q - 4*g + g. Let p be (552/207)/(1 - 7/(-3)). Which is smaller: p or q?
q
Suppose -3*i = 0, 3*z + 2*i = -z. Suppose -2*s + 4*s = -4. Let u be (s/(-6) + 0)*-2. Is u at most z?
True
Let i be (-7)/(-14)*(0 - -2). Suppose 0 = -4*g + 5 - i. Which is greater: g or 1/6?
g
Let k be (-101)/(-378) + 10/(-35). Let q = -25/108 + k. Which is smaller: -0.2 or q?
q
Let n = 6.12 - 0.12. Let x = -17.1 - -17. Are x and n equal?
False
Let i be (2 + 0)*(-3)/24. Is 0 greater than i?
True
Let k be 12/8*(1 - -1). Suppose -5*b + 16 = -m, -2 - 16 = 2*m - k*b. Let z(x) = -x - 7. Let f be z(m). Does f = 1?
False
Let b be 2/72 + (-6)/24. Is b at most -1?
False
Let x = 7 - 6. Let t = x + -2. Is -1/3 greater than or equal to t?
True
Let c(m) = -m**2 + 4*m + 6. Let j be c(5). Suppose 0 = 2*w + 2*w + 956. Let i = 3583/15 + w. Which is smaller: j or i?
i
Let v be (-12)/10*(-10)/3. Let w be 2/(1/(2/v)). Let y = -3044/13 + 234. Is y greater than w?
False
Let o(l) be the second derivative of -1/12*l**4 + 8*l**2 + 2*l + 5/3*l**3 + 0. Let y be o(11). Is y at least 2?
True
Let w = 214.5 - 213. Which is greater: 0.5 or w?
w
Suppose 5*y = y. Suppose u - 5*u = y. Which is bigger: -1/7 or u?
u
Let m = -11 + 11.1. Which is smaller: 7/3 or m?
m
Suppose -40 = -5*u + 4*z, u + z - 4*z - 19 = 0. Suppose u + 1 = -5*p. Suppose 3*x = 6 - 0. Is x at least as big as p?
True
Let x = -247 - -7158/29. Is 1 < x?
False
Suppose 7*x - 2*x = 25. Suppose 2*s + s - 1 = 2*g, x*s + 3*g = -11. Are s and 2/43 unequal?
True
Let u = 25 - 17. Is 23/3 greater than or equal to u?
False
Let g = 21 + -23. Let j = -0.9 - -0.7. Is j bigger than g?
True
Suppose -5*k + 2*b - 5 = 0, 2*k - 3 = -2*b + 9. Let s be (-4)/(-6) + (-2)/(-6). Let v be (s/21)/(k/6). Which is greater: v or -1/2?
v
Let k = -117 + 122.9. Let m = k - 6. Is 8 >= m?
True
Let s be (-4)/6 - 57/9. Are -7 and s equal?
True
Suppose -5*t - 90 = -m, -3*t + 3*m + 0*m - 54 = 0. Let v be t/22 + -2 - -3. Is v greater than or equal to 0?
True
Let h(b) = -b**2 + 6. Let c be h(-4). Is c < -8?
True
Let h = -8/225 - -58/1125. Are 0 and h equal?
False
Suppose -4*h - 15 - 25 = -3*z, 2*z + 3*h - 21 = 0. Is 12 at least as big as z?
True
Let m be 2 + -3 + (-6)/(-1). Suppose -x = -3*f + 20, -5*f - x + m = -3*f. Which is smaller: f or 6?
f
Let c = 2 - 3. Let x(m) = -m**2 + 1. Let k be x(1). Which is smaller: k or c?
c
Let m = -106.966 - 0.034. Let i = 108.02 + m. Let z = 0.02 - i. Which is greater: z or 1?
1
Let j(l) = -l + 6. Let r be j(4). Let n be (20/(-5))/(1*r). Which is greater: 0 or n?
0
Suppose -2*c = 4*y - 4, -c + 6*c + 16 = 3*y. Let l be (14/(-5) - c) + 0. Which is smaller: l or -2?
-2
Suppose 5*s + 10 = -5*y, -5*s + 0*y + 8 = -4*y. Is 2/3 less than s?
False
Let l(j) = j**3 - j**2 - j + 1. Let w be (-12)/(-9)*6/4. Let y be l(w). Let a be -2*((-2)/y - -1). Are -3 and a unequal?
True
Let x = -45 + 14. Do -30 and x have the same value?
False
Suppose -3*j - 2*j = 0. Let a be 10/15 - (-5290)/(-42). Let n = a - -125. Is j not equal to n?
True
Let c be (-16)/(-3) + 2/(-6). Suppose 8 = 4*h - c*s + 20, -5*s = 20. Let y = h - -1. Which is smaller: -6 or y?
y
Let c be (2 - 1)*1/4. Suppose 6*p = p + 10. Let t be p/(-20)*(-12)/(-3). Do t and c have the same value?
False
Let k be ((-1)/8)/(1/(-3)). Suppose 0 = -9*s + 21 - 21. Does k = s?
False
Let s(g) be the third derivative of g**6/120 + g**5/10 + g**4/6 + g**3/3 + g**2. Let r be s(-5). Is 7 greater than r?
False
Let i be (-6)/(-9)*(-3)/(-2). Let v be 3 - 2 - i - -2. Let z be (-46)/(-14) + (-4)/14. Which is smaller: z or v?
v
Suppose 0 = -4*s + 6 - 10. Let x = 2/35 + -43/140. Is s equal to x?
False
Suppose -1 = -m + 2. Suppose 3*p + 5*a = -8, 4 + m = -5*p - 2*a. Which is bigger: -5/4 or p?
p
Let u = 0.9 - 1.1. Let d = 5.3 - 5. Which is smaller: d or u?
u
Let z be (3/(-150))/((-2)/(-8)). Which is greater: z or 1?
1
Let a = 98614/27585 - -29/613. Let r = 151/15 + -20/3. Let b = r - a. Is b at most as big as -1?
False
Let h be 2 + -2 - (-1 - -10). Let f be (h/15)/((-2)/10). Suppose f*i = 5*i - 6. Is 5 smaller than i?
False
Let p be (2 - 0) + (1 - (-12)/(-3)). Which is smaller: p or 1/30?
p
Let z = -4 + -2. Let h = z - -7. Is 1 less than or equal to h?
True
Let k = -2.6 + 1.2. Let j = k - -0.4. Let x = -6.1 - -6. Which is smaller: x or j?
j
Suppose 2*d + 3*y = -0*y - 7, -4*d - 3*y - 11 = 0. Let s = 68 + -73. Does d = s?
False
Let o = 5.89 - -0.11. Let z = -7 + o. Is 0 greater than or equal to z?
True
Suppose 5*p - 4 = -9. Which is greater: p or -8/11?
-8/11
Let v be 3/(2/(84/9)). Suppose -4*r + v = -3*h, 9 + 1 = 2*r. Which is smaller: h or 0?
0
Let k(n) = -7*n - 6. Let f be k(-3). Suppose 2*l + 4 - 19 = -u, l + 3*u = f. Which is greater: 3 or l?
l
Let c = -3499/13 + 269. Is c > -1?
True
Let o(t) = -t**3 + 4*t**2 - 2*t - 1. Let j be o(2). Is j at most 1?
False
Let z(f) = f + 8. Let g be z(-9). Is g smaller than 5/2?
True
Suppose 2*v + 4*s - 70 = 0, 3*v + 11*s = 6*s + 101. Suppose -88 - v = -5*j. Suppose -1 - j = 4*u. Is -6 smaller than 