-2)/5 - (-139)/335. Let c = w - -121/871. Let k = 638/5 - 128. Is k at most c?
True
Let q = -50 + 39. Is -11 greater than or equal to q?
True
Let g(c) = -2*c + 19. Let p be g(10). Let n be -1 - (-1 - -2)*-6. Suppose 0 = -0*o + n*o + 10. Which is smaller: p or o?
o
Let v be ((-81)/36)/((-2)/(-8)). Let t = v - -5. Is t >= -4?
True
Let n be (-19)/2 - 1/(-2). Let h be 48/n*(-3)/(-2). Let r be (2 + 0)*(-1)/h. Which is smaller: r or 1?
r
Suppose -2*z + 4*q + 7 + 3 = 0, 2*q = -2. Let k be z + -6 + (-3)/1. Is -6 >= k?
True
Let x = 13/2 + -19/3. Which is greater: 1 or x?
1
Suppose -3*y = -y + 2, -s - 4*y = -11. Which is greater: s or 13?
s
Let n = -3.2 - -3. Let g = n + 0. Is g bigger than 2?
False
Let m = -5 + 8. Let t = 29.3 + -26. Let b = t - m. Do -1 and b have different values?
True
Let l = 78 + -72.3. Let a = l - 6. Let r = -0.3 - a. Which is smaller: r or -0.1?
-0.1
Let c be (8/(-10))/(4/(-10)). Let l = -6 + 4. Let d be -2 + 4/3 - l. Is c smaller than d?
False
Let q = -0.54 - -7.54. Is 0 less than q?
True
Let g = 16 - 17. Suppose 0 = -5*r + 4*j + 23, 2*j - 4 = 4*j. Suppose 0*h - r = -3*h. Which is bigger: g or h?
h
Let z = 20.9 - 10. Let v = z + -11. Which is greater: v or -1?
v
Let o be 3/15 - 7/(-15). Is 2 <= o?
False
Let i = -0.1 + 0. Let p = -0.4 + 0.3. Let u = p - i. Which is greater: u or 5?
5
Let u be (12/(-10))/(332/145). Let w be (-89)/249 - 6/(-18). Let j = u - w. Which is bigger: j or 0?
0
Let h be 27/9 - (1 + 0). Suppose -n = -r + n - h, 5 = 4*r + 5*n. Which is greater: r or -1/9?
r
Let v be 66/1 + (1 - 1). Suppose v = h - 6*h - 4*d, 2*h + 4*d = -36. Which is greater: h or -11?
h
Suppose 0 = 5*c + 2 + 13, -5*w + 7 = -4*c. Let t(s) = -s - 3. Let x be t(3). Let q(d) = -d**2 - 6*d - 2. Let m be q(x). Which is bigger: m or w?
w
Let o be (24/1)/(6 + -4). Is o smaller than 2/5?
False
Suppose 2*z - 28 = -2*n, -n + 2*z = z - 12. Which is greater: 12 or n?
n
Let l = 15 - 9. Let r be (-4)/l*(-9)/(-12). Which is smaller: r or 0.11?
r
Let a = 93 - 100.4. Let h = -7 - a. Which is smaller: -1 or h?
-1
Let b = -228/49 + -2/147. Is -6 less than b?
True
Let b be (-424)/50*10/21. Let r = -16/21 + b. Let l = r + 26/5. Which is smaller: 0 or l?
0
Let f be (12/(-16) - -1)/(-5). Does f = 0?
False
Let j = -170/3 + 53. Is j smaller than -4?
False
Let j = 13 + -12.89. Let i = -0.09 - j. Which is smaller: i or -1?
-1
Let v = 34/5 - 8. Which is greater: 0 or v?
0
Let v = 62 + -60. Which is smaller: v or -7?
-7
Let d = 6 - 3. Let c be (-2 + 3)/2*0. Suppose 3*y = 2*q - 2, c*q = -4*q + 4. Is d < y?
False
Let u be 6/9 - 44/(-6). Let d be (-2)/(-21)*(-92)/u. Let x = 3/7 + d. Which is bigger: -0.1 or x?
-0.1
Let q(m) = m + 7. Let p be q(10). Let s = -18 + p. Which is smaller: 1/23 or s?
s
Let q = 472 - 3313/7. Is 0 < q?
False
Let f = 3 - 0. Let r be (-5)/(-20) + f/(-36). Which is greater: -2 or r?
r
Let i = -181 - -176.2. Which is bigger: i or 1/4?
1/4
Let t be 102/4 - 30/(-20). Let q = t + -186/7. Is q < 0?
False
Let v = 6 - 9. Let t be 6*((-21)/(-6) + v). Does t = 1?
False
Let q be (34/(-51))/((-4)/42). Which is greater: q or 36/5?
36/5
Suppose 1 = 3*f - 2. Suppose 2*y + 5*i = -2*y + 234, 2*y = 3*i + 106. Let c be 6/21 + (-30)/y. Which is bigger: f or c?
f
Suppose -3*t - t = 0. Which is greater: 1 or t?
1
Let f = -65189/17549 - -1/2507. Let k = f - -345/91. Which is smaller: k or -1?
-1
Suppose 0 = 4*w - 4*a - 16, -6*w + w + 20 = 2*a. Suppose 4*v = 4*b - 5*b + 7, -4*v - 5*b = 13. Suppose w*c + v = -1. Which is smaller: c or 1?
c
Let j be 42/(-30) - 2/(-5). Let a = 5.06 - 5. Let h = 0.09 - a. Is h at most j?
False
Let q = 243 + -7049/29. Let f(a) = -a**3 - 15*a**2 + a + 16. Let u be f(-15). Are u and q non-equal?
True
Suppose 5*v + 0*v - 5*u = -5, 5*u - 5 = 4*v. Is v equal to -4?
False
Suppose 3*j + 2*r + r - 93 = 0, -2*r = -10. Suppose 3*q - 2*s + j = -17, -5*q - 5*s - 55 = 0. Is q != -14?
True
Let m be 2/4 + 10/(-18). Suppose -5*b = 7 - 2. Which is greater: m or b?
m
Suppose -3*x = 4*z - 39, 32 = 2*z + 2*x + 2*x. Suppose w + 41 = z. Let y be 2/6 - w/(-195). Is -1 at most as big as y?
True
Suppose 2*n - 9 = 3*d, -4*n - d = -0*d - 11. Let r be -1*(2/n + -2). Is 1 less than or equal to r?
True
Let o = -3 + 2.2. Let n = o + 0.5. Which is greater: n or -2?
n
Let v(t) = -t**3 - 2*t**2 + t + 2. Let f be v(-2). Is f at least as big as 7?
False
Let i be 6*(2 - 5/3). Suppose i*h + 2*h = 0. Is -2/23 less than h?
True
Let m = 4 - 3. Let q be (12/(-3))/(m + -2). Let z = -2 + q. Which is smaller: z or 3?
z
Let y be 0 - 0*(2 + -1). Let f be -1 + 62/58 + 0. Which is smaller: f or y?
y
Suppose -4*n = -5*n + 3. Suppose 36 + 0 = -n*k. Which is smaller: -11 or k?
k
Suppose 0 = -o + 2*z + 13, -5*z = -3*o + 5*o + 19. Suppose p + p + 6 = 2*w, p = -o*w + 9. Let u be 0/(6/(-2)) + -1. Is p at most as big as u?
False
Let n be 4/(-8) + (-51)/6 + 0. Does -8 = n?
False
Let i = -9 + 4. Suppose 5*w = -4*x + 1 - 5, 20 = 5*x. Which is smaller: w or i?
i
Let t = -9.8 - -8.8. Which is smaller: t or 1/4?
t
Let s(i) be the second derivative of -i**5/120 + 7*i**4/24 + i**3/6 - 2*i. Let g(h) be the second derivative of s(h). Let q be g(8). Which is greater: -2 or q?
q
Let i(z) = z**3 - z**2 + z - 1. Let a be i(1). Let t be (a - 2) + (-14)/(-6). Let y = -10 + 9. Which is smaller: y or t?
y
Suppose -4 = -4*m - 4*x, 0 = -5*m + 3*m + x + 14. Which is smaller: m or 7?
m
Let x be 18/(-4)*(-160)/60. Is x != 12?
False
Let w(i) = -i**2 + 4*i + 2. Let p be w(5). Let s be ((-6)/(-4))/(1*p). Let c be (12/(-16))/(6/4)*0. Which is greater: s or c?
c
Suppose -6 = -6*w - 18. Let n(t) = t - 4. Let y be n(5). Which is greater: y or w?
y
Let l = 122/3 - 41. Is l at least 3?
False
Let w be 2/(-6)*0/(-4). Which is smaller: w or 2/73?
w
Suppose -g - 3*u = -6*g - 52, 2*u = 8. Which is smaller: g or 0.1?
g
Let z be (2 - (-329)/(-14))*2/4. Which is bigger: -10 or z?
-10
Let x be (20/(-8))/(1/(-2)). Let d = 6 + 0. Which is smaller: d or x?
x
Let t = 518/5 + -103. Let u be ((-9)/2)/((-6)/(-8)). Let p(f) = f**2 + 6*f + 1. Let n be p(u). Is n not equal to t?
True
Let o be (-16)/78*1/2. Which is greater: o or 1?
1
Let s(p) = -p**3 + 3*p**2 + p + 1. Let x be s(3). Is 13/5 at most x?
True
Let z = -0.93 - 0.07. Let l = 87/4 - 21. Is z less than or equal to l?
True
Suppose 0 = -2*w - 31 - 3. Do w and -17 have different values?
False
Let v = 12 - 10. Let d be v/(-6)*45/(-40). Let l be ((-4)/6)/(4/(-6)). Which is greater: l or d?
l
Let g = -1.19 - -1.79. Does 0.3 = g?
False
Let d = -4 - 3. Let f = d - -8. Is 1/5 less than or equal to f?
True
Let c be (0 + 1)/((-3)/(-6)). Let h = c - 11/6. Let k = 0 + 1. Which is smaller: h or k?
h
Let b = -1 - 1. Let r = -1 + b. Let k(n) = -n**3 - n**2 - n. Let w be k(-1). Which is smaller: w or r?
r
Let t(b) = -b**3 - 6*b**2 + 1. Suppose 5*l - 5*s + 30 = 0, -l - 6*s + 3*s - 6 = 0. Let o be t(l). Let y = -431 + 3883/9. Is o at most as big as y?
False
Let g be ((-6)/(-261))/((-2)/(-6)). Which is bigger: 1 or g?
1
Let g(j) = -j**3 + 7*j**2 + 8*j - 6. Let u be g(8). Let h be 2 - ((u - 0) + 3). Which is smaller: h or 1?
1
Let z be ((-3)/38)/(51/34). Is z <= 1?
True
Let c be -3 - ((-115)/25 + 2). Are c and -21 equal?
False
Suppose 0 = -u + 30 - 9. Suppose 4*m + 3*h = 47, -3*m + u = 5*h - 6. Let l be (-4)/m*14/(-6). Are l and 1 non-equal?
True
Let m = -38.18 - -0.18. Which is bigger: 0.2 or m?
0.2
Let k = 13 - 11. Suppose -5 = -4*v + k*s + 11, v - 5*s = -5. Are 4 and v nonequal?
True
Let i(t) = t**3 + 8*t**2 + 9*t + 2. Let y be i(-7). Is -14 equal to y?
False
Suppose 3*i = 2*j - 2, 2*j = -0 - 4. Let m be 1*i/(0 - 2). Are m and -2/13 nonequal?
True
Let f be -4 + 1*(0 + 3) + -36. Which is smaller: f or -3?
f
Let y(j) = 0 + 2 + 0 - j**2 + j. Let m(h) = -2*h - 26. Let t be m(-14). Let z be y(t). Do -4 and z have the same value?
False
Let g be (9/3 + -4)*0. Let b be 2 - 0 - (g - -1). Which is smaller: 2/7 or b?
2/7
Let l(z) = z**2 - 3*z + 1. Let x be l(2). Let w(a) = a**2 + 2*a. Let v be w(x). Let t be -2 + 1/(8/18). Is t equal to v?
False
Let i be (1/(-3))/(456/(-36)). Which is smaller: -1 or i?
-1
Let b be 2 + (-2)/(2/(-3)). Suppose j + 3*j + 33 = -b*a, 48 = -5*a + j. Which is greater: -11 or a?
a
Let o be 1320/(-135) - 4/18. Let b = o - -14. Is b at most 4?
True
Let p = -1 + 3. Let u(d) = d**2 + 6*d + 2. Le