 - -6). Is 1 > c?
True
Let w = -6 - -5.7. Let d = -64.7 - -62. Let q = w + d. Are q and 0 equal?
False
Suppose -5*g + 2*g + 15 = 0, 2*p + 2*g = 8. Let t(s) = s**3 - 3*s**2 - 4*s - 2. Let z be t(-2). Let i be 11/z - (-1)/2. Which is smaller: p or i?
p
Let u be (-2)/(-5) + 132/20. Let n be (2/(-6))/(2/(-42)). Let g = u - n. Which is smaller: g or -1?
-1
Suppose -2*x + 26 = 3*q + q, -4*q = x - 27. Is 8 >= q?
True
Suppose -2*y = -11*y + 27. Which is bigger: 11/4 or y?
y
Let q(a) = -a**3 + 12*a**2. Let x be q(12). Suppose x = -g + 5*b + 13, 0*b = 3*g + 2*b + 12. Let u = -703/300 + 7/75. Which is greater: g or u?
g
Let b be 15/9 - (-2)/(-3). Let n = -186.95 - -191. Let q = n - 0.05. Which is bigger: b or q?
q
Let g = 0 + 0.1. Suppose -4*y - 4*u = -2*y - 16, -y + u = 1. Which is greater: y or g?
y
Suppose 0 = 4*m - 4*t - 40, -5*t + 10 = m + 4*m. Let k = m - 9. Let x = 73 - 76. Is x at least k?
True
Suppose -5*s + 2*k - 35 = 0, -2*s + 0*s = -5*k + 35. Which is bigger: s or -21/5?
-21/5
Let l be 38/(-285) - 163/15. Which is smaller: -17 or l?
-17
Let a be (-1 - 0) + -4 + 9. Suppose -1 = 2*n + 3*x + 10, a*n = -5*x - 17. Is 2 >= n?
True
Let b = 13 - 6. Suppose -3*t + 3 = 0, -4*t = -y - 2*y - b. Which is greater: y or 2?
2
Let t = -3.26 + 2.8. Let d = -0.16 - t. Is d less than -0.1?
False
Let q(t) = -t**3 - 10*t**2 + 11*t - 3. Let f be q(-11). Let b = 1 - 1. Which is greater: f or b?
b
Let h = 0.4 + -0.3. Let y = -12.12 + 12. Let j = 1.12 + y. Is h not equal to j?
True
Suppose 0 = 4*k - 4*q - 80, -2*q = 5*k - 0*q - 128. Let g = k + -14. Let a be (-6)/10 + 6/g. Is a >= 2?
False
Let u = 2 - 5. Let c = u - -3.5. Let w = c + -0.4. Does w = 0.1?
True
Let v(g) = g**2 + 4*g + 3. Let m be v(-2). Let s = 1129/5 - 212. Let y = -14 + s. Which is smaller: m or y?
m
Suppose -4*c = -30 + 6. Let t(z) = z**3 - 6*z**2 - 4. Let l be t(c). Let v(m) = m + 4. Let o be v(-3). Is l greater than o?
False
Suppose f - 6 = -0*f. Let j = f + -9. Let d = j - -5. Is 1 greater than d?
False
Let q be -2 + -2*(-4)/(-8). Suppose -c = -3*b + 3*c + 14, 3*c + 23 = -4*b. Let x(y) = -y**2 + 2*y + 3. Let a be x(b). Is q bigger than a?
True
Suppose -6 = 2*t - 4*t. Suppose -d + 3 = 4*f, 2*f + 0*d = d - t. Do f and 2/45 have different values?
True
Let i be (2 + -1 + 0)/2. Which is smaller: i or 0?
0
Suppose s = 3*s. Which is bigger: s or 1/5?
1/5
Suppose -7 = 5*g - 2. Let v = 22 - 40. Let k = 196/11 + v. Is k > g?
True
Let p = -23/190 - 3/38. Suppose 2*c + 2*r = 12, -3*r + 0*r = 4*c - 22. Suppose c*g + 4 + 0 = 0. Which is smaller: g or p?
g
Suppose 0 = -c - c. Let b = -66324 + 730629/11. Let h = 97 - b. Which is bigger: h or c?
h
Let n = -2 + 4. Let q = 0.003 - -1.017. Let s = q - 0.02. Is s at most n?
True
Suppose -2*k + 0*m = -5*m + 301, -5*k - 744 = -4*m. Let n = -737/5 - k. Suppose 2*f + 2 = 5*c - 2, 0 = 5*c - 3*f - 6. Which is smaller: c or n?
c
Let b(w) = w**3. Let z be b(0). Suppose z = -d - 2*d. Suppose 4*m + d*m - 16 = 0. Is 5 smaller than m?
False
Let z = -2 - -3. Which is bigger: z or 1/5?
z
Let k = 56 + -53. Is -14 >= k?
False
Let p = 1 - 1. Let y = 0 - p. Let n = y + 0.2. Is n less than or equal to -2?
False
Let d = -13 + 9. Suppose -194 = -3*b - 2*z, 0 = -3*b + 5*b + 4*z - 116. Let q be 1/4 + b/(-16). Is q > d?
False
Let o = -763 + 5351/7. Is 1 > o?
False
Let n = 34 + -35. Let k = -6684 - -45512/7. Let l = 182 + k. Is n less than l?
True
Let q = -8 + 10. Let v = q + 3. Suppose 3*g = -4*u + 23, u - 2*g + v + 3 = 0. Which is bigger: u or 8/3?
8/3
Suppose 3*d + d - 20 = 5*h, 3*d = 2*h + 8. Let p be ((-4)/3)/(-2 - -8). Which is smaller: d or p?
p
Let v = 7 + -3. Let z be (-2 - (3 + -3))*-2. Suppose 0 = -z*j + 3*j + b + 2, -5*b - 13 = -2*j. Which is bigger: j or v?
v
Suppose -3*w - 6 = -h, -7*h = -5*w - 4*h - 6. Let x be (w*2)/(-3)*6. Is x greater than 12?
False
Let c = 72 - 357/5. Is c equal to 1?
False
Let j = -1 + -4. Let b be (18/j)/(-3) - 1. Let z be -1 + 1 + 0 + 0. Is z at least b?
False
Let i(c) = -4*c. Let n be i(-1). Suppose -4 = -0*a - n*a. Is a smaller than -2/9?
False
Let o(h) = h**2 - 3*h - 7. Let q be o(5). Suppose 2*b + 4*g - 8 = 3*g, -3*b = -5*g + 14. Which is smaller: b or q?
b
Let n(z) = -z**2 + 3*z + 11. Let y be n(5). Which is smaller: -1/56 or y?
-1/56
Suppose 3*w + 15 = 0, 3*r + 0*w = 4*w + 32. Let g be r/((-3)/(-3) - 2). Which is greater: -2 or g?
-2
Let j be 2 + -2 - 6/(-5). Let z = 12 - 11. Is z > j?
False
Let s be 3 + -8 + -3 + 4. Is -4 >= s?
True
Suppose 6 = 3*b, -i + 5 - 2 = b. Let x be i*-1*(-11 + 7). Which is bigger: x or 2?
x
Let b(m) = 7*m - 1. Let c be b(7). Suppose -3*w - 15 = -2*d - 4, -4*w - 4*d = c. Let o be (-2)/w - (-74)/(-14). Which is smaller: -6 or o?
-6
Let b = 4.4 + -2.4. Which is smaller: 1.5 or b?
1.5
Let k = 8 - 2. Let d = k - 4. Which is smaller: 1 or d?
1
Let u(y) = -y**2 + 10*y + 14. Let q be u(11). Let a(n) = 2*n - 2 - 1 + n. Let h be a(2). Is h < q?
False
Suppose -2*b + 2 = -2. Suppose -l + 5*l = -2*r - 22, -3*r + b*l = 1. Is -3 less than r?
False
Let k(q) = 2*q**2 + 2*q. Let x be k(-2). Is x bigger than 5?
False
Let v be 3/3*2 - -23. Suppose -5*b = v, -6*s + s + 15 = -2*b. Let x = 33/164 + 2/41. Is x <= s?
True
Let d = -5 + 8. Suppose 0 = -d*c + 5*c + 4. Let p(i) = i + 4. Let a be p(-5). Which is smaller: a or c?
c
Let v(w) = -w**3 - 8*w**2 - 7*w + 8. Let i be v(-7). Suppose 2*m + 0*m = i. Is -0.1 bigger than m?
False
Let y = -5 + 1. Let m be 1 - 3 - 4/y. Let x be m/(2/2)*0. Are x and 1/8 nonequal?
True
Let a = 4 + -8. Let h(l) = -l + 2. Let u be h(7). Which is bigger: a or u?
a
Let j = -29.8 + 25. Let x = 0.8 + j. Which is smaller: x or -1/2?
x
Let o be (-2)/(-6)*(1 - -10). Let n = -35 + 39. Which is greater: o or n?
n
Let n be -3 - (-3)/((-24)/(-26)). Which is smaller: -1 or n?
-1
Let j = 13 + -14. Which is smaller: -7/5 or j?
-7/5
Let x be (-9)/(-36) - (-19)/4. Let m(j) = j**2 - 7*j + 4. Let l be m(7). Is x less than l?
False
Let q(u) = -7*u**2 - 8*u + 5. Let l(c) = 6*c**2 + 7*c - 4. Let t(j) = -6*l(j) - 5*q(j). Let y be t(-1). Which is bigger: y or 5/6?
5/6
Let h = 2 - 0. Let r be h/(-3) + 4/(-3). Let t(i) = -i**3 - 2*i**2 + 5*i + 3. Let v be t(-3). Is r <= v?
False
Suppose s = 3 + 2. Suppose -10 = -s*q - 0. Let w = -16 + 17. Is q equal to w?
False
Let x be (-2)/7 + 306/42 + -7. Which is bigger: x or 10/21?
10/21
Let g = 703/9 - 78. Is g smaller than 0?
False
Let s = 69 + -136. Is s greater than or equal to -68?
True
Suppose 24 = 3*l + 75. Is -63/4 <= l?
False
Let j(c) = 4*c**3 - c**2 + 2. Let g be j(-1). Are -3 and g nonequal?
False
Let v = 14.5 - 21.5. Is v greater than or equal to -4/5?
False
Let y = 913 + -915. Let l = -2 - -1.9. Which is bigger: l or y?
l
Let d be (-1 - 3)*(2118/(-708) + 3). Which is smaller: 0 or d?
d
Let g be (6/110)/((-16)/(-10)). Let i be (-2074)/3696 - 1/(-2). Let u = g - i. Is u < 0?
False
Let t = 31696/13 + -2437. Is t <= 2?
True
Let y be 1/(-3)*0 + (1 - 1). Is y at least as big as -4/23?
True
Let g = 6.02 - -0.38. Let t = 6 - g. Do t and 1 have different values?
True
Suppose -n + 2 + 3 = 0. Let z be 0*(n/2 - 2). Let k be 3/1 - (8 - 6). Which is smaller: k or z?
z
Suppose -5*i = 3*w + 14, 5*w - 22 = -0*i + 3*i. Let n = i + 4. Which is bigger: -9 or n?
n
Let s = -0.43 + 0.4. Let l = 0.53 + s. Are 0.1 and l nonequal?
True
Let r(g) = 9*g**2 - 1. Let y be r(1). Suppose 8*f - y = 6*f. Are 4 and f nonequal?
False
Let x be 6/(-9) - 1/3. Which is smaller: -18/11 or x?
-18/11
Let v(y) = -y**2 + 10*y - 13. Let t be v(10). Is t at most as big as -12?
True
Let l = -5/2 - -2. Is l > 0.1?
False
Let m(i) = -i**3 - 2*i**2 + 2*i - 1. Let w be m(-3). Let t(k) = -2*k - 3. Let v(u) = 2*u + 3. Let o(g) = w*v(g) + 3*t(g). Let h be o(-2). Is 3/2 less than h?
False
Let f = -13.89 + 14. Let c = f + 0.09. Is 1 greater than c?
True
Suppose 2*j - 2 = 0, j = -r - 0 + 2. Which is greater: -4/11 or r?
r
Let v = 9 - 10. Let n be (-645)/351 - 2/(-9). Let a = n - -202/117. Is v at most as big as a?
True
Let d = -140 + 1262/9. Which is bigger: d or 0?
d
Let m = 0.05 - 0.05. Which is greater: m or 2/5?
2/5
Suppose -2*c - c = 21. Let t = 17 + -23. Is c > t?
False
Let k(g) = 2*g**2 - g - 1. Let y be k(-2). Let c be -2 + (-16)/y - -4. Which is smaller: c or -1?
-1
Suppose 25 = -0*q - 5*q. Let l be (0/3)/(q - -2). Suppose -5*s + 12 = 4*d,