ose 3*t - j - 222 = 0, -3*t - x = -8*t - 4*j. Which is smaller: 76 or t?
t
Suppose 0*c + 2*n - 6 = 3*c, -5*c - 10 = -2*n. Let g = -1467 + 10265/7. Are g and c unequal?
True
Let r = -1173895/321 - -3657. Which is bigger: 0 or r?
r
Let u(k) = -k**3 - 16*k**2 + k + 19. Let t be u(-16). Suppose 3*y - 4*q + t*q + 744 = 0, -3*y + 4*q - 744 = 0. Let c be (-8)/36 + y/180. Is c equal to 1?
False
Let y = 150.01 - 149. Let d = y - 0.01. Which is smaller: d or -25?
-25
Suppose 0 = -3*j + 4*l + 198, 0*j - 4*j - 5*l + 233 = 0. Suppose -9*k + 82 = -j. Let f be 2/((-3)/6*k/(-12)). Which is smaller: f or 6?
f
Let l be 3 + (-3)/((-60)/(-8))*545. Let r be l/((-6)/9 + 8/(-24)). Is r greater than or equal to 216?
False
Let k be 14/(-12) - 6/(-36). Let w be 24 + -18 + 74*k. Which is greater: -70 or w?
w
Suppose 0 = -4*c + 1 + 7. Let b = -7443 - -7578. Which is smaller: c or b?
c
Suppose 55 = 20*a - 9*a. Suppose 4*i + 3*p = -167 - 260, -a*p + 124 = -i. Is -109 bigger than i?
False
Let p be -1*49 + 3 + -2. Suppose 78 = -2*v - g - 22, 4*v + g + 202 = 0. Which is bigger: v or p?
p
Let u = -3129 + 128283/41. Let t = 83 - 60. Suppose 2*v + 2*n - 5 = -v, 0 = 3*v - 5*n + t. Which is bigger: v or u?
u
Suppose -4*u = -4*i - 36, 0*i - 2*i - 3*u - 23 = 0. Let y = -736 + 770. Suppose 4*m + 4*l + 6 = -y, -2*l + 4 = -m. Is m greater than or equal to i?
True
Suppose -11372 = 5*c + 2*n, -c + n = -1000 + 3280. Which is smaller: c or 1?
c
Let c = -3.2339 + 0.0439. Let z = 3.39 + c. Is z not equal to 50?
True
Suppose 0 = -38*h + 277 - 49. Let u be 5 + h + (-81)/9. Is 34 less than or equal to u?
False
Let j be (-1 - -3)*23/(-2). Let i = 719 + -740. Is j at least as big as i?
False
Let r = 395 - 340. Let p be 1/7 - r/(-105). Is p smaller than 0?
False
Let o be ((-6)/10)/((-198)/(-45)). Let x = 61/198 - o. Which is smaller: x or 0?
0
Suppose -2 = -i + 3*i, -c = 5*i + 41. Let l be (-18)/54*c/(-10). Suppose -6*b = -4*z - b - 15, -3 = 4*z - b. Which is bigger: z or l?
z
Suppose 2*x + 5*a = -373, 872 = -4*x + 4*a + 84. Let s = x + 968/5. Is -112 <= s?
True
Let j(v) = -v**2 + 6*v. Let b be j(5). Suppose p + 4*u - 18 = 5, -b*p - 5*u = -40. Suppose -4*s - 4 = -p*g, 2*s - 1 = -2*g + 3*s. Which is bigger: -3/16 or g?
g
Let o(t) = -5 + 4 - 3*t**2 - 5*t + 16*t**2 + 6*t. Let d = -137 + 139. Let k be o(d). Is k at least 54?
False
Suppose 60 = 8*l + 2*l. Suppose -l = -20*b + 19*b. Is b less than 5?
False
Let n = 18495 - 28291. Which is greater: n or -9794?
-9794
Let w = 773 + -772. Suppose -2*k + 21 = u, w = -14*k + 15*k. Is u smaller than 16?
False
Suppose 32*o - 46 = -13*o - 1. Which is smaller: o or 35/167?
35/167
Let q be 3758/(-2*(2 - 3)) - 1. Let n = q - 45059/24. Let m = n + -47/264. Which is smaller: 1 or m?
m
Let z(u) = -u**3 + 31*u**2 + 54*u + 101. Let n be z(33). Let k = 329 + n. Let d(m) = 34*m + 1. Let b be d(1). Is k at most as big as b?
True
Let a = 0 + 1. Let x(s) = 6*s**3 - s**2 + s. Let z be x(a). Let u be ((-16)/6)/((-1820)/126 + 14). Is z at least as big as u?
True
Let z(v) = -v + 10. Let u be z(10). Suppose 0 = -3*d + 3*s + 45, -d + 5 = 3*s - 22. Let w be 14/(-21)*(-3)/d. Is u smaller than w?
True
Suppose -4*n + 114 + 318 = 0. Let l be 3816/n*3/(-2). Is -54 bigger than l?
False
Let c = 488126.7757 + -488082. Let y = -0.0243 - c. Let j = -45 - y. Is 0.03 less than j?
False
Let b = -360 - -356. Let n be (-24)/108 + b/(-18). Is n greater than -1/5?
True
Let x = 0.02 + -2.02. Let j = 52 - 46.5. Let v = j - 10.5. Does x = v?
False
Let x = -118 + 68. Let d be (25/x)/((-1)/(-2)). Which is smaller: -12/13 or d?
d
Let a be (5/775)/((-120)/(-650)). Which is smaller: -1 or a?
-1
Let l(d) = 79*d**2 + 15*d - 3. Let i be l(-1). Is -7 greater than i?
False
Suppose -260 = -6*q + 5*q. Let k be 195524/q*(-3 - -4). Let r = -752 + k. Is -1 at least as big as r?
False
Let v = 4587 + -4043. Is 546 < v?
False
Let r be (-8)/(-14) - (-146)/(-56). Let q = r + 16/7. Which is greater: q or -146?
q
Let t = 650994/107 + -6084. Is -1 bigger than t?
False
Let f(v) = 1261*v + 6305. Let x be f(-5). Do 13/3242 and x have the same value?
False
Let r be (-1 - -2) + (-39)/37. Let z = -657.9898 - 0.0102. Let a = z - -656. Which is smaller: a or r?
a
Let p = -23445.81 + 23447. Are -0.1 and p nonequal?
True
Let v(o) = 87*o + 19. Let j = -97 - -94. Let q be v(j). Which is greater: q or -241?
-241
Let n = 82 - 81. Let r be (0 - n)*2 + 6/3. Suppose r*y + 5*y + 3*o - 95 = 0, -7 = -2*y + 5*o. Is y less than 16?
False
Let f = 18.854 - 16.054. Which is greater: f or -0.308?
f
Let f be (-9)/(-26)*(-10 + (-941)/(-94)). Let v = 30633/354380 - f. Is v at most 1?
True
Suppose -l + q + 1332 = 4*l, -3*q + 792 = 3*l. Let c(y) = -y**3 + 17*y**2 - 30*y - 21. Let a be c(13). Is l at least a?
True
Let y(v) = v**3 - 3*v**2 - 6*v + 6. Suppose -2*j = i - 10, 5*j = i - 3*i + 23. Let q be y(i). Let z = 154 + -154. Is q less than or equal to z?
True
Suppose 3*o = 5*l - 0*l - 4286, l - 5743 = 4*o. Let i = o + 191122/133. Does -2 = i?
False
Let m be (0 + 10*4)*79/632. Which is smaller: 4 or m?
4
Let w = -10407230 + 18970181. Let o = 282599990/33 - w. Let v = o - 685. Which is smaller: v or 0?
0
Let l(g) = 12*g - 4. Let v be l(3). Suppose 2*n - 5*f + 0*f = -v, -3*n - 67 = 2*f. Let o = -193/597 - 2/199. Which is greater: o or n?
o
Let q(x) = -52*x - 4. Let v be q(-17). Suppose -8*j + 30*j = v. Is 40 at least j?
True
Let b(h) = -3*h + 4. Let p be b(2). Let v be (263/(-2))/((5/p)/(-5)). Let m = v + 1844/7. Which is smaller: -11 or m?
-11
Let c = -35 + 29. Let p be 77/c - ((-2 - -4) + -2). Let k = p + 23/2. Which is smaller: k or 0?
k
Suppose 3*a + 511 = -5*k, 15*a = 10*a - 35. Is -96 greater than or equal to k?
True
Let s = 6.588 + -8.588. Which is smaller: -1/151 or s?
s
Let m = 9791 + -9721. Which is smaller: 140 or m?
m
Let p = -308.3 + 308. Which is greater: -171 or p?
p
Suppose -22 = v - 3*v + h, 3*v = 5*h + 40. Suppose -4*b + 72 = 13*z - v*z, -4*z + 31 = b. Which is bigger: 4 or b?
b
Let i(o) = -3*o**3 - 3*o**2 - o - 22. Let r be i(5). Let u = r - -5237/11. Is u at most as big as 0?
True
Suppose -63*v + 72*v = 18. Let d be (v - 6)/(3 - (-76)/(-28)). Is -11 > d?
True
Let v = -112 - 87. Let k be ((-58718)/13345)/((-2)/(-90)). Which is greater: k or v?
k
Let w = 2368 + -5631. Which is smaller: w or -3262?
w
Let k = 365 - 559. Let y = 192.9 + k. Which is bigger: 0 or y?
0
Let b be -6*(-132)/(-32)*(-122)/3. Let y = 1026 - b. Is y <= 19?
False
Let t(m) be the second derivative of -m**4/12 - 7*m**3/6 + m**2/2 - 58*m - 1. Let i be t(-7). Which is smaller: 1/111 or i?
1/111
Let g be 1193/(-248) + (-46)/713. Is g != 18?
True
Let u = -17892 + 33954. Which is bigger: 2/5 or u?
u
Suppose 4*g + 4 = 0, -2*f - 5*g - 113 = -310. Which is bigger: 114 or f?
114
Let b = -1 - -3. Suppose 3*o + 2*o - 8 = b*s, -2*o = s + 4. Let g be (32/64)/((-42)/432). Is s less than or equal to g?
False
Let v = -0.0327 - -0.4777. Let n = 23.045 + -23. Let c = v - n. Is c != 2/5?
False
Let n = 73.073 - 128.982. Let f = n - 0.091. Let g = f + 54. Which is smaller: 5 or g?
g
Let g be 1751/(-15) + 0 + (-408)/(-3060). Suppose q = -0*q - 2, -3*q + 345 = 3*r. Let v = r + g. Is -4/3 > v?
False
Suppose 83 = -15*i + 113. Which is smaller: -0.019 or i?
-0.019
Suppose 3*x = 12, 0*j = -j - 5*x - 214. Let l = j - -1164/5. Does -2 = l?
False
Let m = -8 + 4. Let n = 0.0683 + -0.0383. Which is bigger: m or n?
n
Suppose 5*v + 80 = 2*f - 1625, 0 = 3*v + f + 1012. Let s = 338 + v. Let t = -0.09 + -1.91. Is s not equal to t?
True
Let b = -125558 + 238483/2. Which is smaller: b or -6316?
b
Let a = -34 - -111. Let j be 2/5 - a/55. Which is smaller: -4/19 or j?
j
Suppose -50494 - 79341 = 23*v. Are -5648 and v nonequal?
True
Suppose -2*b = -4*f + 10, 0 = 2*b + b - 9. Let l be 0/((-3 - 2) + f). Which is bigger: l or 5/59?
5/59
Let u(o) = o**3 - 13*o**2 - 5*o + 64. Let h be u(13). Which is bigger: 3/1804 or h?
3/1804
Let j = -0.7 - 15.3. Let c = 16 + j. Let d = -477 + 500. Is d at most c?
False
Suppose -k - 191 + 68 = 2*y, 4*k + 240 = -4*y. Is y less than -42?
True
Suppose -298 = -5*d + p - 5*p, 233 = 4*d + 5*p. Is 12 < d?
True
Let k(f) = -238*f + 6453. Let n be k(27). Suppose -5*r + 450 = 4*b, 0 = -2*b - r - r + 224. Suppose 0 = d + 2*q - 16, 1 = -4*d + q + b. Is n smaller than d?
False
Let z = -490.943