 9 or w?
w
Let l = 65 + -16. Suppose 6*u = -251 - l. Let y = 97 - 146. Is y >= u?
True
Let t = -0.06 - -0.41. Let o = -0.05 + t. Let j = -43769.7 - -43770. Is o at most as big as j?
True
Let q = 0.9284 - -0.3716. Which is smaller: q or -12?
-12
Let h = -9606/7 + 1375. Suppose 16 = -27*p + 31*p. Is h smaller than p?
True
Suppose 3*b = 1 - 10. Let j be (-6)/3*b/4. Let m = 264 + -1319/5. Are m and j non-equal?
True
Suppose 6*o + 8 = 20. Suppose -k - 4*r + 79 = 0, o*k + 138 = 4*k - 2*r. Which is greater: 0 or k?
k
Let t = 3/1051 + 1871/80927. Is t bigger than -1?
True
Let h be 4/(-90) + (-990)/1782. Which is smaller: h or -1471?
-1471
Let s be (1792944/(-60))/(-12) - ((-2)/10)/(-1). Which is bigger: s or -0.2?
s
Suppose -2*f - 2*r + 134 = 0, 1866*r - 1865*r = f - 49. Let w be 30/(2 + 3/(-2)). Is f not equal to w?
True
Suppose -833*x + 811*x + 22 = 0. Which is smaller: -53/154 or x?
-53/154
Let o be ((-12)/7 - -2) + 159/7. Suppose 0 = o*z - 14*z - 315. Suppose -5*q + 2*n = -39 - 17, 5*n = 2*q - z. Does 88/9 = q?
False
Let b = -0.445 + 0.45. Let m = 2.495 + b. Suppose 3*w = r + 2, -26 = -w + 5*r - 2. Do w and m have the same value?
False
Let r(v) = v**3 + 20*v**2 + 46*v + 62. Let c be r(-17). Let j = c - 144. Are j and 4 equal?
False
Let p = -2908069/117 - -24855. Is 1 >= p?
True
Let p be (1 - (0 + 2)) + 2. Suppose -4 = 4*s, 2*s = -d - 0 - p. Suppose 80*m - 22 = 78*m + 2*l, -5*m - 2*l = -111. Which is bigger: m or d?
m
Let q be (-7)/((-441)/78) - (-8)/(-12). Let s = -83/14 - q. Let h be (-6)/(-21) + 88/(-14). Which is smaller: s or h?
s
Let z(u) = -78*u - 19. Let n be z(-5). Let s = 600 + -230. Is s at most as big as n?
True
Let w = 39.5 - 23.4. Let j = 15.9 - w. Let p = 0 - -6. Which is greater: j or p?
p
Suppose 0 = 5*w - 28 + 3. Suppose -7 = -5*v + 2*k - w*k, 5*k - 25 = 5*v. Let g be 1/4*v - 405/(-36). Which is smaller: g or 13?
g
Let t(f) = -13*f**3 + 37*f**2 + 8*f - 2. Let n be t(3). Let a = -21.82 + 22. Let u = 0.15 - a. Is n at most as big as u?
False
Let u = 134 - 138. Is 305 not equal to u?
True
Let p = 6 - 4. Let r be p/(-1) - (-12)/8. Let k(n) = -n**3 + 48*n**2 - 358*n + 271. Let i be k(39). Is i at most r?
True
Let t = -10 + 12. Suppose -m + t = m. Let j = 7/2133 + 4970/2133. Do m and j have the same value?
False
Let r be 20/(-360)*6 - (-374)/150. Is 3 > r?
True
Let n = -222 + 238. Suppose -10*l + n*l - 6 = 0. Which is greater: 2/857 or l?
l
Let p = 2.5856 - 2.6586. Is p bigger than -20.5?
True
Let a = -4440 - -4441. Which is greater: a or -99?
a
Let q(f) be the second derivative of 18*f**2 + 17/12*f**4 - 1/20*f**5 + 22*f + 5/2*f**3 + 0. Let n be q(18). Is n at least as big as -16?
False
Suppose -3745 + 16177 = 24*v. Let f = 508 - v. Is 10 less than f?
False
Let q(v) = -6. Let o(f) = f - 18. Let z be (22/(-8) - -1)*(-56)/(-14). Let a(m) = z*q(m) + 2*o(m). Let s be a(-6). Which is smaller: -2 or s?
s
Suppose 30 + 38 = -4*h + 4*j, h + 4*j - 3 = 0. Let q(p) = -2*p**2 - 23*p + 16. Let y be q(h). Which is smaller: -20 or y?
y
Let v = 11/1156 + 290679/5780. Do v and 49 have different values?
True
Let g(h) = -3*h**2 - 28*h - 32. Let l be (1 - 3)/(60/240). Let r be g(l). Let v be (-276)/(-525) - (-4)/(-14). Which is greater: r or v?
v
Suppose -4*n + 3455 = l, 5*n - 5391 + 1939 = -l. Is l less than 3468?
True
Suppose -199 = 2*q - 533. Let m = -166 + q. Which is smaller: -1/41 or m?
-1/41
Let y = -286 + 303.9. Let g = y + -18. Let n = -18.4 - -15. Which is smaller: g or n?
n
Let i = 11565/11 + -1050. Let s = -177.04 - -177. Let k = -0.06 + s. Which is greater: i or k?
i
Let k = 181 - -4. Is k > 183?
True
Let h be (-111)/(-35) - (-49)/(-147)*24/14. Which is bigger: 202 or h?
202
Let v(d) = -d**3 - 6*d**2 + 8*d + 5. Let i be v(-7). Let n be 8/12*(0 - (-3)/i). Which is smaller: 2/147 or n?
n
Let v = -342 + 700. Let t = -351 + v. Let k = 0.01 - -4.99. Which is smaller: t or k?
k
Suppose -3*j + 4*z = 23, -5*j + 5*z = 8*z - 10. Is j != 1/8807?
True
Let r = -210.81 + 209.81. Which is smaller: -31/264 or r?
r
Let p = -12206 - -12232.6. Which is smaller: p or 1/5?
1/5
Let v = 2662 + -2541. Is v <= -2/5?
False
Let j = 12923/7 + -12921/7. Let q be 19 - (-2 - (-3)/1). Let d be 4/q - (-2)/(-90). Which is smaller: d or j?
d
Let p = 31982 + -32142. Is p less than -138?
True
Suppose 14*v + 496 = -2*v. Let m be v/(-23) - (1 + -8 + 8). Which is greater: m or 1?
1
Let c be (7 + 29/(-15))/(6/(-215)). Is c <= -181?
True
Let l = 81 - 185. Let y = -99 - l. Is -0.07 at least y?
False
Let g = -21 + 21. Let k = -718 - -705. Which is smaller: k or g?
k
Let o = -23 - 2. Let p be 20/o*(-1 + 6). Let f be (-2)/10 - (-48)/(-10). Which is greater: f or p?
p
Suppose 78*x + 51*x = -8*x + 44*x. Let v = 544 + -1788. Let d = v + 13694/11. Is d less than or equal to x?
False
Let j(k) = 1 + 19*k - 10*k**2 - 26*k**2 + 48*k**2 + 1 + 7*k. Let v be j(-2). Which is smaller: v or -79?
-79
Suppose c = -2*n - 6, -c - 6 + 7 = -5*n. Let v(w) = -4*w - 12. Let o be v(c). Let u(p) = p + 11. Let y be u(-5). Which is greater: y or o?
y
Let y(r) = -54*r + 278. Let t be y(5). Is 51 at least t?
True
Let y = 68 + -69. Let i be 12/(-4)*y - 103/34. Let q = 19 - 19. Are q and i non-equal?
True
Let j = 6715 - 6997. Let p(h) = 35*h**3 - 2*h**2 - 3*h. Let x be p(-2). Are x and j nonequal?
False
Suppose 0 = 2*r - 2*q + 2, 34*q - 9*q - 5 = 5*r. Which is smaller: -7/788 or r?
r
Let u(n) = 2*n + 61. Let v be u(-29). Suppose v = 4*q - b - 1, 0 = 3*q - 3*b - 12. Which is bigger: -2/991 or q?
q
Let a be 2 + -15 - -29 - 2454. Which is bigger: -2437 or a?
-2437
Let g = -0.2 + 1.2. Let l = 93.907 - 1.107. Let m = l - 93. Which is smaller: g or m?
m
Let q be (1554/(-66) - -24) + 6/11. Is 2/19643 < q?
True
Let a(o) = -17*o + 49. Let u be a(-31). Let w = u + -216. Is w >= 361?
False
Let y be (6*(-1048)/364)/(31/(-1519)). Let a = 262 - 1108. Let g = y + a. Are 0 and g nonequal?
True
Let j(d) = 47*d + 241. Let t be j(-9). Which is smaller: t or -1645/9?
-1645/9
Suppose -137*j + 205*j = 0. Is -6/5315 at least j?
False
Let f = -3023/4 + 21125/28. Which is greater: 68 or f?
68
Let y(l) = -315*l**2 + 245*l - 492. Let t be y(2). Is -1263 <= t?
True
Let m = -10344/3619 + 138/47. Let x(p) = 40*p + 480. Let d be x(-12). Is m less than or equal to d?
False
Let s = -31708 + 475622/15. Let x be (-1)/(-4) + (-21)/52. Is x bigger than s?
False
Let n be 1144364/228865 + 35/(-15 + 8). Is n <= -1?
False
Let p = -5/2853 + 4202504/19971. Which is smaller: 0.3 or p?
0.3
Let t = -573.2 - -493. Let r = t - -80. Is 0.62 at most r?
False
Let g be (-40)/42 - 4/(-14). Let b = -20479 - -20478. Is g smaller than b?
False
Suppose 4*i + 0*i - 4*a - 152 = 0, 3*i = 2*a + 109. Suppose 2*p - 148 = -4*f, 4*f = -12*p + 15*p + 118. Which is smaller: f or i?
i
Let h be (9 + 1)*-1*(-2 - -3). Let d be ((-3)/(-6))/(h/(-1200)). Let b = -62 + d. Which is smaller: 1.6 or b?
b
Let q be -10 + 60/15 - (0 + 417). Which is bigger: q or -2114/5?
-2114/5
Let y be ((-28665)/(-154))/39 - (6 - 1). Which is bigger: -31 or y?
y
Let m = 246 + -246. Let p(j) = 3*j**3 + j**2 + 3*j + 234. Let r be p(m). Which is greater: 233 or r?
r
Let l = 0.3 - 6.3. Let j = 108.1 + 81.9. Let q = j - 189.6. Is l less than or equal to q?
True
Let l be (5 + -2)/((-159)/1908). Which is smaller: -760/21 or l?
-760/21
Let m = -32 + 32. Let k = 495257 + -23261477/47. Let d = k - 332. Do d and m have different values?
True
Let r(k) be the first derivative of -1/4*k**4 - 11*k + 2*k**3 + 8 + k**2. Let g be r(6). Which is smaller: -6/19 or g?
-6/19
Suppose 3*p - 6988 = -3*h + 6722, p = 5*h - 22862. Which is smaller: h or 4571?
4571
Let m be 5/(-2)*68/85 - -5. Suppose -3*s = 5*z + 131, -2*s - 88 = -m*z + 6*z. Do -241/5 and s have the same value?
False
Let r(j) = -45*j - 5. Let g be r(-8). Let x be 2/(6/1059) - (-30)/10. Is x equal to g?
False
Let u(l) = 25*l + 10. Let o be u(3). Let i = 28.5 + -28.5. Is i < o?
True
Suppose 4*v - 32 = 44. Let t(x) = x**3 - 19*x**2 - 2*x + 35. Let n be t(v). Let a be 0/(n + 12/2). Is a > 11/9?
False
Let s = -4663/13031 + 7/157. Is 0 != s?
True
Suppose 29*m - 372 = 324. Is m at most 21?
False
Suppose 0 = k - 3*n + 5, k + n + 402 - 405 = 0. Let f(l) = l + 5. Let j be f(-4). Let b be 2/9 - j/3. Is k > b?
True
Let x = -63 + 61. Let r be (0 - 0)/(-4 + (0 - x)). Suppose 5*v + 0*v