 - k. Let g be v(-1). Which is smaller: g or n?
n
Let s(k) = -16*k - 70. Let v(h) = 11*h + 47. Let o(a) = 5*s(a) + 7*v(a). Let q be o(-7). Let r be (24/115)/((-10)/25). Which is smaller: q or r?
r
Let d(r) = -3*r**3 + 2*r**2 - 3*r - 11. Let j be d(-4). Suppose -j = -30*z + 35*z. Let v = z - -45. Is v equal to -1/56?
False
Suppose -1615 = 8*o - 583. Is -900/7 >= o?
True
Let a be (-312)/(-54) + (-10)/(-45) - 6. Is 20/199 less than a?
False
Suppose 6*x - 437 = 523. Let m = x + -161. Let j be 2 + (-7)/(896/260). Is j at most m?
False
Let n = -234.62 + 3.62. Let a = n - -230.95. Which is greater: -6 or a?
a
Suppose -33*b - 5*h = -28*b - 45, 0 = 2*h + 8. Which is smaller: 33 or b?
b
Let b = -16 - -16. Suppose b = 5*t - 222 - 183. Let i be -3 + -1*t/(-33). Which is smaller: -2 or i?
-2
Let r be (11/6*-3)/(2/(-4)). Let f = r + -7. Let d be (1 + (3 - f))/(-2). Is -2/17 at most as big as d?
True
Let o = -110.386 + 57.467. Let x = 0.081 - o. Let g = 50 - x. Is g > 2/3?
False
Let k = -4264 + 4264.1. Is k <= 1831/2?
True
Suppose 51 = -9*y + 15. Let g be 93 + 16 + y/1. Do g and 104 have different values?
True
Let w = 18541.38 - 18540. Is w > 18?
False
Let f(n) = -144*n - 4700. Let s be f(-16). Which is smaller: s or -2397?
-2397
Let m(l) = 2*l - 13 + 0*l + l - 8. Let v be m(6). Let h be (-55)/112 + v/(-7). Which is greater: h or -1?
h
Let y(f) = f + 15. Let n be y(-15). Suppose n = -3*w + 746 - 758. Is w less than -1.7?
True
Let j be (3 + -7 - -1 - -3)/(-1). Suppose -4*p + 2*b + 50 - 152 = 0, j = -3*p - 2*b - 87. Let k = 20 + p. Which is bigger: k or -12?
k
Let k be (-12 - -6) + ((-48564)/(-252) - (-4)/14). Is 2058/11 < k?
False
Let v = -9.573 - -8.983. Which is greater: 6 or v?
6
Suppose 0 = -3*d - 26 - 19. Let g(l) = -2*l**3 - 44*l**2 + 95*l - 37. Let m be g(-24). Which is smaller: m or d?
d
Let l(z) = -4*z**2 - 5*z - 10. Let h be l(7). Let g = h - -241. Which is smaller: 1/181 or g?
g
Let b = 3469 - 1890. Which is smaller: b or 1580?
b
Suppose -7*r + 74 = 7*r + 4. Let g = -1 - 3. Is g != r?
True
Let y be -476 - (2/(-4) + (-8)/4)*2. Which is bigger: -4 or y?
-4
Suppose 1 = -4*u - z, -4*z = 4*u - 6*u + 4. Suppose 0 = 3*r - 3*g - 18, u = r - 16*g + 17*g + 4. Is 2 != r?
True
Let n(o) = -o**2 + 17*o - 7. Let j be n(12). Let d = 149 - j. Let r = 61 - d. Is -35 greater than or equal to r?
True
Let s(d) = -28*d + 3*d + 6*d - 3 + d**2 + 9*d + 13*d. Let k be s(-4). Do -1/234 and k have the same value?
False
Let w(d) = -9*d**3 + 45*d**2 + 40*d - 12. Let c be w(6). Is -35 < c?
False
Let d = -62.32 + 4.32. Which is greater: d or -0.031?
-0.031
Let s(b) = -4*b**3 - 2*b**2 - 113*b - 51. Let f be s(-10). Which is bigger: f or 4880?
4880
Let k = -2 + -1. Let f be k/2 - (-30)/12. Let g be (17/(-102))/(f/(-2)). Which is greater: -1/9 or g?
g
Let j = 36 - 10. Suppose 3*p - i = 1, 3*i - 17 = -0*p - p. Suppose k = 3*t - 86, 3*t - p*k + 1 - 92 = 0. Does t = j?
False
Let q = -28 + 26. Let m be (q + -3)/5*(-5 - -1). Suppose -5*y = -15, 0*f - 3*y = -m*f - 13. Is f >= 1/11?
False
Let u = 10527.05837 + -10527. Which is smaller: u or 0?
0
Suppose 4*z + 930 - 289 = -3*b, -z + 5*b - 166 = 0. Let n = z - -69. Let u = -2.6 - -2.5. Is u at least n?
True
Let o = 1543/3 - 3551/3. Is o at least as big as -668?
False
Let p be 7346 + (9/4)/(63/84). Is p smaller than 7348?
False
Let y(h) = -798*h - 918. Let s be y(2). Which is smaller: s or -10055/4?
s
Suppose -5*v + 8606 = 18*p - 21*p, -2*p - 3*v = 5750. Is p greater than -2871?
False
Let z(r) = -1720*r + 11318. Let o be z(8). Are o and -2444 unequal?
True
Let c(a) = -a**3 - 6*a**2 - 35*a - 161. Let x be c(-9). Is 395 at most x?
True
Suppose -4*z - 10 = -o + 4, -7 = -2*o + z. Let v(n) = n**3 + n**2 + 121. Let d be v(0). Let l = d - 117. Is l at most o?
False
Let k = 73.89 + -0.89. Let c = 138 - k. Let m = -64.8 + c. Is -11 less than or equal to m?
True
Let x = 2859 - 2858. Which is smaller: x or 22?
x
Let h(q) = -6*q - 13. Let b(d) = 3*d + 7. Let m(n) = -11*b(n) - 6*h(n). Let v be m(1). Let o be 13/((-52)/8) - (-6)/v. Which is smaller: o or -2?
-2
Let o be (-2 + 16 - 14)/(-4). Do -2/58605 and o have the same value?
False
Let y(u) = -u + 22. Let h be y(0). Let i = -17 + h. Suppose i*d + 32 - 37 = 0. Which is smaller: d or 3/8?
3/8
Let p(x) = 11*x - 132. Let n be p(15). Let b be (n/(-2))/((-8)/(-32)). Is -66 equal to b?
True
Let l = 661.85 - 662. Do -2.4 and l have the same value?
False
Let n = 270 - 51. Let p = n + -212. Is 8 < p?
False
Let f = -380632/5 - -75725. Let w = -398 - f. Which is smaller: w or 3?
3
Let l be (-4 - ((-1904)/49 + 6)) + 1/7. Let m = -1137 - -5834/5. Is l greater than m?
False
Suppose 0 = -20*d + 33 + 27. Let l = 7411/4540 - -4/227. Do d and l have different values?
True
Let d = -6927/5 + 1385. Let z = 0 + 0. Let u(l) = l**3 - l**2 - l - 1. Let n be u(z). Which is smaller: d or n?
n
Suppose 20*d - 17 = 23*d + 4*q, -13 = 2*d + 3*q. Which is greater: d or -53/236?
d
Suppose 0 = 3*c + 364 - 412. Let s be (c/(-48))/(1/(-2)). Which is smaller: 2 or s?
s
Let q(x) = -16*x - 11. Let b = -295 - -286. Let y be q(b). Does 135 = y?
False
Let j be 2/(-7) - (-368)/1092. Let p be (27/(-3) + 6)/(6/56). Let h = 29 + p. Is h greater than j?
True
Let g = 2951 - 1480. Is g less than or equal to 1471?
True
Let d = -0.0217 + 0.0943. Let o = 0.3274 + d. Which is greater: o or -4?
o
Let t be 655/262*7/(105/(-144)). Let z = -1.3 + 7.3. Which is smaller: t or z?
t
Let z be (-40)/42 + (-4)/(-6). Let m = 244 - 181. Let o be (-20)/(-100) - (0 + m/15). Is z < o?
False
Let z = -4839 + 4917. Which is smaller: 96 or z?
z
Let s = 24664 + -24670. Is -6/161 smaller than s?
False
Let j = -72866 + 58657122/805. Does j = -1?
False
Suppose -2*y - 1130 = -364. Let x = -20297/53 - y. Let g = x - 61/212. Is g smaller than -24/7?
False
Let j = -2 + 2.1. Let h = 1514.6 - 1945.6. Which is bigger: j or h?
j
Suppose -8 = 2*c - 4*q, -4*c + 7*q = 8*q - 20. Suppose 3*f = -3*t, -3 + 5 = -t - 2*f. Suppose -2*w + 2 = t*v, -3*w = 5*v - c*v + 3. Which is smaller: w or -0.2?
w
Let r = -2.2 - 16.8. Let y = -31 - -11.99. Let s = y - r. Which is bigger: s or 0.2?
0.2
Let c be 12 + -3 + 15932/(-294). Let y = -133/3 - c. Let l = 2 - 3. Which is smaller: y or l?
l
Let x be (-12)/(-9)*3/2. Suppose -5*c = -5*p + 15, -x*c + 6 = 2*p - 8. Let l be ((-6)/3)/c + 1*3. Which is bigger: l or -2?
l
Let t = 30563 - 31082. Which is greater: 0.6 or t?
0.6
Let m = 9/400 + 191/400. Is -1674 != m?
True
Let z = -446 + 632. Let i = z + -189. Do -20/7 and i have the same value?
False
Let s(y) be the first derivative of y**4/4 + 9*y**3 + 37*y**2/2 - 14*y + 25. Let c be s(-26). Let w be ((-6)/(-10))/(10/(c/14)). Which is bigger: -2 or w?
w
Let g(o) be the second derivative of -o**5/5 + 5*o**4/6 - 3*o**3/2 + 4*o**2 - 36*o. Let f be g(6). Let t be (-2)/7 + f/35. Is -2/7 bigger than t?
True
Let g(q) be the third derivative of 23*q**4/3 - 17*q**3/6 + q**2 + 2*q. Let h be g(-1). Is h less than -202?
False
Let p = 16954 + -16951.8. Let y = -3 + 4. Let o = y - -1. Which is greater: o or p?
p
Let q be ((-5455)/15 - 8/6)*-12. Is -0.3 greater than or equal to q?
False
Let s = 41854688/101245 - 1/20249. Which is greater: 412 or s?
s
Suppose 0 = -248*i + 249*i + 63. Let n be (-4)/66*3 + 6021/(-99). Which is greater: n or i?
n
Let p be 5 - (10/(-3))/((30/(-1527))/5). Which is smaller: -843 or p?
p
Let x = 21650/13 - 349099/195. Is -124 at least as big as x?
True
Let i(u) = -u**3 - 11*u**2 - 9*u + 7. Let a be i(-10). Let l = -15 + 52. Let x = 36 - l. Which is smaller: a or x?
a
Let h be -5 + (9/15 - (-15211)/(-35)). Is h at least as big as -440?
True
Let n = 52903/10 + -5284. Let l = n - 11/2. Let b = 226/3 + -76. Which is greater: b or l?
l
Suppose -152*l = -5*k - 150*l - 4, 4*k - 4*l + 8 = 0. Is k greater than -37/48?
True
Suppose 135*b + 579 - 748 - 2396 = 0. Which is smaller: b or 45?
b
Suppose -v + 12 = 11, -4*n - v = 559. Is n equal to -137?
False
Suppose -132*k + 127*k + 227 = -3*j, 3*j + 184 = 4*k. Let l(c) = -c**3 + 2*c**2 - 2*c - 3. Let n be l(4). Let y = k + n. Which is smaller: 1/16 or y?
y
Suppose 0 = -3*c + 3, 2*f + 3*c = 2*c - 1. Let o be (-6 + -1)*(-720)/(-84). Let n be (2/((-84)/3))/(o/30). Is f smaller than n?
True
Suppose 1 - 1 = 174*h - 0. Which is greater: h or -2/30809?
h
Let k = 3019 + -715