(-1170). Which is greater: 2/7 or d?
2/7
Let q = 5412 - 4922. Is 514 at most q?
False
Suppose -5*k + 8*k = -69. Let x = -24 - k. Let v = 31 + x. Is v greater than or equal to 30?
True
Let g be (30/(-25))/(3 + (-26)/10). Let s be (g/(-2))/((-3)/(-4)). Let k be 15/(106/4 + 2). Is k smaller than s?
True
Let f = 7188 + -21562/3. Let c(a) = 7*a + 3. Let t(g) = -3*g**2 - 4*g - 2. Let v be t(-2). Let x be c(v). Is x smaller than f?
True
Suppose 0 = -2*x - 19 - 145. Let g be 7 + 228/(-30) + (-16)/(-10). Let j be (7 - g)/(x/(-1)). Is 0 greater than or equal to j?
False
Let a be (0*(-2)/(-10))/(-1). Suppose z + 79 - 38 = a. Is -44 not equal to z?
True
Let y be 2 + ((-290)/(-144) - 6). Let p = 15/8 + y. Which is smaller: p or -1?
-1
Let p be ((-18)/(-21))/((-3)/(-14)). Let u be p*((-2)/15 - 28/240). Let l = 8 + -42. Do l and u have the same value?
False
Suppose -884*w + 919*w = 0. Which is bigger: w or 33/1819?
33/1819
Let s = 21 - 8. Suppose -38 = -s*q - 12. Suppose 4*w + 6 = 2*u, 0 = -q*w + 3*u + u - 6. Which is greater: -7/24 or w?
-7/24
Let f = 1.67618 - 0.07918. Is -0.8 greater than or equal to f?
False
Let m = -6163/6 + 43129/42. Is -3/46 smaller than m?
False
Let c = 2.68 - -965.32. Let r = c - 894. Let h = -1 + 2. Are h and r equal?
False
Let r(l) = -l + 9. Suppose -2*a + 1 = 19. Let i be r(a). Let p = i - 13. Is p < 7?
True
Suppose -x - 3*d = -9, -d - 43 = -5*x - 14. Let l(r) = -16*r + 22. Let p be l(x). Is p at least -77?
True
Suppose 0 = -4*n - 2 + 6, 2*i + 5*n + 7 = 0. Let m be ((-312)/(-270))/((-23)/115). Is i >= m?
False
Suppose -57*i = -121*i + 5440. Which is bigger: i or 75?
i
Suppose 2*d = 648 - 852. Which is bigger: 4/23 or d?
4/23
Let p = -8.732 + 8.712. Which is greater: p or 1/23?
1/23
Let c = -273 + 272. Let y be 42/(-918)*(-2)/7. Which is smaller: y or c?
c
Let c = 26 - 38. Let k = -49 - -28. Let i be 1/8*c/k. Which is greater: 1 or i?
1
Let a be (-1)/(-4) + 140/16. Let y = 11285/2 - 5644. Is a at least y?
True
Let t(q) be the third derivative of q**5/60 - q**4/8 + q**3/6 - q**2. Let a be t(-5). Let p be (203/(-406))/((-1)/82). Is p equal to a?
True
Let x = 57222217/1276 - 44845. Which is smaller: 0 or x?
x
Let g(f) = f**3 - 12*f**2 - 26*f + 41. Let o be (-9)/15 + 949/65. Let m be g(o). Which is bigger: 71 or m?
71
Let t = 7674 + -7548.42. Which is smaller: -0.1 or t?
-0.1
Suppose -1 = 3*r + 2. Let u be (4/(-4))/r*-1. Let n = 4294/11 + -390. Is n bigger than u?
True
Let p(b) = -b**3 + 6*b**2 - 6*b + 1. Let a be p(4). Let s = -80257 - -581429/7. Let j = 2812 - s. Is j >= a?
False
Let f = 38 - -18. Let p = 48 + -103. Let y = p + f. Which is bigger: y or -2/33?
y
Let m be (-2)/(-6) - 4/(-6). Let k be (-26)/(-169) - ((-5559)/39 - -1). Let j = -142 + k. Is j at most m?
True
Suppose -5*b + 544 - 579 = -5*m, 3*b + 14 = -4*m. Is 57.2 < b?
False
Suppose -15309 + 15310 = -y. Is y <= -32/23?
False
Suppose 3*w + 2*v - 2 = 0, -5*w + 4*v - 7*v + 4 = 0. Let x be 46/(-23)*79/w. Is -79 greater than x?
False
Suppose 5*c = m + m - 105, 140 = 3*m - 4*c. Let l be m/(-39)*(-18)/4. Let w(d) = 37*d + 42. Let h be w(-1). Which is smaller: l or h?
l
Let x = -1.43 - -1.543. Let u = -15.887 - x. Let d = u - -15.9. Which is bigger: -111 or d?
d
Let c = 5 + -10. Let b be (-15)/(-11)*((-96)/300)/1*10. Is b < c?
False
Let g = 13664 + -10726. Is g > 2938?
False
Suppose 2*z + 1 = -1. Suppose 2*l + 204 - 174 = 0. Let d be (-93)/(-105) - l/(-25). Which is bigger: d or z?
d
Suppose 9 = -37*n + 34*n. Let m be (0 - 1/n)*(-20 - -5). Is m bigger than -0.3?
False
Let g = 94605.7 - 94605. Let i = -0.1 - 0.1. Is g less than i?
False
Let w(n) = 2929*n**2 + 31*n - 28. Let x be w(1). Which is smaller: 2933 or x?
x
Let s(a) = -a**3 + 13*a**2 + 15*a - 14. Let f be -2*3/2*70/(-15). Let q be s(f). Is 2/1065 bigger than q?
True
Let i be -1 - -56 - (-27 - 54/(-2)). Let a = 100 - 152. Let b = a + 106. Is b greater than i?
False
Let u(a) = 15*a + 23. Let w be u(5). Suppose -4*k + 94 = 2*h, 4*h - 6*h = 5*k - w. Let r be (-2 - 0)/2 - h. Which is smaller: r or -39?
r
Let g(d) = 7*d**2 + 162*d - 131. Let n be g(-24). Suppose -11*s + 204 + 16 = 0. Is s > n?
True
Let q be (4 + (3 - 0))*(-13)/(12 - 4133). Which is smaller: 1 or q?
q
Let w be (-32)/56 + (-6)/(-6) + 12/(-21). Let k = -7.2 + 1.7. Is w at most as big as k?
False
Let c = 82 + -26. Suppose c = 5*w - 184. Suppose -5*m = k - 3*k + 6, -4*k = 5*m + w. Is k >= -3?
False
Let u(d) = 38*d - 1292. Let z be u(34). Is z smaller than 20/563?
True
Let m = -2044.6 + 2044.4. Is 26/83 less than m?
False
Let u be 516/(-2193) - 269640/(-85). Which is greater: u or -4?
u
Let x = 56.93 + -60.8. Let l = -3.99 - 0.01. Let b = x - l. Which is greater: b or 2?
2
Suppose 7*d + 5*y - 592 = 6*d, -5*d - 2*y = -3029. Let p = d + -629. Is 2 smaller than p?
False
Let w = -165.4 + 17.4. Let r = 148 + w. Is r < 7?
True
Suppose -2*p + 13716 + 18342 = -20*p. Is p <= -1778?
True
Let k = 3254.9 - 3255. Is 5490 smaller than k?
False
Let z = 0.0228 + -0.1048. Let w = 0.123 + z. Which is smaller: w or 2?
w
Suppose -5*w - 2*z + 12 = z, -4*z = -5*w - 16. Suppose -4*v - 345 = s, -2*v + 5*v + 5*s + 246 = w. Is -262/3 > v?
False
Let x be (-2)/(2*4/16). Let q be (1980/27)/(x/(-6)). Is 1/4 greater than or equal to q?
False
Let j = 505 + -438. Suppose 3*v = -0*u + 3*u - 183, -u = 5*v - j. Is u <= 62?
True
Let c = -15974/14663 - 2/1333. Let a be (3/(-18))/((-2)/6). Which is greater: c or a?
a
Suppose -3*p - 9*j + 6088 = -4*j, 4*j + 6070 = 3*p. Is 2027 not equal to p?
True
Let z = 28167 - 479053/17. Which is greater: z or -12?
-12
Let c = -1448759/166 + 17455/2. Is c at least as big as 2/23?
False
Suppose 0 = 17*n + 7*n + 4*n - 184128. Is n bigger than 6576?
False
Let j be (294/57884)/((-1)/12). Let s = j + -4/499. Let g = -0.288 - 2.712. Which is smaller: g or s?
g
Suppose -3*k - 4*d = d + 242, 3*k - 4*d + 260 = 0. Let f be (-83)/1*(7 - (15 + -9)). Is k less than or equal to f?
True
Let l = 52681/344 + -1225/8. Let x = 275/3956 + l. Which is greater: x or -0.2?
x
Let d(q) = 2*q**3 - 19*q**2 + 32*q. Let u be d(8). Is 577/9 less than u?
False
Let y = -51.84 - -52.33. Which is smaller: 3/7 or y?
3/7
Let m be (-2)/15 - (47808/135)/(-16). Let p(f) = f**3 + 17*f**2 + 3*f - 10. Let a be p(-17). Let n = a + m. Is -40 bigger than n?
False
Let p = 65 - 112. Let t = -46.4107 - 0.4993. Let u = p - t. Is u at least as big as 1?
False
Let r = 353 - 236. Let s = r + -465/4. Suppose -4*l - 2*a = -9*l + 10, l - a = 2. Which is bigger: l or s?
l
Suppose 8*d = -2*d - 3394130. Let o be d/316 + 5 + 126/(-24). Let v = o + 3223/3. Which is smaller: v or 1?
v
Suppose c = 6, 790*b - 794*b = -5*c - 418. Which is bigger: 102 or b?
b
Let g = -565 + 17519/31. Let m = -10605 - -10606. Which is bigger: m or g?
m
Let z = 19009 + -19437. Which is bigger: z or 3/14?
3/14
Let l(d) = d - 16. Suppose -8*i - 63 - 41 = 0. Let w be l(i). Let q = w + 5. Is q greater than or equal to -23?
False
Let j(u) be the first derivative of 3*u**4/2 - u**3/3 + u**2 - 2*u + 7. Let p be j(1). Suppose -3*g = 5 - p. Is 1/4 bigger than g?
True
Suppose 2*s - 2*d = -14, -3*s = -2*d - 50 + 64. Which is bigger: s or -1/2561?
s
Suppose 3*l = -5*y + 59, 0 = 2*y + 3*y + 4*l - 62. Suppose y*q + 1166 = 256. Is -89 bigger than q?
True
Suppose 3*g + 4*n = 882, 5*g - 219 - 1222 = 3*n. Is g >= 4?
True
Let n = 148430/63 + -2356. Let j(a) = a**2 - 5*a + 4. Let h be j(4). Which is greater: h or n?
n
Let f = -137 - -132. Suppose -5*q = v - 20, -3*v + 19 = 3*q - 5. Suppose -5*x - 20 = q*y, 5*y + 24 + 0 = x. Is f less than or equal to x?
True
Let a = 42150399/55 + -766394. Let x = a - -252/11. Which is smaller: -26/7 or x?
-26/7
Let p(a) = -a**3 - 18*a**2 + 55*a + 995. Let f be p(-14). Which is smaller: -558 or f?
f
Suppose -s - 3*v = -18, v - 2 = -s + 6. Suppose -s*w + u = -0*u - 11, -w - 5*u = -25. Suppose 5*y = -n + 16, 26 = 5*n + 2*y - 4*y. Does n = w?
False
Let n = 4090 - 4038. Is n > 66?
False
Suppose -3*q - 15 = 0, -q + 2*q = -2*t + 423. Is 1 equal to t?
False
Suppose -124917 + 24097 = 142*r. Which is greater: -2839/4 or r?
-2839/4
Let k be (47/47)/((-2)/(-6)). Suppose 3*f = -4*z + 105, k*f = 4*f - 3. Which is smaller: 68/3 or z?
68/3
Let m(k) = 0*k - 103 - 29 + 6*k + 43*k. Let p be m(3). Which is greater: 1 or p?
p
Suppose -3*l + r = -633, 4*