424/63 - -721. Let v = m - 59/252. Which is bigger: q or v?
q
Let j = -0.09 + -29.91. Is 2/47 bigger than j?
True
Let b(v) = 7*v**3 - 1. Let d be b(1). Let s be d*4/8 - -2. Suppose 0 = 5*y - 3*c + 9, -s*y + y - 6 = -2*c. Is y greater than -2/11?
True
Let q be (-6)/(-10) + 19962/105. Let v = q + -191. Let y be (-1 - (-1 + 1))*0. Which is bigger: y or v?
y
Suppose -d = -4*n + d + 24, 3*n + 2*d = 18. Suppose j - 4*u = 0, 3*u = 3*j - n*j. Do j and -5/4 have the same value?
False
Suppose 2*t - 16 = 3*x + 15, 4*t - x = 67. Suppose g + t = 22. Let z be (-12)/g*(-5)/20. Is 1 smaller than z?
False
Let s = -120 + 634. Is s greater than 514?
False
Let n be (30/(-9) - -5)*8/(-4). Is n at most -1?
True
Let q(l) = -l**3 - 8*l**2 - 9*l + 6. Let w be q(-7). Which is greater: 24 or w?
24
Let g(t) = -24*t + 101. Let c be g(4). Do 11/3 and c have the same value?
False
Let u = 5 - 3. Let t = u - 9. Let z(s) = s**3 + 8*s**2 + 8*s + 2. Let d be z(t). Is d < -1?
True
Let z = 98 - 44. Let a be 1 - (-1 + z/28). Suppose 23 = 33*o - 10. Which is smaller: o or a?
a
Let q = -55/28 + 9/4. Let r = 232 + -362. Let d = r + 129.9. Which is smaller: d or q?
d
Let j = -464 - -463. Let l = 2.6 - 0.6. Let q = l - 1.8. Which is greater: q or j?
q
Let z(u) = 2*u + 4. Let n(t) = -2*t**2 - 6*t + 7. Let f be n(-4). Let d be z(f). Do d and 1 have different values?
True
Let n = -486 - -502.91. Let q = n - 17. Is q >= -1/4?
True
Let d be (-6)/(-27) + (-1 - 7/(-9)). Which is greater: d or 1/186?
1/186
Let q be 346 - (-8 - (6 - 14)). Is 345 equal to q?
False
Let k be -12*((-64)/(-24) + -4). Suppose 2*o - 70 = -3*o. Which is smaller: k or o?
o
Let a(r) = 27*r - 291. Let h be a(9). Are -1 and h unequal?
True
Let k be (-2)/((4 - 2)/(-36)). Let y = k + -24. Is y smaller than 13?
True
Let s = -302 + 301. Suppose -10 = 8*v - 3*v. Let l be (-10)/(-18) - v/(-9). Is s < l?
True
Let n be 43 - 1/(1/5). Which is smaller: 37 or n?
37
Let x = 15 + -10. Suppose -o = x*o - 54. Do o and 10 have the same value?
False
Let w = 374097 + -8592802/23. Let a = w - 497. Does -2 = a?
False
Let v be (-20)/(-15) + 4/6. Suppose -m + 66 = v*m. Let b = 156 - 135. Which is greater: m or b?
m
Let x be -3*4/12*20. Let n be (-12)/x + (-76)/10. Is n bigger than -5?
False
Let r = -1683.981 - -1683. Let y = r + -0.019. Is 47 greater than or equal to y?
True
Let x = 0.51 - 0.11. Let q = 0.4 - x. Let l = 0.016 + 13.984. Which is bigger: l or q?
l
Let v be (46/(-144))/(81/(-108)). Let m = -2/27 - v. Let s = -5.8 - -6. Are s and m equal?
False
Let l be (-1)/2 + (-9)/6. Let y = 151 + 369. Let s be (-3)/4*y/273. Which is smaller: l or s?
l
Let t be 1085/(-1075) + 4 - (3 + 0). Let k = t - -436/645. Is k < 1.4?
True
Let x = -0.04 - -4.44. Let k = x - 16.4. Is k >= -1/2?
False
Let o = 90 - 89. Suppose -4*z + 29 = -5*i, z + o = 3*i + 17. Which is smaller: z or -3/10?
-3/10
Let q = -3/40 - 13/40. Which is smaller: q or 1/53?
q
Suppose 0 = 3*r + 3*r - 12. Let k(y) = r*y - 11 + 2*y - y - 4*y. Let j be k(-9). Which is smaller: -5 or j?
-5
Let a be 6/(-180)*5 + (-13)/(-86). Which is bigger: 1/2 or a?
1/2
Let s = -1.129 - -166.129. Which is bigger: s or 4?
s
Suppose -1112 + 972 = 5*n. Which is bigger: -27 or n?
-27
Let w = -3/623 - -252339/4984. Is w greater than or equal to 52?
False
Let l = 1331 + -1332. Is l bigger than 3/361?
False
Let l = 27.4 + -43.5. Let r = l + 14. Let c = -0.1 - r. Which is smaller: c or 0?
0
Suppose -243 = 3*w + 69. Let a be w/(-51) + (4 - 6)*1. Which is bigger: a or 1?
1
Let w = 674 + -661. Is 3 at most as big as w?
True
Let j = 16.87 - 17. Suppose 28 = 5*m - f, -2*m + 6*f - 9*f = -18. Which is smaller: m or j?
j
Suppose 235*j - 9373 = 248*j. Is j greater than or equal to -721?
True
Let u be (-47)/(-188) + 6818/24. Is u greater than or equal to 285?
False
Let q = -2897 + 2897. Are 4.9 and q unequal?
True
Let m be ((-367)/(-15) - 0)*3. Let l be (-3620)/50 - 3/5. Let i = l + m. Which is smaller: 14/9 or i?
i
Let t = 3 - 10. Let h(f) = 4*f + 29. Let r be h(t). Is r equal to -2/133?
False
Let h = -1 - -0.68. Let v = -0.3 - h. Let j = v - -0.08. Is 3 at most as big as j?
False
Suppose -2*m + 9 = -11*m. Which is smaller: m or 69/7?
m
Let u be (-6)/69 + (-5)/207. Is u > -4/3?
True
Let l(k) = -k**3 + 35*k**2 - 65*k + 4. Let o be l(33). Which is bigger: o or 32?
o
Let l be 66/(-16) - (4 + 33/(-8)). Suppose f + 4*f - 10 = 0. Suppose 4*q = 2*u - 2, 3*u = -5*q + f*q + 12. Is q less than l?
False
Let z = -331 - -206. Is z less than or equal to -124?
True
Suppose -2*x = -8 + 6. Let h be 22*x/10 + -2. Which is bigger: h or 2/3?
2/3
Let t be 6/(-28)*(-3 + (-2)/(-6)). Which is smaller: t or -0.04?
-0.04
Let j = -1233/85 + 250/17. Is j greater than -0.399?
True
Let a(w) = -w**3 + 24*w**2 + 20*w - 6. Let n be a(25). Is n greater than -134?
True
Let d(w) = -w**3 + 25*w**2 - 25*w + 5. Let j(u) = 16*u + 8. Let h be j(1). Let r be d(h). Which is smaller: -37/2 or r?
r
Let c = -356 + 421. Which is smaller: 2/3 or c?
2/3
Let n(o) = o**3 + 4*o**2 + o + 4. Suppose 2 = -2*v + 3*y, -15 = 3*v + y - 1. Let k be n(v). Which is smaller: 2/17 or k?
k
Let p = -2 + 1.7. Let z = -76 + 156. Let b = -75 + z. Which is smaller: p or b?
p
Let p(j) be the third derivative of j**6/120 - 13*j**5/60 + 13*j**4/24 - 11*j**3/6 - 10*j**2. Let i be p(12). Which is smaller: i or -1?
-1
Let d = -11 - -13. Suppose -14 = -d*y + 12. Let c be 4/(-12) - (-129)/9. Is c greater than y?
True
Suppose 12*v + 68 = 56. Which is greater: v or 3/283?
3/283
Let n = 6.977 + 0.023. Let t = -26 - n. Is t greater than or equal to 2/11?
False
Let d = 724 - 724. Let a = -536750/3071 + 2474/83. Let n = -145 - a. Which is smaller: n or d?
n
Let s = 14233/29 + -491. Which is smaller: -1 or s?
-1
Let o(b) = -b**2 + 3*b + 15. Let m be o(7). Let c = m - 7. Let h be c/695*(-3)/(-6). Is h smaller than -1?
False
Suppose -69*y + 64*y - 345 = 0. Which is smaller: 2 or y?
y
Let z = 242 - 334. Is -735/8 != z?
True
Let d be 7/((-55)/20 + 3). Let y be (4 - d/8)*-2. Which is smaller: 1/3 or y?
y
Let q(k) = k**3 + 10*k**2 + 2*k + 22. Let t be q(-10). Suppose -t*w = 3*f + w, f - 4*w + 5 = 0. Are -3/28 and f equal?
False
Let m(j) = -5*j + 7. Let a(p) = 11*p - 15. Let b(y) = -4*a(y) - 9*m(y). Let c be b(8). Suppose c*s - 5 + 0 = 0. Are s and 8/7 non-equal?
True
Suppose -b - 9 = 3*y + 9, -5*b + 4*y - 109 = 0. Let j = b + 15. Let i(w) = -w - 13. Let v be i(-6). Which is greater: v or j?
j
Suppose 0 = -793*j + 813*j + 140. Suppose -2*f + 9 = -5*f. Which is smaller: j or f?
j
Suppose -200 = 4*g - h, 5*g + 2*h + 250 = 3*h. Which is smaller: -53 or g?
-53
Let x = -0.1 - 0.4. Let k = -0.4 - x. Let h = -28 - -28. Is h less than or equal to k?
True
Let k be 3 - (1 - 2)*10. Let o = 20 + k. Suppose -6*w - o = -9*w. Is w at most 10?
False
Suppose 0 = 2*j - j - 4*f + 75, -2*j - 5*f - 137 = 0. Are -73 and j equal?
False
Suppose -3*q + 2*w - 7*w = 33, 0 = -w - 3. Let n be (q/(-4) - 0)*4/(-15). Is n at least 10?
False
Let k = -2018 - -2025. Is -47 <= k?
True
Let p be 10 - (-2 - (2 - (3 + 0))). Suppose z - 8 = -p. Is -17/11 greater than or equal to z?
True
Let l be (2/(-5))/((-7)/1085). Let i be 4*l/(-273) - -1. Let t = i + 2/39. Is t greater than 1/5?
False
Suppose -2 = 5*j + 3. Let t(g) = -g**3 + 4*g**2 + 2. Let z be t(4). Suppose -z*s = -6*s - 12. Which is greater: j or s?
j
Let o = -45 + 38. Suppose 30 = -7*v + 2*v. Is o equal to v?
False
Let a = -1665 - -1614. Which is bigger: -566/11 or a?
a
Let q = 18.2 - 2.2. Let j = 0.2 + -0.2. Are j and q equal?
False
Let l(y) = y**3 + 4*y**2 - 9*y - 8. Let k be l(-6). Suppose -9*g - 108 = -5*g. Which is smaller: k or g?
g
Let c = -18 - -52/3. Let r = 0.8427 + -0.7897. Is c greater than or equal to r?
False
Suppose -10 = -x + 6*x. Let a be (-4)/12 - 2/x. Which is smaller: a or 1?
a
Suppose 3*w + 10 = 5*z + 29, -z - 9 = -w. Suppose -5 = 2*u - w. Suppose 0 = u*p - 80 + 24. Is p < 13?
False
Let n be 17 - ((-12)/(-4) - 3). Let p = n - 28. Let u be ((-2)/4)/((-2)/(-44)). Is p greater than or equal to u?
True
Suppose -4*a = 35 - 31, 2*u - 162 = 4*a. Is u less than 90?
True
Let v be 3 - (1040/(-36))/(-10). Suppose 3*x = 2*c - 4 - 11, 2*c - 2*x - 12 = 0. Which is smaller: c or v?
v
Suppose 2*h - 5*v + 22 = 6, 2*h + 52 = -4*v. Let r be ((-3)/(-549))/((-2)/h). Is -1 > r?
False
Suppose 0