 o. Let u be f(2). Suppose 4*l - 20 = -u*m, 0 = -2*l + m + m + 4. Suppose l*v - 32 = 3*q, 0*q = 3*v + 5*q - 24. Is -1 less than v?
True
Let s(l) = -l**3 - 14*l**2 - 3*l - 16. Let o be s(-14). Let g = -13 + o. Suppose 0 = -t - i + 10, 5*t - 9*t - 2*i = -48. Which is bigger: t or g?
t
Let a = -4145 + 95336/23. Which is bigger: a or 76?
76
Let z = 314 - 107. Let v = z + -140. Is v not equal to 0?
True
Suppose 5*i = -4*y - 183703, 236969 - 53290 = -4*y + 3*i. Let h = 4271378/93 + y. Let f = -39/62 + h. Which is greater: f or 5?
f
Suppose o - 258 = -m + 133, 0 = 2*m + 3*o - 786. Let d = 578 - m. Is 192 bigger than d?
True
Let v be (-443)/7088*(3 - -1)*1. Which is smaller: v or -4/195?
v
Let i(d) = -4*d**2 + 35*d + 29. Let p be i(17). Let m = p + 537. Suppose -6 = -4*c + 14. Is m < c?
False
Suppose 15*h - 34 = -4. Suppose 0 = -3*o - 3*g - 182 - 289, 0 = -h*o + g - 311. Is -156 less than or equal to o?
True
Suppose 2*a - 5*q = 74, 2*a - 54 = -5*q - 20. Suppose -3*h = 3*r + 3705, 2*r - r + 1229 = h. Let u = -2413/2 - r. Which is smaller: a or u?
u
Let p be -2 + (4/24)/(4/(-5706)). Let h = 240 + p. Which is smaller: h or 0?
0
Let a = -157/15 - -44/5. Let d = a + 7/6. Let z be 12 + (-9)/(360/208) + -7. Which is bigger: z or d?
z
Suppose 3*f - 3*p = -2 - 16, 2*p + 8 = -3*f. Let y be 2/(-7) + (-745)/(-35) + f. Suppose -k + y = 5*g, 6*k - 3*k + 4*g = 18. Is 2 > k?
False
Let t(r) = -20*r - 4. Let l be (-12)/42 - 19/7. Let i be t(l). Suppose 0 = -6*z - 2*z - i. Which is greater: -8 or z?
z
Let v = -15.57 + 1.57. Let r = v - 28. Is r less than -2/9?
True
Suppose 22*r = -14*r - 77*r + 2373. Which is smaller: 226/11 or r?
226/11
Suppose -3*y - 3*y + 6 = 0. Let p be (-25760)/6020 + 4*1. Which is smaller: p or y?
p
Let d be ((-18)/(-15))/((-290)/(-25)). Let p = 247 + -247. Which is bigger: p or d?
d
Let x = -6568 - -6567.988. Is 23 at most x?
False
Let q = -3.316 - -13.316. Let n = -29 + 21. Let g = n + 8. Which is bigger: g or q?
q
Let d = -46330520/91 + 509117. Let b = 108/13 + d. Are b and 0.4 equal?
False
Let a = 21618 + -21619. Let p = -241/5 - -249/5. Let g = -11/10 + p. Which is bigger: g or a?
g
Let g be (-64)/(-4) + -2 + -4 - 4. Suppose 2523 - 2931 = -g*z. Is z greater than 203/3?
True
Let i(v) be the second derivative of -2*v**3/3 - 9*v**2/2 + 1897*v. Suppose 10 = -3*z + 4. Let f be i(z). Are 6 and f equal?
False
Let d be (2 + -2)*-1 + (1 - -4). Let a be ((-8)/(-830))/(2/d)*1. Let o(p) = -p**2 + 3*p. Let v be o(3). Which is greater: v or a?
a
Let y = 33 + -21. Suppose -g + 1 = -4*m, 3*g + 4*m - 7 - y = 0. Let c be ((-385)/(-11) - 20) + -17 + 9. Is c equal to g?
False
Let i(v) = 44*v + 4. Let c be -1*1 - (-2 + 2). Let j be i(c). Let d be 2 + (0 - j/(-25)). Which is smaller: d or 43?
d
Let v be (1/(-28))/(14 + (-891)/63). Let a = -446 + 656. Suppose a = 5*z - 0*z. Which is smaller: v or z?
v
Suppose -17 = -u + n + 12, 0 = 2*n - 8. Suppose -72 = -u*h + 37*h. Are h and -35/2 unequal?
True
Suppose -69*a - 828 = -72*a. Let n be 10*(a/(-105) - -2). Does n = -5?
False
Suppose -2*o = k, 2*o = -3*o - 5*k + 10. Let x be (-5586)/o*2*15/130. Let j = -645 + x. Which is bigger: j or -1?
j
Let i(v) = -197*v**3 + 2*v**2 + 2*v + 1. Let c be i(-1). Let f = 89722 - 89526. Which is smaller: c or f?
f
Let d = -783 - -253. Let v = -531 - d. Which is bigger: -60.1 or v?
v
Let f be ((-6)/(-16052))/(29 + -21 + -5). Is 0 less than or equal to f?
True
Let r = -164469 - -1807918/11. Let y = r - -113. Which is greater: y or 2/3?
2/3
Suppose 0 = -5*m - 7*s + 4*s + 917, -4*s + 16 = 0. Let x = -93846 - -93845.9. Which is smaller: m or x?
x
Let j(m) = m**3 + 10*m**2 + 29*m + 448. Let a be j(-11). Which is bigger: -12 or a?
a
Let l = 674 + -351. Suppose -l + 71 = 4*o. Suppose -6*a + 52*x = 53*x + 394, 3*a + 202 = -x. Which is smaller: o or a?
a
Suppose -10743 + 35361 = -3*v. Which is smaller: v or -8205?
v
Let d = 8671/217740 - 1/2865. Let y = -196/2185 + 5691/43700. Let u = y + d. Which is bigger: u or -1?
u
Let s = 4945 + -4937. Is s greater than or equal to 21/13?
True
Suppose 8*l - 1688 = 13*l - 4*y, -y - 683 = 2*l. Is -333 less than or equal to l?
False
Let u be -6*2/4 - -7. Suppose 0 = -5*h + u + 31. Let b = 1695 + -3377/2. Which is smaller: b or h?
b
Let t = 68029/28880 - 189/80. Which is smaller: 1 or t?
t
Suppose 10070 = 154*d + 10224. Let f = 118 - 472. Is f != d?
True
Let k be (3960/1312 + -3)/((20/16 - -7) + -12). Let v be -1*(-1)/2*-2. Is v at least k?
False
Let m = -210 - -210. Let q be (m - 2/21)/((-10)/70). Which is bigger: -4/17 or q?
q
Let g = 43.553 - 36.5. Which is bigger: -0.1 or g?
g
Let k = -19439.11 - -19439. Is -55 not equal to k?
True
Let a = -315 + 291. Let v be (-14)/(-4) - (a - -23). Is v at least -1/11?
True
Suppose -133 + 293 = 10*d. Suppose -51 = -13*j + d*j. Is -24 at least j?
False
Suppose 31*k - 551 - 410 = 0. Suppose -41*r = -k*r - 10. Is r greater than or equal to -2/155?
True
Let a be 3/(-6) - 9/(-2). Suppose 4*u + 2*l - 22 = 0, -u + 0 = -2*l + 7. Let y be u + 2 + -5 + 3 + -15. Which is greater: y or a?
a
Suppose a + 15 = 6*a. Suppose a + 27 = 3*v. Which is greater: 64/7 or v?
v
Let r be (3/396)/(25/(750/(-255))). Which is smaller: -1 or r?
-1
Suppose 32 + 9 = 4*r + 5*o, 3*r - 7 = o. Suppose r*t - 140 + 100 = 0. Which is bigger: 53/5 or t?
53/5
Let n be 0 + 3 + (-15)/3. Suppose -2*j + 4*i + 11 = -3*j, -18 = -2*j + 2*i. Suppose 3*s = 2*a - 21, -j*a = 3*s + s + 5. Which is smaller: a or n?
n
Let a = -1.8414 + 1.9163. Which is bigger: a or 0.1?
0.1
Let g = -10/19349 - 3714538/909403. Which is greater: g or -4?
-4
Let m = 178 + -179. Let l be 1/(((-4)/m)/(-4)). Is -4/87 at least l?
True
Suppose 549*i + 119*i - 2345 = 19699. Let u be ((-26)/8)/(2/(-24)). Which is smaller: u or i?
i
Let n = -72 - -75. Suppose 0 - 30 = n*r. Which is smaller: r or -14?
-14
Let d be ((-6111)/28 - 0)*(-6109)/294. Let j = d - 4535. Is j greater than 1?
False
Let b be 0 + -11 - (51 + (-55225)/(-141)). Which is smaller: b or -455?
-455
Let g = -2.6 - -3. Let n = 0.8 - g. Let l = -0.53 + n. Which is bigger: -0.3 or l?
l
Let i = -7552 - -7518. Do i and 13 have the same value?
False
Let w = 7560 + -7561. Let h be 3/2*(-206)/(-3). Is h at most as big as w?
False
Let t(d) = 22*d + 4. Let o be t(1). Let r be 185/35 - (-4)/(-14). Let m be o/6 + 0/r. Which is bigger: m or 5?
5
Let t = -152.7 + 3.7. Let i = -149.01 - t. Is i > 4?
False
Let b = 15 - 21. Let p(v) = v**3 + 4*v**2 - 6*v - 5. Let x be p(b). Let d(r) = r**2 - 34*r - 7. Let m be d(33). Is x bigger than m?
False
Let i(n) = -n**3 + 6*n**2 - 5*n + 1. Let w be i(5). Let r be 2 - (w*-34 - 0). Suppose 0 = -5*v + 2*u + 189, 32*u - 28 = 36*u. Which is bigger: r or v?
r
Let u be (56/6 + -4 + -6)*1296. Is u < 2?
True
Let n = -568 - -388. Let s = n - 11. Which is greater: s or -190?
-190
Let f be 14 + (-22)/715*-2195. Is 82 less than or equal to f?
False
Let y = 20230343/1752 + -11547. Which is greater: -1 or y?
y
Let h = -246295/11 - -22375. Which is greater: h or -15?
-15
Let h = 3007 - 3012. Suppose 3*n + m + 31 = 0, -m - 39 - 1 = 4*n. Let y = n - -4. Is y at least h?
True
Let y be 4/18 - (1813448/58086 - 31). Suppose c = -c + 2. Is y >= c?
False
Let l = 0.5 - 0.2. Let u = 2.46 + -2.38. Is l not equal to u?
True
Let i = 564235 - 564253. Let f = -1 + 1.2. Let l = -0.8 - f. Is i at least as big as l?
False
Suppose -112*n = -122*n + 5840. Which is greater: n or 580?
n
Suppose -30 + 250 = -5*m. Let a = m - -45. Suppose -2*f + 3 = a. Which is bigger: 2 or f?
2
Let w = -144844 + 5068652/35. Let s = w - -178/7. Which is greater: s or -1?
s
Let k = -26 + 35. Let s(l) = -l - 3*l**3 + 4*l**3 - k*l**2 - 7*l - 3 - 22. Let t be s(10). Which is greater: t or -6?
t
Let w(c) = -8*c**3 + 22*c**2 - 13*c + 4. Let v(k) = 7*k**3 - 22*k**2 + 12*k - 5. Let z(y) = -5*v(y) - 4*w(y). Let m be z(7). Does 8/7 = m?
False
Suppose 380 + 1121 = -28*p - 123. Is p != -39?
True
Let w be (-12)/(-3) - 0 - -2. Let c(v) = 4*v**3 - 16*v**2 + 2*v - 8. Let m be c(4). Suppose m = -11*f + 10*f + 4. Are f and w equal?
False
Let o = 0.39 + -0.58. Let u = o - -88.19. Let m = -89 + u. Which is smaller: -0.1 or m?
m
Let c = -13 - -18. Suppose p + 4*u + 9 = -4, -c*p - 33 = 4*u. Let z be 12/48 + (-2)/(-4)*(-110)/44. Which is smaller: p or z?
p
Suppose -133*q + 135*q = 16. Let p(m) 