18392.935. Which is bigger: -2/3 or n?
-2/3
Let m = -13.74 + -0.26. Let x = 2036 - 2027. Let r = m - x. Are r and -2 equal?
False
Let f(r) = 4*r + 22. Let d be f(38). Let p be (-4 - -1)/(-3)*4 + 171. Which is smaller: p or d?
d
Suppose -5*z + 2*z + 6 = 0. Suppose z*h + 46 = 4*h + 5*d, -h - 4*d + 26 = 0. Suppose 3*u = -3*y - h, 5*u + 4*y = -27 + 2. Which is greater: 1/69 or u?
1/69
Suppose 5*g - 5 = 5*r, -g = -5*r - 10*g + 51. Suppose -s - 2 = -r*z - 7, -3*s - 5*z = 13. Which is bigger: s or 7/20?
7/20
Let u = -442 - -432. Let b(g) = 10*g + 93. Let n be b(u). Which is smaller: n or -36?
-36
Let g = -19459 + 19463. Let c be 6/9 + 2224/39. Let a = c - 4175/78. Which is bigger: a or g?
a
Suppose -2880 + 3166 = 13*r. Which is smaller: 145/7 or r?
145/7
Suppose 0 = -9*f + 6*f - 2*a, 0*a = -2*f + 3*a. Is f greater than 4/11699?
False
Suppose -92*p = -90*p - 30. Suppose p*t = t. Let j = 123/2 - 8001/130. Is j greater than t?
False
Let z(h) = 57*h - 58. Let l be z(1). Which is smaller: l or 15/2719?
l
Let c(n) = 14*n + 71. Let y be c(-21). Let b = y + 238. Which is bigger: 20 or b?
20
Let g be ((-16)/6)/(5/(34 - 4)). Let b be (-24)/g*((-4)/6)/(-1). Suppose -2*s - b = -k, 0*k = 3*k - 3. Which is greater: 1/62 or s?
1/62
Let r be ((-899)/(-4) - -4)*4891/(-39). Let o = r + 28686. Let z = -24/13 - o. Which is bigger: 2.3 or z?
2.3
Suppose -720*l - 141766 = -793*l. Is l less than 1942?
False
Let h = -1395/1047376 - 1/1936. Let s = h - -544/1623. Which is bigger: 1 or s?
1
Let k be (15029/21)/1 - (-4)/30. Which is greater: 716 or k?
716
Let d = 7.46 - 8. Let c = -2118.4 - -2118.5. Is c less than d?
False
Let x be (4/22 - 4/22) + 3. Suppose -593 + 165 = 3*o - 4*l, 2*o = x*l - 287. Let h = 14 + o. Is -121 >= h?
True
Suppose 5417 = 38*l - 5603. Let r(o) = 18*o + 469. Let b be r(-10). Which is greater: l or b?
l
Let p be (2/(-4))/(1/(-102)). Let a = -3514 - -3565. Are a and p non-equal?
False
Let w = -19 + 34. Suppose -q - q = -60. Let c = q + -15. Is w less than c?
False
Let v = -92.3 + 167.4. Let w = 26.4 + 48.6. Let s = v - w. Does s = 0.36?
False
Let d = 8.8 + 316.2. Let x = 336 - d. Are x and 0.06 nonequal?
True
Let o(x) = -3*x**2 - 12 + 9*x + 9*x - 13*x. Let p be o(9). Let h = 4408/21 + p. Is h at least 0?
False
Let t = 25 + -11. Let f = -8 - t. Let k = f + 60. Which is greater: 0 or k?
k
Let p = -1920 + 1920. Suppose -2*z + r = -2*r + 18, 0 = -4*r. Let k be (-8)/(-28)*z/(-6). Is p < k?
True
Let c = -1758 + 1697. Which is smaller: c or 5/3?
c
Let b(j) = -5*j**2 - 34*j + 12. Let h be b(-5). Suppose 0 = -h*z + 63*z. Which is bigger: 2/65 or z?
2/65
Suppose 2*k + 4*i - 2 = 0, 5*k + 20 = -i - 11. Let r(f) = f**3 - 2*f**2 - 6*f + 2. Let y be r(4). Suppose -4*n - y = -2*n. Is k greater than or equal to n?
False
Suppose 53*a + 66 = 56*a. Let u(x) = 4*x**2 - 86*x - 44. Let h be u(a). Which is greater: -1/331 or h?
h
Let a be (-60)/100 + (-91135)/25 - (-2 - -3). Is a >= -5?
False
Let q be (-31)/186*(-16)/(-4). Let h = 3 - 2. Let w = h + -2. Which is bigger: q or w?
q
Let s = 12377 + -4561. Is 7817 at most s?
False
Let q be 74/8 + 3/(-12). Let n(x) = -x**3 + 2*x**2 - 3*x. Let t be n(0). Suppose -13*d + q*d = t. Which is bigger: d or 1/2?
1/2
Suppose 0 = 3*t - t + h + 60, 0 = -4*t + 4*h - 120. Let b = 34 + t. Suppose -b*w = w. Which is smaller: w or -1?
-1
Let p(x) = -x**2 - 28*x - 49. Let s be p(-26). Suppose 5*m + 2*f = 91 + 28, s*f = -4*m + 98. Let i(z) = -z - 4. Let o be i(-6). Do o and m have the same value?
False
Let x = -187320 + 186529.97. Let l = x + 790. Are l and 63 unequal?
True
Let n be (-1 - 22/(-20))/((243/4068)/(-27)). Let z be 6*-1*66/9. Which is greater: n or z?
z
Let q = -12.5 + 13.11. Let x = q + -110.61. Which is smaller: 0 or x?
x
Let q = -460 - -165. Which is greater: -294 or q?
-294
Let n be (-6 + (-46)/(-8))*10 - -3. Let y = -16.8 - -17. Which is smaller: n or y?
y
Suppose 2*w - 21 = -2*h + w, -3*h + 30 = w. Suppose 0 = -5*c - 2*l + 197, -c + h = -5*l - 25. Let q = -30 + c. Is 9 greater than q?
False
Suppose -11 = 7*o - 46. Suppose 6*q - 6 + 6 = 0. Suppose 13*z + o*z + 234 = q. Is z at most as big as -1/4?
True
Suppose 29 = 2*p - 91. Suppose 0 = -p*r + 63*r - 3. Suppose x = -r - 2. Is -24/13 at most x?
False
Let x be (-2)/((-10)/15) - 1. Suppose -x*w + 164 - 40 = 0. Suppose w = -q - q. Which is smaller: q or -30?
q
Let r(a) = -3*a - 9. Let x(p) = -6*p + 20. Let u be x(4). Let t be r(u). Suppose -3*c - t*c - 4*c = 0. Which is bigger: -1/5 or c?
c
Suppose -5*b + 184 = 139. Let i(r) = -5*r + 45. Let a be i(b). Which is smaller: -1/8 or a?
-1/8
Let t = -23129072608/15951195 - 311/118157. Let w = -1450 - t. Which is greater: -1 or w?
w
Suppose -d - 109 = 2*n, 3*d + 4*n + 318 = 7*n. Let w = -85 - d. Which is bigger: w or 29?
29
Let w = -0.9751 + 1.0751. Is -162 < w?
True
Let f = -359 + 357.964. Let h = -0.135 - -0.099. Let v = f - h. Which is smaller: -69 or v?
-69
Let h be (5*(2 - 1) + -5)/3. Let b be h + 4 - (-312)/(-80). Which is smaller: -1/2 or b?
-1/2
Let f(v) = -v**3 - 26*v**2 - 24*v + 28. Let c be f(-25). Suppose -5*u + 261 = 4*g, 233 = 4*u + u - c*g. Which is smaller: u or 50?
u
Let r be (-4)/(-6) + 416/24. Let x = r + -13. Suppose 93 = 3*g + 3*u, -g + x*u + 195 = 4*g. Which is smaller: 36 or g?
g
Suppose 7*r = 2*r + 5*v + 880, 0 = -r - v + 170. Let u = r + -521/3. Let k(b) = b**2 - b - 2. Let x be k(-2). Which is smaller: x or u?
u
Suppose -d - 3*d + 3*r - 574 = 0, -5*r - 178 = d. Which is smaller: d or 0?
d
Suppose 2*b - 18 + 88 = 0. Let s(c) = 5*c + 82. Let m be s(-8). Let v = m + b. Is 10 at least v?
True
Let o be (1 - -2)*(-4)/6. Let j = 1405 + -1405. Suppose -3*v = -3*m - 12, j = -8*m + 5*m + v - 8. Is m less than or equal to o?
True
Let k be 0 + 62/((-7)/3*8/(-28)). Which is greater: 64 or k?
k
Suppose 3*t = 4*f - 15919, -5*t = 15 - 30. Which is bigger: f or 3981?
f
Suppose -15 = -9*b + 4*b, 9 = -2*u + b. Let w = 169 + -565/3. Which is greater: u or w?
u
Let p = -231 - -517/5. Is -128 > p?
False
Let x(y) = y + 5. Let b be x(-5). Let z = -337/2 + 48863/290. Which is greater: b or z?
b
Suppose 24 = -7*c + 13*c. Suppose -8 = -4*u - c. Suppose -4*d + 4 = -5*i, 0 = -2*d + 2*i + 3*i + 2. Are d and u unequal?
False
Suppose 450 = 8*w - 441 + 243. Is 37 equal to w?
False
Let k = 763/19 + 46351/57. Suppose -41*z + 2*j - 2522 = -38*z, 2*j = -4. Let w = k + z. Are w and 0.1 unequal?
True
Let w = -0.302 - -0.152. Let b = 0.85 - w. Is b < 127?
True
Let c = -360 + 359. Suppose -i + 3*d = -13, -2*i - 4*d + 3 = 7. Which is bigger: c or i?
i
Suppose 0 = l + 4*h - 478, l - 27*h + 23*h - 470 = 0. Is 3326/7 greater than l?
True
Let y be 5 + (-7 + 6)/((-1)/2). Suppose y = 113*i - 120*i. Are i and 2/1159 unequal?
True
Suppose -3*g - 22 = -25. Let m be (-1)/2*(3 + -65*g). Suppose -m*p = -26*p. Is p bigger than 7?
False
Let p be (-50)/4*8/(-190). Let a = p + -199/342. Let h = 28991 - 28992. Is h at least as big as a?
False
Suppose 20*m + 864 - 48 = 3*m. Suppose 2*p + 82 = 4*o, p = -o - 56 + 9. Is p at least as big as m?
True
Let g = 219225166/441 - 497109. Which is smaller: 0 or g?
0
Suppose 4*b = 2*b + 60. Let y = 379 - 350. Let t be y/(-58)*(-2 + -60). Which is greater: t or b?
t
Let z = 1/16029 + 32053/80145. Is z at most as big as 0.0598?
False
Let f = -0.03372 - 155.16628. Which is bigger: f or 0.3?
0.3
Let y(x) = -56*x**2 - 655*x + 185. Let a be y(-12). Suppose -4*g + 16 = -5*g. Which is smaller: a or g?
a
Let o = 68310/779 - 1642/19. Is 0 at most o?
True
Let j be (-15948)/162*-41 - (-6)/(-27). Is 4038 bigger than j?
True
Let r = 22202.38 + -22203. Which is smaller: r or -44?
-44
Let m be 74/22866*(3 - (103/26 + -1)). Is m at least -1?
True
Suppose 4*u + 11 = -y, 3*u + 4*y = u - 2. Let k(o) = -3*o**2 - 3*o + 4*o**3 - 4 - 2*o**3 - o**3. Let c be k(u). Which is greater: -50 or c?
c
Let c(o) = -o**2 + 7*o - 7. Let d be c(6). Suppose -62*p + 23*p = -156. Suppose 3 = -3*i + 4*v, 3*i - 53 + 56 = -p*v. Is i bigger than d?
False
Let d be 6/(-10)*2/(-3) + 19302848/(-1970). Do -9798 and d have the same value?
True
Let d = -0.97 + -42.03. Let r be (5*(0 + -1))/(((-2170)/28)/(-31)). Is r >= d?
True
Let f = 1.65 - 0.05. Let p = 93.824 + -94. Let x = p + -0.024. Which is smaller: f or x?
x
Suppose -5842 = 260*r - 214*r. Which is smaller: r or -142?
-142
Let v 