. Let c = 7 + -4. Let r be i(c). Suppose 2*f - 8 = -r*f. Which is greater: f or 5?
5
Let f = 0.02 - 0.42. Let a = 0.4 + f. Which is greater: a or 1?
1
Let z = -0.612 - 0.088. Is 1 less than z?
False
Let u = -0.8 + 0.5. Let t = u - -0.1. Let s = t + 0.2. Are 0 and s equal?
True
Let q = 10 + -0.25. Let h = -0.25 - q. Let g = 7 + h. Is -2/3 at most g?
False
Let c be (-6)/9 + 52/60. Suppose 0 = -b + 8 - 7. Is b smaller than c?
False
Suppose 0 = 7*s + 31 + 18. Let w be 10/(-2) + (-1)/1. Is s at most as big as w?
True
Suppose 2*d + 4 = 2*j, -5*j + 2*d + 22 = -0*d. Which is smaller: j or 4?
4
Let b = -32 - -17. Let j = -9 - b. Let a = 4 - j. Which is smaller: a or -1?
a
Let m = -520 - -519. Let x = -4.9 - -0.9. Which is bigger: x or m?
m
Let r = -120 + 125. Is 6 <= r?
False
Let d = 0.001 + 27.999. Let o = 26 - d. Which is bigger: 1 or o?
1
Let t(y) = -2*y**2 - 4*y. Let h be t(-5). Let c = h - -46. Which is smaller: c or -0.1?
-0.1
Suppose 4*y = 6*y - 2. Is y < -6/7?
False
Let p be (-3 - -5)*(0 - 1). Let y be (-34)/(-6)*(-6)/p. Let w be 10/(-45) - y/(-36). Is w > 1?
False
Let o = 0.08 - 14.08. Let m = 13 + o. Is m at least as big as -0.07?
False
Let u = -5/6 - -13/30. Which is greater: 2/11 or u?
2/11
Suppose 3*o + 0*h + 9 = 2*h, 3*o + 2*h = 3. Which is smaller: o or -52?
-52
Let a = 1/862 - 449/15516. Is 0 less than or equal to a?
False
Let i be -2 + (12/(-5))/(87/(-70)). Which is smaller: 1 or i?
i
Let p = 26 + -21. Suppose 4*g + 3 = 11. Which is smaller: g or p?
g
Let z(x) = x**3 - 3*x**2 + x - 2. Let h be z(2). Which is smaller: -6 or h?
-6
Suppose 0 = 2*r + 2*r - 2*u + 114, 4*u - 112 = 4*r. Is r > -28?
False
Let o be -3*(-2)/(-3)*-2. Let w be o/(-6)*3/(-7). Let l(i) = -i - 6. Let a be l(-7). Is w > a?
False
Let v = 3 + -8. Let g = 4.8 + v. Which is greater: -1 or g?
g
Let q = 7 + -8. Suppose 5*y = -3*x + 15, -3*x - y - 2*y + 9 = 0. Suppose x*m = -m. Is q > m?
False
Let r be ((-6)/3)/((-4)/(-6)). Let v = r + 5. Let g(m) = -m**3 + m**2 + 4*m - 3. Let w be g(v). Are 0 and w unequal?
True
Suppose -2*v - i = 73, i - 58 - 135 = 5*v. Which is greater: v or -37?
-37
Let v = -9 + 12. Let a be v/((15/(-2))/5). Let n be (-6)/16*a/(-3). Are -2 and n nonequal?
True
Suppose 5*d - 2 - 3 = -5*w, -5 = 5*d. Let a be w - (-1 - 8/(-3)). Let m = 6 - 6. Is a bigger than m?
True
Let c(s) = -s**3 + 23*s**2 - 18*s - 17. Let b be c(22). Is b less than or equal to 70?
False
Let o be 1/(-4)*-3*-8. Which is smaller: o or -7?
-7
Let x = 0 - -4. Is 8 at least as big as x?
True
Let l(p) = p**2 - 13*p - 29. Let s be l(15). Which is smaller: s or 2?
s
Let m be (-13)/(-110) - (0 - (-8)/(-44)). Which is smaller: 2 or m?
m
Let n = 9 + -8. Which is greater: n or 2/15?
n
Let d = -190 - -112. Let l be (-38)/d - 12/78. Is -3 not equal to l?
True
Suppose -y = 2*g, -3*y - 4 = -2*g + 6*g. Suppose m - g*m = 0. Which is smaller: m or -3/5?
-3/5
Let r be ((-7)/112)/((-3)/908). Let z = 59/3 - r. Suppose k = 3*s + 3, 0 = 2*k + k - 9. Is s greater than or equal to z?
False
Let g be 79/7 + (-6)/21. Is g not equal to 10?
True
Let x = 111 + -320/3. Let z(b) = -2*b**3 - 2*b**2 + 3*b + 2. Let j be z(-2). Let i = x - j. Is i equal to -0.1?
False
Let j(f) = 3*f - 32. Let l be j(18). Let w be (-47)/(-2) - 3/6. Which is bigger: l or w?
w
Let j = 2/159 - -100/477. Suppose -4*m - 3 = 3*d, 0 = d + 2 - 1. Which is smaller: j or m?
m
Suppose -3*u = 31 - 85. Let o = u - 18. Is o greater than -1?
True
Let b(h) = 2*h**2. Let p be b(-1). Let l = -3 + p. Which is bigger: 0 or l?
0
Let r be -3*1*4/(-3). Let t be -3 + 3 - (0 + r). Which is greater: t or -5?
t
Let a(m) = -m**2 + 27. Let r be a(0). Suppose -2*s - 3*b + 18 = -b, -5*s + b + r = 0. Suppose 2*n - n - 3*k + 10 = 0, -s = 3*n - 3*k. Which is smaller: 3 or n?
n
Let p(m) = m**3 + 3*m**2 - 6*m - 3. Let a be p(-4). Suppose a = -3*s + 2. Let u = -0.4 + 0.5. Which is smaller: u or s?
s
Let h be 4/10 + 108/255. Let x = -76/51 + h. Is x at least -2/7?
False
Let m = 5 + 0. Let v be 3*(20/(-28))/m. Does 0 = v?
False
Let y = -0.4 - -0.3. Let a = -4 - -4.2. Let v = a + y. Is v equal to 2?
False
Let f be 62/(-42) + (-16)/(-12). Suppose -2*q - 4 = -2. Which is greater: f or q?
f
Let n = 1841/11 + -167. Which is bigger: 0.2 or n?
n
Suppose -9*s + s = -40. Let j = -20 - -12. Let m be ((-6)/j)/(3/2). Is s < m?
False
Let m = -0.1 + 0.3. Let l be -7 + 1 + (5 - 2). Which is smaller: l or m?
l
Let p = 23 - 74. Does p = -52?
False
Let i = 1 + 7. Suppose -30 = -4*v - 0*k + k, -4*v - 5*k + 18 = 0. Is i less than or equal to v?
False
Let k(j) = -j - 7. Let f be k(-4). Suppose -2 = -t - 4. Is t less than or equal to f?
False
Let k = -28 + 27. Which is smaller: k or -0.6?
k
Suppose 5*c = 2*y - 35, 2*c = 2*y - 4 - 16. Let d = 1 + c. Let m = 13/3 + d. Is m at least as big as -4/3?
True
Let o be 1/(-1)*(0 - -1). Suppose 0 = 6*y - 3*y - 6. Let k be 3/y - 0/o. Do 0.1 and k have the same value?
False
Let w = 3.593 + 0.397. Let g = w - -0.01. Let q = g - 1. Is q smaller than 1?
False
Let k = 1 + 2. Suppose 16 = 4*v - k*o, 0 = -v + 2*o + 15 - 6. Let i = -169 + 1180/7. Which is smaller: v or i?
i
Let y = 1 + -6. Let b = y - -6. Suppose 9 = -3*f + p - b, -4 = f - p. Which is bigger: f or -2?
-2
Suppose 0 = -x - 5*t - 21, 4*x - x + 23 = -5*t. Let z(c) = -c**3 - 11*c**2 + 9*c + 9. Let s be z(-11). Let y be ((-2)/10)/(s/(-75)). Is x at most as big as y?
True
Let q = -6.4 + 3.4. Let k = 2/25 - -21/50. Does k = q?
False
Suppose s + 0*s - 14 = -5*t, 12 = 4*t + s. Let h = 3 + -2. Let p = h - t. Are p and -2 equal?
False
Let o(l) = -l**2 + 10*l + 15. Let n be o(11). Suppose 4*p + 0 = n. Which is bigger: -1 or p?
p
Let w = 1 - 3. Let y = w - -3. Let u = 12 - 10. Are u and y equal?
False
Let y be 6/27 - 6/27. Suppose y = -3*h + 6*h. Which is greater: h or -2/15?
h
Let u = -287 - -262.6. Let g = u - -23. Is g less than or equal to -1?
True
Let g = 30.8 - 31. Let m = -4 - -3.8. Is g equal to m?
True
Let v be (-2)/(-8) + (-5)/20. Let l be (1 - (-9)/(-6))*v. Let a = -0.1 + 0.1. Is l at least as big as a?
True
Let g be 3 + 5 + 2/1. Let j = 3 - 7. Let r be 11/15 + j/g. Is r >= 0?
True
Let z = -17 - -12. Let j = 7 + z. Is -5 at least j?
False
Suppose -3*y + 2*s - 5*s + 21 = 0, -3*s = 5*y - 43. Let w = y + -15. Let b(k) = k**3 + 3*k**2 - 4*k - 3. Let r be b(-4). Which is bigger: r or w?
r
Let h = 53 - 84. Which is smaller: h or -30?
h
Let u(i) = i + 1. Let f be u(1). Suppose -f*r + 6 = r. Let z = -1 + -1. Is z greater than or equal to r?
False
Let s be ((-7)/(-42))/(2 - (-10)/(-4)). Suppose -4*x = x + 30. Let q = x + 8. Is q >= s?
True
Suppose 3*m + 3 = p, 0*p = -3*p + 5*m + 5. Which is smaller: p or -7/6?
-7/6
Let m be (-2)/6 - 15/9. Let d = 2 - 2. Let b = d - m. Which is bigger: 0 or b?
b
Let i(g) = -g**3 - g - 1. Let b be i(0). Let k be (b/(-18))/((-8)/(-12)). Which is smaller: 1 or k?
k
Let q = 10.3 + -10.7. Let r = -0.4 - -0.3. Does q = r?
False
Suppose 3*v = 5*v. Suppose -4*s - 3*x + 1 = v, -4*x + x - 5 = -2*s. Let p be 1/(-3) + s/(-3). Do 1/3 and p have different values?
True
Suppose -16*x = -19*x. Let q(y) = y + 1. Let z be q(-3). Let p be ((-5)/85)/(1/z). Is p at most as big as x?
False
Let l = -10 + 24. Let c be (-9)/12*l*2. Let u be (11 - 5)*(-2)/c. Which is bigger: -0.1 or u?
u
Let n = -3 - 15. Is n less than or equal to 2/7?
True
Let z = 16 + -16.2. Let c = -1.7 + 1.7. Is z >= c?
False
Suppose -5*u = 4*h - 37, 5*h - 7*h - 4 = -2*u. Suppose -h*b = -i + 14, -i - 17 + 3 = 4*b. Let d = -6 + 9. Do d and i have different values?
True
Let r = -1 + 1. Suppose -5*x + 27 = -2*v, -x - 99 = 5*v - 3*x. Let l be 2 - (3 + v/15). Which is smaller: l or r?
r
Let p = 0.91 + -0.01. Let f = -0.1 - p. Which is bigger: f or 1/7?
1/7
Let y = -0.05 + 0.07. Let g = -3.08 - y. Let l = -3 - g. Is l at most 1?
True
Let a = -422/7 + 60. Let b(d) = d**2 - 5*d - 6. Let w be b(6). Is w bigger than a?
True
Let h be (-228)/14 + 14/49. Is h > -17?
True
Let i = -3 + 5. Suppose -i*n + 3 + 9 = u, -n + 5 = 0. Let r = u - 0. Which is bigger: 3 or r?
3
Let r = -2 + 1. Let q = 36 + -38.04. Let g = q + 0.04. Which is smaller: g or r?
g
Suppose 4*c + h = 19, c - 2*h - 1 = 6. Suppose 13*s + 16 = 17*s. Which is greater: s or c?
c
Let m = 7327/7 + -1045. Which is greater: 3 or m?
3
Let x = 51 - 14. Suppose -2*m + 5*o + x = 0, -7*m + 14 = -3