ich is greater: w or v?
w
Suppose -19 = -0*p + p + 4*t, 0 = -5*p - 5*t - 20. Is -3/2 > p?
False
Let n = -28 - -29. Is 1 smaller than n?
False
Suppose 0 = -r - 7*r + 2*r. Suppose 2*k + 1 = -3. Which is greater: k or r?
r
Let f = 0.11 - 0.13. Let d = f - -0.12. Is d not equal to 0.2?
True
Let l = 0.1 + -11.1. Let w = l + 10.95. Is w > 2/5?
False
Let c = 4.062 + 0.038. Let y = c - 4. Let t = -0.1 - y. Which is bigger: t or 2?
2
Let q = 3 + -5. Let k = -0.3 - -1.3. Let d = -0.9 + k. Is d != q?
True
Let r = 4173/248 + -135/8. Let w = 30403297/310 - 98075. Let k = r - w. Is 1 at most k?
False
Let n be (-1 - -3) + 120/(-55). Let t = n - -29/99. Which is bigger: 1 or t?
1
Suppose 10 = 4*y + 2*x, y = 2*y + 3*x - 5. Suppose 6 = -2*n - 0*s + y*s, -5*n = -3*s + 9. Which is bigger: n or -4/7?
n
Let y = 308/2907 - -2/171. Do 2/11 and y have different values?
True
Let v = -14 + 9. Let s = -5 - v. Are -4/15 and s equal?
False
Let c = 1.59 + 0.41. Is -2 != c?
True
Let j be ((-2)/8)/((-2)/(-4)). Suppose -5*a = -9*a. Which is smaller: j or a?
j
Let h be 4/2 - 16/11. Suppose -5*r - q - 3*q - 78 = 0, 0 = r + 2*q + 12. Let g be ((-6)/r)/((-10)/12). Is g bigger than h?
False
Let v(r) = r**2 + 9*r + 5. Let k be v(-6). Let t = -38/3 - k. Which is smaller: t or 0?
0
Let c = 1 + 5. Let m = 5.8 - c. Which is greater: 1 or m?
1
Let f be 28/(-140) - (-238)/(-10). Which is smaller: 3 or f?
f
Let o be (18/(-15))/((-32)/20). Does o = 2?
False
Let c = -0.086 + 0.286. Do c and -19 have the same value?
False
Let n = 0 + 1. Let g = -679 + 18335/27. Which is greater: g or n?
n
Let x(c) = -c**2 + 6*c + 10. Let y be x(7). Let s be (-3)/(-12) - 11/(-4). Suppose 4*v + y = s*v. Which is bigger: -4 or v?
v
Let u = -50/471 + -386912/2355. Let a = -165 - u. Let c be (-1)/4 + 56/(-32). Is a equal to c?
False
Suppose -4*s - 16 = 0, 2*s + 2*s = -3*g - 16. Which is smaller: 2/11 or g?
g
Let v = 1626/5 - 327. Is -1 less than or equal to v?
False
Let d(b) = b**3 + 4*b**2 - 4*b + 1. Let u be (-8)/6*-1*3. Suppose -p + 15 = -u*p. Let a be d(p). Is a smaller than -4?
False
Let h(p) = -5*p + 9. Let w be h(-5). Which is bigger: 36 or w?
36
Suppose -13*b = -8*b - 45. Are 10 and b unequal?
True
Suppose 4*m + 4 = 44. Suppose -5*d = 4*t, -t - m + 1 = -d. Let j = -12 + 8. Which is smaller: j or t?
t
Suppose -5*i + 3*i = -4. Let h = 2 - i. Is h <= 1?
True
Let f be (-1)/(-5 - (-4)/1). Which is bigger: f or -4?
f
Let d = -29 + -18. Which is smaller: -48 or d?
-48
Let t be (130/(-15))/((-2)/3). Which is smaller: t or 14?
t
Let d(g) = -5*g**2 - g. Let c be d(-1). Which is smaller: c or -11/4?
c
Let y = 0.05 - 2.05. Let s(b) = b**3 + 8*b**2 + 6*b - 1. Let h be s(-7). Let x = h + -13/2. Is y at most as big as x?
True
Let j = 1/20 - -37/60. Which is smaller: -30 or j?
-30
Let c be 32/516*3/4. Is 1 at least as big as c?
True
Let y(l) = l**2 + 2*l - 19. Let n be y(-6). Which is greater: n or 7?
7
Let g be 5/7 + 2 + -3. Let u be 7/((-9)/6 - (-4)/8). Is g at least u?
True
Let f(l) = -4*l**3 + l**2 + 2*l + 1. Let m be f(-1). Let o(z) = z**2 - 5*z + 1. Let b be o(m). Let q be (-12)/16 + b/(-4). Are 1 and q equal?
False
Suppose 2*n + 3*k - k = -2, -n + k - 5 = 0. Let c be (-4)/14 + (-128)/(-56). Suppose c*i - 7*i = -5. Is i at most as big as n?
False
Let l be 2*(-1 - -21) + -1. Let c be l/(-15) + 9/15. Which is smaller: c or 0.04?
c
Let q be 2/((-76)/66) + 2. Let l = q - 27/247. Which is bigger: 1 or l?
1
Let b = -1.7 - -1.6. Which is smaller: b or -23?
-23
Let x = -6.3 + 18.5. Let c = 10 - x. Let s = -0.2 - c. Is 0 >= s?
False
Let o be -6*(2/(-6))/1. Is o less than or equal to 24/7?
True
Let d be (-2)/4*(-3 - -1). Is 1/17 less than d?
True
Suppose 0 = -4*d + 25 + 59. Let v = d - 16. Which is smaller: v or 3?
3
Suppose -4*f + 2*w = 3*w - 39, 4*f + 4*w - 48 = 0. Let n = f + -6. Which is smaller: n or -1?
-1
Let t be (-12)/(-102) + 15/17. Let m be (-41)/43 + (-2)/(-2). Is m greater than t?
False
Let x(t) be the third derivative of -t**4/24 - 7*t**3/6 + 3*t**2. Let h be x(-7). Let d be (-3)/12 - 2/(-40). Which is smaller: d or h?
d
Let y(f) = -f + 11. Let h be y(10). Let u = 4 - 6. Let o = u - -2. Which is smaller: h or o?
o
Let c = -0.69 - -0.78. Which is smaller: 0.05 or c?
0.05
Let i(m) = -m**2 + 7*m - 8. Let t be i(4). Are t and 3 unequal?
True
Suppose 0 = -5*b + 5*l + 27 + 8, 5 = 2*b + l. Which is smaller: b or 15?
b
Let b(r) = -3*r**3 + r**2 - r + 1. Let y be b(1). Let g(o) = -o**3 - 5*o**2. Let u be g(-5). Let s = -1 - u. Which is smaller: y or s?
y
Let q be 3/(24/50)*4. Let u = 29 - q. Which is smaller: u or 17/4?
u
Suppose -6*q = 17 + 211. Is -37 bigger than q?
True
Let w = 0.1 - 0.18. Let i = 0.42 - w. Let q = -0.5 - i. Which is bigger: q or -2/5?
-2/5
Let b = 193287 - 2709683/14. Let w = b + 262. Which is smaller: -1 or w?
-1
Let k be -2 - 14*1/(-2). Suppose 23 = -d + 3*r, 0*d - 5*r = k*d + 15. Is d less than or equal to -6?
True
Let o = -19.26 + 17.2. Let r = -4.06 + 4. Let d = r - o. Which is smaller: d or 2/7?
2/7
Let z = 3 + -1. Let c = -14 + 21. Suppose c*v = z*v. Is v at least 1/3?
False
Suppose -11*w = -2*w + 36. Is w < 6/5?
True
Let u(z) = -z**2 + 8*z - 2. Let n(q) = -1. Let h(t) = 2*n(t) + u(t). Let y be h(7). Which is greater: y or 4?
4
Let w = -0.3 + 0.3. Let m = 1 - w. Which is bigger: -0.8 or m?
m
Suppose -2*r + 505 = -o, 3*o - 1005 = -5*r + r. Let i be 1141/r + (-2)/(-9). Let t = i - 5. Which is smaller: t or 2/5?
t
Let a = 71 + -141. Is -70 greater than a?
False
Let p = 0.4 - 0.3. Let o = -1 - -1. Which is greater: p or o?
p
Let w be (-1 + 0 - -2)/((-57)/(-3)). Is w smaller than -1?
False
Let j(t) = t + 4. Let q be j(-4). Is -2/25 less than or equal to q?
True
Let j = 5/4 + -1/2. Is -0.03 at least as big as j?
False
Suppose -3*k = -h - 0*k + 19, -h - 11 = 3*k. Let n = -7 + 12. Suppose 4*x = -x + n. Which is greater: h or x?
h
Let u = 16/7 - 181/70. Let n = 2 - 3. Which is smaller: n or u?
n
Let m = -0.1 - -0.12. Let g = -3.98 - m. Let z = -4 - g. Is 0.2 at least z?
True
Let r be (-5)/(-5) + 2/(-2). Suppose r = -j + 5*d - 35, d - 9 = -3*j - 98. Let t be (1/(-2))/(3/j). Which is smaller: 6 or t?
t
Let c(i) = -i - 1. Let k be c(2). Let q(j) = -4*j**3 + j. Let s be q(1). Is s < k?
False
Let r = 0.249 - 0.049. Let n = -0.2 + 0.1. Let h = -0.1 - n. Which is greater: h or r?
r
Let u = -8 + 7.96. Are u and 1/3 non-equal?
True
Suppose 2*f + 1 = -1. Let z be (0 - 5*f)/1. Let r be z/7 + 4/14. Are r and 1/2 equal?
False
Suppose 0 = x - 4. Is x less than or equal to 6?
True
Let m(u) = -u**3 - 4*u**2 + 4*u + 4. Let h be m(-5). Which is bigger: 4 or h?
h
Suppose 0 = -2*b + j + 4, 2*b + 2*j = 4*b. Is b at least as big as 7?
False
Let c(r) = r**2 - 8*r + 1. Let x be c(8). Let v be -1*(1 + -3) - x. Which is bigger: v or -1/4?
v
Let q = 7.5 - 7.8. Which is smaller: 2 or q?
q
Let p(v) = -v**2 - 9*v + 5. Let s be p(-9). Let o be (4/(-6))/(s/(-15)). Which is greater: 1 or o?
o
Let u = 5/36 + 17/396. Are -1 and u nonequal?
True
Let b = -146 - -145. Which is smaller: b or -1/129?
b
Let d = -8 - -3. Let b = d + 8. Is b not equal to 4?
True
Let l = 4.1 + -2.1. Let u = 5.2 - 5. Which is bigger: u or l?
l
Let a be 1*12/(-9)*(-21)/(-14). Is a greater than 6?
False
Suppose -4*b - 32 = 96. Let v = b + 54. Let r be 3/6 + v/(-20). Is 0 less than r?
False
Suppose -2*p = -7*p. Suppose 4*s + s - 5 = p. Is -0.1 greater than or equal to s?
False
Let k = 86 + -87. Is k > -2/47?
False
Let w = -14 - -14. Which is greater: 10 or w?
10
Let o(g) be the first derivative of g**4/4 - 5*g**3/3 + 3*g**2 - 6*g - 2. Let v be o(4). Which is greater: v or 2/7?
v
Let d = -1.4 - -1.3. Which is bigger: -1 or d?
d
Let k = -5 + 4. Let l(j) = 6*j**2 + j - 7*j + 5 + 0*j**3 + j**3. Let g be l(-7). Is k less than or equal to g?
False
Let i = 94/13 + -4820/663. Let f = i - -61/255. Which is bigger: f or 0?
f
Let f be (-120)/24 - (-81 + 1). Which is smaller: 76 or f?
f
Suppose -6*m = -4*m + 20. Let j(r) = r + 11. Let n be j(m). Which is greater: -5 or n?
n
Let l be (3 - 0 - 5)/(-2). Let w be 9/(-7) - (-2 + l). Which is smaller: w or -1?
-1
Let z(g) = -g**2 - 11*g + 13. Let m be z(-11). Let f = m - 14. Which is smaller: -3/7 or f?
f
Suppose -3*y + 5 = -61. Which is smaller: 20 or y?
20
Let g = 2 + 3. Let p = -4.8 + g. Suppose 2*v = -3 - 1. Which is bigger: