e
Let d be 3/(-2) - (-12)/8. Let n(x) = x**2 - 9*x + 1. Suppose -2*s = o - 16, 0 = -o + 6*o + 10. Let u be n(s). Which is bigger: u or d?
u
Let z = -9 - -2. Let j be z/((-28)/(-48)) - -3. Is j smaller than -9?
False
Suppose -3*u + 2 = 14, -2*u - 28 = 2*f. Which is smaller: f or -94/11?
f
Let d be 4 + (3 - (5 - (-7 + 4))). Which is smaller: -2/301 or d?
d
Let t(s) be the third derivative of s**5/60 - s**4/8 - 4*s**3/3 + 24*s**2. Let q be t(-2). Is -1 equal to q?
False
Suppose 13*n - 5*j = 9*n + 48, -5*n + 4*j = -51. Is n < 7?
False
Suppose 21*s - 20*s = 4. Which is bigger: s or 2?
s
Let c = 11.67 - -359.33. Is c at least as big as 0?
True
Let f = 0.83 - 0.04. Let y = f - 6.79. Which is greater: -2/5 or y?
-2/5
Suppose -7*j - 204 = 5*j. Which is greater: j or -13?
-13
Let d = -7622895/569 - -13397. Are d and -1 nonequal?
True
Let u = 1 + -3. Let b = -116 + 58. Let t = b - -58.1. Is t > u?
True
Let l = -15250 + 259177/17. Which is bigger: l or -4?
-4
Let p(q) = q**3 + 17*q**2 - 12*q + 14. Let s be p(-18). Let m = s - -91. Which is smaller: m or 9?
m
Let u(y) = -y**3 + 6*y**2 + 18*y - 17. Let p be u(8). Let x be 217/91 + (3 - 5) + p. Let i = -6 + 4. Is i smaller than x?
True
Let g be (-32)/4 - 1/1. Suppose 3*s + 10 = -4*q - 2, 0 = -4*s - 16. Let i(c) = c**3 + 3*c**2 - c + 2. Let x be i(q). Which is bigger: g or x?
x
Let k be ((-144)/(-1500))/(4/30). Does k = 0?
False
Let a(t) = 49 + 46 + 61 - 141 - t. Let b be a(14). Is b != -1/14?
True
Let x = -3 - -3. Let d = x - 0. Let w be 2 + (d - -2) + -3. Is -2/5 bigger than w?
False
Let k(v) = -v**2 + 2*v + 7. Let d be k(5). Let b be (d/14)/((-24)/28). Let m = 7.88 + 0.12. Do b and m have different values?
True
Let i be (-2)/15*18/(-4). Let r = -41 - -42. Which is bigger: i or r?
r
Let m be (-1 + 5)/(6/4 - 1). Suppose -3*l - m = l. Are l and -8/9 unequal?
True
Let t(l) = -2078*l**2 + 6*l. Let q be t(-5). Let k be q/(-23348) + -1 + -1. Let i = k - -2/449. Which is smaller: 0 or i?
0
Let p be 5 + -2 - 2/((-4)/(-4)). Let r be 3/(-6)*(-4)/15. Which is greater: r or p?
p
Let k = -3 - -2. Let t = 2.2 - 1.8. Let r = -2.4 + t. Is r at most k?
True
Let w = -229 - -230. Which is bigger: 1/6 or w?
w
Suppose 57*w = h + 60*w - 1, 0 = -2*h - 2*w - 2. Is -2.96 < h?
True
Suppose -4*f + 7 = p, 3*p - 2*f + 19 = -4*f. Let u = -9 - p. Which is smaller: -2/15 or u?
-2/15
Let k = -11 + 16. Let z(s) = -s + 5. Let w be z(k). Let u be 5/(-22) + ((-435)/30)/(-29). Which is smaller: u or w?
w
Suppose 1224 = -2*w - 15*w. Let p = w + 73. Which is smaller: p or 3?
p
Suppose 0 = 7*a - 1 + 8. Which is smaller: -5/111 or a?
a
Let s = 0.0629 - 261.0629. Is s less than or equal to -0.3?
True
Let a(m) = -2*m + 2. Let s be a(-2). Let y be 0 + 5*s/15. Let n be (y/4)/((-1)/12). Which is smaller: -5 or n?
n
Let f = 2 - 7. Let i = 57 + -95. Let a = i - -37. Is f < a?
True
Let a be -11 + -719*(-11)/(-66). Is -132 not equal to a?
True
Suppose 3*n = -4*n + 112. Let i be -1 - (5/(-10))/(2/n). Do i and 10/3 have the same value?
False
Suppose 2*p - 6*p + 184 = -5*t, -4*t = 3*p - 138. Do p and 46 have different values?
False
Let c = 1492 + -1492.3. Is c greater than -0.146?
False
Let n = -2975/24 - -124. Let d = -2 - 11. Let u = d - -13. Which is bigger: u or n?
n
Suppose 2*y + 8 = 3*s + 15, s = -4*y + 21. Suppose y*w + 20 = 0, -b = -2*b - 2*w - 6. Suppose -4*t = d + 4*d - 8, 0 = -b*t - 6. Which is bigger: 3 or d?
d
Let m = 16 - 11. Let g(k) = m*k + 0 + 5 + 4 - 11. Let z be g(-4). Is -22 > z?
False
Let h be (-2)/(-7) - 16/56. Suppose -5*c + 2*f = 11, h*f = c - 5*f + 16. Which is bigger: 1/91 or c?
1/91
Let h = -87 - -58. Is h greater than -33?
True
Let z = -90 + 81. Let n be ((-3)/z)/(3/402*-2). Which is smaller: -23 or n?
-23
Let h = 1.86 + -54.86. Do h and -2 have the same value?
False
Let k be ((-18)/27)/((-2)/(-555)). Is k greater than or equal to -183?
False
Let o = -12633 - -12620.994. Let t = 0.006 + o. Which is bigger: 1 or t?
1
Let i(y) = -y + 17. Let p be i(9). Let z = -8 + p. Let l be (-2 + z - -2)/(-1). Are -1/18 and l equal?
False
Let z(w) = -w**2 + 16*w - 17. Let y be z(10). Let g(x) = 3*x**2 + 15*x + 24. Let p be g(-6). Is p at least as big as y?
False
Let t be (30/(-45))/((-4)/75). Is t less than or equal to 12?
False
Let r(i) = 2*i + 6. Let s be r(6). Suppose -s = 3*q + 21. Let g = q + 14. Is 2/11 equal to g?
False
Let b = -26 - -25. Let q be (0 + b)*176/(-56) - 3. Which is smaller: 1 or q?
q
Let h be (62/11)/(50/24). Let k be 3/(-7) - (-10605)/(-6125). Let x = k + h. Do x and 1 have the same value?
False
Let x = -558 - -488. Is x equal to -72?
False
Let r(f) = -f**3 + f**2. Let t be r(-1). Let k(w) = 10*w**2 - w - 1. Let s be k(-1). Suppose -7*g = -s*g + 3. Is g < t?
True
Suppose 0 = 13*z - 8*z - 35. Suppose -3*y + 20 + z = 0. Which is smaller: y or 2?
2
Let v be 3 - 0 - 793*(-1)/(-7). Let a = 109 + v. Is a at least 0?
False
Let n(y) = 2*y**2 + 5*y + 5. Let s be n(-2). Suppose h = -s*t - 0*h + 112, 0 = 2*t + h - 75. Is t bigger than 37?
False
Let y = -8.95 - -17.95. Suppose 4*f + 28 = 3*c + c, -5 = 5*f + c. Which is greater: f or y?
y
Suppose 0 = 4*q - 143 + 23. Suppose -45*h + q = -50*h. Is -8 at most h?
True
Let n(o) = o**2 + 2*o + 14. Let s be n(9). Suppose -s*a = -106*a + 112. Let v be -1*1/(0 - 1). Which is smaller: v or a?
a
Let y be 2*((-10)/(-4) + 0). Let r be (-3 - 0)*(-3 + y). Let l be (r/(-8))/((-12)/8). Which is smaller: -0.2 or l?
l
Suppose 3*g - 4*g = -4*s - 23, 12 = 4*g. Let c = 3 - 3. Let h = -4 - c. Is h greater than s?
True
Let c(z) = -z**2 - 65*z + 417. Let x be c(6). Which is bigger: -7 or x?
-7
Let j = -112/19 - -241/57. Which is smaller: j or -1?
j
Let r = -20.1 - -20.2. Suppose 0*o - 6 = 3*o. Let m = o + 2. Is r greater than or equal to m?
True
Let p = -0.004 - -4.204. Let z = -3.2 + p. Let w = 1.54 - -0.16. Is z at most as big as w?
True
Let q be 58/(-87)*(-3)/(-2). Is -4/23 less than q?
False
Suppose 0 = 2*j - i + 310, 11*j - 5*i = 12*j + 166. Is j at most -158?
False
Suppose -u = 2*u - x - 8, -5*x - 22 = 3*u. Suppose u + 0 = -z. Let k be (0/z + -2)/(-2). Which is smaller: k or 1/4?
1/4
Let q be (-29 - (2 - 5))/6. Which is smaller: q or -4?
q
Let p be (0 - -2) + -1 + -1. Suppose 0 = v, 2*u = 3*u - v + 99. Let r be p/2 + (-9)/u. Which is greater: r or -1?
r
Suppose 2*r - 4 = -0*r + 2*m, -r + 20 = 5*m. Suppose r*y - 4*f = 40 - 130, -5*y = -2*f + 80. Let x be (5 - 7)*2/y. Which is greater: x or 0?
x
Suppose 4*j = -j - 3*j. Is -14 smaller than j?
True
Suppose -6*y - 635 + 845 = 0. Suppose 2*z + 3*z - 180 = 0. Which is bigger: y or z?
z
Let u = 169 + -165.81. Let q = 0.19 - u. Let l = 1 - q. Which is smaller: l or -0.1?
-0.1
Suppose -l - 3806 = -4*s, 2*l + 3083 + 4529 = -4*s. Let m = l - -34312/9. Let t = 620/99 - m. Which is smaller: -1 or t?
-1
Suppose -21 - 6 = -9*a. Let y be a/(-6) - (-18)/12. Is 2/33 > y?
False
Suppose -4*t - t = 210. Suppose 5*v - 2*l + 10 = 0, 4 = -2*v - l + 3*l. Let p be (v/t)/((-2)/(-6)). Which is bigger: 1 or p?
1
Let i = -241 + 223. Which is greater: i or 0?
0
Let c be 2/(-5) - 4/(-10). Let q = c - -3. Suppose -4*i = -3*i. Which is smaller: q or i?
i
Let a be 30/4 - (-1)/(-2). Let w(g) = g - 8. Let c be w(a). Let x = 4/45 + -166/855. Which is smaller: c or x?
c
Suppose -5*r - 5*m + 159 = -3*m, -3*r + m = -91. Which is smaller: r or 36?
r
Let a = 1072 - 1295. Is a smaller than -227?
False
Let v = 279 + -137. Let n = -137 + v. Is 8 greater than n?
True
Suppose v - 2*o + 3*o = -4, 0 = 4*o + 12. Let u = 2.7 + -3.8. Do u and v have the same value?
False
Let d be ((-2)/(-6))/((8/60)/2). Suppose -p - 6 = -j, p + 14 = j + 2*p. Suppose -j = -a + 2*f, 0 = 5*a - 3*a + f - d. Is 4 less than or equal to a?
True
Let z(y) = -145*y - 1596. Let c be z(-11). Which is greater: c or -1/50?
-1/50
Suppose 0 = -4*d - 5*x + 15, 10*x - 9 = -3*d + 7*x. Is -2/5 greater than d?
False
Let f = -3973388851839/3868 + 1027246326. Let q = f - -4/967. Which is smaller: q or -15?
q
Let f = 0.144 - 0.103. Let l = f + -0.181. Do 0 and l have different values?
True
Suppose 4*r = 2*r + 10. Suppose -p + v - 4*v = -12, -4*v = -p + r. Is 7 bigger than p?
False
Let x = 0.9 + -1. Suppose 2*b + b = -0*b. Let f be (-56)/90 - b - 8/(-36). Is x at most as big as f?
False
Let f = -2/243 - -739/1215. Let j = 11 - 10. Are j and f equa