 l = 4 - 8. Let h be w(l). Let i = h + 447/8. Do 0 and i have different values?
True
Let q = -12/77 + 4259/154. Let d = 27 - q. Let s = 19/3 + -7. Which is smaller: d or s?
s
Let s = 2.8 + -3. Let x = s + 0.3. Let v = 0.2 - x. Which is bigger: -1 or v?
v
Let o(z) = -3*z - 1. Let t be o(-1). Suppose t*p - 2*k + 6*k + 4 = 0, 0 = -2*p + 2*k - 10. Let n(a) = -3*a**2 - 1. Let u be n(1). Is u < p?
False
Let l = -4 + 7. Suppose 16 - 10 = 3*v. Is l > v?
True
Suppose -18 = 3*z - 3*b, 19 = z + 7*b - 3*b. Which is smaller: -3/17 or z?
z
Let q be (0 - -1)*(-2 - 0). Let f = -1 - 3. Is f greater than q?
False
Let v be (2 - (0 + -1)) + 0. Suppose v*s + s = 20. Let b = 7 - s. Which is smaller: b or 1?
1
Let g(a) = -14*a - 3. Suppose -2*j = 4*p + 18, 3*j + j = 4*p - 12. Let h be g(j). Let r = h - 467/7. Which is smaller: r or 1?
r
Let l = 2.59 - 0.89. Which is smaller: 1/3 or l?
1/3
Let x be 3 - (-2 - 46/(-10)). Is 6 >= x?
True
Let i(d) be the first derivative of -d**4/4 + 5*d**3/3 + d**2 - 6*d + 3. Let a be i(5). Let b be a/3*(-9)/6. Is b != -1?
True
Let z = -0.15 + -27.85. Which is smaller: z or 2?
z
Let v = 1081 + -63777/59. Which is bigger: v or -1?
v
Let s = 5 - 13. Let p = s + 10. Is 3 at most as big as p?
False
Suppose -3*r + 11 + 4 = 0. Suppose -r = 3*g + 1. Let s = -3 + g. Which is greater: s or -4?
-4
Let u(j) = -j**2 - 6*j + 4. Let g be u(-6). Suppose -g*h + 2 = 6. Are h and -2/3 unequal?
True
Suppose 4*s + 2 = 4*l - 6, 0 = -2*s - 3*l + 21. Let f = s - 0. Is f >= 3?
True
Let a = -2 - 0. Let s(m) = -m. Let u be s(-2). Suppose -u*p = -p. Are a and p unequal?
True
Suppose -w - 4*m - 22 = 0, 0 = 2*w - 2*m - 0*m + 4. Let i be (-8)/12 - 10/w. Is i >= 2/15?
True
Let f = -21 + 21. Let i = -4.8 - 0.2. Are i and f nonequal?
True
Let f = 3.7 + -3.5. Is -2 greater than or equal to f?
False
Let d = 57 - 61. Which is greater: d or -8?
d
Suppose -k + 32 = -5*k. Is k at most as big as -10?
False
Let j(p) = p**2 - 15*p + 30. Let y be j(13). Is y >= 34/7?
False
Let v = -3 - -34. Is 1 <= v?
True
Let u = -1.4 + 2.1. Which is greater: -1/4 or u?
u
Suppose 3*c = -2*c - 34115. Let i = -34274/5 - c. Let b = 32 + i. Is 1 less than or equal to b?
False
Let i(n) = -n**2 + 11*n + 2. Let t be i(9). Suppose 5*z = -5*v + 35, 3*z - v = -6*v + 21. Suppose t = 2*y - z*y. Is -2 greater than y?
True
Let l = -32/171 - 7/19. Is l > -1?
True
Let z = 22 - 23. Which is smaller: 1/32 or z?
z
Let l = -0.96 + 1. Suppose -57 = 4*u + 3*a + 138, 3*u + 141 = 3*a. Let j = 142/3 + u. Is j less than l?
True
Let f(n) = -n**2 - 7*n - 12. Let s be f(-5). Which is smaller: s or 5/6?
s
Let s = 3 + -3.4. Let a = 0.4 + s. Let o = 0.226 - 0.026. Which is smaller: o or a?
a
Let s = 274 - 2479/9. Which is bigger: -2 or s?
s
Let n = 0 + -6. Let r = 9 + n. Suppose -x = r*q, -5*q + 10*q = 4*x. Are -0.2 and x equal?
False
Let u = 6.85 + -7.85. Let o = 1 + -4. Is u at least o?
True
Let n be 1/6*-3*2. Suppose 0 - 8 = 4*f. Is f equal to n?
False
Let s be (-1)/(-2)*2 - 0. Which is greater: 10/11 or s?
s
Let b(h) = h - 5. Let k be b(4). Let v = k + 2. Is -1/3 at least as big as v?
False
Let n be 1/(((-16)/44)/4). Let r = 25 - 35. Does n = r?
False
Suppose 9*u = 17 - 44. Which is greater: -8 or u?
u
Let u be ((-1)/(-11))/((-2)/(-12)). Let a be 6 - 2 - (-6)/(-18)*9. Which is smaller: u or a?
u
Suppose 35 = -18*w + 13*w. Are w and -7 nonequal?
False
Let d = 164 + -151. Does d = 16?
False
Let s = -139 + 139. Which is smaller: 59 or s?
s
Let c = -2 - -6. Let i = 0.049 + 4.051. Let v = c - i. Does 2/3 = v?
False
Let m be (-8)/(-28) + (-4)/14. Let x be 3 + -2 + 1 + 1. Suppose -3*v = -m*v - x. Which is greater: 1/3 or v?
v
Suppose -4*j + 3*h - 7 = 0, j = 3*j - h + 1. Is 2 greater than j?
False
Let r = 0.3 - 0.4. Let c = -4 - -9. Let s = 5.4 - c. Is s at least r?
True
Let o = 265 + -6359/24. Let m = -5/8 - o. Which is smaller: 2/27 or m?
m
Suppose 0 = 5*c - 3*g + 12, 4*c = g + 4*g - 20. Which is greater: 8/7 or c?
8/7
Let f = -13/1464 + -2/61. Which is greater: -1 or f?
f
Let v(n) = n**2 - 2*n - 1. Let y be v(3). Suppose y*j + 2 + 2 = 0. Let c(b) = -b**2 + 3*b + 2. Let u be c(4). Does j = u?
True
Let a = -96 - -106. Which is smaller: a or -4?
-4
Let b = -0.04 - -5.1. Let w = b + -5. Which is smaller: 2/3 or w?
w
Let g(m) = -m**3 - 2*m**2 - 2*m - 1. Let n be g(-2). Suppose 3 + 2 = 5*z. Suppose -n*t + 10 = z. Do t and 4 have different values?
True
Let u be (-2)/7 - 4/(-14). Let b(d) = 12*d - 7. Let r be b(-6). Let g = 475/6 + r. Is g > u?
True
Suppose -4*n - 6 - 2 = 0. Let p = -3 - n. Do p and 1/3 have the same value?
False
Let v = -4 - -5. Suppose 5*a + 6 = -4*q, -4*a + 2 = -2*q - 14. Is a > v?
True
Let a = 4 - 6. Let c be -2 + (-1 - (-1 - a)). Let j = 0 + c. Are j and -4 non-equal?
False
Let u = -94 + 848/9. Is u at most 0?
False
Let d be -1*(1 + (-759)/249 + 2). Let u be ((-1172)/66)/(332/(-6)). Let k = u - d. Is 1 greater than k?
True
Suppose -p + 1 + 18 = -4*b, -4*p + 2*b + 76 = 0. Which is greater: p or 93/5?
p
Let t = 161.99 - 164. Let o = t - -0.01. Which is smaller: -1 or o?
o
Let w be (138/15)/((-4)/(-5)). Let i = w + -12. Is i > 0?
False
Let c = -190 - -101. Let d = 353/4 + c. Which is greater: d or -2/3?
-2/3
Let t(x) = x + 5. Let o be t(-6). Let k(a) = -3*a + 5. Let z(u) = 2*u - 4. Let g(l) = -3*k(l) - 4*z(l). Let m be g(-1). Is o at least as big as m?
False
Suppose -3*z + 6*w = 2*w + 26, -26 = 4*z - w. Let i(a) = -a**2 - 6*a - 2. Let m be i(z). Let c = 0.5 + -0.5. Is m at most as big as c?
True
Let b = 3 + 7. Let k be (-4)/b - (-192)/280. Which is bigger: k or -1?
k
Let r(c) = -c + 13. Let w be r(11). Let g be (-9)/w*(-2)/3. Is 3 smaller than g?
False
Let i = -59 - -63. Is 2/17 less than i?
True
Suppose 60 = -2*f + 98. Which is smaller: f or 1?
1
Let m = 1.2 + -1.34. Let u = m + 6.14. Do 0 and u have the same value?
False
Let v = -28 + 27. Which is smaller: -2/23 or v?
v
Let z(k) = k + 9. Let d be z(-7). Let o be (-5)/10 - 2/d. Let r = o - -13/6. Which is bigger: 1 or r?
1
Let h be 4/22 + (-40)/(-22). Is 1 less than h?
True
Let p(f) = -13*f**3 + f**2 + f - 1. Let c be p(-2). Let b be 11373/c + 2/7. Let h = b - 109. Which is smaller: -1 or h?
-1
Let p = -12 + 19. Is p at most as big as 7?
True
Suppose -3*v + 6 = 2*j, -3*v + 4*j + 11 = -13. Let r be (v/6)/(4/(-6)). Let n(k) = -k + 2. Let f be n(4). Which is bigger: r or f?
r
Let f(u) = u + 8. Suppose -10 + 30 = -4*l. Let y be f(l). Which is smaller: y or -1?
-1
Let c = -1.8 + 0. Let g = 2 + c. Let z = g + 0.8. Which is smaller: z or 1/5?
1/5
Let f = 15 + -11. Let p be f/28 + (-2)/14. Let z be -2 - (-3 - -2)*1. Is z > p?
False
Let n = 265/2 - 126. Is 7 at most as big as n?
False
Let y = -1.7 + 2.7. Which is smaller: 25 or y?
y
Let c(g) = g**3 - 6*g**2 + 2*g - 6. Let x be c(6). Let i(h) = -3*h + 37. Let l be i(11). Is x equal to l?
False
Suppose 0 = -2*i + 6. Suppose -i*a = 7 - 1. Which is bigger: a or 1?
1
Let t(a) = -3*a + 5. Let f = 12 + -10. Let l be t(f). Which is greater: 5 or l?
5
Suppose 3*r + 0 - 3 = 0. Let m be 21/(-15) - (r - 3). Which is smaller: m or 0?
0
Suppose 3*h - 2*b + 2 = 0, 6*b - 14 = 3*h + b. Suppose -2*r + 3*r = -h. Let i be (10/(-15))/(4/6). Is i at most r?
False
Let y = 11 + -6. Suppose 5*i + 4 = i. Let g be (0 + i)*(-13 - -7). Is g less than y?
False
Suppose -3*w - 3*q = -9, 0*w - w - 5*q = 9. Let v be (w/4)/((-84)/16). Which is smaller: -0.07 or v?
v
Let n = -19 + 18.98. Is 1/3 < n?
False
Let l be (-32)/306 - (-2)/9. Suppose -5*d = 5*c + 10, -4*d - 6 = 3*c - 0. Is d at most as big as l?
True
Let a be -1 - (-2 - (-2)/(-6)). Let z = 26 + -25.9. Is a equal to z?
False
Let m = -33 + 18. Which is smaller: m or -16?
-16
Let m(z) = 2*z + 26. Let q be m(-12). Which is bigger: q or 8/5?
q
Suppose 0 = 2*t - 6 + 2. Is t at least 3?
False
Let j = 365/21 - 120/7. Let h = j - -3/7. Is h greater than or equal to 1?
False
Let a(c) = 2*c + 7. Let o be a(-5). Let y = o - -3. Suppose y*n = -3*n. Do -2 and n have the same value?
False
Let b be -7 + 4 + -1*4. Let y be 2 + (-1 - (-9)/b). Is -4/7 less than y?
True
Suppose 3*g + 32 = -2*k, -5*k - 118 = -2*g - 0*g. Which is bigger: -23 or k?
k
Let m be (-2)/(-7) - 156/(-42). Let z be (-2 + 1)*(5 - m). Which is greater: 5 or z?
5
Let b = 146 - 1165/8. Let g = -2 + 4. Suppose g*q + 0*c = 2*c - 4, 4 = q + 2*c. Is b