(-4))*-1. Does c = h?
True
Suppose 5*a - 3*y = 2*y + 520, 5*a + 3*y = 552. Let p = -334/3 + a. Are p and -3 unequal?
True
Let c = 11 + -13. Let t(a) = -2*a + 3*a - 1 + 6 - a**3 - 4*a**2 - 3*a**2. Let x be t(-7). Are c and x equal?
True
Let a(c) = -c**2 - 9*c - 14. Let g be a(-7). Which is bigger: g or -1/22?
g
Suppose 5*t - 8 = u - 5*u, -8 = -4*u - 4*t. Suppose -94 = 2*h - 4*i, -u*i + 119 = -2*h - 3*i. Let z = 287/5 + h. Which is greater: z or -1?
z
Let w = 0 + -2. Let r be 0*(-1 - (w + 2)). Suppose r = n + n - 2. Is 0.1 bigger than n?
False
Let l(o) = o**2 - 2*o - 1. Let g = -17 - -20. Let m be l(g). Suppose -2*y = -3*y + 3. Which is smaller: m or y?
m
Let o be 4 + (3 - 7)/(-1). Which is bigger: o or 7?
o
Let p = -91 + 92. Let d = -89 - -633/7. Which is greater: p or d?
d
Let y = -12/59 + 864/767. Which is smaller: y or 1?
y
Let g(k) = k**2 + 5*k + 1. Let r(j) = -j**2 - 3*j + 4. Let t be r(-5). Let l be g(t). Which is smaller: 6 or l?
6
Let d(b) = b**3 - 6*b**2 - 2*b + 8. Let j be d(6). Which is greater: -11/3 or j?
-11/3
Let k be 3/7 - (-24)/(-7). Which is greater: k or -1?
-1
Let o be 47*(-4)/8 + (-12)/8. Which is bigger: -24 or o?
-24
Let b be 1 + (-4 + 2)*-1. Which is greater: 2 or b?
b
Let a(g) = -g + 8. Let l be a(-8). Let c = l - 22. Are c and -11/2 unequal?
True
Let j be 2/(-7) - (-38)/(-14). Suppose 8*b = 4*b + 44. Suppose -2*v - b = -3. Is j less than v?
False
Let b = 83 - 173/2. Which is bigger: -4 or b?
b
Let n = -926/5 + 185. Which is smaller: n or 1?
n
Suppose -21 + 4 = k. Suppose 7*n = 2*n - 90. Is k smaller than n?
False
Let m(x) = x**2 - 10*x - 10. Let z be m(11). Which is bigger: -1 or z?
z
Let q = 0.17 - 0.27. Let m = q - 0.1. Which is greater: 4 or m?
4
Suppose -a + 0*a = 2. Let c be -1*1*(-1)/a. Is 0.3 less than or equal to c?
False
Suppose -2*t - 2 = -3*t, -s + t - 8 = 0. Let j be 1773/6 + 3/s. Let o = -2357/8 + j. Which is bigger: 1 or o?
1
Let f = -16 - -15.94. Let k = -3.94 + f. Is k bigger than 1?
False
Let r = -11 + 11.4. Let s = r + 4.6. Which is bigger: s or -1?
s
Suppose 4*q - 2 - 6 = 0. Suppose 0 = 3*s + 2*l + 1, 5*l + 5 = 3*s + 4*l. Do s and q have different values?
True
Let h = -2129/2 - -1040. Is -25 > h?
False
Let t(p) = p**2 - 4*p + 2. Let g be t(4). Suppose 5*z + 5*c + 10 = 0, c - 5*c - 8 = -2*z. Which is smaller: z or g?
z
Let f(d) = -4*d**3 - d**2 + 3*d - 2. Let u be f(4). Let v be (-10)/35 - u/966. Let o = v + 143/345. Which is bigger: o or -0.3?
o
Let o = 0.492 - 2.462. Let k = 0.03 - o. Which is smaller: 4 or k?
k
Let p = 0 - 0. Let r = 11 - 13. Which is smaller: r or p?
r
Let l(r) = -3*r - 2. Let n be l(-4). Let x be n*(-1*3)/3. Let w(v) = -v - 9. Let c be w(x). Which is smaller: 0.2 or c?
0.2
Let g = 2.7 + 1.1. Let m = -0.8 + g. Let b = 2.96 - m. Is 2/7 > b?
True
Let r = -6 - -7. Let v = r + -0.9. Let c = -3 + 2. Is c greater than v?
False
Suppose -3*g + g = -4. Let z = -12.1 - -12. Are z and g equal?
False
Let i = 0 + -20. Let a be 2 + -1 + -2 - i. Suppose -5*o = -a + 4. Which is smaller: 4 or o?
o
Let x(y) = y**3 + 7*y**2 - 7*y + 7. Let i be x(-8). Which is bigger: -19 or i?
i
Let i = -54 + 36. Let z be i/4*424/(-30). Let g = z - 63. Which is smaller: g or 2?
g
Let g = -24 - -20. Does g = -2/5?
False
Suppose -5*i - 13 = -5*f - 43, i - 5 = 0. Let k be f*(-1 + (-14)/(-10)). Let m = -0.35 - -0.35. Which is smaller: k or m?
k
Let j = 4.05 + -0.05. Let i = 3.8 + -3.9. Are j and i nonequal?
True
Let o be (2*(-1)/1)/(-6). Let v = 17.7 + -17. Let j = v - -0.3. Are o and j nonequal?
True
Let w = -0.047 - -1.047. Which is greater: 14 or w?
14
Let u = 5.05 - 0.05. Let t = -2 + u. Is t at most as big as 0?
False
Suppose 0 = -k - k - 3*b - 5, -2*b = -2*k. Let r = 424691 + -36098062/85. Let s = -39/5 + r. Is k equal to s?
False
Suppose -10 = -2*l + l. Let n be (-2)/10 - (-2)/l. Suppose m - y + 1 + 4 = n, 5*m = 2*y - 16. Is m bigger than -3?
True
Suppose 3*y - 70 - 44 = 0. Let p = y + -23. Let z be (p/(9/(-3)))/2. Which is greater: z or -4?
z
Let n be (-3)/(-9) + 7/(-3). Let u = 107 - 109. Is u < n?
False
Let k(n) be the third derivative of n**6/120 - n**5/20 - 5*n**4/24 + n**3 - n**2. Let p be k(4). Is -1/3 at least as big as p?
False
Let h(x) = 2*x**2 + 7*x. Let a be h(-5). Let d be a/(-54) - (-4)/(-18). Suppose v = 6*v + 10. Is d less than or equal to v?
False
Suppose 5*h + 28 = -22. Let w be 10/(-6)*4/h. Let k = 1/72 + -157/936. Is k less than or equal to w?
True
Let v(f) = -f**3 - 3*f**2 + 4*f. Suppose n + 4 = -0*n. Let p be v(n). Let u be 4/24 - (-21)/(-18). Is u at least p?
False
Let m be ((-2)/(-1))/((-2)/3*-27). Which is smaller: -1 or m?
-1
Suppose -4*o - 2*l - 3*l = -12, 4*o = 3*l - 20. Let n(x) = x + 3. Let j be n(-6). Are o and j nonequal?
True
Let c(o) = 3*o**2 + 2*o**3 - o - 3*o**3 + 5*o. Let k be c(4). Let b be (24/(-160))/((-27)/(-24)). Is k != b?
True
Let i(m) = m**2 + 10*m + 9. Let v be i(-9). Let d be 2/4*0 + v. Is d != -1?
True
Suppose 0 = m - 4 + 16. Let v be 17/m - (-9)/12. Is 0 bigger than v?
True
Let m be 22*(-7)/168 - 2/(-8). Suppose 0 = 5*g + 9 + 21. Which is smaller: m or g?
g
Suppose 2 = -4*t + 3*t. Let y be (0 - (5 - 80/18)) + -1. Is t at most as big as y?
True
Let w = -0.15 + -0.15. Let r = -8/41 + 54/697. Is w <= r?
True
Let p = 12 + -48. Let l be (-3 + p/(-20))*5. Is l > -6?
False
Suppose -5*l = -24 + 209. Is -37 less than l?
False
Suppose -3*i + 3*k = 15, 5*k = -i + 4*i + 21. Let a(z) = z**2 + 5*z + 2. Let j be a(-4). Let n be (-1 + 4)/(j/2). Which is greater: i or n?
i
Let t = -55 - -28. Which is bigger: -24 or t?
-24
Let b = 546 + -10917/20. Let d = b - 13/20. Let z(r) = 2*r + 4. Let k be z(-3). Does k = d?
False
Let c = 13/22 - 1/11. Let n = 0.0623 - 8.0623. Is c at least as big as n?
True
Let m be -1*1 + 0 + 0. Let u = -2 + 2. Suppose u = a - 2*a - 4*z - 17, 0 = -5*a + 5*z + 15. Are m and a non-equal?
False
Let f = 10 + -11. Does 1/3 = f?
False
Let r be ((-4)/(-16))/((-2)/8). Which is greater: r or -4/13?
-4/13
Let t = -0.3 + -0.3. Let d = -0.5 - t. Let i be (-1)/1 + 0/2. Are d and i non-equal?
True
Suppose -3*m + 2*m + 6 = 0. Let r be (-2)/m + 8/(-12). Is r > 0?
False
Let s = 6/31 - 657/2914. Which is smaller: s or 1?
s
Let v = 55 - 30. Suppose 3*i = -4*m - v - 9, -2*m + 5*i = 4. Is m less than -1?
True
Suppose 10 = 69*r - 64*r. Which is smaller: r or 9/10?
9/10
Let y be (-2*1)/(4/(-10)). Let z = 3 + y. Suppose 0 = 4*a + 2*f - 26, 0 - 4 = -a - 3*f. Which is smaller: z or a?
a
Let d be -1 - ((-14)/8 - -1). Which is smaller: -3/38 or d?
d
Let t = -3 - -5. Let n = 1 - t. Let k be 4/(-10) - 48/(-45). Do k and n have the same value?
False
Let h(f) = f**2 - 8*f - 1. Let k be h(8). Suppose -b = 2*b + 9. Which is smaller: b or k?
b
Let v(s) = s**2 + 6*s - 6. Let a be v(-6). Is a less than -10?
False
Let y(a) = a**2 - 4*a - 4. Let f be y(5). Suppose l - f = 5. Does 1 = l?
False
Let o(m) = -m**3 - 4*m**2 - 3*m - 1. Let w be -7*(0 - -1)/(-1). Let h = 4 - w. Let q be o(h). Which is bigger: q or 0?
0
Let w = -37/3 - -83/6. Let r = 53 + -51. Is r less than or equal to w?
False
Let p be (-48)/(-12) + (-68)/(-2). Is p less than 38?
False
Let a = -2147 + 118082/55. Is -1 > a?
False
Let g(p) be the second derivative of p**4/12 + 5*p**3/2 - 15*p**2/2 + 9*p. Let i be g(-16). Which is smaller: i or -2/39?
-2/39
Suppose 5*o - 62 = 3*a, -o = 3*a - 8*a - 30. Are o and 10 nonequal?
False
Let i be (3/6)/((-5)/2). Which is bigger: i or 0?
0
Suppose 4*l = l + 6. Suppose -3 + l = k. Which is smaller: -3/2 or k?
-3/2
Let k(z) = 2*z**3 + 2*z**2 - z. Let s be k(1). Suppose j + 3*x = -9, 4*j - s = 5*x - 5. Let h be ((-3)/9)/(j/18). Is 1 >= h?
False
Suppose 7 = 2*z + 3. Is 0 bigger than z?
False
Let j = 15 + -9. Let d(m) = m**2 + m + 2. Let r be d(-2). Suppose -r = v - j. Which is smaller: v or 1?
1
Let c(k) = -2*k**2 - 1. Let g be c(-1). Suppose -5*j = 19 - 4. Is g < j?
False
Let q be (-2)/(-2)*(-12)/(-30). Let i = 8.6 + -1.6. Which is smaller: q or i?
q
Let l = 7 - 4. Let v = 3 - l. Which is smaller: 3/7 or v?
v
Let h = 5 - 7. Which is smaller: h or -10?
-10
Let u be ((-4)/12)/(1/(-9)). Suppose -u*a + 3 = -n, -3*n - 10 + 1 = -3*a. Which is smaller: a or 1?
a
Let t be 5793/(-207)*(-2 + 8). Let q = 168 + t. Is q equal to 1?
False
Let j be (1 + (-1)/3)*3. Let u(x) = -x**3 + 2*x**2 + 2*x - 2. Let n be u(