 40 = -q. Which is bigger: u or -14?
-14
Let i be ((-8741590)/792)/65 + (-2)/(-8). Which is smaller: i or -170?
-170
Suppose -2*y + 24 = 8. Suppose -y*c - 10 = -2. Let o be (c/(-2))/(1/96*-4). Which is greater: -16 or o?
o
Let d be (-4 - -1 - 5/(-10))*-398. Is 996 smaller than d?
False
Let a(j) = -5*j - 30. Let c be a(-6). Let l = 782 + -461. Let n be l/(-1530) - 1/(-5). Which is smaller: n or c?
n
Let b = 2293 - 2321. Which is smaller: b or -41?
-41
Let b = -2857 + 2951. Which is smaller: b or 569/6?
b
Suppose 3 - 7 = y, 0 = 3*k + 4*y + 10. Suppose k = -4*s - 10, -s = 5*f + 3. Is f less than or equal to 1/317?
True
Let y be (3 + -6)/((-9)/2). Let g = -1.505 + 0.005. Let w = -0.5 - g. Is w at most as big as y?
False
Let g = 62 - 55. Let t = g + -7.017. Let z = 0.983 - t. Which is smaller: -0.02 or z?
-0.02
Let s = 459/20 - 13691/580. Which is smaller: s or 0?
s
Let j be 164/(-222)*((-2145)/(-166))/(-11). Let z be (-437)/407 - (-9)/((-297)/(-6)). Let d = j + z. Which is bigger: 1 or d?
1
Let r = -15512.295 - -15563. Let u = -0.295 - r. Which is smaller: u or 0.1?
u
Suppose -3*i + 123 - 6 = 3*b, -3*i - 163 = -5*b. Suppose 4*s = 41 + b. Suppose 0*x = -4*x - j - s, 2*x = j - 5. Is -8 bigger than x?
False
Let s be (-2913)/3852 - (555/(-740) - (0 - 0)). Which is greater: s or -1?
s
Suppose 2*j + 691 = 5*d, -37*d + 39*d - 3*j = 261. Is d bigger than 419/3?
True
Let m(v) = -17 - 7 - 23 - 2*v**2 + 71*v. Let z be m(35). Which is smaller: -14 or z?
-14
Let g be ((-15)/(540/16) + 38/45)*700. Is 276 greater than g?
False
Let u = 18323/5 + -3665. Which is bigger: -2702 or u?
u
Let r be -13 + (10 - 4) + 452/(-24). Is r > -3?
False
Let y be (-1240)/35 - (-3)/7. Let j be (y/10)/(2/(-8)). Let x be 27/9*j/(-12). Is x at least as big as -5?
True
Let i = -9242 - -9242.34. Is 2/29 < i?
True
Let d = 7871 + -2992. Let h be -1 + -2 - (-14620)/d. Which is greater: h or 0?
0
Suppose 0 = -54*f + 5260 + 36328 - 5516. Is 670 equal to f?
False
Let q = 35 + -43. Let y = q + 0. Suppose -15*f - 134 = -44. Which is smaller: f or y?
y
Let o = -3 - -3. Let w = o + 0.2. Suppose g = -2*l + 9, -23*l + g = -22*l + 3. Which is smaller: l or w?
w
Suppose 3*n + 421 = 5*x, 3*x + 4*n + 0*n - 270 = 0. Suppose 3*h = 4*i - x, -14*i = -4*h - 11*i - 124. Is -139/4 greater than or equal to h?
False
Let f(j) = 7*j + 43. Let k be f(-6). Let c be 13/(-1 - (-56)/52). Let x = -5071/30 + c. Which is greater: x or k?
k
Let q = 4627.654 + -4628. Let t = 0.946 + -0.9. Let j = t + q. Which is smaller: j or 8?
j
Let k(o) = 9*o**3 - 36*o**2 + 28*o - 123. Let t be k(4). Which is smaller: t or -124?
-124
Let t = -196 - -354. Suppose 94*l - 96*l = -t. Let d = 87 - l. Is 8 smaller than d?
False
Suppose 4*q + k - 12 = -3, -3*q + k = -5. Suppose 3*o + q*o - 80 = 0. Let r = -15 + o. Are r and -2/7 equal?
False
Let k(h) = 2*h + 9. Let v be k(-5). Let z be v/(-2)*(-4 + -72). Let q be 18/(-45)*(z + -2). Which is smaller: -1 or q?
-1
Suppose 0 = -n + 15*n - 322. Suppose -8 = -n*y + 19*y. Let v = y - -6. Which is bigger: -3/2 or v?
v
Suppose -n + 2*y = -132, -n + 3*y + 137 = -0*n. Let j = 102 - n. Which is greater: -22 or j?
j
Let g = -390 - -395. Suppose -2*v - 18 = g*l - 9*l, 0 = -5*v - l - 1. Is v greater than 3/70?
False
Let k = -675 + -1082. Let f = 1227 + k. Are -1/2 and f nonequal?
True
Let s be (8/6)/((-204)/153)*2357. Are -2356 and s non-equal?
True
Suppose 0 = -4*v + 21 - 25. Let l be 5/(-40) + (v - (-842)/720). Which is greater: l or -4?
l
Suppose -6500 = 31*v - 6*v. Which is bigger: -6 or v?
-6
Let k = 1/3358 - 1249193/57086. Which is smaller: k or -21?
k
Let y be (322/49)/((-30)/(-14)). Suppose 242 = 208*c + 136 - 310. Which is bigger: c or y?
y
Let v = 0.04 - 0.01. Let p = -1.571881 - 0.128119. Is p > v?
False
Let m(s) = s**3 + 36*s**2 + 16*s + 610. Let r be m(-36). Which is smaller: r or -0.034?
-0.034
Suppose 3*w = -5*t - w + 93, -3*t - 4*w = -51. Suppose 5*z - 16 = -t. Let y be -12*(-6)/(-21) - -3. Which is smaller: y or z?
z
Let f be 21*(2/4)/(12/8). Let p(s) = f - 3*s + 15 + 2*s + 21. Let n be p(14). Is 29 equal to n?
True
Let d = 28 - 22. Suppose d*a + 49 = -5. Let t(n) = -n**3 + 9*n**2 - n + 1. Let c be t(9). Is c at most a?
False
Let b(j) = -j**2 - 3*j + 4. Let u be b(-3). Suppose 3 = -5*f - u*k + 18, -3*f = -5*k + 28. Let w be (f + 0)*3/(-9)*-3. Is w <= -14/17?
True
Let b be 4/(-22) + -461*(-34)/(-187). Is -88 at least as big as b?
False
Let y = 157/295 - -4/59. Let s = -327 - 534. Let b be (-696)/s + 24/(-28). Which is smaller: y or b?
b
Let k = -280332/85 + 3298. Let h = -5 + 13. Let y = -7 + h. Is k at most as big as y?
True
Let g = -10.399 - -9.881. Which is smaller: g or -0.03?
g
Let b = 86 - -133. Let g = 202 - b. Let a = 100/39 - 42/13. Is a <= g?
False
Let s = 4 + -11. Let t be 1443/(-91) - (-1)/s. Let w be (-41)/(-318)*-1 + t/(-96). Do w and 1 have the same value?
False
Let m = 276 - 272. Let s be -2*m/(-24) + 319/(-3). Is s smaller than -105?
True
Let i(j) = 141*j - 3. Let k be i(3). Suppose -5*n + 0*n + 3*m = -k, 5*n + m - 400 = 0. Which is greater: -1 or n?
n
Suppose j = n - 5, -n - 7 = 5*j + 30. Let f = -37/5 - j. Which is smaller: -1 or f?
-1
Let c be 3 - 1 - (-1)/((-3)/18). Let l be ((16/(-1084))/(-4))/((-2)/c). Are l and 0 equal?
False
Let v(i) = -i**3 - 10*i**2 - 14*i - 5. Let g be v(-9). Let c = -1/1867 - -377139/9335. Is g greater than c?
False
Let b be 1 + -2*-1*(-5)/(-5). Suppose -2*v - 3 = -o - b*v, 0 = -v + 5. Is o < 0?
True
Let v = -528 - -549. Suppose 1299 = v*l - 3069. Which is smaller: l or 209?
l
Let b(y) = y**2 - 5*y - 3. Let o(s) = -s**2 - s + 5. Let x be o(0). Let i be b(x). Let q = 240 - 248. Is q < i?
True
Suppose -225 + 390 = 11*t. Suppose -t = -3*z, -64*y = -65*y - 5*z + 26. Let p = -21/53 - -836/371. Which is smaller: y or p?
y
Suppose 14 - 8 = 3*a. Suppose -2*x - m + 12 = 0, -x + 4*m - 5 + a = 0. Suppose x*b = 4 - 9. Is b smaller than -2/33?
True
Let r(o) = -o**3 + 2*o**2 + 19*o - 177. Let f be r(15). Does f = -2817?
True
Let x = -1071 + 46055/43. Let t(p) = p**3 + 22*p**2 - 23*p. Let u be t(-23). Suppose -g = -u*g. Which is smaller: x or g?
g
Let u be (-3 + 4 + -2)/((-3)/(-6)). Let v(k) = 3*k - 2. Let s be v(3). Let f be -3*u*1 - (s - 5). Which is smaller: 3 or f?
3
Let g be -3*4*(27/6 + -5). Suppose 6*b = 4*b - 5*r - 17, 3*b + r + g = 0. Which is bigger: b or -2/13?
-2/13
Let u(s) = s + 16. Let w be u(-12). Let i be (-14)/(-34)*18/7. Let z = 285/68 + i. Which is greater: w or z?
z
Let t = 0 - 2. Suppose -q - 49*q + 8800 = 0. Let n = 173 - q. Are n and t equal?
False
Suppose 3*c = -5*b + 5031, 0*b + c - 1005 = -b. Let k be (-14)/6 - (-2358)/b. Is k > 1?
False
Let o be (-133)/(-3278) + 6/(-66). Let z = 33451/1490 + o. Are z and 22 equal?
False
Suppose -2 - 7 = 3*y, -4*z - 1975886 = -2*y. Let c = z - -29639263/60. Let k = -44/3 + c. Which is greater: k or 0?
k
Let c(k) = k**3 + 14*k**2 + 17*k + 47. Let x be c(-12). Suppose 0 = -o - s - x, 3*o - s + 141 = 2*o. Is o greater than -135?
False
Let a(n) = -11*n**2 - 23*n + 96. Let d be a(3). Are 1 and d equal?
False
Let y = -142 - -254. Suppose -14*i = y - 952. Is i equal to 59?
False
Suppose 4*q = 435 - 87. Let i = -66 + q. Suppose b = 3, -4*j + 8*j + i = -b. Is -6 >= j?
True
Let y = 425.191 - 2.191. Which is greater: y or -4?
y
Suppose -6*r - 25*r = -18817. Are 610 and r equal?
False
Let p(x) = x**3 + 7*x**2 - 14*x + 39. Let r be p(-9). Suppose 0 = -r*f + 10*f - 427. Is f > 61?
False
Let o = 226 - 409. Let m = 278.99 - -0.01. Let w = o + m. Which is smaller: w or 2/3?
2/3
Suppose -2*k = -3*k. Let q be (21/(-105))/1 - ((-2635)/(-150))/(-17). Is k at least as big as q?
False
Let i = -447 + 447. Let z be (-237)/(i + 1) + 21/7. Is z != -234?
False
Let b be ((-4980)/(-8))/(-3) - 0/(-3). Which is smaller: b or -207?
b
Suppose 75*u - 735 = 240. Does -27/4 = u?
False
Let f = -0.095 - -29.095. Let y = 41 - 8. Let x = f - y. Is -0.7 less than x?
False
Let i = 3.369 - 4.519. Is i bigger than 1.1?
False
Let b(a) = -a**2 - 4*a - 8. Let m be b(-4). Let v = -7 - m. Let z be 1/v + -2*(-87)/6. Which is smaller: z or 1?
1
Suppose 4*f = -3*v + 149, 32 = f + 5*v - 18. Let p be (6/4)/((-3)/(-8) + 0). Let a be 2/p*(4 - (-56 - 8)). Which is bigger: f or a?
f
Let d be (-721)/65 - -5 - -6. Let q = -103/130 - d. Is 0 < q?
False
Let z 