?
f
Let l(y) = -y + 11. Let h be l(-6). Let s(o) = -20*o + 3. Let w be s(-4). Suppose 0 = 2*a - h + w. Is -34 at least a?
False
Suppose 5*l = 7 + 3. Suppose -2*x = -3*r - 1, -r - 2*x + 6 + 7 = 0. Suppose -6*u + 37 = -2*y - 5*u, 0 = -u - r. Are l and y non-equal?
True
Let a be 6069/33 - 600/660. Is a smaller than 183?
False
Let v be 1/(-1908) + 0/(-11). Is 1 bigger than v?
True
Suppose -f = -12 - 36. Let t(a) = -a**3 + 16*a**2 + 37*a + 31. Let b be t(18). Which is smaller: f or b?
f
Let r be ((-2079)/20275332*(-8)/(-6))/(6/4). Is r greater than -1?
True
Let c = 0.193 + 95.807. Let i = c - 95. Let l be (-13)/6 - 3/9. Which is greater: l or i?
i
Let g(o) = -23*o**2 - 8*o + 2. Let k be g(3). Let l = k + 253. Is 22 bigger than l?
False
Suppose 0 = -4*w - 4*z - 164, -5*w + 0*w + 3*z = 221. Let a = -41.39 + 40.99. Is a less than w?
False
Let n = -1588294 + 729026452/459. Let j = n + 37/27. Are j and -1 nonequal?
True
Let j = 3 + -4. Let t be (-13962)/(-39780) - (-1)/(-9)*3. Is j > t?
False
Suppose 447*p + 442*p = 891*p + 2576. Which is greater: -1286 or p?
-1286
Suppose 9 = v + f + 8, -f = -5*v - 1. Is v equal to 13/51?
False
Let y = 5 - 5. Suppose -16*s + 11*s = 2910. Let i = s - -13392/23. Which is bigger: y or i?
i
Let s(y) = 3*y**2 + 30*y - 23. Let q be s(-11). Let i be (-10)/((-450)/(-27)) + 26/q. Does 54 = i?
False
Let h = -4601 - -4608. Which is smaller: h or 5.2?
5.2
Let f = 124 - 175. Suppose 0 = 8*w + 207 + 217. Which is smaller: f or w?
w
Suppose 0 = -d + 9*d - 128. Suppose 6*j - 5*t - 17 = 4*j, 5*t + d = j. Is -1/87 at least j?
False
Let t = -0.236 - -116.236. Let z = t + -115.937. Let k = 1.937 + z. Which is smaller: k or 12?
k
Let l = -11.6 - -10.6. Let r = 1.14 + 44.86. Let y = r - 23. Are l and y nonequal?
True
Let g be -1 - (-12)/14 - (-402415)/54530. Is 6 greater than or equal to g?
False
Let g = 0.052 + 0.248. Let i be (348/(10 + -6))/(-1 + 14/8). Do g and i have the same value?
False
Let c(y) = -y**2 + 16*y - 2. Let t be c(15). Let z = 15 - t. Suppose -z*u = l - 4*l - 87, u - 33 = -2*l. Are 40 and u nonequal?
True
Let z = 110 + -110. Suppose z = -8*f - 16 + 40. Which is bigger: f or -7?
f
Let b(m) = 2*m**2 + 3*m. Let s be b(-1). Let a(z) = z**2 + z - 3. Let h be a(-3). Let v be h + 112/(-26) - -1. Which is bigger: s or v?
v
Suppose 3*x = 3*a + 531, -x + 5*a + 148 + 45 = 0. Let c = x - 62. Which is greater: c or 110?
c
Suppose 24*j + 0*j + 30567 = -45*j. Which is smaller: j or -436?
j
Let f = -804 - -523. Let a = -280.84 - f. Let j = 5 + -3. Which is greater: a or j?
j
Let a = 2851 + -2882. Are a and -36 nonequal?
True
Suppose 64*v + 21*v + 135065 = 0. Are v and -1588 unequal?
True
Let g = 128 + -116. Let l be (-1)/(-4) - (123/g + 2). Is -12 greater than l?
False
Suppose 0 = 4*n - 24 - 52. Let b = -26 - -43. Let o = b - -2. Does o = n?
True
Let z be ((-466)/6)/(824/(-408) + 2). Let q = z - 35749/9. Is -11 less than q?
False
Let r be 1/1*0/(-65) - (-4)/(-8509). Is r less than or equal to 1?
True
Let f be (-7 + 0)*(6 + -5). Let p(h) = -2*h - 10. Let z be p(f). Let d be (4 - (-1 + 2)) + -3. Which is smaller: z or d?
d
Suppose -98 = 2*c - 2*k - 24, 0 = -2*c + 4*k - 78. Let f be (1 + (-18)/14)/c. Let q = 140 - 141. Is q at most as big as f?
True
Let w = 2902/70445 - -106/365. Which is greater: -0.1 or w?
w
Suppose 12 = -n - 3*n, 2*c - 2*n - 10 = 0. Let m be ((-4)/18 - 2)*9/(-2). Which is smaller: m or c?
c
Let h = -331 + 331.05. Let c = 1527 - 90091/59. Does c = h?
False
Let l = 491303/2 - 238230. Is 7421 at least as big as l?
False
Let u(v) = -v**3 + 3*v**2 + 4*v. Let b be u(4). Let x = 411 - 460. Let p be (-2)/(-42)*(-13)/(182/x). Is b greater than p?
False
Suppose -5*v - 1 = -6*v. Let x be ((-2)/(-3))/((-404)/6 - -1). Which is bigger: v or x?
v
Let m = 13.7 - 75.7. Let i = 7 - m. Which is bigger: i or 0?
i
Suppose m - 214*x + 911 = -212*x, 4*x = -m - 863. Is -898 >= m?
False
Let o(r) = 10*r**3 + 20*r**2 - 28*r - 6. Let l(n) = n**3 - n + 1. Let x(k) = -12*l(k) + o(k). Let p be x(9). Are 1/117 and p non-equal?
True
Let z = 28390 + -28389.188. Is z equal to 1.7?
False
Suppose s + 3*h + 6 = -0*h, -6 = 2*s + 4*h. Let y(v) = -v**3 + 4*v**2 - v - 4. Let r be y(s). Let i be (3 + 0)/21 + 60/(-28). Which is bigger: r or i?
r
Suppose 0 = -25*i + 38*i. Suppose i = -194*k + 191*k - 27. Which is greater: k or -10?
k
Suppose -45*w + 57120 = -25*w. Is 2856 smaller than w?
False
Let s be (-12 + 120/10)/(16/(-2)). Let t = 21097/42 + -1005/2. Which is bigger: t or s?
s
Suppose 0 = -23*d + 40*d + 44421. Which is bigger: d or -2612?
-2612
Let t = -16/215 + -38492/2795. Does t = -14?
False
Let o(j) = -179*j + 1073. Let n be o(6). Which is greater: n or 9/1366?
9/1366
Let g be 872420/(-28) + (-8)/(-2). Let i = -31096 - g. Let s = i + -421/7. Which is smaller: s or -3?
-3
Suppose 0 = q + 94 - 148. Suppose 2*z = 2*n - 108, 5*n = 6*n + 3*z - 62. Is q less than or equal to n?
True
Let j = 102 + -57. Suppose 0*w - 5*w + 59 = -n, -4*w + j = -3*n. Let t be -1*(-6)/w - 14/(-4). Which is greater: t or -5?
t
Let m be ((-27)/(-4))/((-6)/(-1)). Let d = -545552 - -545553. Do d and m have different values?
True
Let j(r) = -r**3 - 10*r**2 - 2*r + 10. Let x be j(-10). Let h be 94/x - (-4)/(-30). Let i = h - 2. Do -4/17 and i have different values?
True
Let h be ((-25)/(-50))/((-14)/(-12) + -1). Suppose h*g - 6*g - 5*f - 13 = 0, f + 11 = -2*g. Let u(b) = -b - 5. Let j be u(10). Is g less than j?
False
Let u be -9*(-4)/18 + -178. Which is greater: u or -177?
u
Let j = 211 + -712. Let u = -624 - j. Which is smaller: u or -611/5?
u
Let h = -13572 - -13568. Is h equal to -632?
False
Let y = 3434 + -3433. Which is smaller: -1/976 or y?
-1/976
Let j = -700 + 775. Suppose 0 = 2*d - 3*f - 17, -77*d = -j*d + 3*f + 13. Are d and -5 nonequal?
True
Let u = -1479 - -1479. Let w = 793 - 53923/68. Which is smaller: w or u?
u
Let h = -722.17018 - -0.17018. Is -0.1 smaller than h?
False
Suppose -4*n = -8, -4*n - 673 = -12*f + 15*f. Let o = f + 165. Is o at least -60?
False
Let g(y) = y**3 + 4*y**2 + 4*y + 20. Let w be g(-9). Let i = 407 + w. Which is smaller: i or -15?
-15
Let v(f) = -16*f - f**2 + 0*f - 16 + 6*f. Suppose 5*t - 13 = -53. Let j be v(t). Is 2/31 at least j?
True
Let o(y) = 5*y**2 - 1. Let u be o(1). Suppose h + h - u = 0. Suppose 3*r + 9 = 0, 2*j - 3*r = h*r + 13. Which is smaller: j or 2/77?
j
Let a = 5451382/255 + -21378. Let q = 52/255 - a. Let r = 617/18 + -69/2. Which is smaller: q or r?
r
Let p(y) = y + 4. Let l be p(5). Let b = l + -49. Let i be ((2/2)/(-39))/(b/180). Are 1 and i non-equal?
True
Let q = 4291 - 3987. Which is smaller: q or 7?
7
Let r be 8/(-6) - ((-165110)/(-11190) + -16). Is r at most as big as 1?
True
Let o be 4/(-24) - (4173/(-9) + -1). Is o >= 466?
False
Let u(v) = v**3 - 21*v**2 + 26*v - 16. Let f be u(18). Let s = 1065/2 + f. Let p(y) = 7*y - 1. Let n be p(2). Which is smaller: s or n?
s
Suppose -28 = -4*h - 4*d, 457 - 445 = 3*d. Which is smaller: 132/47 or h?
132/47
Let y = -4442.8 - -4444. Let q = 0.33 - -0.07. Which is greater: q or y?
y
Suppose -212*z - 2 = -210*z, -4*x - z + 67 = 0. Is 158/9 equal to x?
False
Suppose 2*q + 8 + 0 = -3*b, 0 = -2*q - b. Suppose -q*i + 5*i = -4*a - 937, 0 = 5*i - 5. Is -236 at most a?
True
Suppose 13*a + 0*a - 91 = 0. Suppose 0 = 12*c - 41 - a. Which is smaller: 12 or c?
c
Let r = -11108 - -10698. Which is smaller: r or -408?
r
Let x(m) be the first derivative of -m**2/2 + 6. Let y(s) = -s**2 + 5*s - 4. Let d be y(4). Let v be x(d). Is v greater than -1?
True
Let z = 32 + -28. Suppose -g + z = m - 4*g, 0 = -3*g - 3. Let u = -56 - -38. Which is smaller: m or u?
u
Suppose -3*h - 2*v = -33, 5*v = -4*h + v + 44. Let r be 1/((-66)/6810) + 6/33. Let d = r + 104. Is d > h?
False
Suppose 0 = -2*o + 4*o. Suppose f + 3*d + 2*d + 2 = o, 3*d + 93 = -4*f. Let b be f/(-29) + (-2)/2. Which is smaller: b or -1?
-1
Let s(u) = u**3 + 2*u**2 - u + 3. Let l be s(-4). Let q = 255 - 280. Are l and q nonequal?
False
Suppose -9*t + 13*t = 116. Let r = t + -24. Suppose -5*y + 2*y = 3*h, -4*h - 9 = -r*y. Which is smaller: h or 1/38?
h
Let g(h) = h**2 + 8*h + 27. Let l be g(-6). Suppose 5 = -l*r + 10*r. Is -1/84 at least r?
True
Suppose 2*x - 19 = -2*c + 13, 0 = -x + 2. Suppose c*g = 3 - 17. Which is smaller: g or 1/20?
g
Let w be 7/