Let y = -53.1 - -53. Does y = a?
False
Let g(m) = m**2 - 2*m - 1. Let h be g(2). Let b = -2 - -4. Suppose -t + 2 = b*i, 4*i = t - 0*t + 4. Is t smaller than h?
False
Let p = 0 - -1. Let x = -4 - -9. Suppose 3*j = 5*o - 10 - 7, 0 = x*o - 20. Is j at least as big as p?
True
Let g(p) = p**3 - 6*p**2 + 6*p - 3. Let a be g(5). Suppose 0 = -0*b + b - 2. Is b less than a?
False
Let n be (-246)/(-15) + (-2)/5. Are 0.1 and n non-equal?
True
Let p = -2 + 18. Let b = p + -10. Suppose 6*a = 3*a - b. Is a < -1?
True
Suppose -4*q - 75 = -p + 18, -3*q - 41 = 5*p. Is -22 > q?
False
Let x(h) = h. Let l be x(2). Suppose l*o + 116 - 18 = 0. Let m = o + 243/5. Is m at most 1?
True
Let q be (-7)/5 + 4/10. Let v = 4049 + -830047/205. Let c = v + -392/1845. Is q != c?
True
Suppose -2*l = k - 5 - 3, k - 10 = -3*l. Suppose 0 = -6*s + k*s. Which is smaller: s or -1/3?
-1/3
Let n = -177 - 153. Let w = n - -4288/13. Which is smaller: -1 or w?
-1
Let q(t) = 24*t**2 + 2*t + 1. Let o be q(-1). Let i be (-2)/(-6) - o/(-3). Let z be (2/(-12))/(i/24). Is z greater than -1?
True
Suppose -73 = 4*q + 5*i, 0*i + 4*i + 44 = -2*q. Let k be (q/(-3) - 3)*-1. Is k != 1/4?
True
Let b = -14 + 14. Which is smaller: 2/103 or b?
b
Let t be -1*2/2 + 2. Which is greater: t or 2/23?
t
Suppose -2*b - 5*y + 2*y = 4, 3*b = -y - 6. Let g = 4 + b. Which is bigger: 1/2 or g?
g
Let a be (-6)/(1*(3 + -4)). Let b(v) = v**3 - 6*v**2 - 1. Let d be b(a). Which is greater: d or -1/13?
-1/13
Let q be -2 + -1 + (8 - 7). Let f = q - -6. Suppose -i + f*i = 0. Which is bigger: -3/7 or i?
i
Suppose -7*c + 9*c = 0. Which is bigger: c or 2/3?
2/3
Suppose -25 = 3*h + 2*h. Suppose -5*o = 2*f + 3, 2*o + 4*f + 14 = -0*o. Let s be (o + 1)*(2 - 4). Which is smaller: h or s?
h
Suppose 2*z - k - 29 = 25, 0 = -5*z + 2*k + 133. Let l = z - 11. Suppose l = b - 5*d, -d + 5 + 1 = 2*b. Is 5 < b?
False
Let t = -18/35 - -5/7. Suppose 0 = 20*y + 1 - 21. Which is bigger: y or t?
y
Let j(a) = a**3 - 3*a**2 - 3. Let l be j(3). Let o = -5 + 2. Is o <= l?
True
Let n be 138/(-16)*(-2)/(-22). Let s = n - -3/88. Let y be (2/(-3))/((-2)/(-3)). Is y at most s?
True
Let r = 0 + -1. Let c(o) = o**2 + 5*o - 3. Let v be c(-5). Which is smaller: r or v?
v
Suppose -2*f = 3*w - 28, 2*w + 3*w - f = 25. Is w less than 0?
False
Suppose 3*k - 3 = -3*l, -k + 3 = 8. Suppose -2*g - g = -6. Suppose -5*q = -f - 38, -g*q + 10 = -5*f - 19. Which is smaller: l or q?
l
Suppose 4*f = 16, -3*o + 4*f = 12 + 19. Let s(p) = p**3 - 19*p**2 - 21*p + 14. Let x be s(20). Which is smaller: o or x?
x
Let h = -0.23 + -6.77. Is h less than or equal to 2?
True
Let v be 372/70 + 8/20. Let d be (884/10)/(1*14). Let l = v - d. Is l >= 0?
False
Let k = 76 + -72.3. Let m = -4 + k. Which is smaller: 1/4 or m?
m
Suppose 3*v + 9 = -21. Suppose 3*k + 2*f = -31, 6*k - 2*k = 2*f - 46. Which is bigger: k or v?
v
Let r be (-1 + 1)/(3/1). Suppose -3*n = -5*c + 49, 4*n - 4*c + 52 = -r*n. Let d be (1 + 1)*(-4)/n. Is 2 >= d?
True
Let x(y) = -y - 16. Let r be x(0). Let o = -0.41 - -1.41. Which is smaller: o or r?
r
Suppose -5*z + 21 - 1 = 0. Suppose -v + 9 = -z*q, -2*q + 5 = -5*v - 7*q. Let b = -0.7 + -0.3. Which is smaller: v or b?
b
Let i = -17 + 18.5. Let f = 1.2 - i. Is -0.1 less than f?
False
Suppose -4*n + 8 = 4*q - 20, 1 = 4*n - 5*q. Let b be 37/(-5) - (-10)/25. Let h be (1 + b)/(2 - 4). Is h != n?
True
Let j = 16 - 20. Which is greater: j or -5?
j
Suppose 0*w = -2*w - 4*n - 12, -n - 3 = 0. Which is bigger: -4 or w?
w
Let k be 0 + 1 + 1*21. Let p be k*4/(0 - 2). Let u = 131/3 + p. Is u at most as big as -1?
False
Let t(w) = w**2 - 2*w - 1. Let j be t(-1). Let q be (-8 - -2)/(3/j). Let y = q - -4. Is 2/9 less than or equal to y?
False
Suppose 0 = 3*q + q, -3*o = -2*q + 3. Suppose -4 = 3*m - 7*m. Is o at least m?
False
Let k(c) = c**3 + 4*c**2 + 3*c + 2. Let g be k(-3). Suppose 3*f - 3 = -5*m + g, 5*f = 4*m - 41. Suppose 0 = 3*r + r - m. Which is greater: r or 2/3?
r
Suppose l + 19 = r, 4*l + r = -l - 107. Does -22 = l?
False
Let b(h) be the second derivative of h**3/6 - 7*h**2/2 - h. Let z be b(9). Is 2/3 bigger than z?
False
Let o be (3/5)/((-112)/80). Which is smaller: o or 2/3?
o
Let d = 1 - 2. Suppose 0 = -2*r - 2 + 4. Let l be r*2/14*2. Which is smaller: d or l?
d
Let s(l) = -5*l**3 - 4*l**2 + 3. Let o(g) = 14*g**3 + 12*g**2 + g - 8. Let k(h) = 6*o(h) + 17*s(h). Let r be k(5). Let i be -1 + 2/r*6. Is i < 1?
True
Let v(c) = c**3 + 3*c**2 - 13*c - 8. Let k be v(-5). Let f be ((-1)/3)/((-3)/27). Is f greater than k?
False
Let l = 14 - 12. Let o = 41 + -77/2. Which is bigger: o or l?
o
Let o = -0.08 + -0.12. Let q be (-1)/12 - (-1)/3. Is o less than q?
True
Suppose 0 = 4*t + 9 + 7. Let i be t - -3 - 2342/(-14). Let k = i - 166. Is 1 at least k?
True
Let y be -6 + 10 + (-140)/38. Which is smaller: -1 or y?
-1
Let g = 15113/3630 - -2/605. Which is greater: 5 or g?
5
Let w = -0.3 - 0.1. Let c = 0.19 - 5.29. Let b = -5 - c. Are w and b non-equal?
True
Let g = -3082/1365 + 72/91. Let f = -9/5 - g. Which is bigger: f or -1?
f
Let r = -0.96 + -0.04. Let v = 7 + -6. Which is smaller: v or r?
r
Let k(a) = a**2 + 2*a - 5. Let n be k(-4). Let p be (-2)/(-24)*n*-4. Is p <= 4?
True
Suppose -4*n = 5*w + 13 + 13, -2 = 3*w - n. Is w > 0?
False
Let u = 36 - 28. Is u greater than or equal to 7?
True
Let z be -4 + 584/160 + 1/(-4). Is 0 not equal to z?
True
Let z = -0.7 + 0.7. Do 1 and z have different values?
True
Suppose 24*x = 8*x + 384. Which is smaller: 113/5 or x?
113/5
Let l be 6/(-10) - (-3228)/4980. Which is smaller: 1 or l?
l
Suppose 2*f - 15 = -2*f + 3*s, 5*f = 2*s + 10. Let j be f - -1 - (0 + 1). Is -1 <= j?
True
Suppose 3*h - 9 = -0*h. Suppose -4 = h*c + c. Is c greater than 0.4?
False
Suppose -3*i - 4 = -1. Suppose 2*f - 4*o + 4 = 0, 5*o - 8 = -0*f + f. Suppose -f*h + 4*h + 12 = -3*m, 5*m + 4*h + 20 = 0. Are i and m unequal?
True
Suppose 2*g + 0*g - 4 = 0. Let v(s) = -s**2 + 7*s + 10. Suppose 2*j + 5 = -4*c + 1, 4*j + 3*c - 17 = 0. Let z be v(j). Are g and z equal?
True
Suppose -5*f - t + 12 = -0*t, t = 5*f - 18. Suppose 0 = -3*n + 3*u - 9, -n - f*u - 15 = 4*n. Let v = n + 0. Are -4 and v non-equal?
True
Let m = 132 + -65. Is m smaller than 0.1?
False
Let j = 29 + -89/3. Suppose 0 = -185*k + 184*k. Is k > j?
True
Let a(n) = -9 + 4*n + 1 - n - 4*n. Let y be a(-7). Let w = 188/715 - 6/55. Is w at least as big as y?
True
Let z = -5 - -8. Let v = 4 - z. Is v at most 2/5?
False
Let k = -443 - -419. Let f = 32 + -57. Which is bigger: f or k?
k
Suppose -8 + 0 = -4*h. Let c be h/(-5) - 38/180. Let l = -67/90 - c. Is l smaller than 0?
True
Let k = -0.02 + -0.01. Let z = k + -0.01. Let a = 0.4 - 0.5. Do a and z have different values?
True
Let x(g) = -g**2 + 11*g. Let v be x(8). Do v and 24 have the same value?
True
Suppose 7*x - 2*x + 35 = 0. Let a(o) = o**3 + 6*o**2 - 7*o + 2. Let s be a(x). Are s and 3/2 nonequal?
True
Let n be -21 - (0 + (-4 - -1)). Is n >= -16?
False
Suppose 2 - 8 = -5*y - 4*b, -b = y - 2. Let h be ((-33)/(-9) + -3)/((-18)/30). Which is bigger: h or y?
h
Let n be (-1)/(-3) + 9/(-5). Let w = n - -14/5. Let z be -1 + 3 + 0/(-4). Is z at most as big as w?
False
Suppose 0*d - 3*a + 12 = 3*d, 25 = 5*a. Let i be ((-5)/4)/(4/(-16)). Suppose 3*t + 8 = -2*k, -4 = 4*t - i*t + k. Which is greater: t or d?
t
Let p be (-8)/(-110)*12/64. Let h = -237/220 - p. Which is smaller: -2 or h?
-2
Let s = 2 + 0. Let c = s + -4. Let j = c - -2. Is 0 greater than or equal to j?
True
Let z(c) = c**3 - 10*c**2 - 42*c + 39. Let t be z(13). Let s be -2 + 1/(10/6). Which is smaller: t or s?
s
Suppose 0 = -2*i + 5*t - 4 - 1, 0 = i + 4*t - 4. Let g be (192/51 - 4)/(-2). Which is smaller: i or g?
i
Suppose -80 = 3*c - 5*c. Is 40 bigger than c?
False
Suppose 0*a = -2*a + 1800. Suppose 5*b = 3*b, 4*b = -4*g - a. Let n be 5/(g/(-6))*-3. Is 0.3 greater than or equal to n?
True
Let x = -23 - -13. Let p be x/(-4)*(-138)/550. Let l = 8/11 + p. Which is greater: 0 or l?
l
Let w be ((-2)/(-18))/((-4)/(-8)). Which is smaller: w or 1?
w
Let a be (-8)/(-5 - -1) + -2. Which is smaller: a or 1?
a
Let i = -158 + 159. Is 111 greater than i?
True
Let h = 43/140 - 2/35. Which is smaller: h or -2?
-2
Let c = -44 - -9. Is c greater than -36?
True
Let u = 13.16 - 0.16. Let n = 15 - u. Which is smaller: 1/3 or n?
1/3
Let z(c) =