be h(-11). Let x(n) = -2*n**2 - 9*n - 9. Let f be x(w). Are f and l unequal?
False
Let p(s) = 4*s**3 + 140*s**2 + 2*s + 157. Let b be p(-35). Is 12 at most b?
True
Let d be 27*(-12)/(-27)*15/5. Let x be d/126 + (-2)/7. Is x smaller than 3/281?
True
Suppose -10*h - 12 = -13*h. Suppose 0 = -h*k + 5*k - 10. Let b(z) = -z**2 - 8*z - 4. Let t be b(-5). Does t = k?
False
Suppose a = 12*a - 3*a. Suppose -28*g + 24*g + 4 = a. Which is smaller: 7/34 or g?
7/34
Let x = 281.088 - 281. Let h = -0.028 + x. Is h <= 0.1?
True
Let n = 1.299 - -0.291. Let r = n + -1.63. Are r and 33 non-equal?
True
Let w = 102 - 193. Let r be (-110)/18 + 21/189 + -105. Let x = w - r. Is 2 bigger than x?
False
Let t be -4 + -11 + 14 + 0/3. Which is bigger: 3/257 or t?
3/257
Suppose 387 = -37*d + 387. Is d equal to 3/307?
False
Let k = 179 - 169. Suppose c - b + 4 + 0 = 0, -c + 4*b = 16. Suppose -5*w - 5*q + k = c, 2*q = -5*w + 1 + 3. Which is greater: 3/13 or w?
3/13
Let l(u) = u - 3. Let y be l(10). Let b(i) = -i**3 + 6*i**2 + 8*i + 10. Let q be b(y). Suppose 0 = 19*f - q*f. Is -3 greater than f?
False
Let w = -61 + 69. Suppose w*j = -51 + 107. Which is smaller: 12 or j?
j
Let r(m) = 13*m + 868. Let l be r(-11). Is l bigger than 727?
False
Suppose -3*w = 427*d - 426*d - 5170, -w = 3*d - 1742. Which is smaller: 1724 or w?
w
Suppose 34*t - 9*t + 25*t = 34650. Is t < 704?
True
Suppose -6 = 2*a - 3*i + i, -5*a - 13 = -4*i. Let p be (-34)/187 - 5/((-55)/46). Let z(d) = d**3 - 5*d**2 + 7*d - 10. Let x be z(p). Is a greater than x?
False
Suppose -3*x = 3*n + 246, -2*x + 6198 - 6046 = -2*n. Is n at most -1.6?
True
Let y = -94810495/392 + 241860. Let o = 13/98 + y. Let z be (3/10)/((-3)/(-4)). Which is bigger: o or z?
z
Suppose -3*m + y + 49 = 0, 2*m + 9 = 5*y + 20. Suppose -5*n - 77 = -w + m, -4*w - 38 = 2*n. Let q = -54 - n. Which is bigger: -34 or q?
-34
Suppose 0 = 1025*w - 1023*w + 3*s - 1592, -2*w + 3*s = -1556. Is 788 at least as big as w?
True
Let p = -0.0071 - -80.0071. Is p greater than or equal to 2/33?
True
Let c(m) = 5*m + 31. Let a be c(-8). Let g = 70 - 67. Suppose 60 = -2*u - g*u. Which is greater: u or a?
a
Let t be 151688/(-625713)*(-6)/(-38)*2/8. Let y be -1*(-2 - 3*-1). Which is smaller: y or t?
y
Suppose -48 = -2*j + 42. Suppose -j = 2*h - 31. Is h greater than -48/7?
False
Let v = 2963/63 - 47. Let x be ((-4)/(-6))/((-2)/(-9)). Suppose 0 + 3 = x*u. Which is greater: u or v?
u
Suppose -872385 = -204*d + 583767. Is 7138 at most as big as d?
True
Suppose 25*w = 20*w, -4*w = -3*c - 63. Is -21 > c?
False
Let o be (2/7)/((-212)/9646) + 72. Which is bigger: -37 or o?
o
Let q = -102 + 48. Let d = -30 - q. Suppose 24*m = -c + 21*m + 36, -5*m + 20 = 0. Is c not equal to d?
False
Suppose 0 = w + 43 - 13. Let s be 1/(-3) - 2230/w. Does s = 74?
True
Let z(d) = d**3 - 3*d**2 + 3*d - 5. Let w be z(2). Let j be (21/(-14))/(w/(-138)). Let x = -89 - j. Is x < -18?
True
Suppose -3*q + 74*x - 12 = 75*x, 4*q = -2*x - 16. Which is smaller: q or -424?
-424
Let w be (-50)/4 - (-43)/86. Which is smaller: -35/3 or w?
w
Let b = 30591 - 11104532/363. Suppose -h - 5 + 6 = 0. Which is smaller: h or b?
b
Let t be (108/(-45))/((-4)/5). Suppose -4*h + 28 = -4*c, -h = -t*c + h - 16. Let d be (-2)/(-6) - (-4)/6. Which is smaller: c or d?
c
Suppose -3*q + 7*q + 12 = 4*f, 3*q = -5*f + 15. Let b be (2/35)/(3936/820). Which is smaller: q or b?
q
Let o(w) = -5*w**3 - w - 2. Suppose 2*q - 13 = -17. Let b be o(q). Let a = b + -51. Which is smaller: -31/3 or a?
a
Suppose u + 9 + 5 = 0. Let r = u - -40/3. Let f = -24.04 - -0.04. Is f less than or equal to r?
True
Suppose -8 + 3 = -w. Let g be 16/(-4) - 16/(1 - w). Is g greater than 1/547?
False
Suppose 6*r + 1602 = -3*r. Let q = r - -171. Which is bigger: -8 or q?
q
Let g = -2725 - -2724. Is -29/54 <= g?
False
Let n be 620 - (-3)/(-12)*-52. Which is smaller: n or -2?
-2
Let d be (1/6)/(216/12). Let m be (-44)/242 + 45/(-55). Is d bigger than m?
True
Let f be (-5024)/3065268*(-3)/2. Which is smaller: f or -1?
-1
Suppose 0 = 2*v - 4, -5*r + 3*v - 445 = -10694. Which is bigger: r or 2052?
2052
Let a = 118328 + -118322.7407. Let p = a - -0.0407. Which is smaller: p or -2?
-2
Let a be 7 - (-4)/(24/(-42)). Suppose a = -2*l + 10, -19*l + 15*l - 31 = 3*f. Which is smaller: f or -2?
f
Let x = -457.77 - -460. Let u = x - 2.43. Is u bigger than -36?
True
Suppose 0*z + 3*z = 222. Suppose s - 4*s - 2*a - z = 0, -5*s + 5*a - 165 = 0. Let j = 27 + s. Which is bigger: 2/107 or j?
2/107
Suppose 19*g + 1 = 18*g. Let s be (-4)/(20/(-25)) - 4 - -4. Let a be (1 + (-27)/s)/2. Is g at least as big as a?
True
Let s = -143.28 - -17355.28. Are s and 1 equal?
False
Let g = 632 - 988. Let d = 354 + g. Is -36/35 < d?
False
Let a be -3 + -1*(-743 - (0 + 0)). Suppose -10*f - a = -290. Let u be (-10)/f - (2 + (-519)/(-27)). Is u greater than or equal to -0.1?
False
Let b be (94/(-10))/((-3)/(-6)). Let o = b - -19. Suppose -3*n + 27 - 5 = -5*m, -5*m - 24 = -n. Which is smaller: n or o?
n
Let i = -2073 + 2859. Which is smaller: -0.3 or i?
-0.3
Let d = 10.89 - 10.83. Which is bigger: -0.722 or d?
d
Let u = 48 - 40. Suppose u*n - 7*n = -1. Let v = n + -4. Which is smaller: v or -4?
v
Let y = -0.07662 - 0.07738. Which is bigger: y or 3/4?
3/4
Let f be 266/665*(15/(-2))/(-3). Which is smaller: 6/1853 or f?
6/1853
Suppose -59*p + 58212 = -17*p. Are 1384 and p unequal?
True
Let v be 22/((-264)/(-18)) + 7/6*-1. Let b = -33.4 + 29. Which is bigger: v or b?
v
Let k = -23363.63 + 23365.4. Suppose -2 = -l - 3. Is k less than or equal to l?
False
Let l = -410 - -598. Suppose -3*k - 173 = -l. Suppose 2*w = 2*q - 6, 0*w - 2*w - 4*q = 0. Which is bigger: w or k?
k
Suppose 0*w = -2*w - 68. Let k be (-6)/w*(10 - 13). Let n be ((0/3)/(-3))/((-4)/(-4)). Which is smaller: k or n?
k
Suppose 9*g - 4270 + 58 = 0. Let t = g + -8. Do 461 and t have the same value?
False
Let f = -2.4756 - -0.4756. Is f <= -0.019?
True
Let u(k) = -23*k**2 - 7*k - 25. Let i be u(-3). Let r = -192 - i. Suppose -3*b - 4*a = -64, -3*b + 6 = -4*a - 50. Which is smaller: b or r?
r
Let f = 505/7 + -9976/105. Which is smaller: -24 or f?
-24
Let m = -69 + 455/6. Let f = 71/10 - m. Which is greater: -1 or f?
f
Let x be -1 + 1 - (-12)/(-198). Let k be (-132)/(-22) - (-67)/(-3). Let m = k + 17. Is m greater than or equal to x?
True
Let x(c) = -c**2 + 15*c + 29. Let y(r) = -r**3 + 6*r**2 - 3*r + 6. Let i be y(5). Let a be x(i). Suppose f + d = 4 + 17, a = f - d. Is 17 < f?
False
Let z = 57 + -48. Let l be 3*(z/36)/(9/12). Which is bigger: l or 12/41?
l
Let x(l) = -l**2 - 10*l - 3377. Let s be x(-51). Which is smaller: -5466 or s?
s
Let b(x) = x**3 - 35*x**2 + 5*x - 176. Let v be b(35). Does v = -2/35251?
False
Let t be (-2)/14*635565/(-60). Let q = -1529 + t. Are q and -15 non-equal?
True
Let u be 21/(-6)*-2 - 17/((-170)/10380). Is u > 1052?
False
Let t(k) = 12*k**2 + 254*k + 90. Let i be t(-21). Which is smaller: i or 82?
i
Let y = 534291/1460108 + -63/172. Which is smaller: y or 0?
y
Let o be ((-1)/(-2))/((-49)/(-24)). Let h(j) = -11*j**2 + 55*j - 43. Let w be h(4). Is o at least as big as w?
False
Let s = 5/78829 - -2984807/168615231. Let d = 314 + -9733/31. Let c = d - s. Is 1 greater than or equal to c?
True
Let r be (-9484)/(-17) + ((-48)/68)/(-6). Suppose 0 = 6*k + 3*k + r. Is k bigger than -64?
True
Let n = -1349.4 - -1269.4. Is n smaller than 42?
True
Let s be -22 + 2 - 73710/390. Is -220 greater than or equal to s?
False
Let l = -4.475 - 20.915. Let w = l + 1.39. Is w > 0.3?
False
Let z be 3 + -4 - 70236/138*1. Let u = 510 + z. Is 0 smaller than u?
True
Let x(o) = -o**2 - 11*o - 18. Suppose 7*h = -39 + 11. Let a be x(h). Does 4 = a?
False
Let w = 4.96905 + 0.03095. Which is smaller: 226 or w?
w
Let c = -1069/48 - -351/16. Is -9261 at most c?
True
Let d = 25 + -12. Let x(o) = 2*o - 12. Let w be x(d). Suppose -w*i = -6*i. Which is bigger: 3/11 or i?
3/11
Let n(j) = 29*j - 761. Let t be n(25). Which is bigger: t or -29?
-29
Suppose b - 636 = 5*b. Let o = -17650 + 17491. Are b and o nonequal?
False
Let i = 32 - 33. Let y be (-1 - i)*(-11)/(-33). Let h be (-476)/468 + (0 - -1). Is h < y?
True
Let g = 0.06245 - 275.16245. Let y = 275 + g. Which is greater: y or -2/45?
-2/45
Let c be (48/(-80))/(1/(0 - 5)). Suppose c*z + 69 = 72. Is 1/68 