)/10). Which is smaller: c or y?
y
Let d = 23 - 20. Let j = -90.3 - -94. Let f = j - 4. Which is smaller: d or f?
f
Let z be (-28)/30*4/8*8. Which is greater: z or -3?
-3
Let h = -67 + 80. Is h less than 1/7?
False
Let o = 7 - -5. Let f = 17 - o. Suppose 3*s = -3*m + 12, 0 = -m - 2*m + f*s - 28. Which is smaller: 1 or m?
m
Let j(o) = 3*o**2 - 14*o + 2. Let m be j(4). Suppose s + 12 = 3. Let c be -3*(m/s)/2. Which is smaller: -3 or c?
-3
Let d = -25.052 + 0.052. Let f = d + 17. Let n = -3 - f. Which is bigger: 0.1 or n?
n
Let w = -4.95 + 4.94. Is -18 at most w?
True
Let a(y) = -y + 3. Let v be a(-2). Suppose -4*s - v = -3*s. Which is smaller: -7 or s?
-7
Let c(y) = -3*y**2 - 20*y - 12. Let z be c(-8). Let q = -25 - z. Suppose 0 = -3*o - q + 7. Is o less than -11/3?
True
Let k = 40 - 39. Let t be (k/3)/((-2)/(-30)). Suppose d - 3*l - 6 = -2*l, -4*d + 5*l + 25 = 0. Is d greater than t?
False
Let y = 37 + 3. Let a = 41 - y. Is a >= -1/17?
True
Let q(i) = i**3 + 15*i**2 + 16*i + 29. Let x be q(-14). Let l be (4/1)/x + 94/(-23). Which is greater: -1 or l?
l
Let c be (-2)/(-8) - (22692/4080)/31. Which is smaller: c or 1?
c
Let j = 0.097 - 12.097. Let n = 61.3 - 49. Let z = j + n. Which is greater: 3/2 or z?
3/2
Let g = -3.875 + -0.125. Is g bigger than -1.8?
False
Let j(i) = i**3 + 2*i**2 - 3*i - 1. Let g be j(-3). Let n be 1*(1 - g)/(-2). Let s be -3 - n - (-30)/5. Which is greater: 2 or s?
s
Let g = 16.6 + -15. Let d = g + -1.5. Which is smaller: 0.17 or d?
d
Let q = -489397 + 5392525/11. Let x = q + -832. Which is smaller: x or 0?
0
Let z = -73019/3 - -24578. Which is greater: 238 or z?
z
Let r = -3659/15 + 244. Let f(d) = d**2 + 4*d + 3. Let h be f(-3). Which is greater: h or r?
r
Suppose 27*z + 3225 = 255. Which is bigger: z or -112?
z
Suppose 353 = 20*h - 1007. Is h at least 69?
False
Let t = -1271/18 - -6641/234. Let f = t + 211/5. Is 0 less than f?
False
Let z(s) = -21*s - 83. Let y be z(-4). Which is smaller: y or 2/41?
2/41
Suppose 0 = 5*b + b - 6. Which is smaller: b or -2/1019?
-2/1019
Let p = 0 - 0. Let h be (16 - 15)*-1*(-37 + -2). Let v be 14/(-42)*45/h. Which is smaller: v or p?
v
Let r = 1037/45 + -184/9. Is 2 at least r?
False
Let w(o) = 2*o**2 + 6*o + 4. Let f be w(-5). Let m = 24 - f. Which is bigger: m or -1?
m
Let n(y) = -57*y + 1. Let b(x) = -113*x + 3. Let s(w) = -2*b(w) + 5*n(w). Let j be s(1). Let t be (j/(-18))/(2/(-3)). Is -5 < t?
False
Suppose 0 = -2*l - 0*l. Let p = 33/20 + -2/5. Is l bigger than p?
False
Let k = -1 + 0. Let z = -10229/44 + 935/4. Let r = -347/264 + z. Which is smaller: k or r?
k
Let q = 37.9 + -32. Let k = -7.9 + q. Let s = -5 - -10. Is s bigger than k?
True
Suppose -40*u + 399 = -47*u. Which is greater: -49 or u?
-49
Let i = 154 + -148. Which is smaller: i or 43/6?
i
Suppose -28 - 117 = 3*d + 4*m, d + 45 = 2*m. Which is smaller: -46 or d?
d
Let u be (-196)/210 - 3/(-30). Which is smaller: -14/9 or u?
-14/9
Let i(z) = 3*z**2 + 112*z - 88. Let k be i(-41). Which is smaller: 362 or k?
362
Suppose 20 = -5*n, 11*n = -5*j + 6*n - 265. Which is smaller: j or -50?
-50
Let i = 28675460/1139 - 25176. Is 1 >= i?
True
Let a(w) = 19*w**2 - 2*w + 1. Let h be a(1). Suppose 16 = -8*f - 80. Let g = f + h. Is 1 less than g?
True
Let b = 1193 + -1308. Are -2 and b equal?
False
Let m(f) = -2*f**2 - 7*f + 70. Let h be m(-10). Is -60 greater than h?
False
Let r = -1048 - -1114. Which is bigger: r or -6?
r
Suppose -2*x = 2*l, -2 = -2*l - x - 1. Let c be ((-6)/3)/(-3 - (-116)/36). Let t be (2 - 21/9)*c/7. Is l > t?
True
Let o = 358 + -557. Let t = -199.89 - o. Let g = 0.11 - t. Is 9 != g?
True
Let k(q) = -q + 11. Let o(b) = b**3 - 11*b**2 - b + 13. Let a be o(11). Suppose 0*w + 5*r - 2 = -a*w, 40 = 4*w + r. Let h be k(w). Which is smaller: -0.6 or h?
-0.6
Let w = 2 + 1. Let q be ((-31)/2 - -14)*(-4)/(-21). Do q and w have the same value?
False
Suppose l = 5*h - 3, -9 = -3*l - 3. Let z(a) = -5*a**3 - a + 1. Let r be z(h). Do -5 and r have different values?
False
Let h(l) be the third derivative of -l**5/60 - 5*l**4/12 + 23*l**3/6 - 10*l**2. Let n be h(-12). Are n and -0.18 nonequal?
True
Suppose -o - 12 = -17, l + o - 68 = 0. Which is bigger: -6 or l?
l
Let x(t) = -2*t**2 - 39*t + 25. Let b be x(-18). Is b < 81?
True
Let q = -13529866/55 - -245990. Let p = q + 48/11. Which is bigger: p or -2?
-2
Let z(f) = -f**3 + 35*f**2 - 67*f + 73. Let j be z(33). Which is smaller: 1/3 or j?
1/3
Let g = -18635/11 + 1693. Let t = g + 514/451. Is 1 greater than or equal to t?
True
Let k = 0.7 + 0.3. Let t = -23.82 - 0.18. Let u = t - -23.94. Which is smaller: k or u?
u
Let a(b) = 2*b + 12. Let o be (-4)/(-6)*12*-1. Let h be a(o). Let n = h - -3. Which is smaller: 1/10 or n?
n
Let b = 1181 + -1182. Do 3/67 and b have different values?
True
Let t = 75 - 124. Let j = 39 + t. Which is greater: j or 0?
0
Suppose 4*u + 27 = 3*k, 57*k = 54*k + 15. Let g be 2 + -6 - 1*-1. Let t be (3/g)/((-3)/u). Are 1 and t nonequal?
True
Let m(f) = f**3 + 15*f**2 + 31*f - 39. Let g be m(-13). Is g > -106?
True
Let g(z) = -z**2 + z - 1. Let p be g(-2). Let r = -4 - p. Let b be r/2 - (-3)/2. Which is smaller: 2 or b?
2
Let j(a) = -a**3 + 10*a**2 - 6*a - 13. Let k be j(9). Let i be (-4)/(-10)*(-217)/k. Which is greater: i or -7?
i
Let l be (0 - 1) + 2 + 9. Let r = 853 - 845. Which is greater: r or l?
l
Let o = -285 + 1986/7. Which is greater: o or -4?
o
Let g(s) = s**3 + 3*s**3 - 3*s - 7 - 5*s**3 - 4*s - 8*s**2. Let p be 15/(-2) + (-2)/(-4). Let m be g(p). Is -7 at least m?
True
Let i = -1.138 - -0.138. Let d(t) = -4*t + 1. Let v be d(1). Do v and i have different values?
True
Let t be (0 + 4/(-10))*-35. Let l be (-8)/70 + t/49. Let p = 83/280 - l. Is -0.1 equal to p?
False
Let t(s) = s**2 - 2*s - 1. Let z be t(3). Let b be (z/6)/((-2)/2). Let q = -0.283 + 0.083. Is q >= b?
True
Let t be 50/30*4206/10. Which is greater: 699 or t?
t
Let q = -1961 + 1961. Suppose -2*t + u + 4*u = 29, -3*t - 4*u - 55 = 0. Which is greater: q or t?
q
Suppose -16 - 84 = -4*o. Let x = o + -23. Suppose -x = -4*i + 2*i. Which is smaller: -6/17 or i?
-6/17
Let a be 12 + -5 - 10/(-2). Is -0.04 greater than or equal to a?
False
Let u be -20*(3 + 1 + -5). Suppose u = -d + 28. Is -1/3 at most d?
True
Suppose 2*r - 31 = -5*h + 3*r, 5*r - 1 = -h. Suppose -4 = -2*q - 4*s, -5 = 5*q - 4*s - 71. Suppose 4*z = h - q. Is -4/13 bigger than z?
True
Suppose -5*l - 37 = 2*m - 10*l, 4*l = 3*m + 45. Let k be m*(1 + 3)/4. Let i = k - -15. Is 3 less than or equal to i?
True
Let w(j) = j**2 - j + 1. Let z(n) = n**3 - 15*n**2 + 13*n - 6. Let b(k) = 6*w(k) + z(k). Let m be b(8). Let t = -7 - m. Is -3 greater than t?
False
Let f = -19/4773 - -4/129. Let l be -1 + 4 + (1 - 4). Suppose l = -z - z. Does z = f?
False
Let m = 25316/13 + -1952. Which is bigger: -1 or m?
-1
Let o = 2.12 - -0.38. Let b = 2.5 - o. Is -1/2 <= b?
True
Let b be ((-88)/33)/((-1)/21). Let r be 266/b + (-3 - 0). Which is smaller: 2 or r?
r
Let q be (117/(-6))/((-2)/(-36)). Does -351 = q?
True
Let k(u) = u**3 + 3*u**2 - 2*u + 1. Let p be k(-3). Let s = 11 - p. Is s > 4?
False
Let f(b) = -77*b**2 + 4*b + 3. Let m be f(-1). Is 1 at most as big as m?
False
Let g be (-4 - 3/(-1))*-3. Suppose 5*c + 4*z + 19 = 0, g*c - z = 4*z - 4. Suppose -n - 20 = 4*n. Are c and n nonequal?
True
Suppose -10 = -2*w, 4*w - 16 = -4*i + 8. Let g be 1/(i/(4 + 3)). Let t be -4 - ((-51)/g + 3). Is -2 less than or equal to t?
True
Let o = 168 - 4538/27. Suppose 0 = -5*g - 4*z + 24, 0 = g - 0*g - 3*z - 1. Suppose -3*k + 5*v + 13 = 0, 2*k - 4 = -3*v + g*v. Does o = k?
False
Suppose 8 = -3*m - 3*z - 16, -m + 7 = -2*z. Let n be (-72)/18*2/5. Which is bigger: n or m?
n
Let c(z) = -z**3 + 2*z**2 + z - 4. Let u(i) = -i**3 + 6*i**2 - 5*i + 2. Let o be u(5). Let t be c(o). Let j be t/(-13)*(-7)/14. Which is smaller: -1 or j?
-1
Let o = -4 - 15. Let z be 37 + -29 + (-26)/1. Are o and z equal?
False
Let u(v) = 7*v**2 + 7. Let a(w) = -w**2 - w - 1. Let m(i) = 6*a(i) + u(i). Let g be m(6). Let y be ((-2)/8*-2)/1. Is y at least as big as g?
False
Let l = -493 - -620. Are l and 127 nonequal?
False
Let o = 417 + -585. Let m be (o/28)/(-15 - (-1 - -3)). Is 0 less than m?
True
Let t(w) = -w + 13. Let i = -39 - -39. Let c be t(i). Is -1 greater than c?
False
Suppose -8 = -4*m - 4. Let c be (