 4729/6. Let a be 2/(-6) + (-4)/6. Is a less than x?
False
Let c = -37436/9 - -4172. Suppose -49*f + 18*f = -7*f - 312. Is f at least c?
True
Let c = 1.1 - -9.7. Let r = 9.8 - c. Let y be 63/(-165) + 2/10. Which is bigger: r or y?
y
Let y = 1 + -0.7. Let k = -58.3 - -59. Let g = y + k. Are g and 11 equal?
False
Let n = 58.4 - 60. Let g = -0.121 + 1.121. Is g < n?
False
Let n = 10.1249 - -0.0151. Let j = n - 9.14. Which is greater: j or -12?
j
Let y = 2337 - 2543. Which is smaller: -0.1 or y?
y
Let m = -3 + 6. Suppose -m*i + 4*i = 0. Let b = 23.8877 - -0.1123. Which is bigger: b or i?
b
Let x(y) = 205*y - 400. Let m be x(3). Which is smaller: 208 or m?
208
Let t = -0.36 - 3.37. Let h = -3.73 - t. Which is smaller: h or -0.15?
-0.15
Let m = -181 + 237. Let y be ((-3)/(-9))/(1/6). Suppose 52 = 4*j + 5*i, 0 = -4*j - 6*i + y*i + m. Which is smaller: -2 or j?
-2
Let k = -111/1484 - -2249719/30037644. Let c be (-15912602)/32142708 - 2/(-4). Let x = c + k. Which is smaller: x or -1?
-1
Let y = -0.086 - -0.139. Let d = -0.01 - y. Is 1 <= d?
False
Let f = 59 + -64. Let y = 0.88 - 5.78. Let v = y - f. Are -1 and v equal?
False
Let b = 19893/6188 + 61/364. Which is greater: 2 or b?
b
Let i = 0.2659 + -0.3259. Which is smaller: i or -12?
-12
Let u = -180 + 461. Suppose 3*g + z + 296 = 2*g, 0 = -g - 4*z - u. Let k = g - -15353/51. Are k and 0 equal?
False
Let s = 0 + 3. Let h be (-12)/(((-12)/(-4))/(-3)). Suppose 3*j + h = -3*b, 2*b + 9 - 21 = 2*j. Which is smaller: b or s?
b
Let y = -0.092 + 13.092. Let b = 12.06 - y. Let o = -1.06 + b. Do o and -1/18 have different values?
True
Let y(w) = 27*w - 1375. Let c be y(28). Which is smaller: -616 or c?
c
Suppose 3*y - 72 = -3*y. Let s be (2 + -2)/(-11 + y). Let u = 1.04 - 34.04. Is s greater than u?
True
Suppose 4*o = -3*q + 2*o + 128, -2*q = -4*o - 80. Suppose -9*a = -6*a + q. Let j be 118/4 + (-7)/a. Are j and 30 nonequal?
False
Let q(n) = -n**3 - 56 + 723*n - 752*n + 22*n**2 + 10*n**2. Let l be q(31). Which is smaller: l or 78/17?
78/17
Let q(i) = -2*i**2 + 5*i + 111. Let h be q(-5). Is 798/23 > h?
False
Let a(v) = -7*v**2 + 7*v + 1. Let w(p) = 15*p**2 - 12*p - 3. Let k(t) = -13*a(t) - 6*w(t). Let m be k(13). Is -73 >= m?
True
Let l = -43139 - -43140. Which is greater: l or -1/1313?
l
Let x = -117 + 117. Suppose -2*j + 12 = 5*d - 54, -3*j + 5*d + 49 = 0. Is j at most as big as x?
False
Let t = 315 + -629/2. Which is smaller: 8/11 or t?
t
Let n(c) = -23*c + 234. Let k be n(9). Let l be (9/k)/(8/(-282)) + 6. Which is greater: -7 or l?
l
Suppose 0 = 3*x + 2*g + 41, -2*g + 13 = -2*x - 1. Let o = -31 - x. Let v(k) = k**2 - 11*k + 8. Let h be v(6). Which is greater: o or h?
o
Let w be -1 - 234/(-10) - (-213)/355. Suppose -22*d = w*d + 2070. Which is smaller: -42 or d?
d
Let n = -1860 - -1861. Is -1/6127 not equal to n?
True
Let c be (-2 - -2)*((-15)/75)/((-9)/(-15)). Which is bigger: -2/9407 or c?
c
Let x(r) = -3*r - 11. Let q be x(-9). Suppose q*g - 12*g = -48. Let u be (-122)/8 + g/16. Are u and -18 equal?
False
Let l = 657 + -656.9. Is -5/478 less than l?
True
Suppose 82 = 3*b - 107. Let l = -59 + b. Which is smaller: l or 17/6?
17/6
Let k(t) = -11*t + 52. Let w be k(0). Suppose -3*c = 4*z - w, -4*z - c + 27 = -25. Which is greater: z or 10?
z
Let z = 5210 - 36468/7. Which is bigger: z or -5.2?
z
Let g be 930/525 + 36/(-20). Suppose -p = f + 3, 5*f + 8 + 7 = -3*p. Is p smaller than g?
False
Suppose 0 = z - 0*z - 4. Suppose -z*m - 4 = 2*c, 4 = -c - 4*m - 0. Let k = 24/31 - 134/93. Which is greater: k or c?
c
Let d be (-288570)/(-1092322) - 1/3. Let a = 2/9471 - d. Which is smaller: a or -1?
-1
Let j = 272 - 282. Let z be 4*(j/2 + 7). Suppose 0*m + 3*c + 33 = 3*m, 2*c = 0. Which is greater: z or m?
m
Let p(j) = 4*j**3 + 81*j**2 - 143*j - 87. Let d be p(-20). Which is smaller: 3175 or d?
d
Let q(j) = 2*j + 77. Suppose 2*l = -0*i + i - 35, -2*i = -l - 25. Let h be q(l). Which is smaller: h or 49?
h
Suppose -8*g + 183100 = 12*g. Let c = 82490/9 - g. Is c > 12?
False
Let l(d) = 2*d**3 - d**2 + 3. Let h be l(3). Suppose 0 = 2*k + h + 2. Let y be 2 - (-30)/k*5. Is -4 less than or equal to y?
True
Let l = -1.16 - -1.3. Let v = 31 + 7. Let c = -113/3 + v. Which is smaller: l or c?
l
Let k be (-27839)/(-205) - (3 + 22/(-10)). Is k at most 128?
False
Let z = 1.868 - 2.868. Do z and 3386 have the same value?
False
Let o = 3272 + -2953. Is o at least 953/3?
True
Suppose m = 5, -5*d - 5*m = -17 - 23. Suppose 2*v - 418 = 3*u, -d*v + 2*u + u + 621 = 0. Are v and 203 unequal?
False
Let a(y) = -y**3 - 4*y**2 + 5*y + 1. Let s be a(-5). Suppose 0 = -0*q - q + s. Let l be 8/q - (3 + -7). Which is smaller: 10 or l?
10
Let d = -452 + 452. Suppose d = -5*f + 34*f + 16530. Which is smaller: -571 or f?
-571
Suppose 46*z - 45*z + 2*c + 69 = 0, 5*c = 4*z + 237. Which is greater: -6.7 or z?
-6.7
Suppose x - 2*l = -151, 0 = -232*l + 233*l + 2. Is -169 at least as big as x?
False
Let b(c) = 18*c - 24. Let a be b(10). Let v be (-24)/(3/a*4). Let h be (-1)/3 - v/(-9). Is h bigger than -36?
True
Let c be (3 + 81/(-18))*(-8)/12. Which is bigger: 2/18623 or c?
c
Suppose 3*g - 4*t - 5492 = 0, -3*g = 2*g + 4*t - 9164. Let s = 53138/29 - g. Which is smaller: s or -0.1?
-0.1
Let i = -5.2 + -89.8. Let r = i + 98. Let d = -2 + r. Is -1 less than d?
True
Let p be (-12)/23*((-198)/(-27) - 6) + 7. Is 6 >= p?
False
Let k = -881 + 858.09. Let h = 23 + k. Suppose -4 = -y - q, -2*y - 6 = -3*q - 2*q. Which is greater: h or y?
y
Let a = -131 + 171. Let y be a/(-6)*((-46)/(-26) - 2). Which is smaller: y or 2?
y
Suppose -2*r - 2*i = -440, -4*r + 138*i = 139*i - 871. Is 224 greater than or equal to r?
True
Let d = -281 - -281. Suppose -3*z + 2*t - 114 = d, -9*z - t = -6*z + 123. Do z and -43 have different values?
True
Let p(k) = -4*k**2 + 15 - 32 + 5*k**2. Let l be p(-5). Let m = -4 - -7. Which is smaller: l or m?
m
Let r be -7 + 1 + (-1 - -109). Suppose 0 = 12*a + 5*a - r. Let q = 0.2 + 0.1. Is a < q?
False
Let q be 12208/8 - 75/25. Which is greater: q or 7616/5?
7616/5
Let y(n) = -n**3 - 62*n**2 + 66*n + 187. Let r be y(-63). Which is smaller: -97/47 or r?
-97/47
Let x be -21 - (3025/(-215) + -7). Let d be (-2 + 1)*(-2)/5. Which is smaller: x or d?
x
Let x = -469 + 529. Is 652/11 >= x?
False
Let v(b) = -b + 5. Let t be v(0). Let u(y) = y**3 - 5*y**2 + 6. Let j be u(t). Suppose -158 = -4*x + 32*x - 298. Which is greater: j or x?
j
Let g be 2/(-3) - (-208)/852. Let j be ((-156)/(-2262))/(8/580*5). Are j and g equal?
False
Suppose -9*c - 12*c + 299019 = 0. Suppose 3*g + 26*g = -c. Is -492 < g?
True
Let h = -20 + 20. Let i be (170/680)/(166/(-24)). Which is smaller: i or h?
i
Let u(s) = -7*s**2 - 280*s - 76. Let a be u(-31). Is 1881 less than a?
False
Let i = -1 - -3. Let j be i/3 - 11/12. Let m = 0.0716 + -0.1416. Which is bigger: m or j?
m
Let h = -69 - -22. Let z(d) = -d**3 + 16*d**2 + 14*d + 4. Let l be z(17). Is l bigger than h?
False
Suppose -4*j = 3*c - 24, -3*j - c = -2 - 11. Let g be -6 - (j/9)/(6/(-90)). Which is greater: 3/44 or g?
3/44
Suppose -81*m - 5232 = -69*m. Let i = m + 435. Which is greater: 2/85 or i?
2/85
Let x be 0*((-42)/(-9))/14. Is x less than or equal to 44/83?
True
Let r be (-1 - -21629)*(-1)/4. Which is greater: r or -5408?
r
Let o = -21889.95 + 21890. Is o greater than or equal to 1/755?
True
Let t = 2631 + -4467. Which is greater: t or -1835?
-1835
Let y = 2356 + -2356. Which is smaller: -67 or y?
-67
Let v = 123.02 - 229.02. Let y = -0.2104 - -106.0904. Let l = y + v. Which is greater: 3 or l?
3
Let g be (5*10/25)/((-28)/(-13518)). Let j = 961 - g. Is -4 < j?
False
Let o(h) = -36*h + 55. Let t be o(-3). Let c = 410 - 247. Is t less than c?
False
Let h = 196 + -151. Let k be (-1989)/h - (-4)/20. Is k at most as big as -46?
False
Let l(c) be the first derivative of 5*c**2/2 - 51*c - 13. Let n be l(11). Let p(x) = -x + 3. Let d be p(n). Is d < 56?
True
Let d(i) = -i + 5. Let g be d(8). Let y(u) = 48*u**2 + 39*u**2 - 80*u**2 - 16*u + 7. Let l be y(3). Which is bigger: l or g?
l
Let k = -2.21 - 208.79. Let v = -211.1 - k. Which is smaller: v or -214?
-214
Let m(i) = 120*i - 500. Let l be m(7). Which is smaller: l or -0.2?
-0.2
Let f(z) = -z**2 - 5*z - 1. Let p(b) = -b. Let t(g) = 6*g. Let h(a) = 5*p(a) + t(a). Let l(k) = f(k) + 2*h(k).