se
Let g(x) = x**3 + 15*x**2 + 14*x + 1. Let v be g(-14). Let s be (-4 - -7) + -11 + v + -3. Let f be (-3290)/84*4/s. Which is bigger: f or 16?
16
Suppose 5*f + 4*p - 33 = 0, -5*p + 2*p + 31 = 5*f. Suppose -10 = -5*b + 5*w + f, 4*b + 2*w - 36 = 0. Let z = 7 - b. Which is bigger: z or 2/111?
2/111
Let h = -0.0246 - -2.7146. Let o = 191.31 + h. Is o greater than or equal to 1?
True
Suppose 11 + 4 = -5*w. Suppose -3*g = -2*p - 9, 35*g + p = 33*g + 6. Let z = w + g. Which is smaller: z or -2/5?
-2/5
Let f = -13416 + 13416. Is f smaller than -100/331?
False
Let c = -25730 - -25729.8. Which is smaller: c or 10813?
c
Let t be -3 - 108/(-9) - -1677. Which is bigger: t or 1685?
t
Let i = 15656 - 15656. Let b = 526627/130 - 4051. Is i less than or equal to b?
False
Suppose 0 = -j - 3*h + 93 + 281, j - 362 = h. Suppose 116 = -13*o - j. Let u = -77 - -39. Is u at least o?
False
Let i be -3 + 7 + 42/(-9) - (-139415)/(-60). Which is bigger: i or -2324?
-2324
Let g = 65 + -57. Let r be 148/g*-2*(0 - -1). Is r smaller than -39?
False
Let f = 244.8982 + 0.1018. Is f > -2?
True
Let t(p) = -p**3 + 16*p**2 - 13*p - 23. Let o be t(15). Let m be (-15)/(-18)*o/((-105)/6). Are m and -4/39 non-equal?
True
Let v(a) = -47*a + 110. Let i be v(-8). Let z be (-10)/(-36)*(-216)/i. Which is smaller: 1 or z?
z
Let b = -3467 - -41611/12. Suppose 3*u + 4*s = 0, -u + 3*s = -4*u. Which is smaller: u or b?
u
Suppose 0 = 8*d - 102 + 22. Let v be -2 - (-212)/d - (-5)/(-25). Let f = -39 + v. Is -21 < f?
True
Suppose 10 = 6*q - 32. Suppose 61 = q*x - 114. Let b be ((-2 - (-3)/2)*2)/x. Are b and 0 nonequal?
True
Let u = -1096.5 - -1092.5. Is u not equal to -180?
True
Let w(q) = -3*q - 3. Let u be w(-3). Let c = -7 + u. Let f be (-9)/153 + (-975)/(-24089). Which is smaller: c or f?
c
Let v be (-42 - -38)*(-5)/(-92). Let y = -3 + 4. Do y and v have the same value?
False
Suppose -57*h - 56*h + 98*h = 180. Which is smaller: -715/68 or h?
h
Suppose -9*v + 6*v = -5*v. Is 9/175 <= v?
False
Let i be -2*2 + 31520/150. Let b = -617/3 + i. Which is smaller: b or 0?
0
Suppose 4*s - 27382 = 2*q, 4*s - s + 4*q - 20520 = 0. Is s at most 6845?
True
Let y(w) = 10*w**2 - 13*w + 6. Let a be y(4). Suppose -158 = -j + 3*j. Let r = a + j. Which is greater: 36 or r?
36
Let r = 92.385 - 102.385. Let t be (-4)/6 + (-22)/(-42). Are t and r equal?
False
Suppose f + 3 - 5 = d, 5*f - 28 = -d. Suppose -7*x = -9*x + 5*q - 13, 9 = -d*x + 4*q. Let z be 5/(-16) + (-1 - -1). Is x less than z?
False
Suppose 13*f - 11*f + 12 = k, 2 = -k - 5*f. Let q be (1/2)/(k/48). Suppose 2*l = -4*x + 20, 3*x + 8 = -x + 5*l. Is x less than or equal to q?
True
Suppose 0 = -5*m + t - 1498, 0 = 11*m - 8*m - 5*t + 912. Let f = m - -277. Is 0 at most as big as f?
False
Let l = 1620 - 1537.7. Let y = l + -83. Let x = -5 + 8. Which is smaller: x or y?
y
Let b = -407 - -953. Let a = b + -655. Which is smaller: a or -111?
-111
Let h be ((-1068)/18 - 14)/(52/2). Which is bigger: h or -4?
h
Let j be (-208)/(-44) - 5 - ((-1040990)/220 + -9). Is 4742 smaller than j?
False
Suppose 354*u - 229*u = 192*u - 3886. Is 473/8 >= u?
True
Let d = 44654018/545 + -81934. Which is bigger: d or -1?
d
Suppose -2*b + 1 = -3*l, 0 = -2*l - 2*l + 5*b - 6. Let m be 415/2945 - 6/(-114). Which is smaller: m or l?
m
Let i = 6493.9 - 6494. Which is greater: 1321 or i?
1321
Let u(p) = -p**2 - 33*p + 150. Let a be u(-37). Let b = -2 + 2. Suppose b*c = 5*c - a*c. Is -2/77 at least c?
False
Let g(d) = -2*d**2 + 142*d + 3197. Let s be g(-18). Is -164/23 smaller than s?
True
Let o be 1/(-4) + 127/(-36). Let h be (-2)/(-7) - (-10688)/28. Let w = h + -386. Which is smaller: w or o?
w
Let c(k) = k**3 - 7*k**2 - 16*k - 20. Let o = 501 - 492. Let i be c(o). Which is greater: -48 or i?
i
Let u be -4 - 17/((-510)/13485). Which is greater: 445 or u?
u
Let p be (-25)/(-275) + 82*(-3028)/(-440). Is 563 bigger than p?
False
Let z be (-2772)/1232*(-5)/(-102). Which is bigger: z or -1?
z
Let y(w) = -4 - 28*w**2 + 11 + 30*w**2. Let s be y(0). Which is bigger: s or -2/27?
s
Let t = 267.9746 + -268. Let q = 27.2746 - t. Is -1/3 greater than q?
False
Let p = 3109 - 3108. Is 13/152 less than or equal to p?
True
Let j = -2692 + 56521/21. Let s(c) = c**3 + 12*c**2 - 11*c + 24. Let z be s(-13). Which is bigger: j or z?
j
Let y = -51065/3 + 3744781/220. Let t = y - -1/55. Does t = -1?
False
Let r be 218/2071 - -6*480610/(-285). Are r and -10116 equal?
False
Suppose b - 5*n - 27 = 4, 5*n + 35 = 5*b. Which is greater: 51/164 or b?
b
Let n(y) = -y**3 + 9*y**2 - 17*y - 4. Let i be n(6). Suppose -d = -5*z + 11, 4*d = i*z + 25 - 69. Let m = d - -14. Are 4 and m non-equal?
True
Let u be 8/(-8)*(-43)/1. Suppose 11*r = 10*r - u. Let f = 17 + r. Which is bigger: -25 or f?
-25
Let z be (-8)/(-26) + 2211738/2379. Is 930 less than or equal to z?
True
Let i(h) = 14*h**2 + 3*h + 4. Let x be i(-1). Let z be ((-35)/(-20) + -1)*20/x. Which is smaller: 1/216 or z?
1/216
Suppose 22*m - 18*m - 5*n - 1524 = 0, 0 = m - n - 382. Suppose 0 = l + 4*l + 4*i + 382, 2*i = -5*l - m. Which is bigger: l or -80?
l
Suppose -3*j = -j - 16. Let w(q) be the first derivative of -q**3/3 - 7*q**2 - 35*q + 20. Let n be w(-5). Which is greater: j or n?
n
Let p be 5946/26595 - (-22)/(-99). Is 1 at least p?
True
Suppose -7*z + 2*z - 75 = 0. Let n(f) = f**2 + 13*f - 28. Let x be n(z). Let r be 31/6 - (8 - 4). Which is bigger: r or x?
x
Let h(y) = -8*y**3 + 8*y**2 + 277*y - 1147. Let v be h(4). Let x = -1297 - -874. Is v smaller than x?
False
Let z be (150/90)/((-15)/18). Let o be 3/54*z + 142/(-18). Which is bigger: -10 or o?
o
Let r(i) = -2*i**2 - 257*i + 5141. Let g be r(-145). Let u be -4*357*(-2)/8. Is g at least u?
False
Let z(p) = 50*p - 599. Let o be z(12). Which is greater: -1/500 or o?
o
Let d be -2 + 4 - (-1)/(-1). Let j be ((-347)/(-3))/((-28)/12). Let c = j + 17683/357. Which is bigger: c or d?
d
Suppose -1336 = -3*h + 4*y, 167*h + 5*y - 929 = 165*h. Does h = 0.3?
False
Let o = 293.4 + -290.4. Which is smaller: 2111 or o?
o
Let j = 368 - 369. Let r be (-1 - -2) + 1 - 0. Let i be r/156 + 8 + -8. Which is bigger: j or i?
i
Let x = 512 + -514. Which is smaller: x or -111/32?
-111/32
Let t(z) = -6 + 7 - 1 + 4*z - 6. Let o be t(6). Let j(r) = -4*r + 47. Let y be j(7). Is o equal to y?
False
Let f(d) = 5*d + 24. Let b be f(0). Suppose -3*g + b + 22 = -2*w, -w = -5*g + 16. Let a = 32 + w. Are -0.1 and a nonequal?
True
Let b be 3 - 4 - (-5 + 3). Let x be (1096780/9450)/29 - 4. Which is bigger: b or x?
b
Suppose 23*b - 20*b + 2*k - 14 = 0, -b = -2*k + 14. Which is greater: -14/477 or b?
b
Suppose 4*m - 2*n = 3*n - 16, 0 = m + 3*n + 4. Let t = m - -20. Are t and 17 unequal?
True
Let u = 29209 + -29209. Which is bigger: -2/28529 or u?
u
Let o be 7/1 - (38 + -35). Suppose d + 179 = o*k + 29, -2*k = -4*d - 558. Is d at most -138?
True
Let w(m) = m**2 + 2*m. Let j be w(-2). Let d = -29204 + 19420644/665. Let l = d + 1/19. Which is greater: j or l?
l
Let p be (-20)/((-1600)/(-9210)) + 1 + -4. Which is smaller: p or -117?
p
Suppose -115*u + 623898 = 88*u + 4*u. Is 9044/3 at least u?
True
Let x = -83 - -78. Suppose -5*z + 7 = -4*t, -15*t + 14*t - z - 4 = 0. Is t not equal to x?
True
Let s = 30984 + -31039. Does s = -31?
False
Let s = -718 - -394. Let q be (1 - -3)/(s - (11 - 9)). Which is bigger: q or 0?
0
Let u = -60568/1845 - -1478/45. Suppose 0*q = 2*q. Which is bigger: u or q?
u
Let i be -1 + 4 - (54 + 33). Let d be 105/(-275) + i/(-20) + -4. Let x = 0.9 - 1. Is x at least as big as d?
True
Let z(i) = -2*i**3 + 50*i**2 - 10*i + 54. Let a be z(25). Let l = -214 - a. Which is smaller: -20 or l?
-20
Suppose 4*d + 4 = y + 11, -4 = 2*y + 2*d. Is 34 greater than or equal to y?
True
Let a be (10/6)/((-6)/(-18)). Suppose a*t - 48 = i - 214, 0 = 2*t + 5*i + 61. Is -32 at least as big as t?
True
Let p be 219/(3/(-2)*(-54)/(-81)). Let g(n) = -4*n**3 + n**2 + 4*n + 3. Let r be g(4). Which is greater: r or p?
p
Suppose 9*n - 6 = 6*n. Let h be n + ((-20)/14 - (-48)/(-84)). Suppose -4*s + p + 17 = h, 3*s + 0*s - 4*p - 29 = 0. Do 2 and s have the same value?
False
Let v be 8/(1 + 7) - (-200070)/13. Is v at least as big as 15389?
True
Let a = 474 - 473.9295. Let u = a - 175.0705. Which is smaller: -1 or u?
u
Let j be 5/(-1 - (-4 + 2)). Suppose 2*l - 20 = l 