105*6/(-8). Let m(p) = -p**3 + 7*p**2 - 5*p - 6. Let j be m(6). Which is smaller: r or j?
j
Suppose -4*b + 14 = -2*r, 0*b - 12 = -3*r - 5*b. Is r less than or equal to -2/25?
True
Let d = 127 + -839/7. Let l = d + -936/133. Is l less than -1?
False
Let x be 3*((-1)/(-3) + 0). Let t = x + 2. Suppose 0 = -2*d - 0 + 4. Which is greater: t or d?
t
Suppose 0*d - d = -101. Let l = d - 911/9. Let r = -14 - -13. Is r smaller than l?
True
Let m(x) = -x - 5. Let w be m(-5). Suppose w = -0*g + 5*g + 20. Let v be 1/g + 22/56. Is v less than or equal to 0?
False
Let r = 127/165 - -1/33. Let k be -8 + 5/(15/9). Let b be 3/1 - (k - -6). Which is smaller: b or r?
r
Let g(i) = i**2 + 5*i + 9. Let f(u) = -u**3 - 4*u**2 + 7*u + 4. Let s be f(-5). Let w be g(s). Suppose 3*x + 2*x = -w. Is x <= -3?
True
Let a be -2 + 0 + 3 - -4. Let z(j) = -j**3 + 6*j**2 - 5*j + 2. Let r be z(a). Suppose 5*d - 4*u + 6 - 26 = 0, 2*d + 5 = -u. Are d and r equal?
False
Let z be (-2)/2 - 55/5. Let c be (-3)/z - (-66)/(-8). Which is greater: -1 or c?
-1
Let b(w) = w**2 - w. Let t be b(0). Suppose -1 + t = m, -3*v + m = -7. Suppose -v*i = -i. Which is greater: -3/8 or i?
i
Let u be 8/6 - (-4)/6. Let s be (-4)/u + 1 + -21. Let i be s/(-20) - (-3)/(-6). Which is smaller: 2 or i?
i
Suppose 16*x - 22 = 5*x. Is x < -4?
False
Let u(r) = -r + 6. Let w(m) = 2*m - 12. Let v(y) = -11*u(y) - 6*w(y). Let o be v(7). Let d be -1 - (-2 + (-3)/o). Which is smaller: d or 0.1?
d
Let y be ((-3)/6*(1 + -1))/(-1). Is y != 0?
False
Let i = 47 + -61. Which is smaller: i or -12?
i
Let y = 179/12 + -16. Let a = y + 235/228. Is a less than 1?
True
Let c = -552533/56 + 9867. Let r be (-8)/4 - (-22)/16. Let f = r + c. Are -3 and f equal?
False
Let d = 22 + -40. Let w be 4/18 - (-4)/d. Is 2/23 at least as big as w?
True
Let k = -116 + 119. Which is greater: k or 9?
9
Let q = 22 - 21. Which is smaller: 2.3 or q?
q
Let c(r) = -5*r + 12. Let k(t) = t - 1. Let n(s) = -c(s) - 6*k(s). Let q(h) = 7*h**3 - h - 1. Let l be q(-1). Let f be n(l). Which is smaller: 2 or f?
f
Let y be (-92)/6 - 2/3. Is y equal to -15?
False
Suppose -4*i - 1 - 15 = 0. Suppose 0*t + 3*d = 4*t - 46, 5*t - 4*d - 58 = 0. Let a = 5 - t. Is i bigger than a?
True
Let i = -2 + 5. Let q(a) = a**3 - 4*a**2 + 5*a - 2. Let k be q(i). Suppose -k*l - 5 = l. Is l greater than or equal to 0?
False
Let w = 125 + -873/7. Suppose 0 = -0*o + 3*o - 36. Suppose -3 = 5*n + 2*t, 0 = 5*n - 4*t - 3 + o. Is w less than n?
False
Let m be (-12)/(-4) + 548/182*-1. Which is smaller: -1 or m?
-1
Suppose -18*n + 21*n = 0. Let v = -9/44 - -295/1012. Is v at most as big as n?
False
Let g = -74.8 - -75. Is 1 <= g?
False
Let s = -7443/31 + 240. Which is smaller: s or 0?
s
Let d = 21 + -19. Let k = 0.2 - 0. Let s = -1.2 + k. Which is smaller: d or s?
s
Let s(i) = i**3 + 4*i**2 + i - 1. Let h be s(-4). Let r be (-18)/(-8) + h + 2. Which is bigger: 0 or r?
0
Let k = -23764/51 - -466. Which is bigger: 1 or k?
1
Let u be (-3)/(-2)*(-2)/3. Let t = 1220/7 - 174. Which is bigger: t or u?
t
Let g be -3 + -1 - 69/(-18). Which is bigger: g or 0?
0
Let u be 2/(-6) - (-15)/72. Suppose 0 = 3*r + 5*f + 13, 0*r - 3*f = 5*r + 11. Which is bigger: r or u?
u
Suppose -3*f = -34 + 16. Which is smaller: f or 4?
4
Let j = -15 + 10. Is j != -8?
True
Suppose -4*x - 1 = -5*r + 27, -3*x + 14 = 5*r. Suppose -2*i = 3 - 7. Let t = i + 3. Which is bigger: r or t?
t
Let v(y) = -y**3 + 5*y**2 - 5*y + 5. Let u be v(4). Let f be -1 + 81/20 + 102/(-34). Which is smaller: u or f?
f
Let g(o) = o + 5. Let m(n) = -n**2 - 4. Let i be m(0). Let p be g(i). Let a be (3/(-6))/(2/(-8)). Do a and p have different values?
True
Suppose -5*a - 2*o = -11, 0*a - 3*o = -a - 8. Let q be a + 1/((-1)/(-3)). Suppose f - 7 = -2*s, -17 = -q*s - 2*f - f. Is s less than or equal to 4/5?
False
Let p = 7 + -11. Do 2/7 and p have the same value?
False
Suppose 5*m + 15 - 40 = 0, -5*j = 5*m - 165. Let v = 57/2 - j. Are v and 1 equal?
False
Let a = 3 - 1. Let t = a + -2.2. Let u = t - -0.3. Is u != -0.1?
True
Let f be 1/1 + -3 - -7. Let t be (-1)/f + (-12)/(-110). Which is smaller: t or 0?
t
Let r = 43/95 + -1/19. Let f = -4 - -6. Suppose -c = f - 1. Which is smaller: r or c?
c
Let j = 26 - 16. Let t = 8 - j. Is -3 bigger than t?
False
Let h = 1570/6153 + -5/293. Does 1 = h?
False
Let s(z) = 2*z - 27. Let p be s(11). Is 0 < p?
False
Let o(c) = c**2 + 7*c + 4. Suppose -3*i = -5*i - 6. Let d be o(i). Is d less than -9?
False
Let n(p) = -5*p**2 - 4*p - 14. Let o(y) = -9*y**2 - 8*y - 27. Let i(j) = -11*n(j) + 6*o(j). Let v be i(6). Suppose 3*k - 5*k = v. Are k and -2/3 equal?
False
Let r = -15 + 14. Is r greater than or equal to -2/19?
False
Let d(g) = -2*g**2 + 3*g + 6 - 2*g - 9 + g - g**3. Let w be d(-3). Which is greater: 1/3 or w?
1/3
Let j = 8/11 - 27/22. Suppose 2*a - 8 = 0, -3*i - 2*i + 97 = -2*a. Let b be (-6)/i + 4/14. Is b not equal to j?
True
Suppose 5*l - 43 = 17. Let o = l - 6. Suppose 4*y - y = 3*u + 18, 5*y + u - o = 0. Which is bigger: 1/2 or y?
y
Suppose -5*t = -4*t. Let u be (t - 3/6)*-6. Suppose 3 + 3 = u*i + 3*z, -2*i = -3*z + 11. Is -1 != i?
False
Let t = 6 + -7. Let b be (-24)/4*t/11. Are b and 0 unequal?
True
Let q be ((-32)/20)/((-4)/10). Suppose 8 - q = -4*w. Which is bigger: -1/7 or w?
-1/7
Let p be (1/(-2))/((-3)/12). Suppose 2*m = j - 1, m + 5*j - 14 = p. Suppose -2*a - 2*s = 0, 2*s = -0*a - a - 1. Is m equal to a?
True
Suppose 13 = 5*c - 4*r, -3*c = r + 6 - 7. Let j = 2 - 1.93. Which is smaller: j or c?
j
Let j be (416/(-84) - -5)*39. Which is greater: j or 3?
3
Suppose 0*j = 4*j - 2*b - 102, 4*j - 5*b - 99 = 0. Let k be ((-4)/(-48))/(j/(-6556)). Let c = 127/6 + k. Which is smaller: c or -1?
-1
Let h(b) = b**3 + 19*b**2 - 21*b - 41. Let x be h(-20). Is -19 at least x?
True
Let a be ((-3)/(-18))/((-11)/4). Let x be -3 - 8*(0 + -1). Suppose 0 = -x*t + w - 2*w - 4, 3*t + 4*w + 16 = 0. Are a and t equal?
False
Let y = -0.3 + 1.3. Let g = 20906/19 + -1100. Let z = g - 43/76. Is y > z?
True
Let l be (-2)/4 + (-15)/6. Let g(b) = b**2 - 3. Let w be g(l). Let v be ((-2)/w)/((-5)/(-15)). Do 1 and v have the same value?
False
Let k = -176/1725 + -4/69. Let x = -141/223 - -2101/16725. Let n = x + k. Which is smaller: n or 0?
n
Let q = -9 - -53/6. Let p = -1 - -1. Let g = 1 - p. Are q and g unequal?
True
Let h(v) = -2*v**3 + v**2 + 5. Let y be h(3). Is y <= -40?
True
Suppose -4*q + 26 = 5*x, 0 = x - 2*q + 6*q - 18. Suppose x*u + 17 + 9 = 0. Is -13 at least u?
True
Suppose -2*p - 81 = 3*z, 3*z + 225 = p - 6*p. Which is greater: p or 0.2?
0.2
Let c = -3256 + 755391/232. Let j = c - -475/2552. Let a(g) = -g**2 - 4*g. Let b be a(-4). Which is smaller: j or b?
b
Let f = 0.5 - 1.5. Suppose 2*t + 1 = l + 5*t, 0 = -5*t. Do f and l have the same value?
False
Let w = -6/11 - -52/55. Let n(s) = -s**3 - 7*s**2 - 7*s - 5. Let x be n(-6). Let v = -2 + x. Is v >= w?
False
Suppose x + 0*d + 5 = 3*d, -2*x - d = 10. Suppose 3*f - 3 = 3*n, 4*n + 3 = 9*f - 4*f. Is n != x?
True
Let m = 4 + 12. Suppose 4*a + 86 - 18 = 5*o, -4*o - 5*a = -79. Is m <= o?
True
Let b be (-8)/(-28) - (-72)/42. Is b not equal to 26/15?
True
Let h(q) = q. Let o be h(-1). Let z be (1 + 0)/(o - 0). Is z less than 12?
True
Suppose 0 = 2*q - q + 6. Let s be (-387)/(-135) + q/2. Is s < 1?
True
Let i(o) = -o - 3. Let a be i(0). Let h = -26 - -25. Let v be (6 - 3)*h/a. Are 1 and v non-equal?
False
Let d(l) = -l**3 - l**2 - l. Let g be d(-1). Let c be (-2 + 2 - g)*1. Which is smaller: c or -1/3?
c
Let h(o) = -2 - 4*o**2 + 3*o**2 + 2*o**2. Let g be h(2). Let j be (-2)/6 - (-1)/3. Which is smaller: g or j?
j
Let a = -15 - 5. Let o be (-5)/a - 14/(-8). Is 4 at least as big as o?
True
Let m = 0.25 - 1.25. Let q(x) = 6*x**2 + 3*x - 1. Let u be q(3). Let v = 247/4 - u. Which is bigger: m or v?
v
Let b be 6/(-8)*(2 + -6). Suppose -h - 2*h = b. Do h and -1/4 have different values?
True
Suppose 5*p + 51 = 16. Suppose a = 3 - 11. Which is smaller: a or p?
a
Let u = -5.48 - -4.4. Let c = -0.08 - u. Let t = -0.01 - -4.01. Is c bigger than t?
False
Suppose 3*y - 8 = 2*y. Let l = 11 - y. Suppose g + 2 = 2*b + 2*b, l*g - 6 = 0. Is 0 greater than b?
False
Let z = -77 - -110. Let o = z - -15. Let k be o/(-27) - 2/9. Is -1 < k?
False
Let b(r) = r**2 + 7*r - 10. Let k(x) = 3*x**2 + 22*x - 30. Let n(g) =