uppose 0 = 5*q - 5*l - 170, 5*l + 108 = 4*q - 32. Which is smaller: u or q?
q
Let r = 143 - 152. Let j be 3346/(-252) + 2/r. Is j <= -15?
False
Suppose -28*b + 186 = 299 + 1007. Do -135 and b have the same value?
False
Let x = 16 + -16. Suppose 7*l + 0*l + 14 = x. Let g be l/6 - 44/165. Is g equal to 0?
False
Suppose 3*x + 0*x + 108 = 4*f, x + 2*f = -36. Let a = x + 46. Let i be (-7)/((1 - 2)*1). Which is greater: a or i?
a
Let v = -163.01 + 214.01. Which is smaller: -93 or v?
-93
Let i = 3793 - 3792. Which is smaller: -830 or i?
-830
Suppose 241*x - 4*u = 238*x - 4116, 4*x = -3*u - 5438. Which is smaller: x or -1361?
x
Let o = 1.54 + -83.54. Let k = o + 74.9. Let j = -4.1 - k. Are 3 and j unequal?
False
Let o = 382 - 370. Suppose -939 + 4119 = -o*b. Which is greater: -264 or b?
-264
Suppose -224 = l - 220. Let x be (-214)/5 - (l + 6). Which is smaller: -45 or x?
-45
Let b(n) = -n + 11. Let g be b(0). Let j(f) = -f**2 - f + 9. Let a be j(-3). Suppose 88 = -a*p - g. Which is smaller: -31 or p?
p
Suppose -4*p + 5*v = 7*v - 152, -2*p = -v - 84. Let f be (6 + p/(-10))*(-2)/4. Let a be (4/(-130))/(-2)*-1. Which is smaller: a or f?
f
Let u(f) = 2*f**3 - f + 1. Let p be u(1). Suppose 170 = p*b - 202. Let o be 77/(-21) - -3 - (-130)/b. Is o >= 0?
True
Suppose 0 = 12*s - 18*s + 66. Let y be (-1 + -122)*s/((-1188)/(-8)). Which is smaller: -9 or y?
y
Let l be (-6)/(-33) - (-3 - 7317/(-11)). Let v = -653 - l. Suppose 5*f - 28 = s + 9, -2*f - 5*s + 4 = 0. Which is bigger: v or f?
v
Let q = -373 + 1114. Let s = 10377/14 - q. Which is smaller: s or -1?
-1
Let q = -362 + 1457/4. Let v be (-13)/((-91)/56)*(-18)/8. Let o = v + 20. Is o greater than or equal to q?
False
Suppose -2*i = 3*i + 5*p - 25, 3*i - 3*p - 3 = 0. Let f(g) = g**3 - 11*g**2 + 15*g + 6. Let q be f(8). Let x be (1*(-3)/2)/(72 + q). Which is greater: x or i?
i
Let f = -114759/105523 + 24/1991. Which is bigger: f or -2?
f
Let g = -65 - -62. Let j = g - 11. Let z = -22 - j. Do z and -8 have the same value?
True
Suppose -21*h + 23*h = 20. Let g(j) = -j**3 + 10*j**2 - 3*j - 4. Let t be g(h). Let k = t - -35. Which is smaller: -23 or k?
-23
Let z be (11/3)/((-2)/(-12)). Let s(t) = -71*t + 14. Let q be s(-9). Let p = 676 - q. Are z and p nonequal?
True
Let f(u) = u - 2. Let l be f(3). Let c be -3 + (-1 - (l - 2)). Let v be (-10)/(-15)*c/10. Is v equal to -1?
False
Let w = -342511480/3221 - -106337. Are 1 and w equal?
False
Suppose 5690 - 2182 = -81*i - 1838. Let s(g) = -g**3 - 11*g**2 + 7*g + 9. Let n be s(-11). Is i < n?
False
Let s be 3/(-2)*(-30)/9. Suppose 17 = 4*j + 3*b, -s*j + 2*b = -4 - 0. Suppose n - j = -n. Which is smaller: n or 1/21?
1/21
Let q = 969 - 1259.51. Let k = -291 - q. Which is bigger: k or -2/7?
-2/7
Let n(h) = -2*h**2 + 11*h + 27. Let c(i) = 5*i**2 - 31*i - 80. Let j(q) = 3*c(q) + 8*n(q). Let w be j(12). Which is smaller: -229 or w?
-229
Let j = -57 + 57. Let p(r) = -5*r**2 + r + 30. Let h be p(j). Is 29 > h?
False
Let b = -6575/2 - -3280. Let h(m) = m + 9. Let i be h(-6). Suppose -37 = i*x - 10. Is b smaller than x?
False
Suppose 37*f + 419704 = -9*f. Let o = -54929/6 - f. Do -30 and o have the same value?
False
Let r = 355 + -315. Suppose 23*d = r - 155. Which is bigger: 13 or d?
13
Let q = -176.45 + 161. Let r = q - -15. Are r and 4 nonequal?
True
Let u be ((-87)/(-11))/((-2)/(-22)). Is 431/5 at most u?
True
Let d be 14/(-2)*(-11 - -9). Suppose -13*f + d*f + 6 = 0. Which is smaller: -13 or f?
-13
Suppose 0 = -3*d - 70 + 1471. Suppose -91*j = -90*j - 5*b - 464, -j + d = -4*b. Is j smaller than 480?
True
Suppose 11943*h - 122968 = 11791*h. Which is greater: h or 813?
813
Suppose -3*i = 3*u - 0*u + 138, 0 = -4*u + 20. Let f = -40 - -86. Let l = f + i. Is -7 equal to l?
False
Let f = -15143 - -17100. Which is smaller: -2/7 or f?
-2/7
Let c(l) = l**3 - 22*l**2 + 20*l + 21. Let y = 19 - -2. Let r be c(y). Suppose r = -4*z + z - m - 58, 2 = -2*m. Is z != -1/2?
True
Suppose 5*h - 16 = -3*h. Suppose h*s = 3*s - 16. Let q be 3*(-5)/((-120)/136). Is s not equal to q?
True
Let c = 8780 - 219417/25. Are c and 4 nonequal?
True
Let h be 119880/5565 + -21 - 6/(-28)*-2. Suppose 4*l + x - 9 = -2*x, -2*l + 2*x = 6. Is h at least as big as l?
True
Let c = 191 - 189. Let k = -10 + 95/9. Which is greater: k or c?
c
Let t = 12 + -10.92. Let m = t - -0.12. Let h be 5 - ((36/(-108))/((-4)/158) + -8). Which is bigger: m or h?
m
Let g be 33/55 - 27/(-5). Let v be 10/60 - (-119)/g. Let q = -82 + 101. Is v < q?
False
Let r(c) = -c**2 + 10. Let f be r(0). Let b = 6 - f. Suppose -529*j + 39 = -532*j + 3*u, -j + 71 = 5*u. Which is bigger: j or b?
j
Let h be 3/(-5) + 0 + 957/2145. Which is bigger: -15/8 or h?
h
Let t(m) = m**2 + 16*m + 38. Let n be t(-3). Let b = -0.16 - 5.84. Let v = b - -6.025. Is v < n?
False
Let g = 12737 + -37832/3. Let o = -133 + g. Which is greater: o or -7?
o
Suppose 43 = 11*h - 56. Let k(z) = -2 - 7*z + 2*z**2 - h + 0 + 6. Let o be k(4). Are -2/133 and o equal?
False
Let x(v) = v**3 - 7*v**2 - 3. Let a be x(7). Let i be 38/(-133) + 286/(-28). Let r = i + 59/6. Which is smaller: r or a?
a
Let t = -6 + 8. Let h(r) = 11*r + 62. Let a be h(-3). Suppose -a*g + 26*g = -21. Which is smaller: g or t?
t
Suppose 4*p - 3044 = 4*t, 3*t + t + p + 3064 = 0. Which is greater: -766 or t?
t
Suppose -159 + 2007 = 88*o. Is -124 at most as big as o?
True
Suppose 3*l = -2*l - 5. Let r(i) = 10*i**2 + i + 1. Let d be r(l). Let q(w) = w**2 + 25*w + 74. Let k be q(-3). Which is bigger: k or d?
d
Suppose 0 = -139*w - 84062 - 20883. Is -5 > w?
True
Let a = -2.1 + 1.9. Let p = 79/30 + -107/6. Which is smaller: a or p?
p
Let j = -61 - -39. Let i = j + 25. Suppose 0*t - 21 = 4*d - 3*t, -i*t = 3*d. Is 3 at most d?
False
Let i(z) = -z + 11. Let w be i(-3). Suppose w*p - 10*p = -272. Let u = -69 - p. Are u and -1/20 unequal?
True
Let l be 0/((-12 - -29)/17). Is l less than -5/2296?
False
Let d(h) = h**2 + 4*h + 3. Let g be d(-3). Suppose 2*t + 204 = 2*y, 2*t - 3*y + 219 - 17 = g. Is -105 not equal to t?
True
Let f be -18 - 2/(-3 + 1). Let d = -0.7682 - 0.0318. Which is smaller: d or f?
f
Let c = 51097/90 - 1117/2. Which is greater: 8 or c?
c
Suppose -2*b + 6 = 6*y - 5*y, -4*y = -5*b - 11. Let d be 3/b + (-2632)/224. Which is smaller: 0 or d?
d
Let k(l) = l**3 - 5*l**2 - 62*l + 309. Let s be k(5). Do s and -3/1594 have different values?
True
Let r = -17662 + 16148. Which is greater: r or -1515?
r
Suppose 0 = 12*a - 20 - 232. Let t be (-10)/(-64) + -8 + (a - 13). Is t not equal to 1?
True
Let a = 7157 - 2337. Which is smaller: 4821 or a?
a
Let p = 21814.9 - 21815. Is p > -5347?
True
Let t = -50549/2 + 25275. Suppose 3 + 13 = -2*v. Which is smaller: v or t?
v
Suppose 5*z = -f - 42 + 227, -f - 139 = -4*z. Is -27 >= z?
False
Let v = 1724 - 1720. Is 30 at least v?
True
Let f be 99645/(-52) + 4 + -19. Is f bigger than -1930?
False
Let a = -116 - 33. Let x = a - -171. Is 18 not equal to x?
True
Let p = 0.074 - -7.226. Let r = 25.98 + -17.68. Let d = r - p. Is d less than -1?
False
Suppose 5*n = 4*y + 7, 5*y + 28*n - 26*n = -17. Which is greater: y or -236?
y
Let x = -476 + 478. Suppose 2*p - 8 = x, -3*l + p + 40 = 0. Which is bigger: l or 12?
l
Suppose -3*t - 60 = -15*t. Let y be ((-3)/(3/(-2)))/(t - 4). Suppose -4*w - 465 + 113 = -y*g, 0 = -2*g + 8. Which is bigger: w or -85?
-85
Let a = -9598.3858 - -1.3858. Is -0.1 less than a?
False
Let b be 3/(-7) - (270/7 - -6). Let v be (b/30)/((-6)/56). Does 7 = v?
False
Let i be (29 - 33)*((-17)/2 + 2). Is i greater than 39?
False
Let p be ((-4)/30 - (-15688)/1110) + -11. Let b be 2 - 5 - (-330)/(-5). Which is greater: b or p?
p
Let m = -0.1503 + 1.0952. Let j = -0.0551 - m. Is j at least as big as 1/58?
False
Let b(a) = -a**3 - 11*a**2 + a - 7. Let l be b(-11). Let c be ((-4 - 1) + 2)*4/l. Is c > -3/31?
True
Let d = 15429/10 - 3085/2. Is 923 bigger than d?
True
Let u be (-3304)/(-2041) - 4/26. Is u bigger than 2?
False
Suppose -2*n + x - 1528 = -x, 0 = 3*x + 3. Let o be 1*-4*(-11)/(1540/n). Let h = -6739/308 - o. Which is smaller: 2 or h?
h
Let k = 0.194 + 304.806. Let x = k + -190. Let a = x + -115.2. Is a bigger than -1/30?
False
Suppose -1398 = 101*z - 95*z. Let b = z + 216. Are b and -120/7 unequal?
True
Let y = -15 - -24. Suppose 2*c + y = -1. Let l be 374/1260 - (1 + 