b. Is b <= u?
True
Suppose -1166 = 2*c - 4*v, -13 = -6*v - 31. Is c greater than or equal to -586?
False
Let y be ((-1144)/(-55) - 22)/(33*2/20). Which is greater: y or 43?
43
Let v(z) = z**3 + 4*z**2 + 3*z. Let k be v(-3). Let x(q) = 8*q**2 - 9*q**2 + 19745 - 19742. Let j be x(k). Which is smaller: -4 or j?
-4
Let n = 1579 - 3263/2. Suppose 0 = -c + 58*c + 3078. Are c and n unequal?
True
Suppose 0 = -3*s + 9 - 3. Suppose w + s*j = -32, w - 2*j + 7 = j. Is -16 not equal to w?
True
Let p = -59 - -62. Let v be (82/(-28))/(p/18) + 3. Let u = 27/2 + v. Which is smaller: -2 or u?
-2
Let j = 42 + -31. Suppose -14*f + 15*f - 21 = 0. Let z be 5 - f*(-1)/(-4). Does j = z?
False
Let a(l) = 25*l - 149. Let r be a(6). Are 3100 and r nonequal?
True
Let j = 41/90 + -1/18. Let y(p) = 487*p + 2922. Let i be y(-6). Which is greater: i or j?
j
Let z(g) = g + 5. Let p be z(-2). Let o be (-8)/p*225/(-20). Suppose 16*t - 14*t - o = 0. Which is greater: 16 or t?
16
Let l = -188 - -187. Let z = 3 + l. Is z not equal to 1.1?
True
Let h = 285.0445 - 285. Let f = h - -0.0555. Is f at least -0.024?
True
Suppose 2*t - 2 = t. Let p be 98 - 0/(t + -6). Suppose 0 = 4*r - 0*r + 2*x + p, 5*x + 15 = 0. Which is smaller: r or -21?
r
Let w = 33630/7 - 4789. Which is bigger: w or 15?
w
Let c(a) = -15*a + 154. Let f(u) = 44*u - 469. Let r(y) = -17*c(y) - 6*f(y). Let w be r(22). Is -3/55 smaller than w?
False
Let a(b) be the second derivative of 5*b**3/3 + 28*b**2 + 5*b - 3. Let y be a(-12). Which is smaller: y or -65?
-65
Let t = -43063 + 28738. Which is greater: t or 0?
0
Suppose -6*k - 39 = -3. Let b be 0/((-12 - k) + 4). Suppose -2*u - 7 = -3*a, -3 = 5*a + 3*u - 2. Which is greater: b or a?
a
Let d be (8 + -3)*(16/10)/2. Suppose -5*f = 5*s - 1240, -2*s + 1239 = 3*s + d*f. Is 248 > s?
True
Let u be 5615/(-803) + 12/(132/77). Is u > -1?
True
Let g = -289 - -214. Let w be (5/g)/((-3)/(-27)*1). Let q be (0 - 3)/((-18)/4). Which is smaller: w or q?
w
Let r = -14899691 + 789740861/53. Let v = 1080 - r. Which is greater: v or 0?
v
Let l = -785156785/60736439260732 + -2/87394081. Let a = l - -253494871/296058072. Let o = a - -4/213. Do 1 and o have different values?
True
Let b = 707.4 + -1176. Let w = b - -469. Is 4/7 != w?
True
Let t(a) = 21*a - 3. Let k be t(3). Let p be (-9)/54 + (-22)/k. Are -2 and p non-equal?
True
Let i = -11736 - -24575/2. Which is bigger: 553 or i?
553
Let v = -5331 - -5280. Let k = 18 - 68. Which is smaller: v or k?
v
Let l = 4615 - 4670. Let y = 111 - 113. Which is smaller: y or l?
l
Let n = 160 - 498. Let p = 343 + n. Is -8 greater than p?
False
Let s(p) = -176*p**2 - 121*p + 241. Let r be s(2). Which is smaller: r or -704?
r
Let s = -990 - -1029. Are s and 63 equal?
False
Let y(a) = a**3 + 17*a**2 + 15*a - 12. Let c be y(-16). Suppose 21 = 5*o + c*n, -2*n + 7 + 6 = 3*o. Suppose -20 = -k - 4*k. Which is greater: k or o?
o
Let u be (549/(-9394))/(9/(-33)). Which is smaller: u or -459?
-459
Let v = 12360 - 12141. Which is bigger: 222 or v?
222
Suppose 14273 + 8694 = 17*y. Is 1351 at least as big as y?
True
Let h be (2*(-93)/124)/((-122)/2). Which is smaller: 1 or h?
h
Let z be 10*(612/(-56) + 1). Let g = z + 8895/91. Suppose -136*m - 102 = -102*m. Which is greater: g or m?
g
Let k be ((-6080)/228 - 5/(-3)) + 0. Is k bigger than -100?
True
Let m = 90.057 - 90. Let w = -7.057 + m. Is w > 4?
False
Let k = 0.07 - -6.93. Let b = 25 + k. Let d = b + -33. Is d bigger than -0.04?
False
Let d(g) = g**3 - 91*g**2 + 128*g - 1272. Let r be d(88). Which is bigger: 2 or r?
2
Let d = -0.042 + 127.042. Let m = 130 - d. Is m <= 41?
True
Let o(j) = -30*j + 906. Let w be o(124). Which is bigger: w or -2813?
-2813
Let z = 0.92 - 0.945. Let c = 33.3 - 30.3. Which is bigger: z or c?
c
Let o(l) = -l**3 + 6*l**2 + 3*l - 9. Let s be o(5). Let t = -28 + s. Suppose 93 - 24 = t*u. Do 22 and u have the same value?
False
Let z be 4/(-10) - (48/30 + -2). Suppose 62*s - 64*s - 8 = z. Which is smaller: 2 or s?
s
Let q = -368 - -389.8. Let x = 9 + -17.2. Let a = x - q. Which is bigger: a or -1/4?
-1/4
Suppose 77 - 324 = 19*y. Do -17 and y have the same value?
False
Let g be ((-15)/20)/(1/(-8)). Suppose -5*p - 10 = -5*f, 2*f - g*f = 2*p + 10. Let b be 0/(-10) - p/16. Is b < -1?
False
Let a = 1.886 - 63.886. Which is bigger: a or 2?
2
Let z(h) = 25*h + 606. Let n be z(-24). Which is bigger: 195/34 or n?
n
Suppose 0 = z + 3 - 1, 4*n - z - 2398 = 0. Let a = n - 419. Let l be 2/(-8) - 99/a. Which is bigger: 1 or l?
1
Let a = 17/371 + -6483/157675. Is a > -1?
True
Let m = 6 + -8. Let q = 86094.853 + -86132. Let n = -0.147 - q. Is n at least as big as m?
True
Let u = 266 - 265. Let z be u/10*((-114)/(-6) + -7). Which is smaller: z or 1?
1
Suppose 18*f - 15*f = 2*l - 707, 5*l - 3*f = 1772. Let o = l - 354. Which is greater: -4/9 or o?
o
Let y be ((-19)/(570/(-108)))/((-3)/(-15)). Suppose 3*h + y = 3*n, -23*h = -4*n - 24*h - 1. Let p be 16/50*(-5)/(-6). Is n > p?
True
Let r = -281378332/3401 + 82734. Is r equal to 0?
False
Let a be 3 + -34*(-4)/8. Let l = a - 18. Suppose 440 = l*k + 6*k. Which is smaller: k or 56?
k
Let g(a) = -26*a**2 + 81*a - 8 + 19*a**2 + 11*a**2 + 1. Let w be g(-21). Which is smaller: w or 53?
53
Let b = -387/20 + -1217/20. Let n = 80 + b. Let m = -35 - -109/3. Which is bigger: n or m?
m
Let r = -3606 - -5979. Suppose 1142 + r = 19*w. Is w > 184?
True
Let v be ((-282)/752)/(3/(-4143)*3). Which is bigger: 173 or v?
173
Let r = 12 + -21. Let s = 528 + -919. Let k = s + 1142/3. Which is bigger: r or k?
r
Let m(o) = -5*o**3 + 124*o**2 + 26*o - 27. Let z be m(25). Is 118/19 > z?
True
Suppose -4*p - 5 + 72 = -3*l, p - 140 = 5*l. Suppose -5*t + 258 = 123. Let z = t - l. Do 58 and z have different values?
True
Let z = -4349 + 4348.69. Which is smaller: z or 9?
z
Let s = -1385 - -1382.5. Do s and 3/7 have the same value?
False
Let f = -21 - -20.94. Let j = -5418 + 5429. Is j smaller than f?
False
Suppose -2 = -2*c + 2*t, 2*t = -3*c - 3*t - 21. Let q be ((9/2)/(-9))/((-1)/c). Let y = 31/117 - 2/13. Which is smaller: q or y?
q
Let x be 6712/9*17/(-34) + -8. Which is smaller: x or -382?
-382
Let y(g) = -50*g**2 - 7*g. Let k be y(-3). Let s = -293 - k. Is 134 less than s?
True
Let q = 218 + -205. Suppose 10 = 4*w - 46. Let a = w - q. Which is greater: 14/13 or a?
14/13
Suppose 5*s - 48 = 4*n, 4*n = -s + 3*n + 15. Let t be s/(-14)*-15*(-12)/20. Is -8 greater than t?
False
Suppose -3*c = 215 - 218. Suppose -22*y = -23*y - c. Which is smaller: 8/29 or y?
y
Let s = 667.21 - 663. Let m = -4 + s. Let x = -0.21 + m. Which is greater: 1/33 or x?
1/33
Let h(o) = 273*o - 11. Let y be h(-1). Let x be 259/(-49) - -5 - y/63. Which is smaller: 4 or x?
4
Suppose -9*t + 7*t + 4*x = -4, -3*t = 3*x + 3. Which is smaller: t or -1292?
-1292
Suppose -377746 = 338*w + 70780. Which is greater: w or -1328?
w
Let o be ((-8)/6)/((-19)/3 - -6). Suppose 2*u - o*s + 96 = 0, 10*u + 111 = 8*u + s. Let x be 3*3/((-18)/116). Is x <= u?
True
Let y = -13188/17 - -776. Let t be ((-24)/10)/3 - (-8)/(-40). Is y > t?
True
Suppose 3*z = -15, -6*z = 3*m - z + 130. Let l = 24 + m. Let b = 8555 - 8561. Is l smaller than b?
True
Let t = 19655 - 8628549/439. Which is smaller: t or 0?
t
Let b = 129 + -56. Suppose -3*g - g + v = -b, -39 = -2*g + 3*v. Let u be -2*(4/g + (-1)/18). Is 0.25 less than u?
False
Let q be (-192)/(-15) + 2/10. Let c be (-1)/(2/(-8)*(-2)/2). Let h be c*4/(-48) + 152/12. Is q at most as big as h?
True
Let a(m) be the third derivative of m**4/6 - 8*m**3 + 45*m**2. Let d be a(15). Let s be 0/1 - 39/(-3). Which is smaller: s or d?
d
Let t be 1275/68*2/(-35). Suppose -2*c - 5*r = 0, -2*r = -c - 3*c. Is c greater than or equal to t?
True
Let x(u) = u**3 - 9*u**2 - 10*u + 2. Let g = -23 - -33. Let s be x(g). Let o be (-3*2/(-48))/((-149)/(-36) - 4). Is o < s?
True
Let q = 616.89 + -616.6. Let s = 3.11 - 3.6. Let i = s + q. Do 0.1 and i have different values?
True
Let f = 57 + -21. Let s be (-17 - -1)*(-1651)/762. Is s at most f?
True
Let k = -0.1 + 1.1. Let u = -3 + k. Let q = -3272.1 - -3272. Which is greater: u or q?
q
Let c(t) = t**3 + 3*t**2 - 77*t - 8. Let o be c(0). Is -561/70 at most as big as o?
True
Let y(w) = w**2 - 35*w - 86. Let t be y(37). Let j be 2/((-8)/t) - 24. Is -16 <= j?
False
Let y = -241 + 1681/7.