 (-143955)/10285). Are t and -1 unequal?
True
Let a = -353/2 + 601/4. Suppose -3*d - 44 = m, -5*m + d - 47 - 77 = 0. Which is smaller: a or m?
a
Let a be 9/(-36)*28*-1. Is a greater than or equal to 214?
False
Let s = -22 + 27. Suppose -s = -u + 7. Let x = u - 10. Is x > -1?
True
Suppose 216 = 3*f - 2*q - 966, -5*f = -4*q - 1968. Let t be (-10)/9 + 4*11/f. Is -1/35 < t?
False
Suppose -818 = -12*f + 538. Let s = f + -151. Which is greater: s or -184/5?
-184/5
Suppose n + 31 = 2*z, 54 = -4*z - n + 131. Let y be (-11)/55*29606/z. Let w = y - -329. Which is bigger: w or 1?
1
Let g be (-419 - -418) + (6/(-27) - 716/(-333)). Is g >= 2?
False
Let i = -236 - -256. Let v be ((-118)/(-10) - (-4)/i)/(-1). Which is smaller: -1/3 or v?
v
Let a = 2013 - 9774/5. Let j = -469 + 527. Let x = j - a. Which is smaller: 1 or x?
x
Let a = -16639127/1269 + 13112. Which is smaller: -1/2 or a?
-1/2
Let w(x) = -8*x**2 + 15*x - 102. Let z(i) = 11*i**2 - 23*i + 153. Let q(u) = -7*w(u) - 5*z(u). Let d be q(7). Which is smaller: d or 67?
67
Let h = 37707 + -11123579/295. Is -1 > h?
False
Suppose -h + 3*z = 64, -2*h + 18*z - 95 = 23*z. Which is greater: -41 or h?
-41
Suppose -4*c + 3*d + 13 = 0, -11*c = -8*c - 2*d - 9. Is 1/818 <= c?
True
Let g = -940 + 941. Is -1/269 at least as big as g?
False
Suppose -5*j = -14*b + 16*b - 17, 5*b = j + 2. Suppose -3*y + 78 = -s, 200 = -2*s + 5*y + 42. Let x = s - -254/3. Which is bigger: b or x?
b
Let h = -13671 - -13698. Which is greater: 21 or h?
h
Let n be 0*(-7 - -2 - -6). Let g be n*(-5)/(-25)*5. Let r = 45 - 38.7. Which is smaller: g or r?
g
Let h = 0.011 - -1.689. Let p = h + -1.711. Let v = p + 14.011. Is v at most -0.1?
False
Let h(b) = b**3 + 2*b**2 - b + 2. Let s be h(-2). Let i(p) = p**3 + 34 + 13*p + 8*p**2 + 14*p**2 - s - 7*p**2. Let q be i(-14). Which is greater: q or 45?
45
Let f = 37/164 - -1/41. Let v(g) = -g**3 + g**2 - 5*g + 2. Let c be v(3). Let x = c - -125/4. Is x at least as big as f?
True
Let o(m) = m**3 + m - 1. Let y be o(0). Let t be (-34 - y)/(15 - 14). Suppose -10*u - 9*u = -2*u. Is u <= t?
False
Let s(y) = -2*y**2 - 26*y - 109. Let l(j) = j**2 + 13*j + 54. Let x(k) = -13*l(k) - 6*s(k). Let z be x(-8). Is z at least as big as -5?
False
Let q(o) = 709*o + 5673. Let u be q(-8). Let l be (-6)/2*(-3)/24. Which is greater: l or u?
u
Let h = 4 - 14. Suppose -4*x + 7*x = 2*s + 113, 82 = 2*x + 2*s. Suppose 5*u + 30 = -5*n, 4*n + 2*u + x = 5. Are n and h unequal?
True
Let l(c) = 6*c**3 - 4*c**2 + 8*c - 21. Let a be l(4). Let t = -320 + a. Which is smaller: t or -2?
-2
Let d = 3.375 - 84.375. Is -0.9 < d?
False
Let s(u) be the first derivative of u**3/3 + 3*u**2 + 8*u - 14. Let a be s(-3). Let m(z) = -53*z - 2. Let o be m(a). Does 52 = o?
False
Suppose 0 = -4*m + 4*x - 76, -2*m + 5*x + 955 = 1014. Which is smaller: m or -489/40?
-489/40
Let b = -229 - -214. Let u be (-620)/(-25) - 6/b. Is 26 equal to u?
False
Let x = 243 + -193. Suppose 0 = -5*n - 2*t - 49, 4*n - 4*t = -x + 22. Is n smaller than 16?
True
Let b = -0.003 + 41.003. Let u = 41.059 - b. Let s = u - 0.139. Which is greater: s or -0.2?
s
Suppose 78 = 3*y - 3*q, y + 2*q + 2*q = 1. Let l = -31772 + 31792. Which is smaller: l or y?
l
Suppose 0 = 10*h - 7*h - 18. Suppose 0 = 2*v + 5*m - 45, h*v - 2*m - 115 = 3*v. Let f be 0 - -1 - (4 + (-115)/v). Do f and 17 have the same value?
False
Suppose 5*m - 20 = -3*n, -n + m = 5*m - 9. Suppose -z + 16 = 5*w, -n*w = -3*z - 3*w - 3. Let x = -6/29 + 182/319. Is x at least z?
False
Let x be 2484/10120*20/24. Which is greater: 1 or x?
1
Let w = 14324 - 14389. Which is smaller: -0.037 or w?
w
Let v = 709 - 433. Suppose -690*y + v = -696*y. Is -47 bigger than y?
False
Let h = -56 + 0. Let c be (142/h + 2)/(33/(-176)). Let l be (1 - 4)*4/(-6). Which is bigger: c or l?
c
Suppose 0 = 3*h - 3*d - 972, 1874 = 5*h - d + 238. Let v = -327 + h. Is 2/205 >= v?
False
Let r(x) = -2*x + 32. Let o be r(6). Let h be ((-13)/(-26))/(1/(-110)). Let f be 2/(-10) - 1056/h. Is f smaller than o?
True
Let v be 8/20 + 546/135 + 2 + -6. Which is smaller: -4/151 or v?
-4/151
Let x = -1300 - -1301. Which is greater: x or -390?
x
Let h(i) = 9*i**2 - 42*i - 12. Let y be h(5). Suppose -5*q - 4*n = -2*n + 195, -2*q - 97 = -y*n. Is q smaller than 0.5?
True
Let l be -10*((-18)/(-12) - 2). Suppose -5*r - 4*b = -25, 2*r - 4 = l*b + 6. Suppose 3*a + 3 = -2*v, -r*v + 7*a + 30 = 2*a. Is 3 at least v?
True
Let l = -1.348 - -6.348. Is 366 >= l?
True
Let r(c) = -c**3 - 31*c**2 + 142*c - 8. Let t be r(4). Which is smaller: t or -2/13009?
-2/13009
Let d be 8 + 1*(-9 + 4). Let q(y) = 3*y**3 + 2*y - 1. Let i be q(1). Suppose i*t = -3*h + 11, 3*t - 2*h - 10 = 11. Is t at most as big as d?
False
Let d(l) = -l**3 - 22*l**2 + 25*l + 81. Let q be d(-23). Which is greater: 437/13 or q?
q
Let c be ((204/(-85))/(-6))/(4/170). Suppose c*o - 62*o + 45 = 0. Let g = 73/198 - 5/18. Which is smaller: g or o?
g
Let i be (13450/1125 + 8/18)/((-13)/(-6500)). Which is smaller: 6198 or i?
6198
Let h = 2555 - 802271/314. Let i = -639/3454 - h. Which is greater: 63 or i?
63
Let k be (-6)/1 + 3*(-7 - -53). Which is greater: k or 124?
k
Let y = 79 - 75. Let z be (2 - -3)*(-4)/10. Let w be z/y - 31/(-30). Which is greater: w or 1?
1
Let b(l) = -754*l - 744. Let i be b(-1). Let p(n) = -n**2 - 20*n - 27. Let s be p(-18). Is i >= s?
True
Let p be -614*(13 - 459/36). Are -155 and p non-equal?
True
Suppose 85*z + 272 = -25*z - 2038. Which is greater: z or -8?
-8
Let m = 208 + -157. Suppose 4*b - 238 = -5*r, r + m - 224 = -3*b. Which is bigger: b or 58?
58
Let r be 2/4*(-3 - -11). Suppose -r - 11 = k. Let l = -2970 + 2955. Is l > k?
False
Let y be (-147)/(-2) - 11/(-22). Let t = y + -32. Which is smaller: 165/4 or t?
165/4
Let g = 744 + -1176. Suppose -4*k + 25 - 32 + 7 = 0. Which is greater: g or k?
k
Let y = 66120.3 - 66125. Let u = 1 + -0.9. Are y and u equal?
False
Let o = -35.61 - -36. Let k = 0.27 + o. Let q = k + -0.66. Is 38 at most q?
False
Let t be 7/((-308)/(-55)) + (-207)/108. Is -19/73 <= t?
False
Let j be -73*20/92 + (-11 - -8). Is -18 > j?
True
Let g be ((-6)/(-4))/(1/(-2)). Let f = 404 + -395. Let r be ((2/g)/(92/f))/(-3). Which is greater: r or 0?
r
Suppose -10*n + 6*n + 3*f + 2295 = 0, -2860 = -5*n - 5*f. Is n less than 572?
False
Let r = -82 - -4. Let d be r/585 - (-137)/15. Which is bigger: 8 or d?
d
Suppose -4*y = n + 6, -2*n = -0*n - 5*y - 14. Which is bigger: n or -56.5?
n
Let c = 4 - 29. Let b = c - -36. Suppose 0 = -b*g + 4*g. Is g at most 13?
True
Let w(u) = 32*u**2 + 2*u. Let f be w(-1). Let a be (12/15)/(4/f). Let s = 4 + a. Are 12 and s unequal?
True
Let f = 1967944 - 1192461. Let a = 171381254/221 - f. Let b = a - -41/13. Which is smaller: 0 or b?
0
Let n be (-99)/(-44) - (-3)/4. Let c be (6 - 2) + n - (0 + -1). Let z be (-812)/24*c/14. Do z and -20 have the same value?
False
Let w = -69 - -165. Let g = w + -97. Which is smaller: g or 2/35?
g
Let h = 425.536 + -442.4. Let i = h + 17. Which is bigger: i or 0.1?
i
Let l = 9230.0496 + -9248. Let g = -0.0496 + l. Which is bigger: g or -0.3?
-0.3
Let o(c) = c**2 - 5*c - 32. Let t be o(8). Let z(v) = 2*v**2 + 15*v - 26. Let k be z(t). Is k not equal to -18?
False
Suppose 19*t = 26*t + 28. Let z = 15 + -11. Let r be (-6)/z - 4/2. Which is smaller: t or r?
t
Let v be (-6)/33 - (73 + 20063)*6/(-77). Is v bigger than 1569?
False
Let h be (-54)/(-45)*3255/63. Is h bigger than 64?
False
Let v = 153 + -102. Let l = v - 62. Which is smaller: -1/3 or l?
l
Let y = -1295135/23 - -56299. Which is smaller: -11 or y?
y
Let o = -5/41 + -920/861. Let l(x) = -4*x + 7. Let d be l(2). Are d and o nonequal?
True
Suppose 12*q - 13*q - 87 = -317. Which is smaller: q or 227?
227
Let w = 0.03637 - -3.96363. Is 2/159 > w?
False
Let s(d) = d**3 + 2363*d + 19 - 2338*d - 3 - 15*d**2. Let v be s(13). Is v less than or equal to 4?
True
Let r be (-103)/1 + 33/((-99)/(-24)). Let p = -3 + 3. Which is smaller: p or r?
r
Let v = 204 + -45. Suppose 4*q + 129 = 5*p, 6*q - 2*q + 5*p + v = 0. Does q = -40?
False
Let b = 282 - 286.55. Let o = b + 4.494. Is o less than or equal to -0.1?
False
Let c(h) = 2 + 3 + 6*h + 4 + 0 + h**2. Let r be c(-4). Let n be (r/(-4))/((-45)/(-216)). Which is smaller: -1 or n?
n
Let j be (4/102)/((-14)/(-3)). Let u(z) = -4*z**3 + 76