 + -28232.1. Which is smaller: z or -15/11?
-15/11
Let j(c) = 1098*c + 23. Let l be j(-1). Let g = 115022/107 + l. Which is bigger: g or -1?
g
Let r be (-4)/(-10) + (-46)/(-35). Suppose -6*i + i = -3*c + 28, 0 = -3*c - 4*i + 37. Suppose -5*a = 3*n - 16, 5*a - c = -n + 1. Which is greater: n or r?
n
Let v(h) = -2*h + 14. Let x be v(2). Suppose x*d = d - 810. Let q be -3 + 7/((-196)/d). Is q at most -1/2?
False
Suppose 2*t + 32*t = 646. Let b = 1501/21 + -208/3. Do b and t have the same value?
False
Let f(s) = -5*s + 50. Let h be f(13). Let i be (-17642)/72*h/(-10). Let p = 1079/3 + i. Does p = -9?
False
Let w be 1 + -2 + 1 + 2. Let c(f) = -f + 16. Let i be c(12). Suppose n - i*h = -17, 6*n - w*h + 13 = n. Which is bigger: n or 1/18?
1/18
Let x = 173 - 118. Let l = x + -54. Let q be 0 + (l/3)/((-3)/9). Is q > 12/11?
False
Let p be -1140 - ((-66)/(-6) + -12). Which is smaller: p or -7967/7?
p
Let y = 302747/1098192 - 142/501. Let s = y + 323707/1321776. Let j = 1/67 - s. Which is smaller: j or -1?
-1
Let g be (-3 - 2)*2 - (-147)/15. Is 2100 less than g?
False
Let g be 0 + -4 + (0 - 0) + 8. Suppose -g*n + 20 = -4*j, 4*j + 32*n + 6 = 29*n. Which is greater: -31/7 or j?
j
Let v = 15576933/398 + -39138. Is v smaller than 1?
True
Let m(d) be the second derivative of d**4/6 + 14*d**3/3 - 8*d**2 + 36*d. Let j be m(-11). Which is smaller: j or 1?
j
Let n be (-6)/2 + (7894/2630 - 0). Let g be (3 + (-11841)/3945)/(69/858). Let b = n + g. Is 1 greater than b?
True
Suppose 6*v - 120 = 4*d, -v = 5*d - 113 + 76. Suppose -2*w + 66 = 4*o - 0, 3*w + 99 = 5*o. Is v less than o?
False
Let b(r) = -r**3 - 14*r**2 - 14*r - 3. Let g be b(-13). Suppose 12*w = g*w. Let m be (-24)/(-10) + 3 + 153/(-45). Which is smaller: m or w?
w
Let l = -274 - -100. Suppose 0 = 6020*g - 6014*g - 6. Is g greater than l?
True
Let j = -1/60 + 133/780. Let n = 16580 + -16581. Is n at most j?
True
Let y be 2/9 - 32/(-18). Let v = 3 - y. Let z be (-44)/77 - 58/(-126) - (-17371)/(-86256). Which is smaller: v or z?
z
Let t be 35037/8619 + 5 + -10. Which is greater: -1 or t?
t
Let w = 902.5 + -902.4. Which is bigger: w or -9/4?
w
Let l = 0.6 + -1.06. Let u = l - 49.54. Let k = u - -51.3. Which is smaller: 1/4 or k?
1/4
Let q(n) = -n**3 - 24*n**2 + 66*n + 366. Let w be q(-25). Is w <= -654?
True
Let m = 157239/25750 - 719/125. Which is greater: 1 or m?
1
Let d be 60/16 + -3 + (-9)/(-36). Let u = -439/2679 + 11/47. Which is smaller: u or d?
u
Let c(b) = b**3 - 3*b**2 - 12*b + 4. Let h be c(-3). Let z(p) = -10*p - 78. Let t be z(h). Is t less than or equal to 62?
True
Let m be ((-28)/(-21)*-1)/(26/(-39)). Which is greater: m or 12.09?
12.09
Let m be (11/110*745)/((-1)/2). Is m > -146?
False
Let z be -3 + (-9336)/(-2) - (-12 - (-8)/2). Are 4671 and z unequal?
True
Let m = -1283 - -1281.3. Let u = -13.755 + -0.045. Let k = u - -14. Is k >= m?
True
Let k be -1 + (-48)/(-56) + 156/14. Suppose 0 = -2*l + 5*n + 18, -8*l - k = -5*l + 2*n. Is 1/212 less than l?
False
Let v(z) = 4*z - 9. Let o be v(3). Let h be (o - 26/8)*-4 + -56. Let k = h + -2. Which is bigger: -58 or k?
k
Let h be -15*(-2)/(-4)*(-78)/117. Suppose 2*j = -h*m - j - 7, 3*j = m - 13. Let p be ((-1)/(2 - m))/(6 + -5). Which is greater: p or 4/9?
4/9
Suppose -20 = -s + 4*x - 8*x, -x = 5*s - 24. Suppose 3*y + 3 = 0, -s*m - y + 1662 = -2821. Let l = 163667/146 - m. Which is smaller: l or 0?
0
Let g(j) = j**2 + 5*j + 4. Let q be g(-5). Let h = -1559 + 1559. Suppose h = 8*w - q*w + 8, -3*w - 9 = -3*p. Is 5/12 greater than p?
False
Let v(q) = -q**2 - 29*q + 15. Let f be v(-20). Let g = f + -258. Suppose 2*l + 90 + 34 = 0. Is g bigger than l?
False
Let p = -3 + 3.04. Let b = -58.372 - -58.272. Which is smaller: b or p?
b
Let o be (910/(-276))/13 - 1/(-6). Let f(v) = v**2 - 5*v + 2. Let k be f(7). Let r be 64/k + (-6)/2. Do o and r have different values?
True
Let v be (-29)/(232/(-4880)) - (2 - 0). Which is greater: 602 or v?
v
Let i = -0.99 - -173.99. Let d = i + -162. Is d less than 5?
False
Let x = -4.63 + -0.57. Let i = x - 0.8. Does -1/10 = i?
False
Let m be (7/4*18)/(-3). Let l be (-4*(-654)/480)/((-1)/2). Let i = m - l. Which is greater: i or -0.18?
i
Let p(v) = v**3 - 6*v**2 - 9*v + 14. Let s be (-2)/4*-1 + (-2)/4. Suppose 2*d - 6*d - 8 = -4*y, -2*y - 3*d + 29 = s. Let u be p(y). Which is bigger: u or -1/2?
u
Let q = -14.59 + 14.89. Let p = 34 + -43. Is p at least q?
False
Suppose -8*u + 1212 = -10*u - 4*x, 0 = 5*u + 5*x + 3000. Which is smaller: -3/11 or u?
u
Let f(n) = 3*n**2 + 43*n + 30. Let p be f(-18). Let r = p - 206. Which is greater: 8 or r?
r
Let l be ((-27)/(-8235))/(3/199). Let x = -3/61 - l. Is x at most as big as 1?
True
Let h(g) = -2*g + 20. Let o be h(14). Let f be o/6*(15 + -13). Suppose 2*u = -u - 4*z + 11, 3*u + 2*z = 1. Is f equal to u?
False
Let z be 16/(17 - 13) - (-115)/(-29). Is -187 less than z?
True
Let u = 0.26 + 1.24. Let r = 1.478 - u. Let a = r + -8.978. Which is bigger: -3 or a?
-3
Let k = -242952 - -242955. Let n = 42.6 - 4.6. Which is bigger: n or k?
n
Let f = 10.75 + -10.82. Which is smaller: f or -0.013?
f
Let u(t) = t**3 + 20*t**2 + 66*t + 8. Let d be u(-4). Which is greater: d or 1/2901?
1/2901
Let y be 17244/(-1725) - (-69 - -59). Is y equal to 1?
False
Suppose 0 = -4*s - 3*w - 14, 36*s + 5*w = 41*s - 35. Which is bigger: s or 1/11363?
s
Let z = 458.65296 - -0.34704. Which is smaller: 1/12 or z?
1/12
Let n = -3.518 - -0.018. Let r = -0.5 - -5. Let o = n + r. Is 0.3 < o?
True
Let r = -5509 - -6383. Is r less than 874?
False
Let q = 13683 - 7877. Is q < 5806?
False
Let w = 106.455 + -106.5. Which is bigger: -12/7 or w?
w
Suppose -4*i = -7*i + 6. Suppose -5*r + 4*a - 6*a = -111, -51 = -i*r - 3*a. Suppose 2*x = b - 0*x - 12, 0 = -x + 5. Which is bigger: b or r?
b
Let s(y) = -729*y + 1459. Let q be s(2). Do q and -120/257 have the same value?
False
Let r(y) = 14*y + 437. Let f be r(-31). Let s(w) = w + 49. Let c be s(f). Which is greater: 3 or c?
c
Suppose 0 = 5*h - 2 - 3. Let m(x) = 2*x**2 + 4*x - 5. Let k be m(-3). Let u = k + -5/7. Which is greater: u or h?
h
Let z = 1795/23 + -63695/184. Which is bigger: z or -269?
z
Let p = -289 + 421. Let c = p - 123.7. Which is greater: c or 1/3?
c
Let t = 977782/25 + -39102. Let c = 128/25 + t. Which is bigger: c or 15?
15
Let h = 0.15 + -0.18. Let i = 0.13 + h. Suppose -16 = -4*v, -3*q - 2*v + 74 = -6*q. Is i bigger than q?
True
Let j be ((-2)/5)/(9/(-225)). Suppose -6*u = -8*u - j. Let i be u + (-99)/(-21) + 78/28. Is i at most 2?
False
Let q be (-8802)/(-978) - (-1 + (-28)/(-3)). Which is greater: -6/3499 or q?
q
Let x(g) = 46*g - 736. Let h be x(16). Which is smaller: 4/2595 or h?
h
Let d(u) = 17 + 19*u**2 - u**3 + 17 + 1 - 36*u. Let n be d(17). Is -157 smaller than n?
True
Suppose 3*v = -b + 5, 2*b - 9 = -2*v + 7*b. Suppose 10 = -v*c + 6. Which is smaller: c or -9/16?
c
Let m = 101175 - 4957305/49. Which is bigger: m or 6?
6
Let x be ((-8)/(-3) + -1)*(11 + -8). Suppose 10 + 50 = -5*s. Let p be 9*x + (s - -16). Which is smaller: p or 50?
p
Let c = 0.00697 - -36.99303. Which is bigger: 0.13 or c?
c
Let b = -1786.7 + 1223. Let l = b + 564. Which is smaller: -2/29 or l?
-2/29
Let b = -405 - -414. Suppose -23 - 31 = b*u. Let c = -6 - -4. Is u >= c?
False
Let z = 4453 + -4371. Let t = -125 - -208. Which is smaller: z or t?
z
Suppose 8*b - 6 = 6*b. Let y be 939/(-189) - (b + -8). Let v(w) = 4*w + 3. Let s be v(-1). Is y equal to s?
False
Let q(u) = 3*u**3 - 2*u**2 - 4*u + 5. Suppose -k + a = 9, -3*a = 2*k + 2*a + 53. Let g = k + 16. Let v be q(g). Is 2 at most v?
True
Let i = -282.288 - -282.1. Is i <= -14?
False
Let w = 5 + -4.2. Let u = w + -2.8. Let q = -4/301 - 590/903. Which is smaller: q or u?
u
Let g = -358.8 + 450. Let c = -555 + 464. Let u = g + c. Is 22 > u?
True
Let y = 18 - -110. Suppose 15*m + y + 397 = 0. Which is smaller: -36 or m?
-36
Let s = 39763 + -45517. Which is greater: -5758 or s?
s
Let v be (-3)/(-6)*(-4)/10. Suppose -76 = -10*i - 36. Let s(h) = h**2 - 5*h + 3. Let c be s(i). Which is smaller: c or v?
c
Let y = 8112 - 7848. Is y equal to 1/5?
False
Let v = -152 + 241. Suppose 0 = 3*f - s - 14 + v, -5*s - 81 = 4*f. Is -23 bigger than f?
True
Suppose -3*n - 5*i - 5681 = 0, -n = 4*i + 880 + 1023. Let g = n - -677431/359. Let d = 387/5026 + g. Is