ch is greater: o or s?
o
Let n(h) = -9*h**3 + 0 + 13*h**3 + 5*h - 2*h**3 - 3*h**2 - 4. Let c be n(2). Are c and 7 nonequal?
True
Let f be (16 + -14)*(4 + -1 + 2). Suppose 4 = -4*t - 3*p + p, f = -2*t - 3*p. Which is greater: 2/183 or t?
t
Suppose -5*t + 7*g = 9*g - 10188, 2*t = -5*g + 4071. Are t and 14270/7 equal?
False
Let z = -2472297/224 - -11037. Which is smaller: -1 or z?
-1
Let x = -518 + 517.9. Let h be 4 + -1*110 + -3. Which is bigger: x or h?
x
Let g = -3042 - -2923. Which is smaller: 0.1 or g?
g
Let z = -1693 + 1698. Let r = 7 - 3. Is r bigger than z?
False
Let g = -58 + 79. Suppose -2*z = 18*n - g*n + 79, 3*n + 3*z - 99 = 0. Which is greater: n or 31?
31
Suppose 65*g - w = 67*g + 9, -27 = 2*g + 3*w. Does g = 71/122?
False
Let m = 11 + -11. Let n be (0 + 20)/5 - m. Suppose o = 5*o + n. Is 2 smaller than o?
False
Let h be (-3)/(-3)*(3 - 2). Let m = 3656 - 102367/28. Do h and m have the same value?
False
Let h be 1*(6 + -3 + -1). Let r be 0*(-4)/16 + h. Suppose 3*z - 2*u = -40, 2*u - 7*u + 12 = -r*z. Which is smaller: z or -15?
z
Let i(s) = -9*s**2 - 2*s + 9. Let q(n) = -16*n**2 - 4*n + 17. Let r(v) = 7*i(v) - 4*q(v). Let u be r(-3). Which is smaller: u or -3.6?
-3.6
Let h = 6323 - 6347. Which is smaller: h or -14?
h
Let c(w) = w**3 + 21*w**2 - w - 20. Let l be c(-21). Let b = 4/125 + 251/3875. Which is greater: b or l?
l
Let y be (-1 - -5)*(-56)/8. Let v be (2 - (-46)/y)*-2. Let s be (-10)/16*390/975. Is s at least as big as v?
True
Suppose 3*p + 7*p = 3250. Suppose 4*z - d - 2*d - p = 0, 0 = -4*z + 4*d + 320. Let l = 92 - z. Which is smaller: l or 5?
5
Let s = -2335/4 + 39719/68. Suppose m - 25 = 6*m - 5*a, 5*a = -3*m + 17. Is s at least m?
True
Suppose -t = 4*m + 7, 5*t - 3 = 2*m + 6*t. Let i(x) = 17*x - 6. Let c be i(m). Let p = c + 122/3. Is p at most 2?
True
Let g = -19748/19418893 - -2/7163. Do -1 and g have different values?
True
Let z = -5807 - -22991/4. Let m(t) = 10*t**2 - 155*t + 17. Let s be m(15). Which is smaller: z or s?
z
Let j be (-30)/(-4)*(-9)/(36/(-584)). Let a be j/30 - (2 + 2). Which is greater: 32 or a?
a
Let z = -0.0473 + 7.7773. Let p = 8 - z. Let m = 0.73 + p. Are 16 and m unequal?
True
Let p = 0.08 + -0.32. Let v = 551.76 - 554. Let k = p - v. Is k >= -5?
True
Let z be (-584)/28 + ((-3)/(-30) - 85/350). Is 105 less than z?
False
Let x be 204/(-48) - (-9)/(-12). Let n be ((-40)/x - -21) + -6. Is n greater than 22?
True
Let t = 105 - 63. Let n = -40.3 + t. Let f = 0.365 - 0.165. Is n smaller than f?
False
Let k be ((-5)/15)/((-1)/3). Let z be (k + -7)*(50/4)/5. Let s be ((-234)/z + -6)/(3/10). Is -1/4 greater than s?
False
Let q = 1.128 - 0.268. Which is greater: q or 2?
2
Let k = 39234 - 38235. Which is bigger: 1002 or k?
1002
Let w(m) = 2*m. Let d be w(-3). Let y be -36*((-8)/d - 2). Let f = -345997 + 346019. Are y and f unequal?
True
Let k = 2.092 - 1.992. Which is smaller: -28/307 or k?
-28/307
Let c = -244 - -369. Suppose -44*p - 843 = -6343. Is p at least c?
True
Let u(k) = 3363*k**2 - 78*k + 77. Let o be u(1). Is 3364 > o?
True
Let k = 6916/3 + -2308. Is -3.6 at least k?
False
Let t = 4 + -3. Let p be 154336/381600 - 5/(-9). Which is smaller: p or t?
p
Let v(n) = -12*n - 1. Let t be v(5). Let j = 706 - 835. Let s = t - j. Is s != 0?
True
Let r = -70/61 - -13804/11285. Which is smaller: r or 0?
0
Let x be ((-8)/8)/(1 - 716/718). Let z = 359 + x. Which is bigger: -1/37 or z?
z
Let g(o) = o**3 - 2*o**2 - 2*o + 5. Let f(x) = -x**2 - 14*x + 53. Suppose 0 = -75*t + 70*t - 85. Let l be f(t). Let v be g(l). Is v <= 2/13?
False
Let h(d) = -d**3 + 29*d**2 + 27*d + 72. Let f be h(30). Let y be -2 + (-1 - 32)/(-3). Let u be y/12*2*f/(-27). Is u less than or equal to -6?
False
Let j = -1613636 + 1613733.8709. Let l = -0.0291 - j. Let d = l - -98. Which is smaller: -0.09 or d?
-0.09
Let p = -495135/300628 - 1/17684. Let t(j) = j - 5. Let g be t(3). Which is smaller: g or p?
g
Suppose -4*s + 24 = 2*s. Suppose 25 = 5*i - n - 204, -n - s = 0. Let p = i - 45. Which is bigger: p or -4/23?
p
Let c = -1/50 + 3/25. Let t be 6/(-14) + (500/(-140) - 4/(-1)). Which is smaller: t or c?
t
Let c be (-6)/(-21) + 57/21. Let d(b) = -25*b - 2. Let y be d(c). Let o = y - -79. Which is bigger: 4 or o?
4
Let a(v) = 10*v**2 - v - 3. Let d be a(3). Let l = 188192/5 + -37638. Which is bigger: l or d?
d
Let c = -13699 - -13698. Which is smaller: -9/343 or c?
c
Let t be (3210/105 + -24)*(-1 - 173/(-12)). Which is greater: -0.1 or t?
t
Let h be (-4 - -5) + 58/(-77). Let m = 30/11 + 5/11. Let q = m + h. Is q less than or equal to 2?
False
Let p = 5 - 6. Let u = -664848/11 - -60440. Is u < p?
False
Let q = -9 + 8. Let s = 0.032 - -0.448. Let v = s + -0.14. Is q smaller than v?
True
Let h be 4 + (-1745)/450 - 0. Let s = h - 1697/630. Is -3 greater than s?
False
Suppose -4*l = -5*h - 425, -12*l = 2*h - 10*l + 170. Is h at most as big as -107?
False
Let c(r) = -r**2 - 30*r - 74. Let g be c(-27). Let n be ((-65)/9 + g)/(2/58). Which is smaller: -7 or n?
-7
Let v(b) = 120*b**2 + b + 1. Let y be v(-1). Let m = y + -112. Suppose u + 0 = m. Is 9 <= u?
False
Suppose -5*n = -2*w - 12, 12*n - 14 = 4*w + 7*n. Which is smaller: w or -46/41?
-46/41
Let s be (60/(-150))/((-6)/(-10)). Let v = -6.8 - -8. Are s and v nonequal?
True
Let v be 13*-57 - (2/(-1))/(140/(-490)). Which is smaller: -747 or v?
v
Let i = -95.5 + 189. Let k = i - 93.478. Which is smaller: k or -1?
-1
Let r = -470733/13 - -35784. Let f = 427 + r. Suppose -5*y = 5*a + 5, 1 = -3*y - 4*a - 3. Do f and y have different values?
True
Let o be 1640/(-3) - 1/(-3)*-1. Let v = o + 355. Is -193 equal to v?
False
Let d(r) be the third derivative of r**6/120 - 2*r**5/5 - 9*r**4/8 + 8*r**3 - 45*r**2. Let o be d(25). Which is smaller: -8 or o?
-8
Let k be 1*(-2)/((4/(-107))/(-2)). Let f = k + 175. Is 69 smaller than f?
False
Let m = -928351/111 + 8364. Let z = -2537/5365 + m. Which is smaller: z or 0?
0
Let i = -14432 + 17843. Which is smaller: 3414 or i?
i
Let w = 11633414/85 - 136862. Does 3 = w?
False
Let w = 5119 - 5124. Which is bigger: -287/71 or w?
-287/71
Let w(s) = 7*s + 1360. Let d(l) = l**3 + 8*l**2 + 5*l - 14. Let p be d(-7). Let f be w(p). Let o = -14948/11 + f. Which is smaller: 1 or o?
1
Suppose 8*z + 2271 - 2175 = 0. Which is smaller: z or -162/13?
-162/13
Suppose -6*l - 351 + 975 = 0. Which is bigger: l or 1353/13?
1353/13
Let r = 4615/3 + -1584. Let s = -2 + -43. Which is smaller: s or r?
r
Let j = 479380 + -479380. Let r be (-20)/33 + (-6)/(-9). Which is smaller: r or j?
j
Suppose 3*j + j + 5*n - 11 = 0, -3*n + 14 = -5*j. Let b = -16330/9 + 1814. Is j less than b?
True
Let i = 324/13 - 1103/26. Let f be -4 - (-2 + 0) - -5. Suppose -f*x + o - 53 = 0, 3*o + 69 = -5*x - 10. Which is smaller: x or i?
i
Suppose -2*p = -f + 25, 40 = -5*p - 76*f + 74*f. Let l(r) = -8*r + 1. Let v be 1 + 0/(-1) - 0. Let k be l(v). Which is greater: k or p?
k
Suppose 3*y + 12*p - 8*p - 1593 = 0, -5*y = -p - 2609. Is 520 less than or equal to y?
True
Suppose -2*q - 78 = -0*q. Suppose -3870 = 24*r + 38*r + 24*r. Let h = q - r. Do h and 6 have the same value?
True
Let i be (-6*(-8)/(-768))/(2 - (-844 - 2)). Which is smaller: i or 1?
i
Let c = 5705 + -5746. Let v be (6/4)/(3/(-20)). Let q be -162*(-1 + v/(-8)). Are c and q non-equal?
True
Let v be ((-118)/5)/((-14)/(-150) + 46/(-345)). Which is smaller: 596 or v?
v
Let y be 1118/10 - 19/475*-5. Is 6 equal to y?
False
Let y(j) = 15*j**2 - 90*j - 598. Let k be y(-8). Is k greater than or equal to 1079?
True
Let z = -85/3 + 29. Let k = z - 31/42. Which is bigger: 0.2 or k?
0.2
Let j be 4/10 + 3857/145. Which is smaller: j or 30?
j
Let k(v) = v**2 - 7*v + 17. Let y be k(5). Suppose -86 = -l - a, y*l - 462 = 2*l + 3*a. Is 92 != l?
True
Let f = 16502 + -16504. Let d = -13 - -21. Which is greater: d or f?
d
Let p = 10/213 + -10031/426. Let b = 383/14 + p. Is 4 != b?
True
Suppose 3 = -6*u + 69. Let z(y) = -y**2 - 2*y + 86. Let p be z(7). Is p at most u?
False
Let c = -21335 + 20232. Are -1120 and c unequal?
True
Let s = 306 + -306.159. Let p = s + 0.259. Which is smaller: 4/13 or p?
p
Let u(n) = n**2 + 21*n + 40. Let m be u(-19). Suppose m*t + h + 8 = 6, 0 = -5*t - h - 5. Let l be 4/18 + 4 + -4. Does t = l?
False
Suppose -7*m - 45 = -4*m - i, -45 = 3*m + 5*i. Let z(d) =