/2766?
False
Let a = -41.8 - 31.2. Let q = -69 - a. Let y = -0.1 + 0. Is y > q?
False
Let z = -44374483/390 + 113777. Let c = 37/10 + z. Which is smaller: c or -0.5?
-0.5
Let c be (166/(-3569))/(12/(-27)). Are c and -2/45 equal?
False
Suppose 1 = -c - 0*c. Let u = -334 - -335. Which is smaller: u or c?
c
Let o = 3169.1 + -3149. Which is smaller: o or 4/3?
4/3
Let m = -11276 + 2673. Is -8603 greater than or equal to m?
True
Let s(l) = -138*l + 1128. Let x be s(8). Is 33 at most as big as x?
False
Let y = -40 - -103. Let i = y + -59. Is i at most as big as 32?
True
Let b(s) = s**2 - 9*s + 23. Let f be b(4). Let i be -2*(-5 + f)/4. Which is bigger: 10/63 or i?
i
Let n be (-2 + 1)/(2116/(-266) + (186 - 177)). Which is smaller: n or -1/4?
n
Let u = -9.122 - 268.968. Let i = 278 + u. Is i > 11?
False
Let i(k) = -k**3 - 17*k**2 - 42*k + 3. Let x be i(-14). Which is smaller: x or 2/93?
2/93
Let o be -1*(9 + (10 - 16)) + -14709. Which is greater: o or -14713?
o
Let z = -23/744 + 8/2139. Let m = 3367/2024 + z. Suppose 0 = -u - 5*r + 8, 0*u + 3*u = -4*r + 13. Are u and m equal?
False
Let v(c) = -c - 15. Let a(q) = 2*q + 29. Let f(w) = 3*a(w) + 5*v(w). Let s be f(-8). Suppose 3*k = 18 - 3. Which is smaller: s or k?
s
Let m = 9 + -6. Suppose -4*p = -3*n - 32, 4 = -2*p - m*n + 2. Let u = 6 - p. Is u > 1/4?
True
Let p = 179 + -94. Let o = p - -25. Is o >= -1?
True
Suppose 7822 = -n + 5*f, 2*n - 24*f + 22*f + 15588 = 0. Is 1 < n?
False
Let o = -3 + 4. Let v be (-2 - 588/(-291))/((-156)/234). Which is bigger: v or o?
o
Let c(o) = o**3 + 2. Let s be c(-2). Let p be (-20 - 68/(-3))*3/(-2). Let d be -1 + p*s/8. Is d < 2?
False
Let f be 25/7*9/(-15). Let i = 255 + -296. Let j = i + 38. Is j smaller than f?
True
Let x = -23468 - -20987. Which is bigger: -0.1 or x?
-0.1
Suppose 0 = -3076*u + 3073*u + 3. Which is bigger: 15/52 or u?
u
Let x(a) = 666*a**3 + a**2 - 3*a - 6. Let v be x(-1). Is v greater than -1335/2?
False
Let s = 209 - 157. Let o = -21 + -24. Let i = o + s. Which is bigger: i or -3/2?
i
Let l = 0.392 + -0.322. Let y = 3.07 - l. Does y = 3?
True
Suppose 36*b + 388 - 280 = 0. Which is bigger: b or 541?
541
Let d be (-41)/(-205) - (-134)/(-70). Let q(g) = g**2 + 11*g + 9. Let z be q(-10). Let k be z/(3 + -2 + -1 - -1). Which is smaller: d or k?
d
Let p = -25 - -23. Let f be ((-791104)/308)/(-4) - 1/(-7). Let d = f + -643. Is p greater than d?
False
Let o = -195 + 201. Let g be 6 + (1 - o) - -6. Is 7 <= g?
True
Let x = -219.215 + 220. Let m = 0.025 - x. Let f = m + 1.46. Which is smaller: 4 or f?
f
Let u = -2288 - -2163.9. Let l = u - -124. Is l equal to 0.35?
False
Let u(j) = 4*j - 67. Let b be u(18). Let l(y) = 6*y - 1. Let q be l(b). Which is smaller: q or 149/5?
q
Let r = -33 + -397. Let u = r + 753. Which is smaller: u or 324?
u
Suppose 27 = -g - 2*g. Let t be 3/(6/(-2)) - 48/(-1). Suppose -36*b - t = 241. Which is smaller: g or b?
g
Suppose 12 = -m + 7, 3*p = 4*m + 182. Let o be ((-258)/p - -5) + (-1286)/(-45). Which is bigger: 29 or o?
29
Suppose -4*v = -4, -5*j + 2*v - 2 = -0*j. Let h be 0/(j + 4 + -6). Suppose 2*w + 75 - 19 = h. Is w at least as big as -29?
True
Suppose -3879 = -46*p - 70901. Let h = 1544 + p. Let l = -2 - -3. Which is smaller: l or h?
l
Let p = 5/1854 - 20429/12978. Suppose 0*q + 3*q + 9 = 0. Is q at most p?
True
Suppose 25 = 12*b - 11. Suppose -4*n = 2*r + 20, -5*n + 6*n - b*r - 9 = 0. Is -62 greater than n?
False
Let u = 1524 - 1576. Which is smaller: -48 or u?
u
Let p(i) = -3*i - 10. Let n be p(-2). Let r be -24 + (-5 - -12) + n. Let b be 2/5 + (-224)/10. Which is smaller: r or b?
b
Let p = 0.1221 + 3.0979. Which is smaller: p or 0.3?
0.3
Let x = -567 + 330. Let j = x - -116. Let s = 121 + j. Which is smaller: 6 or s?
s
Let b(p) = 1 - 66*p**2 + 61*p**2 + 0*p**3 + 10*p - p**3. Let m be b(-5). Which is bigger: m or -50?
m
Let o = -88.99 + -2.01. Let f = o - -140. Let q = 69 - f. Which is bigger: q or 1/2?
q
Suppose -7*b - 140 = -609. Suppose -69*q + b*q - 28 = 0. Which is smaller: q or -17?
-17
Suppose 4*n - 5 = 15. Suppose -4 + 19 = n*z. Suppose 14 = z*w + 11. Which is smaller: w or -5/14?
-5/14
Suppose q = 5*f + 3*q + 316, -f = -3*q + 70. Let s be (4 - (-1)/1) + f + 13. Are s and -46 non-equal?
False
Let s = -172 + 177. Let d = -5 - -14. Let a be ((-51)/d + s)*(-12 + 0). Which is smaller: 9 or a?
a
Let n = 0.021 + 156.979. Let t = n + -200. Which is smaller: -2/9 or t?
t
Suppose 5*h + g = 2*g + 30, -g = -4*h + 23. Let k = 198989 - 198988. Which is smaller: h or k?
k
Suppose -2*b - 5 = 2*g + 7, -30 = 3*b + 5*g. Which is bigger: 1/1420 or b?
1/1420
Let n(j) = -j**3 - 26*j**2 + 28*j + 98. Let g be n(-27). Let q = -64 + g. Which is smaller: q or 6?
6
Let n = 437 - 233. Let j(b) = 24*b**2 - 631*b - 1906. Let u be j(-3). Which is smaller: n or u?
u
Let h = 8874.2 + -8874. Which is smaller: h or -1621?
-1621
Let l = 1612 + -9214. Let z be 1/7 + 1002/l. Is 1 not equal to z?
True
Let b = 4.34 - 27.64. Let r = 3.3 + b. Let s = 20.05 + r. Which is bigger: 2/3 or s?
2/3
Let v = 0.1708 + -24.0828. Let i = v + -0.088. Let f = i - -45. Is -0.1 at least f?
False
Let s = -2387 + 2390. Which is bigger: s or 1376?
1376
Let g = -303 - -420. Let f = -117.1 + g. Which is smaller: 205 or f?
f
Let s be 4/(-24) + ((-273880)/(-48))/41. Which is smaller: 138 or s?
138
Let d be (4 - (33 - 13)) + -881. Which is smaller: -898 or d?
-898
Suppose -2*x + 7 = -8*l + 5, 0 = -l - 3*x + 3. Let r = -2/3001 - -6464/693231. Is r at most l?
False
Suppose -2*a - 4 = -2*r - 4*a, -5*a = 0. Suppose -36*m = -37*m + r. Suppose 5*i + m*f = 2, 5*i - 3 = -4*f + 1. Is -1 > i?
False
Let a = 8416 - 7979. Is 0.03 bigger than a?
False
Let c = 45 - 37. Let z be (-6)/9 - c/(-3). Let v be (z + 210/(-99))/((-8)/(-96)). Which is smaller: v or -1?
v
Let x = -14451 + 14475. Let h be (2 - (-74)/(-28))*-36. Is h less than or equal to x?
True
Let o be (21/210)/((-10)/4470). Which is greater: -44 or o?
-44
Let r(l) = -l**3 - l**2 + l. Let s(p) = 3*p**3 - 9*p**2 + 7*p + 1. Let z(k) = 6*r(k) - s(k). Let a be z(1). Let n be ((-18)/a)/((-5)/20). Are n and -8 unequal?
True
Suppose 2*m - 5*b + 71 = 61, b = 2*m + 2. Is m != -2/623?
True
Let y(p) be the third derivative of -p**5/60 - p**4/8 + 20*p**3/3 + 3*p**2 + 14. Let v be y(-9). Which is greater: v or -59/4?
v
Let m = -3830 - -3644.3. Let o = m + 170. Let p = 2.7 + o. Is p < 1/3?
True
Let x(v) = -433*v - 868. Let s be x(-2). Which is smaller: s or 985?
s
Let j be (8/(-8981))/((-408)/714). Is j < -0.1?
False
Let v be 2/(-5) - -1606*266/140. Is v <= 3?
False
Let n be (-12)/((-7)/((-140)/15)). Let l = 86 + -90. Let r(i) = -i**3 - 5*i**2 - 5*i - 4. Let b be r(l). Which is greater: n or b?
b
Let y = -1855.757 + 1855.1. Is y smaller than 0.2?
True
Let d = 2 - -1. Let g be (2*d)/((-104)/(-24)). Suppose -2*t - 2 = 4, -5*a = t - 7. Which is smaller: g or a?
g
Suppose -8*g - 7 + 79 = 0. Let p(z) = 2*z**3 - 9*z - 12. Let c be p(-5). Let n be (-1 - -2) + (-1643)/c. Is n != g?
True
Let c be ((-43)/(-3))/(4/12). Let x = -31 + c. Let u = -365 + 1505/4. Are x and u non-equal?
True
Let v = -4096 + 4096. Is v greater than -11/158?
True
Let p = 9989 - 10867. Which is smaller: -0.1 or p?
p
Suppose 28 = 11*k - 27. Suppose -96 + 36 = -k*l. Suppose 13*w = l*w. Is 1 less than w?
False
Suppose 2*w - 465 = 3*a + 103, 5*a + 576 = 2*w. Are 274 and w equal?
False
Suppose 47 = w + 7. Let t = w + -119/3. Let k = 18.4 + -24.4. Which is greater: t or k?
t
Suppose 3*k + 766 = 2*m - 544, -3*k - 1309 = -m. Does -437 = k?
False
Suppose 3*w - 7 = 4*r, -5*r + 9*w = 4*w + 10. Let v be 140/25 + 175/(-25). Is r greater than or equal to v?
True
Suppose 3*s - 4*q = -49 - 687, 0 = -3*s + 3*q - 738. Let n(j) = 14*j - 11. Let l be n(-17). Which is bigger: l or s?
s
Let p be (4 + 5 - 13)*(-9 - 1). Suppose -15*y = -14*y - p. Is 124/3 greater than or equal to y?
True
Let c(y) = 424*y + 985. Let o be c(-6). Is -1561 at most as big as o?
True
Let y be 2 + 808/(-30) + 18. Which is greater: 1/2 or y?
1/2
Let z(b) = 23*b**2 + 1. Let w be z(1). Let n be (44/w + -2)*3*14. Let c(t) = 3*t + 22. Let u be c(n). Is 3/16 > u?
False
Let x = -13/92 + 9/23. Let f(a) = -3*a**2 - 2*a. Let c be f(-2). Let o be 18/(-104) + (-2)/c. Which is smaller: o or x?
o
Suppose 2*w + o - 11 = 0, -1 = w - o + 1. Suppose -