*o**3 - 9*o**2 - o + 4. Let u be s(-7). Let t be 2/5 + u/(-120). Let y = t - 129. Is 2 > y?
True
Suppose -3*z - 5*t = -24, -3*t + 5 = 2*z - 10. Suppose -v - 10 = 3*n, -5*n + z*v + 0 + 2 = 0. Is -2 not equal to n?
False
Let g = -0.839 - 0.161. Is -69 greater than g?
False
Suppose 0*r + 3*r = 5*b, -b + 3*r = -12. Let d = 6 + b. Suppose -9 = -3*u + d*t, -4*u + t = -t - 10. Is 1 at most u?
True
Let t(b) = -b**3 + 2*b**2 + 3*b. Let c be t(3). Let r = 4354/17 + -256. Which is smaller: r or c?
c
Suppose -t = t. Is t < 1?
True
Suppose 2*r + 6 = -r, 0 = -4*t - r + 6. Suppose p = 3*b + 36, -p + 48 = t*b - 6*b. Is -13 greater than b?
False
Suppose 48 = 3*t + 2*p - 68, 22 = t + 4*p. Let s = 127/3 - t. Which is smaller: s or -1?
-1
Let p = 57.9 + -58. Which is greater: p or -0.2?
p
Let v = -84 - -100. Which is greater: 15 or v?
v
Let y be 15/16*6/195. Let g be 1 - ((-3910)/(-1456) + -2). Let d = g - y. Are -1 and d equal?
False
Let x = -0.16 + 0.07. Are -1/2 and x equal?
False
Let w be -28 - (20/(-25))/((-4)/(-10)). Is w smaller than -26?
False
Let c = -48 - -46.05. Let q = -0.05 + c. Is 0.2 equal to q?
False
Let w = 18 + -17. Let z be ((-6)/9)/(1/(-3)). Suppose f - 4*j = 5 - 3, f + z*j - 2 = 0. Is f smaller than w?
False
Let t be -1 + (1647/(-186))/(-9). Is 0 > t?
True
Suppose 17*s + 136 = -0*s. Is -8 < s?
False
Let x(s) = -s**3 - 7*s**2 + 8. Let l be x(-7). Let r = l + -4. Is 3 greater than r?
False
Let f = 0.09 + -8.09. Does f = -2/3?
False
Let z = 11 - 10.97. Let a = z + 0. Is a less than 0.1?
True
Suppose 2*w + 2*w - 228 = 0. Suppose 0 = -5*i + w + 193. Let c be (2/i)/((-4)/10). Are 1 and c non-equal?
True
Let v = 201/11 - 11479/627. Let r(m) = m**3 + 6*m**2 - m - 5. Let t be r(-6). Is v at least t?
False
Let n = -79/115 - -2/23. Let m = 4 - 4. Which is greater: m or n?
m
Suppose -33 = -4*z + 3*p, 3*z - 5*p - 26 = -3*p. Let k = 16 - z. Which is smaller: k or 5?
k
Let b = -25 - -33. Which is smaller: -3 or b?
-3
Let x = -0.1 + 0.1. Suppose 3*w + 4 = -w + 4*a, 5*a - 9 = w. Which is smaller: x or w?
x
Let p = -19 + 115/6. Let z = -5 - 1. Let l = -6 - z. Which is greater: p or l?
p
Let h = -6 + 13/2. Suppose 3*k = -8*k + 11. Do k and h have different values?
True
Let b(k) = -2*k**3 + 2*k**2 + 3*k + 2. Let o be b(-2). Suppose -6*m - o = -11*m. Which is smaller: 2 or m?
2
Let n = 2 + 2. Suppose -n*g = 1 + 7. Let i be (-5)/g - (4 + -2). Which is smaller: i or 1?
i
Let m = -14 - -9. Let u be 1 + 0 + (2 - 3). Which is smaller: u or m?
m
Let z(m) = -m + 21. Let x be z(8). Which is smaller: x or 9?
9
Let g(v) = v**2 - 10*v + 5. Let f be g(10). Suppose 6*d + 2 = 4*d + f*l, 0 = d + 4*l + 1. Which is smaller: -3/7 or d?
d
Let v = 8 - 6. Let f be (-1)/v*8/(-82). Let y = f + -88/123. Which is smaller: -2/5 or y?
y
Let t = -2.4 + 3. Let m = 23 + -25.6. Let u = t + m. Which is smaller: 0.1 or u?
u
Let c be 0 + 30 - (-1 + 1). Suppose -5 = n, 3*n + 2*n = 5*w - c. Let b = -10/11 - -8/11. Which is smaller: w or b?
b
Let m = 14.15 + -14. Let j = m - 1.05. Is -0.1 < j?
False
Let o be (-8)/9*39/(-4). Let z be (-2)/(-8) + 962/120. Let m = z - o. Which is smaller: 1/6 or m?
m
Suppose t + 6 = 4*t. Suppose z - 16 = -3*z. Suppose z = -t*o + o. Is -2 greater than or equal to o?
True
Let o be (-2)/(-1)*4/(-8). Let i be 2/(-9) + (-25)/(-180). Which is smaller: i or o?
o
Let f be (-1 + (-10)/(-4))*-2. Let a be (-1)/2*f/(-3). Let k = 2 - 3. Which is greater: k or a?
a
Let j(c) = c + 4. Let n be j(-3). Let s(r) = 9*r**2 + 2*r - 1. Let u be s(n). Let d(a) = a**2 - 9*a - 11. Let i be d(u). Which is smaller: -4/5 or i?
i
Suppose 0 = -2*z - 2*z. Let k = -40240/41 + 6139828/6273. Let y = 42/17 + k. Which is greater: y or z?
z
Let d = -0.1 + 0. Let t = -26 - -55/2. Which is greater: d or t?
t
Let i = 49/19 - 3/38. Is -0.1 at most i?
True
Let l be (((-3)/(-10))/3)/(-1). Let y(w) = w**3 + w**2 + w + 1. Let s be y(-1). Is s at most l?
False
Suppose 0 = l + 6 + 1. Let w be 2 + (-4)/((-16)/l). Is -0.7 greater than w?
False
Suppose -4*f = -k + 1, -4*k + 8*k = 2*f + 4. Let x(w) = w**3 + 4*w**2 + 2*w - 2. Let v be x(-2). Let y be ((-1)/(-6))/(v/20). Is k greater than or equal to y?
False
Let t(r) = -r**3 - 7*r**2 + 7*r - 8. Let i be t(-8). Suppose 2*p - 7*p = i. Do 2 and p have the same value?
False
Suppose 0*i + 9 = 3*i. Suppose -g = 4*q - 2 - i, -4*q - 1 = 3*g. Suppose 1 = 2*k - z, 5 = 5*k - z + 1. Is k > q?
False
Suppose -z - 28 = z. Let a be 4/z - (-4)/14. Let c be (-1 - (-1)/3)/4. Which is bigger: c or a?
a
Let x be (-57)/(-19)*(-2)/6. Are -1/28 and x unequal?
True
Let b be (-1)/6 - (-10)/52. Which is bigger: 0 or b?
b
Suppose 3*c - k + 6 = 0, 6*k - 3*k + 21 = -4*c. Let f(y) = y + 3. Let b be f(c). Which is bigger: 1/6 or b?
1/6
Let v(c) = c - 2. Let k be v(1). Let h = -202/5 + 40. Which is smaller: h or k?
k
Let r(g) = g**3 - 19*g**2 - 20*g + 14. Let x be r(20). Is x greater than 15?
False
Suppose -11 = -4*r + 9. Suppose -q + 5*p = 13 - 39, 0 = -3*q - r*p - 22. Is q at most -1?
False
Let a(n) = -n**2 - 6*n + 1. Let h be a(-6). Let v = h + -7. Let x be 1/2*(-12)/v. Is x greater than or equal to -2?
True
Let l(h) = -h**3 - 8*h**2 - 14*h - 11. Let i be l(-6). Let g = 2890/19 + -152. Are i and g equal?
False
Suppose -s + 1 = k, 21 = 5*s - 0*k - 3*k. Let d be (s/57)/((-1)/3). Is d less than -1?
False
Let q(r) be the first derivative of -r**4/4 - 5*r**3/3 - 5*r**2/2 - 2*r - 1. Let a be q(-4). Let u be ((-15)/10)/((-1)/a). Is 3 < u?
False
Let c be 105/(-39) - (-1 - (-2 + 3)). Which is greater: c or -1?
c
Let i(w) = w**2 - 4*w + 2. Let z be i(3). Let p(v) = v + 3. Let o be p(-3). Which is smaller: z or o?
z
Let z = -19/22 + 15/11. Let s = 0.1 - 0.1. Do s and z have different values?
True
Let c = -63 - -39. Is -21 at most as big as c?
False
Let d = 34 + -1. Suppose 2*v - 17 - 7 = -3*b, 0 = -3*b - 5*v + d. Which is smaller: 4 or b?
4
Suppose 3*a - 5*l = -11, -2*a - 4*l = -3*l - 10. Suppose 6*o - 4*o = 2. Which is greater: o or a?
a
Let l = 513/17578 - -5/374. Suppose w = -0*w - 1. Which is smaller: l or w?
w
Let v = 1/23 + -53/161. Suppose 2 = 2*s + 4. Is v <= s?
False
Let d = 22 + -177. Let n be (-11495)/(-75) + 4/10. Let b = d + n. Is b < 0?
True
Let v(a) = a**3 + 15*a**2 - 2*a - 19. Let g be v(-15). Which is smaller: 13 or g?
g
Let k be (6/(-15))/(18/(-10)). Let u be (-12)/(-5) - (-18)/30. Suppose -u*t + 2 = -t. Is t > k?
True
Let w(z) = -5 + 4 - z - 2. Let n be w(0). Which is bigger: n or -8/3?
-8/3
Let j(s) = s**3 + 7*s + 4*s**2 + 7 + 3*s**2 + 0*s**3. Let y be j(-6). Suppose 0*r = -f + 3*r + 12, -5*f = -5*r - 20. Which is smaller: y or f?
f
Let x be 0/(-1 + (-3)/3). Is 1 != x?
True
Suppose -2*k + 6*k - 104 = 0. Is k != 26?
False
Let j be (-10)/(-2) + (-1 - 0). Suppose -j*i = 16, 0*d + d - i = 6. Does d = 1?
False
Suppose 3*u = 1 + 8. Let l be (0 + 1 + -1)*-1. Let a = u - l. Is a less than or equal to 2?
False
Let o(b) = b**2 + 3*b - 7. Let s be o(-5). Suppose -s*g = -0*g - 6. Suppose -a = g*a - 3. Are 1 and a unequal?
False
Let n = -13.67 + -0.33. Let m = 3 + n. Which is greater: m or 1/2?
1/2
Let l = 15 - 16. Are l and 0.09 equal?
False
Let l(w) be the second derivative of w**3/6 - 3*w**2 + w. Let g be l(6). Is 2 at most as big as g?
False
Let r be 14/(-8) + (-1)/4. Suppose -x + 3 = -n - 2*x, -12 = 4*x. Let y = -2 + n. Is r < y?
False
Suppose -i - 3*v + 8 = 0, -4*v + 1 = -7. Let n be i/(((-8)/(-114))/(-4)). Let y be 50/n + (-2)/(-6). Which is smaller: y or -1?
-1
Let b = 139/72 - 14/9. Are b and -1 nonequal?
True
Let v = 71 + -87.9. Let n = -17 - v. Which is smaller: n or -2/7?
-2/7
Let r be -3 - ((4 + -2)/(-2) + 1). Which is smaller: -11 or r?
-11
Let r = -150.5 + 145. Which is smaller: r or 1?
r
Let b(v) = 3*v**2 + 54*v - 16. Let l be b(-17). Is l smaller than -68?
False
Let n = -5.1 - 2.9. Let b = n + 6. Which is smaller: 4 or b?
b
Suppose -2 = -3*c + 2*c. Is c greater than 1?
True
Let k = 0 - -1. Let d = 1.3 + -1. Let y = 0.2 - d. Is k equal to y?
False
Suppose 3*p - 1 = 2. Let n = 1 + p. Which is bigger: 3/2 or n?
n
Let c = -5 - -5.05. Let o = -3.95 - c. Which is greater: -0.1 or o?
-0.1
Let q = -2 - -8/5. Is 0.6 greater than or equal to q?
True
Suppose j - 313 = 5*q, 0 = -j + 1 - 3. Let p be 60/q - 6/(-21). Are 2/5 and p equal?
False
Let s be 1 - 1 - (-4 + 7 + -4). Is s not equal to 22?
