s smaller: -0.5 or h?
-0.5
Let b = -65 + 75. Suppose -2*c - b - 14 = -4*u, -4*u = -4*c - 40. Let h(g) = g**3 + 8*g**2 + 3*g + 19. Let y be h(c). Is y <= 2/7?
True
Let u = -336 + 343. Suppose 0 = j - 180 + u. Is j at least 174?
False
Suppose 15530 = 18676*u - 18686*u. Is u equal to -1554?
False
Let n = 18454/4004625 - 2/22625. Is -1 equal to n?
False
Let b(k) = -12*k - 27. Let j be b(-2). Let x = 54 - 69. Which is smaller: j or x?
x
Let r = 2161/15 + -144. Let k(c) = -c**3 + 11*c**2 + 25*c + 12. Let s be k(13). Which is smaller: s or r?
s
Let g(a) = a - 2. Let y(l) = -l + 1. Let w = 51 - 48. Let z(n) = w*y(n) + 4*g(n). Let u be z(4). Which is smaller: 1/84 or u?
u
Let d = -15747361/1265718 - -10/37227. Which is smaller: -11 or d?
d
Let m be (-28)/(-406) + 28/203. Let i(x) = x**3 + 5*x**2 + 3*x - 4. Let d be i(-4). Which is smaller: m or d?
d
Let w be (-2)/20*(-9)/(378/2011). Let k = 4/105 - w. Is k >= -5?
True
Let g = -3328/7 - -474. Let w = -147 - -138. Let a be w/15 + 6/(-15). Which is smaller: a or g?
g
Let l = -0.98 + -4.112. Let q = l - -10.09. Let j = -0.002 - q. Are j and -4 equal?
False
Let z be (1 - 1)*4/4. Suppose z = w + 4*w + 80. Let m be (-2 + -1)*(-1 + (-68)/(-12)). Is w > m?
False
Suppose -297 + 345 = -3*o. Suppose -6*l - 18 = -3*l. Let k be (-6 + (-15)/(-4))/(l/o). Which is smaller: k or -4?
k
Suppose 137 = -4*s + 21. Let k = s + -25. Let r = -100 - k. Is r >= -46?
True
Let n = -366 - -76. Let s = n - -281. Which is smaller: s or 0.04?
s
Suppose -v - 30 = -246. Let q = -415 - -632. Which is bigger: v or q?
q
Suppose 251*d + 139 - 390 = 0. Which is bigger: d or -1/6456?
d
Let s = -265274602/4977 - -4678398/79. Let k = 5920 - s. Is -1 smaller than k?
True
Let u(j) = 2*j - 7. Let h be u(5). Suppose -h*s - 53 = 46. Let m = s + 10. Which is smaller: m or 1?
m
Let h be 24/(-35)*(58058/52)/29. Let d = 15 + -40. Which is smaller: h or d?
h
Let y = -345 - -347. Suppose 2*t - t = -y*q - 501, -4*q - 995 = -5*t. Which is bigger: q or -251?
q
Let o(a) = -a - 3. Let s be o(-4). Let y be (-1)/(-1*s/(-2)). Let i = 242 + -241. Is y < i?
True
Let l = 1508 + -1507. Which is greater: l or 19.1?
19.1
Suppose -160*f + 11344 = 442*f - 15144. Which is smaller: f or 9?
9
Let l be (2/(-116))/((-20)/(-80)). Let h = -2.67 + 2.5. Let d = h - -0.27. Which is smaller: d or l?
l
Let z = -407/124 - -1/31. Let u be (-9)/(-27) - (-16)/6. Suppose 8 + 8 = -4*y, u*y = 2*c - 8. Which is smaller: z or c?
z
Suppose 0 = -2*m - 0*m - 96. Suppose 2*f = 4*f + s + 75, 2*f - 3*s + 95 = 0. Let t = m - f. Is -10 not equal to t?
True
Let p = -1289 + 2577/2. Are -444 and p unequal?
True
Let n = -12232 + 12234. Let l be (0 + 1)*25/11. Is n at least as big as l?
False
Let c be 186/(-310) + (-4)/10. Which is smaller: 2/12661 or c?
c
Let b(f) = -f**3 - 7*f**2 - 6*f. Let m be b(-6). Suppose 4*x + m*x = -8. Let n be (5/15)/((-5)/x - 3). Is n <= 8?
True
Let v be 12/8 + 26/(-4). Let c(q) = -9*q + 86 + q - 36. Let x be c(6). Which is smaller: x or v?
v
Let f(j) = 6*j - 2. Let l be f(0). Let d(y) = y**3 + 4*y**2 + y - 2. Let c be d(l). Which is smaller: 17/6 or c?
17/6
Let m = -3163/20 - -158. Let r = -7/180 - m. Let u = 28/93 + 1/31. Is r smaller than u?
True
Let g(i) = 5*i + 29. Let x be g(-9). Let a = -149 + 134. Which is bigger: a or x?
a
Suppose 10*t + 245 = 15*t. Let k(n) = -n**2 + 18*n + 18. Let m be k(16). Is m less than t?
False
Let q(u) = -4*u - 84. Let l be q(-25). Let i = -44 + l. Let w be (-1085)/(-2989) + 6/i*2. Which is greater: w or -1?
w
Let k = 8927 + -8945. Is k at least as big as -16?
False
Let o be 18/12*64/42. Let s be 2*(-4)/20*-5. Let v be (s + -1)/((-1)/2). Which is greater: v or o?
o
Suppose -6*q + d = -10*q + 20, -5*q - 4*d = -36. Let k be -1 + (q - (-7518)/(-2502)). Is k equal to 1?
False
Let o = 12692 + -12699.053. Let y = o + 7. Let k be (238/3332)/((-6)/(-21)). Is k bigger than y?
True
Let a(q) = -54*q**3 + q**2 + 64*q - 122. Let c be a(2). Which is bigger: -1 or c?
-1
Suppose -142 + 366 = 28*u. Suppose 0 = -2*l - 10, 4*y + u*l - 11*l = -21. Are y and -22 equal?
False
Let g = -51695/4 - -12751. Are g and -173 nonequal?
True
Let r be 1557/(-3906) + 6/21. Let h = r - 1267/310. Is h at most -3?
True
Suppose -5*f = -15, 5*z - 55 = f - 6*f. Let u be 48/z + (-3 - 3). Which is bigger: u or -1/153?
u
Let m(v) = -v**3 - 2*v**2 - 175*v - 350. Let f be m(-2). Is -6/4325 at least f?
False
Let g be 386*((-1)/(-2) + 185/(-74)). Is g smaller than -5?
True
Let t = 2305 - 1591. Let o = -700 + t. Is o >= 17?
False
Let m = 11 + -11. Suppose -20 = -t - 4*n, 3*n + 9 + 3 = m. Is t <= 35?
False
Let a = 9034.7 - 8627. Let r = -415 + a. Which is bigger: r or 2/13?
2/13
Suppose 2*k = -5*s - 460, 3 = -4*k + 23. Let c = 4133/44 + s. Is c != -1?
True
Let t be (44/66)/((-35)/(-378)). Which is smaller: 8 or t?
t
Suppose 14 - 60 = -4*t + 5*q, 44 = 4*t - 4*q. Suppose 6*s + 15 = -t*s. Is s <= 7/23?
True
Let s = -3655.696 + -5.304. Does s = 0?
False
Suppose 4*i = -3*g - 32261, 2*g = 5*i - 7820 - 13626. Is -10743 equal to g?
True
Let j be 0*(115/(-20) + 6). Let m be 4*(j + (565/(-130) - -4)). Is m <= -2?
False
Let k = 428 + -428. Let o = -122 + 454. Are k and o non-equal?
True
Let s be -5 + 1999 + 20 + -34. Is 1979 at least as big as s?
False
Suppose 11*q = 10*q - 135. Let a = q + 150. Which is greater: 14 or a?
a
Let d(y) = -2*y**2 + 210*y + 649. Let i be d(-3). Is -57/173 greater than or equal to i?
False
Let b(f) = -f**2 + 5. Let o(g) = g. Let s(q) = b(q) + 3*o(q). Let j be s(-1). Is 4/83 less than j?
True
Let r(o) = -5*o + 91. Suppose 0 = -11*k + 117 - 7. Let l be r(k). Which is smaller: 42 or l?
l
Suppose -22*w - 38528 - 17415 = -14891. Is w at least as big as -1872?
True
Let t = -7/23 - 140/69. Let o = 55664.07 - 55664. Are t and o non-equal?
True
Suppose -g + 13 + 1 = 4*y, g = 2*y - 10. Let n(h) = 65*h - 111. Let w be n(5). Let x = -1048/5 + w. Is x at least as big as y?
True
Let g(v) = -2*v**3 - 22*v**2 + 140*v + 48. Let f be g(-14). Does f = -733?
False
Let u be ((-20)/15)/((-2)/(-3)). Let z be u + 159/(-24) - -8. Suppose b + 5*o + 25 = 0, o - 3*o - 10 = 5*b. Which is smaller: b or z?
z
Suppose 2*m + 38334 = o - 6*o, -4*o - 3*m - 30663 = 0. Let u = o - -69088/9. Which is greater: u or -2?
u
Suppose 23*x - 26*x + 45 = 0. Let z = 8 - x. Let i be (((-21)/12)/z)/((-2)/(-56)). Do i and -4 have different values?
True
Let p = -4853 - -4183283/862. Is p smaller than -1?
False
Let w = 2.0696 - -0.0404. Let k = w - 3.11. Let i = -6 + 9. Which is greater: i or k?
i
Let f = -409877/17 - -24109. Which is smaller: f or -89?
-89
Let j = 6310.43 + -6388. Let x = 1.43 - j. Which is smaller: x or 1/2?
1/2
Let h be -1 + 13900/(-14 - -4). Is h smaller than 2/7?
True
Let l = -52 + 48. Let u(f) = -f**3 - 5*f**2 - 6*f - 6. Let r be u(l). Let x be r/10*(-5)/2. Which is smaller: 5 or x?
x
Let i be (990/(-8))/1 + (-90)/72. Let w = 749/6 + i. Let k = 1 - 0. Is w >= k?
False
Let c = 974241819/605761 - -2/35633. Let w = c + -1609. Let v be 0 + -1 + 0/1. Is v < w?
True
Suppose 0 = 2*d - 5*a - 31, 4*d + 5*a = -0*d + 17. Let k = -11 + d. Let z = 1552 + -1552.1. Which is greater: z or k?
z
Let s = 179 - -645.5. Let x = -824 + s. Is 0.02 >= x?
False
Let y = 695 + 1983. Which is smaller: y or 2680?
y
Let k = 128 + -220. Let i = -1314 - -1221. Which is smaller: k or i?
i
Suppose -9*s - 104 = -11*s. Let t be (2/(s/7))/((-5)/10). Let g be 5 + -1 + (-8)/4 + -2. Which is bigger: t or g?
g
Suppose -153 = -5*h + 2*c, -4*h = 4*c - 109 + 9. Let p be (4 + (4 - 17))*1. Let m be -1 - 155/(p - -4). Is h greater than or equal to m?
False
Let i = -70.024 + 0.524. Let c = -64.5 - i. Do c and -6/31 have the same value?
False
Suppose -h + 118 = -0*h. Suppose 334 = 3*g + 5*m, 3*m = -5*g - 254 + 832. Are g and h nonequal?
False
Suppose -5*m + 4429 = 4*f, -2656 = -3*m + 57*f - 58*f. Does m = 3?
False
Let l = -42089 - -42088.58. Suppose z + 5 = 2*z, -2*u = 2*z - 20. Let q = u - 11/2. Which is smaller: q or l?
q
Let t = 0.6 + -4. Let b = t + -34.6. Let u = 37.9 + b. Does -2.6 = u?
False
Let x(k) = -50*k**2 + 140*k. Let h be x(3). Is -35 bigger than h?
False
Let z(f) = 7*f - 2. Let v be z(0). Let w be (v/(-3))/((84/(-18))/7). Which is bigger: 37/2 or w?
37/2
Let k(b) = -19*b**2 + 63*b - 272. Let f be k(6). Is f at most -587?
False
Let x(