ch is smaller: -12 or o?
-12
Suppose -8*c - c + 63 = 0. Suppose 8 = -c*h + 85. Suppose -5*r + 25 = -25. Which is smaller: h or r?
r
Let t = 45/13511 + 159252897/378308. Let p be (-422 - -2) + 6 + -7. Let f = t + p. Which is smaller: 1 or f?
f
Let h = 2 + 1. Let m be (-1050)/135 - 2/9. Let p be 3 - m/(-6)*(-15)/10. Is h not equal to p?
True
Let p = 235 + -241. Let g = -10 - p. Let l(i) = -i**3 - 2*i**2 - i - 2. Let f be l(-2). Is g < f?
True
Let w be (-6)/72*(-63)/2*158/(-237). Which is greater: -20.3 or w?
w
Suppose -2*y + 0*y - 10 = 0. Let z = 5472 + -5468. Let k be 74*y/700 - (-2)/z. Which is smaller: k or 1?
k
Suppose 4 - 26 = -11*s. Suppose 0 = -s*i + 15 + 15. Suppose -5*p - i = -2*c, 2*c + 2 = -2*p - 4. Which is bigger: c or 2/109?
2/109
Let y(j) = j**2 - 38*j + 360. Let l be y(18). Is -6/4517 < l?
True
Let t = -29.4 - 4.6. Let j = 48 + t. Let s = -50.5 + 50.7. Do s and j have the same value?
False
Suppose 7*y - 32 = 5*y. Let v = 4 + y. Suppose s + 3*a - 21 = 0, 0 = -2*s - 28*a + 26*a + 42. Which is smaller: s or v?
v
Suppose -w + 336 = 4*n - 3*w, 3*n - 5*w = 252. Let c = -71 + n. Let g(y) = y + 6. Let f be g(3). Which is smaller: f or c?
f
Let a be (-48)/(-12)*(0 + 1). Suppose -k + 6*i = 2*i - 24, -2*k = -a*i - 28. Suppose -f - 2*f + 19 = -k*j, 3*f = 15. Which is smaller: j or -1/15?
j
Let b = 38513 - 38512.81. Let s = 1 + -1.1. Is s bigger than b?
False
Let l(c) = -3*c - 1. Let a be l(-6). Let z be 12/(-2142)*191 - (-2)/a. Is z >= 0?
False
Let m be (2/4)/(2/104). Let d(c) = c**3 - c**2 - 7*c + 6. Let f(n) = -n**3 + 14*n**2 - 13*n + 4. Let q be f(13). Let w be d(q). Are w and m unequal?
False
Let k be (4780/(-10755))/((-4)/(-9)). Let p = 592/9 - 68089/1035. Is p < k?
False
Suppose -27*u - 110 = -28*u. Let k be (-346)/(-1580) + (-22)/u. Is k > 0?
True
Suppose 0 = -4*h - 9*w + 722, 0 = 6*h - 5*h - 3*w - 170. Suppose -77 = 2*q - 429. Is q at most h?
True
Suppose v - 2586 = -2*b, 4*b - 3*v + 0*v - 5152 = 0. Let z = b + -6423/5. Are -0.2 and z equal?
False
Let x = 54087.5 - 54088. Let n = -3 - -8. Which is greater: n or x?
n
Suppose -c - 42 = -2*m - 2*c, 4*m = 5*c + 56. Let t = 22 - m. Suppose -4*y + t*h = -8, 2*h - 7*h = -4*y. Which is smaller: 7 or y?
y
Suppose 2*h + 5*g = 130, 2*h + 2*g = 7*g + 150. Let j = -68 + h. Which is greater: j or 25/9?
25/9
Let n = 1968 - 1961. Let f = -18 - 7. Let x = -32 - f. Which is bigger: x or n?
n
Let f be 366/(-15)*22/1736. Let d = f + 2/217. Let k = 291.9 - 292. Is d <= k?
True
Let r be 66/6 - (-1 + -1). Let p = 96 + -96. Suppose -9*b + 83 + 34 = p. Is b at most as big as r?
True
Suppose -2*a = -t - 135 - 209, 0 = -3*a - 2*t + 509. Let n be 39/(-91) + a/546. Suppose -5 = -2*s - 3*s. Is s equal to n?
False
Let h = -314 + 314.664. Let f = h - -1.826. Which is bigger: 0.2 or f?
f
Let d be 0/1*((-24)/6 + 3). Let j(b) = 6*b - 32. Let x be j(d). Suppose -y = -4*l - 120, l + 4*y - 11 + 41 = 0. Do l and x have different values?
True
Let w be (-7)/14*(-2)/(-3) + 9832/(-6). Is -1637 equal to w?
False
Let r be 770/12 + (-12)/72. Which is greater: 716/11 or r?
716/11
Let v be (1 + 1)*5/(-2). Let r = 0.079 - 521.079. Let j = r - -534. Is j at most as big as v?
False
Let o(h) = 2*h**3 - h**2 + h + 3. Let y be o(0). Suppose p = y*p - 10. Suppose -2*t = 4*v + 6, 4*v - p*t - 29 = -0*v. Which is smaller: v or 2/11?
2/11
Suppose -18*o - 9018 = 4806. Is -766 smaller than o?
False
Suppose -54*j + 39*j - 29376 = -27*j. Which is greater: 2449 or j?
2449
Let x = 0.381 - 0.281. Let y = 78.11 - 2.11. Is y at least x?
True
Let y = 6 - 4. Suppose 0 = 14*f - y + 2. Let w = 490/143 - 28/13. Which is smaller: w or f?
f
Suppose 5*m - 28 = q, -2*m + 23 = 2*m - q. Suppose t = -m*v - 4*t + 1035, 3*t = -2*v + 418. Which is bigger: 202 or v?
v
Let q(s) = s**2 - 4*s - 1. Let w be q(4). Let l = -14165/13 + 1089. Which is smaller: l or w?
w
Suppose 5*h - 183 = 492. Suppose -h = 7*l + 96. Which is smaller: -35 or l?
-35
Let o = -7176 + 7972. Which is bigger: o or -2?
o
Suppose 0 = -5*p - 2*l - 41, -2*p = -5*l - 0 - 1. Let c(u) = -2*u**2 - 11*u + 15. Let q be c(p). Let s be (q/12 + 2)/(23/(-2)). Is s not equal to -1?
True
Suppose -5*h - 33 = t - 2*t, -h - 2*t = 0. Let d = h - -5. Let z be (-24)/36 + (-1)/((-27)/24). Is d at most as big as z?
True
Suppose -6*s - 14 = -13*s. Suppose s*t = 5*q - 2*t - 7, 5*t = 4*q - 2. Let o be 2/q - (-36)/(-162). Which is bigger: o or 1?
1
Let c = -65027533/183029 - 8/26147. Let i = c - -355. Is -37/5 less than or equal to i?
True
Let i = -0.64 - -1.01. Let k be 1 - (3 + (-1 - 0 - 2)). Let w be 570/76 - 7/k. Which is smaller: i or w?
i
Let r = -288172/7 + 4883074554/118615. Which is smaller: r or 0?
0
Let z be (3 - 1) + -5 + 91. Let h be (-4)/(-14) + z/(-14). Let j(m) = m + 13. Let i be j(h). Is -1 smaller than i?
True
Let a be -11 + ((-25)/(-4) - (-25)/(-100)). Which is greater: -90/11 or a?
a
Suppose 3 = 2*v - 1. Suppose -3*y + 7*y + 502 = p, 0 = 5*p - y - 2548. Let x be (-6)/51 + (-44)/p*-6. Which is greater: v or x?
v
Suppose -2*f - 310 = -12*f. Suppose -4*u - 2*g = -3 - 97, -35 = -u + 2*g. Are u and f equal?
False
Suppose -52*s + 81*s + 21460 = 0. Let w = s + 795. Which is smaller: 49 or w?
49
Let q = 9525 - 9346. Which is smaller: 894/5 or q?
894/5
Let a = -576819/22 - -26217. Is -2 > a?
True
Let h be (4/(-352))/((-5)/(-6)). Suppose 9*g = 21 + 8 - 20. Are h and g non-equal?
True
Let j = -131 + 94. Suppose -4*p = p + 10, 2*p + 40 = -2*t. Let b = -19 + t. Is b less than or equal to j?
True
Suppose -246*b + 4920 = -287*b. Do b and -118 have the same value?
False
Let d be ((27/(-15))/(8/40))/((-6)/52). Which is greater: d or 79?
79
Let a(x) = 3474*x**3 - 5*x**2 - 3*x - 4. Let b be a(-1). Which is greater: b or -3479?
-3479
Let x(s) be the first derivative of s**4/2 - 19*s**3/3 - 3*s**2/2 + 5*s + 100. Let p be x(9). Is p greater than -102?
False
Suppose c = -177 - 11. Let b = c - -196. Which is smaller: 11 or b?
b
Let o be 1*2/((-4)/2). Let v be -3 - (o + 2 + -2). Let z be (12 - 17)/(((-55)/(-2))/5 - -1). Is v <= z?
True
Suppose 316 = 3*h + 328. Let r be (h - -5) + 0*(-5)/15. Is r greater than 8/9?
True
Let o = -99 - -135. Suppose 26*b - 140 = o*b. Is -17 greater than b?
False
Let k = 1 - 5. Suppose 48*p + 360 + 24 = 0. Let u be 2*(36/p - k). Which is bigger: -2/55 or u?
-2/55
Let i = -2890 - -2889. Let x = 55931/70 + -799. Which is smaller: i or x?
i
Let r = 316 + -315. Let x be (744/374 + -2)*(-2)/(-4). Which is greater: r or x?
r
Let r(z) = 16*z**2 - 36*z - 63. Let h be r(-30). Let p be 3/(((-2)/3)/(12/h)). Are 0 and p equal?
False
Suppose -20 = -2*u - 3*u, u = 2*f. Suppose 3*x + 1054*l - 1055*l - 7 = 0, 5*x - 2*l - 7 = 0. Is f < x?
True
Suppose -55*o - 25380 = -16140. Is -168 != o?
False
Let q(w) = w**3 - 5*w**2 - 8*w + 2. Let u be q(6). Let y be (-265)/u + 3/(-6). Let d be (3/((-12)/(-4)))/((-2)/y). Which is smaller: -14 or d?
-14
Let h = 1797843521995/976889096279789 - 2/1660057567. Let y = h - 2/671. Do 1 and y have the same value?
False
Let x(j) = -4*j + 17. Let t be x(4). Suppose -2*q = -t + 1. Suppose q = b - 4, 4*g - 2*b = -g + 17. Is g at most 6?
True
Let q = 224 - 222. Let p be 2*q/(-8)*2. Is p smaller than 1/587?
True
Let k = 220 + -209.7. Let o = 51.65632 + 0.04368. Let i = k + o. Is i smaller than 2/5?
False
Let k be -2*3/192*-3. Suppose -4*t = 2*g - 7 - 3, -5*g + t + 14 = 0. Suppose 0 = -g*p - 2*m - 5, -3*m + 6 - 5 = -4*p. Which is smaller: k or p?
p
Let k = -159.13 + 176.43. Is 4 at least as big as k?
False
Let x = 28.1 + -28. Let y = 142 - 153.4. Let m = 11.29 + y. Which is bigger: m or x?
x
Let v = -487 - -8282/17. Let r = v - 29/68. Is r bigger than -1/19?
False
Let c = -13.4493 - 1.5507. Which is smaller: c or 22?
c
Let b be -1*3 + -35 + 34. Let m be 2/(b/(-19)) - (-2)/4. Is m >= 92/9?
False
Let n be ((-10)/(-4))/((-1911)/42 + 45) + 154. Let k(c) = -18*c**3 + 3*c**2 + 2*c - 2. Let t be k(-2). Which is smaller: t or n?
n
Let w = 431/21204 - 2/279. Suppose -6*i = -21 + 21. Which is smaller: w or i?
i
Let q(i) = -3*i**3 - 10*i**2 + 13*i - 2. Let r be q(-6). Let s = 209 - r. Is s less than or equal to 1/90?
False
Suppose -79*m - 44*m + 482 = -1855. Is 1036/59 at least as big as m?
False
Let v = -0.0217 - -17.0217. Let z = -2.9 + 0.9. Which is smaller: z or v?
z
Let l = -1035 + 616. Is -2507/