 -1/84 less than or equal to c?
True
Let t be ((-28)/(-8))/7 + (-7)/(-14). Is 5/182 smaller than t?
True
Let y = -4627.2 + 4627. Which is smaller: y or -22.6?
-22.6
Let d = 834 + -838. Let p be 2/d + ((-1288)/(-16) - 4). Which is smaller: 78 or p?
p
Suppose -3*z = -25*u + 22*u - 936, 0 = -z + 4*u + 318. Which is greater: z or 309?
z
Let v = 193994793/19922 + -68164/7. Which is bigger: 0 or v?
v
Let w = -73 + 76. Suppose 3*q - t - t = 17, w*q + 2*t = 13. Suppose -h = -q*g - 30, -5*h + 4*g + 27 = -4*h. Is 16 smaller than h?
False
Let i = -60135 + 138731443/2307. Let d = -348365/9228 - i. Which is greater: d or -38?
d
Let z(y) = -y**2 + 16*y - 68. Let k be z(10). Let v be 1/((k/(-92))/(-2)). Is v at most 3/2?
True
Suppose m = 4*d - 46048, 3*m + m = -23*d + 264737. Are 34535/3 and d unequal?
True
Suppose 33 = -2*k - a, 3*k + 4 + 29 = 4*a. Let v be k*44/(-12) - 0. Is 54 greater than v?
False
Let j = 55 - 39. Suppose -2*t - j = -20. Suppose 3*f = -f + t*w + 42, 4*f - w = 45. Is 12 less than or equal to f?
True
Let u be -3*(-6)/(-108)*6. Let g be ((-12)/9)/(13328/(-24)). Do g and u have different values?
True
Suppose 0 = 3*q - 28 - 11. Let i = -9 + q. Suppose i*o = -o. Which is greater: o or -6/11?
o
Let k = 1.8541 + 0.1459. Do k and -559 have the same value?
False
Suppose x - 7152 = -3*x - 9136. Is -497 smaller than x?
True
Let r be -5 + (-1 - 118/(-10))*(-244 - -274). Which is bigger: 323 or r?
323
Let k(v) be the second derivative of 10*v**3/3 - 17*v**2/2 + 17*v. Let t be k(-4). Let a = 97 + t. Which is greater: a or 5/8?
5/8
Suppose -3*i = -7*d + 4*d + 12, 0 = 3*i - 3. Suppose 6*h + 95 = -5*q + h, -q = -d*h + 43. Let m be (-8)/3 - 4/(-6). Is m smaller than q?
False
Let q = -523 + 529. Suppose q*o - 23 = -23. Is 4/75 greater than o?
True
Let g be 0 + (-10 - (0 + -1)). Let y be (0 + (-392)/(-6))*g/6. Is -99 smaller than y?
True
Let q = 9 + -10. Let i(c) = -c**3 + 81*c + 15. Let f be i(9). Let g be (q + 17/f)/((-45)/50). Is -1 greater than or equal to g?
False
Let x(d) = d**2 - 7*d + 15. Let u be x(3). Suppose -u*q = -3*g - 18, -24*q + 19 = -20*q - 3*g. Let h = 1380 + -56583/41. Is h smaller than q?
True
Let d = -6001 - -6002. Let t be (-159)/5 - (-3)/(-15). Let u be 10/(-22)*t/40. Which is smaller: u or d?
u
Let g(v) = -13*v - 384. Let a be g(-37). Is 94 != a?
True
Let l = -26819 + 26764. Which is greater: -12 or l?
-12
Let l = 9.01 + 185.59. Let u = -1.6 + l. Which is smaller: u or 0.1?
0.1
Let i be ((-3)/86)/((-6)/(-8)). Let a = -497 - -512. Suppose 0 = -21*g + a*g. Which is bigger: g or i?
g
Let n be (-1952)/(-208)*(-74)/1740. Let z = 1/1131 - n. Let s(p) = p**3 + 5*p**2 - 7*p - 5. Let j be s(-6). Is j >= z?
True
Let n = -202.9376 - 0.0624. Let o = -205.9 - n. Are -2/21 and o unequal?
True
Let j be (-2 - 4) + (-8)/((-8)/31). Suppose 2*c = 5*w + 52, -c + 16*w = 13*w - j. Which is smaller: 8 or c?
8
Suppose 144*i - 9 = 141*i. Suppose -4*w = 2*b - 2*w - 96, -2*b - i*w + 93 = 0. Is b at least as big as 1?
True
Let i be 2/(-6)*33/1925. Is 0 equal to i?
False
Let c(j) = j**2 + 15606*j - 78039. Let k be c(5). Suppose 47 = 3*t + 8. Which is smaller: k or t?
t
Let d be ((-4)/(-10))/((-1)/(-10)). Suppose 0 = -d*o + 11 + 1. Let m = -7 - -10. Does m = o?
True
Let b = 3 - 9. Let y be (b - (-30 + -4))*2. Is 56 smaller than y?
False
Let x = 0.418 - 0.245. Let j = 2036 + -2036.027. Let c = x - j. Which is greater: c or -17?
c
Let r(z) be the first derivative of z**3/3 - 17*z**2/2 + 27*z - 1. Suppose 378 - 538 = -10*i. Let j be r(i). Are 11 and j nonequal?
False
Suppose -2966902 = 210*c - 23542. Which is smaller: c or -14017?
-14017
Let i = 16990908 - 33013333508/1943. Let o = 30/67 - i. Which is greater: o or -3?
o
Let n be 6/(-75) - 2554/(-33175). Is 0 at most as big as n?
False
Let a(w) = -429*w**2 - 19*w - 60. Let x be a(-3). Which is bigger: -3863 or x?
-3863
Suppose 107*a - 237 = -143*a + 13*a. Is a greater than or equal to 127/173?
True
Let b be (-5061)/1446 - (-8222)/20. Are 407 and b unequal?
True
Let q(v) = 126*v + 633. Let p be q(-5). Let g = -2/85 - -433/340. Which is smaller: g or p?
g
Let v(n) = 184*n + 18767. Let y be v(-102). Which is greater: y or 69/151?
69/151
Let j be (-62)/(-217) - 2595164/2982. Let h = -870 - j. Which is bigger: h or 1?
1
Let a = -135 + 422. Let o = a - 615. Is 0.1 smaller than o?
False
Let a be ((872/12)/(5/36))/(-1). Let l = a - -520. Is l greater than 2?
False
Let x = 0.7 - 2.5. Let t = 164 + -175.1. Let j = 11 + t. Is j at least x?
True
Suppose -46 = -5*u + 4. Let i = -3805 - -3806. Let z = i - u. Is z at most as big as -9?
True
Let v be -3 - -10*(5699/(-3) + 30/(-90)). Which is bigger: -19002 or v?
-19002
Let b = 282 - 1436/5. Suppose -3*j + 5*j + 0*j = -5 - 7. Are b and j unequal?
True
Let a(v) = v + 6. Suppose 10*w + 9 + 21 = 0. Let r be a(w). Suppose -r*i - 26 = 97. Which is smaller: -40 or i?
i
Let k = -23 + 16. Let b = 73 - 73. Suppose -m + 2*y + 6 = b, 4 = 3*y + 13. Which is smaller: m or k?
k
Suppose 16405 = 18*t + 2707. Let s = t - 760. Is -4/39 at most s?
True
Let b = -1307 - -1273. Let o = -49 - -14. Let x = b - o. Is x at most as big as 11?
True
Let o(l) = 2*l**3 + l**2 + l + 1. Let i be o(-1). Let y = 9111/25 + -1393978/3825. Is i <= y?
True
Let q = -171 + 166.7. Let a = -82 + 70. Let v be -3 + 5*a/(-20). Which is greater: v or q?
v
Suppose -2*r - 14 = 8. Suppose 9*t - 2276 + 1817 = 0. Let v = r + t. Which is bigger: v or 41?
41
Let y(f) = 1 - 22*f**2 - 3*f**3 + 2*f**3 + 23*f**2. Let h be y(0). Let i be (-4)/6*3/h. Which is smaller: i or -4?
-4
Suppose 17*m - 10386 + 4025 = 9041. Which is bigger: m or 908?
908
Let o = -2.49 - 0.81. Let u = o + 1.3. Let n = u - 0. Which is greater: 11 or n?
11
Let x be (2/11 - (-10112)/(-1408)) + 5. Is -53/32 <= x?
False
Suppose -10*q = 6*q - 80. Suppose -j = -k - 58, k + 88 = -k - q*j. Let i be ((-6)/(-9))/1 - 477/k. Which is greater: i or 1?
i
Suppose -4*b - 5*y - 12 = -2*y, -3*b + 5*y = 38. Let z be (-5)/(-4 - 25/b). Let x = z - -29. Which is bigger: x or -1/69?
-1/69
Let x = -324 + 324. Suppose 0 = 3*g + 90 - 297. Suppose 3*r + 9 = x, -r = -3*v - 2*r - g. Is -23 at most as big as v?
True
Let i be 6 + (-413264)/41326 + 4. Is i > 1?
False
Let t = -58.56 + 58.73. Which is greater: t or 91?
91
Let f be 27/(-18)*(386/6 - 3)*-3. Which is smaller: f or 293?
f
Suppose -76*z - 143 + 450 = -1137. Which is greater: z or 468/23?
468/23
Let f = 345.88 + -343.88. Is 4.965 bigger than f?
True
Let f = -0.79 - -83.79. Suppose -4*k + 11*k = 42. Suppose -3 = 9*s - k*s. Which is bigger: s or f?
f
Let h = -1428/37 + 12778/333. Let g = -0.5 + 0.3. Let k = -1.9 + g. Is k < h?
True
Let r = 0.46 - -0.54. Let d = -145 - -775. Let x be 9*354/d + (-2)/10. Is x less than r?
False
Let c(r) = 5*r**2 - 4*r - 66. Let y(s) = 7*s**2 - 3*s - 63. Let m(w) = 3*c(w) - 2*y(w). Let q be m(12). Is q > 7/6?
False
Let w = 3041 - 2026. Let u = w + -566371/558. Let n = u - -2255/12834. Is n at least -1?
True
Suppose 0 = 2*w, -5*d + 0*w + 5*w = -210. Let a be d/6 + -3 + -5. Which is greater: 19.2 or a?
19.2
Let p = -3127 + 3127. Which is greater: p or -8.3?
p
Suppose -13*n - 41 + 67 = 0. Suppose 0 = -m + 5*w - 131, 234 = 5*m + n*w + 943. Which is bigger: m or -140?
-140
Suppose -2*p = -2*t + 386, 2*t - 417 = -5*p - 3. Let f be t/(-835) + (96/30 - 3). Is f smaller than 0?
True
Suppose -146*s + 141*s + 8 = 3*b, 5 = 5*b. Which is bigger: -1/2351 or s?
s
Let o = 91 - -246. Let g = 337 - o. Which is greater: g or -5/152?
g
Suppose -2*y - 4*h + 1474 = -180, 0 = -2*h + 8. Let d be 4/(-14) - (-780)/y. Which is smaller: 21 or d?
d
Let a be (-8)/4*(1 - 0). Suppose x = -4*j - 102, 25 = -x + 4*j - 109. Let l be (-2)/(-11) + x/44. Which is smaller: a or l?
l
Let l(s) = s**3 + 5*s**2 + 2*s - 4. Suppose -3*m + 2*i = 5 - 1, 4*i + 36 = -5*m. Let b be l(m). Let q be (-1)/(-3 - 26/b). Is q bigger than 0?
True
Let t(s) = 26*s - 14. Let k be t(-2). Let z be (-2 - 27/(-33)) + (-12)/k. Is z >= -2/217?
False
Let g = 12290 + -3158526/257. Which is bigger: g or 2?
2
Let m = -2669/11 - -243. Let k(j) = -4*j + 77. Let d be k(17). Suppose -o + d = -2*o + 3*q, 5*o + 2*q - 6 = 0. Which is smaller: o or m?
o
Let z = 97 + -57. Let p = 1.095173 + -0.095173. Is p at most as big as z?
True
Suppose 33*s - 108*s - 7531 + 61006 = 0. Which is smaller: