ch is smaller: -41 or u?
u
Let u = -4 + 3. Let b = -310 + 306. Do u and b have the same value?
False
Let x = -0.289 - -14.189. Let d = -153.7 + 188.8. Let y = d + x. Which is bigger: y or 0.1?
y
Let k be (-2473)/(-1232) - 6 - -4 - 14/49. Which is smaller: k or -1?
-1
Let m = 3018 + -3041. Which is smaller: -485/21 or m?
-485/21
Let i = 11533 - 11489. Which is smaller: -12 or i?
-12
Suppose -5*l = -7 + 2. Let x(s) = -5*s**2 + 257*s - 8. Let i be x(47). Let y be (-40)/540 - (-346)/i. Which is smaller: l or y?
y
Let w = -9 + 5. Let c = -153 - -44. Let k = c - -110. Is w greater than or equal to k?
False
Let b = -359 + 325. Let z = 35 + b. Is z > -2/1629?
True
Let l be (0 - 2/4*-2) + 33. Let z be 1 - (-8 - -1 - (-170)/l). Is z < 31/19?
False
Let f = 115728 - 115732.5. Suppose -3*c - 4 = c. Is f < c?
True
Let r = -23 - -4. Suppose 47*q + 1748 = 8*q - 53*q. Is r less than q?
False
Suppose 44 + 101 = 4*r - 3*p, -r = -3*p - 34. Suppose 5*u = 116 + 74. Which is bigger: u or r?
u
Let h = 125 + -182. Let y = 0 - 33. Let m = h - y. Is m less than -1?
True
Suppose 4*q + 2108 = 4*p, 3*p - 15*q - 1583 = -10*q. Let k = p + -601. Which is smaller: -73 or k?
k
Let b(w) = -w**2 + 145. Let v be b(12). Suppose 0 = 2*j - 4*j - a + 24, 4*a = -5*j + 66. Let m be (8/j)/((-20)/(-6)). Which is smaller: m or v?
m
Suppose 0 = -26*q + 87*q - 244. Is 4 bigger than q?
False
Suppose 0 = 18*f - 17*f + 5, -23 = 3*d + 4*f. Which is smaller: -2/7647 or d?
d
Suppose 3*x - 5*z + 4*z + 445 = 0, -595 = 4*x - 3*z. Let i = x - -275. Is 127 equal to i?
True
Let u(d) = -120*d - 16. Let i be u(-2). Suppose -13*h - i = h. Which is greater: h or -12?
-12
Suppose -2*n + 87 + 13 = 0. Let m = n + 78. Suppose 0 = 2*w + 128 - m. Is -14/13 >= w?
False
Let x be (-2)/(-6) + ((-181)/3 - 0). Let t be ((-4)/5)/((-24)/x). Let s be (1 + t)*(-3 + (-30)/(-9)). Which is smaller: s or -9?
-9
Let j = 3.739 + -3.139. Is -2/425 smaller than j?
True
Let c be 13/(-26)*(1 + 0/3 + -3). Is c greater than 60/439?
True
Let f(p) = -195*p**3 - 2*p + 1. Let i be f(1). Let a = 1369/7 + i. Let j = -1/281 - -569/1967. Is j < a?
False
Let w = 173 - 317. Let y = w - -99. Suppose -4127*s - 113708 - 72007 = 0. Is y equal to s?
True
Suppose 2*r - 3*m + 3568 = 0, 4*r + 699 = -2*m - 6421. Which is smaller: r or -1780?
r
Suppose -26*p + 128 = -25*p. Let o(a) = 137 + a**2 - a + 0*a - p - a**3. Let f be o(0). Which is smaller: 10 or f?
f
Suppose -r - 5 = 0, 5*r = 2*f + 4*r - 571. Do f and 280 have the same value?
False
Let u(x) = -1993*x**2 + 48*x + 126. Let v be u(-3). Is -17955 smaller than v?
False
Suppose -39*n - 128 = -23*n. Let q be 112/(-126)*6/n. Which is smaller: q or 4?
q
Let g = 17/94 - 164/517. Which is smaller: g or 1?
g
Suppose 2*n - 54 = -n - 4*h, -2*n + 36 = -4*h. Let q be (3/n*-2)/((-3)/(-9)). Let g be (-9 - q)/(-1) + 0. Which is smaller: 14 or g?
g
Let l(y) = y**2 - 62*y + 891. Let k be l(27). Suppose -2*q - q = -5*d + 172, 4*q - 3*d = -233. Which is smaller: q or k?
q
Let q(f) = f**3 + 5*f**2 - 10*f + 1. Let v be q(-7). Suppose -10*s + 52 = -218. Let r = v + s. Which is smaller: r or -8/17?
-8/17
Let h = -20976.7 + 21910. Let k = h - 897. Are 2 and k unequal?
True
Let w = 33575 - 33574.7. Which is greater: -2/1523 or w?
w
Let n(z) = -16*z**2 + 8*z - 52. Let q be n(5). Let x = q - -412. Which is greater: x or -94/7?
x
Suppose 0 = 34*n + 16*n + 15*n + 46735. Is -719 < n?
False
Let d(t) = -t**2 + 12*t - 24. Let o be d(11). Let q(u) = -u**2 + 97*u - 12. Let k be q(0). Is k bigger than o?
True
Let s(q) = -2*q**3 - 40*q**2 - 20*q - 1302. Let w be s(-21). Suppose 0 = 5*u - 2144 + 369. Let v = u + -15263/43. Which is bigger: w or v?
v
Let m = -921687315 - -5914467485716/6417. Let o = m + 5/1426. Let v = 16/9 + o. Which is bigger: v or -11?
v
Let g = -2.0173 - 46.0187. Let j = g - -48. Suppose 2*n + 3*t + 17 = 8, 0 = -2*n + 3*t + 9. Which is bigger: n or j?
n
Suppose 0 = 2222*b - 2224*b + 10. Let p be b/4*42/(-105)*0. Are -1/763 and p unequal?
True
Let z = -805.9 + 806. Let c = 342 + -341.621. Are c and z unequal?
True
Let l = -2.2621 - -1.2621. Let h = -0.047 + -1.003. Which is bigger: h or l?
l
Let l = 0.1094 - 0.4087. Is -1/2 less than or equal to l?
True
Let h = 32 - 32. Let n be ((-12)/(-10) + h)/((-4)/(-30)). Suppose -n*a - 217 + 1 = 0. Is a != -24?
False
Let d(a) = 2*a**3 + 8*a**2 + 80*a + 320. Let k be d(-4). Do k and -6/4577 have the same value?
False
Let t = -0.64 - 35.36. Let o = t + 38.1. Let x = o + 2.9. Which is smaller: 0.1 or x?
0.1
Let l be 318/742 - (-2 + (-41)/(-14)). Which is greater: 3344 or l?
3344
Suppose 4*k + 11 = 3*p, 4*k + 5*p - 9 - 20 = 0. Suppose -3*m + 511 = -2*c - 2*c, m = k. Which is bigger: c or -129?
c
Suppose 0*v + v + 8 = 0. Let q be v/6 + (-1498)/(-21). Which is smaller: -1/4 or q?
-1/4
Let h be 9466/15*1/(6/(-9)). Let w = h + 952. Is w bigger than 4?
True
Let u = -179 + 18. Let q = u + 133. Is q < 2/5?
True
Let n = -113.16 + 112.86. Let c be (2*-38)/(2 + -4). Which is bigger: c or n?
c
Let b(s) = 117*s - 1206. Let d be b(9). Do d and -147 have the same value?
False
Let u be 3/(-12) - 4/(-16). Suppose c + 2 = -5*y + y, 2*c - 4 = u. Let l be (1/6 + y/1)/1. Is l at least as big as -1?
True
Suppose 3*r + 11 + 7 = -5*h, -r - 4*h - 13 = 0. Let p(c) = 2*c + 1. Let k(d) = 7*d + 3. Let f(m) = k(m) - 6*p(m). Let i be f(r). Which is smaller: 10 or i?
i
Let o be 0/((-450)/(-525)*(1 + (-8)/(-6))). Is o < 6/2725?
True
Suppose -5*f + 0*f = -3*t + 69, -5*f = t + 77. Let r be 2/(-4)*(-5)/(f/138). Is -17 >= r?
True
Let b = -879 + 888. Let t = -27 + 32. Suppose -1 - 44 = -t*y. Is y < b?
False
Suppose -166 = 31*b - 35*b + 3*r, -210 = -5*b + 5*r. Suppose 11*x + 7599 = -b*x. Which is smaller: x or -1?
x
Suppose 0 = -3*y + 5*y + 3*v - 10, 3*v - 9 = -3*y. Suppose -348*o + 372*o = 27288. Let z = -60263/53 + o. Is z less than y?
False
Let s be 2812/(-8) + ((-3)/6 - -2). Let n = -311 - s. Which is greater: -2/11 or n?
n
Let r(d) be the third derivative of d**4/24 - d**3/6 + 33*d**2. Let b be r(-10). Let x(u) = 3*u + 34. Let o be x(b). Which is bigger: o or -2/203?
o
Let a = -2198 + 2147. Which is smaller: -7 or a?
a
Suppose -4*s - b + 2564 = -3*b, -3*s + 5*b = -1916. Let m = -4506/7 + s. Suppose 0 = 3*q - q + 4. Is m at least as big as q?
True
Let p = -21 + 41/2. Suppose -3*o = -6, -140 = 3*x + 2*o - 6. Let d = -46 - x. Which is smaller: d or p?
p
Suppose 6*z = 5*f - 10452, 3*f - 8703 = 997*z - 992*z. Is -1737 at least z?
True
Let q be 16160/(-600)*(12/(-15))/(-4)*-1. Are q and 6 equal?
False
Let k(c) = 8249*c**2 - 11*c + 19. Let m be k(1). Are 8258 and m equal?
False
Let n = -93 + -76. Let k be (-1 + (-39)/(-2))*26/n. Which is smaller: -4 or k?
-4
Let l(n) = 3*n**2 + 6*n + 3. Let a be l(-4). Let x = 127478 + -127454. Is x at least a?
False
Let i be (1/7)/(242/10301214). Which is bigger: 1/4 or i?
i
Suppose 2*t - 80 = 3*o + 1, -3*t + 5*o + 121 = 0. Suppose t = -9*g - 12. Which is smaller: g or -9?
-9
Let r be 4/(-52)*(1 - (-729476)/3572). Let f = 300/19 + r. Which is smaller: -1 or f?
-1
Let i be 7/(-49) + 246/1694. Let z = i - 895/20328. Is 0 >= z?
True
Suppose -5*u = -10, -5*h - 3*u = -2*u - 47. Suppose 4*i - 5*o = -2 + h, o + 3 = 0. Let v be i/78*1*-21. Are v and 0 non-equal?
True
Let b = 304 - -11. Let y = 317 - b. Do 19 and y have the same value?
False
Let q be 232/87 - 330/9. Which is smaller: q or -30/11?
q
Let f be 3/(-48)*1 - 0. Let t = -57.48 + 57.38. Which is greater: t or f?
f
Let y = -3.2 - -3. Suppose 3*x + 1276 = -19*x. Let l be (15/10 + -2)*(-4)/x. Which is bigger: l or y?
l
Let g = 0.031 + -6.231. Let y be (-10)/(-4)*12/(-45). Which is smaller: y or g?
g
Suppose -r = 4*t + 1, -5 = -t - 3. Let f be 2/4 - (2322/(-12) - r). Which is smaller: 184 or f?
184
Let a be (0 + 14 - 5)/30. Let b = 0.11 + -1.01. Which is bigger: a or b?
a
Let w(r) = -r**3 - 15*r**2 - 5*r - 30. Let i = -66 - -51. Let b be w(i). Is b at least 2?
True
Let v = -19 + 48. Let u = v - 40. Let a = 17847/4 + -4462. Is u equal to a?
False
Let d(n) = -n**2 - 17*n - 75. Let v be 80/60*15/(-2). Let z be d(v). Which is greater: 2 or z?
2
Suppose 0 = 3*b - 3*t, -2*b = t + t - 8. Let l be (-13)/16*(-1)/b. Let n = l - 317/544. Is 0 >= n?
True
Let r(j) = j**3 + 46*j**2 + 242*j - 10. Let x be r(-10). Is 1170 < x?
False
Let m(w) = 29*w**2 