 Which is smaller: p or u?
p
Let k = 2 - 2. Suppose -3 - 2 = 5*i. Which is smaller: k or i?
i
Let p = 3 + -3.2. Let f(s) = s - 5. Let w be f(6). Which is bigger: p or w?
w
Let j = -8 + 5. Suppose 5*m + 4*t + 21 = 0, 2*m + 1 = 2*t + 7. Which is smaller: j or m?
j
Suppose 5*k + 2 = 4*k. Which is smaller: 2 or k?
k
Suppose 0 = 4*i + 5*i - 90. Let f(y) = -3*y - 3. Let r be f(-4). Which is greater: i or r?
i
Let a = -0.041 - -0.041. Let l = 0 + 2. Let c = l - 2. Is a at least as big as c?
True
Let h = 0.14 + -0.04. Which is smaller: 0.4 or h?
h
Let o(c) = -c**3 + 9*c**2 - 8*c + 11. Let s be o(8). Let a = s - 15. Is a <= -4?
True
Let f = 24 - 49. Is f less than -24?
True
Let r = -0.066 + -0.034. Let p be (-8)/(-3)*6/28. Is p less than or equal to r?
False
Let s = -1821 + 424295/233. Let a = s + -1641/1165. Do a and -2 have different values?
True
Let z = 14 + -6. Let i(n) = -n**3 + 8*n**2 + n - 3. Let v be i(z). Let g = v - 6. Which is smaller: -2/19 or g?
g
Let w = 1 - 1. Let p = -207 + 2271/11. Is w <= p?
False
Let j = -169/4 + 42. Suppose -3*r = -5*q - 17, -r - 3*q + 1 = -0*r. Let c = r + -3. Is c >= j?
True
Let p = 69 - 209/3. Let d be 1/(3/18)*-1. Let f be (4/6)/(2/d). Which is smaller: p or f?
f
Let k(z) = -2*z**2 - 4*z + 5. Let n be k(-3). Is n at least as big as -4?
True
Suppose -3*a - 2 + 14 = 0. Let s be a/(-25)*(-10)/(-12). Suppose -7 = -5*b + 3*n, 5*b + n = -6 - 3. Which is greater: b or s?
s
Suppose 0 = 3*m + 8 - 5. Let d be m + 1 + (-5)/(-6). Is d > 0?
True
Let d be (50/(-30))/(2/(-6)). Let f = 6 + -1. Is d greater than or equal to f?
True
Let b = -3062/9867 - -2/759. Which is bigger: b or 1?
1
Let y = -2 - -1. Let o be ((-4)/6)/(y/(-3)). Are o and -2 nonequal?
False
Let y = -24 - -41. Let p = -24 + y. Which is greater: -9 or p?
p
Let d = -15.4 + 16. Which is greater: 0.1 or d?
d
Let w be 171/(-54)*12/(-2). Is w < 18?
False
Let f = -3.8 - -0.8. Let g = f - -3.1. Let s = g - 0.2. Is 1 at most as big as s?
False
Suppose 3 = 2*q - 3. Suppose 2*p = q*p. Suppose p = 3*m - 0*m - 3. Which is smaller: 2 or m?
m
Let q(o) = 2*o - 4. Let p be q(4). Suppose -r = -4*h + 8, p*h + r = 3*r + 12. Is h at least -3/5?
True
Suppose 4*d = -d + 80. Suppose 3*b + b = d. Let f = b + 1. Is 5 <= f?
True
Let i = 100/7 + -14. Which is greater: i or 5/3?
5/3
Let n = 278 - 277.91. Let z = 0.2 + -0.3. Which is greater: z or n?
n
Let i(n) = -n**3 + 3*n**2 + 4*n - 2. Let o be i(4). Let h(d) = -6*d. Let g be h(-2). Suppose 3*b = -q - g, -5*q + q = -2*b - 8. Is q < o?
False
Let l(j) = 24*j**2 + 3*j**3 - j + 10 - 2*j**3 - 34*j**2. Let u be 3/(-2)*(-20)/3. Let q be l(u). Is q equal to 2/15?
False
Let h be (1 + -1)/(3 + -1). Let z be 70/25 + -3 + 0. Which is smaller: z or h?
z
Let g = -0.58 - -0.58. Let x = -3 - -7. Which is smaller: g or x?
g
Let w = -5648/19 + 297. Which is smaller: w or 0?
w
Suppose -w - 4 = 0, -8*v + 3*v = -3*w - 12. Is -2/39 > v?
False
Let w be ((-11)/2)/(8/2). Let b = w - -41/24. Which is greater: b or 4?
4
Let z = 2/533 - 1080/3731. Let w(g) = g + 4. Let i be w(-4). Which is bigger: z or i?
i
Let g be (-6)/(-3) - ((-6)/(-2) - 1). Which is greater: g or -2/5?
g
Suppose 43 = 5*t - 27. Let x = 8 - t. Let c be (9/x)/((-9)/12). Which is bigger: c or 3?
3
Let p = 1 + -3. Suppose 5*u - 5*f = -15, 3*u - 3 = 7*u + 5*f. Let s be -3*(u + 2 - -1). Which is greater: p or s?
p
Let q(b) = -b + 2. Suppose 0 = 2*s + s - 9. Let k = 5 - s. Let h be q(k). Which is greater: -2/9 or h?
h
Let h be ((-2)/8)/(7/21). Which is smaller: -1 or h?
-1
Let d = -6 - -5. Let j = 3 - 3.5. Which is bigger: d or j?
j
Let g = -1/85 + -159/935. Is 1 at most g?
False
Suppose 0 = -2*m - 2 + 6. Which is greater: 1 or m?
m
Suppose -13*p = -1 - 25. Let n = 449/302 - -2/151. Does n = p?
False
Let o = 315008/109 - 2890. Which is bigger: 0 or o?
0
Let u be -1 - (-3 + 59) - 0. Let o = 85 + u. Let p be (-2)/7 + (-20)/o. Which is smaller: p or 1?
p
Let d = -0.5 - -0.4. Let l = -0.5 + -0.5. Let m = l - -4. Is d at least m?
False
Let l(h) = -h**3 - h**2 + h - 1. Let b be l(-2). Is 3/14 greater than b?
False
Let i = 2.15 - 0.15. Is i bigger than 1?
True
Let w(d) = -2*d**3 - 7*d**2 - d + 6. Let r be w(-3). Which is greater: r or -5?
r
Let z be (-43)/4*(-16)/(0 - -4). Which is smaller: z or -2/5?
-2/5
Suppose 17 = 3*x + 2. Which is smaller: 7 or x?
x
Suppose 5 = 4*c + c. Let i(b) = -b**2 + 11*b - 10. Let j be i(10). Let x = j - c. Which is smaller: -3 or x?
-3
Let k = 1.86 + -2. Let a = 0.34 + k. Let d = -1 - 2. Which is bigger: d or a?
a
Suppose 9 = -5*v - 11. Do -13/3 and v have the same value?
False
Suppose 5*x - z = -3*z + 38, 2*x + z - 16 = 0. Let s(m) = m**3 - 5*m**2 - 7*m + 4. Let f be s(x). Let j = 0 + -2. Are j and f unequal?
False
Suppose -4*m + 26 = 3*d, 27 = -d + 2*d + 5*m. Suppose -3*z + 25 = d*z. Is z smaller than 3?
False
Suppose m = -0 - 2. Let f(c) = 2*c**2 + 8*c - 2. Let z be f(-4). Let v be z/4 - m/(-4). Which is smaller: 0 or v?
v
Let k = -196/3 + 66. Let l = -0.04 - 2.96. Let i = l + 0. Is i <= k?
True
Let i = 7 - 7. Suppose -4*z + i = -8. Suppose 2*l = -z*h - 12, 5*h - l = l - 9. Is h at most as big as 1/4?
True
Suppose -4*d + 16 = -44. Let x be (-3)/d*6 - -1. Are -0.3 and x nonequal?
True
Suppose -2*d + 2*x - 30 = 2*d, 35 = -5*d + 2*x. Let n be (6/(-3) - -1)*5. Is d bigger than n?
False
Let q(u) = 2*u + 1. Let i be q(1). Suppose -14 - 10 = i*g. Are g and -9 nonequal?
True
Let p(t) = t**2 - 2*t - 3. Let i be (-26)/(-10) + (-18)/(-45). Suppose -h + i = -0*h. Let q be p(h). Is q >= 2/5?
False
Let w be (26/(-6) - -4)*-4. Let g = 8 - 7.9. Which is smaller: g or w?
g
Let o be (-2 - -4)*1/2. Let t be 3 - ((-82)/(-20) - o). Which is greater: t or 0?
0
Let g be 9/(-15) - (-308)/580. Is g != 1?
True
Let x = -119 + 115.8. Are 0.3 and x equal?
False
Let m be (-1)/12 - 2/(-8). Let k(j) = j**2 + 8*j + 9. Let h be k(-6). Let t = -4 - h. Which is bigger: t or m?
m
Suppose 5*k - 1 = -61. Let q be (-3 - -3) + 3/k. Is q < 0.1?
True
Let a = 143 + -149.1. Let z = 0.1 + a. Is z >= -1?
False
Let n(u) = -u**3 + 4*u**2 - 2*u - 1. Let d be n(2). Let t be 12/16 - d/(-12). Let v = 0 - 0. Which is greater: v or t?
t
Let z = 1.55 + 62.45. Is 1 bigger than z?
False
Let a = 0.22 + -0.02. Do a and -11 have different values?
True
Let i be 104/(-36) - 2/9. Let q be (2 + 40/(-18))*11. Let j = q - i. Is -1 at most as big as j?
True
Let z = 239 - 197. Which is greater: z or 1/2?
z
Let x = 0.2 + 1.1. Let i = 1 - x. Let a = i + 2.3. Which is smaller: -1/4 or a?
-1/4
Let n(v) = v + 4. Let o be n(-5). Let t be 0/1 - 3*1/(-9). Do t and o have different values?
True
Let b(v) = -v - 7. Let m = 6 + -4. Let w(r) = -3*r + 2. Let c be w(m). Let s be b(c). Is -3 != s?
False
Suppose 2*r + 5*a - 8 = 0, 2*r + a = 2*a + 8. Which is greater: r or 5?
5
Let d = 36 + -59. Let f = -23.4 - d. Which is bigger: f or 2/3?
2/3
Suppose 0 = 4*a - 5*m + 11, -3*m - 3 = -4*m. Let j = a - 2. Are 3/7 and j non-equal?
True
Let d = 11 + -5. Let g = d + -11. Let h be -1*g/(10/(-4)). Which is greater: h or -3?
h
Suppose -4*f - 78 = 138. Let l be ((-7)/3)/((-6)/f). Let i be l/(-108) + (-1)/(-4). Which is smaller: i or 1?
i
Let l be ((-12)/(-56))/(9/(-2) + 4). Is -12 less than l?
True
Let r be (-5)/(-2)*(-9)/(-15). Let s = 0.03 - 0.13. Which is smaller: r or s?
s
Let h = 49862/5 - 9916. Let f = -56 + h. Which is smaller: -1 or f?
-1
Let y = -3.4 + 1.4. Which is smaller: 5 or y?
y
Suppose -2*a + 30 = 5*n, 2*a + 3*n = a + 15. Is 16 greater than a?
True
Let q be 1*(6 + (-4 - 3)). Let h be -2 + 2 - (2 - 2). Is h greater than or equal to q?
True
Let o be (-1)/(-2)*(5 + -1). Suppose o*x = -6 - 4. Which is smaller: -3 or x?
x
Suppose -3*b - 8 = -a - 1, 0 = -a + 5*b + 9. Let y be (-2)/4 - 21/(-6). Which is greater: y or a?
a
Let w = -41.3 + 48. Let u = 7.4 + -0.4. Let k = w - u. Which is smaller: k or 0.2?
k
Let t(a) = -2*a + 2 - 7 + 3*a - 5*a. Let w(k) = k + 1. Let b(v) = -2*t(v) - 9*w(v). Let d be b(4). Which is smaller: d or -1?
d
Suppose -5*p + 4*p - 5*t + 23 = 0, -4*t + 31 = 5*p. Let u(h) = h**3 - 3*h**2 - 2*h + 1. Let f be u(p). Which is smaller: -6 or f?
-6
Let x = -143 + 143.1. Is x at most -31?
False
Let b be (0/2)/(8/8). Let h = -57 - -53.9. Let j = h + 3. Which is bigger: b or j?
b
Let m = -8/5 + 57/20. Which is smaller: 1 or m?
1
Suppose 2*l = 3*y 