e 2*k + 368 = -2*t, 5*k + 0*t + 2*t = -917. Let q = -2361/13 - k. Let c(l) = -l + 8. Let v be c(7). Which is bigger: v or q?
q
Let v = -60433/5 + 12378. Let h = v - 303. Which is smaller: -11 or h?
h
Let u(h) be the second derivative of -h**4/8 - 3*h**3 - 7*h**2/2 + h. Let p(z) be the first derivative of u(z). Let i be p(-7). Is 9/5 smaller than i?
True
Suppose -2*l - 1 = 4*r - 5, -5*r + 3*l = 17. Let z = 165463/148 + -1118. Which is bigger: z or r?
z
Let z be 20/150 - (-7 + (-122297)/(-57120) - -5). Is z at least -1?
True
Let v = -775031/344 - -2253. Let o = -10671/2408 + v. Is o at least as big as -3?
False
Let d(l) = -l**2 - 10*l - 16. Let t be (5 - (2 + 4)) + -6. Let z be d(t). Suppose -z*o = -1 - 29. Which is greater: 9 or o?
9
Let u be 42/(-80) - (-10)/25. Let y be 12 + 15 - (-10)/(-2). Suppose -2*c + 23 = -5*q, 6*q - q = 3*c - y. Which is bigger: u or c?
u
Suppose -352*w + 10752 = -376*w. Which is bigger: w or -445?
-445
Suppose 0 = -2365*g + 508*g + 1857. Let v be -1*2 - 1975/(-988). Which is smaller: v or g?
v
Let p = 171 + -152. Suppose -4 = -4*w - 2*x, 5*w = -16*x + p*x - 17. Is 1/153 <= w?
False
Suppose 266 = -c + i, -4*i = i. Let q = 269 + c. Which is smaller: 23 or q?
q
Let v = 1240 - 1248. Which is greater: -0.46 or v?
-0.46
Suppose 2*i + 15 = -i, -i - 84 = -v. Let m = 222 - v. Is 143 greater than or equal to m?
True
Suppose 0 = -3*y + 336 + 150. Let w = y + -194. Is 1/2 greater than or equal to w?
True
Let x = 0.1 - -0.9. Let q(u) = -u + 158. Let p be q(23). Let n be (12/16)/(p/(-120)). Is x greater than n?
True
Suppose -218*o + 221*o + 3063 = 0. Which is smaller: o or -1018?
o
Let v(l) = 27*l - 270. Let d be v(10). Which is smaller: d or -17/301?
-17/301
Let m = -355.1 + 391. Which is smaller: m or -2?
-2
Suppose 5*j + 2*u + 165 = 7*u, -91 = 3*j + 5*u. Let t be -12*(j/(-6) - -5)*-1. Do t and 122 have the same value?
False
Let u be (7 - ((-598)/(-66) - 2))/((-18)/198). Let w = 39.3 - 41.37. Which is smaller: w or u?
w
Let a(f) = -f**3 - 19*f**2 - 103*f - 2944. Let j be a(-20). Is j equal to 8?
False
Let n be (0 + 6/14)/(225/(-1575)). Let t be (1 + -1)/(-2) + 1. Suppose v + 3 + t = 0. Which is smaller: n or v?
v
Let d = -830384 - -1272979177/1533. Let c = d + 2/511. Which is bigger: c or 16/13?
16/13
Let p = 395 + -689. Let k = 298 + p. Let r be (2/3)/((-15)/9). Which is smaller: k or r?
r
Let o(q) = -q**2 + 9. Let f be o(0). Suppose -3*s = -4*u - 22, f = -2*s - 5*u - 7. Suppose -26 = -3*n + j + 1, s*n - 18 = 3*j. Which is smaller: 0 or n?
0
Suppose 227*g + 418 = 189*g. Is g greater than -111/10?
True
Suppose y + 4 = 0, 2*y = -2*d - y - 18. Let l be (74/d)/(2*(-1)/3). Let o = l - 11. Is o < -0.1?
False
Let o = 1457 - 1456.949. Which is greater: 0.4 or o?
0.4
Let n be ((-2)/(-1) + -122210)*(-141)/99. Let j = -174269 + n. Let s = -215 - j. Is s smaller than -6?
False
Let t = -279 + 271. Suppose -11*r + 9*r - 38 = 0. Is r less than t?
True
Let i(s) = -s**3 + 6*s**2 + 9*s - 10. Let r be i(7). Suppose -c - 21 = 4*f, -r*c + 1 = -f - 0*f. Let y = 175 + -6827/39. Is y at most c?
False
Suppose 0 = 8*f - 14*f + 30. Suppose m = 4*w + 7, w + f = 3*m - 3*w. Which is greater: m or -16/47?
-16/47
Suppose g + 5*c = 428, -5*g - 7*c + 2084 = -10*c. Let t = g - 419. Which is smaller: t or -580?
-580
Suppose 2*h = -q + 83, 4*q = -2*h + q + 93. Let y(n) = -41*n**3 - n**2 - 9*n - 9. Let g be y(-1). Which is greater: g or h?
g
Suppose 0 = 3*n - 3*p + 15 - 51, 0 = 3*n - p - 44. Suppose 22*z - 187 = 38 - 71. Suppose n*m - z = 9*m. Which is bigger: 1/51 or m?
m
Suppose 3 = 4*u - 1. Suppose 0 = 3*d - 4*t - 147 - 62, -146 = -2*d + 4*t. Let q be (d/2352)/((-3)/12). Which is smaller: u or q?
q
Suppose -798 = 4*v - 2*v. Suppose 2*a = -m - 388, 3*a + 11 - 26 = 0. Is m > v?
True
Let y(o) = o**3 - 25*o**2 + 67*o + 19. Let a be y(27). Let b be 2/(-4) + 1674/a. Do 1 and b have the same value?
False
Let h be (-6)/8 - 36645/19460. Which is smaller: -4 or h?
-4
Let g be 8 + 112239/(-16035) + 16 + -17. Which is greater: -1 or g?
g
Let v(b) = 26*b**2 - 68*b - 30. Let x be v(3). Is x not equal to 10/29?
True
Let c be 4 + (-23)/(184/1040). Let r = c - -104. Which is bigger: -133/6 or r?
r
Let w = 8.5 - 0.5. Let h = -12 + w. Let d = -762.8 - -762.5. Which is smaller: h or d?
h
Let y = 0.07535 - -1.92465. Suppose -v - 4*w - 8 = -32, 0 = -4*v - 3*w + 44. Is y smaller than v?
True
Let h = -107329 + 974869308/9083. Which is smaller: h or 0?
0
Let c be (4 + (-120)/28)/(10/(-35)). Is 22/755 at most c?
True
Let u = 59026 + -2242849/38. Which is smaller: 5 or u?
u
Suppose 4*l + 5*t = 21, -l - 1 = -0*t - 5*t. Suppose -g + 25 = -2*m, -l*g - 2*m + 150 = -0*g. Which is greater: g or -5?
g
Let z(c) = -5*c - 159. Let o be z(8). Let r = o - -168. Which is greater: -3/14 or r?
-3/14
Let f = 47.056 + -0.056. Let s = 26 - f. Let z = s + 14. Are z and 2/3 equal?
False
Let i(q) = 2*q**2 - 96*q + 6. Let h be i(-12). Let p be ((-14)/42)/((-2)/h). Is p != 241?
False
Let t = -11772 - -11813. Is t < 85?
True
Let j = -218.8 - 545.2. Is -11 smaller than j?
False
Let n = 14 - 56. Let y be n/18 + 2/(-3). Let v be (y/12)/((-51)/120). Which is bigger: 2 or v?
2
Suppose 0*x + 12 = -3*x. Let i(h) = 58*h + 2497. Let o be i(-43). Let k = x - o. Which is bigger: -6 or k?
-6
Suppose 0 = 62*y - 58*y + 64. Let d be y/(-12) - ((-192)/9)/8. Which is smaller: 1 or d?
1
Let r(x) = x**2 + 23*x + 26. Let w = -75 - -53. Let k be r(w). Suppose -k*p + 7 = -1. Are p and 16 unequal?
True
Let p = -250 - -394. Let h be 64/p - 44/18. Which is greater: h or 7?
7
Suppose 0 = 23*b - 30*b + 581. Suppose 82*y - 14 = b*y. Is y greater than -2?
False
Let k = 2 + -2.1. Let p(d) = -25*d - 10. Let z be p(-2). Suppose 0 = -2*r + 40 - z. Which is smaller: k or r?
k
Let x = -5603/2 - -2802. Are x and -657/7 unequal?
True
Let x be -4 + (-3 - (-39)/6) + 294. Let i(d) = d**3 + 19*d**2 + 20*d + 45. Let h be i(-5). Is x equal to h?
False
Suppose 5*o + m = -553 + 544, -2*o + 27 = -3*m. Which is smaller: o or 27/22?
o
Let r be (4/(-258))/((-86)/(-30) - 3). Let n = -829 - -828. Which is greater: r or n?
r
Suppose -3*z = -3, 74*z = -4*m + 78*z + 36. Suppose m*j = -8*j - 5688. Are j and -315 non-equal?
True
Suppose 4*t + j - 164 = 3*j, 48 = t + 3*j. Let k = t - 76. Suppose -5*p = -0*p + 165. Which is greater: k or p?
p
Suppose -v = -2*v - 0*v. Let b = 893 - 940.9. Let r = 49 + b. Are v and r nonequal?
True
Let r = 1 - -214. Suppose -2*k + r = -145. Let m be 4/(-14) - k/(-336). Which is smaller: m or 21?
m
Let c(r) = -2*r + 27. Let x be c(15). Let p(l) = 2*l**2 + 9*l + 5. Let s be p(x). Suppose 5*k - 5 = -0*k. Does k = s?
False
Let a = 529 - 204. Which is greater: 0.1 or a?
a
Suppose -5*x + 18 = 2*l - 8, -l + x + 13 = 0. Let j(o) be the second derivative of -o**4/12 + 7*o**3/2 - 13*o**2 + 16*o. Let y be j(19). Is l equal to y?
False
Let q = -2.4 - -16.4. Let m = 28 - q. Let v be 28/(-21) + 0 - (-3 - -2). Is m at most as big as v?
False
Let u be 116/5 + 2/(-10). Let y(p) = -82*p**2 - 1001*p - 182. Let t be y(-12). Which is smaller: t or u?
t
Let x be ((-1)/(-2)*-2)/1. Let m be (-200)/(-80)*(-188)/(-10). Let v be -51 + m - 31/(-8). Which is smaller: v or x?
x
Let j be 7*(-80)/(-112) - -7. Which is smaller: 305/26 or j?
305/26
Let q = 22229 + -22065. Is 122 > q?
False
Let k = 3756 - 3787. Which is bigger: k or -2?
-2
Let l(i) = 2*i**2 + i - 3. Let o be l(1). Let r(c) = c**3 + 2*c**2 + 4*c + 2. Let t be r(o). Which is smaller: t or 5/9?
5/9
Let o = 2921.7 - 2934.7. Is o less than or equal to 5/39?
True
Suppose g - 5 = -3*i + 19, 3*g + 3*i = 96. Let b be 10/g*6/60*3. Is b smaller than -1/6?
False
Let i = -31240 + 31238. Which is smaller: i or 587?
i
Let t = -1392 - -1393. Is t < -1/9564?
False
Suppose -3*t - 5564 = 2*j, -5500*j - t = -5495*j + 13949. Is j at most as big as 1/3?
True
Let j = -10575 + 10858. Is 848/3 >= j?
False
Let n = 1652.25 - 1652.2. Which is smaller: n or -1636?
-1636
Let h be ((-5)/(-8) + -1)/(9/(-6)). Let y be 468/(-91)*(-42)/4. Which is smaller: y or h?
h
Suppose 3*u = -15, 0 = 2*w - 0*u - 5*u - 41. Let s be (w - 2)*(111/6 - 4). Let m = s + -88. Which is smaller: -4 or m?
-4
Suppose -14 = -312*r + 326*r. Let l be (11/(627/(-54)))/2. Is r less than or equal to l?
True
Let h = 0.341 - -163.659. Let c = -165 + h. Which is small