(-16)/4. Suppose p*u + h - 20 = 6*h, -5*h - 22 = -3*u. Let f be 0 + -1 + (2 - u). Which is greater: f or 1?
f
Let p = -6 - -8. Let k = 2 - p. Which is greater: k or -0.05?
k
Let q = -10.62 + 11.606. Let i = q - 0.046. Let z = -0.06 - i. Is 1 at most z?
False
Let y be 7 + (-5 - -4) - 2. Are y and 4 non-equal?
False
Let k be (-2)/(-8) - 481/52. Let y be k/(-24)*1/(-3). Let c be ((-2)/(-5))/((-4)/(-10)). Which is smaller: c or y?
y
Let k = -1.8 + -0.2. Let v = -3.5 + 0.5. Let z = k - v. Which is greater: z or -0.2?
z
Let y = -1580/31 + 51. Which is smaller: 1 or y?
y
Suppose -5*o = -o. Suppose -h - h - 4 = o. Let d be (-2)/h*(-1)/(-4). Which is bigger: -2 or d?
d
Let l = -13456/31 + 434. Is -1 equal to l?
False
Let n = 8 + -9. Which is smaller: n or -2/15?
n
Suppose -3*w - 2*z = z - 21, 5*z = 2*w - 7. Let f(y) = y**3 - 6*y**2 - 5. Let a be f(w). Let u be ((-9)/(-6))/(21/(-56)). Is a greater than u?
False
Let b be (-1 - -2) + (-4)/(-10). Let h = -7 - -6. Let j = h + b. Do j and -0.2 have the same value?
False
Let c(b) = 3*b - 2. Let j be c(1). Which is smaller: j or -2/11?
-2/11
Suppose -2*m + 5 + 1 = 0. Let k be (-5 - -7)*1/m. Which is smaller: k or 1?
k
Let s be 1 - 0 - (-12)/(-1572) - 1. Which is bigger: s or 0?
0
Let l = -9.3 + 9. Is 2 smaller than l?
False
Let k = -243273101/18485088380 + -7/1126796. Let x = 2/193 - k. Is 1 less than or equal to x?
False
Suppose 0 = -3*r + 6 + 3. Suppose -4*b + 4*l + 5 = -l, 3*b - 24 = -r*l. Is b greater than or equal to 5?
True
Let a(y) = -20*y - 1. Let k be a(7). Let i = k - -703/5. Are i and -1 equal?
False
Suppose 3 = -3*z + 24. Suppose z = -t - 2*t - i, 0 = 2*t + 4*i - 12. Which is smaller: t or -5?
-5
Let o = 0.23 - -1.77. Is 0.03 less than or equal to o?
True
Let l be (-10)/15*15/40. Which is smaller: -1.4 or l?
-1.4
Let p = -31 + 31.14. Which is smaller: p or 1?
p
Let r(y) = 91*y - 8. Let v be r(7). Let l be v/21 - 4/14. Let a = 30 - l. Which is smaller: 2/9 or a?
2/9
Let w = 0.09 + 0.01. Let p be 2/(-3) + 34/60. Which is smaller: w or p?
p
Let y(s) = 10*s + 2. Let o be y(1). Which is bigger: 1 or o?
o
Let g = -15 + 16. Which is smaller: g or -2/13?
-2/13
Suppose 5*m = -1 + 26. Which is bigger: 3 or m?
m
Let p(j) = -j**3 + 3*j**2 - j + 4. Let u be p(3). Let k = 2741/6 - 458. Let f = k + 5/3. Which is smaller: u or f?
f
Suppose -12*h - 20 = -8*h. Let x(v) = -v - 6. Let d be x(h). Are -1/6 and d unequal?
True
Let p(u) = u**3 - 2. Let y be p(-2). Let w be 3/9*y - 1. Let b = 4 + w. Which is smaller: b or 0.3?
b
Suppose 4*f - 3*s - 20 = 0, 0*f = -f - 3*s - 10. Let d(o) = -o + 3 - 5 + 0. Let k be d(-5). Is k greater than or equal to f?
True
Suppose 0 = s + 28 + 9. Let u be (-6)/(-2) + s/13. Is -1 at least u?
False
Suppose -4*q + 6*u = 4*u - 24, -5*q = 4*u - 43. Let d(h) = h - 2. Let s be d(q). Let m(f) = -6*f**3 - f**2 - 2*f - 1. Let v be m(-1). Which is bigger: v or s?
v
Let y = -37/14 - -15/7. Let b be 4/2 - (1 + -1). Which is bigger: b or y?
b
Let f be (-54)/(-8) + (-3)/(-12). Suppose -2*v + 34 = 3*p, -v + 2*v + 18 = p. Let o be 2/f - (-10)/p. Are o and 2 nonequal?
True
Let a = 0.087 - -34.913. Is 1 < a?
True
Let x(q) = 2*q - 2. Let n be x(1). Suppose -3*k + 8*k = n. Let v(d) = d - 2. Let r be v(1). Which is bigger: k or r?
k
Let p(w) = w**3 - 4*w**2 + 2*w. Let u be p(4). Which is greater: u or 2?
u
Let d(t) = 2*t**2 - t. Let r be d(1). Which is greater: 15 or r?
15
Let i = -13 + 8. Let d be (i - -6)*(-2)/4. Is d bigger than -0.05?
False
Let h = 5 - 6. Are h and -0.08 unequal?
True
Let z = -302377/121 - -2499. Which is greater: z or 0?
z
Let r be (-7)/(-14)*(-4)/2. Let k = -19 + 19. Is k > r?
True
Let m be (-7)/2 + 8/2. Suppose 3*c + 3 = -3*w - 6, 5*w = 5*c - 15. Which is bigger: m or c?
m
Let s be ((-1346)/(-84))/((-3)/2). Let m = s + 100/9. Which is greater: 0 or m?
m
Let o be (-1)/4 - 1/(-4). Which is smaller: -1/30 or o?
-1/30
Let g be 5/1*(-4)/(-21 - -1). Is g less than 2/17?
False
Let n be (-3)/(-3) + -43 - (-5 + 4). Is -121/3 bigger than n?
True
Let h = -31 + 28. Which is bigger: h or -5/3?
-5/3
Let d be ((-13)/(-4) + -5 + 2)/(-1). Which is smaller: d or -102?
-102
Suppose 6 - 18 = 4*b + 4*d, -5*b + 5*d = -25. Let q = 1 - b. Suppose q*h = -5*h. Which is smaller: -1/4 or h?
-1/4
Let k be 4/(-4)*(2 + 0). Suppose 16 = -4*o, 0 = -5*z + 4*o + 17 - 51. Let b = 9 + z. Is k smaller than b?
True
Let c = -9 - -11. Which is smaller: c or 10/11?
10/11
Let z = 150 + -121. Is z < -0.1?
False
Let p = 85.1 + -85. Suppose -35 = 2*s - 7*s. Is p equal to s?
False
Let n = 1.4 + -1.39. Which is smaller: n or 1?
n
Suppose -4*v - 2*b = -7*b - 19, 3*b = -9. Is -0.3 greater than or equal to v?
False
Suppose 2*c - 1 + 15 = 0. Which is smaller: c or -2/7?
c
Suppose -c = -5*z - 89, 4*z + 21 = 3*z - 3*c. Which is smaller: z or -16?
z
Let d = 428 - 16261/38. Which is bigger: 0 or d?
d
Let q = -135/154 - -11/14. Are -1 and q equal?
False
Let h = -0.2 + 0.2. Let p = 0.1 - 0.12. Let g = p - -0.42. Which is smaller: g or h?
h
Suppose 2*l + 12 = 5*l. Is 4 bigger than l?
False
Let w(r) = 13*r**3 - r**2 + r + 1. Let q be w(-1). Let j = 25 + q. Which is greater: j or 12?
12
Let u = -0.21 - 0.69. Let n = 1.1 - u. Are n and 2/9 non-equal?
True
Suppose 0 = -5*x + 4*c + 6, -5*c + 3 = -x - 0*x. Let q = 3 + x. Suppose 5*o + q + 0 = 0. Is -1 != o?
False
Suppose -8 = -2*b - 2. Which is smaller: 4 or b?
b
Let i = -2.2 + 2.13. Are i and 0.1 nonequal?
True
Let a = -1.6 + 2. Let u = -2.4 + a. Let w = 13 - 13. Which is smaller: w or u?
u
Let s = 3 - -5. Is 8 less than or equal to s?
True
Let k = 13 - 14. Let q = 19/5 + -4. Is q bigger than k?
True
Suppose 11 = t - 5*c, 2*t - t + 7 = -4*c. Which is greater: t or -3/7?
t
Let a(b) = -4*b**2 - b + 1. Let v be a(-1). Is 20 > v?
True
Let w(l) = -l**3 + 4*l**2 + 9*l - 9. Let s be w(6). Let b be s/78 - 1/(-2). Suppose 0 = -4*k + 3 - 7. Is k greater than or equal to b?
False
Let k = -57935/6 - -429977/42. Let a = k + -583. Which is smaller: a or 0?
a
Let x = 7 + -7.3. Suppose -a - d = 0, -2*a + 3*d + 2*d = -7. Which is smaller: a or x?
x
Let a be ((-1)/((-13)/4))/(-2). Suppose 3*z + 5 = 2*n, -z - 3*n + 1 = -1. Is z greater than a?
False
Let i(g) = 2*g + 6. Let t be i(6). Suppose 9*y - 6*y + t = 0. Suppose 0 = 3*u + m + 16, -5*u + 3 = -m + 35. Is y <= u?
True
Let u = 176 + -883/5. Is u less than 2/9?
True
Let b = -22 - -23. Is b at least as big as 2/39?
True
Let a be ((-3)/2)/(3/(-6)). Is a > 4?
False
Let n = -0.5 + -14.5. Is n at most as big as 0?
True
Let q = 76 + -76.2. Which is greater: 1.7 or q?
1.7
Let h(z) = -z + 7. Let c be h(0). Let w = c - 9. Does -3 = w?
False
Suppose 2*c + 3 = -2*t + 7, 20 = t - 5*c. Let g = -4 + 5. Is g <= t?
True
Suppose -27 = -f - 9. Let o = 16 - f. Which is bigger: -3 or o?
o
Suppose 5 = 2*g + 7. Let b be (-1 - 6/(-4))/(-2). Which is bigger: b or g?
b
Suppose 0 = -2*v - 5 + 7. Which is smaller: v or 0.4?
0.4
Suppose 5 = m - i, 25 = m + 4*m - 4*i. Which is bigger: m or 2?
m
Let x = -10 + 12. Let a be (x*-1)/((-2)/(-9)). Does a = -8?
False
Let u be 206/(-14) + (-4)/14. Let w be u/25*8/6. Which is greater: w or -2?
w
Let a(z) = -z - 1 + 0 - 3*z - 2*z + z**2. Let g be a(6). Is 0 bigger than g?
True
Suppose -5*l + 2*l - 12 = 0. Let q = l + 2. Let m be 2/3*q/(-6). Which is smaller: 0 or m?
0
Let v(g) = g**3 - 7*g**2 - 9*g + 5. Let m be v(8). Let j be 2 - 1/(-3)*m. Which is smaller: j or -2?
-2
Suppose -k = 3*k + 28. Do -4 and k have different values?
True
Let q be 2/(-2) - (-1 + 2). Let t be 2 - (-3 + 1) - q. Suppose 0 = 2*u - t*u - 20. Is -5 < u?
False
Let a = 9.3 - 0.3. Let d = -8.3 + a. Which is smaller: -0.1 or d?
-0.1
Let p = -19 + -6. Let n be p/(-15)*(-4)/10. Is n less than or equal to -2?
False
Let r(d) = d**3 + 5*d**2 + 5*d + 4. Let s be r(-4). Let f be 0 + (s - (-2 - -2)). Which is smaller: -2 or f?
-2
Let r = -26 - -18. Is r <= -7?
True
Suppose -6 - 11 = -n. Let v = 19 - n. Suppose -2*a - 9 = -5*b, 0 = -5*b - 2*a + 3 - 2. Does v = b?
False
Suppose -3*f - 6 = 0, -3*s + 3*f - 5*f - 28 = 0. Let v(y) = -y**2 - 7*y + 9. Let a be v(s). Suppose -4*p - p = -5*w - 30, 11 = -4*p - 3*w. Is p at most a?
True
Suppose -4*i + f + 15 = 0, f + 3 = 4*i + 4*f. Is i at most 13?
True
Let w be 0 + (-628)/(-158) - 20/5. Is 1 at least w?
True
Let a be (27/2)/(4/8). Let x = a + -55/2. Do -