maller: -1 or j?
-1
Let a = -16 - -15. Let c = 387 + -404.7. Let d = c - -20.7. Which is smaller: a or d?
a
Let c = 33685 + -45127. Is c at least as big as -22881/2?
False
Let k be 3 - ((-19737)/215 + 1/(-5)). Suppose 11*v = 7 - k. Is v smaller than 0.18?
True
Suppose 21*b = -w + 19*b + 44, 0 = 4*w + b - 141. Let r be (-4)/(-14)*w/68. Is 1 greater than or equal to r?
True
Let d = -38 - -69. Suppose 5*i - 116 = -d. Let l be (1 - 11*-1) + 14 + -10. Which is bigger: l or i?
i
Let z = -7690 - -7501. Which is smaller: -192 or z?
-192
Let g be (-3230)/(-133) + -19 - (8/14)/2. Is 66 < g?
False
Suppose 37*a + 604 = -1246. Let y = a - -161. Is y <= 110?
False
Let l = -32.1 - -26.68. Let x = l + 5.22. Is 0.019 greater than or equal to x?
True
Let v = -64 - -125. Let f = 60 - v. Which is greater: 179 or f?
179
Let h = -189 + 187. Suppose -7*l - 16*l = -l. Which is smaller: h or l?
h
Let h = -3771 + 3726. Is h > -583/13?
False
Let c = 1074 - 758. Let o = c - 306. Which is smaller: 13 or o?
o
Let x = 45375 + -45375. Let t be ((-6)/93)/((-1)/8). Is x != t?
True
Let t = 96 - 58. Let u be -1 - (-477)/12 - 72/96. Is u at most t?
True
Let h = -30419 + 334247/11. Let s = 33 + h. Suppose 32 - 9 = 2*y + 5*r, y - 14 = -3*r. Which is smaller: y or s?
y
Let q = 186 + -186. Let y be (-2*(-2)/(-220))/((-136)/765). Is y at most q?
False
Let f = -247 - -244.43. Let b = f - -0.37. Is -1 not equal to b?
True
Let y be ((-10)/4)/((-3)/6). Let h = 210 - 203. Suppose 2*s = y*t - 6*t + 14, 2*t - h = -s. Is 0.2 smaller than s?
True
Let u be (3/(-42))/((-13)/2). Let a be (-1*1)/(264/(-330) + 4/(-20)). Is a greater than or equal to u?
True
Suppose -2*u - 20 = 4*x + 28, 4 = u. Suppose 3*i = 4*q - 13, -3*i + 0 = -2*q - 1. Which is smaller: x or q?
x
Let p = -5174.0397 + 5174. Are 14 and p unequal?
True
Suppose 179*z + 31150 = -444*z. Let l = -2 + -1. Which is greater: z or l?
l
Let z = 1.989 - -53.811. Let d = 51 - -5. Let u = z - d. Are u and 0.3 nonequal?
True
Let r = 7.252 + -6.072. Is 18 <= r?
False
Let w = -13229/5 + 2640. Let r(z) = -5*z**2 + z + 1. Let x be r(-1). Is x less than or equal to w?
False
Let b(o) = 43*o + 2769. Let l be b(-65). Suppose 13 = -5*n - 17. Does l = n?
False
Let g be 3*(-10)/165 + 20320/7700. Which is greater: g or 2?
g
Let t be (-988718)/195 + 62/465. Let c = t - -5070. Are 0 and c non-equal?
True
Let o = 3327487/69 - 48223. Let a = 2278/207 - o. Which is smaller: a or 10?
a
Let y be 0 + 0 - 1/((-2)/4). Let p = -42 - -47. Suppose p*j = j - g + 5, -4*j + y*g = -2. Which is smaller: 3 or j?
j
Let y(i) = 2*i**3 + 5*i**2 + 6*i + 2. Let b be y(-2). Let v(n) = 3 + 0 + 6 + 1 - 5*n. Let u be v(b). Is u at least as big as 40?
True
Suppose -2*s = -6*s + 4. Let o be (-3)/(-3*978/(-36)). Is s bigger than o?
True
Let k be ((-99)/198)/((-4982)/(-4)). Are -1 and k non-equal?
True
Let y(j) = 2*j**2 - 6*j - 4. Let h be y(3). Let w(r) be the third derivative of -r**4/24 + 11*r**3/6 + r**2. Let u be w(h). Is u equal to 16?
False
Let n = 0.12367 - 0.22367. Is 2013/5 smaller than n?
False
Let u(v) = v**2 + 27*v + 56. Let m be u(-25). Let t(z) = 0*z - m + 5 - 14*z - 43. Let r be t(-8). Are 68 and r non-equal?
False
Let m = 1058255768/159555 + -72958/11. Is -1 greater than or equal to m?
False
Let l be -20*-15*(-13)/195. Is l <= -430/21?
False
Let v = 8206/45 + -1652/9. Suppose -6*b + 12 = -5*b. Let u = -14 + b. Which is smaller: v or u?
u
Let q = -340801/35 - -73175/7. Is 715 at most q?
True
Let i = 409 + -404. Let o(m) = m**3 - 3*m**2 - 9*m - 6. Let b be o(i). Which is smaller: b or -31?
-31
Let u = -86 - -74. Let p be ((-15)/(-3))/(4/u). Let m be 4 - (p/(-175) + 4). Which is smaller: 1 or m?
m
Suppose -63 = -7*m, -2*f - 4*m + 1253 = -259. Which is smaller: 736 or f?
736
Let b(n) = -2*n - 34. Let h(u) = 3*u - 9. Let y be h(-3). Let g be b(y). Suppose 60 = 2*i - 2*d + 6*d, i - g*d = 18. Is 25 at most as big as i?
False
Let l be ((-5)/1 - -3) + -3. Let i be (l/(10/4))/(-2). Let h = -11389 + 11384. Which is smaller: h or i?
h
Let b = 13995829/48 - 291593. Which is bigger: b or -12?
-12
Suppose -87*p - 6*p = -112437. Is 1209 less than or equal to p?
True
Let j be 14/(-20) - 13442/(-6110). Let d = -0.2 - -0.4. Let x = d + 0. Is j less than or equal to x?
False
Suppose -m - 109 - 44 = 4*c, -5*m - 3*c - 748 = 0. Is -1328/9 > m?
True
Let x be ((-12)/10)/(0 + 6/(-15)). Suppose x*d = -3, d + 87 = 2*w - 2*d. Suppose w = -3*h - 3*h. Is -9 not equal to h?
True
Let p(j) = -j**3 + 3*j**2 + 3*j + 4. Let h be p(3). Let c be (-3740)/190 + h - (-10)/2. Which is smaller: -1 or c?
c
Let k = -9444 - -14212. Which is bigger: 4765 or k?
k
Suppose 17*o + 3*r - 223 = 12*o, 3*o + 3*r = 129. Suppose o*y = 7*y - 6120. Which is bigger: -155 or y?
y
Let n = 451 + -451. Suppose 10*x + 165 - 35 = n. Which is greater: x or -14?
x
Let l = 836996.5 + -836958. Let s = 15/8 - 13/8. Is s > l?
False
Let a be ((-5)/3)/(244/60 - 4). Let t = a - -73. Is t != 49?
True
Let c be (-45)/(-98)*(-2703)/795. Is c < -3?
False
Let u = 24829/37 - 671. Let s(y) = -y**3 - 8*y**2 + 10*y + 12. Let l be s(-9). Suppose -2*j - l*h - 19 = -20, 3*h = -5*j - 11. Are u and j unequal?
True
Let v be ((1 + 0)/(-1))/((-2)/(-230)). Let n = v - -52. Is -62 at most n?
False
Suppose 4*f + c + 127 = -50, 0 = 4*f - 2*c + 162. Let w = 66 + f. Suppose 0 = -w*x + 27*x + 4. Which is smaller: -18 or x?
-18
Let t = 179.2 - 0.2. Let b = t - 177. Which is greater: b or -72?
b
Let x = -2.973 + 0.013. Let m = -0.02484 - -0.06484. Let v = m - x. Which is bigger: v or -13?
v
Let c(z) = 259*z**2 - 97*z + 928. Let y be c(9). Is 21034 smaller than y?
False
Let p(h) be the second derivative of -29*h**5/10 - h**4/4 - 5*h**3/6 - 3*h**2/2 + 2*h - 21. Let k be p(-1). Which is greater: k or 58?
58
Suppose 77*v - 58100 = -64*v + 161*v. Is v equal to -20344/7?
False
Let s = -1541 - -1558.46. Let l = s + -5.46. Let a = 0.9 - 1. Which is bigger: l or a?
l
Let i = -3395 - 981. Is -4376 smaller than i?
False
Let n be (2 - (2 + -1)) + -16. Suppose t + 5 = -4*u + 10, 4*u - 2*t = -10. Suppose u = -2*l + 4*h - 32, -3*h + 0*h = -3. Which is greater: l or n?
l
Let b = -714769/207 - -3453. Let a = 217/1035 - b. Is 5 < a?
False
Let b = 10271 + -10416. Which is smaller: b or 2/111?
b
Let j be ((-5928)/570)/((-1)/60). Is 624 greater than j?
False
Let m(w) = 172*w**2 - 6*w - 3. Let d be m(-3). Is d != 1561?
True
Suppose 6*u = -3*u - 63. Suppose 15*v - 19*v - 20 = 0. Do v and u have different values?
True
Let y = -143899/33186 + 31/11062. Let a(t) = -t + 4. Let m be a(0). Let h(w) = w**2 - 6*w + 3. Let l be h(m). Are y and l unequal?
True
Let h be (-2)/12*2 - 12274/(-36795). Let c = -320014/36795 + h. Let d = c + 25/3. Which is smaller: d or 1?
d
Let t = -1329 + 868. Let a = t + 461. Does -5/17 = a?
False
Let x(o) = o. Let r be x(2). Let j be 0*r/(-6) + 16. Let k = 231 + -216. Which is greater: k or j?
j
Let p = -29002 - -31653. Which is smaller: -5 or p?
-5
Let l(s) = -4*s**2 - 58*s + 10. Let o be l(-13). Suppose -30*d = 58*d + o. Let i be (-262)/1016 + 2/8. Is i smaller than d?
False
Let k be 2/4 + 1/(-2). Suppose 4*l + b - 3 = k, 3*l = 4*l + 4*b + 3. Let x be (-40 + 53)/2314*(-4 - -8). Which is smaller: l or x?
x
Let g be 24225/27 + (8/(-36))/1. Suppose -g = 5*v + 4*c, -2*v = -6*v + 3*c - 730. Is -180 at least as big as v?
True
Let q be 9902/84 - (-5)/(-30). Let g(v) = -v**2 - 5*v + 8. Let l be g(-14). Let t = q + l. Which is smaller: t or -1/19?
t
Suppose 2*o = -10 + 34. Suppose -6*g = o + 6. Let q be -1*(g + 3 + 0). Which is bigger: 18 or q?
18
Let y = 322128/161 + -59386937/28980. Let d = y - -11/252. Which is greater: d or -48?
-48
Suppose 0*t = -5*t - 5*u - 500, 200 = -2*t - 4*u. Let c = -141 - t. Let z = -91 - -50. Is z not equal to c?
False
Let y = 19 + -37/2. Let r be -4 - -3*(-3420790)/3285. Let n = r + 3128. Are n and y unequal?
True
Suppose -3 + 1 = 2*h. Let s = -1568896266/9737374075 - -6/2723741. Let j = -2/275 - s. Is j less than h?
False
Let c = 436.4 + -480. Let p = c - -19.6. Are p and 0 equal?
False
Let x be 45*-5*(4 + -3) - 4. Let j = x + -46. Let s = -3577/13 - j. Which is bigger: -1 or s?
s
Suppose 5*p - 4*q - 35 = 0, -3*p + 4*q + 6 = -7. Suppose -p*b = -20*b + 54. Which is bigger: b or 7?
7
Suppose -2*n + 2*l - 13 = 37, -20 = -4*l. Let z be 6/n + (-2522)/