r 0?
0
Let v be 2/(-8)*2*8/16. Which is greater: v or -7/3?
v
Suppose 0 = -82*s + 78*s + 512. Suppose -s = 6*r + 2*r. Which is smaller: -11 or r?
r
Let v = -0.144 - -0.17. Let f = -32.974 - v. Which is smaller: f or 0?
f
Let c(h) = 22 - 14 + 3 - h. Let l be c(13). Let q = -5 - l. Which is smaller: q or -9/5?
q
Let b be (-803)/(-2835) - (8 + (-432)/56). Are -1 and b non-equal?
True
Suppose -1286*j = -1292*j - 6. Which is smaller: j or -31/35?
j
Let m be (-2)/(-5) - (-132)/(-55). Let a be 2 - (-158)/(-162) - (m + 3). Is a less than 1?
True
Let t = -3.8 + -0.2. Let k = -9 - t. Suppose -9 - 6 = -5*j - 5*x, 0 = -j - 5*x + 19. Is j != k?
True
Suppose s = -3*s + 12. Let h be 3/18 + 1/(-3). Let o = h + 5/12. Are s and o equal?
False
Let j = 40.2 - 41.2. Are j and -1/3 non-equal?
True
Suppose -39*g + 8966 = -3943. Which is bigger: g or 332?
332
Let f = 8.02 + -8. Let a = 0.08 + f. Let x be 1/((-2)/(-10)*(-12 - -17)). Which is greater: x or a?
x
Let c = -648 - -650. Let i be (-2)/(-5) + 34/40. Which is bigger: i or c?
c
Let n be (-171)/162*4/(20/75). Which is greater: n or -16?
n
Suppose -153*t = -152*t. Does t = 2/8691?
False
Let r be (-7)/(((-6)/3*-1)/(-4)). Suppose -15*w = -r*w - 2. Is w greater than or equal to -10?
True
Let a(w) = -2*w + 20. Let q be a(-5). Suppose 4*f - 2 = q. Is f at least 36/5?
True
Suppose -5*s + s + 13 = -3*b, -4*s + 2*b = -14. Let t be -1 - 6/s*6. Let w(r) = 23*r - 195. Let l be w(8). Which is smaller: l or t?
l
Let h = -66 - -64. Let c be -3*h/27 - (-99)/(-81). Is -2/79 at least as big as c?
True
Let b be (-180)/324*36/(-57). Is b > -1?
True
Let z(a) = a**2 + 8*a + 10. Let h = -17 - -2. Let d = h + 7. Let w be z(d). Is 11 != w?
True
Let y be ((-20)/(-16) - 1) + 2/(-1). Let u(p) = -p**2 + 4*p - 1. Let q be u(4). Are q and y nonequal?
True
Let x be -1 + -19 + 13 - -14. Is 25/3 equal to x?
False
Let u(a) = a**3 - 6*a**2 - 7*a - 5. Let x be u(6). Let c be 0 - (-5)/(x + -3). Let j = c - 2/5. Which is smaller: j or 0?
j
Let r = 0.25 - 13.25. Let l = r + 12.86. Let i = l - -0.04. Which is smaller: i or -1?
-1
Let d(q) = -q**2 - 8*q - 16. Let r be d(-7). Let c be 16/2 + (r - -5). Suppose j = c*y - 8, y - 2*j - 11 = -2*y. Which is bigger: -4/11 or y?
y
Let k = 1325 + -1344. Is k at least as big as -29?
True
Let r(p) = -p**3 - 8*p**2 + 2. Let q = 9 + -17. Let t be r(q). Is t not equal to 11/5?
True
Let b = 27556417968832/4773 + -5773395699. Let u = b + 4/1591. Let j = u + -63. Which is bigger: -21 or j?
j
Let w = 2/8371 - -3540925/33484. Let g = -105 + w. Let t be (-2 + 1 + 2)/1. Is t greater than or equal to g?
True
Suppose -79 = -39*m + 38. Which is bigger: m or 115?
115
Let v = -0.3 - -2.3. Let b = v + -1. Let h = -413/2 + 207. Which is greater: b or h?
b
Let m = 18 + -3. Suppose i + 2*a + 2*a + m = 0, 22 = -4*i + 3*a. Is i != -7?
False
Suppose 0 = 5*v + 5*w + 15, -54*v = -52*v - w - 3. Which is smaller: 6/17 or v?
v
Let b = -2 - -2. Suppose 0 = -b*y + y. Let j be 354/(-837) + 16/36. Which is smaller: y or j?
y
Let r = 2 - 3. Let j be 42/9 + 3 + r. Which is smaller: j or 7?
j
Suppose 5*b + 148 = -2*c, -8*c - 337 = -3*c - 4*b. Which is smaller: -67 or c?
c
Suppose -50*h + 1820 = -530. Which is bigger: h or 37?
h
Let t = -92 - -131. Let v be 1/(-3) + t/65. Let a = -8 + 7. Which is smaller: v or a?
a
Let j = -19 - -21. Let u = 26.36 + -26. Let w = u + -0.96. Is w at least j?
False
Let q = -109.2 + 109. Let b = q + -3.8. Is 1.1 at most as big as b?
False
Let l(c) = 2*c + 21. Let o be l(-10). Let h be (3 + 9/(-3))*o. Is h at most 4/5?
True
Let t = 4/493 + -2080/13311. Let a be -2 - (12 - (-3 - -3)). Let q = a + 13. Do q and t have the same value?
False
Let x be (10/(-4))/(-5)*-14. Suppose -4*m = -4*d + 16, -5*m - 12 = -3*d - 0*m. Suppose -3*u - 36 = 5*o, 4*o - u - d*u = -14. Which is greater: x or o?
o
Let s = -1402 - -217309/155. Are -1 and s non-equal?
True
Suppose 42 = -12*o - 114. Which is greater: o or -10?
-10
Let a = -11 - 10. Let v be -7*4/(-28) + a/17. Is -1 at most v?
True
Suppose -9*a + 743 = 2660. Which is smaller: -209 or a?
a
Let x = -1767 - -1937.1. Let v = 188 - x. Let n = -18 + v. Are 5/3 and n equal?
False
Let o = 278 - 300. Is -3/4 at most as big as o?
False
Let c be ((-6)/(-6))/((-2)/(-58)). Suppose -2*r = 5*z + 15, -2*r - z = r + c. Let w(j) = -j - 9. Let o be w(r). Is o at least as big as -2/11?
True
Suppose 0 = -2*s - 46 - 8. Let o = 6 + s. Are o and -21 equal?
True
Suppose -6*f = -3*f + 108. Let d be 2 - (2 + 0) - 35. Which is smaller: f or d?
f
Let y = 4637 + -4637. Let z = 0.03 - -0.02. Is y >= z?
False
Suppose 199*d = 201*d - w - 69, 3*d = -3*w + 90. Is d > 133/4?
False
Suppose 2*j = -5*l - 0*j + 1, -5*l - j - 2 = 0. Let z(a) = 2*a**2 + 5*a - 4. Let o be z(-4). Let d be ((-3)/(54/o))/(-6). Is d less than l?
False
Let t = -2964 - -2223. Which is smaller: t or -2?
t
Let j = -63749/9 + 7091. Let s = j + -314/45. Is -4 equal to s?
False
Let q be 84/(-168) + (0 - (-1)/(-2)). Is -351 greater than q?
False
Let r be 15/5*(8/3)/(-4). Let v be (-2)/(20/25*(-5)/r). Which is greater: v or -6/7?
-6/7
Let u = -26.9521 - 0.0479. Which is smaller: u or 3?
u
Suppose -12*g = -16*g + 16. Suppose 0 = g*z + m - 15, 2*m - 18 = -6*z + 2*z. Suppose 0 = -o - p - 3*p + 30, z*o - 45 = -3*p. Does 9 = o?
False
Suppose -3*u + 28 = 2*h, 4*u - 5*h - 3 = -4. Suppose 2*z - 97 = -z - r, 2*r = 4*z - 126. Let l = -30 + z. Which is bigger: u or l?
u
Let f = -18033/17 - -1061. Is f at most as big as -1/6?
False
Let z = 902 - 900. Does -878 = z?
False
Let y = 77 - 72. Suppose y = -2*i + n, -1 = 4*i - 4*n + 5*n. Is i greater than or equal to 4/3?
False
Suppose 14 = 5*i - 5*x + 114, 2*x = -2*i - 32. Let q = i + 23. Suppose -3 = m - 6. Which is bigger: q or m?
q
Let q be (-1)/2 - (-205)/(-10). Let f = -14 - q. Which is smaller: 5 or f?
5
Let d be 2 + (258 - 0 - -4). Let l be 3/(9/(-8)*d/18). Is l smaller than 10?
True
Suppose 9*f - 13*f = -i - 12, 4*f - 12 = -4*i. Suppose -f*u - 11 = 19. Which is greater: -1 or u?
-1
Let g be -8*(-5 - 0/4). Suppose -4*s = 3*r + 13, r = 6*r + 3*s + g. Let i = -15 - r. Which is smaller: -1 or i?
i
Suppose -r - 3*t = -5*r + 5, -3*r - 5*t + 40 = 0. Which is greater: r or 57/11?
57/11
Let m = 3305/4 + -826. Which is smaller: m or 77?
m
Suppose -4*j + 431 - 435 = 0. Which is bigger: -125 or j?
j
Suppose -2*y + 40 = -2. Let t be ((-12)/(-18))/(2/y). Let u be (-38)/14 - 2/t. Which is smaller: u or -15/8?
u
Let n = -14.3 + 16. Let r = 2.2 - n. Suppose 5*p + 4*f = -4, -5 = 3*p + p + 5*f. Is p at least as big as r?
False
Suppose -34*u - 17 - 77 = -128*u. Let c = 52.951 + -53. Which is smaller: c or u?
c
Suppose -v = -5*d + 10, 4*v = -d - 3*d - 16. Is -7/74 greater than or equal to d?
False
Let r = 2 - 2. Let c be r + 1/(-8)*-4. Which is bigger: c or 7/6?
7/6
Suppose -38 + 2 = -3*z. Let s be (z/(-8))/(1/2). Let h be 0 - (-30)/(-3) - s. Is h >= -6?
False
Let b be ((-12)/9)/(3/(-216)). Let z = -95 + b. Is z at least 0?
True
Let m be (-690)/975 - (-2)/5. Suppose 2 = 5*x - 3. Is m < x?
True
Let q(y) = y**3 - 3*y**2 - 2*y - 4. Let a be q(4). Let r(k) = -k**3 - 11*k**2 - 31*k - 21. Let m be r(-7). Which is bigger: m or a?
a
Let r be 11/12 - 2/8. Let c = -2.89 + 1.89. Are c and r nonequal?
True
Let p be ((-426)/12 - -4)/(1/2). Is -67 <= p?
True
Let g = 233 - 322. Which is bigger: -90 or g?
g
Suppose 100 = -4*m + 576. Let u = 104 - m. Which is smaller: -12 or u?
u
Let k(d) = -d**2 - 5*d + 7. Let m be k(-6). Let l be (35/(-5) - -2)/m. Let z(o) = -o**2 - 5*o - 9. Let y be z(l). Is -9 at most as big as y?
True
Let i = 11021/21 + -525. Suppose -o - 2 = -5*q + o, 2*q + 5*o = -5. Is i at most q?
True
Let i = 56 + -174. Is i <= -117?
True
Let y be ((-4)/3)/(4/(-78)). Suppose 0 = -5*u + y - 81. Suppose 0 = -2*w - n + 3*n - 30, -n + 25 = -2*w. Which is bigger: w or u?
w
Let i(x) = 7*x**2 - 10*x**2 + 5*x**2 + 3*x. Let b be i(-2). Let g = b - 2. Is 1/5 < g?
False
Let o(l) = -l**3 + 89*l**2 - 260*l - 82. Let k be o(86). Which is greater: -255 or k?
k
Suppose -3*k - 41 = -f, -2*k = 3*f + k - 75. Suppose 0 = -n + 2*n - 2*p - f, 0 = n - p - 32. Let y = -36 + n. Which is smaller: y or 16?
y
Let o = 0.215 - -7.785. Let p = -6 + 6. Which is smaller: p or o?
p
Let j = 1.23 - -1.77. Suppose -4*n + 9 - 25 = 0. Which is smaller: j or n?
n
Let f = 24 + -23