h is bigger: j or -1?
-1
Let d(p) = -p**3 - 4*p**2 + 5*p + 6. Let f be d(-5). Let r = -5 + f. Suppose -2*t + 6*t = 0. Which is greater: t or r?
r
Let j(p) be the second derivative of -p**5/20 - p**4/4 - p**3/6 + p**2 + p. Let g be j(-2). Suppose 2*i + 3 = 5. Which is smaller: g or i?
g
Let q be (0 + (-3)/(-9))*6. Suppose 2*n = 0, 0 = 2*s - 7*n + 2*n. Let t = 1 - s. Which is bigger: q or t?
q
Let b = 25 + -14. Is 12 less than b?
False
Let h(b) = -b**3 + 13*b**2 + 13*b + 13. Let i be h(14). Let j = 3/11 + -34/165. Which is smaller: i or j?
i
Let k = 3933/3140 - 2/785. Let x = 61.1 - 61. Which is bigger: x or k?
k
Let s(m) = -2*m**2 - 3*m - 2. Let p be s(4). Let q be p/126 - 4/(-18). Which is greater: 1 or q?
1
Let i(d) = d**3 - d**2 - d - 1. Let l be i(-2). Suppose -4*g = 5*c + 60, -48 = 4*c - 0*g + g. Is c at least l?
False
Suppose 5*h + c - 2*c = -86, -3*c + 3 = 0. Are h and -17 nonequal?
False
Suppose -43*v = -38*v - 5. Which is greater: 161 or v?
161
Let t(d) = -d**2 - 10*d - 12. Let y be t(-8). Let n be (-1 + y)/(-3) - 0. Let x = -38 - -189/5. Which is greater: x or n?
x
Let f = -1 + 0. Let p be (9/189)/(4/6). Which is smaller: p or f?
f
Let m be -1*((-5)/(-30) - 0). Which is smaller: -1 or m?
-1
Let m be (-2)/(-4)*(-6096)/36. Let y = m + 84. Which is smaller: 1 or y?
y
Let c = -196588/17355 + 795/89. Let a = c + -1/195. Which is bigger: a or -3?
a
Let i = 16505/13 - 1269. Which is greater: 2 or i?
2
Let m = -0.3 - 0.6. Let a = m + 0.91. Which is smaller: a or -2/3?
-2/3
Let r = 31 + -34. Which is smaller: r or -40/9?
-40/9
Suppose -3*q + 8*q = 5. Which is greater: q or 2?
2
Suppose 4*s = -3*t + 3, 0 = 5*s - 6*s + t + 6. Let h be 1/(-1) - -17*1. Suppose -s*m - 8 = -2*v, 5*m - 7*v + 3*v = -h. Which is bigger: m or -1?
m
Let m(g) = -g**2 + 4*g. Let k be m(3). Let o = k - 1. Let w = -105/2 + 52. Which is greater: w or o?
o
Let h = -16 - -22. Let x be h/(-4) + 1/2. Let d(b) = -2*b**2 - 10*b. Let l be d(-5). Which is smaller: x or l?
x
Suppose 140 = -t + 69. Is -72 greater than t?
False
Let v(i) = i**3 - 4*i**2 + 2*i - 6. Let c be v(4). Let t = -2 - c. Which is bigger: t or -2?
-2
Let p = 20 - 21. Which is smaller: p or 2?
p
Let u = -49 + 48. Is -3 != u?
True
Suppose 0 = -3*i - i - 36. Let q be (i/(-6))/((-132)/(-16)). Which is greater: -1 or q?
q
Let p be 1*(2 + -1)*-2. Let t(y) = -y**3 - y**2. Let u(r) = -5*r**3 - 7*r**2 - 2*r. Let v(o) = -4*t(o) + u(o). Let k be v(p). Is 0 smaller than k?
False
Suppose -26 = f - 27. Let w(n) = -n + 1. Let t be w(-4). Suppose 6 = -t*r + 1. Is f smaller than r?
False
Let k = -27/44 - 3/22. Let i = 0.7 - -0.3. Let s = 1.1 - i. Is s at most k?
False
Let f be (8/(-3))/(-4)*-15. Suppose q + 6 = -4*k, 3*k - 7*k + 4*q = -4. Let a be (-5)/(f/(-4)) + k. Which is greater: a or -2?
-2
Let g = -1 - -5.7. Let w = g + -6. Let t = w - -0.3. Is -5 at least t?
False
Let n(d) = d**3 - 2*d**2 - 4*d + 4. Let j be n(3). Let v be 8/(-6) + -1 + j. Let a(t) = -t**3 - 5*t**2 + 6*t - 2. Let y be a(-6). Which is smaller: y or v?
y
Let a = 6 - 7. Does a = -2/19?
False
Let v(k) = -k**3 - 8*k**2 - 8*k - 4. Let w be v(-6). Suppose 0 = -t + 1, -5*t = 2*a - 8 + 1. Let g be a/(3 + w/10). Does g = 1?
False
Suppose j - 102 = -3*s, 6*s + 3*j - 75 = 4*s. Is s > 32?
True
Let c be 18/117 + 22/26. Which is smaller: 8/7 or c?
c
Let n be 0/((-1)/(4/8 - 1)). Let t = -11/39 + -5/13. Is t bigger than n?
False
Suppose -t = 4*t - 25. Suppose -t*z - 4 = -4*z. Which is greater: -5 or z?
z
Let z = -235 - -3053/13. Are z and -1 nonequal?
True
Suppose -5*o + 2*o = 57. Does o = -19?
True
Suppose 12 = 5*j - b, -2*j - 3*b - 6 = 2*b. Let i(z) = z**2 - 4*z + 3. Let d(a) = 2*a - 4. Let x be d(4). Let v be i(x). Is v >= j?
True
Let n(f) = -f**3 + 10*f**2 + f - 11. Let s be n(10). Let t be 1 + (s - 1) - 17. Let c be t/(-2)*(-4)/(-12). Which is greater: 2 or c?
c
Let c(r) = 6*r**2 - 4*r + 3. Let d be c(2). Suppose 5*p - 4 = -d. Suppose 0 = 3*n - 3, -5*n + 6 = -t - 3*n. Which is bigger: p or t?
p
Suppose 4*k - w = -0*w - 2, 5*k + 8 = 4*w. Let y = -17 + 16. Let f be -3 - 18/(-7) - y. Which is smaller: f or k?
k
Let b be 1/((-1 + 4)/(-6)). Let o be b/(-1*(0 + -1)). Let f be (-3)/4*4/6. Is f < o?
False
Let d = -1 - -1. Let l = 39 - 39.2. Is l smaller than d?
True
Let g be 2 + 3*-1 + 1. Let p be (-7)/(175/15) + 1. Is g smaller than p?
True
Let s be 2/(2 - (-87)/(-45)). Let h be -3 - (s/(-9))/5. Which is smaller: -1 or h?
h
Let h = 11/3 + -25/6. Which is greater: -2 or h?
h
Let l be ((-1)/1)/(1/(-19)). Suppose -l*q + 15*q = 4. Are q and -1/24 unequal?
True
Let p = -53/1800 + 5/72. Is p smaller than -2/5?
False
Let c(x) = -x**3 - 4*x**2 - 3*x + 4. Let z be c(-3). Suppose -z*y = 2*f + 16, -17 = 2*f + 3*y - 5. Which is greater: f or 3?
3
Let i = -11 - -8. Let w be (i/(-6)*0)/1. Is w at least as big as -2/13?
True
Let t(n) = -n**3 + 2*n**2 + n. Let g be t(2). Suppose g = -w + 3. Suppose 0 = u, -u + 0 - w = -m. Which is smaller: m or -2/9?
-2/9
Suppose 4*y + 2*q = 2*y + 8, 0 = 3*q - 3. Suppose -5*o = 10, y*m + 5*o = 2*o - 6. Which is smaller: m or 2/35?
m
Suppose 0 = 2*o + 3*r + 3, 33*o - 37*o + 5*r - 39 = 0. Let f(i) = 2*i**2 - 5*i + 3. Let u be f(3). Suppose 0 = -2*s + u*s + 24. Is o greater than s?
False
Let v be ((-7)/(-2))/(2/(-4)). Let z be ((-2)/21)/(v/21). Is 2/9 < z?
True
Let u = -0.22 - -0.36. Let k = u - -1.86. Let l = 1 - 2. Is k at most as big as l?
False
Let i = 20.6 - 19.6. Is i at least -4/13?
True
Suppose -1 = -x - 3*p - 3, 2*p = -4. Suppose 4*i - 130 = -x*l + 3*l, 4*i = 3*l + 122. Let y be (-3)/5 + i/20. Is y at most as big as 2?
True
Let v be (-6)/(-9) - (-212)/(-336). Which is bigger: v or 1?
1
Suppose 3*z - m + 22 = 2*z, -4*m = -5*z - 109. Is z at most as big as -22?
False
Let c = -118 - -196. Suppose -4*f = -c - 2. Is f less than 19?
False
Suppose -4*b = -0*b. Let s = -2 + 11. Let k be (s/15)/((-3)/(-2)). Which is greater: k or b?
k
Let p = 133 + -678/5. Is p >= -2?
False
Let j(c) = -6*c**2 + 11*c**2 + 10 - 4 - c**3 - 6*c. Let y be j(4). Let f be y/(-7) + 96/(-140). Which is smaller: -2 or f?
-2
Let n = -0.3 + 0.34. Let y = 0.74 - n. Suppose 4*b = -4 - 0. Which is greater: b or y?
y
Let l = 1.61 + -1.35. Is l at least as big as 2?
False
Let b(q) = -q**2 - 8*q + 7. Let d be b(-8). Suppose -p - 5*s - 24 = 0, 3*p + 4*s - 2*s + d = 0. Which is bigger: 0 or p?
p
Suppose -3*s = -h + 17, 2*s + 40 = 4*h - 3*s. Suppose q - 4*f - 8 = 5*q, 2 = -3*q - h*f. Let j be q/(-8) + (-10)/(-4). Is 3 greater than j?
False
Let z(l) = l + 3. Let w be z(-3). Let h = 73/6 - 227/18. Which is smaller: h or w?
h
Suppose -6*o = -o - 20. Suppose 4*d - 4 - o = 0. Is 2 less than d?
False
Let w = -53/75 + 1/25. Let x = -14 + 9. Let r = -6 - x. Does w = r?
False
Let n(u) = 2*u**2 + 2*u - 1. Let l be n(1). Let f be (12/(-9))/(1/3). Let h = f + l. Is -1 greater than h?
False
Let s = 0.03 - -0.07. Let b = s - 0.2. Which is smaller: -0.3 or b?
-0.3
Let l = 1/195 - -329/11895. Is l >= -1?
True
Suppose 7 = 2*v - 9. Suppose -n - 2*n + 6 = 0, 2*u + v = 2*n. Is -2 < u?
False
Let h = -3203/11 - -291. Suppose 2*y - 2 + 0 = 0. Is y >= h?
True
Let u be ((-2)/72)/(2/4). Are u and -1 nonequal?
True
Let n = 152 - 86. Let d = 319943/9 - 35483. Let m = d - n. Which is smaller: m or -1?
-1
Let f = -2.2 + -1.6. Let s = f - -0.8. Let x = -2 - s. Which is smaller: -0.1 or x?
-0.1
Suppose x = -2*x + 12. Suppose 0 = k + x*m - 8, 5*m = 2*k + 9 + 14. Let o be ((-10)/20)/(14/k). Do o and -0.2 have the same value?
False
Let o = -0.048 + 0.388. Which is greater: o or -0.1?
o
Let y be (-9)/12*2*-2. Let n = 6.4 - -1.6. Let v = n + -7.9. Is v greater than or equal to y?
False
Let z = 129 + -1163/9. Let j(n) = -n - 1. Let g(q) = -5*q - 17. Let p(l) = g(l) - 4*j(l). Let o be p(-12). Which is greater: z or o?
z
Let p(f) = f**3 + 10*f**2 - 12*f - 8. Let i be p(-11). Suppose -a = -5*w - 26, 0 = i*a + w - 1 + 3. Which is bigger: 2/11 or a?
a
Let s(h) = 3*h**2 + 2*h - 2. Let m be s(-2). Let u be 9/m + 3/(-6). Suppose -4*t = 3*n + u, -3*n = -t + 2*t - 2. Which is greater: n or -1/10?
n
Let b be -3 + ((-2)/(-2) - -8). Suppose -4*i + 4 = -3*v, i + 36 = 4*v + b*i. Suppose -8*w = -v*w + 16. Which is bigger: -3 or w?
-3
Let i = 2.34 - -0.7. Let b = i + -0.04. Let y = b + -3.2. Which is smaller: -1 or y?
-1
Let b = -0.46 - -0.56. Whic