s?
0.2
Let m = 6534 - 6559. Which is smaller: m or -538/21?
-538/21
Suppose -8*m + 5*m = -24. Let k = -17 - -22. Suppose 0 = -k*p - m + 23. Is 2 greater than p?
False
Suppose -242 = -55*m - 132. Is 47/82 at most as big as m?
True
Let k(s) = s**3 + 12*s**2 - 18*s + 11. Let l be k(-10). Suppose 6*u - l = 17. Let x = u + -73. Is x less than 1?
True
Let k = -6189 - -6191. Is k < 550?
True
Let y = -3179417/8415 - -4156/11. Which is smaller: y or 1?
y
Let n = 5/21 - 23/21. Let d = 43/49 + n. Is 0 less than or equal to d?
True
Suppose 0 = 2*q - d + 33, q + 2*d + 17 = -2. Let t be 276/14 + 2/7. Suppose t = -l - 2*o, -74 = 3*l + o - 19. Is l smaller than q?
True
Let m = -7 + -9. Let s = 942/59 + m. Suppose -2*b + 3*a - 4 = -3, 2 = b + a. Is b less than or equal to s?
False
Let m = 26/85 - 12/17. Let w = 146 + -146.038. Is m not equal to w?
True
Let g = -6134551/62 + 197771/2. Let u = g + 59. Is u < 0?
False
Let f be (-2 + 1)*5217 - (41 - 14 - 25). Do f and -20873/4 have different values?
True
Let k(j) = j**2 + 6*j - 15. Let c be -3 + 2 - 2 - 4. Let r be k(c). Is r greater than -10?
True
Suppose 0 = -781*b + 730*b - 265680 - 134109. Which is bigger: -7838 or b?
-7838
Suppose 0 = 3*r + 2*i + 13, -4*i - 8 = 4*r - 6*i. Let x be (-78)/(-130)*(-895)/r. Is x != 178?
True
Let m = 91/15 + -27/5. Let t = -1.28 - -1.78. Let a = 9.5 - t. Which is bigger: a or m?
a
Let t be 66/(-15) + (-3)/5. Let x be ((-31)/135)/((15/9)/t). Let v = x - 1/45. Which is smaller: 42 or v?
v
Let v be ((3 - 36/9)/(-1))/((-4)/(-14)). Which is smaller: v or -2/13?
-2/13
Let o = 17057/3 + -296890/51. Let b = o - -34047/187. Which is smaller: b or 45?
45
Let v = -101.20495 + 1.23795. Let s = 98.22 - -1.78. Let j = v + s. Which is smaller: 1 or j?
j
Let g(l) = l**3 + 6*l**2 - 108*l + 41. Let n be g(-14). Let o = 41 + -41.17. Which is greater: o or n?
o
Let l = 597 - 22091/37. Let i be (6 - 11) + (1 + -5 - -8). Which is bigger: l or i?
l
Let h(v) = 2600*v + 5784. Let k be h(-3). Which is greater: k or -2020?
k
Suppose 5*h - 2*x = -14, -2*x + 2 = -h - h. Let i be h/2*1/(-2). Which is smaller: i or -51?
-51
Suppose -d + 3 = 0, x + d + 207 = 6*x. Let o = -638 + 681. Which is bigger: x or o?
o
Let g(n) = 13*n + 120. Let h(l) = -27*l - 237. Let p(c) = -7*g(c) - 4*h(c). Let x be p(14). Which is greater: x or 347?
347
Let b be 2 + -507 + 6 + 3. Which is smaller: -2482/5 or b?
-2482/5
Suppose -2*w - 9*w = 4961. Let x = w + 366. Is -85 less than x?
False
Let d = -3254.26 - -3255. Which is greater: -15 or d?
d
Suppose -3*r = 12, 0 = q - 3*r - 4 - 12. Let z be (-688)/(-731) - q/(-34). Which is greater: 0 or z?
z
Suppose 12*n = 20 + 4. Suppose n*w - 10*r = -11*r - 841, w - r + 428 = 0. Is w less than -423?
False
Let w = 1588 + -1564. Is 29 less than or equal to w?
False
Suppose 2*a = 2*s + s + 83, 2*a + 5*s - 59 = 0. Suppose o = 4*u - 0*u + a, 4*u = -o + 13. Suppose -o = -h + 47. Is h at least as big as 71?
True
Let q be (22/66)/(1/(-429)). Which is greater: q or -184?
q
Suppose 18*z + 753 + 219 = 0. Let j(n) = -2*n**3 + 29*n**2 - 10*n - 6. Let f be j(14). Let y be -2 - (f - -2) - -1. Is y at most z?
False
Let o be 8*84/576 + 2/(-12). Let s(y) = -y**3 - 18*y**2 + y + 20. Let c be s(-18). Which is smaller: o or c?
o
Let k = -36 - -106/3. Let b = -8/21 - -286/861. Is b <= k?
False
Let a = 25.92 + -25.82. Which is greater: 261 or a?
261
Suppose -1226*g + 1174*g = -1768. Let u = -5 + 37. Is g less than or equal to u?
False
Let q = -82.16 - -82.012. Is 4 less than or equal to q?
False
Let z be (-4)/7 - ((-81397)/161 - 7). Which is bigger: 513 or z?
513
Let b = 104.5 + -288.8. Is b smaller than 1?
True
Suppose -150*c = -564 + 28614. Which is smaller: -210 or c?
-210
Let m = -18/41 + 815/1763. Let v(d) = -d**3 - 20*d**2 - 18*d + 20. Let t = -687 + 668. Let w be v(t). Is m smaller than w?
True
Let c = 89.829 - -1.681. Let j = c - 92. Let r = 0.39 + j. Which is bigger: r or -0.17?
r
Let u(f) be the first derivative of -10*f**2 - 164*f + 4. Let z be u(-5). Which is bigger: z or 0?
0
Let k(o) = o**3 + 20*o**2 + 112*o + 184. Let c be k(-5). Let f = -378 + 12095/32. Is f greater than c?
True
Suppose -14*z + 300 = z. Suppose -20*p - z = -15*p. Let u be (37 - (3 + p))/((-6)/3). Are u and -20 unequal?
True
Let p(m) = 3*m + 88. Suppose -109*o + 168 = -115*o. Let f be p(o). Is 4 at least as big as f?
True
Suppose 0 = 573*m - 529*m - 21736. Is m <= 495?
True
Let u(m) = 0*m + 26*m + 0 - 2 - 88. Let g be u(4). Let v be -3 - 3/(6/(-40)). Is g >= v?
False
Let f be (-744)/104 - (-4)/26 - (-1170)/3. Which is greater: f or 382?
f
Suppose -67713 = -29*q - 51*q + 51407. Which is smaller: q or 1491?
q
Suppose 16*s = -5608 + 1048. Which is bigger: s or -287?
s
Let z = -4.236 - -5.736. Is -25 > z?
False
Let g be (-6)/4*(440/156 + (-8)/52). Let b = 2573 - 23192/9. Is b bigger than g?
True
Let l(a) be the third derivative of -a**5/60 + 3*a**4/8 + 3*a**3/2 + 22*a**2. Let w be l(11). Let z be (-2)/3 + 258/(-18). Which is greater: w or z?
w
Let b be (8925/(-2550))/(14/(-48) + 0). Let h(n) = n + 9. Let j be h(0). Is b greater than or equal to j?
True
Let w = -1.51 + 0.48. Let n = w + 1.43. Let r = -5 - 0. Which is greater: r or n?
n
Let h = 345725/77 - 4490. Does h = -2?
False
Let i = -407/5 + 77. Suppose 2*l = 5*m - 45, 2*m = 5*l + 40 + 41. Let z be ((-12)/l)/(-1*3/15). Does z = i?
False
Let p = 3/637 - 9012/637. Is p at most -15?
False
Suppose -11*z = 5*n - 7*z + 24, n + 4*z + 24 = 0. Is n bigger than 15/809?
False
Suppose 4*s + 1561 = -3*b, 244 = -s + 3*b - 135. Let o = s - -385. Which is smaller: -14/5 or o?
o
Let h(t) = 4*t**2 + 24*t + 5. Let p be 18*(-2)/18*3. Let m be h(p). Suppose u = m*r - 30, -r - 2*r - 2*u + 5 = 0. Which is greater: r or -4?
r
Let t be 12 - -1*2/2. Let i(b) = -4*b - 22. Let m be i(-6). Suppose -m*v = -30*l + 25*l + 9, -3*v - 5*l + 24 = 0. Does t = v?
False
Let t(x) = 21*x - 9. Let q be t(-4). Let l = -92 - q. Let o be 2*118/80 + -3. Which is greater: o or l?
l
Let n = 6958 - 6971. Is n less than 8.7?
True
Let t = -37 + 42. Let s = -109 - -120. Suppose 5*r = 4*k - 1 + 25, 4*r = -5*k + s. Which is smaller: k or t?
k
Let m = -3293 - -3329.4. Which is greater: -0.05 or m?
m
Suppose 2*z - 29 = -2*b + 1, -4*b + 39 = -3*z. Suppose 68 + 40 = -b*p. Which is bigger: -8 or p?
-8
Let z(f) = 3*f**2 - 55*f + 85. Let y be z(17). Suppose -2*u = -2*m - y + 45, -24 = 3*u + 3*m. Which is greater: u or -39/4?
-39/4
Let o = 1127/133062 + -1/993. Let m = 65/268 + o. Which is smaller: m or -0.02?
-0.02
Let q be (-31)/(-341) + (-108)/(-22). Suppose 3*i + a = -1, -q*i - 54*a + 55*a = -1. Which is smaller: -2/1475 or i?
-2/1475
Let t be ((-19)/(228/(-36)))/(0 - 1). Is t < 109?
True
Suppose -5*f - 10 = 5*h, -45*h - 4*f = -50*h - 1. Which is smaller: h or -5/1494?
h
Let x be (24/4 - 20)*-2. Let t be (x/(-6) + 6)*-3. Which is smaller: -30/11 or t?
t
Suppose -1046*h + 1050*h = 4*t - 2428, -4*h - t - 2453 = 0. Which is bigger: -613 or h?
h
Suppose -2*m - 378 + 376 = 0. Let p be -2*-3*(-1)/(-402). Is p less than m?
False
Let a be 830/13156 + (-1846)/(-169) + -11. Which is greater: a or 1?
1
Suppose -4*t + 4 = 40. Let q be 6/(-14)*(-3)/t. Suppose -4*p - 11 = -m, 2*p + 108 - 107 = 5*m. Are m and q non-equal?
True
Suppose 4*b = 3*o - 6083, 25*o - 20*o - 7610 = 5*b. Let h be b/19092 - 1/(-12). Is 1 <= h?
False
Let x = 157.72 - 157.52. Which is bigger: -3123 or x?
x
Suppose 89 = -5*q + 3*s - 196, 2*q + 114 = 4*s. Which is bigger: q or -83?
q
Let l = 7323 + -7291. Which is greater: 898/27 or l?
898/27
Let d be 101*-4*(-2)/(-4). Let n be -219 - 17/(782/(-736)). Which is smaller: d or n?
n
Suppose 576*u = 605*u + 114782. Which is smaller: u or -3960?
-3960
Suppose -4*r = 5*v - 417, 11*r - 13*v - 430 = 8*r. Is -24 equal to r?
False
Let i(v) = 3*v - 14. Let l be i(5). Let r be 6 + 0 + 4/(-4) + l. Let w be (r/(-9))/((-2)/(-39)). Which is bigger: w or -15?
w
Let q(n) = n**3 + 6*n**2 - 4*n - 1. Let r be q(-4). Let x = r - 63. Let k be (x/20*1)/((-2)/(-5)). Which is greater: k or 0.3?
0.3
Let p(c) = c + 38. Let f be p(-15). Is 546/25 greater than or equal to f?
False
Suppose 243*i - 245*i = 3*k, 2*k - 16 = 4*i. Is -3349 > i?
False
Let r = -319 - -303. Is r at most -25?
False
Let d = 129 - 100. Let b be ((-414)/(-28))/(27/(-2) + 14). Which is smaller: b 