/85 - -104/935. Which is smaller: s or l?
l
Let i(l) = -l**3 + 2*l**2 + 2*l + 3. Let k be i(3). Suppose k = 7*b + 5 - 75. Suppose o + 0 = -3*p + b, 10 = -3*o + p. Which is smaller: o or -30/13?
-30/13
Let o = -43.3 + 42. Let d = o - -1.3. Is -119 at most d?
True
Let k = -20243 + 20242. Are k and -9/35 nonequal?
True
Let q be ((-1461)/99)/(((-4)/9)/4). Let o = -133 + q. Let d = -0.07 - -6.07. Which is smaller: d or o?
o
Let k be -8 + (14 - 140/24). Let r = 41.97 + -42. Which is bigger: k or r?
k
Suppose 0 = -3*g, 0*r + 5*g + 4 = r. Suppose r = a - 4*p, 0*a + a + 4*p - 28 = 0. Let t(c) = -3*c**3 - 2*c**2 + 3*c. Let w be t(1). Which is greater: a or w?
a
Let f = 83.08 - 85.0235. Let c = 0.0565 - f. Is -1.42 >= c?
False
Let b(u) = -2*u**2 - 24*u + 7. Let k be b(-12). Suppose -4*o - 17 = 5*j, 0 = -k*o + 3*o - 4*j - 12. Suppose 28 = -4*i + 2*p, -2*i = i + 3*p + 21. Is i > o?
False
Let h = -0.424 - 5.286. Let l = -1.71 - h. Do -41 and l have different values?
True
Let m be (324/(-36720))/(2/(-110)). Which is smaller: 0 or m?
0
Let a = 0.99 + -1. Let z = 0.179 + 112.821. Let s = -110 + z. Is s less than a?
False
Let s = 36 + -83. Let x = s - -9. Let v = -36 - x. Is v not equal to -0.23?
True
Suppose 5*z = 2*a - 40, 2*z + 0*z = -3*a - 16. Let c(v) = 7*v + 37. Let i be c(z). Which is smaller: -2/3 or i?
i
Let y = -159/253 + 4/23. Let w(i) be the third derivative of -i**6/120 - i**4/24 + i**3/6 + 17*i**2. Let a be w(0). Does y = a?
False
Let s = 2.7 + -51.7. Let y = 37 + s. Let o = y - -11.94. Which is smaller: -2 or o?
-2
Let h be (-18)/11*-2242*1*3/(-18). Which is greater: h or -611?
-611
Let x = -13557 + 22215. Are x and 8657 unequal?
True
Suppose -959 = 333*m - 334*m + i, m = 3*i + 955. Are 960 and m equal?
False
Let b = 6.32 - 7.42. Let y = 5/53 + -211/1113. Which is smaller: y or b?
b
Let r be (-30)/4*24/(-36). Let f(a) = -6*a - 5*a**2 - 6*a**3 + 4 + r*a**3 + 4 + 3*a. Let z be f(-4). Which is greater: z or 2?
z
Let p(l) = -4*l**3 - 63*l**2 - 45*l - 1. Let f be p(-15). Are 8/421 and f non-equal?
True
Suppose -q = 2 - 1. Suppose 1097*x - 1105*x = 152. Let k be -3 + (1/75)/(x/(-4047)). Are q and k equal?
False
Let s be ((-4)/6)/(27/(-81)). Suppose s*k + 4*a - 74 = 4, 5*a = 15. Which is greater: 26 or k?
k
Let y(n) = -n**3 - 5*n**2 + 5*n - 10. Let m be (-20)/(-100) - (-59)/5. Suppose 7*w + m = -30. Let p be y(w). Which is greater: -19/4 or p?
p
Let w = 91 + -76. Let p = w + 10. Which is bigger: 131/5 or p?
131/5
Let w = 803 + -805. Let h = -50.75 - -51. Let r = h - -1.95. Are r and w equal?
False
Let j = -7 + 4. Let g = 23407 + -23414.1. Which is bigger: g or j?
j
Suppose 4*w + 3*c = 1280, -3*c + 150 = -2*w + 808. Let a be -11 + 14 + 321 + 0. Is a < w?
False
Let u = -61.831 - -47.831. Suppose -2*t = -6*t. Which is greater: t or u?
t
Suppose 4*o = -8*o + 96. Suppose 22 = o*p + 22. Is p bigger than 1/48?
False
Let r(c) be the third derivative of 11*c**6/60 - c**5/60 - c**3/6 - 45*c**2. Let t be r(-1). Is -24 bigger than t?
False
Let y be 1/3*3 - 4. Let a = -41 + 44. Suppose a*n - 4 - 8 = -3*p, -8 = -5*n - 2*p. Which is greater: n or y?
n
Suppose 4*h + 9*r = 12*r + 658, -18 = -3*r. Does 1701/10 = h?
False
Let x(r) = -13*r - 64. Let z be x(-6). Suppose 1899 = -z*h - 1741. Which is smaller: h or 0?
h
Suppose -32*r = -33*r - 323. Let n = r + 152. Is -172 at least n?
False
Suppose 41 + 29 = 10*h. Suppose -240 = -h*t + 362. Suppose 23 + 235 = 3*g. Is t smaller than g?
False
Suppose 28*t - 523 = 65. Suppose -t*z + 17*z = 0. Is 1/274 >= z?
True
Suppose v - 12 = -4*o, 4*v - 4*o = 7*v - 20. Let f be (v + (-51)/9)/((-1)/(-6)). Let k = f - -11. Which is bigger: 11/14 or k?
k
Let i be ((-1)/(-20))/(174/2610). Which is bigger: i or -0.1174?
i
Let m(b) = -b**3 + 5*b - 5. Let n be m(2). Let i(h) = -h**2 + 9*h - 2. Let r be i(8). Let q be r/n*(-78)/(-12). Which is smaller: q or -15?
-15
Let d(t) = -t**3 + 8*t**2 - t - 2. Let u(m) = m**3 - 8*m**2 + 3*m + 2. Let l(o) = -6*d(o) - 7*u(o). Let h be l(5). Which is smaller: 24 or h?
h
Let j = 3212.3 - 3456. Let c = j - -242. Which is smaller: 5 or c?
c
Let y(p) = -6*p - 20. Let d be y(-5). Let x = d + -40. Let s = -141 + 109. Is s at least as big as x?
False
Let n = -2.5537 - -2.6537. Which is smaller: n or -3.668?
-3.668
Suppose y + 5*b + 95 = 0, 3*y + 181 + 104 = -2*b. Let x = -42 - y. Let a be (-4)/((-56)/x) - 2/7. Which is greater: 4 or a?
4
Let o = 3.1 - 3. Let k be ((-57)/(-5))/1*14/117. Let t = k - 2/65. Is o bigger than t?
False
Let z = 5 - 12. Let p = 100 + -101. Let q = 2 + p. Are z and q equal?
False
Let y be (44911/10 + 81/(-135))*9/42. Is y at least 962?
True
Suppose -9880 = -143*r + 139*r + 5168. Is 3761 at least as big as r?
False
Let b(z) be the first derivative of z**3/3 - z**2/2 + 2*z - 38. Let d be b(0). Let f = 67/88 - 1/88. Is f greater than d?
False
Suppose -20*m + 18795 - 18815 = 0. Is m at most as big as -1/13453?
True
Let g be (2/(-18))/((4 + -7)/(-9)). Suppose -33*s - 55 = 22*s. Do s and g have the same value?
False
Let n be (592/(-40))/((-7)/210). Let x = n - 610. Is x at most -168?
False
Suppose 3*c + 194 = 2*i, 0 = -4*i + 2218*c - 2222*c + 428. Do 305/3 and i have different values?
True
Let g = -1.234 - 165.566. Let s = g - -158. Which is bigger: s or -2?
-2
Suppose -2 = -5*a - 7. Suppose 31*r - 32*r = -25. Let k be r/50*(-4)/(-62)*-1. Is a smaller than k?
True
Let a = 25 + -70. Let g be (-54)/5 - (-9)/a. Do g and -6 have the same value?
False
Suppose -2*o - 1 = 5. Suppose -2*w = h + 10, 19 = 17*w - 18*w - 4*h. Let b(c) = c**2 - 46*c - 147. Let t be b(w). Is t != o?
True
Let f be (8 - 0)/(-1)*15/(-40). Is f at most as big as 8/17?
False
Let a(b) = -b + 7. Let w be a(5). Suppose -w - 3 = -5*i. Let r be (1 + 4 + 1)/i. Which is bigger: 8 or r?
8
Let y be (-49)/14*(-6)/35 + (-19434)/(-10). Is 1944 less than y?
False
Let o = -0.8 + -0.2. Let k = 3 - o. Let s = 4.39 - 7.39. Is s at most k?
True
Let h = 44 + -41. Suppose -h + 5 = -u. Let p = -109/38 - 12/19. Is p smaller than u?
True
Let j be 1/(-2)*(-56)/(-2). Suppose -17236*m - 78 = -17230*m. Which is smaller: j or m?
j
Let u be -4 - (4/9)/(1184/(-23952)). Let y = u + -12/37. Which is smaller: y or 2/5?
2/5
Let j = -102 - -179. Let d be j + (0 - 2)*(-6)/4. Is 80 equal to d?
True
Suppose 3*p = p - 656. Suppose q - 52*a + 28*a + 1316 = -3*q - 21*a, 4*a = 0. Which is smaller: q or p?
q
Let v(y) = 3*y**2 + 5*y + 2. Let j be v(-2). Let q(r) = -13 + 5*r - j*r - r + r. Let p be q(12). Which is smaller: p or -2/7?
p
Let m be (-2)/8 - 318/(-24). Let x(o) be the third derivative of o**5/60 - 11*o**4/24 - 4*o**3 + 39*o**2 - 2*o. Let j be x(m). Which is smaller: 5/9 or j?
5/9
Suppose 2*l = l. Let g = -1/1629 + -4856/50499. Let n = 25/899 + g. Which is smaller: n or l?
n
Suppose 6*m + m + 21 = 0. Let k be (m + 2)/(1/2). Let s be 1/k*(-22)/(-1). Is s not equal to -11?
False
Suppose -3*l = 3*j - 5*j - 9, -5*j = -l + 16. Does 17/165 = l?
False
Let a = 8846 - 8847. Is -168/179 at least a?
True
Suppose -5*o + 45 = 0, o = 4*i - 2*i - 2043. Which is bigger: i or 1029?
1029
Let f(c) = 23*c**2 + 4*c - 28. Let n be f(-3). Which is smaller: 160 or n?
160
Let y = -11777 - -11777.4. Is y > -10/51?
True
Let q = -5473 - -1187652/217. Is -1 less than or equal to q?
True
Let x = -24 - -26.2. Let z = 2.21 - x. Let f = z - 0.31. Is f less than 5?
True
Let b = 418 + -420. Let i be 151 - (-1 + b + -1). Which is smaller: i or 153?
153
Let x = 1/455 + -83/5915. Let a = -5 - -6. Which is bigger: a or x?
a
Suppose -60*k = 27*k + 435. Which is bigger: k or 9?
9
Let g be 1547/52*(-4 - 0). Let j be g/(-13) + 18/(-117)*1. Is 3 != j?
True
Let b = -475 + 900. Let t be 2*2*b/170. Which is smaller: 21 or t?
t
Let j be (-20)/(-64)*(-11)/(33/372). Let i = -627/16 - j. Which is bigger: i or -1?
i
Let u(c) = -6*c**2 + 3*c - 11. Let k be u(-4). Let f be (2/3)/(6*(-11)/11880). Which is smaller: f or k?
f
Let l be (-435)/((-13)/286*-11). Which is bigger: -874 or l?
l
Let j = 59738 - 934481536/15643. Is j != 0?
True
Let y = 36104 + -144431/4. Which is smaller: y or -27/4?
-27/4
Let r be (6/(-4))/((-75)/1035*36/40). Let h be -1 + -1 + 1 - -27. Which is smaller: r or h?
r
Let p(f) = -f**2 + 46*f - 320. Let d be p(16). Is 1129/7 > d?
True
Let m be (272/60)/(-17)*51358/8. Let u = -1711 - m. Which is bigger