e?
False
Let f be 14284/(-36) + (-6)/27. Let t = f - -9133/23. Let r(q) = q - 24. Let u be r(23). Is u at least t?
False
Let v = 0 + -0.1. Let q be 15/(-6)*(-14)/(-35). Is v at least as big as q?
True
Suppose -3*d = -i - 4*d + 4, -4*i + 1 = d. Let a = -2 - 4. Let q be (-8)/a*(-3)/(-14). Is q at least as big as i?
True
Let l = -0.03 - -0.03. Let o be (18/(-28))/((-44)/14 - -4). Is l at least o?
True
Let u = -40 - -35. Let y be -1 + 297*u/(-1475). Which is bigger: 1 or y?
1
Let s = 6 + -11. Let l be 3/s + 38/30. Which is smaller: l or 0?
0
Suppose -3*f + o + o = 9, 5*f - 1 = -2*o. Let u be (-5)/(10/16) + f. Suppose -3*s - 5*n + 4*n = 29, 2*s - 2*n + 14 = 0. Is u not equal to s?
False
Let m = -110 - -109. Let s be (-2)/(-6) + 32/12. Is m != s?
True
Let j(l) be the third derivative of l**6/120 + 7*l**5/60 + 7*l**4/24 + l**3 + l**2. Let r be j(-6). Suppose -t = -r*t. Which is smaller: 0.01 or t?
t
Let q be (-4)/(-14) - 8/77. Suppose -6*b = -5*y - 46, 4*b + 11*y - 14*y - 28 = 0. Are q and b equal?
False
Let q = 11 - 12.6. Let b = 1.6 + q. Is 0 >= b?
True
Let u = -2 + 6. Suppose -5*y + 81 = -2*b, 3*b = u*y - 2*y - 94. Let h be (-6)/b - 1/2. Is h less than or equal to -2/9?
True
Let p(m) = 30*m + 188. Let u be p(-14). Which is bigger: -233 or u?
u
Suppose -d - y = 6, d - 4*y = -3*d - 40. Let p(g) = g**3 + 7*g**2 - 8*g - 1. Let x be p(d). Are x and 1/39 unequal?
True
Suppose -a - a = 16. Let q(h) = -h**2 - 7*h - 4. Let f be q(a). Which is smaller: f or 0.1?
f
Let g be -4*((63/6)/(-7) - -1). Suppose -l - g*l = -l. Which is bigger: -2/111 or l?
l
Suppose 14*i - 124 = -26. Is 2/41 > i?
False
Suppose -5*b - 305 = 5*m, -3*m = -b + 60 + 115. Which is smaller: m or -58?
m
Let o be 39/(-13) + 34/6. Let b = o - 7/3. Let q be 1 + 0/(-3) - -5. Which is smaller: q or b?
b
Let i(x) be the second derivative of x**4/12 - x**3/2 - x**2/2 - 3*x. Let t be i(3). Let m = -8 - -6. Which is bigger: t or m?
t
Let s = -376 - -111. Let r = 289.4 + s. Let q = 24 - r. Which is smaller: 1 or q?
q
Suppose 4*c = 2*j + 216, -2*c + 26 = 20. Is -101 >= j?
True
Let z = 134 - 78. Let p = 58 - z. Which is smaller: p or -16/5?
-16/5
Let r = -0.4 - -0.2. Let m(v) = 120*v - 725. Let t be m(6). Which is bigger: r or t?
r
Let p = 13 - 10. Let q be 1/p + (-40)/(-6). Suppose -3*j = -2*f - q, -4*j + 2*j + 2 = -4*f. Which is greater: f or 0?
f
Let y be (100/(-92) - -1) + 6080/(-4140). Which is smaller: -1.9 or y?
-1.9
Let k be (93 + -93)/(-5 - -1). Which is bigger: k or -4/347?
k
Let k = -364 - -369.09. Let j = k - 0.09. Let m = j + -6. Are -14 and m non-equal?
True
Let g = -0.052 - -0.422. Let a = 1.73 + g. Is a at least 2?
True
Let o = -1053 - -1052. Let g = 33 - 33.13. Which is bigger: g or o?
g
Let h be 0/(15/((-30)/4)). Which is smaller: h or -3/130?
-3/130
Let k = 725390758/7142245 - 7211/71. Let n = -6602663/905355 - k. Let j = n + 68/11. Which is greater: -2 or j?
j
Suppose 0 = 8*t - 0*t. Which is greater: 4/9 or t?
4/9
Suppose -9*q - 81 = 225. Which is bigger: -36 or q?
q
Suppose -2*f - 3*z = -6*f + 11, -z - 3 = -2*f. Let p = 8.7 - 8. Let y = p - -0.3. Which is smaller: f or y?
f
Let v be 5*(3 + 44/(-20)). Let n be (-5)/(-4) - ((-3)/v)/(-3). Let g be (-2)/(-1) - 36/21. Which is smaller: n or g?
g
Let i be (-1)/14 + 4/14. Let q be (24/(-21))/(-4) - 99/(-21). Suppose -3*u + 10 = q*j, -4*u + 2*j - 4 = u. Which is greater: u or i?
i
Let d(j) be the third derivative of -j**5/60 + 5*j**4/24 + 29*j**2. Let n be d(5). Which is smaller: n or -4/15?
-4/15
Let q be (-18)/(-5) - 12/20. Suppose 2*m + 2 + 8 = 4*n, 5*n = q*m + 15. Which is smaller: m or -6?
-6
Let d be 70/(-15)*(-180)/(-14). Let c = d + 62. Is c >= 1?
True
Suppose s - 43 = 2*s. Let f = 42 + s. Which is bigger: 1/39 or f?
1/39
Suppose d - 197 = 5*f, 2*f - 4*d - 172 = 6*f. Let k = f - -118/3. Which is greater: k or -14/3?
k
Let d(k) = k**3 - 3*k**2 + k + 4. Let m be d(-4). Let x = m - -782/7. Are x and 2 non-equal?
True
Let q(o) = -2*o**3 + 66*o**2 + 67*o + 18. Let z be q(34). Are -21 and z unequal?
True
Let t = 9216 - 32225. Let m = t + 207674/9. Let b = m + -66. Which is greater: 1 or b?
1
Let c(a) = -a**3 + 7*a**2 + 20*a - 33. Let n be c(10). Which is greater: 3 or n?
3
Let p = 79 + -155/2. Let v = -0.35 + 16.35. Let b = -15 + v. Which is smaller: b or p?
b
Let b = 27.4 + -164.4. Is b bigger than 2/15?
False
Let y(x) = -x**2 - 6*x - 7. Let t be y(-3). Let h be 1*-1*(8 - 8). Suppose -4*s + h = -8. Is s at most as big as t?
True
Suppose -74 = 6*p - 5*p. Let h = p - -125. Which is greater: h or 50?
h
Let v be (-276)/(-90) + (-2)/3. Let a be (-6 + 7 - -2)*1. Which is smaller: v or a?
v
Let f(l) = 5*l**2 - 18*l - 106. Let a be f(-4). Which is smaller: a or -5?
-5
Let g = 24116 - 4292637/178. Which is bigger: g or 0?
g
Let w = 97/5 - 19. Let l = -2.949 - 0.051. Do w and l have the same value?
False
Let v = -25.05 - 0.95. Let b = v - -25. Is 31 at most b?
False
Let m = 5304/7 - 756. Let s = 10 + -5. Suppose g = -3*c + s*c + 1, 4*g = 12. Which is bigger: m or c?
m
Let w be (2/34)/(770/88 + -9). Let i(k) = k + 3. Let u be i(-4). Which is greater: u or w?
w
Suppose 0 = 5*m - b + 971, 584 = -3*m + 35*b - 33*b. Which is greater: m or -1?
-1
Let w(h) = h**2 - 6*h + 3. Let m be w(5). Let u = m - -4/3. Which is greater: u or -2?
u
Let q = 505 - 505.2. Is -0.6 at most q?
True
Let u = -28 + 31. Suppose u*s - 6*s - 9*s = 0. Which is greater: 5/22 or s?
5/22
Suppose -13*w + 16*w + 21 = 0. Let n = w - -17. Let u(p) = -p**3 + 9*p**2 + 9*p + 5. Let k be u(n). Is 2/7 < k?
False
Let s be 41/2 - 6/(-48)*-4. Is 20 greater than s?
False
Let y(z) = -14*z - 395. Let u be y(-28). Which is smaller: -0.229 or u?
u
Let p = 159 + -157. Is 2/91 greater than p?
False
Suppose 1068 = t - 7*t. Let b = 6409/36 + t. Do -1 and b have the same value?
False
Let d = 139 - 138. Let b = 675 - 10121/15. Is d greater than b?
True
Suppose 40 = -0*x - 2*x. Let n be 2/x + (-1448)/(-80). Which is smaller: n or 17?
17
Let o = -11 + 10. Let s be 4 + o/2 - 4. Which is bigger: s or -1?
s
Let f = 22 + -111/5. Suppose 0 = z + 1 - 7. Let v be (z/(-28))/(6/16*2). Which is smaller: v or f?
v
Let b = 0.773 - 0.773. Is b equal to -50/17?
False
Let n(m) = -28*m + 190. Let j be n(4). Do j and 79 have the same value?
False
Let f = 24/17 + -55/51. Which is bigger: 0.37 or f?
0.37
Let g be (-2)/(-4) + 253/(-330). Let q = 53/30 + g. Is q smaller than 1?
False
Let t(o) = -2*o**3 - 3*o**2 - 2*o. Let z be t(-3). Suppose 3*b = -4*v + 6*b + z, 0 = 2*v - 4*b - 4. Let p be 3/v - 81/228. Is 0 less than p?
False
Suppose -37 = 7*z - 44*z. Which is bigger: -3/107 or z?
z
Suppose 2*j + 0*j = 5*c + 15, 4*j + c = -3. Is 1/130 < j?
False
Suppose -49*d - 2*u - 208 = -50*d, -3*d = -3*u - 612. Let x = -737/6 - 159/2. Let o = d + x. Is -1 smaller than o?
False
Suppose -26*a + 7*a = 0. Is 2/95 greater than a?
True
Let w be 0 - 2 - 0/3. Let x = 20 - 16. Suppose -x*f + f - 18 = 0. Which is smaller: w or f?
f
Let f = 610 + -599. Which is bigger: f or 23?
23
Let f = 4 + -5. Let x = -11.8574 + -0.1426. Which is greater: f or x?
f
Let o = 46 - 25. Which is bigger: o or -19?
o
Suppose -3616 = 13*u + 3*u. Which is greater: u or -228?
u
Let t = -1/909 - -5461/6363. Let c(i) = -i - 3. Let d be c(-5). Which is smaller: t or d?
t
Let s be 30/8 + -24 + 21. Are -30 and s unequal?
True
Let b(t) be the first derivative of 2*t**3/3 + 6*t**2 + 6*t - 1. Let w be b(-5). Are w and -4 unequal?
False
Suppose 6 = 5*p - 129. Which is bigger: -2 or p?
p
Let f be 40/(-100) + 14/10. Which is smaller: -29 or f?
-29
Let a(c) = -41*c - 36*c + 76*c + 3 - 4. Let u be a(6). Which is greater: u or -8?
u
Suppose 0 = -5*u - 0*u. Let y(z) = z**2 - 6*z - 4. Let x be y(8). Suppose 2*k - 5*p = -u*p + x, k = -2*p - 3. Which is bigger: k or -0.2?
k
Let u = -968 + 882. Which is smaller: -0.01 or u?
u
Let y = -126.01 - -10.21. Let n = y + 13.8. Is n at most 0.1?
True
Let r = -69 - -78. Let y(l) = -3*l + 8. Let s(o) = -16*o + 39. Let d(p) = 2*s(p) - 11*y(p). Let j be d(r). Is -3 <= j?
True
Let t = 156 - 87. Let a = -58 + t. Let p be (-6)/9*(-2 - 13). Is a less than or equal to p?
False
Let o(g) = g**3 + 7*g**2 - g - 4. Let l be ((-35)/10)/((-2)/(-4)). Let k be o(l). Let m = -72 - -76. Which is smaller: m or k?
k
Let p = 6486 - 6486. Let x be -10*(-3)/((-1125)/2).