ich is greater: h or p?
h
Let g = 2.881 - -0.019. Let w = 21 - 21.9. Let m = w + g. Is -3 >= m?
False
Suppose -163 + 23 = 7*x. Let c be (-1)/(-7)*(4 + x/(-5)). Which is bigger: c or 0?
c
Suppose 4*n - 186 = 4*u + 46, -4*u + n - 232 = 0. Is -57 > u?
True
Let s(u) = -2*u**3 + 1. Let c be s(-1). Suppose -2*w - 3*j - 6 = 0, 2*j - 6 = 4*w - 26. Let i be -3 + (8 - w)*1. Is c greater than or equal to i?
True
Suppose 5*y = 3*w + 9*y + 40, 2*w + 65 = 5*y. Suppose -5*i - 25 = -0*i. Let k = w - i. Is -2 bigger than k?
True
Suppose -5 = -2*p + 7*p. Let n be (-420)/55*((-12)/8 + 2). Let w = 1143/308 + n. Which is greater: p or w?
w
Let i(t) = 3*t. Let b be i(3). Let j be 6/b - 5/3. Let p be 150/(-130) + 2/2. Which is greater: j or p?
p
Let s be (-3738)/(-147) - 6/14. Let r be 0 + -2 + 2 + (s - 3). Which is smaller: r or 21?
21
Let t(n) = -n**3 - 3*n**2 + 3*n - 5. Suppose -2*l + 0*q - 28 = -5*q, -4*l + q - 20 = 0. Let d be t(l). Let v = -23.9 - -23.9. Is d at least v?
False
Suppose -428 = 4*m - 120. Let d = -60 - m. Is d bigger than 17?
False
Suppose 257 = -2*b + 305. Which is greater: b or 49/2?
49/2
Suppose 3*s = -2*s - 35. Suppose 6 = -0*x + 3*x. Suppose 0*c - x*c - 14 = 0. Is c greater than s?
False
Let s(b) = 6 + 17 - 13 - 4*b. Let h be s(-4). Is 27 at most h?
False
Let y(p) = p**2 - 13*p - 11. Let r be y(14). Let a = r - 1. Let c be a + (3 - (-12)/(-3)). Is c >= 2/11?
True
Let n be 10 - ((-4)/(-2))/((-3)/(-6)). Is n != 10?
True
Let g = -5.2 - -5. Let i be 2/(-3) - (-334)/6. Let n = 221/4 - i. Is g at most as big as n?
True
Let l(r) = r**3 - 8*r**2 + 2*r + 14. Let z be l(4). Is z greater than -41?
False
Let t = -0.04 + 0.14. Let n = -39.2 - 1.8. Which is smaller: t or n?
n
Let j = 14 + -12. Suppose -3*u + j*u = -2*u. Is u < 2/53?
True
Let d = -108599/113 + 961. Which is smaller: -1 or d?
-1
Let f = 131/364 + -10/91. Which is smaller: f or 95?
f
Suppose -d = d + 6. Let c be d - (-2 + -5) - 1. Suppose -c*r - 2*r = 0. Is r smaller than -2/11?
False
Suppose -h + 18 = -8. Is h equal to 134/5?
False
Let a = -3 + 4.6. Let f = -1 + a. Let c = f - 0.48. Which is smaller: c or -1?
-1
Let i = -232 + 229. Is -24/13 > i?
True
Let z = 10.08 + -52.38. Let w = 42 + z. Which is smaller: -3/11 or w?
w
Let o be (-5)/15 - 40/6. Is o at least as big as -11?
True
Let x(a) = -a**2 + 5*a + 12. Let j be x(-2). Which is bigger: j or -9?
j
Let j = 6004/3 + -1950. Let l = 51 - j. Which is greater: -8/7 or l?
l
Suppose p = 4*v - 15, -v = -2*p + p. Let i = 1 + -1. Suppose i = -3*r - 1 - p. Which is smaller: r or 1/3?
r
Let i(c) = c**2 + c - 1. Let b be i(2). Let s be (-1 + 8/b)*5. Let g be 0 + s - (15 - 12). Which is bigger: g or -1/5?
g
Suppose 15 = -20*x + 25*x. Suppose -x*y = 17 + 49. Let a(l) = -l**2 + 2*l + 2. Let k be a(-4). Do y and k have the same value?
True
Suppose 0 = -u - 2*l + 18, 3*u - 49 = -5*l. Let f(p) = -p**2 + 20*p - 8. Let v be f(20). Let r = v + u. Is r less than 15?
True
Suppose -5*l = p + 14, 0 = 5*l - 3*p - p - 6. Let h be 7 + (-3 - l) + -2. Let o(b) = b**2 - 2*b - 3. Let s be o(h). Is 3 equal to s?
False
Let d(z) = -z - 10. Let s be 1/(3/(-6) - -1). Let o(f) = f + 9. Let k(y) = s*d(y) + 3*o(y). Let p be k(-7). Which is smaller: p or -0.1?
-0.1
Let a be (2 + 0 + 1)*(-2)/(-3). Let y be 1*3 + 1/(-1). Suppose 3*i - 7 = -2*i + p, 2 = -a*i - y*p. Which is bigger: 3/10 or i?
i
Let m(o) = o + 4*o - 5 - 3*o - 3*o. Let v be m(-8). Let i be 4 + (3 - (-12)/(-3)). Is v > i?
False
Let z = -36 + 36. Suppose 4*u - 10*u - 42 = z. Is -5 smaller than u?
False
Suppose -4 = 4*b, 8*c + 117 = 3*c + 3*b. Let g be (4/6)/(2 - (-43)/c). Is 2/7 greater than g?
False
Suppose 4*t = -3*g - 63, -90 = -0*g + 3*g - 5*t. Let y = g - -36. Which is smaller: 14 or y?
y
Let q be (-66)/12 - -7 - 1/2. Let i be 0 - (q + 4/(-2)). Is i smaller than 5/13?
False
Let m = 50 + -11. Let i = 42 - m. Let b = 3 + -3. Which is bigger: i or b?
i
Let w be -1*(-4)/36*0. Is w greater than -11/42?
True
Suppose h = -28 - 23. Let p = h + 73. Which is smaller: p or 20?
20
Suppose 19*a - 23*a = -244. Let j = a + -7. Which is smaller: j or 55?
j
Let a be (3*(-6)/18)/(-1) + -96. Which is greater: -94 or a?
-94
Let u be (3/3 + 5)/(4 + -2). Suppose -u*o + 10 - 4 = 0. Which is smaller: -11 or o?
-11
Let l = 28 + -36. Let x be -15 + 6 - (-1 + (-2 - -3)). Which is bigger: l or x?
l
Suppose 0*t - 2*t + 5*d = -4, -2 = -t + d. Is t at least -4?
True
Let i be 3/12 - 7/28. Which is smaller: i or 22/23?
i
Let y = 0.3 - -0.7. Let i = -85.935 - -84. Let o = 0.065 - i. Which is smaller: o or y?
y
Let m = 12 - 9. Let u(h) = h**3 - 3*h**2 - 4*h + 6. Let g be u(m). Which is smaller: g or -4?
g
Suppose -c - 3*g - 10 = 0, -2*c - 4*g - 5 = c. Let v(a) = -a**2 + 3*a + 2. Let q(p) = p + 1. Let u(h) = -q(h) - v(h). Let k be u(c). Which is bigger: k or 1?
k
Let p be 2*3 + 3 + 205. Do p and 214 have different values?
False
Let s(c) = 25*c**3 + 2*c**2 - 2*c + 1. Let y be s(1). Let i = -59 - -44. Let n = y + i. Which is smaller: 10 or n?
10
Let g = 12.9 + 0.5. Let r = -13.3 + g. Is 16 smaller than r?
False
Let x = 4.948 + 0.052. Let u = 0.014 + 20.986. Let t = u + -24. Do x and t have the same value?
False
Let t = -22 + 11. Let v = t - -11. Let d be ((-4)/18 - 0)*(-4 - -1). Which is smaller: d or v?
v
Let b be 2/6 + (7 - 186/18). Is b < -35/18?
True
Suppose -6 = -3*g - 3. Suppose -73 = 4*h - g. Let i = 222 + -240. Is h != i?
False
Suppose 0 = -3*k + 2*k + 3, -4*k - 3 = 3*x. Let q(i) = -i**3 - 5*i**2 - i - 2. Let m be q(x). Which is smaller: m or 7/2?
m
Let f = -367 - -362. Let n = 41 + -45.9. Let k = f - n. Is k at most as big as 5?
True
Let d(b) = b**3 - b**2 - 4*b + 4. Let f be d(3). Suppose 2*x = -x - 3*o - 15, 0 = -2*x + 2*o + f. Is 0 less than or equal to x?
True
Let i = 207 + 125. Do i and 0 have the same value?
False
Suppose 1218 = -5*g + 2*q, 2*q + 70 = 4*g + 1046. Is g at least as big as -243?
True
Suppose i - 14 = -i. Let q = -44 + 35. Let d = 9.1 + q. Which is bigger: d or i?
i
Let q(s) = s**3 + 3*s**2 - 4*s - 1. Let k be q(-4). Let j be 968/(-192) - (-20)/4. Does k = j?
False
Let d = 18 + -57. Let r be 72/34 - 208/1768. Is r >= d?
True
Suppose -6*l + 1373 = 9149. Is l at most -1296?
True
Let d(f) = -f**3 - 4*f**2 - 4*f. Let i be d(-3). Suppose 1 + 2 = -i*h. Which is bigger: 2/31 or h?
2/31
Let p = 353/1235 + -22/65. Which is greater: p or -3?
p
Let u(v) = -41*v + 191. Let i be u(19). Is -589 smaller than i?
True
Let l(j) = j**3 + 15*j**2 + 5*j + 77. Let c be l(-15). Is 106 less than or equal to c?
False
Let y(s) = s + 1. Let b(c) = 7. Let t(u) = b(u) - y(u). Let m = -172 - -177. Let d be t(m). Is d greater than or equal to 2/7?
True
Let r = 0.09 - -0.25. Let z = 0.24 - r. Is z > -1/4?
True
Let n = -383 + 7275/19. Let x = -76 + 75. Which is smaller: x or n?
x
Suppose -313 = 12*s + 167. Are -36 and s unequal?
True
Let o be -2*(3 - 4/8). Let i be (-120)/168*(-2)/o. Does i = 12?
False
Suppose -w = -2, -4*x - 6*w + 194 = -w. Is 44 bigger than x?
False
Suppose 0 = 6*a - 2*a. Let c = a + -5. Does c = -2?
False
Let l be (-3332)/32 - (-1 - -5). Let z = l + 108. Suppose -5*y - 3*q - q - 8 = 0, 4 = -4*y - 2*q. Is y at most z?
False
Suppose -5*u = x + x + 167, 5*x = 3*u + 125. Let n = -33 - u. Is 7/13 >= n?
False
Suppose 5*l + 3*z = 4 + 1, 2*l - 5*z = -29. Let h be l/((2/(-10))/1). Let t be 1/(-2)*h/5. Which is greater: t or -1/16?
-1/16
Let n be ((-8)/854)/(140/490). Which is greater: 0 or n?
0
Let b = 16 - 16. Suppose -4*p + 3*p = b. Suppose p = 5*v - 7 + 2. Is v bigger than 1/8?
True
Let b = -3.9 - 0.1. Let h = -202 + 605/3. Which is smaller: b or h?
b
Let i(d) = d**3 + 7*d**2 - 6*d + 23. Let q be i(-9). Let x = 52 + q. Which is smaller: -34 or x?
-34
Let k = 264 + 73. Is 337 <= k?
True
Let q be 432/72 + (-1)/(1/(-47)). Is q greater than or equal to 47?
True
Let y be 39/18 + (-24)/16. Let s(t) = t**3 - 4*t**2 - 6*t + 4. Let z be s(5). Let p = z + y. Which is greater: 2 or p?
2
Let h be 3*(-3)/(-9)*10. Let i = -116 + 127. Are h and i non-equal?
True
Let r = 0.019 + 0.081. Is 0 less than or equal to r?
True
Let i(w) = w**2 + 19*w + 34. Let f be i(-17). Which is greater: 2/363 or f?
2/363
Let k be (-1 - 750/246) + 4. Which is smaller: k or 1?
k
Let l = -0.9 - 16.1. Let t = 17 + l. Which is bigger: t or 1?
1
Let v = 43 - 63. Let j = -102/5 - 