ose -q*k + 15*k = -40. Is -2/3 at least k?
False
Let a = 213 - 209.4. Let j = 4.6 - a. Which is smaller: j or 3?
j
Let q be ((-339)/4407)/((3 - 2)/(-582)). Are 45 and q unequal?
True
Let v = -886.56203 + -0.13797. Is -0.2 greater than v?
True
Let m = 2315 + -320. Is 1995 <= m?
True
Suppose 3*n = -n. Let x be (-6360)/(-540) + 2/9. Let w be (-17)/(-33) - x/66. Which is smaller: n or w?
n
Let j = 0.7 - 6.8. Let u = j - -6.1. Is u >= 0.019?
False
Let c(m) = -2*m - 10. Let h = 148 - 148. Let l be c(h). Let g be -1 - (4 + l/2)*103. Which is smaller: g or 101?
101
Let x = -295.6 + -92.4. Let g = x - -387.884. Is 1 <= g?
False
Let p be 2*(3 - (9 - -2))*-30. Suppose -3*t + p = -4*i, 2*i - 5*t = -0*t - 240. Is -120 < i?
False
Let d be (22876/252)/43 - 10/9. Which is bigger: 2/1097 or d?
d
Let h(k) = k + 16. Let q be h(-21). Let j be q/(-15) + 46/6. Suppose z + 3*i - 59 = 0, -3*i + j*i - 165 = -3*z. Is 51 equal to z?
False
Let k = 0.0119 - 336.0119. Let b = 336 + k. Is -0.286 bigger than b?
False
Suppose -l - 4*x - 225 = 0, -41*l + 38*l - 2*x = 745. Is l at most as big as -242?
True
Let p be 1/1*(-4)/39. Let l = 209 + -209. Let s be l*((-6)/1 - -7). Is s >= p?
True
Let q be ((-24)/21)/((-36)/126). Suppose q*a = 180 - 184. Which is smaller: -1/106 or a?
a
Let h be (-58 - -61)*3/9. Are h and -3570 non-equal?
True
Let r be 24/14 + (-4)/(-14). Let m be 12*r*(-3)/78. Let u(s) = 165*s + 165. Let f be u(-1). Which is greater: m or f?
f
Let x be 120/8560*6/9. Which is smaller: -5 or x?
-5
Suppose 5*z + 2*s + 2*s - 4 = 0, 0 = -z + 4*s - 4. Let q = 36 + -29. Let f be ((-116)/132 - 4) + q + -2. Which is smaller: f or z?
z
Let c(h) = 31*h - 860. Let y be c(35). Which is bigger: y or 202?
y
Let x = 4228 + -3679. Is 2751/5 greater than x?
True
Let u = -11/588 + 85/4116. Which is smaller: 1 or u?
u
Let v(c) = 3 + 1 - 6 - 3*c + 10*c**2. Let x be v(2). Let h be 6*((-60)/x + 1)*-4. Which is smaller: h or 23?
h
Let w(j) = -6*j**2 + 12*j - 18. Let z(u) = u**3 - 5*u**2 + 5*u + 2. Let s be z(4). Let b be w(s). Let k be (-2)/13 - b/(-468). Which is bigger: k or 36?
36
Let f be -3 - (-9 + (3 - -2)). Suppose 0 = 7*d - f + 92. Is d greater than -17?
True
Suppose -56*k + 47*k = -54. Suppose 0 = 5*b + t - 2, -4*t = 3*b - k*b - 8. Which is bigger: 1/26 or b?
1/26
Let g = 18809 - 16978. Is 1832 equal to g?
False
Let x = -53 + 71. Let v be ((-30)/18 - 0)/((-5)/54). Do v and x have the same value?
True
Suppose 3*f + 0*f - 1785 = 0. Suppose -h + 5*h + 5*y + f = 0, h + 4*y = -135. Let t = h + 1707/11. Are 1 and t unequal?
True
Let f be 11 - ((-2024)/16)/(-11). Which is greater: 46/33 or f?
46/33
Suppose -3*m + 21 = -5*q, -5*m - q - q + 66 = 0. Which is smaller: m or 51/4?
m
Let w(z) = -z**2 + 7*z - 5. Let g be w(6). Let p = 7179.7 - 7626. Let v = 446 + p. Is g > v?
True
Let t = 279709 - 806401031/2883. Which is smaller: t or 0?
0
Suppose 158*f = -63*f + 208 + 13. Which is bigger: f or 1/613?
f
Let t(g) = -39*g**3 - 15*g - 3. Let o be t(-2). Which is greater: o or 3732/11?
3732/11
Suppose 0 = 726*j - 706*j - 2400. Which is bigger: 142 or j?
142
Let d be ((-4)/15)/(10/(-45)) - (-1216668)/(-1007265). Is 2/3 smaller than d?
False
Let o(s) = 8*s**2 + 185*s - 31. Let w be o(-18). Is w < -770?
False
Suppose -9*n + 15*n = -12. Let i(v) = -13*v - 3. Let u be i(n). Suppose 7*g + 19 + u = 0. Is 2/3 >= g?
True
Let o be 13 + -40 - (-242)/8. Is -2/1281 > o?
False
Let n be (42 - 42)/(6 - 12/3). Which is bigger: 37/63 or n?
37/63
Let y be 133529/(-78141) + 2/(6/5). Which is greater: 1 or y?
1
Let j be (-231)/35 - 4/10. Let v be 84/(3 + j) - -2. Let o = 3164 + -3181. Are v and o equal?
False
Let k = 1393 - 1316. Let r be k/(-66)*((-20)/35 + 0). Let o = 46 + -30. Is o equal to r?
False
Suppose -4*c = -d - 8, d = 2*c + c - 6. Suppose 2*g = -5*w - 11, -g + 5*w - 2 + 4 = d. Let r(x) = x + 4. Let f be r(g). Is 1/53 less than or equal to f?
True
Let n be 1/4 + (-3)/(-4). Let h be (10/3)/(n/(-3)). Let p(u) = -u**2 - 86*u + 2237. Let k be p(-107). Is k < h?
False
Let g = 187/6 - 14393/462. Suppose -4*x = -2*v, 131*x = 132*x. Does v = g?
False
Suppose 30 + 658 = 4*b. Let f = b + -113. Which is smaller: 60 or f?
f
Let c be (6 - 2 - 9) + (-6776)/(-48). Which is bigger: c or 135?
c
Let z = 264 - 264. Suppose -16*o + 12*o - 8 = z. Is o smaller than -7.8?
False
Suppose 42*d + 84 = 84*d. Do d and -797 have the same value?
False
Suppose 598 - 616 = 6*h. Let y = -50343 + 452504/9. Let j = 63 + y. Do j and h have the same value?
False
Let d = -0.262 - 101.738. Let y = -103 - d. Is y >= -104?
True
Let h = -65 + 68. Suppose 15 = h*t - 3*l, 0 = 4*t - 5*l + 10*l + 7. Let w be (t/6 + 1)/((-16)/224). Is w equal to -20?
False
Let w = -3.9 - -100.9. Let d = -97 + w. Which is smaller: d or 4?
d
Let o(c) be the first derivative of -c**6/360 + c**5/120 - c**4/24 + 13*c**3/3 - 16. Let a(v) be the third derivative of o(v). Let t be a(1). Is t < 1/6?
True
Let r be (-537)/(-192)*-2 + 2 + (3 - 2). Which is bigger: r or -2?
-2
Suppose a - r - 214 = 0, -3*r - 425 = -27*a + 25*a. Which is bigger: a or 225?
225
Suppose 4*s - 1164 = -4*w, -6*w + 4*s = -8*w + 588. Do w and 288 have different values?
False
Let y(c) = c**2 + 4*c - 12. Let l be y(-6). Let h be (1 - (-1150)/(-1168))/(99/(-132)). Which is smaller: l or h?
h
Let w = -8 - 7. Let d be (w/10)/((-3)/42). Let t be d/6*(-36)/9. Is t > -16?
True
Let o = -2438 + 2429. Which is greater: 1.08 or o?
1.08
Let c = 19595 - 19593. Let f = 1/8921 + 6333907/26763. Let v = f - 234. Is c < v?
True
Let x = -0.192 + 0.092. Which is smaller: x or -1941?
-1941
Let y = 38.8 - 39. Let l = 27.83 - 28. Let r = 8.17 + l. Which is smaller: y or r?
y
Let w be (-64)/7 + (-20)/(-140). Let d be 76/(-342) - 1/w*11. Is d greater than or equal to -6/47?
True
Suppose 5*z = 19*z + 14. Let w = -216 + 8423/39. Is w at least z?
True
Let c be -12905*(-160)/(-600) + (-2)/(-6). Is c smaller than -3441?
False
Let u be 2/(4/14) + (-544 - -159). Is -382 at least as big as u?
False
Let f = -4 - -9. Let t(h) = 10*h + 158. Let b be t(-16). Is f bigger than b?
True
Suppose 1612*f = 1619*f + 4831 - 19195. Is f bigger than 2050?
True
Let m be (-5 + 25)/(-5) - (-128)/33. Let n = 8 - -62. Let k be (-20)/n - (-9)/7. Which is bigger: k or m?
k
Suppose -q + 471 - 800 = 0. Let s = q + 83. Are s and -247 non-equal?
True
Suppose -2*l = -2, -l = -2*b - 4*l - 257. Let z = b - -37. Which is smaller: z or -95?
-95
Suppose 6*i + 527 = 287. Let g be (-24)/i - (-4 - (-816)/(-15)). Is g equal to 60?
False
Let g = 23679 - 23679.014. Is g >= 3/200?
False
Suppose 1952 = -64*c - 160. Which is smaller: c or -9?
c
Suppose -12 = 4*o + 5*j, 3*o + 0*j + 36 = 3*j. Let x be o + (-5)/((-270)/424). Suppose -s = 5*m + 3, -m - 3*s = -4 - 1. Which is smaller: m or x?
m
Let k be 2/9 + 2 + 11/(-9). Let r be 174/(-99) + 4/6. Let q = k + r. Which is bigger: q or 0?
0
Let i = -1 + 1. Let t be (3/1 + (-5)/4)/((-498)/996). Is i at most as big as t?
False
Let b = -26.9 - 2.1. Let t = 0.532 - 30.132. Let r = b - t. Is r at least as big as 2/7?
True
Let m = -1.9515 - -3.1515. Does m = -246?
False
Suppose 5*x + 3*a - 3 = a, -5*x = -3*a + 17. Is -8/181 less than or equal to x?
False
Let z be -10*(-4)/(-10)*13. Let r = -47 + z. Which is smaller: r or -101?
-101
Suppose 0 = 3*y + 12, 2*f - 3*y - 82 = -2*y. Let u be 2*f/12*22. Is 142 bigger than u?
False
Suppose 2*y = -0*y - 10. Let m = 842 - 844. Is y <= m?
True
Let w(f) = -f**3 - 30*f**2 + 27*f - 125. Let h be w(-31). Which is bigger: h or 2/31?
2/31
Let q = -55/16 - -593/112. Is 2 bigger than q?
True
Let c = -6.7161 + 7.026. Which is bigger: c or 1/2?
1/2
Let k = 99513 + -99627. Let q = 146 + -259. Which is smaller: q or k?
k
Let i = -2 - -1. Let y be 7497/396 - 16 - (1 + 2). Is i at least y?
False
Let m be (-10)/15*141/94. Are m and -2/14697 non-equal?
True
Suppose -3 = 68*l - 70*l - u, 5*l + 3*u = 6. Which is smaller: l or -1868?
-1868
Let x(w) = w**3 - 5*w**2 + 9*w - 21. Let z be x(5). Suppose 3*k + 90 = 3*l, l - 3*k - 36 = k. Is z at most l?
True
Suppose d = 3*o + 5, 19 = 3*d - d - 3*o. Suppose y - 5*k - 10 = 6, -2*y = -4*k - d. Which is smaller: y or 24/31?
24/31
Let z = 12728020 - 190828162/15. Let v = z - 6140. Which is greater: v or 4?
4
Let j = 179.8 + -219.18. Let u = -1.62 + j. Which is smaller: u or -1/2?
u
Let