45*f + 720. Is f smaller than -21?
False
Let l(a) = -a**3 - 7*a**2 + 7*a - 11. Let o(j) = 7*j - 1. Let i be o(-1). Let w be l(i). Let u(v) = -11*v - 268. Let z be u(-24). Which is smaller: w or z?
z
Suppose 13 = 5*j - 2*m, -j - 3*m - 2 = -8*m. Let p be (-2 + (-1 - -2))*12. Let r = p + j. Are r and -9 non-equal?
False
Suppose -405 = 27*j + 1134. Suppose -r - 2*r + 4*i = 187, 4*i + 155 = -3*r. Is j at most r?
True
Let x be (-1 - -2) + (-2)/(-2). Suppose 18*d = 46*d - 196. Let r = x + d. Which is smaller: r or 8?
8
Let z(k) = 2*k**2 + 22*k + 36. Let g be z(-6). Which is greater: -33 or g?
g
Suppose -z - 93 = -309. Let q be (-4 - z/(-68)) + 1. Which is bigger: q or 1?
1
Let x = -477.6 - -474. Is x < 3?
True
Suppose 3 = -5*z - y, -5*z - 4*y + 2*y - 6 = 0. Let p be (4 + z)*2/(-4). Are p and -3 equal?
False
Suppose -2*g + k - 9 = 0, 0 = 5*g - 2*k - 3*k + 35. Is g at least as big as -11/15?
False
Let v = -39 + 64. Let i = -24.9 + v. Which is bigger: 0.3 or i?
0.3
Let m = 170.05 - 179. Let p = m + 9. Which is greater: p or -0.05?
p
Suppose -18 = 2*t + t. Let l be (-10)/(-15) - (-16)/t. Let p be (l/15)/((-14)/21). Which is bigger: p or 1?
1
Suppose 5*n = -4*q - q, 0 = n. Let t = 2 - q. Let a be -3 - (1 - 6/t). Which is smaller: -6/11 or a?
a
Let s be 4 + 0 + 12/(-4). Let r be (s/11)/(10/(-60)). Which is bigger: 3 or r?
3
Let g be (-2)/((-2)/((-4)/(4/(-5)))). Suppose 0*p - 5*p + 25 = 0. Is p less than or equal to g?
True
Let x be (-20)/(-5) - 3 - (8 + 21). Is x greater than or equal to -27?
False
Let q = -2/1741 - -74867/3482. Suppose 5*m - 4*c = 42 + 89, -95 = -5*m - 5*c. Is m < q?
False
Suppose 283 = 3*v + 4*c, -6*v - 2*c + 374 = -2*v. Is 91 greater than v?
False
Let q be (-214)/7383*9/25. Do q and -1 have the same value?
False
Let g = 9689/504597 + -1/2369. Let v = g + 22/1349. Which is smaller: 1 or v?
v
Let j = -14 - 5. Let k = -0.87 - -14.87. Let f = k + j. Is f equal to -1?
False
Let s = 0.09 + 0. Which is bigger: -2/67 or s?
s
Let t = 6 + -5. Let n = 1805/804 + 1/201. Is n less than t?
False
Let v(d) = d**2 + 6*d - 10. Let w be v(-7). Let o be (-10)/6 + 2 - (-1)/w. Is -1/6 greater than or equal to o?
False
Let m = -25.11 + 25. Let b = m + 0.11. Let j = -1 - b. Which is smaller: 4/9 or j?
j
Let h be -2 + 132/9 + -2 - (-235)/(-141). Suppose f - 4*f - 4*p + 15 = 0, f - 5 = 2*p. Which is smaller: h or f?
f
Suppose 19*n - 36 = 2. Let s be 2 - (10/(-9) + 2). Are n and s equal?
False
Let j = -60/1411 + -16/83. Suppose -x - 4*a + 12 = 0, -2*a = 3*a - 15. Is x bigger than j?
True
Suppose 0 = l + l - 4*k - 134, -3*l + 186 = -k. Are -3 and l nonequal?
True
Let p = -7.8 + 8.38. Let o = p - 0.573. Is 0 greater than or equal to o?
False
Let b = 302 + -300. Is b <= 10/13?
False
Suppose -p - 9 = -8. Which is smaller: p or -9/16?
p
Let s = 155672/27 - 5765. Let b = s + -616/1107. Let t = b + -68/369. Is 0 > t?
True
Let a = 5 + 0. Let v be (-22)/24 - a/(-20). Let f = 0.1 + 0.02. Is f not equal to v?
True
Let a = 29.3 - 29.36. Which is greater: a or 2/57?
2/57
Suppose 4*q + 0*i - 2*i = 0, 3*q + 5*i = 13. Let b be q + (-23 + 4 - -1). Which is smaller: -18 or b?
-18
Let x be 1/(-4) + (-3)/((-36)/87). Suppose -1 - x = 4*f. Let z be 10/((-1)/((-1)/(-7))). Which is bigger: z or f?
z
Let p be 2 - 393/(-30) - 30/300. Which is smaller: 8 or p?
8
Let g(n) = n - 8. Let s be g(14). Let i(r) = r - 2. Let u be i(s). Let c be 12/(-8) + -2 + 4. Which is greater: u or c?
u
Let p be (-4)/(-6) - (416/(-88) - -5). Is p <= 0?
False
Let h(n) = -n**2 - 7*n - 5. Let k be h(-4). Suppose 44*d = 45*d - 7. Is k <= d?
True
Let z(g) = g**3 - 8*g**2 + 8*g - 4. Let f(h) = -h**2 + 2*h + 3. Let y be f(5). Let d = -5 - y. Let a be z(d). Which is smaller: 2 or a?
2
Let h be 1/4 + 122/(-8). Let k = 11 + h. Let s(g) = 19*g**3 - 57*g**2 + g - 6. Let r be s(3). Is r < k?
False
Let z = 1 + -3. Let l be (6/8)/((-324)/24 - -12). Is z equal to l?
False
Let l(r) = r**2 - 8*r + 8. Let v = -21 + 28. Let k be l(v). Are 4 and k equal?
False
Let p be 526/(-5)*80/(-128). Is 65 at most p?
True
Suppose -2*c - 3 = -3*c + 4*a, -3*c = 2*a - 51. Let z be (532/8)/(c/6). Let x = -27 + z. Does x = 0?
False
Suppose -2*j - 60 = 3*j. Suppose 5*z = -a + 2*z - 8, -88 = 4*a - 2*z. Let o = -33 - a. Is o at least j?
False
Suppose -3*c - 10 = 8. Let l be ((-8)/c)/((-12)/(-18)). Let t be (l/(-6))/(3/(-9)). Is t less than -1/9?
False
Let z be (-84)/(-198)*(-9)/(6/2). Which is smaller: -2 or z?
-2
Let l = -2 + 9. Let t be (-1 - 0)/(3 - -6). Let u = 7/9 + t. Which is bigger: l or u?
l
Let s = 7111 + -35551/5. Let c = 0.4 - 0.2. Are s and c equal?
False
Suppose 2*r - 3204 = 20*r. Which is greater: r or -176?
-176
Let g = -0.8968 + 0.6968. Let k be 4/14 - 26/(-7). Suppose -k*w = -5*f + 17 + 5, -4*f + 4*w + 20 = 0. Is g greater than f?
False
Let q(b) = b**2 + 3*b - 28. Let c be q(5). Let o be -6*c/45*(-10)/26. Which is bigger: o or 1?
1
Suppose -b + 12 = -2*y, 2*b + 5*y + 23 = b. Suppose 0 = -b*j - 3*j - 20. Let a be j - (-20)/12 - -3. Is -2 less than or equal to a?
True
Let x = 17 + -19. Let d be (-1)/x*-2*-31. Let j = d + -11. Which is bigger: j or 19?
j
Let k = -0.2903 + 0.7903. Which is greater: k or -1/39?
k
Let c be 1 + 36/(-28) - (-92)/(-168). Let l = -14 - -12. Which is smaller: c or l?
l
Let u be (16 + -1)*(-82)/(-36). Which is smaller: 33 or u?
33
Let z(l) = -14*l + 4 - 7*l**2 + 4*l**2 + l**2 + 5. Let o be z(-7). Is 2/7 > o?
False
Let l(j) = j**3 + 2*j**2 + 135. Let d be l(0). Let s = 135 - d. Does s = -6/101?
False
Let v = 3 + -3. Let k = -793/4 - -199. Is k at most as big as v?
False
Let f be (-8)/64*-4*(-1732)/18. Let c = f - -149/3. Are -1 and c non-equal?
True
Suppose -35 = 6*c - 23. Which is smaller: -4 or c?
-4
Let l = 1.67 - 0.17. Let i = -3.5 - l. Suppose -2*x - 8 = -6*x. Which is bigger: i or x?
x
Let k = 774/11 - 27134/385. Is 1 bigger than k?
True
Let f = 1/308 - 2/11. Is 1 equal to f?
False
Let h = 310.9 - 311. Which is greater: h or -13.5?
h
Suppose 0 = -8*g - 325 + 1069. Which is smaller: g or 95?
g
Let i(x) = -x**3 - x**2 - 2*x - 2. Let n be i(-4). Let l be (-2)/(-4) + n/(-36). Which is smaller: -2/67 or l?
l
Let o(b) = 2*b**3 + 9*b**2 - 2. Let t(s) = s**3 + 10*s**2 - 1. Let g(x) = -2*o(x) + 3*t(x). Let h be g(12). Which is smaller: 1/2 or h?
1/2
Suppose 4*g = 2*o + 2*g - 36, -5*g - 58 = -3*o. Suppose -6*c + 2 + o = 0. Are c and 22/5 unequal?
True
Let o = 18.088 - 0.088. Let x = -18.4 + o. Are x and 5/2 non-equal?
True
Let u(n) = -n**3 + 3*n**2 + 5*n + 1. Let l be u(4). Let r = 81 - 81. Suppose r = -8*j - 7 + 31. Is j bigger than l?
False
Let b = 684 - 726.96. Let i = b - -45. Let o = -0.24 + i. Which is greater: -1 or o?
o
Let g be (9*3/(-2241))/(20 - 0). Is g smaller than -1?
False
Suppose 307*o + 132 = 309*o. Is o smaller than 67?
True
Let g = -1.139 + 1.639. Is g <= -180?
False
Let l(h) = 6*h + 44. Let s(x) = 2*x + 15. Let m be 184/(-32) + 1/(-4). Let y(t) = m*l(t) + 17*s(t). Let o be y(-8). Is 6 greater than o?
False
Let m = 20.9356 - -0.0644. Is m <= 13?
False
Let p(y) = y**2 + 4*y - 1. Let q be p(-3). Let c(i) = i**2 - i - 4. Let v be c(3). Suppose -v = k + 2. Is q at least k?
True
Let f(u) = 4*u**2 + 80*u + 2. Let y be f(-20). Is 112 equal to y?
False
Let d be ((-36)/(-30))/(1/5). Let u = 5 - d. Let h = -5/98 - -167/392. Which is greater: h or u?
h
Suppose 15*b - 20*b = -5. Is 2/137 >= b?
False
Let s be 1/(-5) - 31/(-5). Let i be (2/s)/(5/225). Let k = -11 + i. Is 4 at most as big as k?
True
Suppose 9*w = 4*w. Suppose -6*j - 1 - 197 = w. Does -32 = j?
False
Suppose -33 = -3*s - 4*p, 2*s = -p + 3*p + 8. Which is smaller: s or 80/11?
s
Suppose 5*h - 2*c - 21 = 0, 4*h - h - 5*c - 5 = 0. Suppose k = -4*l - 6 - 1, 5*l + 15 = h*k. Let g = -1 - -2. Is g smaller than k?
False
Suppose -44*o - 5*l + 1216 = -45*o, -20 = -4*l. Which is greater: -1192 or o?
o
Suppose 5*b + 1563 = 1568. Is b <= -30?
False
Let t(u) = -2*u**3 - 2*u**2 + u**3 + 3*u - 7*u**2 + 12 + 0*u. Let r be t(-9). Suppose j + 80 = -4*j. Which is smaller: r or j?
j
Let p(y) = y + 3. Let k be p(0). Let i = 0 + k. Let t be i + 29/(-7) + 1. Which is greater: t or 1?
1
Let u be (-38)/(-228)*2*1/(-297). Does u = 0?
False
Let j(p) be the second derivative of p**5/20 - 7*p**4/12 + 3*p**3/2 + 5*p**2/2 - 13*p. Let m be j(5). Which is greater: m or -4/15?
m