). Let s be 8/6*6*1. Which is greater: w or s?
s
Let j be -3 + (-994)/40 - 2 - -1. Suppose -a + 2 = 31. Let v = a - j. Is v <= 0.2?
True
Let v be (-105985)/(-231) - (-6)/21. Let a = 1340/3 - v. Which is bigger: a or -11?
-11
Let t = -1264 + 1268. Let q = 2 - -8. Suppose -4*r + q = h, -2*r = -h - r + 5. Which is bigger: t or h?
h
Suppose -4 = 15*n - 11*n. Let h be (-2)/6 + 4403/51. Suppose -h = -5*y - 4*d, 53 = 3*y + 2*d - d. Is n greater than y?
False
Suppose -13 + 188 = 25*c. Suppose -3*f = y - c, f - 1 = -5*y + 6. Is y at least -1/299?
True
Let w = 2/2159 + 4312/6477. Let l = 171 + -171.54. Which is smaller: l or w?
l
Let f be (445 - 650)*(-1 + 2). Let m(v) = 49*v - 7. Let u be m(-4). Which is smaller: u or f?
f
Suppose -17*a = -s - 16*a - 212, -a = -4*s - 851. Is 0.1 bigger than s?
True
Let l = 3626 + -3934. Is l at most 0.3?
True
Let k = 826879/7 - 118179. Let r = -63 - -10. Which is smaller: r or k?
k
Let x(p) be the third derivative of -p**4/24 + 23*p**3/6 + 12*p**2. Let f be x(6). Let t = 5 - f. Is t smaller than -1?
True
Suppose 12 = -5*f + 67. Let h(k) be the first derivative of k**4/4 - 10*k**3/3 - 11*k**2/2 - 1007. Let v be h(f). Are -1/11 and v non-equal?
True
Let a = 646 + -980. Let l = a - -334.3. Is l not equal to -17?
True
Let c be -4 + 1 - 3*-1. Let k = 514147/43 - 11957. Do c and k have the same value?
False
Let g = 30094/185367 + -16/1261. Do g and -1 have the same value?
False
Let l = 204 + -256.8. Let y = -47 - l. Which is greater: y or -1/2?
y
Suppose 0 = a - 6*k + 2*k + 16, 3*a + 3*k + 3 = 0. Let g = -7 + -1. Let t be g/3*84/70. Which is smaller: t or a?
a
Suppose 4*z = 19*z + 6*z + 3675. Are -168 and z nonequal?
True
Suppose -295 = -81*c + 110. Is -89 at most as big as c?
True
Let i(u) = -3*u**2 - 7 + 0*u**2 + 5*u + 1. Let s be i(4). Let q be 1/(((-338)/884)/13). Are s and q non-equal?
False
Suppose 3340 + 3028 = 16*g. Suppose 202 = -6*w - g. Which is bigger: w or -99?
-99
Suppose 0 = -3*j - 4*o + 407, 265*j - 269*j + o = -568. Is 143 equal to j?
False
Suppose -5388*s + 133 = -5400*s + 49. Let g be 1 - (-10)/(-12)*11. Which is smaller: s or g?
g
Let m = 361/9816 + 2/409. Let y = 13/25 - 29/75. Is m >= y?
False
Let y be (-693)/27*54/(-6). Which is smaller: y or 232?
y
Let m = 65699/91 + -722. Let f = 78536/45 + -28500569/16380. Let x = m + f. Are x and 4 unequal?
True
Let x = -0.9674 - 2.0966. Are x and 0 unequal?
True
Suppose 9*x - 3*x - 54 = 0. Let b = -226 + 229. Is x at least as big as b?
True
Let f be (-3)/(-8)*(-51)/(-9). Suppose -426*z = -414*z - 24. Which is bigger: f or z?
f
Suppose 2*x - 4*b - 151 = -b, -2*x + 2*b + 146 = 0. Let j = -37 + x. Suppose -5*y - 19 - j = 0. Do -10 and y have different values?
False
Let y be -4 - (-24 - 12/(-3 - 1)). Suppose y*r - 12*r = 20. Suppose -12 + 47 = 5*p - r*c, c + 28 = 3*p. Which is smaller: 1 or p?
1
Let u be 52*((-29)/12 - -3). Which is smaller: 29 or u?
29
Let t be (-1 - 3)*790/(-26). Let p = -1460190/7 + 208688240/1001. Let l = t + p. Which is greater: 4 or l?
4
Let i = -1151.089 + 1168. Let p = i + 0.089. Let s = 16 - p. Which is smaller: -14 or s?
-14
Let v = 503 - 439. Let i be (v/82)/(89 + -91). Which is smaller: i or -1?
-1
Let c = 464 + -455. Let r be c + (1 - 15 - -6). Which is greater: r or -1/95?
r
Let q(i) = -i**2 + 2*i + 44. Suppose -4*s - s = 2*g + 58, 5*g = 2*s. Let b be q(s). Which is greater: -75 or b?
-75
Let h(g) = g**3 + g**2 - 12*g - 8. Let p be h(4). Suppose -p*n - 30 = 6*n. Do n and -20/67 have different values?
True
Let m = -8 - -7.87. Suppose 4*k + 1359 = -3*v, -5*k = -k + 4*v + 1364. Let g = k - -1679/5. Which is greater: g or m?
m
Suppose 0 = 6*k + 538 - 1822. Let d = k + -215. Let c = 3 + -3.2. Which is smaller: c or d?
d
Let s(v) = v**3 - 6*v**2 - 20*v - 18. Let n be s(-4). Are n and -66 equal?
False
Let n be (32/(-24))/(3/(-468)). Which is smaller: 217 or n?
n
Let f = -5 + 3. Let c = -65935 - -65923. Is c > f?
False
Let h = -25157/208 - -1929/13. Is 28 greater than h?
True
Let h(r) = -53*r**3 + r**2 - 15*r - 14. Let p be h(-3). Is 1471 at most p?
True
Let l be ((-1)/1)/(3/(-4917)). Is 1639 <= l?
True
Let t be 370/6*(-84)/3150. Which is greater: t or -1?
-1
Let u = 12496 + -12602. Which is bigger: -112 or u?
u
Suppose -5*h - 1682 - 2398 = 0. Let g be (8/h)/(2/(-4)). Let d = -28 + 28.1. Which is smaller: d or g?
g
Suppose -4 = -2*s - 2*h, 3*h = -s + 9 - 3. Let b(d) = -d**3 - d**2 - 7*d + 3. Let i be b(s). Is -6/5 bigger than i?
False
Let s = 3766.7 - 3767. Is s at least -2/105?
False
Let r = -514.1 + 509.1. Is r less than or equal to -107?
False
Suppose -425384 = -171*c + 161146. Which is bigger: 3431 or c?
3431
Let v = 11789601/148 - 79660. Is v less than or equal to 0?
True
Let q be -3522*3/(-30)*-5. Let v = q + 142643/81. Which is smaller: v or 1?
v
Let b = -8277714/430843 - -1172/61. Which is bigger: b or 0?
b
Let v be (24/4)/3 - -1*11. Suppose 16*t - v*t + 21 = 0. Let q be (-244)/(-126) + (-14)/343*t. Which is smaller: q or 2?
2
Suppose 33 = 2*w - 15. Suppose 123 + 333 = -w*x. Is -9 <= x?
False
Let c be (15/(-60))/(2/(-4)) + (-3)/12. Which is bigger: c or 250?
250
Let y = -2143 - -2166. Are -92 and y equal?
False
Let v(z) = 21*z**2 - 2*z. Let j be v(1). Suppose 20 = -24*a + j*a. Let t be (2/4 - 2/a)*-1. Which is smaller: t or 1/12?
t
Let l = -8 + 17. Let b(v) = 13*v**2 - 14*v - 149. Let t be b(-3). Is t greater than l?
True
Suppose 2*m + 0*s + s - 3 = 0, -2*s + 2 = 0. Suppose y - m = -10. Suppose -3*a - 3 = 18. Which is greater: y or a?
a
Let r = -9872.93 + 9977. Let m = -104 + r. Is m less than -3?
False
Let i be 4149/(-6) - -1*(-1)/(-2). Let q = i - -2615/4. Does q = -37?
False
Let i(x) = -22*x**2 - 31*x**2 - 28*x**2 + 74*x**2 + 2*x - 9. Let a be i(-4). Is -129 bigger than a?
False
Let j = 2/11281 + -11285/22562. Which is smaller: -34 or j?
-34
Let d = 17 - 54. Let c = d - -37.6. Let f = 0.071 - 0.071. Which is bigger: c or f?
c
Let s = -2.05 - -0.05. Let n = 13082 - 13082. Which is smaller: n or s?
s
Suppose 4*r + 70 = -10. Let v(l) = -150*l**2 + 1489*l + 117. Let f be v(10). Which is greater: f or r?
f
Suppose h = -0*j - 5*j - 49, -9 = h - 3*j. Which is bigger: h or 63?
63
Let y be 15802*1/6*(114 - 111). Is y at least 7902?
False
Let r(s) = -s**2 + 15*s - 13. Let f(z) = -z**3 + 13*z**2 - 9*z - 22. Let n be f(12). Let l be r(n). Let b be l/10*8 - 1. Does b = 0?
False
Suppose 2*q = 3*o + 4, 28 = 4*o - 0*q + 4*q. Suppose 2*l + 2*t = 6*t - 26, -o*l = t + 1. Let j be (10/l)/(23/69). Is -10 bigger than j?
False
Let l = -44 + 45. Let g = -93 + 95. Which is smaller: l or g?
l
Let j = -595 + 973. Let u = j - 375. Let z = -0.2 - 2.8. Which is smaller: z or u?
z
Let u = 93 - 95. Let o be 16/(-32) - 139/u. Let c = o - 277/4. Is c bigger than -5?
True
Suppose -25*m + 34 = -39 + 98. Is 13.89 at most m?
False
Let d = 851839/33 + -25813. Is 0.1 <= d?
True
Let s = 3.6 - 6.8. Let r = -299812 + 299810. Are s and r non-equal?
True
Suppose 10*q + q + 22 = 0. Let p be 600/2781 - q/(-9). Let n = 1081/23793 + p. Are 0 and n unequal?
True
Let d = -2655 + 2655.22. Let u = 6.52 - 5.3. Let r = u - d. Which is smaller: -8 or r?
-8
Let g = -1.1 + 1.4. Let i = g - -1.7. Let l = 0.26 - -0.04. Which is bigger: i or l?
i
Suppose u - 3*d - 116 = 0, -8*d = -3*d - 20. Let i(m) = -12*m - 69. Let g be i(-16). Let j = u - g. Is j bigger than 11?
False
Let f be (-12 - (-92)/8)*(-48)/(-388). Let t be (2092/(-7))/(1*97). Let a = t + f. Is a at most -3?
True
Let s(o) = -189*o + 920. Let z be s(-6). Which is smaller: -1 or z?
-1
Let w(o) = 30*o - 6. Let v be w(-4). Let d = v - -253. Is d at most 127?
True
Suppose -14*g - 8 = -16*g. Suppose 4*l + 158 = -5*a, -17*a - g*l = -18*a - 22. Which is smaller: -27 or a?
a
Let g = 336 + -485. Let v = g - -149. Let u = -0.01 + 0. Which is smaller: u or v?
u
Suppose -w - 48 - 18 = -t, -t - 259 = 4*w. Suppose n = 2*z + 145, -138 = 2*z + 200*n - 194*n. Which is bigger: w or z?
w
Let p(l) = -162*l + 1139. Let k be p(7). Which is bigger: k or 2.83?
k
Let z(h) = 2*h**3 - 36*h**2 - 28*h - 7. Let a be z(19). Suppose a*i - 186*i + 639 = 0. Is 214 bigger than i?
True
Let y(g) = -3*g**2 + 59*g - 3. Let b be y(19). Suppose -10*k + 765 + b = 0. Is 80 <= k?
True
Let k = -2 - -2.1. Let m = -78540429/278936 + 3/39848. Let s = -282 - m. Which is smaller