ose -3*m + 22 = 4*l + 21, 4*l = -4*m. Let c = 136.229 + -0.229. Is c equal to m?
False
Suppose -i = 59 + 66. Let o = -122 - i. Is o < 3?
False
Let w be 4/(-10)*110/(-220). Let a = 0.3 - -9.7. Is w less than a?
True
Suppose -s - 64 + 766 = 0. Is 2803/4 smaller than s?
True
Let n = 291 - 273.7. Let b = n - 15.6. Which is smaller: -2 or b?
-2
Let g = -80211.797073 - 101.213927. Let j = g + 80279. Let w = -34 - j. Which is bigger: -2/7 or w?
w
Let p = 0.3385 - 190.3385. Let v = 2.2 - 1.2. Is v greater than p?
True
Suppose -1274*q = -1185*q + 732737. Which is smaller: q or -8234?
-8234
Let r(a) = a**2 + 6*a + 6. Let j be r(-5). Suppose -j = -n, -y + 108 + 9 = 2*n. Suppose 4*q - y = -31. Which is smaller: q or 22?
q
Let x = 3 - 2. Let j = -4127/17 + 49813/204. Are x and j nonequal?
True
Let v be 1/((-2)/(-68)) - -1. Let j = 194204/7 + -27707. Which is bigger: j or v?
j
Let s be -183*32/4 + 9 + -14. Let b = s - -274702/187. Which is smaller: b or 0?
b
Let v = -2448 - -2344. Is -113 bigger than v?
False
Suppose 4*c + 3*b + 619 = -221, 0 = 5*b. Let k = -207 - c. Is 5 at least as big as k?
True
Let i = -0.01849 + -0.06151. Which is greater: 0.13 or i?
0.13
Suppose 18 = 3*m - 5*j, 3*j - 2 = -11. Let s be (-380)/(-195) + -2*m. Let k be -6 + (-7)/((-35)/30). Is k greater than or equal to s?
True
Let o = -6967844 + 390186383/56. Suppose 3*f + f + 920 = 0. Let g = f - o. Which is smaller: 1 or g?
g
Let z = 2368 - 2363. Which is smaller: 376/69 or z?
z
Let r = 0.20279 - -238.79721. Is r bigger than 15?
True
Let f = -327675710/1167887 - 2/166841. Are -281 and f non-equal?
True
Let t be (11 - 0) + (-6 - -2). Suppose t*a - 13*a = 0. Let c = 46 - 29. Is c less than or equal to a?
False
Let f be 1 + (3 - 0) + 177027/210. Let n = f + -847. Let c = n - 37/2310. Which is smaller: -1 or c?
-1
Let h be -5 - (240 - 1)*-1. Suppose -u = 5*x + 277, -5*x - 4*u = 34 + h. Do -54 and x have the same value?
False
Suppose 0 = 4*s - 2*z + 54, 49 + 12 = -5*s - 4*z. Suppose 66*d - 70*d + 2*x - 34 = 0, 0 = -3*d + 6*x - 3. Is s at least as big as d?
False
Let f be (-1)/4 + 1/4. Suppose -4*h + v - 52 - 8 = 0, f = -5*h - v - 75. Let d be 402/(-30) + ((-10)/(-30))/((-20)/6). Which is greater: d or h?
d
Suppose 0 = r - 5*r + 24. Suppose 3*c + 2*j = -r, -4*j = j. Let g be c/(-10) - (-340)/175. Are 1/3 and g equal?
False
Suppose -3*b - 3*b - 4561 = 1277. Do -975 and b have the same value?
False
Suppose 111 = -3*m + 3*l, -19 - 77 = 3*m + 2*l. Let b be 44/(-7) - (m - -28). Is b > 34/5?
False
Suppose 0 = -7*k + 751 + 1986. Suppose 0 = 6*o + 17 + k. Let w = o + 87. Is w at least as big as 2?
True
Suppose 84*h = 2*h - 31*h + 27685. Is h bigger than -19?
True
Suppose 3*x + 2*x = v + 20, -5*v - 5*x - 10 = 0. Let q be (-77)/v - 46/115. Let s be 1/(3/48) - 1. Is s greater than q?
False
Let b be 2/(2*(-4)/212). Let p(c) be the third derivative of -c**4/12 - 9*c**3 - 17*c**2. Let f be p(0). Which is bigger: b or f?
b
Suppose 4*r - 16 = -n + 13, -2*r + 2*n + 22 = 0. Is r greater than or equal to 22?
False
Let s = -0.239 + -0.261. Let t(i) = i**2 - 20*i + 102. Let v be t(12). Which is bigger: v or s?
v
Suppose 3*o + 3*a + 5457 = 0, 187 = -2*o + 3*a - 3451. Is -1821 at least as big as o?
False
Suppose -4*w - 2*c + 7*c - 16 = 0, -4*c = w - 17. Let i be (-401)/13 - (22/(-26) + w). Let h = i + 45. Is 15 at most h?
False
Let q(z) = -2*z**3 - 86*z**2 - 2*z - 36. Let j be (2/(-25) - 16/(-200)) + -43. Let l be q(j). Which is bigger: 44 or l?
l
Let h = 1464677/874 + -10055/6. Which is greater: h or -1?
h
Let p(k) = k**3 + 36*k**2 - 301*k - 58. Let w be p(-43). Which is smaller: w or -56?
w
Let b = -2.35 - -1.12. Let x = 96.77 - b. Which is greater: 0.1 or x?
x
Let n be (-14)/18*1 - -1. Let r = -356 - -329. Let i = r + 20. Is n > i?
True
Let c = 31 + -26. Suppose -27 = -5*d + 128. Suppose d = -6*l - c. Is l >= -5?
False
Let c = 46 - 45. Let g be c/1 - (-2 - 1 - -2). Suppose 40 = -g*r - 2*l, 8 = -r - 3*l - 2. Is -25 at least r?
True
Let o be (-19 - -19)/(1 - 0). Let i be -3 + 32*(-63)/(-665). Is o bigger than i?
False
Let m = -555 + 1743. Let a = m - 39208/33. Is 0 at most as big as a?
False
Let p = -526 + 56. Let f = 448.1 + p. Let c = f + 22. Is c < -3/5?
False
Let l = -73.897 + -0.003. Let s = l - -74. Which is bigger: -1/397 or s?
s
Suppose t = -71 + 502. Let y = 859/2 - t. Is y >= 84?
False
Let y = 5.31 - -0.19. Suppose 0 = -4*s + v, 4*s + 22*v - 24*v = -4. Does s = y?
False
Suppose 24 = 4*u, 25*n + u = 22*n - 3219. Are -1082 and n equal?
False
Suppose 2*l + 0*l - 14 = 0. Let a(m) = m**3 + 22*m**2 + 27*m - 60. Let y be a(-21). Let v = -176 - y. Which is greater: v or l?
v
Let t be (-2 + 2749404/195)/(12 + -10). Let n = 7049 - t. Which is smaller: 1 or n?
n
Let k = -3 - -3. Suppose 0*x - 36 = 2*x - 2*p, -5*x = -p + 94. Let s be (x - -20)/((4/(-2))/2). Which is smaller: k or s?
s
Suppose -4*d = -5814 + 5810. Is d at most as big as -4/189?
False
Let r = -8594/5 - -868214/505. Does -1/4 = r?
False
Suppose -9 = -5*z + 11. Suppose -t = -z*t. Let d = 25568/5 - 5113. Is t greater than d?
False
Suppose w = 2*r + 9, 3*r = -7*w + 12*w - 24. Suppose 4*x + 152 = -2*z, -5*x - 8 - 182 = -w*z. Which is bigger: -113/3 or x?
-113/3
Suppose -10*q = -3*h - 5*q - 31, 5*q = -2*h + 21. Let g be (h/(-210)*5)/((-14)/(-36)). Which is greater: 0 or g?
g
Let i = 190.8 + 69.2. Let b = 260.104 - i. Is 2/9 greater than b?
True
Let i(m) = m**3 - m**2 + 4*m - 5. Let w be (4 + (-28)/6)*-3. Let v be i(w). Suppose -3*d = -v - 23. Is 9 bigger than d?
False
Let o be (-4)/(-18) - 19/(171/(-34)). Suppose -1 = t + p, -5*t + 5*p = o*p + 23. Is t < 3?
True
Let p(t) = 5*t + 63. Let c be p(-15). Let a be (30/4)/(6/c). Is -12 greater than or equal to a?
True
Let a(v) = v**2 - 7*v + 5. Let n = 22 - -33. Suppose -r = 10*r - n. Let j be a(r). Is j > -2?
False
Let h = 0.28 + -0.3. Let r = 0.14 + 2.36. Let k = r - 1.5. Which is smaller: k or h?
h
Let m = -9 + 16. Let f = 0.5 + m. Which is bigger: -2 or f?
f
Suppose 0 = v - 5*s + 4, 6*s = 2*s + 4. Let g be (-3 - 0 - (-15)/(-5)) + v. Let b be 2040/350 + (-3)/g. Which is smaller: 6 or b?
6
Suppose -4 + 185 = -181*t. Is t at least as big as 5/643?
False
Let x = 0.7 + -6.1. Let c = x - -5.19. Let p = -0.54 - c. Is p not equal to 0.1?
True
Let g = -297 + 299. Suppose -g*s = -s - 2*s. Is -0.035 equal to s?
False
Let p = -2459.205 + 2348.4. Let o = p - 0.195. Let w = o - -110.9. Is 74 at most w?
False
Let z = -33.49 + -0.51. Let d = z - -43. Which is smaller: d or 0?
0
Let a = -85434526951731/102718 + 831738614. Let h = -13/506 + a. Is h < 0?
True
Let l(v) = -v**2 - v + 13. Let z be l(-10). Let g = z - -78. Let d be 2/(-100)*240/15. Which is smaller: d or g?
d
Let n be (-134904618)/34885968 - 2/13 - -4. Let d = 6/1511 + n. Are d and 0 unequal?
True
Let x be ((-12)/70)/((-297)/231) + 3747/360. Which is smaller: 10 or x?
10
Let p = 90 + -90.3. Let z = -61.5 + 53. Is z > p?
False
Let g be (-18)/(-63) + (-6)/21 + (-319)/(-1496). Is g bigger than 0?
True
Let b = -121.8 - -135. Let g = b + -9.7. Is g at most -1?
False
Let z(c) be the second derivative of c**5/20 + 2*c**4/3 + 2*c**3 - 2*c**2 - 28*c. Let l be z(-6). Let t be (-3 + 1)/(-2) - 5. Is t less than l?
False
Let t(s) = -3*s**3 - 4*s**2 + 2*s + 1. Let q be t(-2). Is 127 smaller than q?
False
Let m = 50 + -47. Let v = 0.136 - 0.084. Let n = 9.052 - v. Is n equal to m?
False
Let f = 166 - 205. Let c = f - -38. Is -106 at least c?
False
Suppose -1199*i + 1193*i = -234. Which is greater: i or 88?
88
Let m(v) = v**3 - 149*v**2 + 2*v - 294. Let n be m(149). Let o = 3 + -5. Is o < n?
True
Let x(d) = 2*d + 7535 + 8*d - 7469. Let s be x(13). Which is smaller: 195 or s?
195
Let w = 8121 - 40591/5. Is w greater than or equal to -1/2?
True
Suppose -3*d - 2*w - 1 + 14 = 0, d - 8 = 3*w. Suppose 3*v + 8 = -a + 13, 5*a = -d*v + 5. Are 25/9 and v nonequal?
True
Let k be (18/15)/((-6)/(-50)). Let a(p) = 83*p**3 + p**2 + 4*p + 2. Let q be a(-1). Let o be q/60*2*(-10)/4. Is o greater than k?
False
Let j = -66.74 + 70.74. Which is greater: j or -151?
j
Let f = -2182524363/7202690 - -22/982185. Let g = -126 - 177. Let u = g - f. Which is smaller: u or 0?
0
Let r = 25 + 3. Suppose 0 = r*u - 31*u + 15. Suppose -2*l + 0*l + 76 = -5*y, 15 = u*l. Which is bigger: y or -29/2?
y
Let p = -8