t u = -41 + v. Is -11 < u?
True
Let d be (-2 - -1)*(-5 + 8) - -4. Let a be (2/(-4))/((-1)/2). Let s be (78/(-315) - d/(-3))*a. Are 0 and s non-equal?
True
Suppose -3*i = -8*t + 9*t - 261, 0 = 2*t - 2*i - 554. Suppose -4*n - t = 115. Which is greater: n or -98?
n
Suppose -5640 = -4*t + 8*t - 4*v, 0 = -2*t - 3*v - 2795. Which is bigger: t or -1406?
t
Let o = -15796 - -15795.9. Which is greater: 6816 or o?
6816
Let l(h) = -h**2 - 15*h + 2997. Let q be l(-53). Is 983 != q?
False
Let d = 635875/9 - 70761. Let a be ((-27)/(-2))/(1/(-8)). Let h = a - d. Is h at least 10?
False
Suppose -253 + 153 = -22*o + 186. Which is greater: -0.6 or o?
o
Let a be 1 - 5 - 4*(-1)/(-4)*-1056. Is a > 1051?
True
Let o be 2 - (7/14)/(2/136). Let j be (o/10)/(2/10). Let a = 2 - 20. Which is greater: a or j?
j
Let y = -136/6201 - -4/585. Which is bigger: y or -1?
y
Let v = -0.37 - -0.263. Let j = 45.107 + v. Let x = 46 - j. Is x > 17/7?
False
Let r(z) = -6*z**2 + 255*z - 284. Let q be r(41). Are q and 62 equal?
False
Suppose -7*d + 2*d = -20. Suppose a + d = -3*p, 2*a + p = a + 2. Suppose a = 4*l + 1. Which is smaller: l or 7/15?
7/15
Let l be -8*((-105)/(-450) - (-6)/(-15)). Suppose p = 4*p. Let s be (4 - p) + 4/(-2). Do l and s have the same value?
False
Let y be 98/14 - -3*1. Suppose -7*t = -y*t - 39. Let q be ((-1)/2)/((-7)/(-224)). Is t at most q?
False
Let o(s) = -s**2 + 10*s - 28. Let y be o(7). Let f be 9/y + 1 + (-10455)/231. Let g = 45 + f. Which is smaller: g or 0?
g
Suppose -x + 36 = -7*x. Let g be -4 + x/(-27) + 359/45. Is -0.1 at most g?
True
Let k be 26/1 + 7/(-14)*-2. Suppose -36*o + k*o - 9 = 0. Is o at most -3/16?
True
Suppose -4*q = 14 + 14. Let x be -3 + 2 - (-3 - (-3 + 5)). Suppose x*h = -u + 1 - 12, -5 = 2*h + u. Which is greater: q or h?
h
Let p(i) be the second derivative of i**3/3 - 7*i**2/2 + 3*i. Suppose -1559 = 11*l - 1592. Let f be p(l). Which is greater: 1/160 or f?
1/160
Let l(y) = -y**3 - 5*y**2 + 14*y + 2. Suppose 5*i + 4*t = t - 23, -3*i = -2*t + 29. Let a be l(i). Let z = a + -1. Is 0 less than z?
True
Let k = 12 - -164. Suppose k = 5*d - d. Let b be ((3 - -1)/d)/((-4)/(-8)). Which is smaller: 0 or b?
0
Let g be (14/(-19))/((-53750)/18415 + 3). Let k = g + -4/5681. Do k and -10 have the same value?
False
Let j be 71/(-264)*-4 - (-33)/(-198). Which is greater: 0.5 or j?
j
Let c = -428 + 440. Let d be (18/c)/((-3)/(-4)). Which is greater: d or -2?
d
Let w = 41598 - 41607. Let x be -7*1*(3 + -2). Which is greater: w or x?
x
Let u(y) = -3*y**2 + 21*y - 6. Let p be u(9). Let g be (1/((-2)/(-5)))/((-14)/p). Which is smaller: 10 or g?
10
Let c = 83 - 81. Suppose 7*q = v + 5*q + 10, -5*v + 10 = c*q. Suppose v = -5*l + 7 + 3. Is l less than -2?
False
Let z be 4/2 - 1*(-1120)/(-555). Let i be 0/(6*(-2 - (-21)/9)). Which is greater: z or i?
i
Let b(t) = t**2 - 6*t. Let i be 12/15*(-75)/(-10). Let p be b(i). Let q be (-100)/(-36) + -3 + p. Which is bigger: 0 or q?
0
Let o = -6 - 2. Let l(k) = k**2 + 13*k + 16. Let r be l(-12). Suppose -7 = r*p + 13. Which is smaller: p or o?
o
Let h(q) = -q**3 - 24*q**2 - 3*q - 114. Let v(o) = -2*o**2 + 12*o - 10. Let j be v(7). Let k be h(j). Which is smaller: -8 or k?
k
Let r = 9 + 216. Let w be ((-4)/(-10))/((-181)/r + 1). Is w at most 2?
False
Let r = 3044 - 3066. Which is greater: r or 2?
2
Let a be (1 - (-13)/3)*-6. Let d(m) = m**3 - 8*m**2 + 558*m - 5779. Let g be d(10). Which is smaller: a or g?
a
Suppose 3*d - 320 = 5*x, 9*d + 108 = 10*d - 3*x. Let t = d - 107. Let l be (-4 + 0)*t/(-12). Which is bigger: 5 or l?
5
Suppose -5*z = 1492 + 1198. Let n be (8/(-32))/(2 - z/(-16)). Which is greater: n or 0?
n
Suppose -203*y + 163*y + 76800 = 0. Is y > 1920?
False
Let j(d) = d**2 + 7*d + 2. Let y be j(-5). Let t be y + (-4)/18*(-15)/10. Let g = 82 - 91. Which is smaller: g or t?
g
Let n(d) = 43*d + 1490. Let k be n(-35). Which is smaller: k or -24/19?
k
Suppose w + 4*w = 60. Suppose -9*r + 6*r = -w. Suppose r*a = -f - 29, 4*f + 6*a - 4*a + 46 = 0. Are -6 and f unequal?
True
Let j = 9088 - 9238. Which is smaller: j or -179?
-179
Let t(g) = -g**2 + 10*g - 19. Let i be t(8). Let q(r) = 7*r**2 - r - 2. Let f be q(i). Let l = -69 + f. Which is smaller: l or -9/2?
l
Suppose -3 = 3*z + 3. Let o be z + (-2 - -2) + 1. Let t be (6/32)/((-1350)/(-600)). Which is greater: t or o?
t
Suppose 0 = -6059*k + 6003*k + 2240. Is k < 11?
False
Let x be (20/(-350))/(4/(-54)) - 4/(-14). Which is greater: 0.1 or x?
x
Let w be ((-26)/(-168077))/(117/63). Is 1 > w?
True
Let m = -3955 + 3955. Let g be ((-2)/(-4))/((-3)/120). Is g less than m?
True
Let p be 5/(-6) + (-707)/(-6). Let k = -229 + p. Which is greater: k or -114?
k
Let z = 31.718 - 23.018. Is z < 21/5?
False
Let n be 28056/16*(393/(-81) + 5). Which is smaller: n or 261?
n
Let n(u) = 3*u**2 + 28*u + 18. Let a be n(-9). Suppose -5*z + 3*o + 9 = -7*z, -3*o - a = z. Is 16 > z?
True
Let h = 1913/172 + 65/172. Which is smaller: 16 or h?
h
Let f = 4/263 - -1024/1841. Which is smaller: f or 108?
f
Suppose 0 = 3*p - 16*f + 1602, 347 = -5*p + 5*f - 2193. Is -498 equal to p?
False
Let v(d) = -d**3 - 35*d**2 + 2*d + 6. Let a(p) = -2*p**3 + 6*p**2 + p - 7. Let f be a(4). Let k be v(f). Is -1 >= k?
True
Let z be 12650/(-44450) - (2 + (-90)/42). Is z bigger than -17?
True
Let u(g) = g**3 + 6*g**2 + g - 9. Let j(i) = -i**2 - 6*i - 6. Let c be j(-6). Let y be u(c). Let k be (3 + y/4)*-4. Is 7 at most as big as k?
False
Let b be 1/9 - -267*23/621. Let o = -7 + 11. Suppose -5 = -k + o. Is k at least b?
False
Let b(n) = -n**2 - 29*n + 160. Let j be b(-34). Let h be 5/j*(116 + -10). Is -53 less than or equal to h?
True
Suppose -4*n = -d - 4137, n - 17902 = 5*d + 2802. Are -4143 and d equal?
False
Let j(n) = -7*n - 11. Let k be j(-3). Suppose -x + q - 2*q + k = 0, 3*q = -x + 12. Suppose t + 88 = x*t. Which is bigger: 10 or t?
t
Let y(m) = 1487*m**2 + 193*m + 192. Let f be y(-1). Are f and 1486 equal?
True
Let q(d) = -3*d + 4. Let i be q(-2). Let g = 2555 - 2550. Are g and i equal?
False
Let m = -5362133/1350446 + 2/39719. Is -3 > m?
True
Let q be (-16 + 10)/(-72) + 77/84. Is q at most 2/3135?
False
Let j(v) = -3*v + 112. Let c be j(35). Let x be (c/68 + 0)/(9/72). Is -0.1 at most x?
True
Suppose -522 = 2*o - 4*v, -506 = -12*o + 14*o + 4*v. Is -241 less than o?
False
Let w = -208/21 - 9550/609. Which is greater: w or -25?
-25
Let g be (-2)/4 + (-9525)/(-34). Let n be 2 - 5 - (-8 + 7)/(5/1405). Let s = g - n. Is s greater than 1?
True
Let b be (2*(-48)/396)/((-4)/576*-1). Which is greater: -34 or b?
-34
Let i = 391476/2069 - 10991938588/58107865. Let y = -2/685 - i. Which is bigger: y or -1?
y
Let l = -739 + 733. Let h(s) = s**2 + 2*s - 3. Let x be h(-4). Suppose 0 = -x*b - m + 6*m - 5, -2*b - 6 = -m. Is l at most as big as b?
True
Let s = -3785744/5 + 757141. Let w(g) = -9*g**3 + g**2 - 2*g + 1. Let n be w(1). Which is smaller: n or s?
n
Suppose 0*q - 98 = -q. Suppose 2*t + 100 = -4*g + 5*t, 3*t = -5*g - q. Let k = 19 + g. Which is greater: -2 or k?
-2
Let k = 20/31 + -1079/1240. Let p = -191/760 - k. Is p at least as big as -1/2?
True
Let z = -398 + 402.13. Let u = z - 3.93. Is 12 smaller than u?
False
Suppose 2*p - 8*b + 2 = -4*b, 10 = -4*p + 2*b. Let t be -2 + 53/13 + p. Let d be 0 + -1 + 2/2. Is t > d?
False
Let p be 2 + 2/(6/53). Suppose 3*r - 2*k + 157 - 247 = 0, 0 = -r - 2*k - 10. Which is smaller: p or r?
p
Let l = -22652 + 36282. Are l and 13629 equal?
False
Let t(g) = -3*g**2 + 77*g + 1784. Let p be t(58). Which is smaller: p or -3843?
-3843
Suppose 12 = -3*y, 17*f - 19*f = 2*y + 9616. Let c be -3 + (28/21 - f/2868). Which is smaller: c or -0.2?
-0.2
Suppose 58*o - 50*o + 48 = 0. Let i be ((-3)/(-2))/(o/56). Is -16 equal to i?
False
Suppose 0 = 30*f - 58*f - 18620. Which is greater: f or -655?
-655
Let v = -379 - -377.19. Let p = 37.81 + v. Which is smaller: -2 or p?
-2
Let s(o) = -32*o**2 + 16*o + 2. Let t be s(-3). Let m be (-8)/(-64)*t/(-3). Let d = m - 33/4. Are 6 and d equal?
False
Suppose 0 = -5*c + 235 + 160. Suppose 0 = 5*a - 4*x - c, a + 4*a = -4*x + 111. Let i = -315 + 332. Is i smaller than a?
True
Let i = 375 + -181. Let m = -7957/124 - -1997/31. Which is smaller: m or i?
m
Let v = 9 + -8.872. Let u = 0.023 + 0.005. Let f = v - u. Which is greater: f or -1?
f
Suppose 8*k - 12*