). Which is bigger: s or b?
b
Let n(q) = 101*q + 6996. Let f be n(-119). Which is greater: 1 or f?
1
Let v = -12814 - -12814.2492. Is v at least as big as 3/7?
False
Let g be (8/(-12))/(87/(-81) + 1). Let o(n) be the first derivative of n**4/4 - 3*n**3 - n**2 + 8*n - 16. Let p be o(g). Is p at most -10?
True
Let x be (1/(-6))/1 + (-1854)/(-108). Suppose -x*z + 19*z - 6 = 0. Let k(d) = d**2 - 2*d + 10. Let c be k(z). Is c greater than 10?
True
Let l = -2158.23 - -2125. Let v = l - -33. Let i = 0.19 + v. Is i greater than 4?
False
Suppose -280*l = 96*l - 63*l - 42568. Which is smaller: 147 or l?
l
Let h = -80138/7 - -8809797/770. Let y = -234/25 - -4524/275. Let s = y + h. Is 0 <= s?
True
Let p = -284 + 424. Let g be ((-2 - -3)/(-3))/(p/(-168)). Do -106 and g have different values?
True
Let y be (-92)/161 + (93212/269451 - 4/(-18)). Suppose 5*i - 2*i = 0. Which is smaller: y or i?
y
Let o = -10.304 + 0.374. Let u = o - -10. Let d = -141793 + 141793.2. Is u != d?
True
Let u(v) = v**3 - 22*v**2 + 31*v - 93. Let y be (0 - 380/(-30))/(2/3). Let q be u(y). Is -586 at least as big as q?
True
Let w = -9460478/9 + 1049979. Let a = 1184 + w. Which is bigger: -2 or a?
a
Suppose -15 = -19*u + 175. Let g = -3103/24 + 416/3. Is g less than or equal to u?
True
Let k = -18 - -23. Suppose -k*v = 3*d - 17, 11 = 4*v + 4*d - 1. Suppose 0 = -5*a - 2*j - 9, -3*a + v - 9 = j. Which is greater: -7/6 or a?
a
Let w be -1*7*1 + 12881115/1839835. Which is smaller: w or -0.09?
-0.09
Let q = 0.18436 + -384.44436. Let z = q - -384. Which is bigger: z or -2/9?
-2/9
Let d = 8 - 11. Let o = -0.47 + -0.07. Let c = o + 0.6. Which is smaller: c or d?
d
Let m be -1*(16/54)/(-2). Let v(c) = c**3 + 12*c**2 + 17*c + 65. Let z be v(-11). Which is greater: z or m?
m
Let j be (957/(-110) - -9)/((-6)/8). Let m = -63 - -63.15. Is j > m?
False
Let z(f) = f**3 - 49*f**2 - 58*f - 206. Let h be z(50). Which is smaller: -608 or h?
-608
Let j = 839.026 + -840. Let y = 0.0073 + -0.0333. Let k = y + j. Which is smaller: 2/11 or k?
k
Let x = 26 + -36. Let o = 27 + x. Let h = o + -17.1. Is h less than or equal to -7?
False
Let u = -51357 + 51325. Let t = -14 + -17. Which is greater: u or t?
t
Suppose -45 = -6*q - 9*q. Suppose -4*r + q*h + 13 - 2 = 0, 3*r - 4 = -2*h. Let m be 1*((-1 - -12) + (2 - r)). Is 12 less than or equal to m?
False
Let m be ((5 + 10)/(-15) - (3 - -12)) + -3. Suppose 0 = t - 5*h + 16, -4*h + 52 + 7 = -3*t. Are m and t equal?
False
Let p be 10/175*-5 - 12/7. Which is smaller: 3.3 or p?
p
Suppose -8 = -3*c - 2. Suppose 3*j + 4*w = 56, 0 = -j - 0*j + c*w + 12. Let u = -22.5 + 20.5. Is u less than j?
True
Let c(u) = -4*u**2 - 179*u - 139. Let n be c(-44). Which is greater: -108/17 or n?
-108/17
Let o = 0.03 + 83.97. Let q = o + -11. Let z = q + -72.1. Do z and 1 have different values?
True
Suppose -4*t - 11*t - 10*t + 7*t = 0. Which is greater: t or 63/167?
63/167
Let b(u) = 32*u + 2529. Let d be b(-79). Is 117/124 smaller than d?
True
Let f = -312 - -259. Suppose -23 = r + 31. Is r >= f?
False
Let x(h) be the third derivative of h**6/120 + h**5/20 - h**4/3 + 5*h**3/6 - 17*h**2. Let l be x(4). Let s = -511/6 + l. Which is smaller: -5 or s?
-5
Let x(a) = -1946 + 9*a + 19*a + 2069. Let c be x(-8). Which is bigger: -102 or c?
c
Suppose 0 = 22*o - 23*o - 71. Let u = 1446 - 1515. Which is greater: u or o?
u
Let l(f) = -3*f + 14. Let h(i) = -4*i**3 - i**2 - 3*i - 2. Let p be h(-1). Let u be l(p). Suppose u*t = -t + 6. Which is bigger: t or 3?
3
Let r = 12.49 - 2.09. Let x = -72 + 81.4. Let i = x - r. Which is smaller: i or -5.4?
-5.4
Let o = -79 + 123. Let n = o + -39. Let c(k) = 6*k**2 - 3*k. Let g be c(1). Is n at most as big as g?
False
Let o(n) = -10*n**2 - 111*n + 16. Let v be o(-11). Suppose 103 = 4*p - 5*q, -3*p + 0*p = 2*q - 106. Which is greater: p or v?
p
Let j = 2.82 - -92.38. Let c = j - 95. Is c at most -4?
False
Let s be -1*6/4*(-37080)/(-30). Is s > -1854?
False
Let t = 151/4 - 1033/28. Let s be (-14)/63 + (-66)/(-54). Is s >= t?
True
Let g be (-2)/2*(146 - 145). Is g equal to -6/1831?
False
Suppose 0 = -j - 2*n - 6, -5*j - n = 9 + 30. Let s be (3 + 56)*(j + 7). Let i(v) = -9*v + 12. Let c be i(8). Is c bigger than s?
False
Suppose -532 = -7*b - 497. Let d be (2/(-5) + 0)*b/2. Let o = -91/9 - -1195/117. Which is smaller: o or d?
d
Let j be ((-20)/(-186))/(-4*(-4)/(-12)). Let u be ((-79)/155)/(72/(-20)). Let v = j - u. Which is bigger: v or -1?
v
Let b(o) = -o**3 + 44*o**2 - 107*o - 465. Let w be b(41). Which is greater: w or -14?
w
Let y be (-3 - 6*-1) + -2. Let q be 10 - (-8632)/(-247) - -25. Which is greater: q or y?
y
Let n(t) = -5*t**3 + 24*t**2 - 125*t + 15. Let w be n(6). Does w = -954?
False
Let s be (54/5)/((9/(-8))/(465/(-124))). Is s != 40?
True
Suppose -11*d = -4*s - 8*d - 8, 5*s + 10 = d. Let u be (207/(-6) - -6)/((-1)/s). Is -57 smaller than u?
False
Suppose -3*w - 2*h - 15 = 0, -6*w = -3*w - 3*h. Let x be (-4)/(57/w + 0). Let k(y) = 2*y**3 + 19*y**2 + 3*y - 53. Let z be k(-9). Which is bigger: z or x?
z
Let s = 1/4466 + -1064025/2233. Is -476 bigger than s?
True
Suppose -b - 2 = 0, -3*o - 6 = -b + 7. Which is smaller: o or 1118?
o
Let k be (9/738)/(4/(-20)*(-5)/4). Which is smaller: -4/21 or k?
-4/21
Let m = 172 + -156. Let y = m + 32. Are y and 49 unequal?
True
Suppose -12*f - 235566 + 63942 = 0. Do -14300 and f have the same value?
False
Suppose -4*j = 3*l - 62, 0 = j - 2*l - 0 - 21. Suppose -j*k + 26*k = 0. Which is smaller: -2/787 or k?
-2/787
Let v = -1.0249 - 0.0751. Which is smaller: 226 or v?
v
Let p be (-14)/63 - (-806)/(-18). Let h be (27475/p)/5 + -4. Let t = h + 126. Is 4 less than t?
False
Let n be (-16)/12*-1*3. Suppose 74*i + 44 = 189 + 447. Does i = n?
False
Let w = 18 + -26. Let q be (-360)/87 - w/2. Let y(s) = -s**3 + 11*s**2 + 42*s + 1. Let i be y(14). Is i less than q?
False
Let l be 2 - ((-4800)/610)/(-4). Is l bigger than 4?
False
Suppose -r - 173 = 221. Let o = -331 - r. Which is smaller: 58 or o?
58
Suppose -8*m = -12*m - 4. Let j be (-3)/(-2565)*849 + m. Which is greater: j or -1/3?
j
Let d = -21448 - -21449. Is -4/6985 at least as big as d?
False
Let p = 180 - 725/4. Suppose 0 = 5*b - 7 - 3. Let x be (-3)/b - (-2)/4. Is p at most x?
True
Suppose 0 = 4*q + 4*j - 3*j + 33, 5*j + 21 = -2*q. Let n be q/80 + (-29)/(-20)*-14. Is -21 greater than or equal to n?
False
Let g(i) = 4*i - 39. Let y be g(11). Suppose 6 = -y*a + 2*a. Let d be a/(-8)*-2*108/(-27). Which is greater: 8 or d?
8
Let v = -3/136 + 831/680. Let s(d) = -d**3 - 4*d**2 - 16*d - 37. Let a be s(-3). Which is smaller: v or a?
v
Suppose -5*x + 15 = 0, 0 = -2*f + 4*x + 2199 + 1765. Is f bigger than 9941/5?
False
Let x be (-3 + (1 - 13))*29. Do x and -438 have the same value?
False
Suppose -2475*o = -2490*o + 2490. Which is smaller: 167 or o?
o
Let o = 36 + -32. Let l(n) = n**3 - n**2 - n - 1. Let k(h) = 3*h**3 - 4*h**2 - 6*h - 1. Let q(b) = o*l(b) - k(b). Let m be q(1). Is m greater than 3/64?
False
Let z = 18.9171 + 0.1029. Let r = z - 19. Is r at least as big as -2/15?
True
Let y be ((-21)/102)/((-2)/(-24)). Suppose -5 = -5*g + g + w, 0 = 4*w - 12. Suppose -5 = x - 4*h, g*x + h + 5 = 4*h. Do x and y have the same value?
False
Let k(w) = -14*w**2 - 5*w + 10. Let u be k(-16). Which is smaller: -3493 or u?
u
Suppose 0 = -0*m - 3*m + s - 753, 0 = -2*m + 4*s - 512. Let g = 28338697/113382 + 28/6299. Let f = m + g. Is 0 at least as big as f?
True
Let i = 59 + -235/4. Let j = 47.273 + -47. Let f = j + -3.273. Is i < f?
False
Let r = -7920 + 7920. Which is bigger: 7/1749 or r?
7/1749
Suppose -50 = -5*m - 30 - 25. Which is smaller: m or -6/1297?
m
Let v = 62.7 - 66. Let z = 34.7 - 31. Let m = v - z. Which is smaller: m or -4/7?
m
Let t be ((-6)/9)/((-4)/(-6)). Suppose 21*h - 15 = 26*h. Let j be (t + 1)/h*4/4. Do j and 7/17 have the same value?
False
Let s be 3/(-4*301/(-608) - 2). Is -613/4 at least s?
False
Suppose 4*c = 5*p + 31 + 12, 0 = -2*p - 4*c + 22. Is p smaller than -2/2921?
True
Let o be 3/(4/(-8)*(3 - 9)). Let v = -8.1 + 0.1. Let p = v + 6. Are p and o nonequal?
True
Suppose -62*s - 14 - 1316 = -76*s. Suppose -2*u + 7*z - 2*z + 193 = 0, 0 = -5*u + 5*z + 475. Is s less than u?
False
Let i be 0/7 - (-2 - 1). Let y be (-42)/(-10) + 44/55. Suppose y*h = p - 191, h + 34 = -p -