ppose 5*i - 2*f - 16 = 0, 1 + 1 = -5*i - 4*f. Which is bigger: u or i?
u
Let d = 1 - 1.9. Let m = -1.9 - d. Which is greater: m or -2/3?
-2/3
Let i = 170.1 + -170. Suppose -2 = -n - 3. Which is smaller: n or i?
n
Let l = 2.3 + -1.3. Which is bigger: l or -1/10?
l
Suppose -a - 1 + 3 = 0. Let r(d) = d + a - 2 + 2. Let n be r(-4). Is n greater than -3/2?
False
Suppose -2*m - 4*x = 3*m + 16, 3*x = m - 12. Suppose m*t - 12 = 4*t. Let a = 3 + t. Is a at most 2/3?
True
Let x be (4/(-6))/(3/18*8). Which is smaller: -2 or x?
-2
Suppose 8*b - 12 = 4*b, 5*z - b = -793. Let v = z + 943/6. Which is smaller: v or 0?
v
Let t be ((-1)/3)/((-24)/(-8361)). Let p = 116 + t. Which is smaller: p or 0?
p
Let t be -3 + 1 - 1 - 1. Which is smaller: -3 or t?
t
Let m be 0 + (1 - 0/2). Let t be (-2)/(-1) + (-3)/9. Which is smaller: m or t?
m
Suppose a + 19 = c, -2*a + 0*a = -5*c + 107. Suppose 8 = 5*o + c. Are -2 and o nonequal?
True
Let j(d) = -d**3 - 6*d**2 - d - 4. Let z be j(-6). Suppose 6 = -g - 2*g, 0 = 4*r - 4*g - 24. Which is greater: r or z?
r
Let w(q) = -q**2 + 8*q - 9. Let p be w(7). Let v be (12/16)/(2/(-40)). Let i be 2*-1 - v/12. Is i at least as big as p?
True
Suppose -f = -3*s + 7 + 3, -3*f + 26 = 5*s. Is f at most as big as 3/4?
False
Let s(q) = q**3 + 1. Let u be s(0). Suppose u = 3*p - 2. Let x = p + -2. Is x smaller than -2/7?
True
Suppose -y - k = -4 - 1, 4*y = -k + 8. Let a = 3 - -4. Suppose -5*j - 1 = -4*o, 3*o = a*o + 5*j + 9. Is y <= o?
False
Let c = 52 - 52. Do -10/13 and c have the same value?
False
Let r be 0/(3/(-18) - 26/(-12)). Let j = -3/5 - -14/15. Does r = j?
False
Let k(g) = -g**3 + 5*g**2 - 6*g + 3. Let r be k(4). Is -3 at most as big as r?
False
Suppose -3*d + 15 = -6*d. Let k = 5 + -9. Is k smaller than d?
False
Let j = 1 + 1. Suppose -d = 3*d - 12. Are j and d non-equal?
True
Suppose -3*i + 2*o + 6 = 0, 2*i + 0*o - 12 = 4*o. Suppose -3*d - 12 = -0*d. Let y be (2/d)/(-1 + 0). Which is greater: i or y?
y
Let x = -2 + 8/5. Suppose -j + 20 = -6*j, -3 = -5*y + 2*j. Is y at most x?
True
Let g = 24 + -25. Let q be 17/(-14) + 1/2. Which is smaller: q or g?
g
Suppose -5*a + 20 = -3*b - 0*a, -3*b - 5*a + 20 = 0. Is b less than or equal to -2?
False
Let u be (-51)/(-12) + (-2)/8. Suppose f = -f + u. Suppose 0 = 6*j - 99 + 81. Is j equal to f?
False
Let h(v) = -v**2 + 4*v - 2. Let p be h(2). Suppose 3*t = -5*w - 10, -3*w - t + 1 = 3. Let y be w + 3/9 - p. Is 0 > y?
True
Let r = -1.1 - -0.1. Let d = -1.983 - 0.017. Which is smaller: r or d?
d
Let w(a) = 3*a - 1. Let g be w(-1). Let o be 1/5 - 26/5. Let h = g - o. Is 1 at least h?
True
Let u = -0.02 - -1.02. Let n = 0.02 - -0.38. Is u != n?
True
Let q(l) = l**3 + 5*l**2 + 2*l - 2. Let a be q(-3). Suppose 0 = 7*o - a*o - 3. Which is bigger: o or 2/21?
2/21
Suppose -l + 21 = -5*u, -2*l - u - 3 = -1. Let w be (0 - 3 - -2) + l. Which is smaller: w or 4/15?
w
Let q = 150 - 79. Is -2/5 less than or equal to q?
True
Let r = -9 + 10. Let w be 6/(0 + -3) - r. Let i(c) = c**2 + 2*c + 3. Let q be i(w). Is 5 at most q?
True
Suppose 3*b = 5*c + 6, -4*b - 4 = -3*c - 1. Let n = 9 - 5. Suppose -2*x = -n*q - 22, -5*q + x - 30 = -7. Which is greater: b or q?
b
Let v be (-28)/154 - (-57)/11. Let k(w) be the third derivative of -w**4/24 + w**3 + w**2. Let i be k(v). Which is smaller: i or 1/4?
1/4
Let s(o) = -o**2 - 8*o - 3. Let m be s(-8). Let l(y) = 7*y + 1. Let j(p) = 6*p + 1. Let h(d) = -6*j(d) + 5*l(d). Let b be h(2). Is m not equal to b?
False
Suppose 6 = 2*g - g - 4*v, -27 = 2*g + 5*v. Let u = 24 - g. Let l be (9/u)/((-3)/(-4)). Which is smaller: l or 1?
l
Let o = -243 - -242. Let t = 0.1 + -0.7. Which is smaller: o or t?
o
Suppose 0 = 5*t + 4*a - 5, 0 = 3*t + a - 6*a - 3. Which is greater: 2/25 or t?
t
Let t be 6/((-3)/6*4). Which is smaller: t or 0.09?
t
Let v = 265 + -264. Let j = -1263/7 + 180. Is j less than v?
True
Let r(u) = u. Let c be r(0). Let s = 5/14 - 17/28. Which is smaller: c or s?
s
Let m = -33.8 - -34. Is -1/3 smaller than m?
True
Let q be ((-2)/4*2)/(5/26). Is q at least -5?
False
Let p be (18/30)/(1/5). Suppose -2*d - 3*r = -4*d, 4*r = p*d. Is d > 2/7?
False
Let u = 12 - 9. Which is smaller: u or 4?
u
Let s(z) = -z**2 - 6*z + 1. Let n be s(-5). Suppose 0 = 5*l - 5*m + 15, l - n*l - 4*m - 6 = 0. Is l less than -1?
True
Let r be (-1 - 6/(-4))/(-1). Let z = 2 + -2.05. Let j = 1.05 + z. Which is bigger: j or r?
j
Suppose -68 = -2*z + 2*t, z + 4*t - 13 = 46. Let l = z + -155/4. Which is smaller: 0.2 or l?
0.2
Let t(r) be the first derivative of -r**5/120 - r**4/12 - 2*r**3/3 - 3. Let g(y) be the third derivative of t(y). Let q be g(-3). Is -1/6 less than q?
True
Let f = 0.06 + -0.09. Let k = -0.04 - f. Is k smaller than 0.1?
True
Let i be ((-18)/(-8))/((-3)/(-32)). Let o be i/35 - 6/21. Let z = -0.1 + 0.3. Which is smaller: z or o?
z
Let m be -5*(-7)/((-21)/6). Let k = 2 + m. Is -8 bigger than k?
False
Let d be (2/(6/15))/(-1). Let y = d - -4. Let b be (1 - y)*(-6)/(-4). Is 0 less than b?
True
Suppose -4*j = -2*p - 16, -5*p = -4*j + j + 19. Which is smaller: 0 or p?
p
Let f = 5 + -6. Let m = -1 - f. Suppose m = -5*h + 12 + 8. Which is smaller: h or 2?
2
Suppose 5*x + 4 = -3*c, -3*c + x + x = 11. Is c >= -4?
True
Let j be -5 + -1 - (-4)/2. Let r = j - -5. Is r at least as big as -3/11?
True
Let l = 3.2 + 0.8. Let s = l - 3. Which is bigger: 2 or s?
2
Let a = -2/233 - 460/699. Is a < -1?
False
Let u = 0 + 11. Are u and 8 non-equal?
True
Let u = -24 + 27. Which is smaller: 2 or u?
2
Let d = -0.1 - -1.1. Let h = -0.184 + -3.846. Let z = 0.03 + h. Is z bigger than d?
False
Suppose 0 = -t - t + 2*x + 22, 0 = 2*x + 6. Let w = 0 + t. Let n be 38/(-48) - w/(-12). Is 1 bigger than n?
True
Let f = 0.144 - 0.044. Are f and -0.15 non-equal?
True
Let p = -96.06 + 96. Which is bigger: -3 or p?
p
Suppose 0 = 2*j - 5*j + 81. Let b be 6/j - (-5)/18. Which is smaller: b or -3?
-3
Let l = 1/149 + 147/298. Let p = 0.8 - 1. Is p less than or equal to l?
True
Let t be ((-3)/(-4))/(2/(-8)). Let x = 5 + t. Suppose x*j - 1 = 3*j. Which is smaller: j or -2/11?
j
Suppose 0*n = 9*n + 108. Is n at least -10?
False
Let k = 263.96 - 258. Let j = k - -0.04. Are -0.1 and j nonequal?
True
Let i(b) = b**3 + 10*b**2 + 9*b + 16. Let m be i(-9). Is 17 greater than or equal to m?
True
Let x be 4/(-16) + (-18)/(-8). Let i = x + -1. Suppose l + 0 = i. Which is smaller: l or -1/10?
-1/10
Let p be (6/(-4))/((-12)/(-32)*14). Is 1/36 < p?
False
Let g = -1 + 1. Let q = 62 + -29. Let w be (1/(-3))/(q/22). Which is greater: w or g?
g
Suppose 2*y + 4 - 12 = 0, 4*q - 3*y = -4. Suppose 3 + 1 = q*i. Is 2 less than i?
False
Let a = 16 + -14. Which is smaller: 4 or a?
a
Let t be ((-1)/(-2))/(3 - 2). Let r be (-1 - 0)*1*-5. Suppose -6*x + d + 7 = -x, -4*d = r*x - 22. Is x bigger than t?
True
Let r be -1*(2 - -10)*(1 - -2). Which is smaller: r or -37?
-37
Let b(o) = -o**3 - 6*o**2 + 1. Let a be b(-6). Let t be ((-5)/2)/((-1)/2). Suppose 0 = t*f - f. Are f and a equal?
False
Let p = -6 - -7. Suppose -p = j - 0*n + 3*n, -4*j + 4*n = -12. Let b be (-1 - 1)/(0 + -1). Is j greater than or equal to b?
True
Let r = 1 + -0.4. Let p = 1.7 + -0.3. Let q = p + r. Which is smaller: q or 0?
0
Suppose 5*v = -48 + 28. Which is smaller: v or -1/2?
v
Let w = -0.03 - 11.97. Let a = w + 13. Which is bigger: -1 or a?
a
Let x be 1 - ((-6)/(-9) - 0). Let q be 6/(-10) + 22/70. Which is smaller: x or q?
q
Let j = 11 - 12.3. Let q = 7/11 + -3/22. Which is smaller: j or q?
j
Suppose -3*b = -2*l - 2*b - 6, 2*l + b + 2 = 0. Let q be (-2)/((l/(-1))/1). Suppose 13 = -6*g + 13. Do g and q have the same value?
False
Let h = 0.048 - 6.048. Which is smaller: -1 or h?
h
Suppose 48*p = 49*p - 9. Is p not equal to 9?
False
Let r = 0 - 6. Suppose 0 = -2*g + 5*y - 8, -5*y = -4*y. Which is smaller: r or g?
r
Let s be -3 - (-5 - 2 - -3). Which is smaller: s or -4?
-4
Suppose 4*a + a = 280. Let u = a + -276/5. Is u bigger than -2?
True
Let z = -148 + 97. Which is smaller: z or -50?
z
Let a = -24 - -66. Let h be (15/a)/(2/7). Which is smaller: h or 0?
0
Let m be (6 + 0)*(-12)/6. Let q be 26/48 - (-8)/m. Which is bigger: 1 or q?
1
Suppose -2*d - 17 = 15. Let r be d/28*3/(-4). Let q = -2 - -1. Which is greater: r or q?
r
Let k = -245 + 371. Let v be (-12)/(-28) - 40/k. Is v <= -1?
False
Le