 + 16 = -4*n, -5*d + 2*d - 9 = 5*n. Suppose 0 = d*a - 7*a - 5. Which is greater: a or l?
l
Let g be 4/6 - 37580/(-45). Let i = g - 218348/261. Let u = 4/29 + i. Which is greater: u or 0.2?
0.2
Let l(p) = 127*p**2 + 9*p + 8. Let w be l(7). Let u be (-1)/3 - w/126. Let a = u + 50. Which is smaller: 2/7 or a?
a
Let a = 4.59 - 0.59. Let w = 1.2 - 0.2. Which is bigger: a or w?
a
Let j = 5 - 5. Let h = -0.3 - j. Is -2 at least h?
False
Let u be 2 + (-1)/(4 - 3). Which is bigger: 3 or u?
3
Let z be -1 - (0 + -3) - -1. Let n be (-2 + z)*(-3)/(-6). Which is smaller: 0 or n?
0
Let r = -0.9 + 2. Let z = -1 + r. Is z equal to -3?
False
Let w be 21/(-2)*(-6)/(-9). Let l = w + 5. Is -1 at least as big as l?
True
Let j be 1/(3 - 5 - 2). Which is greater: j or -2/5?
j
Let z = 16 + -5. Is 11 <= z?
True
Suppose 0 = 4*w - 0 - 24. Let p be -5*3/w + 2. Does p = 0?
False
Let c be ((-2)/(-21))/((-15)/(-90)). Let r be 0 + (-4)/(1*-2). Suppose d = -r*d. Which is smaller: c or d?
d
Let c(m) = m**2 - 4. Let u = -4 - -7. Let p be c(u). Suppose -p*d - 3 = -2*d. Is d >= 0?
False
Let h be (-10)/(-22) + -2 + 1. Suppose t - s + 14 = 0, -4*t + 5*s - 62 + 2 = 0. Let l = -12 - t. Is h greater than l?
True
Suppose x - 5*w - 18 = 43, 119 = 4*x + 5*w. Let l = x + -24. Suppose 8 = f + f, -l = -2*q - 4*f. Is q equal to -1/2?
False
Suppose 0*j = 3*j + 9. Let c = j - -3. Let a be 4/(-42)*12 + 1. Which is smaller: a or c?
a
Suppose 4*m - 61 + 49 = 0. Which is bigger: m or -2/5?
m
Let k = 2 + 38. Let p be k/(-42) + 4/6. Let g be 4/(-6) + 14/12. Is p at least g?
False
Suppose 25*o = 24*o - 1. Which is smaller: o or -32?
-32
Let b = -136 - -132. Which is bigger: -3 or b?
-3
Let f(w) = w**3 + 5*w**2 - 2*w - 7. Let i be f(-5). Let v be (0 + 0)/(i + -4). Suppose 0*u + u = v, 2*u - 4 = -4*o. Which is bigger: o or 2?
2
Let g(l) = -l**3 + 2*l**2 + l + 8. Let c be g(3). Which is greater: 13/14 or c?
c
Let p = 0 - -2. Let f = -6 + 7. Let z be (f*(p + -1))/(-1). Do 0.3 and z have different values?
True
Let y(v) = -2*v + 8. Let t be y(4). Which is greater: t or -3/11?
t
Let j = 5 - 1. Let q = j + -4. Let u = 0.1 + 0. Is q smaller than u?
True
Let a be 2/2 + 273/360. Let p = 13/8 - a. Which is smaller: p or -1?
-1
Let s = -2.5 - -2.7. Which is smaller: s or -1/9?
-1/9
Suppose -5*p = -h - 0*h - 18, -3*p + 12 = 0. Let w be (-380)/(-65) - h/(-13). Is w greater than or equal to 6?
True
Let v(g) = -7*g - 39. Let t be v(-5). Let b(w) = -3*w + 4. Let m be b(3). Is m less than t?
True
Let y(s) = s**2 + 0*s**3 + 0*s**3 + 4 + 5*s + s**3 + 4*s**2. Let h be y(-4). Which is bigger: -2 or h?
h
Let k(h) = h**2 - 4*h - 6. Let q be k(5). Let x(m) = 5*m**3 + m**2 + 2*m + 1. Let n be x(-1). Let u = 5 + n. Is u at most q?
False
Let b = 2 + 2. Let n be b/(-6) + -1 + 2. Is n bigger than -1/6?
True
Let i be -3 + 16 + (-3 - -2). Suppose 8*y - 4 = i*y. Which is greater: -2 or y?
y
Let d = -0.05 + 0.15. Let v = -0.3 + 0.2. Are d and v equal?
False
Let a be (-3)/(-6)*(2 - -2). Let z be ((-10)/(-100))/(a/(-25)). Is -1 greater than or equal to z?
True
Let h = -1.36 + 0.16. Is h > 2/7?
False
Let v = -4.6 + 5.4. Are -3 and v nonequal?
True
Let c = -12/55 - -14/165. Suppose -4*w + 25 = 5*t + 2, 2*w + 8 = 4*t. Let q be (0 + t)*2/6. Which is smaller: q or c?
c
Let o = -14 + 19. Which is smaller: 2 or o?
2
Suppose 0 = 2*p - 0*p - 4. Let x(d) = -d**2 - 4*d - 1. Let b be x(-3). Is b smaller than p?
False
Let j = -16/19 - -179/190. Suppose 2*d - 5*r + 7 + 5 = 0, -5*d + 28 = 2*r. Let i = -3 + d. Which is bigger: j or i?
i
Suppose -2 = 5*o - 17, -4*o = 2*q - 6. Let b be (-4)/6*q/2. Which is bigger: b or 0.1?
b
Let b(o) = o**3 - 5*o**2 - 4*o + 2. Let z be b(7). Let y be (-1)/(38/z) + 2. Which is greater: y or -1?
y
Let l = 27 - 30.1. Let w = -3 - l. Let d be -1 + 3 + 33/(-44). Is w smaller than d?
True
Let m = 16 + 0.4. Let h = 16 - m. Which is smaller: -3 or h?
-3
Let d = -1/804 + -1511/77988. Which is bigger: d or 1?
1
Let d = -30 - -12. Let x be 12/(-54) + (-238)/d. Let r = 11 - x. Is -3 at least r?
False
Suppose 5*b - 4 = -4*l + 2*b, 3*b - 2 = -2*l. Let v be -1*l/2*0. Do v and -1/10 have the same value?
False
Let r = 435/7 + -62. Which is bigger: -1 or r?
r
Let i be (-38)/14 + 2/(-7). Let s be (-2)/6 + (-49)/(-21). Let r be (s/(-15))/((-1)/(-3)). Are i and r equal?
False
Let k = -35.9 - -36. Which is smaller: 0.074 or k?
0.074
Let r be ((-115)/(-25) + -5)*(-1)/(-4). Is r less than or equal to -2?
False
Suppose 6*i - 3*i = -9. Let j = -5 - i. Let z = -0.2 + 0.2. Is z > j?
True
Suppose -2 = g - 10. Let c(h) = -2*h**3 + 12*h**2 - 13*h - 4. Let t be c(4). Is g > t?
False
Suppose -3*r + 15 = 0, -2*s - 2 = 2*r - 10. Which is bigger: s or -1/6?
-1/6
Suppose -a + 6*a + 5 = 0. Let i be 2/6 + 14/(-6). Let t be (i - 0)/((-4)/(-1)). Is t greater than or equal to a?
True
Let x(h) = h**3 + 7*h**2 - 8*h - 5. Let a be x(-8). Is -5 > a?
False
Let g = -1 - -1.3. Let u = 1.3 - g. Are -1 and u nonequal?
True
Let z = -689/417 - 2/139. Suppose 0 = -3*c + 6, 3*c - 13 = -n - 2*c. Suppose 4*q = n*q - 3. Is z bigger than q?
True
Suppose u = -7 - 0. Is -4 less than u?
False
Let b be (-74)/15*171/6. Let x = -141 - b. Is -1 at most as big as x?
True
Suppose 4*c = -8 - 16. Let b be (-4)/6 + 8/c. Let t be b/((-1)/(1/2)). Which is smaller: 3/5 or t?
3/5
Let p = -0.19 + 0.19. Are p and -0.11 unequal?
True
Let x = 9/95 - -2/19. Do x and -3 have different values?
True
Suppose 3*m - 7*m = -80. Suppose -2*v + m = 5*c, -1 = -3*v + 3*c - 13. Which is bigger: 2/11 or v?
2/11
Let x(k) = k**2 + 6*k + 5. Let h be x(-5). Let s = h + 2. Suppose 4*b - 6 = -s. Are b and 3/5 non-equal?
True
Let k(z) = z**2 - 14*z - 22. Let h be k(14). Which is smaller: h or -21?
h
Let o = -14689/7 + 2085. Let d = 89/7 + o. Is -1 >= d?
False
Let c = 7 + -3. Suppose -i = c*i + 60. Which is smaller: -13 or i?
-13
Let o = 0.08 - -0.52. Let s = -0.11 - -1.11. Are s and o non-equal?
True
Suppose 175 = 7*a + 21. Is 20 at least a?
False
Let s = -0.21 + 0.2. Let q = -240.99 + 240. Let k = s + q. Is -3 < k?
True
Let f(y) = -2*y + 23. Let r be f(9). Do 2 and r have different values?
True
Let o = 3 + -8/3. Which is smaller: o or -1?
-1
Suppose 0 = -h - 0 + 1. Let g = 14/5 - 23/10. Which is greater: g or h?
h
Suppose 4*d - 4*l + 6 = d, 5*l = 4*d + 8. Let n(a) = a**3 + 17*a**2 + 16*a + 1. Let s be n(-16). Suppose -t - 5 = -s. Are t and d equal?
False
Let p(n) = n**3 + 7*n**2 + 6*n + 1. Let f be p(-6). Suppose -f + 6 = -5*y. Which is smaller: y or 3?
y
Suppose w + 2*w + 5*z = 14, -4*w + 5*z = 28. Suppose -16 = 2*y - 6*y, y + 4 = 4*p. Suppose 0 = -p*a + 2 - 4. Which is smaller: w or a?
w
Let f = 2.11 + -3.12. Let v = -0.01 - f. Let h = 1.2 - v. Which is greater: h or -1/7?
h
Let j = 21.3 - 21. Is j at least 7?
False
Let y(r) = -r - 1. Let t be y(-4). Suppose 0 = -t*d + 6*d + 3. Which is bigger: d or 1/4?
1/4
Let w = 0.16 - -7.84. Let y = w - 8.07. Let f = y + -1.93. Is f < 0?
True
Let t be 8/6 + 4/6. Suppose -5*v = -t - 8. Let i(s) = -s**3 - s + 3. Let n be i(0). Which is smaller: n or v?
v
Let s = 0.29 - 0.29. Is s <= 0?
True
Suppose 4*s = -5*d + 35, s = -0*d - 3*d + 7. Let a = s + -6. Suppose 0 = -3*k + 5*k - a. Does 3 = k?
False
Let f(v) = -3*v**3 - 2*v**2 + 1. Let x be f(1). Let r be (10/15)/(x/18). Which is bigger: r or -2?
-2
Let b = 0.1 + -0.1. Let q = 5.2 + -7.2. Which is smaller: b or q?
q
Let d(k) = -2*k - 2. Let v be d(-1). Which is smaller: 1/121 or v?
v
Suppose -3*v - 207 = j, -5*v + j - 345 = 4*j. Which is smaller: v or -68?
v
Let i = 75 - 49. Suppose 5*q + i = -4*b, 3*b + 15 = -q + 1. Is q at least -2?
True
Let h(d) = d**3 - 10*d**2 + 9*d - 11. Let q be h(9). Let x = 8 + q. Which is smaller: x or -5?
-5
Let a = -9 - -8. Let b = -2024 + 172046/85. Let w = -1/85 + b. Which is bigger: a or w?
w
Suppose -2*i + 5*d = -64, 28 = 2*i - 0*i + 4*d. Is i != 21?
True
Let g = -105 - -106. Let w be 6/21 + (-48)/21. Is w < g?
True
Let g = -11.3 + 11. Which is smaller: 1 or g?
g
Let r = -0.13 - 6.87. Let p = -77 + 70.2. Let t = r - p. Which is smaller: t or 0.1?
t
Let y(r) = r**3 - 4*r**2 - r + 4. Suppose 3*s - s = 0. Suppose s = c + c - 8. Let g be y(c). Which is greater: g or -0.1?
g
Let d = -59/3264 - -1/408. Let k be (855/160)/(-9)*(-34)/(-12). Let c = d - k. Which is bigger: c or 2?
2
Let u = 158/1411 + 20/