pose -18 = g - p*g. Let b be 3 + -1 - (g - 2). Which is bigger: -1 or b?
-1
Let k = 10151/24 - 1271/3. Let p = 5/8 - k. Are p and 2 unequal?
True
Let n be -1*(-20)/(-8)*2. Which is smaller: n or -3?
n
Suppose -4*b = 5*a - 0 + 3, -5*b - 6 = 4*a. Let n(f) = f. Let l be n(a). Which is smaller: -1 or l?
-1
Let y be (-1)/(-1 - 20/(-13)). Which is greater: y or -1?
-1
Let f be ((-837)/(-6) + -3)*-6. Let k be 70/f + 2/(-9). Which is smaller: k or 1?
k
Let q = 4 + -4.34. Let o = q - -0.04. Let n = o + 0.4. Which is smaller: 0 or n?
0
Let c be 34*((-3)/(-6) - 3). Let w = -61248/5 + 12335. Let z = w + c. Which is smaller: z or -2?
-2
Let k = 0.38 + -0.08. Let x = 0.2 - k. Which is greater: 3 or x?
3
Let b(v) = v**2 - 15*v. Let u be b(15). Suppose 4*s - 16 = 5*h, 2*h - 4*h = -5*s + 37. Let y be (-2)/s - (-1)/(-36). Is u equal to y?
False
Let y = 103.67 + -103. Is 1/2 greater than or equal to y?
False
Let n be ((-1)/3 + -1)*-3. Is -1/6 <= n?
True
Let h = 0.15 + -0.08. Let y be 0 + 2/3 + 0. Which is smaller: y or h?
h
Let u be (-40)/(-10) - (-1004)/(-14). Let p = u + 12812/189. Is p at most 1?
True
Let b = 142 + -1565/11. Which is smaller: 0 or b?
b
Let w be 4/10 + (-224)/(-40). Which is greater: 25/4 or w?
25/4
Let c(a) = 4*a**2 + 17*a + 5. Let d be c(-4). Which is smaller: 2/115 or d?
2/115
Let o = 1.92 + -1.9. Is o bigger than -9?
True
Suppose -g - 2 = -1. Let a be 11980/61050 - (-2)/(-11). Let j = a - 3/37. Is j not equal to g?
True
Let d be ((-6)/21)/(1/(-28)). Is d > 10?
False
Let d be 51/(-21) + 6/14. Let a be (-1)/d + (-1)/2. Which is bigger: a or -1/11?
a
Suppose 17 = 3*w + 5. Let l = -6 + w. Which is bigger: -4/3 or l?
-4/3
Suppose 9*z - 15*z = -78. Is z at most -3/2?
False
Suppose 4*c = -4*u + 40, 4*u - 5*c - 6 = -2. Suppose -3*y = -u*y. Which is greater: -3/7 or y?
y
Suppose -13 = 3*d - d + 5*s, 8 = -2*d - 4*s. Which is smaller: d or 10?
d
Let f(d) = -d**3 + 4*d**2 - 3*d + 3. Let a be f(3). Suppose -a = -3*l + t, 0 = l - 2*t - 6. Let u be ((-2)/(-4))/(7/2). Is u greater than or equal to l?
True
Let h = -18 - -18.25. Is 1 equal to h?
False
Let o = -15.09 - -15. Let g = o - 1.91. Which is greater: 2/7 or g?
2/7
Suppose -2*q + 2 = -0*q. Let j be 1 + -1 + 237/765. Let c = j + 2/85. Which is bigger: c or q?
q
Let v = -4 - -8. Suppose -v*q = q + p - 4, 3*p = 3*q - 6. Suppose w + 1 + q = 0. Is -1 at least w?
True
Let v be (128/5)/4 + 9/15. Which is greater: v or 35/6?
v
Let b be 0/(1 + 1) + 5. Suppose 3*a - 10 = -2*s - 2*s, b*a = 4*s - 26. Let y = s - 2. Are 3 and y nonequal?
True
Let f = -5.9 + -2.1. Let l = 7.718 + 0.182. Let o = l + f. Which is bigger: o or 1/5?
1/5
Suppose -5*g + 32 = -2*u + 3*u, 31 = 4*g - u. Let n(o) = -2*o + 2. Let q(v) = v + 3. Let c be q(-5). Let f be n(c). Is g smaller than f?
False
Let l(h) = -h + 7. Let n(x) = x**2 - 3*x + 2. Let p be n(4). Let o be l(p). Let z = -1 + o. Is -1 greater than z?
False
Let m = 0 - 0.15. Let i = -0.45 + m. Is -1 less than i?
True
Suppose -9*p - 9 = -12*p. Suppose 2*h - p*w - 2 = -4*w, -w = h - 1. Is h at least as big as 1?
True
Let m = 6 + -3. Let f = 4 - m. Let c = -0.1 - -0.1. Which is smaller: c or f?
c
Let s = -5 + 3. Let f = s + 2.1. Suppose 5*c + 8 = 3*c. Is c != f?
True
Let m = 4.1 + -4. Which is greater: 0 or m?
m
Let n be 1955/3175 - (0 - 3/(-5)). Are 1 and n unequal?
True
Suppose 19*p = 22*p + 24. Is p <= -7?
True
Let b be (-1)/(-3) + 952/(-300) + 3. Which is bigger: 1 or b?
1
Let s = -5 - -4. Let o = s - -0.9. Suppose -5*c - 4*y + 1 + 2 = 0, 2*y = 4*c + 8. Is c <= o?
True
Let m = -7 - -7.1. Let s = -0.1 + m. Let i = -4 + 3.94. Is i less than or equal to s?
True
Suppose 0 = -5*r - 20, -z + r + 3*r - 57 = 0. Let a = 1093/15 + z. Let t be (-2)/(-10) - (-1)/(-5). Is t greater than a?
True
Let d = 65 - 86. Are d and -21 nonequal?
False
Let i = 0.205 + 0.025. Is i < -1?
False
Suppose -279 = 3*y - 327. Suppose 0 = -5*v + 88 - 8. Is y greater than v?
False
Suppose l = 2*r + 83, 5*r = 6*l - 3*l - 205. Let u be 4*(2 - (-86)/r). Suppose -9 = -5*s + 2*f - 3*f, 3*s + 5*f = 23. Which is greater: u or s?
s
Let y = -0.04 - -7.04. Let p = -6 + y. Which is greater: p or -0.1?
p
Let f = 22 - 24. Which is greater: f or 8/5?
8/5
Suppose -3*i - 2*t + 1222 = 0, -i + 2*t = t - 409. Let u be i/(-1593) + 2/9. Which is smaller: 0 or u?
u
Suppose 0 = 2*f - 4. Suppose 0 = 5*v + 20, -2*v - 20 = f*p + 3*v. Suppose 0 = -9*d + 8*d + 1. Are d and p equal?
False
Suppose 4*l = -a + 13, 0 = -3*l - 4*a + 6*a - 4. Let m(t) = t**3 - 3*t**2 + t - 4. Let o be m(l). Which is smaller: -1 or o?
o
Suppose 21 = 6*h - 15. Let m(l) = l + 12. Let w be m(-7). Is h less than w?
False
Let g be (-5)/1*3/9. Do g and -3 have the same value?
False
Let j = 3249/4 - 777. Let g = j - 717/20. Is 0 less than or equal to g?
False
Let t = 1 + -3. Suppose -3*o + 0*o + 66 = 0. Let z be 0 - (t + o/8). Is 0 greater than z?
True
Let x be 18/(-14) - (1 + -2). Suppose 0 = 4*m - 2*h + 4, -6*m - 4 = -2*m - 3*h. Is x at most as big as m?
False
Let o(t) be the second derivative of -t**3/6 + 11*t**2/2 + 2*t. Let k be o(11). Which is smaller: k or -2/9?
-2/9
Let j(v) = -v**2 + 13*v + 7. Let g be j(14). Do g and -9 have different values?
True
Let o = 10 + -8. Suppose 0 = -o*y - y + 4*h - 11, -17 = y - 4*h. Suppose -x - 3*x + n - 1 = 0, 12 = y*x - 5*n. Which is smaller: x or 1/4?
x
Let f = -38 - -39. Does f = -1?
False
Let k be (6/7)/(91/(-49) + 2). Is k != 7?
True
Let b = 100 - 99.13. Let y = b + 0.13. Is -10 equal to y?
False
Suppose -4*r - 3*g + 8 = 0, 2*r - 9 = -2*g - 3. Let y = 483/8 - 243/4. Is y > r?
True
Let f(g) = -4*g + 2*g - 3*g**3 + g. Let p be f(1). Let l be (-9)/114*p/(-3). Which is bigger: l or 1?
1
Suppose 7*g - 2*g = -3*v + 23, 5*g - 19 = v. Is v greater than -1/89?
True
Let g = 89 - 106. Is -16 at most g?
False
Suppose -4*k + 26 = 5*i - 0, 0 = -4*i + 2*k. Which is bigger: 11/12 or i?
i
Let g(d) = d**3 - 8*d**2 + 7*d + 2. Let m be g(7). Suppose 3*n + 10 = -m*n. Do -4 and n have different values?
True
Suppose 5 + 6 = 3*o + c, c = -o + 5. Suppose 2*d = o*v - 4, -5*v + 2*v - 10 = 5*d. Let r = 0 - -1. Is r greater than d?
True
Suppose -3*n + 5 = -4*p, 2*n - 5*p - 7 = -n. Let t be (-1)/(n + (-3)/(-4)). Let s be ((-1)/t)/(3/16). Which is bigger: s or 0?
0
Suppose w + 5 - 12 = j, 0 = -3*w + 4*j + 24. Which is bigger: w or 2?
w
Let c(r) = 3*r**2 - r. Let v be c(1). Suppose 20 = 5*q, -5*s + 62 = v*q + q. Suppose -14*l = -s*l. Which is smaller: l or -2?
-2
Let g = 5 + -7. Let d = g - -2.4. Let s = 0.05 - -0.05. Are d and s unequal?
True
Suppose 15 = -4*n - h, 0 = 5*n - 6*h + 3*h + 6. Which is smaller: -4 or n?
-4
Suppose q = -2*u - 0*u + 7, 3*u = -5*q + 14. Suppose 4*j + 4*o = 0, o = 2*j + 1 + 11. Let h = u + j. Is -1 bigger than h?
False
Let w = 216 + -215. Is w equal to -143?
False
Let f be (1 - 2)/((-9)/(-6)*2). Which is smaller: 0.08 or f?
f
Let k = -8 - -4. Let l = k - -4.06. Let z = l - -0.94. Which is smaller: z or 4?
z
Let n = -0.09 - -1.69. Let k = -1.5 + n. Is 3 equal to k?
False
Suppose 4 - 31 = 3*c. Which is greater: c or -10?
c
Let k(p) = p**2 + 18*p + 16. Let s be k(-17). Is 0.02 greater than or equal to s?
True
Suppose f = 4*f + 36. Let p be 1 + 2/f*4. Are p and -1 equal?
False
Suppose 0 = z + 4*z + 5*l - 65, 2*z - 14 = -5*l. Suppose -d - 3*w = z, -5*d = -w - 4*w - 15. Is -5/8 equal to d?
False
Let m(v) = -3*v - v + 5 - 4 + 3*v. Let x be m(3). Let q(t) = -t**3 - 3*t**2 - 3*t. Let y be q(x). Is y greater than or equal to -0.1?
True
Let g = 173 - 179. Suppose -3*u = -6*u - 12. Is u bigger than g?
True
Suppose -3*f + 9 = d + f, 3*d = -4*f + 27. Let r = 8 - d. Do r and -2/19 have different values?
True
Let t = -678.05 - -692. Let c = t - 14. Are -0.1 and c unequal?
True
Suppose g = 5*g. Suppose g*a + 5*a = 30. Is a != 4?
True
Suppose -4*t + 20 = 0, 4*t + 0*t = 2*u + 84. Let q be u/(-55) - 10/25. Suppose s = -5*w + 1, -3*w + 5 = 5*s - 0. Which is bigger: q or s?
s
Suppose 0 = 5*p - 2*a + 10, 4*p + 3*a + 8 = -0*p. Let d = -12920/9 + 1434. Are p and d equal?
False
Let o be (-4 - -6 - -3)/1. Is -2/35 >= o?
False
Let o be (0*(-3)/9)/(-3). Which is bigger: 3/8 or o?
3/8
Suppose -2*k + 5*i - 40 = 0, -i + 2 = 3*k + 62. Are -0.1 and k nonequal?
True
Suppose -z - 3*u + 31 = -8, u + 169 = 4*z. Let w be (1 + -2)*(-6)/z. Suppose 2*y + 2 = -0*y. Which 