Let u(v) = -6*v**2 - 14*v - 28. Let b(c) = 5*c**2 + 14*c + 27. Let s(j) = -5*b(j) - 4*u(j). Let g be s(-12). Is g >= 2/9?
True
Let n(y) = -y**3 - 7*y**2 + 2*y + 6. Let p be n(-7). Suppose -2*d + 4*d = 24. Let j = -58/3 + d. Which is bigger: j or p?
j
Suppose -9 = -l + 4*l. Suppose y + 4*a + 4 = -y, 0 = 4*y - 4*a + 8. Do l and y have the same value?
False
Let h = 41 + -49.9. Let b = -8.77 + -0.23. Let f = h - b. Is f at most -0.06?
False
Let g = -5/34 - -331/2482. Which is bigger: 0 or g?
0
Let f(o) be the third derivative of -o**5/60 - o**4/8 + 3*o**2. Let s be f(-2). Let h be -1 - -5 - s - 3. Which is bigger: h or -1/10?
-1/10
Let m be -5*(-2)/4*2. Which is greater: m or 15?
15
Suppose -13*m - 61 - 108 = 0. Which is bigger: 2 or m?
2
Let t(b) = -b**3 + 9*b**2 + b - 10. Let s be t(9). Let l = -0.016 - 0.294. Let d = l - -0.22. Which is bigger: s or d?
d
Let k(p) = -13*p + 42. Let c be k(6). Which is smaller: c or -37?
-37
Let h = 1.61 + -1.6. Let a = 9.01 - h. Let c = 12 - a. Is c != 1?
True
Suppose 4*x + 58 = 18. Let w = 7 - -1. Suppose 11*b - w*b = -33. Which is smaller: x or b?
b
Suppose 12 = 7*b - 10*b. Let t be (1/(-13))/(26/6 + b). Which is greater: t or 1?
1
Let x = -42 + 24. Let u(i) = 2*i**2 + 53*i + 39. Let v(a) = a**2 + 26*a + 19. Let w(p) = 2*u(p) - 5*v(p). Let f be w(-24). Which is smaller: f or x?
x
Let u be ((-12)/14)/((-8)/336). Let b be 98/(-152) + 27/u. Which is greater: b or 0?
b
Let y = -220.6 - -214.6. Let x = -0.1 + 0.2. Let m = x - 0.2. Is m != y?
True
Suppose 0 = -2*y + 4*k + 176, 6*k - 2*k - 160 = -2*y. Let u = -88 + y. Is -6 > u?
False
Suppose 11*d = 6*d + 5. Let g = -10744733/2874300 + 7/261300. Let r = g - -42/11. Are d and r equal?
False
Let q = -3/35 + -5/7. Let s = -0.23 + 0.26. Is s at least q?
True
Let z be (12 - 2)/((0 - 2) + 1). Let l be 2/4 - 2/4. Suppose l = -5*q - 0 - 5. Is q > z?
True
Let b be 25/(-3 + 2 - 0). Suppose 35*y - 43*y = 208. Which is bigger: b or y?
b
Let c(s) = s**2 + 5*s. Let o be -3 + 3 + -1 + 14. Let q = o + -18. Let z be c(q). Is z < 1?
True
Let a = -27 + 17. Let l = 99 + -110.9. Let j = l - a. Is j less than -0.1?
True
Let x be (-1)/(-6) + (-11)/(-30). Let a = -34 + 39. Suppose a*m - 8 = m. Which is greater: m or x?
m
Suppose 0 = -w + 6*w + 3*v - 218, -170 = -4*w + 2*v. Let n = w - 44. Which is bigger: n or 2/41?
2/41
Suppose -21*w - 128 = -4*t - 17*w, 5*w - 160 = -5*t. Is t != 223/7?
True
Suppose 4*a = 5*a - 6. Let z be 0/(-2 - (-3 + -1)). Suppose -u = -2*u - 4*r - 1, -5*r - 10 = z. Which is greater: a or u?
u
Let d = 121.9 - 145.3. Which is bigger: -0.2 or d?
-0.2
Let a = -9 - -9. Suppose -3*n + 9 + a = 0. Which is smaller: 2 or n?
2
Let j be 5*-4*(-57)/(-210). Suppose -4*c + 10 = -5*a, -11 = 14*a - 13*a + c. Which is smaller: j or a?
a
Let b = -255 + 235. Do -19 and b have the same value?
False
Let d = 1.71302 - -764.37698. Let h = d + -763. Let m = -0.09 + h. Are m and 1/3 nonequal?
True
Let p be (-3 + 2*25)*216/126. Which is smaller: p or 82?
p
Suppose 0 = 5*n + 25, -2*l + 3*n + 20 - 3 = 0. Let a be (18/72)/(2/8). Is l at least a?
True
Let z = 21722/35 + -621. Which is greater: z or -1?
z
Let i(r) = -3*r - 1. Let y be i(-2). Let m be 2/y*(-1 - -6). Let t = -61 + 63. Is t equal to m?
True
Suppose -3*n - n - n = 0. Suppose n = 3*l + 3 + 9. Let z be 0 - 2 - 2*1. Is l at most z?
True
Let i be (((-27)/12)/(-3))/((-8)/(-192)). Which is smaller: i or 20?
i
Let a be ((-75)/(-3)*-2)/(-2). Which is bigger: a or 2/29?
a
Let q = -61079/7 - -8749. Let l = 9181 - 64107/7. Let o = l - q. Which is smaller: -2 or o?
-2
Let j(d) = 237*d - 1. Let b(k) = 237*k - 1. Let o(w) = 4*b(w) - 3*j(w). Let i be o(-1). Let t = i + 2144/9. Which is smaller: t or 0.2?
0.2
Let l be -1 + 1/(-2) - (-15)/10. Suppose 3*s + 3*b = 2*b - 139, -4*b + 8 = l. Is s at most as big as -47?
True
Let u be 42/4*6/81*-18. Let c(f) = -2*f**3 + 7*f**2 + 8*f + 3. Let r(n) = 3*n**3 - 8*n**2 - 9*n - 2. Let w(x) = 4*c(x) + 3*r(x). Let k be w(-4). Is k < u?
False
Let r(w) = -w**3 + w**2 + 2. Let k(u) = u**3 + 15*u**2 + 15*u + 14. Let y be k(-14). Let m be r(y). Is m < -3?
False
Let c = -59.715 - 0.285. Is c bigger than -0.2?
False
Let l be ((-1)/(-2))/((-34)/7). Let z = -1/121 - 709/2057. Let r = l - z. Which is greater: -1 or r?
r
Let l be 0 - -1*0/2. Let q(i) = 4*i + 24. Let b(h) = 9*h + 39. Let x be b(-5). Let u be q(x). Is l > u?
False
Let w(z) = z**3 + 4*z**2 + 2*z. Let k be w(-3). Let c be -4 + (k/3 - -8). Suppose 11 + 13 = c*m + 3*p, p = -m + 6. Which is smaller: 9/5 or m?
9/5
Let i(t) = t**3 - 5*t**2 - 4*t + 5. Let s be i(5). Let r be (-2)/(-3) + 28/s. Let k = 434 + -436. Which is smaller: r or k?
k
Let l be (-84)/(-18) + -3 + (-89)/3. Let j be (0 + 13)*(l/7)/4. Which is smaller: -15 or j?
-15
Let p be (-25088)/(-39) - (-5)/15. Let w = -644 + p. Which is greater: -1 or w?
w
Let v = -5053/4 - -3845321/3044. Is 0 greater than or equal to v?
True
Let n = -416154/133 + 3129. Let o be (-1 - 1)*20/(-152). Let j = o + n. Which is bigger: j or 0?
j
Suppose 3*i - 809 - 2480 = -4*v, 2*v - 1648 = 2*i. Which is smaller: 821 or v?
821
Let q = 531/4 + -98. Let w = -35 + q. Suppose 0*i = 2*i + 3*m - 13, 5*m = i + 26. Do i and w have different values?
True
Let l(b) = -b**3 - 5*b**2 + 14*b + 47. Let t be l(-6). Which is smaller: t or -3/269?
t
Suppose 5*s + 8 = 2*y, 8 = 3*s + 3*y - 4. Are -3/217 and s nonequal?
True
Suppose -4*d - 1347 = 4*h - 187, 3*d - 282 = h. Does -288 = h?
True
Let z = 167 + -156. Is z < 12?
True
Let k = -173 + 111. Let p = 62.1 + k. Is p less than 0.009?
False
Let j(s) = 56*s + 924. Let n be j(-17). Let z(o) = -29*o**2 + o - 1. Let w be z(1). Which is bigger: n or w?
n
Let j = -59 + 32. Let c = j + 33. Which is smaller: 2 or c?
2
Let i be 0/(-2)*3/(-3). Let u be (7/(-42) - 77/(-414))/((-128)/(-192)). Which is smaller: u or i?
i
Let s = 4.31 + -4.01. Which is bigger: -0.012 or s?
s
Let g be 6/2 + 30/(-6). Let t be 0/g - (-88)/36. Which is smaller: 1 or t?
1
Let b(p) = -p**2 - 5*p - 2. Let j be b(-3). Let k = -36 - -38. Which is bigger: j or k?
j
Let f be (-3)/(-4) + (13 - (-828)/(-16)). Which is bigger: -39 or f?
f
Let q = 6.3 - 6.379. Let v = -16.421 + q. Let w = -15 - v. Which is greater: w or 0?
w
Let r(n) = -n**3 - 10*n**2 - 23*n - 14. Let v be r(-7). Suppose 0 = -3*m + 34 + 32. Which is smaller: v or m?
v
Suppose 0 = -3*j - 2*j + 20. Let k = j + 0. Let c be 6/8 + k/16. Do c and -2 have the same value?
False
Let o = 1/16 + -239/240. Which is smaller: -2 or o?
-2
Suppose 3*x = 9, -5*x - 13 + 40 = -3*c. Suppose a + 3*a + 20 = 2*p, -5*p = 3*a + 15. Suppose -2*m = -p*m + 8. Is m greater than or equal to c?
True
Let g be (-4)/(-40)*-8 - 311/(-20). Are 15 and g equal?
False
Let c = 3.2 + -0.2. Let p = -43399 + 43391. Which is bigger: p or c?
c
Suppose 50*p - 178 = 52*p. Is p >= -2?
False
Suppose -o + 5 = -0. Suppose 4*h = o*h - 3. Is -0.6 greater than h?
False
Let i = -14.3 + 15.2. Is 8 equal to i?
False
Let f = 807 + -1138. Let n = f + 14232/43. Does -1 = n?
False
Let s = 243.9 + -244. Is 1.3 <= s?
False
Suppose -u = 3*u - 12. Suppose 4*s - n = 147 - 10, u*s - 109 = 2*n. Which is smaller: 32 or s?
32
Let o = 215 + -214.8. Which is smaller: 124 or o?
o
Let n be (-2)/(-33) + 3588/15939. Let g be ((-5)/4)/(33/44). Is n < g?
False
Let s = -12.7 - -521.7. Which is greater: -2/3 or s?
s
Suppose -12*m + 117 + 15 = 0. Let f(z) = -z**2 - z. Let d(l) = -l**3 + 10*l**2 - l - 1. Let s(v) = -d(v) + f(v). Let t be s(m). Is 1 > t?
False
Let s be -20 + (-5 - -10) + -6. Is s at most as big as -25?
False
Let t = -46 - -48. Let b be (-24)/(-16)*t/27. Is b bigger than 1?
False
Let b be ((-1)/4*1)/(66/132). Is b less than -4.5?
False
Let b(m) = -34*m**2 + 9. Let c be b(0). Suppose 0*o - 5*o = -45. Are o and c nonequal?
False
Let w(q) = -2*q**2 + 79*q - 503. Let p be w(8). Let h be ((-3)/13)/((-36)/(-8)). Let y = h - -125/156. Which is smaller: p or y?
y
Let r be (-2 + 5/3)*0. Suppose r = -4*o + o - 108. Let j be (-171)/o + (-1)/(-4). Is -1 bigger than j?
False
Let n(t) = 34*t**2 + 3*t - 2. Let z be n(1). Suppose -2*x - 5*c = -z, 3*c + 21 = -x + 4*x. Which is bigger: x or 8?
x
Let r = -23 - -31. Let s = 61 - 39. Let g be (r/(-32))/(s/(-16)). Which is smaller: g or -0.1?
-0.1
Let k = 1803/13 + -139. Let p(m) = m**3 - 20*m**2 + 20*m - 25. Let u b