e 4*z = 4*d - 24, -z - 28 = -3*d - x*z. Are d and 11 equal?
True
Let s = -482 + 481. Let t(f) be the first derivative of 35*f**4/4 - f**3/3 - 1. Let l be t(s). Is -36 at least l?
True
Suppose 6106 = 4*x + 6*x + 39336. Is x greater than or equal to -3323?
True
Let g = 32264 - 32125. Which is smaller: g or 0.96?
0.96
Let q(t) = -5*t + 8*t + 15 + 2*t + 4*t - 8*t. Let o be q(-15). Is o bigger than -2/949?
True
Let h = 28 - 26.9. Let d = 143.3 + -146.3. Is h < d?
False
Let m(y) = -297*y**2 - y - 21. Let k be m(-4). Which is greater: k or -14309/3?
k
Let f be 33/(-27) + 2/9. Suppose -7*u + 540 = 3*u. Let x be (-9)/(u/4) + (-13)/(-21). Is x greater than or equal to f?
True
Let z(d) = 5*d + 90. Let n be z(-20). Let c be (-14)/5 - 8/n. Let q be (-2)/3*3/c. Are q and 5 non-equal?
True
Let d = 15165 - 14714. Which is smaller: d or 2/61?
2/61
Suppose -97*f = 25*f - 6442 - 42846. Which is smaller: 2830/7 or f?
f
Let t be (-79)/154 + (-42)/(-147). Suppose 429 - 427 = 2*q. Which is smaller: q or t?
t
Suppose -4*q + 27 = 15. Suppose 0 = -3*l - 2*s + 6, -2*s - 27 = -q*l + 3*s. Suppose -4*o + 23 = -5*j, l*j + 2*o - 3 = -11. Which is smaller: -4 or j?
-4
Let l = -287 - -190. Suppose -9*b = -4*b - 700. Suppose -3*x - 154 - b = 0. Is l >= x?
True
Let b(c) = 32*c - 67. Let g be b(3). Suppose -g*u + 251 + 445 = 0. Does 101/4 = u?
False
Let a = -108.81 - -111. Let t = -0.51 - a. Are -0.5 and t unequal?
True
Let f be ((-38)/(-6))/((-25)/(-150)). Suppose 105 = -31*l + f*l. Which is greater: l or 16?
16
Let d = 1717 - 101302/59. Suppose 0 = 2*q + 2*q + 5*j + 29, -5*q + 5*j + 20 = 0. Let f = q + 1. Are f and d unequal?
True
Let a = 540299559/302101 - -3067262/953. Let r = a - 5007. Is r at most -1?
False
Suppose -5*o - 5 = 5*i, -51 = -7*i + 18*i + o. Let v = -8 - -9. Let j(n) = -5*n**2 + n - 1. Let h be j(v). Are h and i nonequal?
False
Suppose -9*z - 175 = -193. Let c be (1/2)/(1/(-10)). Let r be z + c - (2 - 2). Does -2 = r?
False
Let o = 1085 + -1087. Which is bigger: o or 3393?
3393
Let m be 0/(-1) - 20/(-26). Let g = 41157 + -41155. Is m greater than g?
False
Let j be ((-10)/7 + 1)/(1/(-7)). Suppose -13*m + j*m = -10. Suppose 2*l = 3*l - m. Which is smaller: 7/13 or l?
7/13
Let f = 418 - 240. Let z = f - 178.02. Which is smaller: z or -3?
-3
Let p = 0.3 + -0.2. Let o(s) be the second derivative of -s**4/12 - 7*s**3/2 + 6*s**2 + 5*s + 1. Let k be o(-22). Is p less than or equal to k?
False
Let g(v) = v - 2. Let h(t) = -3*t - 26. Let u(q) = -2*g(q) - h(q). Let f be u(-31). Let n = 203038/141 - 1440. Which is greater: f or n?
n
Let b = 354 + -655. Let p = b + 12944/43. Let f = -1 + 2. Which is bigger: p or f?
f
Suppose 0 = 5*q - 5*y - 5, 1 = -2*q + y + 4. Suppose -8 = q*l - 24. Let h(m) = 6*m + 78. Let c be h(-12). Is l at most as big as c?
False
Let o = 6018/5 + -1347. Which is greater: o or -142?
-142
Let f be 2/(-10) - 3066/(-730). Which is smaller: 5 or f?
f
Let s(o) = o**3 - 13*o - 13. Let u be s(-3). Let p be (-8)/36 - 8/((-61992)/1695). Which is bigger: u or p?
p
Suppose -158*v - 148*v - 7070 = -104*v. Which is smaller: -40 or v?
-40
Suppose 691 = 5*k + p + 3*p, -3*k = 3*p - 414. Suppose 481 = 6*d + k. Let m = -170 - -228. Is d less than or equal to m?
True
Suppose 0 = -3*m + 6*m + 3*n - 234, -n - 72 = -m. Let b(d) = 2*d**2 + 20*d + 92. Let v be b(-9). Are m and v equal?
False
Let l = 97.07 - 98.07. Let v = 4 - -9. Let m = v + -19. Is m greater than or equal to l?
False
Let x(p) be the first derivative of p**5/20 + p**4 + 5*p**3/3 + p**2/2 - 10*p + 9. Let r(y) be the first derivative of x(y). Let s be r(-11). Is 11 >= s?
False
Let f(m) = -m**2 + 29*m + 602. Let h be f(43). Which is smaller: h or 20/669?
h
Let a(u) = 3*u**3 + 111*u**2 + 76*u - 182. Let o be a(-36). Is o at most 970?
True
Let y = -685.6 + 653. Let r = y - -34.6. Which is greater: r or 13?
13
Let l = 963469/89 + -10825. Is -1 at least l?
False
Let b = 1327.3 - 1554. Let q = -227 - b. Which is smaller: q or -53?
-53
Suppose -28*t + 234 = 38. Is 43 > t?
True
Let q(z) = z**2 + 4*z - 9. Let t be q(-6). Let c(x) = -1 + 21*x - t - 20*x - 5. Let v be c(4). Is -9 smaller than v?
True
Let w(y) = -3*y**3 + 15*y**2 + 5665*y - 33923. Let c be w(6). Let v = -69 + 36. Is v > c?
True
Let p(v) = v**3 - 23*v**2 + 19*v - 423. Let u be p(16). Are -1910 and u nonequal?
True
Let j = -19273 + 19268. Let q(t) = -t**3 - 6*t**2 + 8*t. Let c be q(-7). Let o = -2 + c. Is o <= j?
True
Let a be (-615)/(-82)*8/6. Suppose 4*b = 12, 4*d + 3*b - 5*b = -a. Which is greater: d or 12?
12
Let a = 1/10577 - -211231/3268293. Is -1 at most as big as a?
True
Let o be (-4)/14 - 740/(-140). Let s be (o/10)/(6/228). Is s less than 16?
False
Let v = 19941 + -16374. Is 3568 not equal to v?
True
Let d = -3759 - -3760. Let i = 22535/28 + -805. Is i greater than or equal to d?
False
Let a = 62623873/203 - 308491. Is 0 != a?
True
Let x be 2*1 + 32 + -17. Suppose -j - 10*j = -198. Which is smaller: x or j?
x
Suppose -2*i + 6 = -4*h + 8*h, h = i. Let c be (5 + -8)*i*2/(-6). Are -9/22 and c equal?
False
Let r = -0.5 + 37.5. Let c = -36.8 + r. Let m = 0.1154 - 0.1154. Is c at most m?
False
Suppose 0 = -2689*h + 2692*h - 738. Which is smaller: h or 238?
238
Let v = 110547725/7924 + -13951. Is v at most 1?
True
Let f = -0.2 + -0.8. Let u(w) = -4*w**2 + 25*w + 37. Let o be u(0). Is o smaller than f?
False
Let o = 2.4 - 4.02. Let k = 37.38 - o. Which is greater: k or -4?
k
Let a be -45 + 9396/72 - (6/(-4) + 0). Let g = -0.4 - -0.3. Which is smaller: a or g?
g
Let q be -7 + (6 - -20) + -18. Are q and -75/299 equal?
False
Let j be ((-3)/21)/((-55)/(-1925)). Is j > 0.0126?
False
Let r be 5544/147 + (-2)/(-7) + -5. Let d = -61 - -93. Does r = d?
False
Suppose -30*d = -10*d + 20800. Let v be ((-4)/5)/((-16)/d). Is -51 at least v?
True
Let z = -21.4 - -1.4. Let q = -12257.9 - -12781. Let f = q - 523. Which is smaller: z or f?
z
Let d be ((-3432)/308)/(-39) - (1 + (-8668)/(-7)). Is d != -1240?
True
Let i(r) = -r + 45. Let q be i(24). Let c be (q/(-4))/((-99)/(-264)). Let p = -50 - -34. Is p equal to c?
False
Suppose -5*b - 8*i = -3*i - 40, -b - 4 = 4*i. Let r be (3*1/b)/(9/18). Is -61 <= r?
True
Let v(q) = -21*q**3 - q + 3. Let m be v(3). Let h = 16439/29 + m. Suppose -5*y = 4*l + 29, -4*y + 24*l = 19*l - 26. Which is greater: y or h?
h
Let h be 7 - (((-3500)/(-146) - 7) + -8). Is h <= -1?
True
Suppose -2*x + 1880 = -7*x + 220. Which is greater: x or -333?
x
Suppose -3*q + 60 = 9*q. Suppose -175 = -0*d - q*d. Which is smaller: 38 or d?
d
Let d = 79588/60927405 + -2/38199. Let p be ((-110)/20 + 5)/((-2)/4). Is d != p?
True
Let i(x) = -x**3 - x**2 + 3*x + 2. Let l be i(3). Let h = 29 + l. Let p be (-8)/h*-2 + -5. Which is smaller: 1/46 or p?
p
Let a(w) = 6*w - 112. Let f be a(18). Let o be (f - 12341/(-2884)) + (-1)/4. Is 0 less than o?
True
Let r = 90 - 80. Suppose 0 = g + r - 37. Suppose 0 = -g*t + 34*t - 462. Which is greater: 65 or t?
t
Let i(o) = -o**3 - 6*o**2 - 7*o - 12. Let m be i(-5). Let n be 44/(-10) + (m/(-5))/1. Let a be ((147/(-6))/7)/(2/n). Which is smaller: 10 or a?
a
Let m be (-190)/(-45) + -4 - (-245)/(-9). Let s be 38/(-171) + (-6)/m. Which is smaller: s or -7/41?
-7/41
Let j(l) = -12*l**2 - l + 427. Let i be j(0). Which is greater: i or 1713/4?
1713/4
Let i(u) be the first derivative of u**3/3 + 11*u**2/2 - 26*u - 47. Let g be i(-13). Suppose p - 3*k + 7 = k, p + 2*k - 5 = g. Do 8 and p have different values?
True
Let b = 13.6 - 81.6. Let i = b + 67.8. Which is greater: 0.01 or i?
0.01
Suppose 0*d + d + 365 = 2*x, -4*x + 1819 = -5*d. Let f = d - -363. Which is smaller: -2/231 or f?
-2/231
Let y = -0.7 - -0.713. Let u = -24.113 + 24. Let h = u + y. Which is greater: h or 16?
16
Let c = -68 - 230. Let s = 297.985 + c. Which is bigger: s or 2?
2
Let s = -581/20 + 29. Let u be -1 - (4 - 0 - 5 - 0). Suppose u = 5*h - 2*h - h. Which is bigger: s or h?
h
Suppose 1855*y - 1847*y = -3264. Is -408 < y?
False
Let t be 158*(((-1)/2)/((-215)/1806) - 4). Which is bigger: 3 or t?
t
Let g = -84 - -152. Let i = -212 + 437. Let m = -451/2 + i. Is g smaller than m?
False
Let l = -6078 - -6077.952. Which is smaller: l or -156?
-156
Let f = -3647 + 4991. Is f greater than or equal to 1342?
True
Let s = -0.1 + 0.3. Let q = 0.24 - 0.66. Let n = q - 0.18. Which i