Let j be p(1). Let l = 56 - j. Let g be 4/(2 - -6)*l. Which is smaller: 6/17 or g?
g
Let m = 35/136873 + 2/541. Which is smaller: m or 0?
0
Let d be (1 + 21/(-9))/(1/(-6)). Suppose -3*o + 171 = -3*z, 5*z = -o + 16 - 313. Let r = 71 + z. Is d less than or equal to r?
True
Suppose 0 = 14*t - 17*t - 2*c - 458, 7*c = 4*t + 601. Which is smaller: -172 or t?
-172
Suppose -120857 = 59*m + 29357. Which is smaller: m or -0.1?
m
Let g = -5.892 + -0.518. Let c = g - -1.77. Let m = -0.64 - c. Is 2/5 smaller than m?
True
Let s be (-3)/11*6/(-63). Let f = 30396 + -30396. Which is bigger: f or s?
s
Let d(b) = b**2 + 3*b + 20. Let u be 5*11/(165/18). Let i be d(u). Does 0.2 = i?
False
Let k(l) = l - 5. Let n be k(5). Suppose 5*o - a + 5 = o, 2*o + 5*a - 3 = n. Let y = 1611443/4 + -402861. Which is smaller: o or y?
o
Let s(z) be the first derivative of z**3/3 + z**2 - 140. Let n be s(-1). Is n <= 4/231?
True
Let q(p) = 52*p - 141. Let b be q(2). Suppose -5*y + 8 = 193. Is y greater than b?
False
Suppose 2*v - 3*z - 26 + 12 = 0, 3*v = -2*z - 5. Does 13/251 = v?
False
Let c be (-3)/102*(-1 - -25). Suppose 0 = -8*j - 13 + 5. Are c and j unequal?
True
Suppose 14*i + 4620 = -7*i. Let g = i + 205. Which is smaller: -14 or g?
g
Let j(y) = 1109*y - 76424. Let w be j(69). Let d = -21373/3 - -7220. Which is smaller: w or d?
d
Let w be 2/(-3) + 72/27. Suppose -544 = -5*g - 2*u, w*u - 116 = -g - 4. Let f be (g/162)/(10/6 + -1). Is f at most as big as -6?
False
Let z = 82 + -27. Let t = -48.2 + z. Let m = -5.2 + t. Is m <= -2/7?
False
Let p(d) = -d + 12. Let w be p(0). Let k be -17*3/w*-4. Suppose 945 = 2*z + 913. Do k and z have different values?
True
Suppose 0 = -16*t - 65*t + 168723. Which is smaller: 2084 or t?
t
Let y be 6 + 0*(3 - 2). Let d = 10872 + -10842. Suppose -3*m + d = -y. Is m greater than 12?
False
Let t = -181841/3774 - -289/6. Does t = -1?
False
Let v be (2/3)/(1319766/(-146643) - -9). Is 4654 at most as big as v?
True
Suppose -4*r - 34 = 22. Let w be (-25)/(-25) + r/10. Is w at most as big as -1.59?
False
Let w(u) = 5*u**2 - 15*u + 16. Let q be w(6). Suppose -q - 2372 = -21*p. Which is smaller: 1 or p?
1
Suppose g - 2*z + 26 + 28 = 0, 5*g + z + 215 = 0. Is -41 at most g?
False
Let a = -768 - -782. Let f be (-30)/150 - 446/(-30). Is a > f?
False
Suppose -3*d - 60 = -5*f + d, -5*d - 49 = -3*f. Let y be f/(-68) + (-253)/(-561). Is y bigger than -76?
True
Suppose -10*q - 482 = 2748. Let l be 159*(q/(-57) - (0 - -6)). Which is greater: l or -57?
l
Let g(z) = 4*z**2 - 5*z - 10. Let v be g(3). Suppose -v*o - 4272 - 920 = 0. Are -473 and o nonequal?
True
Let k = 1 + 0. Let m = 63576.892 + -63577. Is k greater than or equal to m?
True
Let b = 0.098 + 424.902. Let a = b + -425. Is a > 42?
False
Let r = 1.1 + -0.1. Let j be (-6)/4*48/72. Let c be j + 519/285 + (-26)/65. Is r at least c?
True
Let p = -920709/19514 - -3/19514. Is -46 bigger than p?
True
Let w be 5877/3033 - -8*5/(-20). Is 1 smaller than w?
False
Let w = -9409 - -9408. Is w less than or equal to 404?
True
Let d = 117 - 198. Let s = d - -80.914. Let l = -67164.1 - -67164.2. Which is smaller: s or l?
s
Let c = -34.47 + 34.5. Let i = c - 0.13. Is i < -29?
False
Suppose -2*h - 18*z - 18 = -14*z, -19 = -4*h + 3*z. Is 2/18385 at least h?
False
Let y be -245*((-2)/(-9) + (-38)/90). Which is bigger: 21 or y?
y
Let c(h) = -h**2 + 11*h + 61. Let n be c(-4). Suppose 5*w + 3*o - 25 = -n, 3*w - 12 = -o. Suppose 5*p = -11 + 1. Which is smaller: w or p?
p
Suppose 0 = 5*z + 3*k - 2, -6*z + 5*z + 2*k + 3 = 0. Is z less than 61?
True
Let b(m) = 4858*m + 1677. Let r be b(-3). Which is smaller: -12898 or r?
-12898
Suppose -4*d - 3*i - 10 = -75, -d + 13 = 4*i. Do d and 424/23 have different values?
True
Suppose -4*z - 14 = -2*j, z = 3*j - 7*j + 1. Which is smaller: j or -62/177?
-62/177
Let d = -532 - -327. Suppose 11*x + 29*x = -26*x + 66. Which is smaller: x or d?
d
Let d be (-2 + 27)/((-16)/10). Let j = 30883/1976 + d. Which is smaller: j or 1?
j
Let i be (69/(966/28))/(-691 - 1). Let z = 22 - 87/4. Which is greater: i or z?
z
Suppose n + 2*z - 395 = 0, -712 - 868 = -4*n + 5*z. Let g(k) = 157*k**2 - 1047*k + 32. Let t be g(7). Which is bigger: t or n?
t
Suppose 9 - 29 = -4*x, -16 = 2*b - 4*x. Suppose -4*k = -5*d + 5, -b*d + 1 = -1. Which is bigger: -4/3 or k?
k
Suppose -2*x - 4*h = -10, 0*x - 4*h + 25 = -x. Let w be 4/(1*6/(-3)). Let k = w + -3. Is x <= k?
True
Let j = 15/36511 - 983591/83500657. Is 0 at most as big as j?
False
Suppose -138*r + 142*r + 442 = -2*j, -14*j = r + 70. Which is smaller: r or -120?
-120
Let s = 539 + -646. Let p = -103.9 - -0.9. Let i = s - p. Is i > -0.04?
False
Suppose -17*w - 99 = 717. Is -36 < w?
False
Suppose 10*z + 1720 = 2*z. Let j = -311 - z. Which is smaller: j or -95?
j
Let u = 1195 + -2098. Let a = 903 + u. Is 1/674 < a?
False
Let t(u) = -2*u**3 + 7*u**2 - 20*u + 357. Let m be t(11). Is -1678 at most as big as m?
True
Let a = 61 - 1062. Let u = -999 - a. Let w = -476 - -4289/9. Is w bigger than u?
False
Suppose -7*y + 665 = -2*y + 2*f, y = 4*f + 155. Let x = y - 136. Let z = 41689/72 - 579. Is x less than z?
True
Let t be (-6)/(-44)*48/(-4). Suppose 177 = 5*h - 233. Let a = -248/3 + h. Which is smaller: a or t?
t
Let m = 24 - 65/3. Let g = -2.406 - -0.371. Let n = -0.035 - g. Which is smaller: n or m?
n
Suppose 2*l - 2*b = 3658 + 6070, -9728 = -2*l - 3*b. Is 4866 greater than or equal to l?
True
Let q = -13209.969 + 13202. Let u = q + -0.031. Which is greater: u or -2/19?
-2/19
Let g be 31/(-3565)*-23 + (1 - (-2264)/(-1770)). Which is smaller: g or 0?
g
Let u = 14906 + -11012. Are 3894 and u nonequal?
False
Let a = 1948 - 1939. Is a at most as big as -0.01?
False
Let r = 2.1973 - 0.1073. Let b = 5/31 - -11/124. Is r < b?
False
Let a be 300/(-1680) - 6/(-14). Is 2617 > a?
True
Let d be 1320/(-664554)*1/4. Is 0 > d?
True
Let s = 363.3 + -385. Let x = s - -21.6. Which is smaller: x or -60?
-60
Let n = -24214 - -269913459/11147. Are n and -1 equal?
False
Let n = 46062 - 46121. Suppose -w = -5*f - 286, 0*f - 3*w = f + 54. Which is bigger: f or n?
f
Let y = 2/3819 + 11321/259692. Let x be (-4)/16*-2*2. Is x bigger than y?
True
Suppose -4*h - 32853 = -3*p, h + h = 5*p - 54741. Are 10948 and p nonequal?
True
Suppose -d = -2*j + 29 - 28, 3*d = j - 3. Let t = 149/43 - 154407/44548. Which is smaller: d or t?
d
Let a = -13 - -8. Let w(p) = p**2 - 11*p + 1. Let n be w(a). Suppose 11*l = n + 7. Which is smaller: l or 6?
6
Let d = -151.28 + -26.82. Let c = -178 - d. Which is smaller: c or -40?
-40
Let d = 1802.19 - 1794. Let w = 59.19 - d. Is 2/11 at least w?
False
Let i(q) = -6*q**2 + 78*q + 73. Let r be i(13). Is r bigger than 75?
False
Let o = 4027/25 + -161. Let q be (3 - 0)*(0 - 7/(-21)). Let f be (3 - 1)/(q/(6/12)). Which is bigger: f or o?
f
Let z = -588.9 + 589. Which is greater: -29/5 or z?
z
Let q = 45.1 + -45. Let t = -144 - -132.9. Let b = 13.2 + t. Which is greater: q or b?
b
Let a = -78.86 + -0.64. Let k = a + 9.5. Let r = k - -70. Which is bigger: r or 3/2?
3/2
Let n = -26.98 + 26.28. Let o = 36 + -35.42. Let c = o + n. Which is bigger: c or 1/2?
1/2
Suppose -12*j + 729 = 3*j + 69. Which is bigger: j or 38?
j
Let i = 45.89 - 29.99. Let v = -4 + -12. Let o = v + i. Is o > 3?
False
Suppose -89*z + 5*w + 122 = -93*z, 0 = 2*w - 4. Let n = -9 + 38. Suppose 2*v + n = -c, -3*v = -5 - 4. Which is bigger: c or z?
z
Let x = 4889 + -4902. Suppose 5*a = -7*n + 3*n + 29, -4*a + 24 = 3*n. Is a less than or equal to x?
False
Let a(n) = -4*n**2 + 7*n - 10. Let o(d) = d**2. Let c(b) = -a(b) - 3*o(b). Let k be c(5). Let z be 17/(-51)*k/1. Is -0.13 >= z?
False
Suppose 69*v + 456 + 763 = -782. Let z(o) = -2*o - 3. Let l be z(-4). Suppose -y + l*m + 46 = -3*y, 0 = -y + 3*m - 34. Is v greater than y?
False
Let z(g) be the second derivative of -5*g**3 + g**2/2 + 17*g. Let i be z(1). Let t = i + 14. Which is bigger: -14 or t?
-14
Let f = -328/483 - -3620482/5332803. Which is smaller: f or 1?
f
Let k = 2035 - 2027. Which is greater: k or 141/20?
k
Let u = 392 + -741. Let h = 329 + u. Is -115/6 at least h?
True
Suppose -5*h + 5*a + 2900 = 0, 5*h - 2*a - 1339 = 1564. Is h greater than or equal to 581?
True
Let k = -3.88 - -3.9. Let g = k - -0.08. Let y = -2192 - -15318/7. Is g less than y?
False
Let c =