pose -s - 3*s = 4*l + 16, -3*l - s = 4. Suppose x = -2*f + 14, 3*f + 4*x = f + 26. Suppose l = 2*c + 5*y - 43, c + 2*c - 57 = -f*y. Is 14 != c?
False
Let p = 28 + -55. Suppose -c - 68 = c. Let r = c - p. Is r at most -9?
False
Let s be (-20)/(-114)*8/((-8)/(-3)). Which is bigger: 0 or s?
s
Let p = 23.5 + -36. Let f = 0.5 - p. Which is bigger: -1 or f?
f
Let n be ((-4)/10)/((-3)/(-15)). Suppose 0 = 3*x + 2*i - 133, -3*i - 1 = 2. Let t be (-6)/x*(1 + 19). Is t at least n?
False
Let r = -12 + 13. Let u = -188709/1046792 + 1/24344. Let c = -3/43 + u. Is c less than or equal to r?
True
Let a = 5.3 - -3.7. Let s = 10 - a. Is s at most -0.078?
False
Let b be 17 - (6 + (-1 - 3)). Let d(k) = k**2 - 14*k + 13. Let r be d(13). Which is smaller: r or b?
r
Let g be (200/(-32) - -7) + 2/8. Which is bigger: -17 or g?
g
Let c(t) = -2*t + t**2 + 10 - 15 + 2*t. Let f be c(2). Do -1 and f have the same value?
True
Let p(t) = -6*t + 94. Let r be p(15). Let v = 2 + -1. Let x be 2 - (-2 + (v - 0)). Is r < x?
False
Let p = 29 + -32. Let q = 0.09 - -0.91. Let o = p + q. Is o not equal to -0.01?
True
Let w = 0.051 - -28.949. Let q = 10 + w. Let z = q - 39.1. Is 14 bigger than z?
True
Let j = 67 + -65. Let k be 20/(-6)*(-1)/(30/(-36)). Which is bigger: k or j?
j
Let v(n) be the third derivative of -n**4/24 - n**3/2 - 2*n**2. Suppose 22 + 6 = -4*x. Let m be v(x). Do m and 3 have different values?
True
Let i = -70 - -76. Suppose 2*j + 2 = 0, 0 = -5*f + 4*j - 32 + i. Are -6 and f unequal?
False
Suppose -d = -3 - 1. Suppose -7*k = -k + 348. Let i = -53 - k. Which is smaller: d or i?
d
Suppose y - 5*h = 3*y - 10, 5*h - 10 = -y. Which is greater: y or 1/159?
1/159
Let f = -2.75 - -0.45. Which is smaller: f or -0.07?
f
Let h(g) = -g**3 - 10*g**2 - 17*g + 24. Let q be h(-6). Let k(x) = -2*x**2 + x + 2. Let y be k(-3). Is q smaller than y?
False
Let i be 3 + (-2 - (-2 - (-1 + -1))). Which is greater: i or 1/259?
i
Suppose 0 = 12*a - 10*a. Let w be a - (-25)/(-14) - 46/(-161). Which is bigger: -0.1 or w?
-0.1
Let r be (-5)/(-2)*(0 + -2). Let l = -1 + r. Suppose -c - 10 = s, -15 = -2*c + 7*c - 2*s. Which is smaller: c or l?
l
Let p be (-6)/(-70) + (-3)/(-15). Let v be 7*-2*3/6. Let o be (-1 + 0)/(v/21). Which is smaller: o or p?
p
Let l(f) = 8*f - 110. Let j be l(14). Let r = -2 + 1. Which is smaller: j or r?
r
Suppose -64*m - 709 = 1787. Do m and -14 have the same value?
False
Let f be (-11)/(-11)*(0 + -1)*87. Let z be (f + -2)*(-1 - (-3)/2). Is -45 less than z?
True
Let r = -1.644 + 1.641. Which is smaller: r or -9?
-9
Let d = -0.6 - 74.4. Is d less than or equal to 2/3?
True
Let k = -0.8 - -0.1. Let b = -0.3 + k. Let v = -6.541 + 8.541. Which is smaller: v or b?
b
Let t = 0.15737 + -0.04737. Let b = 4 - 4.3. Let h = -0.4 - b. Which is greater: h or t?
t
Let t(w) = 8*w**2 - 3. Let b be t(-2). Let n(i) = i**2 - 30*i + 28. Let g be n(b). Is 17 equal to g?
False
Let v be 13/(-4) - ((-9)/4 - -3). Let j(z) = 2*z**2 + 7*z + 4. Let f be j(v). Which is smaller: 4 or f?
4
Let o = -177 - -386. Is o greater than 211?
False
Suppose -3*x + 5*x = -4*f - 14, 5*x + 11 = -4*f. Which is smaller: -5 or x?
-5
Suppose -10 = -2*o, -58 = -3*h + 2*o - o. Let j = 1923 + -1904. Which is smaller: h or j?
j
Let g = 72 - 503/7. Let f be 3/(-9) + (-6)/9. Let t be (4 - 2) + 2*f. Is g > t?
True
Suppose 3*c - 5 = 5*s, 5*c - 3*s + 8 = -5. Let k be (-2)/(-6) - 40/(-15). Let h = c + k. Is 3 at least as big as h?
True
Let t = -732551630695/27633 - -26510029. Let g = -4/453 - t. Is 0 not equal to g?
True
Let l(i) = i**2 - 18*i + 44. Let d be l(16). Let y be (-28)/d - (10/(-6))/5. Is y < 2?
True
Let b be -8 + -8*(-6 - -5). Which is bigger: 5/82 or b?
5/82
Let z(x) = -x**3 - 12*x**2 - 17*x - 21. Let i be z(-12). Are 181 and i nonequal?
True
Let w = -152 - -752/5. Which is greater: -7 or w?
w
Let d = 225/16 + -3407/240. Is -2/203 < d?
False
Let g be 85/(-45)*(-24)/(-10). Let x = 14/3 + g. Which is smaller: 0 or x?
0
Let a be (18/(-104))/(105/(-56)). Is a greater than or equal to 1?
False
Suppose -5*w = 5*l - 130, 10*w - 5*w + 24 = 2*l. Suppose -p + 0*p + 4*d - l = 0, -2*p - d - 8 = 0. Which is smaller: p or -5?
p
Let g = -80 + 58. Do g and -1 have different values?
True
Suppose -3*p = 4*i + 105, i - 3*p + 4*p + 25 = 0. Let t be 28/i + (-3)/(-3). Let h = 55 - 54. Is h less than or equal to t?
False
Let d be (-4)/(-8) - 2/(-4). Let y be (-2)/(-2) + 2/d. Let i(u) = -u - 5. Let h be i(-9). Which is smaller: h or y?
y
Let w be 9/(567/6) - (-3597)/(-63). Which is greater: -398/7 or w?
-398/7
Let l = -12 - -8. Suppose -3*g - j - 10 = 2*g, -4*g - 3*j - 19 = 0. Which is smaller: g or l?
l
Let l be 20 - (-20 + 4)/(-4). Suppose -2*g - 60 = -4*d, 2*d - 15 = d + 4*g. Which is greater: l or d?
l
Let l = -1.89 - -5.83. Let t = l - 4. Let i = 8.06 + t. Which is bigger: 1 or i?
i
Let x = 14 - 11. Suppose -x*i - 7 = -1. Let g be (i/(-6))/((-9)/(-27)). Are g and 1 non-equal?
False
Suppose -9*g + 6 = -6*g. Let z(b) = -7*b**2 - b. Let n be z(g). Is n at most -31?
False
Let s = -308 + 308.04. Let u = -67 - -203/3. Is s less than or equal to u?
True
Let s = -0.1 - -0.1. Let f be 1*4 - 4*(-65)/(-156). Which is greater: f or s?
f
Suppose -k = k. Let w = -1/393 - -47579/10218. Let l = w - 60/13. Is l equal to k?
False
Let w = 1118 + -1113. Is -5 equal to w?
False
Suppose -11*b + 7*b + 20 = 0. Suppose m = -3*q - b, 2*m + 4*q = -q - 8. Is m bigger than 1/23?
True
Let l = 7.8 - -40.2. Which is smaller: l or -1/3?
-1/3
Let y be 0 + -2 + 1 + -18. Let b(p) = 2*p**2 + 36*p + 13. Let u be b(-17). Do u and y have different values?
True
Let w = 1461793/214284 + -5/15306. Let r = w + -39/7. Suppose 0 = -k - k. Is r at least as big as k?
True
Let v = -1/13470 - -28069/15207630. Which is greater: -1 or v?
v
Let g = 0.4 - 1.4. Let x = 0.28 - -0.32. Let s = 0.6 - x. Are s and g unequal?
True
Suppose 2*v + 51 = 7*v + 3*d, 4*v = -4*d + 36. Let r be v/(-8)*(-2)/(-7). Which is smaller: 1 or r?
r
Suppose -1 + 5 = 4*q. Let p = 30.7 - 29.6. Which is greater: q or p?
p
Let r be -3 + -53 + 0/(-4). Let p be (36/(-357))/(16/r). Suppose -2*j = j - 3. Which is smaller: p or j?
p
Let x = -82 - -111. Let s = 22 - x. Suppose -5*g + 3*f = 4*f + 42, g + 10 = -f. Is g at most as big as s?
True
Let u be (-32)/2*(-2)/(-372). Are u and 1 equal?
False
Let c be (-1314)/(-144) - (-1)/(-8). Let h be (14 - 14) + c + -2. Are 5 and h nonequal?
True
Let o(s) = -s**2 + s + 23. Let i be o(8). Is -31 smaller than i?
False
Suppose 2*s + 2 = 5*f, 17*f + 1 = 13*f - s. Which is smaller: f or -1/73?
-1/73
Let k = -1187 - -1215. Which is bigger: k or -16?
k
Let t be 28/(-72) - 2/12. Let a(i) be the first derivative of i**2 + 6*i - 9. Let v be a(-4). Do t and v have the same value?
False
Suppose -2*t = 3 + 1, -3*s - 3*t + 3 = 0. Let i be (-1 - 2) + s + 16. Which is smaller: 18 or i?
i
Let t be ((-9)/(-21))/(2 - 3). Let q = -640.98 + 641. Which is bigger: q or t?
q
Let c = 1/36786 + -1554268/2188767. Let b = c - 5/34. Let l(s) = -149*s - 1043. Let j be l(-7). Is b equal to j?
False
Suppose 216 = -10*n + 4*n. Let u = n - -29. Which is bigger: u or -13/2?
-13/2
Let f = -6.1 + 4.1. Is -65 <= f?
True
Let q = 21 + -27. Let f be q/(-4)*(-24)/60. Is f at most -2?
False
Let u = 10 - 21. Let c = 16 + u. Let k = -3.9 + c. Which is smaller: -1 or k?
-1
Suppose -5*f + 8 = -0*s - s, 2*f + 58 = -3*s. Let z be (9/(-12))/(s/(-894)). Let x = -37 - z. Which is smaller: x or -18?
-18
Suppose u = 2*u + 3. Let c be u*2*(-3)/(-6). Suppose 0 = y - 5*d - 23, -3*y - 4*d - 43 = -17. Is c < y?
True
Let i = -2/769 - -9238/3845. Let d be 10 + -13 + 15*6/9. Let b be (3 + 0)*(d/(-3))/(-7). Is b smaller than i?
True
Let h(b) = 2*b - 9. Let x be h(3). Is x <= -29/18?
True
Let w be 2/((5 + 0)*(-174)/(-42485)). Which is greater: w or 98?
98
Let i = -23.2 - -27. Let l = i - 23.8. Is l equal to -0.1?
False
Let i = 9 - 4. Suppose -a = -i*a + 16. Suppose 0*t + p = 5*t + 3, 0 = 3*t + 4*p + 11. Which is smaller: t or a?
t
Let z(p) = -4*p**3 - 5*p**2 - 7*p - 12. Let m be z(-3). Is m at most 74?
True
Let m = -1572 - -1572.4. Let p = 0 - -0.05. Is m > p?
True
Let y be 1 + (-95)/(-4) - 26/(-104). Which is greater: y or 12?
y
Suppose 0 = -2*j + 4*n - 3*n - 443, 3*j = n - 667. Is -223 greater than or equal to j?
True
Let v(q) = 8*q - 109. 