= m - -1. Is -0.1 not equal to q?
True
Suppose -2*o = -2*y, -3*o - 5 = -2*y + 4*y. Is o smaller than -16/9?
False
Let n be 4/(-6) + (-30)/(-18). Is n >= 9/7?
False
Let t be 5 + 2/(-2)*1. Suppose -3*s = -5*s - t. Is s >= -2?
True
Let i be -1*1 - 4/2. Let d = -3 - i. Is d equal to -1?
False
Let h(j) = -j + 2. Let r be h(4). Suppose 2*x = 7*x - 75. Let s be 9/x*4 + -3. Are s and r equal?
False
Let n(m) = -60*m**2. Let s be n(-1). Which is smaller: s or -61?
-61
Suppose -5*c - 3*f + 2 = 7, -10 = 2*f. Suppose r + 9 = -c*r. Let d(w) = w**3 + 4*w**2 + 3*w. Let u be d(r). Is u < 2/7?
True
Let p(r) = 5*r + 2. Let v be p(2). Is v <= 12?
True
Let v = -12 - -13. Let z = -19.02 + 19. Does z = v?
False
Let b = 101/372 - 2/93. Suppose 5*r + 5 = 2*v, -3*v = 2*r + 3 - 1. Is b at least r?
True
Let p be 17/5 + 8/(-20). Suppose 3*f - 9 = 3*s, 3 = -f + 2*f. Suppose 2*z - p*n - 2 + 12 = s, -3*z = -5*n + 17. Which is bigger: 3/2 or z?
3/2
Let r(x) = -12*x - 1. Let o be r(1). Is o at least -11?
False
Let m(a) = a**3 + 21*a**2 - 71*a + 20. Let u be m(-24). Let f = 2 - 5. Is u equal to f?
False
Let y = -11 - -13. Let s = 13 + -7. Which is greater: y or s?
s
Let j(h) = -h - 4. Let n be j(-6). Suppose 2*b + 3*b = 20. Suppose 5*t = 3*t - b. Which is greater: n or t?
n
Let l = -2109/188 - 72/47. Is -14 bigger than l?
False
Let s(h) = -h**3 + h**2 + 1. Let w be s(1). Let c be 2/w + 1 + -3. Suppose c = 3*b - 3. Is -1 >= b?
False
Let p = -0.2 - 0. Let d(f) = f**2 + 3*f + 2. Let r be d(-2). Let a = r - 0. Is a equal to p?
False
Let b = -12.08 - -12. Let h = b + 2.08. Let z = -4 - -3. Which is bigger: z or h?
h
Let y be ((-5)/4)/(8*(-9)/(-4896)). Are y and -85 non-equal?
False
Suppose -5 = 3*q + 2*q. Is q at most -2?
False
Let r(j) = 3*j**2 + 10*j - 14. Let n be r(5). Is 111 greater than n?
False
Suppose -12 = 4*k - k, 0 = -3*j - 5*k - 23. Let f be ((-1)/j + -2)*2. Let b be f/(3/(-1) + 1). Which is greater: b or -1?
b
Let y(j) = -j**3 - 3*j**2 + 2. Suppose -4*z + 0 = -4, -4*w + 2*z - 10 = 0. Let g be y(w). Which is smaller: -3/5 or g?
g
Let u be (-6)/12*(-1 - -1). Suppose u = 2*y - 0*y + 8. Is y <= 0?
True
Let j be 28/(3 - 1) + -5. Is j less than or equal to 9?
True
Suppose -11 = 2*w - 125. Is 115/2 != w?
True
Let r(a) = -a + 1. Let l(v) = -2*v + 1. Let b be l(1). Let t(g) = g**3 - 3*g**2 - 8*g + 6. Let u(z) = b*t(z) + 5*r(z). Let x be u(4). Is x >= -6?
True
Let u(p) = p**3 + 6*p**2 - p - 6. Let w be u(-6). Which is smaller: 1 or w?
w
Let v = 0.034 - -0.966. Let s(c) = 2*c. Let u be s(-2). Which is smaller: v or u?
u
Let j = 1 + 5.1. Let h = 6 - j. Which is greater: h or 0?
0
Let c = -32 - -10. Let r be -4 + 2 - (-10064)/c. Let w = r - -460. Is 2 bigger than w?
True
Suppose -2*l - 5 = 3*l. Let q be l - (2/2 + -2). Which is greater: q or -2/9?
q
Let q = -1.6 + 2.1. Let v = 0.5 - q. Let s = 0.02 + -0.32. Which is bigger: v or s?
v
Let z(j) be the third derivative of j**6/120 - j**5/10 + j**4/4 - 5*j**3/6 - j**2. Let d be z(5). Suppose d = 4*i - 2*i. Which is greater: i or 2/15?
2/15
Let a = -4 - -6. Suppose 0 = -a*h + 4*h - 8. Suppose -28 = 5*u - z, 0*z + z + 17 = -h*u. Are -4 and u unequal?
True
Let u = -4.88 - 0.12. Let p = -7 - u. Which is greater: p or 0?
0
Let h = 2.3 + -2.3. Let m = 0.87 + -0.8. Let k = -0.37 + m. Is h at most k?
False
Let r be (((-6)/4)/3)/(25/50). Is r greater than -4/5?
False
Suppose 0 = -6*s + 11*s - 90. Let g be 3/s - 7/6. Which is smaller: -2 or g?
-2
Let o be -5 + (9 - 4) + 1. Which is smaller: o or 12/5?
o
Let z(s) = -2 + s**2 + 0 - 3 - 2*s + 4. Suppose -i - 2*w + 6 = -3, w = i. Let j be z(i). Which is bigger: 1 or j?
j
Let p be 1*-1 - (-5)/3. Let l = -211/3 - -70. Which is greater: l or p?
p
Let m(o) = o + 4. Suppose 3*c = -v + 9, -v + 3*v = 2*c - 14. Let h be m(v). Is 2 less than or equal to h?
False
Let i(d) = d - 6. Let a be i(9). Suppose -4*h - 2 = s, a*h - 3*s - 2*s - 10 = 0. Is h not equal to 0?
False
Let i be (-49)/14*2/1. Do i and -7 have different values?
False
Let o = -4 - 53. Is -0.1 not equal to o?
True
Let c = -9 - -14. Is 5 bigger than c?
False
Let f = -1.3 + 1.3. Let g = -214 + 210.02. Let l = -4 - g. Which is smaller: l or f?
l
Let m(l) = l**2 + 4*l - 2. Let d be m(-6). Suppose -5*a + 4 = -5*v - 1, 2*v = -2*a + d. Let w(u) = -u**2 + 2*u + 2. Let g be w(a). Is g equal to -4/7?
False
Let x = 8 + -11. Suppose u = 4*u - 15. Let v be x/u + -2 + 3. Is -1 bigger than v?
False
Suppose f - 2 = -3. Let n be 1 + -3 - (0 + f). Let m be (-3)/13*(-6)/9. Which is smaller: m or n?
n
Let n be 1/(1*(-1)/1). Let d = -8 + 6. Which is greater: n or d?
n
Let t = 10 + -6. Suppose t*i = i + 3. Which is smaller: 3 or i?
i
Suppose 0 = -5*w + u + 66, 3*w + 9 = 4*w + 4*u. Which is smaller: w or -6?
-6
Let a = 2 - 0. Suppose 6 = a*s + s. Let u be (0 - s)*2/(-4). Is 0 greater than u?
False
Suppose 18 - 6 = 3*r. Let p be r/6 - (-5)/(-3). Let f = p - 2. Which is smaller: -1 or f?
f
Let i(x) = -x**3 + 10*x**2 - x + 13. Let t be i(10). Suppose 5*a - 23 = -3*r, t*a - 11 = r - 0*a. Is r >= 6/11?
True
Let q(k) be the third derivative of k**4/24 - 7*k**3/6 - k**2. Let h be q(6). Let t be (-2)/(-5) - 32/30. Is t at most as big as h?
False
Let d = 1 - -4. Suppose d*o - 4*n + 8*n = -2, n = 2*o + 6. Suppose -3*g - 7 = x, 5*g + x + 3 = -10. Do o and g have the same value?
False
Let c be (-18)/(-99) + 3 + (-202)/22. Are c and -10 non-equal?
True
Suppose 2*y - 2 = -0*y. Let m = 52 - 205/4. Which is smaller: y or m?
m
Suppose -2*c + 10 = 3*m, 2*m + 4*c - 14 - 6 = 0. Suppose -2 = h - m. Let i = -7 - -4. Which is greater: i or h?
h
Suppose 5 = -2*c - d, -9 = c + 2*d - 2. Let p be 22/(-18) + -1 + 2. Which is smaller: c or p?
c
Let c = -211.7 - -212. Let h = -3866704/108615 + 2/21723. Let i = h - -36. Which is greater: c or i?
i
Let o = -2/221 + -878/663. Let b(s) = -s**2 + 7*s - 1. Let z be b(7). Let p be 2/((-1)/(z + 2)). Which is greater: o or p?
o
Suppose 5*s - 2*s - 2*q = -3, -5*q = -5*s - 10. Let o be 2/s*1/2. Suppose -3*m - 2*m + 4*y - 25 = 0, 0 = 5*y. Is o <= m?
False
Let f(a) = 50*a. Let y be f(-1). Let n = -199/4 - y. Let r = 0 - 2. Which is bigger: r or n?
n
Let r be 40/15 - 4/2. Is 1 > r?
True
Let h = 1.04 + -1.02. Which is smaller: h or -7?
-7
Let s = 15 + -2. Let a = -13 + s. Are 2/17 and a unequal?
True
Let m be (0 - 0)/(1 - 0). Let z = -1/165 + -4/15. Is m smaller than z?
False
Let f = 1.47 + 0.03. Which is smaller: 0.1 or f?
0.1
Let u be 1/(3 + (-20)/7). Suppose -u = -n - 2*h, 3*n - 5*h + 11 = -n. Is -1 < n?
True
Let u(l) = -l**2 - 1 - 1 + 9*l - 1 + 4. Suppose 4*o = 28 + 8. Let r be u(o). Which is smaller: 0 or r?
0
Let t = -57/13 + 5783/1313. Which is bigger: -1 or t?
t
Let g(r) = r**2 + 4*r - 5. Let v = 17 + -12. Suppose 0 = 5*y + 2*x + 25, v*y - x + 10 + 15 = 0. Let j be g(y). Is j greater than or equal to -1?
True
Let d(z) = z**3 + 18*z**2 + 15*z - 34. Let l be d(-17). Which is greater: 1 or l?
1
Suppose 0 = -4*t + 2*f - 12, 0 = -4*t + f - 1 - 9. Which is smaller: t or -12/13?
t
Let o = 62 - 44. Let j = o + -10. Let x be 6/j + (-6)/24. Is x bigger than -1?
True
Let q = 5/194 - -4631/970. Is 5 >= q?
True
Let k be 25/(-66) + 7/(-14). Let b = -6/11 - k. Is 1/4 > b?
False
Let n = -0.23 - 1.07. Let m = 0.3 + n. Which is bigger: -0.2 or m?
-0.2
Let g = -0.9 + -6.1. Let s = g + 6.7. Is s less than 2?
True
Let w = 8 - 2. Suppose -3*p = -0 - w. Are 2 and p non-equal?
False
Let j = -2 - -3. Let l = j - 4. Which is bigger: 0 or l?
0
Let n be 0 + 13 + (0 - 1). Suppose -5*f - n = -47. Suppose -f*m = -3*m. Are -3/2 and m equal?
False
Let b = 199/3 - 14521/219. Which is smaller: b or 1?
b
Let v = -59 + 59.1. Which is bigger: v or 37?
37
Let l be (20/25)/((-6)/(-15)). Is l less than or equal to 2?
True
Let u be (2/(-6))/(1/(-9)). Let i(r) = 4*r**3 + 2*r**2 - r. Let n be i(1). Suppose 0 = n*l - u*l - 2. Which is greater: l or 1/2?
l
Let o = -0.13464 + 177.19464. Let h = 179 - o. Let n = h - -0.06. Is n >= 0?
True
Let x be (-10)/(-2 + 3 - 4). Is x greater than 4?
False
Let l = -56 + 179/3. Are 4 and l equal?
False
Let z be (20616/32)/((-6)/4). Let q = z + 419. Let l = q - -67/6. Is l not equal to 2/3?
False
Let u be (12 + -9)/((-3)/(-2)). Suppose u*i - 7 = -19. Let p = -7 + 0. Which is greater: p or i?
i
Suppose g - k - 11 = 0, 4*g - 2*k = -0*g + 34. Let s be -2*15/g*-1. Su