h?
False
Let d(h) = -h**3 - 7*h**2 + 2*h + 10. Let y be d(-7). Let i(m) = -m**3 - 5*m**2 - 5*m - 1. Let r be i(y). Suppose 4*q + 2 = 5*x + 10, -x - 6 = -r*q. Is 2 > q?
False
Let w(a) = a**3 + 4*a**2 - 4*a - 6. Let m be w(-6). Let q be (m/(-12))/((-2)/(-8)). Let x be (-3 + q/8)/(-3). Do -1 and x have different values?
True
Suppose -3*t - 5*d + 29 = 0, 0 = t - 4*t + 4*d - 7. Let c(f) = -2*f**2 - 14*f - 1. Let b be c(-7). Let o be t/(-4) + b/(-2). Do 0.2 and o have different values?
True
Let k(m) = -m**3 - 7*m**2 - 8*m - 6. Let y be k(-6). Suppose 0*o + 2*o = -x + 10, 2*o = 2*x + 22. Suppose -3*n + 9 = 0, 2*n + 12 = 5*h - o. Is y greater than h?
True
Suppose 4*t - 5*r = 15, 5*t - 4*t + r + 3 = 0. Let g = 2046 + -153448/75. Which is bigger: g or t?
g
Let w be ((-2)/(-6))/(5*2/(-54)). Is -1 at most as big as w?
False
Suppose -5*w - 4*g = -21, -5*w + 2*g + 9 = 3*g. Is w less than -2/19?
False
Let u = -11/21 + 8/21. Suppose -46 = t - 3*t. Suppose m - 5*l - t = 4*m, -13 = 5*m + 2*l. Which is smaller: m or u?
m
Let j be ((-9)/6)/(-1 + 3). Suppose 0*x + 18 = -9*x. Is x at most as big as j?
True
Let d(o) be the third derivative of -o**5/60 - o**4/12 + 7*o**3/6 - o**2. Let r be d(3). Is -8 equal to r?
True
Let l be 51/1 + 4 + -6. Let i(b) = 32*b + 1. Let c be i(-2). Let s be 2/(-7) - c/l. Are 3/8 and s nonequal?
True
Let k = 0.2 - 0.1. Let p(i) = -33*i**2 - 2*i - 3. Let a be p(-2). Let m = a + 653/5. Which is bigger: m or k?
k
Let v = 1/885 - 1377/295. Which is smaller: -6 or v?
-6
Let h be 18/4*1/42. Let i be -3 + ((-132)/14)/(-3). Let b = h + i. Is b smaller than 1?
True
Let x = 53 + -63. Is x greater than or equal to -0.2?
False
Suppose -4*v + 30 = -v. Suppose 5*g = -v - 0. Do g and -2 have different values?
False
Suppose -5*k + 4 = -16. Suppose -k*o = -0 + 16. Suppose f - 5*f - 16 = 0. Does f = o?
True
Suppose -6*r - 124 - 44 = 0. Which is bigger: -29 or r?
r
Let c = -68 - 20. Let w = 1231/14 + c. Let q = 9/28 + w. Which is bigger: -1 or q?
q
Let w = -2/29 - -33/58. Are w and 6 equal?
False
Suppose s - 1 = 2*s. Let h = s + 5. Is h bigger than 4?
False
Let s(w) be the second derivative of -w**5/20 - w**4/3 - w**3/6 - 3*w**2/2 + 4*w. Let t be (-4 + 0)/((-1)/(-1)). Let u be s(t). Which is bigger: 3 or u?
3
Let v be 44/8 + 3/6. Suppose f = -0*f - 2*u + v, -5*f + u = 14. Suppose 5 = -5*w - 2*x, 5*w - 5*x - 2 = -42. Which is bigger: w or f?
f
Let i be 2/(5/2 + -2). Let o be 1/i - 60/112. Is o > -0.4?
True
Let r be -7 + 5 - (-2 - 0). Suppose 2*u + u + 24 = r. Suppose -4*k - 4*h - 32 = -2*h, -8 = 4*h. Which is smaller: u or k?
u
Let t(r) = r - 5. Let b be t(-6). Which is smaller: -8 or b?
b
Let b(u) = u**2 + 19*u + 72. Let t be b(-21). Which is smaller: t or 113?
113
Let c(z) = -z**3 - 5*z**2 - 5*z - 1. Let q be c(-4). Let n be 1*(7 - q)/(-2). Let i(j) = j**3 - 5*j**2 + j - 6. Let v be i(5). Which is smaller: n or v?
n
Let t(w) = 2*w - 4. Let i be t(-8). Let f be (6/i)/((-8)/10). Do 0 and f have different values?
True
Let m(d) = -d**2 + 5*d - 1. Let o be m(4). Let p be -1 + (-444)/(-15) + o. Let z = p + -32. Which is smaller: 1 or z?
z
Let b(g) = -7*g**2 - 2*g - 3. Let v be (-20)/8 - (-2)/4. Let d be b(v). Let n be 6/(-8)*24/d. Which is bigger: 0.1 or n?
n
Let x = 458832 - 5960853/13. Let n = x + -305. Suppose 0*a - 3*a = 0. Which is bigger: n or a?
a
Let c(s) = s**3 + 7*s**2 - 5. Let d be c(-7). Is -17/4 at most as big as d?
False
Let r(g) = g**3 - 8*g**2 + 2*g - 11. Let q be r(8). Suppose 3*o - 17 = -0*c + q*c, -c = -4*o + 17. Let h be ((-2)/o)/((-4)/(-16)). Is h greater than -2?
False
Suppose -5*q + 1 = -0*q + s, 0 = 3*s + 12. Is -1/5 not equal to q?
True
Suppose -h - 6 = -0*h. Suppose -3*q = 2*q + 35. Which is bigger: h or q?
h
Suppose -4*t = o - 6*o - 12, t - 3 = 0. Let k be (-2)/(2/(-5)) + (-148)/32. Is k != o?
True
Suppose 5*y = -3*v + y - 8, -4*v = 2*y + 4. Is -1 at most as big as v?
True
Let l = -209 - -813/4. Is -5 greater than l?
True
Let h = -14177/135 + 105. Which is smaller: h or 1?
h
Let a = 6/865 + 5911/20760. Let o = 1/24 - a. Is -1 less than or equal to o?
True
Let s be 2/(-12) - 3/6. Let u = 17 + 0. Suppose -x + u = 5*m, 6 = -3*x - 3. Is s less than m?
True
Let u be (-2)/(-8) + (-33)/(-12). Suppose 4*m = -4*x - 28, -10 = -5*x - 4*m - 45. Let t be 8/28 - 12/x. Which is smaller: t or u?
t
Suppose -2*a = a - 3. Let x = 668/5 - 134. Which is smaller: x or a?
x
Let r be (-3)/2 - (-6)/(-9)*1. Which is smaller: 0 or r?
r
Let v(g) = -2*g - 8. Let z be v(2). Is -12 less than z?
False
Suppose -5*y = 2*b - 11, 2 = -b - 3*y + 8. Suppose -b*g = -0*g. Let r = 71/3 - 24. Do g and r have different values?
True
Let g = -6 + 1. Suppose -4*c + 9 = j, 9 = 5*j - 4*c - 36. Let h = g + j. Does 3 = h?
False
Suppose -3 - 7 = 5*g. Let s be 2/(-6)*(g + 5). Which is bigger: 2/5 or s?
2/5
Suppose 2*p = -1 + 7. Suppose -d - 2*g = -6*g - 18, 2*g = 3*d - 14. Suppose -d*j - 6 = -4*n, 7 = 2*n - 0*j + 3*j. Which is smaller: p or n?
n
Let y = -19.2 + 4.2. Which is greater: 1 or y?
1
Let h = 141/4 - 35. Which is greater: h or 5/4?
5/4
Let k = 0 - -8. Let w = -11 + k. Let t(d) = -d**3 - 2*d**2 + 2*d - 4. Let p be t(w). Is 2 <= p?
False
Let w = -931/21607 + -3/527. Is 0 at least w?
True
Let k = 100 - 98.06. Let t = k + 0.06. Let d = -0.28 + -0.02. Do d and t have the same value?
False
Let k = 0.4 - -0.72. Let n = k + -0.12. Which is smaller: 0.03 or n?
0.03
Let s be 58/(-210) + (-15)/(-45). Is -1 <= s?
True
Let p = 1 + -6. Let n be (4/(-10))/(1/p). Suppose -29 = -4*u + 5*m, 2*u - 4*m - 22 = -0*u. Which is smaller: u or n?
u
Let v = 49/69 - 1/23. Which is smaller: v or 2?
v
Suppose -23*p + 22*p - 9 = n, 3*p + 3 = 5*n. Let v = 1 - 4. Let d be (-1)/((-1 - v)/(-2)). Is d smaller than p?
False
Let g(a) be the second derivative of a**3/3 + 9*a**2/2 + a. Let p be g(-6). Do p and -2 have different values?
True
Let h = 5 - 5. Suppose h = 2*z - 2 - 6. Suppose -2*r - z = 2*r. Do r and 0.4 have different values?
True
Let n = 3 - 2. Let y be 0 - ((-18)/(-20) - n). Which is smaller: 1 or y?
y
Suppose 4*k - 6 = 26. Let f = -6 + 15. Let s = k - f. Is -2/5 < s?
False
Let i(p) = p**3 + p. Let o be i(1). Suppose 0 = 4*u - 2*u - 8. Suppose 0 = 4*w + 4*f + 8, -8 = 3*w + u*f + 1. Which is bigger: w or o?
o
Suppose -12 = -9*z + 5*z. Suppose 0*a - 2*a = -2*b + 4, -5*a = 3*b - 14. Is b greater than z?
False
Let b be ((-94)/(-4))/((-4 - -5)*-2). Are b and -12 equal?
False
Suppose 4*j = -36 - 12. Let l be -2*(j/(-8) + -1). Is -2/21 bigger than l?
True
Let u = -23 - -26. Let i be ((-8)/(-112))/((-1)/u). Which is bigger: i or -0.1?
-0.1
Let z(k) = 2*k - 6. Let n be z(4). Suppose 0 = 5*j + 10, -n*j - 3 = 2*v - 1. Which is greater: v or -2/47?
v
Let q be (-7)/(-6) + 2/(-4). Let y = -22.8 + 23. Which is smaller: y or q?
y
Let f = 11 + -8. Suppose -f*l + 35 = -2*d, -4*l + 3*d - d + 44 = 0. Which is bigger: l or 8?
l
Suppose -s + 3 = 0, 0 = 4*o + o + 5*s - 95. Let t = -14 + o. Which is greater: 5/6 or t?
t
Let w be 0 + 2/(-1) + 2. Suppose -o = -w*o. Suppose o = 2*u + 2*u. Which is smaller: -3 or u?
-3
Let p be (-9)/(-30) - 1/2. Do p and 1 have the same value?
False
Let x(n) = n**3 + 6*n**2 - 10*n - 1. Let v be x(-7). Suppose -c - 3*k = -21, -25 = -5*c - 3*k + v. Let g be (-1 - (-3)/c)*-8. Which is bigger: g or -0.1?
g
Suppose 0*b + 12 = 2*b. Suppose -b = 3*l - l. Are l and -5/3 nonequal?
True
Let c be 160/(-16)*(-4*1 - 0). Which is smaller: c or 43?
c
Let x = 1 + 8. Which is smaller: x or 49/5?
x
Let s = 34 - 35. Let a(h) = -2*h + 1. Let m be a(1). Is m at least as big as s?
True
Let j be -2 + (-3 - -3) + 3. Is 12/7 smaller than j?
False
Suppose 13 = 4*s - 23. Suppose -4*v - s = -v. Suppose 3*t - 3 = -15. Is t at least as big as v?
False
Suppose 0 = c + 18 - 12. Which is smaller: c or -52/7?
-52/7
Suppose -4*q + t - 429 = 2*t, -5*q - t - 537 = 0. Which is greater: q or -109?
q
Let i = -42 + 50. Which is greater: 4 or i?
i
Let j(l) = -l**2 + 9*l - 9. Let r be j(7). Let n(b) = b**2 - 3. Let y be n(-3). Which is bigger: r or y?
y
Let j(i) = -i - 3. Let w be j(-5). Suppose 3*r + 14 = 4*u, 4*r + w*u - 5*u + 14 = 0. Let o be (-1)/5 + 8/(-10). Is o < r?
False
Suppose 3*o + u - 1 = -0*u, 0 = 3*o - u + 1. Suppose -3*g + o*g = 0, 4*r - 44 = 2*g. Suppose 0 = 4*d - k - r, 4*k + 0*k - 16 = d. Is d >= 3?
True
Suppose 0 =