7/3 - -2293. Is 569/9 less than or equal to r?
False
Let f(k) = -166*k**2 + 354*k - 714. Let i be f(2). Which is smaller: -675 or i?
-675
Let f be (8 + 2)*12/(-210) - (-3552)/(-7). Which is bigger: f or -512?
f
Let p = 34.918 - 9.918. Is p at most -2.04?
False
Let v = 24 + -21. Let j = 347 + -304.2. Let x = -43 + j. Which is smaller: x or v?
x
Let z = 45.4 + 10.6. Let m = 22 - z. Let o = m + 33.9. Which is bigger: o or 3/10?
3/10
Let b be -28 + 1*(-12)/(-20)*5. Let u be 3/((-30)/b)*(0 - -4). Suppose 0 = -u*n + 4*n. Is -2 greater than or equal to n?
False
Let y be 195/4 + 1 + 1. Let r = -5877 - -5929. Which is smaller: r or y?
y
Suppose 22*p + 1473 = -2817. Let u be (p/(-52))/(6/32). Which is smaller: u or 18?
18
Suppose -20*t + 4*m - 23 = -19*t, 3*m = 4*t + 14. Which is bigger: -3/1142 or t?
t
Let y = 4 + -6. Let o be (3/(-9))/(y/198). Let i be -6 - (-13)/(156/480). Which is smaller: i or o?
o
Let m = 22358 + -135343/6. Do -198 and m have the same value?
False
Let d = -8990/5067 + 16/9. Let a be 0*(-4)/32*-1. Which is bigger: d or a?
d
Let d = -12817/12191465 - -5/3179. Is d equal to 1?
False
Let a(d) = d - 19. Suppose 3*t = -4*j + 31, 3*t = -j + 6 + 4. Let r be a(j). Suppose 0 = y - 3, 0 = -2*o - 4*y + 1 - 11. Is o < r?
False
Suppose -g + 0*g = -1. Let b be ((-2)/4)/(2760/(-180)). Which is smaller: g or b?
b
Let v = 0.1081 - 2.1081. Which is greater: -407 or v?
v
Let g(r) = -r**2 - 35*r + 2. Let c be ((-45)/10 + 4)*70. Let f be g(c). Which is bigger: f or 22/15?
f
Let r = 12 + -100. Let k = r - -87.9. Let g = -0.07 + -0.33. Is k not equal to g?
True
Let m be -8*18/(-48) + (-5504)/1207. Let t = 2/71 - m. Do t and 1 have the same value?
False
Suppose -z = -h - 7, z - 2*h = -6*h + 22. Let j be 3/(11 - z/2). Which is greater: j or 19?
19
Let p be 2284/(-6)*(-10)/(-55)*33/2. Let r be 78802*-2*2/276. Let d = r - p. Is 0 greater than d?
True
Let s = 4035.6 - 4036. Which is smaller: -249 or s?
-249
Let b(w) be the first derivative of -w**4/4 - 2*w**3/3 + 3*w**2 - 24*w - 178. Let f be b(6). Which is smaller: -277 or f?
-277
Let u be (1 - -923)/(10 + -5)*-3. Let t = 1172551/2115 + u. Which is smaller: 0 or t?
t
Let j be 56/24 + (-2*4 - (-184)/24). Let y(p) = p**3 + 4*p**2 - 4*p + 5. Let k be y(-5). Which is greater: j or k?
j
Suppose -66*f + 960 = -26*f. Let a be ((-3820)/(-420))/(4/f). Is 54 > a?
False
Let o(i) = -i**3 - 12*i**2 + 87*i + 958. Let n be o(-13). Do -0.0583 and n have different values?
True
Let t be -28749458*(-11)/(-52763392) - 3*-2. Let a = t - -1/5248. Which is smaller: -1 or a?
-1
Let v be 336/6 + 6 + (-15)/3. Suppose -1 = 4*y - 5*p, -5*y + 2 - 1 = -4*p. Which is smaller: v or y?
y
Let a(j) = 30*j**2 + 92*j - 12. Let t be a(-9). Which is smaller: 1589 or t?
1589
Let i = -1806.537 + 1805. Let l = -0.463 + i. Is 1/7 at least l?
True
Suppose 3*x - 8*x + 2*i = -20, -14 = 3*x + 4*i. Let b be ((-15)/6)/(1/x). Let t = -3 - b. Which is smaller: t or -3/4?
-3/4
Suppose 162*s = 161*s - 116. Let n be -82*(-1 - (-70)/29). Let u = n - s. Is u smaller than 1?
True
Let r = 9629 + -9730. Is r less than -100?
True
Suppose 6*r - 302 = -2030. Let u be r/6 + (-1 - 0). Which is bigger: -52 or u?
u
Let d = 69.8 - 168.83. Let m = d - -99. Let w = 5 - 5.5. Which is smaller: w or m?
w
Let q = -0.1371 + 7.1371. Is q >= 0.23?
True
Suppose 6 = 16*q - 22*q. Let o be 2/(27/(-57) - q). Let i = o + -4. Which is greater: -0.01 or i?
-0.01
Let d = 1959 + -1916. Which is smaller: d or 1.6?
1.6
Suppose -7*x - 3*x = -9830. Suppose 8*v - 767 = -x. Suppose -3*k = -7*k - 2*z - 96, -36 = 2*k + 4*z. Which is smaller: k or v?
v
Let u = -1 + 4. Let p(b) = 4*b**2 + 9*b - 19. Let j be p(6). Let f = j + -175. Which is smaller: f or u?
u
Let m be 12830835/(-754749) + (0 - -17). Is m bigger than 1?
False
Let k = 23.7 + -0.7. Let w = 27 - k. Let b = w + -4. Which is bigger: b or 27?
27
Suppose 3*s = -2*s + 55. Suppose 90 = 2*a - 7*i, -3*i - 17 = -3*a + 43. Which is smaller: s or a?
a
Let x be 20/16 - (-4966)/104. Which is smaller: x or 50?
x
Let w = -9.4 - -6.3. Let m = w + 3. Suppose 2*j - 2*h + 30 = 0, 2*j + 256 = h + 219. Is j > m?
False
Suppose 0 = -6*o + 2 + 34. Let p be -10*1/(-3)*o. Suppose y - p = 5*d, -2*d = -7*y + 2*y + 8. Which is smaller: y or -3/14?
-3/14
Let y = -24 - 83. Let k = y - -116. Which is smaller: k or 6?
6
Let w = 15.227 - -7051.773. Which is smaller: -1 or w?
-1
Suppose -3*u = g - 485, 2*g = -1307*u + 1303*u + 650. Is u >= 146?
True
Suppose -74*w + 23*w + 51 = 0. Which is greater: 468 or w?
468
Let n be 180*(1 - (-5)/15). Let j = -248 + n. Let a(v) = 2*v + 3. Let c be a(-4). Which is greater: j or c?
c
Let s = -0.19 - 7.31. Let x = s - -2.7. Let i = 3.8 + x. Which is greater: -5 or i?
i
Suppose -4*m - 1964 = 2*f, 94*f + 3948 = 90*f - 3*m. Do -991 and f have different values?
True
Let j = 1469 - 1468.059. Let k = -0.159 - j. Which is smaller: k or 7?
k
Let o(v) = 503*v + 4529. Let d be o(-9). Are -1534 and d nonequal?
True
Suppose 10*l = -87*l - 776. Is -2/471 at most l?
False
Suppose 11 = 4*y - 1. Suppose -6*c + c - 30 = 0. Let t be c/7 + y - 2. Are t and 2/5 equal?
False
Let h = 218.8 - 216.8. Which is greater: h or -605?
h
Let i = 7.19 + -7.19. Is 0.966 smaller than i?
False
Let c be 4/22 - ((-24205)/517 - -46). Which is greater: c or -3/6013?
c
Suppose 60*y = 89*y + 290. Is -310/29 at most y?
True
Let q(y) = y**2 + 135*y + 4485. Let s be q(-76). Which is bigger: s or 1/2273?
s
Let w = 0.099 - -7.901. Which is greater: -40/3 or w?
w
Suppose -53*z - 41*z = 73*z + 276886. Which is bigger: -1659 or z?
z
Let x = 655 - 687.1. Let m = -42 + 10. Let b = m - x. Which is smaller: -12 or b?
-12
Let d(i) = 94*i**2 + 124*i - 236. Let g be d(2). Which is bigger: 391 or g?
391
Let n = -7906/3 + 220891/84. Is n less than -6?
False
Suppose -76*z + 81*z + 3*n - 4655 = 0, 4*n = -z + 931. Is 926 smaller than z?
True
Let x = -0.6785 + 0.6985. Which is smaller: x or 4.45?
x
Let w(h) = h**2 + 8*h + 14. Let t be w(-4). Let k be (-3)/(2 - 3) + 15 + t. Suppose -12 = -r - 3*v, -r + 2*r = -4*v + k. Which is bigger: r or -1/13?
r
Let d = 9 + 5. Let a be (-1)/1 - (-1152)/(d + -6). Which is smaller: a or 144?
a
Let u = -6804 + 4694. Is -2112 less than or equal to u?
True
Suppose 3*w = -j + 8*w - 55, -185 = 3*j + 5*w. Let l = 62 + j. Let p be l/(-1 + 113/(-1)). Which is smaller: p or -1?
-1
Suppose -53*v - 992 + 4808 = 0. Which is bigger: v or 8?
v
Suppose 18 = 2*u - 4*u. Let n be (-2)/3*u/(-6). Let y = 131363/13 - 10105. Is y > n?
True
Let j(m) be the second derivative of m**5/20 + 5*m**4/6 + m**3 + 5*m**2/2 - 11*m. Let o be j(-10). Let n = 64 + o. Which is greater: n or 12?
12
Let u = -17 + 36. Suppose -3*c - u = -4*c. Let l be (1/(-6) - 0)/(139/(-16263)). Is l at least as big as c?
True
Let i(p) = -p**3 - 67*p**2 + 65*p - 203. Let u be i(-68). Do u and -2/19827 have different values?
True
Let g = -1820 + 1177. Let z = g + 2203/3. Let x = -92 + z. Which is greater: 1 or x?
1
Let y(w) = w**2 + w + 3. Let h(c) = -2*c + 1. Let d(k) = -6*h(k) - y(k). Let n(o) = 6*o. Let j be n(1). Let a be d(j). Does a = 22?
False
Suppose -6737 + 56509 = -4*p - 19*p. Is p <= 1?
True
Suppose -5*z + 15495 = 3*n, 3*z - 9283 = -22*n + 23*n. Do z and 3098 have different values?
True
Let f be -5 - (-138012)/6906 - 7 - 8. Is f greater than 0?
False
Let s be 0/(2 - -3) - -6. Suppose -2*k = k. Suppose -11*h + 6*h + 20 = k. Which is bigger: h or s?
s
Suppose 3*y + 14 = 2*b + 2*y, -4*b + 26 = -y. Let l(v) = -v**2 + 17*v + 12 + 3*v**2 + 5*v - 4*v**2. Let s be l(b). Which is bigger: 73 or s?
73
Let g(u) = -u**3 + u**2 + 2*u + 4. Let n = 68 + -70. Let w be 1 - (n/(-4) + 15/6). Let j be g(w). Is j > 13?
False
Suppose 3*q = -5*y - 12, 4*y + 7 = 36*q - 41*q. Which is bigger: -14/1133 or q?
q
Let q = -57/44 - -941/132. Let m = -27346 + 27346. Which is smaller: m or q?
m
Let b = 69 + -209/3. Suppose -2*v = -q - 9 + 3, 5*q - 10 = 2*v. Suppose -v*f - y - 11 = 0, 5*f = f - 5*y - 13. Which is smaller: f or b?
f
Suppose 3*n - 2*n - 4*s + 14 = 0, 0 = n + 5*s - 13. Let y be n*6/3*106. Let v = y - -831/2. Which is smaller: -8 or v?
v
Suppose -f + 59 = 2*u, -u = -3*u + 2*f + 56. Suppose -c + 21 = 7*a - 9*a, -u = 3*a - c. Is -7 not equal to a?
True
Let z = 522 - 482. Suppose 12*u - z*u = 0. Are u and -4/299 equal?
False
Suppose 