g(13). Suppose -41 = 6*x - 2*x + 3*q, q = m*x + 56. Which is bigger: -1/3 or x?
-1/3
Let y(z) = z**3 - 20*z**2 - 23*z + 46. Let w be y(21). Suppose 3*b + 4*d = 5*b - 270, 4*b - w*d - 540 = 0. Is 134 at least as big as b?
False
Let k = 1 + 2. Let g = -2 + k. Let x be ((-89952)/3096 + 29)/((-35)/(-90)). Is g < x?
False
Let n(s) be the first derivative of s**2/2 + 5*s + 3. Let h be n(8). Let r = -23 + h. Is r smaller than -10?
False
Let t(m) = m**3 + 3*m**2 + 1. Let v be t(-4). Let b = v - -31. Let h = 17 - b. Is h >= 1/24?
True
Let l = 524.88626 + 0.01374. Let d = 525 - l. Is d != -162?
True
Let w = 0.24 - -1.76. Let d = -0.022 + 0.01. Let k = 0.182 + d. Is k >= w?
False
Let m = -623699/56 - -11138. Which is bigger: m or 2?
2
Suppose -l + 5*l + 29 = -3*c, -13 = 2*l + c. Let b be 2/l - (-4 - 8592/(-2370)). Is b at least as big as -1?
True
Suppose -3161 = 4*f - 3325. Is 41 greater than f?
False
Let m(z) = -z**3 + 4*z**2 - 3*z - 8. Let n be m(4). Let o = 26 + n. Suppose -2*b = 5*a - 153, o*a = 3*b + 3*a - 177. Is 64 less than b?
False
Let m = 1958/2363 + 32/139. Let p = 7 + -6. Which is smaller: m or p?
p
Suppose 58*l - 43*l - 90 = 0. Let y be (-17)/((-55352)/2048) + l/33. Which is greater: 2 or y?
2
Suppose 216*l = 221*l. Let b = -15875 + 94751/6. Let q = -83 - b. Which is greater: l or q?
q
Let l = 16262 + -16233. Do -3/4 and l have the same value?
False
Suppose -3*a - 63 = -3*r, 2*a - 2*r + 4*r = -30. Let l be (a/(-56)*-6)/(96/(-336)). Do l and 0.1 have different values?
True
Let j(h) = -h**3 - 16*h**2 - 23*h - 204. Let r be j(-16). Suppose 427 = 3*k - 68. Is r >= k?
False
Let v = 483 - 664. Let x = v + 182. Is 23 < x?
False
Let z = 20.13 + -20.43. Is z less than 2.413?
True
Let t = -4 - -2. Let l be ((-12)/(-279) - 0)*(-15 - (10 - 7)). Which is greater: l or t?
l
Let f = -141.4 + 132.4. Let u = -22 + 13.6. Let v = f - u. Is v < -3?
False
Let n = 450 - 369. Suppose 54 = -3*l + n. Which is smaller: 7 or l?
7
Let k be 198441/54 + 1/6. Let i be (-1)/2 - (k/(-6))/7. Let o = 67 - i. Is o <= -20?
True
Suppose 3*k - 392 = 457. Let a be (5 + 0)*(-28583)/(-505). Are a and k equal?
True
Let j = 37.2 + -45. Let v = 0.13 + 2.87. Let b = v + j. Which is smaller: b or -2/5?
b
Let q(a) = -3*a**3 - 27*a**2 - 23*a - 19. Let c(l) = -l**3 - 9*l**2 - 8*l - 6. Let y(w) = -17*c(w) + 6*q(w). Let b be y(-9). Suppose b*t = 6 - 6. Is t > 3/25?
False
Suppose -r + 3*n - 6 = 4*r, r - n + 2 = 0. Let a be (-2)/(-20)*5/(-48). Is a equal to r?
False
Suppose -2*c - 5*p + 315 = 0, 0 = 22*c - 27*c + 5*p + 805. Let o be (c/28 - 2)*(-1 + 2). Let u = 13 - 8. Does o = u?
False
Let l = 226/881 - -1339457/15858. Let b = 517/6 - l. Which is greater: b or 0?
b
Let r = 3100 - 3066.704. Let w = -0.296 + r. Which is smaller: 2 or w?
2
Let d be (-151)/(-263646)*4/(-4). Which is greater: 1 or d?
1
Let z(f) = 0*f + 1 - 2 - 3*f. Let c be z(-3). Suppose -41*a = -30*a - 99. Which is greater: a or c?
a
Suppose -19*v = -18*v + 8. Let b(s) be the third derivative of -s**6/120 - 3*s**5/20 - s**4/4 + 5*s**3/2 + 5*s**2. Let n be b(v). Are n and 1/25 unequal?
True
Let p = 14.3 - 14.31. Which is greater: p or 209?
209
Let y(z) = -z**2 - 133*z + 2738. Let h be y(-95). Which is greater: h or 6347?
h
Suppose 29 = -x + 36. Suppose i + 35 = -o - x, -112 = 3*i - 4*o. Let m(p) = p**3 + p**2 - p + 5. Let b be m(-4). Which is greater: i or b?
b
Suppose 4*g = 3*g. Let k be (2/(-6))/((-745)/(-27267)). Let t = 169/15 + k. Which is greater: t or g?
g
Suppose d + 15 = 80*s - 77*s, d + 19 = 2*s. Is d <= -2/7?
True
Let v(c) = 5*c**3 + c**2 - c. Let s be v(1). Suppose -4*x = i + 16, -31*i = -35*i - 3*x + 1. Which is bigger: i or s?
s
Suppose -11*d + 3*d = 0. Suppose d = 118*g - 116*g + 410. Let v be (-4 + 1)/(1*15/g). Do v and 79/2 have the same value?
False
Suppose 3*p = 0, 4*d - p = 314 - 7962. Which is greater: -1911 or d?
-1911
Let u = 16721 + -16722. Is u > -195/164?
True
Suppose 0 = -2*x - w - 31, -41 = 5*x - 3*x - w. Let o be 1354/x + (-12)/(-54). Let i be (-1)/(o/(-69)) - -1. Which is smaller: -1 or i?
-1
Let n = -764 - -768. Suppose 27 = 2*s + y, 0 = -15*s + 19*s - n*y - 60. Suppose 4*r - 52 = -4*x, 0 = -3*x - 4*r + 4 + 36. Which is bigger: x or s?
s
Let l = 26.099 + -24.589. Is 0.12 less than or equal to l?
True
Let o be 45/(-18) + (-1)/(-2). Let j be 20/o*(-8 + 91/14). Let l be j/18 - 1/3. Which is bigger: -1.6 or l?
l
Let y be (-3 - 3)*((-180)/40 - -4). Is 159/50 equal to y?
False
Let t(y) = -146*y - 1553. Let w be t(-9). Which is greater: w or -234?
-234
Suppose -620*c + 692*c = 0. Let q = -7/402 - -820/52863. Do q and c have different values?
True
Let f = -23252/105 + 9911/15. Which is bigger: f or 439?
f
Let y = -25499 + 4309291/169. Which is greater: -1 or y?
y
Let l = -2715 - -862. Let u = -361334/195 - l. Is 0 >= u?
False
Let k = -13 - -7.9. Let a = k - -5.1. Let z be (1/9)/((-15)/(-45)). Which is bigger: a or z?
z
Let o = 147 + -159.5. Let k = -0.058 + -0.942. Which is bigger: k or o?
k
Let s(g) = 129*g + 825. Let q be s(-6). Which is smaller: 38 or q?
38
Let o = 3.27 + -2.06. Let u = o + -3.21. Which is smaller: -17 or u?
-17
Let i = 18679/6 + -52506673/16866. Which is smaller: i or 0?
i
Suppose h - 240 = l + 172, 8*h + l - 3332 = 0. Is 416 less than or equal to h?
True
Let a = -17 + 6. Let n be 2*(0 + 5/(30/(-27))). Let g = n - a. Does g = 8/11?
False
Let s = -1906.413 - -1906. Is -0.1 > s?
True
Let c = -4184 + 4184.061. Let q = -948.061 + 949. Let k = c + q. Which is bigger: k or -0.1?
k
Suppose -6 = -0*s + s. Let v = -4 - s. Let y(d) = 190*d - 1324. Let x be y(7). Is v >= x?
False
Let h = 74 - 73.934. Let o = h + 41.934. Which is smaller: -0.1 or o?
-0.1
Let x = 0.1204285 - -27.6795715. Let d = 0 + 0. Which is greater: d or x?
x
Suppose -6*g - 37*g - 731 = 0. Let u(n) = 9*n + 196. Let z be u(g). Which is smaller: z or 39?
39
Let s be (-3)/(90/(-24)) - (-26)/5. Let r be -158*((-23)/(-4) - s). Which is smaller: r or 39?
39
Let m = -82 + 65.5. Let h = -7.2 - m. Let f = -2.3 + h. Is -2/5 < f?
True
Suppose -25*k = -5*k - 11000. Let l = 3854/7 - k. Which is smaller: l or 1?
l
Let l = -3909/5390 - 1/490. Which is bigger: -3/13 or l?
-3/13
Suppose -3*p + 204 = -4*r, 3*p - 64 - 155 = -r. Let a be ((-12)/279)/(240/p). Is a greater than -1?
True
Suppose -6*o - 21 - 9 = 0. Let r = 594 + -572. Is r smaller than o?
False
Let u be 23/((-644)/12) - 6/(-14). Suppose 5*k - 5*s = u, -s - 16 = -77*k + 80*k. Suppose 2*c + 12 = -2*i, 27 = -3*i - 5*c + 7. Which is smaller: k or i?
i
Let g = -897/4475 + 2/4475. Is g greater than -8/77?
False
Let l = 451364/7 + -64236. Is 246 equal to l?
False
Let a(f) = -4*f**2 + 4*f + 16. Let j be a(5). Let u = -66 - j. Let n = -2/13 - 9/26. Which is bigger: n or u?
n
Let t = 3769 + -3772. Let r = -28.1 - -30. Which is bigger: t or r?
r
Let a be 11421/(-6) + 75/30 + -3. Is a at most as big as 1?
True
Let o be -1 - ((-6216)/(-609) - 15). Which is smaller: 4 or o?
o
Suppose -57*r + 12 = -63*r. Let v be (r/10)/((-1909)/(-46)). Do v and 1 have different values?
True
Let j(f) = -f**3 + 10*f - 8. Let m be j(2). Suppose 3*n + 577 = m*i, 5*i = -5*n + 283 + 482. Is i at least as big as 147?
True
Let f(k) = -3270*k + 3*k**2 - 1 - 3*k**3 + 3*k**3 - k**3 + 3277*k. Let b be f(4). Suppose 0 = b*m + 89 - 705. Do m and 55 have the same value?
False
Let f be 6/21 + 9/336. Let a(j) = -34*j - 29. Let c be a(-1). Suppose -c*m = 5*v, -109*v + 107*v - 5*m = 3. Which is greater: v or f?
v
Suppose -18710 - 5738 = 197*h + 185*h. Let n(v) = -v**2 - 6*v + 5. Let r be n(6). Do h and r have different values?
True
Let v be (-3332)/112 - (-1 + 6) - (-15)/(-5). Which is smaller: -0.1 or v?
v
Let u be (3 - 2)/(5/55). Suppose u*z - 4*k = 6*z + 15, -18 = -2*z + 4*k. Is 2/517 < z?
False
Let v = -61.8 - -60.3. Suppose 0 = -3*i + 2*k - 0 + 3, 3*i - 3*k = 6. Which is greater: i or v?
i
Suppose 4*n + 4*k + 20 = 0, -77*n + 74*n - 2*k = 9. Let u = -8716441/13 - -670082. Let i = u - -413. Which is bigger: i or n?
n
Let o be -10202 + -35*-3*13/273. Is -10197 < o?
False
Let i be 7/(-14)*4 - 79536/(-39756). Is -0.1 > i?
False
Let l = 6/14605 + -7271/53249830. Do -1 and l have different values?
True
Let r be ((-2939)/9 - 4) + 2/6. Let y = r - -330. Let j = -4 - -3. Are y and j unequal?
True
Let u = -0.3 - -0.2. Let g = -5.543 + 5