-14))). Let a = -249.222 + 249. Is a >= m?
False
Let h = -136 - -135. Let c(q) = -45*q**3 - q**2 + 1. Let t be c(h). Let m be 1/4 + 175/4. Are t and m equal?
False
Let i be (-10)/55 - 87*3368/132. Let b be 18/(-16)*40/i. Is b <= -1?
False
Let q = -1515 - -1234. Which is bigger: -278 or q?
-278
Let t = 28 - 25. Suppose -l + t*m = 14, -m + 0*m = l - 6. Let p be ((-8)/(-6))/((-234)/(-81)). Which is smaller: p or l?
p
Let g be (-20)/4*(-18)/10. Suppose -5*l + 29 = g. Suppose 2*k + 72 = 2*c, l*k + 4*c = -0*k - 160. Which is bigger: -37 or k?
-37
Let p(t) = 52*t - 2. Let a be p(-3). Let z be 7152/(-45) - (-537)/(-8055). Which is bigger: a or z?
a
Let j be -13 + (-18948)/(-1365) + 4/(-20). Does -1 = j?
False
Let y be (-5230)/34 - 834/4726. Is y equal to -22?
False
Suppose 27*y + 61 + 128 = 0. Is y greater than -7?
False
Let c = -527 - -523. Is -224 less than or equal to c?
True
Suppose -5*u + 5*h + 4045 = 2*h, 2*u = 3*h + 1627. Suppose -3*o + 3*s = -1600 - u, 0 = -3*o + 5*s + 2414. Let i be 1318/o - 35/21. Which is greater: 1 or i?
1
Suppose 14*m - m = 26. Suppose 16 = -m*l - 5*i + 2*i, 5*l = -4*i - 26. Is -12/19 not equal to l?
True
Suppose -8*k + 7*k + 4 = 0. Let j be (1 - 2/k)/((-21)/(-378)). Suppose -j - 5 = -7*g. Is g less than or equal to 0?
False
Let q = 0.03 + -2.13. Let g = -77 - -80.1. Let l = q + g. Which is smaller: 15 or l?
l
Let b = -249 + 164. Let t be (b/(-51))/(1/(-3)). Do -5 and t have the same value?
True
Let w = -194 - -81. Let x = w + 112. Which is smaller: -2/49 or x?
x
Suppose 2*d - 5*d - 39 = 0. Let m be 6/((-30)/d) + 3/(-5). Which is smaller: 6 or m?
m
Suppose 3*g = 929 - 488. Let u(q) = 38*q**2 - 2*q - 2. Let k be u(2). Is g equal to k?
False
Let f = 21.5 + -13.2. Let i = 51.6 + f. Let p = -61 + i. Which is smaller: 0 or p?
p
Let a(m) = -254*m + 273. Let x be a(1). Is -55 at most as big as x?
True
Let c be ((-15)/(-10))/(-1 - 22/(-16)). Let l be (c/(-10))/(12/(-420)). Suppose -4*z + l = 10. Is z bigger than 1?
False
Suppose 3*j - 2*j = u + 114, 108 = j - 3*u. Let q be (2 - 408/j) + (-29)/(-87). Are q and -2 non-equal?
True
Suppose -31 = 10*b - 51. Let n = 1 - 2. Let c be 30*n/(b - 5). Is 5 less than or equal to c?
True
Let d = -463 + 2807/6. Let p(i) = -i**3 + i**2 - 2*i - 128. Let u be p(0). Let b be (u/28)/(-8)*(-126)/(-12). Is d at least b?
False
Let j be 4/(-2) + (-401220)/495. Let r = j - -812. Which is smaller: 1 or r?
r
Let f = 115525 - 927373/8. Let a = f + 394. Is -2 <= a?
False
Let p = 1.209 - 0.79. Let t = p - 0.387. Is 0.1 < t?
False
Suppose 4*p - t - 10 = 14, -3*p + t = -19. Suppose 2 = l - 2, -7 = o + p*l. Let s = o - -25. Is s < -1?
True
Suppose -5*n + 5*f - 9 = 2*f, -2*f = -3*n - 6. Let y be -12 - -9 - (43 - n). Let j = y + 29. Which is greater: j or -16?
-16
Let c = -39167 + 39054. Is -116 < c?
True
Let l = 0.011 + 1.389. Let o = -15 - -18. Let h be (o - (-1 + 7)) + 3. Which is bigger: l or h?
l
Suppose -1089 + 185 = -8*o. Suppose -c + 2*x + 2*x - 17 = 0, 3*x - 11 = -c. Is c equal to o?
False
Let b = -0.99 - 33.01. Let d = 10 - b. Let n = -54 + d. Is -3 > n?
True
Let z be (-4)/(-2) - 64/37920*435. Which is greater: z or 0?
z
Let a(l) = -510*l - 2551. Let b be a(-5). Are 19/442 and b equal?
False
Suppose 27*x = 62 - 2276. Is x at least as big as -831/10?
True
Suppose -4 = -4*n + 3*q - 0, 0 = -n + 2*q - 4. Let b be n/(-28) + 113/105. Is 1 < b?
False
Let a = 0.07528 - 1.30028. Which is bigger: -0.03 or a?
-0.03
Let z = -16 + 9. Let m be 2/9 + 1280/72 + -7. Suppose r - 5 = -m. Is r at least as big as z?
True
Suppose -3*z = -4*z - 4*n + 16, -z - 14 = -2*n. Let k be 18/3*z/(-6). Suppose 0 = 5*i, 5*i - 9 + k = 5*r. Is -4/35 less than r?
False
Suppose 5*x + 6*y - 755 = 195, 0 = 2*x - 3*y - 353. Is 926/5 <= x?
False
Suppose -23 = 6*z - 53. Let i(s) = -25*s - 26. Let o be i(z). Is -151 bigger than o?
False
Let o = 0.6 - -4.4. Let u be 14 - 78/104*(58/6 + 5). Is u < o?
True
Let r(h) = -2*h**2 + 15*h - 10. Let v be r(7). Let x = 6 + v. Suppose x*z - 30 = 9*z. Which is greater: z or -6?
z
Suppose -4*m - 4*n = 588, 1808*m - 1810*m - 5*n = 294. Suppose k = 4*k + 438. Which is smaller: k or m?
m
Suppose -94*o + 90*o + i = -694, 3*o - 514 = 4*i. Is o less than 146?
False
Let y be (-2432)/1900 - (-8)/6. Which is bigger: y or -1?
y
Let t = 10620 + -10204. Which is smaller: t or 417?
t
Suppose v = -l - 222814, -5*l = v + 177225 + 45569. Let g be 1108859/v + 10/2. Let y = -1/257 + g. Do y and -1 have the same value?
False
Let a = 23058 - 22959. Is 94 at most a?
True
Suppose s - 15 = -3*s - r, -4*s + 19 = -3*r. Let g be 48/20 + -8 + s. Let q = g + 46/35. Is q at least 1/3?
False
Suppose -5*d = 1 - 11, -3*t + 2*d = -290. Let x = 21 + t. Do x and 121 have the same value?
False
Suppose h - 3*m + 22 = 0, -3*m + 50 = 22*h - 27*h. Is -55 less than h?
True
Suppose -3*m - 18 = -m + 3*u, u - 22 = 4*m. Let d be ((-22)/(-6) + 1)*m. Which is greater: d or -4?
-4
Let z = -552254/35 + 87812/5. Are 1784 and z nonequal?
True
Suppose -17*p + 14161 = 129166. Which is smaller: p or -6766?
-6766
Let u = 427.5 - 337. Let z = 91 - u. Which is bigger: -0.3 or z?
z
Let c = -320 - 424. Let o = 753 + c. Do -44 and o have the same value?
False
Let r = -692 - -451. Let s = r - -240.9. Which is smaller: s or 1/10?
s
Let y(t) = -t**3 - 5*t**2 + 6*t + 3. Let w be y(-6). Suppose w = -5*r + 3*q, 4*q - 1 = 3. Which is greater: r or 3/50?
3/50
Suppose -5*m = -3*m - 24. Suppose -m = -3*r, 0 = -2*w + 2*r + 3*r - 22. Let x = 1783 + -19617/11. Which is bigger: x or w?
x
Let p = -3942 - -3744. Is -191 >= p?
True
Let l = 4464 + -4437.01. Let w = -0.01 - l. Let c = w + 27.1. Which is bigger: c or 10?
10
Let f = 24754 + -24754.6. Do f and -0.938 have the same value?
False
Suppose 3519 = 24*r + 3519. Let d(w) = -w**3 - 4*w**2 - 2*w - 5. Let s be d(-4). Let j be s/(-9) - 532/24. Is r >= j?
True
Let f be 281919/24969 + (-176)/16 + 2/(-7). Is f < 2/3?
True
Let m = -6 - -17. Let d be 2/(-10) - (-1089)/(-55). Let h be 1*(-6)/10 + 8/d. Which is greater: m or h?
m
Suppose -6*u = 18*u - 6864. Let m(s) = 3*s**2 - 13*s - 73. Let d be m(-9). Which is smaller: u or d?
u
Let d = 11 - 12. Let k = 35597/10 + -3563. Which is smaller: d or k?
k
Let l = -5751 - -5596. Is 2/15 <= l?
False
Let a = 2.64 + -2.8. Let z be (-36)/(-63) + 117/(-21). Let q be z/2 + 21/6. Which is greater: a or q?
q
Suppose 129 - 133 = -2*m. Suppose -3*i - m*k - 40 - 106 = 0, 2*i + 2*k + 94 = 0. Which is bigger: -253/5 or i?
-253/5
Suppose -3138*w + 4140 = -3161*w. Is w >= -177?
False
Suppose 3*a + 2*y - 12 = -0, 3*a = -y + 12. Is 225 less than a?
False
Suppose 482354 - 108684 = -158*v. Is v smaller than -2364?
True
Suppose 0 = 4*m + 574 + 322. Let d = 224 + m. Is -3/85 < d?
True
Suppose 6 = -2*z + 2. Let o be 20/(-3) - z*(-3 + 2). Which is smaller: o or -10?
-10
Let i = -517110 - -517132. Let s(p) = -3*p + 5. Let k be s(-4). Is k > i?
False
Suppose -1777*k + 25 = -1752*k. Which is greater: k or -25/82?
k
Let j = -15.15 - -15. Let q = 451.05 - 451. Which is greater: q or j?
q
Let z = 9321/4 - 2842909/1220. Let i(a) = -a**2 + 3*a + 1. Let j be i(3). Which is bigger: j or z?
j
Let w be 2*-1 + (-42)/(-10). Let x = 26/779 + -1688/3895. Which is smaller: x or w?
x
Let i(l) = -l**3 - 11*l**2 - l**3 + 49*l + 3*l**3 - 24*l**2 - 14 + 21*l**2. Let u be i(5). Which is smaller: u or 0.01?
0.01
Suppose 30*j + 58 = -28*j. Which is greater: 0.01 or j?
0.01
Let c(m) = 3*m**3 - 130*m**2 - 51*m + 294. Let h be c(44). Which is greater: 1923 or h?
1923
Let j(n) = -6*n**2 + 3*n + 2. Let b be j(3). Let r = -38 - b. Suppose -g = -2 - r. Which is greater: 5 or g?
g
Let k = 3469828676049 + -1870238207722921/539. Let y = 1022880 + k. Let b = -5/49 + y. Which is bigger: b or 0?
0
Suppose 0 = 5*v - 4*i - 226, 5*v + 4*i + i - 190 = 0. Suppose d + 15 = b, d + 0*d + 37 = 3*b. Let t be (-28)/(-10)*(b + 4). Is v < t?
False
Let h = -0.01376 + 7.01376. Is h <= 145?
True
Suppose -10*w - 3*w = -4*w - 14697. Is w less than 1635?
True
Let d(i) = 4*i**2 + 1018*i - 512*i - 510*i + 1. Let u be d(1). Are 5/71 and u nonequal?
True
Let g be (-35)/2*32/(-896). Suppose 5*s = 3*s - 4. Let f be 1/2 + 1/s. Is g smaller than f?
False
Let g be 1461/((-28)/(-8) - 2). Let i be (33/(-176))/(2/(-10391)). Let z = g - i. Is 0 equal to z?
False
Let i(j) = -11*j**3 + 10*