 -3*f, -128 = n - f - 942. Suppose 815*x - n*x = 6. Are x and 211 unequal?
True
Let w = 4145 - 4149. Let q be (1 + 0)/4*-11. Which is smaller: w or q?
w
Suppose 0 = u + 3*u - 5*l + 25, -3*l = -2*u - 15. Let n be 86/352 - ((27 - 26 - -11) + (-1040)/88). Which is smaller: n or u?
u
Let j(k) be the third derivative of k**6/60 + k**5/12 + k**4/24 - k**3/2 + 3*k**2 + 74*k. Let m be j(-2). Are -1/249 and m non-equal?
True
Let r be (-93)/61*(-4 - 7756/(-21)). Let c = r - -557. Which is smaller: c or -1?
-1
Suppose -58*v = -51*v + 21. Let w(t) = -3*t**3 - t**2 + 8*t + 11. Let q be w(v). Which is bigger: 58 or q?
q
Let l be 224/(-56)*1/58710. Let x = l - -1884593/29355. Which is smaller: 64 or x?
64
Let r = -17760 - -17752. Which is smaller: r or 931?
r
Let x(j) = -3*j + 13. Let l be x(7). Let c be (3/l)/((-18)/(-196)). Let k = c + 19/4. Do 1 and k have the same value?
False
Let g(d) = 0 + 2 + 14*d - 10*d**2 + 0*d**2 + 0*d**3 - d**3. Let b be g(-11). Let x = 27 + b. Is x > -5?
True
Let i(q) = q**2 + 201*q. Let l be i(0). Which is greater: -2/3907 or l?
l
Suppose 63 = -110*d + 131*d. Let s be 2/(d*(-728)/21). Is 1.8 at most as big as s?
False
Suppose 4*p = 5*p + 13*p. Let c be 1 - (-1180)/(-196) - -5. Is p at most as big as c?
False
Let y = 5793.02 - 5873. Let m = 0.02 - y. Let a = 81.5 - m. Which is smaller: a or 4?
a
Let c(p) = 10*p - 171. Let f be c(17). Let s be (-12)/f + -1 + 4. Which is smaller: 8 or s?
8
Let k(p) = p + p + 6 + 2*p. Let o be k(-5). Suppose -4*f = 3*i + 95, 906*i - 909*i = f + 62. Which is greater: f or o?
f
Suppose -5*p - 2*z - 200 = 0, -3*z - 308 + 108 = 5*p. Is p at least as big as -135?
True
Let p = -92/627 + -2/57. Let t(x) = 6 + 8 - 7 - x. Let v be t(7). Is v greater than p?
True
Let a(o) = -o**3 + 2*o**2 + 11*o - 14. Let z be a(4). Let j be 7/(-21) - (z + (-631)/3). Suppose -2*u + 0*i + j = 2*i, 3*i = 6. Is u < 105?
True
Let r = -16.93 + -1.77. Let k = 19.7 + r. Which is greater: k or -0.6?
k
Suppose -36*b + 20*b = 512. Let p be (b/(-30))/((-16)/40). Which is smaller: p or 0?
p
Let x be 132/(-3576)*(-8)/10. Does x = -1?
False
Suppose 773 = -3*w + 4*b, w + 2*b - 4*b = -257. Suppose -44*u - 1269 = -39*u - 3*a, 0 = -7*u + a - 1799. Which is bigger: w or u?
u
Let i(l) = 4*l**3 - 54*l**2 + 22*l - 16. Let m be i(12). Which is smaller: -614 or m?
m
Let p = 1.9927 + -1.7927. Which is smaller: -4991 or p?
-4991
Let n = -1447/3984 + 17/48. Which is smaller: 1 or n?
n
Let l(q) = -20*q + 2. Let d be l(0). Is 63 less than or equal to d?
False
Let l(v) be the second derivative of v**4/6 - 11*v**3/3 + 6*v**2 + 2*v. Let p be l(11). Let q = p - 35. Are q and 1/3 non-equal?
True
Let z be 12/(-42) - (-19560)/(-42). Is -470 greater than or equal to z?
False
Suppose -5*d + 8205 = -4*l, 2*l - 5*d + 3957 = -128. Is -8241/4 bigger than l?
False
Suppose -2*w - 5179*g = -5174*g + 53, -4*g = -w + 32. Which is greater: -247/53 or w?
w
Suppose -77*a + 62*a = 1035. Is 56 equal to a?
False
Let b = -92 + 84. Let t be ((-1)/2)/(-4 + (-28)/b). Let y be (0 - (3 - (-21)/(-4)))/84. Which is bigger: t or y?
t
Suppose 11*s + 3*s + 4452 = 0. Let k = s + 321. Which is smaller: 1.3 or k?
1.3
Let y = -63 - -63. Let s be (-6)/33 + 298/1760 + 0. Which is smaller: y or s?
s
Let k = 1876 - 779. Which is smaller: 1099 or k?
k
Let z(c) = c**3 + 6*c**2 - 274*c - 22. Let m be z(14). Is -9/7 greater than m?
False
Suppose -2*s - 146 = -3*f, 0*f = -f + s + 49. Suppose 21*v = 18*v + f. Suppose -h - v = 3*h. Which is bigger: -3 or h?
-3
Let k(b) = -b**3 - 9*b**2 - 9*b - 6. Let g be k(-5). Is g greater than or equal to -54?
False
Let n = 2/1519 + -72236/52555881. Which is bigger: n or 0?
0
Let c(n) = n**3 - 6*n**2 - 17*n + 8. Let m be c(8). Let o = 53 + -62. Let p be o/(-9) + (-22)/21. Is m greater than or equal to p?
True
Let c = 139/1586 + -1954871/22269026. Which is greater: c or 1?
1
Let o = -488627/286 - -18556/11. Is o greater than or equal to -22?
True
Let k = 10446 - 10439. Let v be -1 + -2 + 62182/16. Let d = 3889 - v. Is d < k?
True
Suppose -40*o + 299 = -28701. Is o >= 723?
True
Let l be (-23)/(828/468) + 12/1. Is 33585 greater than l?
True
Let v = 35 - 34. Let l = -63 + 48. Let d be ((5/l)/(6/8))/18. Is v greater than d?
True
Let t = -6059 - -4553. Which is smaller: -1503 or t?
t
Suppose -75*d - 3142 - 308 = 0. Let z = 399 - 119. Let m be (-2)/8 - d/z. Is m at most as big as -1?
False
Let q = -512437/26 + 804135/286. Let x = -16910 - q. Which is bigger: x or -14?
x
Suppose -4*u - 14*k + 8 = -12*k, 4*u - 6 = -3*k. Suppose u*c - 37 = -7*q + 3*q, 0 = -q + 2*c + 1. Is 11/2 >= q?
False
Let c = -177 - 15. Let d be 128/c + (-1)/(-3). Is d at least -12.4?
True
Let l be (-1529)/(-3) + (-3)/(-9). Let b = -1510/3 + l. Let q be (-5)/(92/(-24) - -3). Which is smaller: q or b?
q
Let k = 4429 + -4425. Is k > -44/21?
True
Suppose -397*p = -391*p - 12. Suppose x = -2*y + p*x + 17, -9 = 3*x. Which is bigger: y or -5/3?
y
Suppose -3*x = -5*b - 22, -3*b - 2 = -4*x + 9. Let c(j) = j**3 + 7*j**2 - 100*j + 1. Let i be c(7). Which is smaller: i or b?
i
Let j = 1/774 + -463/58824. Is j less than -1?
False
Let g be 6/(-21)*(-1 - 48). Let r be ((-2)/5)/(-10 + g). Suppose 7*o = -6*o + 13. Is o at most as big as r?
False
Suppose 27*s - 2*s = -1800. Let b = s - -283/4. Do b and 0 have different values?
True
Let r = 61/92 - 15/92. Is r less than 13278?
True
Let u be 4/(-10)*(-25)/(-2995). Suppose g = 4*j, j - 14*g + 21 = -19*g. Which is bigger: j or u?
u
Suppose 3*j - 34 - 58 = -4*b, 2*b - 106 = -4*j. Suppose -490 = j*z - 17*z. Is z >= -72?
True
Let l = 0.343 - 0.3233. Let j = l + -0.0797. Let t = -0.04 - -0.07. Is t smaller than j?
False
Suppose 24*n + 61*n + 45*n - 72410 = 0. Do n and 555 have different values?
True
Suppose 5*x + 33*r - 38*r - 5525 = 0, 2*x + r - 2228 = 0. Which is smaller: x or 1110?
1110
Let c = 293.1 - 292.7. Let t = -4/111 - -569/6549. Is c greater than or equal to t?
True
Let s(j) = 7*j - 39. Let w be s(7). Let x be (13 + w)*(-2)/(-14). Let z = -3 - -5. Is z greater than x?
False
Let z = -13147735/61 - -215532. Which is bigger: -4 or z?
-4
Let x = 2536 + -2788. Which is greater: x or -256?
x
Let u = -2627 - -2628. Let k = 10125/37 - 821/3. Do u and k have different values?
True
Let o(k) = 7*k + 26. Suppose -21*c + 23*c = -16. Let b be o(c). Let s = b + 28. Which is smaller: s or 9?
s
Let u = 3.04 - 2.455. Let m = u + 0.285. Is -2 greater than or equal to m?
False
Let u = 20587 - 20716. Is -642/5 less than u?
False
Let q = 3.419 - 3.23. Let o = 1.589 - q. Let f be (-8)/6 + 1/3. Is f less than o?
True
Let h be (-70)/(-84)*((-12)/15)/(-4)*2. Is h <= -1530?
False
Suppose 3*c + 21 = 3*f, -f - 61 + 70 = -3*c. Is 20/1657 equal to c?
False
Let c(a) = 66*a - 1385. Let s be c(20). Which is bigger: -46 or s?
-46
Let v = -178470111/750610 - -22/225183. Let o = v + 238. Do o and 0 have the same value?
False
Let i be 0 - (-8 + 36/6). Suppose 2*f = 4*m - 18, 3*m - 2*f = 5 + 9. Which is smaller: i or m?
i
Suppose 0 = -a + 5*j + 40, -2*a - 3*j + 32 = -j. Let l = -19 + a. Let k be l + (-3 - (-2 + -1)). Is 1/37 >= k?
False
Suppose -11*o + 8*o = -24. Suppose 0 = o*d - 12*d - y + 131, -5*y - 25 = 0. Is d less than 33?
False
Let t(v) = -v + 23. Let i be t(-39). Suppose -i = -416*c + 417*c. Which is bigger: c or -2?
-2
Let p = 1508.2 + -1513.2. Which is smaller: p or -0.334?
p
Let z be (-8 - -4 - -10) + (-80570)/13428. Is z less than or equal to 0?
True
Let k = 80 + -80. Suppose -3*n - 5*w + 20 = k, -3*n + 7*w - 9*w + 8 = 0. Suppose 0 = q - 2*r + 8, q + 2*r - 12 = 4*q. Is n > q?
True
Let u = -82 - 1. Let c = -118 - u. Which is bigger: 0.3 or c?
0.3
Let q = 1.2 + -1. Let n = -1051361/946 - -12225/11. Which is greater: q or n?
q
Let c be 5 + -2 + 9/(-1) + -3. Let f be (-2 - 266/(-4))*116/(-783). Are f and c non-equal?
True
Let a = -90 - -92. Suppose 4*f + 7*o - 8*o = 48, 0 = -2*f - a*o + 34. Is 6 equal to f?
False
Suppose -4*d + 5 + 11 = 0. Suppose 20 = d*q + 2*u + 6, -3*q + 4*u + 27 = 0. Suppose -20*a - 15 = -51*a + 26*a. Is a > q?
False
Suppose 9*o = 69 - 333 - 60. Which is greater: o or -3?
-3
Let h = 90.0626 + -0.0626. Is -3 at least h?
False
Suppose 17*q - 4*q - 1651 = 0. Suppose -x = 5*r - q, 3*x - 69 = -4*r + r. Is r < 29?
True
Suppose -27410 = -157*r + 68517. Are r and 624 equal?
False
L