is bigger: q or -22?
-22
Let z be 3718/(-975)*2/((-8)/2). Let k = z + -8/75. Let d = 5 + -2. Which is bigger: d or k?
d
Let d = -245 + 202. Is d >= 2?
False
Let u = -1/96 + -185/672. Let w(y) = y**3 - 5*y**2 - 4*y - 14. Let r be w(6). Let t be r/(-12) - (-150)/(-36). Is t <= u?
True
Suppose -2*i = -3 - 1. Suppose -s + 4*a + 9 = 5, -2*a = -4*s + i. Suppose -3*v = 4*b + 6 + 2, 2*v - 4*b - 8 = s. Which is smaller: -1/3 or v?
-1/3
Let r(c) be the third derivative of -c**4/8 + c**3 + 9*c**2. Let q be r(4). Which is greater: q or -7?
q
Suppose -4*x - x = -4*x. Does -7/19 = x?
False
Let f(l) = 0*l + l + 3 + 1. Let i be f(11). Let q = i - 12. Is q <= 1?
False
Let w(a) = a**3 - 5*a - 3. Let n be w(4). Suppose -5*l = 2*y - n, -2*y - l = -0*l - 21. Is y at least 3?
True
Let h be (3996/6230)/(129/(-10)). Let c = 2/623 + h. Which is smaller: 0.2 or c?
c
Let d = -0.154 - -0.024. Does 15/8 = d?
False
Let s = -3.826 - -0.536. Let l = -0.29 - s. Is l bigger than -3?
True
Let q be 1/4 - 55/(-20). Suppose -q*w = -0*w - 42. Suppose -4*b + 12 = 4*g, 4*g + b + b - w = 0. Are g and 4 equal?
True
Let f(d) be the third derivative of d**5/60 - d**4/24 - d**3/6 - d**2. Let i be f(0). Let n(g) = g**3 + 4*g**2 + 3*g - 1. Let u be n(-3). Is i <= u?
True
Let s be 2 - 3/(12/(-13)). Suppose 5*m - 18 = 2*k, 12 = 5*m - 3*k - 5. Which is smaller: s or m?
m
Let v = 1/21 + 2/7. Let c = -7.94 - -8. Which is greater: v or c?
v
Let l = -3 + 22. Let b = -0.26 - -0.46. Is b equal to l?
False
Let b be (-42)/(-16)*(4/7 - 1). Which is greater: b or 5?
5
Let t = -922 - -925. Is t bigger than -5?
True
Let p = 146.4 - 146.5. Does 639/7 = p?
False
Let y(h) be the third derivative of -h**6/120 + h**5/12 + 7*h**4/24 - 7*h**2. Let u be y(6). Is -4/3 > u?
False
Let j = 15.4 - 15. Let t = j + 0. Let n be 3/(-4)*(-2)/(-6). Is t at most n?
False
Let a be -2 + ((-60)/25 - -4). Are 285 and a nonequal?
True
Let j be (-1 - (6 + -2)) + (97 - 19). Which is smaller: 74 or j?
j
Let b be 1242/(-45)*10/3. Let t = b + 172. Let r be ((-2)/3)/(t/30). Is r < 1?
True
Let z(q) = q**3. Let m be z(-1). Let u be -3 + 2 - (-1 + m). Are -2/35 and u unequal?
True
Suppose 614 = 18*f - 1330. Let c be 2*(3 + (-328)/f). Is -2 at most as big as c?
True
Let k be (1 + (-25)/26)*(-13 - -4). Is 0 at most as big as k?
False
Let m = 8.81 - 10.81. Let k = 8 - 14. Is m less than or equal to k?
False
Let y(g) = 2*g**2 + 39*g + 7. Let z be y(-11). Which is smaller: -179 or z?
z
Let d be -1 - 0*2/4. Let t = -25/36 + 7/9. Which is smaller: d or t?
d
Let m be (10212/(-3640))/23 - (-3)/30. Which is greater: -1 or m?
m
Let r = 28 + -21. Let z be (-2)/r + 46/112. Which is bigger: z or 0?
z
Let i be 24*((-5)/(-12) + (-5)/30). Is 16/3 less than or equal to i?
True
Let h(x) = 2*x + 5. Let k be (-2)/(-11) - 946/(-121). Let s be h(k). Does 21 = s?
True
Suppose -2*a = -10*a. Let t be (-112)/(-52) - (1 - -1). Is a <= t?
True
Let u be 3/15 - (-666)/(-30). Let l be 26/40 + u/55. Which is smaller: 11/4 or l?
l
Let s be ((-164)/5)/(198/495). Which is greater: s or -76?
-76
Suppose -o - 3*o = 0. Let j = -16.181 - -1.181. Which is bigger: j or o?
o
Let g(a) be the third derivative of a**5/15 + a**3/6 - 5*a**2. Let d be g(-1). Let q = 8 + -5. Which is smaller: q or d?
q
Let u = 3 + 3. Let a(i) = i**3 - 5*i**2 - 7*i + 6. Let v be a(u). Suppose 0 = -3*o + d - 22, v = 3*o + d - 6*d + 26. Is -1/5 smaller than o?
False
Let u = -84 + 418/5. Let a(r) = -2*r**2 - 3*r + 16. Let p(k) = k**2 + 2*k - 8. Let i(h) = -6*a(h) - 13*p(h). Let q be i(-9). Which is greater: u or q?
u
Let n = -133.9 + 106.94. Let l = n - -27. Which is smaller: -1/3 or l?
-1/3
Let f = 321 - 221. Let o = f + -108. Do -5 and o have the same value?
False
Let j = -24/37 + 1952/2553. Is 1 equal to j?
False
Let p(r) = -r**3 + 6*r**2 - 4*r - 1. Let a be p(5). Let z = a + 5. Let n be 6*1*(-9)/z. Which is greater: n or -3?
-3
Let z be 168 - (9/(-6) + 5/(-10)). Is z <= 341/2?
True
Suppose -130 - 65 = -5*f. Are f and -5 equal?
False
Suppose 4*n + 37 = 277. Let x = -87.02 - -87.02. Is n at least as big as x?
True
Let q(t) = -54*t + 114. Let h be q(0). Which is greater: h or 111?
h
Let p = 21 - -3. Let l = -22.7 + p. Let m = -1.4 + l. Is m at least as big as 1/6?
False
Suppose 4*o + 3*i = -430, 0*i + 5*i + 99 = -o. Let a(k) = -k**3 - 81*k**2 + 153*k - 1189. Let d be a(-83). Which is smaller: d or o?
d
Let o = 163 - 98. Let x = 60 - o. Suppose 0 = d - 3*d. Are x and d equal?
False
Suppose 0 = -k + 1, 3*t - k - 2*k + 99 = 0. Let w = t + 32. Which is greater: w or -3/22?
w
Let r = 148 + -158.32. Let f = r + 10.3. Is f != 1/2?
True
Let x be (2/(-3))/((-7)/(-3)). Let i(f) = f**3 + 19*f**2 - 18*f + 6. Let j be i(-20). Let n be (-10)/(-35) + j/266. Is x > n?
False
Let i = -322.3 - -322. Which is greater: -3/2 or i?
i
Let m be -1 + 6/15 + 0. Suppose 0 = -8*n + 7*n + 4. Suppose 0 = 2*t - 5*b + 25, -2*t + b = n + 1. Is m at least as big as t?
False
Suppose 19*i - 781 + 6006 = 0. Is i smaller than 1/4?
True
Suppose -31 + 1314 + 103 = 63*t. Let z = 3 + -4. Which is greater: z or t?
t
Let t = -24.4 - -25. Let r = t - -0.4. Do r and -1/5 have the same value?
False
Let y be 120/18*-1 - 2/6. Let z be -2 - (1 + (-3 - -7)). Is y greater than or equal to z?
True
Let g = 441/4 + -219/2. Let j = 5 + -1. Suppose 3*a = j*a + 1. Which is smaller: g or a?
a
Let t(v) = v**3 + 3*v**2 + 4*v - 1. Let j be t(-3). Let o(q) = q**2 - 395*q + 3838. Let y be o(10). Which is greater: y or j?
y
Let o = 0.1308 + -0.0308. Is o at least as big as 41.5?
False
Suppose 4*i = -o - 10 - 2, 5*o - 2*i = 6. Suppose o*c = -c + w + 2, -w + 8 = c. Suppose 0 = -c*z + 3*z. Is 3 < z?
False
Let m be 6/(-8)*(-48)/18. Is m bigger than -81/4?
True
Let c = 1 + 7. Let y be ((-2)/4*-2)/(c - 7). Let t = -2221/22 + 101. Which is bigger: t or y?
y
Let i = 24.5 - -0.5. Let h = i + -24. Is 0.15 at least h?
False
Let w = -12489/44 + 1137/4. Suppose -7*t = -10*t - 3. Which is bigger: w or t?
w
Let g = -68 + 67.705. Let a = g - 0.005. Which is greater: -4 or a?
a
Let x = 1386 - 1385.97. Is x >= 7?
False
Let q = 31/194 - -13045/2134. Is 6 not equal to q?
True
Let n = 0 + -1. Suppose 46 + 34 = -5*d. Let q = 15 + d. Is n at most q?
True
Let f = 107 - 70. Let m = f + -37. Which is smaller: m or 1/2?
m
Let a = 9.3 - 9.2. Suppose 0*d + 45 = 3*d. Let v = d + -3. Which is greater: v or a?
v
Suppose 5*u = 2*g + 20, -3*g + 4*u + 7 = 23. Let f be 6/((-360)/(-299)) + -5. Is f at most g?
True
Let g = -262163/94 + 2789. Is g at least as big as 1?
False
Suppose -r - 5*c = -15 - 2, -4*c + 8 = -2*r. Suppose -l = r + 1. Let s be ((-1)/l)/((-3)/9). Which is greater: -7/5 or s?
s
Let t(d) = d**3 + 14*d**2 - 4. Let v be t(-14). Let o be 2*v - (4 + -6). Which is greater: o or -3?
-3
Let b(h) = -4*h**3 - h**2 + h - 1. Let p be b(1). Suppose -3*q + s = 2, 6*s - 11*s - 10 = -5*q. Let f be ((81/q)/9)/((-9)/(-12)). Which is smaller: f or p?
f
Let j = 84.577 - -1.423. Which is bigger: j or -1?
j
Let l(z) = -13*z + 24. Let t be l(2). Is t bigger than -7/4?
False
Let m = -1604 + 6385/4. Is m less than -8?
False
Let t = 98 + -101.53. Let o = -0.27 + t. Let f = o - -21.8. Is f <= 1/4?
False
Let q = 686 - 684. Do q and -369/4 have the same value?
False
Let v = 2355 + -2318. Which is smaller: -22/5 or v?
-22/5
Let h = 25.3 + -27. Let u = 1.018 + 1.982. Which is bigger: u or h?
u
Let m(h) = -91*h**2 - 15*h + 5. Let o be m(-3). Which is smaller: o or 1?
o
Suppose -5*a - 1 = -1. Let p be a/1 - 10/40. Which is smaller: p or -0.8?
-0.8
Suppose -18*n + 160 = 22*n. Let d(c) = 8*c**2 + 2*c - 1. Let s be d(1). Which is bigger: n or s?
s
Let p = -49 + -1. Let f = p - -48. Is 2/3 at most f?
False
Suppose -4*b - 3*r + 2393 = 0, 0*b + 3*r = -5*b + 2992. Which is smaller: 598 or b?
598
Suppose -d + 88 = -5*d. Suppose -1410*q - 399 = -1391*q. Which is bigger: q or d?
q
Suppose 18*d = 22*d - 12. Suppose 3*w = -2*r + 10, 0 = 4*r + d*w + w - 12. Which is greater: 2/45 or r?
2/45
Let h = -370767/83 - -4467. Is 1 at least as big as h?
True
Let t = -1189 + 1315. Which is greater: 129 or t?
129
Let z be 10/25*5 + 3. Suppose -25 = -0*j + z*j. Let s be -1*(-1 - j - 3). Which is smaller: -4/11 or s?
s
Let s = 203.07 - 204. Let w = s + 0.17. Are 2/7 and w nonequal?
True
Let o = -0.598 - -0.55. Let k = o + 4.048. Let i = -3.92 -