?
i
Let q = 3/884 + 2455719/9724. Let l = -7569/22 + q. Which is greater: l or -91?
-91
Let j = 8299/3 + -5137096/1857. Which is bigger: j or 1?
1
Let s = -2367.09 + 2368.4. Which is smaller: s or 0.3?
0.3
Let x be ((-2)/(-3))/((-8)/6) - 29724/(-59304). Which is greater: 1 or x?
1
Let h be (1/(-5) - (-69)/195) + (-60)/(-455). Which is greater: 2.017 or h?
2.017
Suppose 0 = d + 3*t - 58 + 70, t = d - 8. Which is smaller: -3.52 or d?
-3.52
Suppose -a + h = -4*a + 17, -4*a - 3*h = -21. Suppose -a*p = -91 + 7. Is 12 at most as big as p?
True
Let h(i) be the second derivative of -13*i**3/6 - 319*i**2/2 - 29*i + 1. Let n be h(-22). Which is bigger: -100/3 or n?
n
Let m(s) be the second derivative of 2*s**3/3 + 63*s**2/2 - 4*s - 15. Let t be m(-3). Which is bigger: t or 52?
52
Suppose -88*l + 77*l + 264 = 0. Are l and -0.13 nonequal?
True
Let y = -541 + 478. Let z = -91 - y. Which is greater: -2 or z?
-2
Let s be (-880938)/5123 + (-4)/94. Is s > -166?
False
Let x = 10172 + -10171. Is -1/48 != x?
True
Suppose 5*f + f = 2*f - 11*f. Which is smaller: f or 3/9550?
f
Let c = -5029/3 + 1677. Which is bigger: c or -481?
c
Let i be (8/10)/((-46)/3335). Let s = -174 - -80. Let h = s - i. Which is bigger: -35 or h?
-35
Suppose 244 = u - 3*p, 3*u - 6*p - 732 = -11*p. Is 238 at least u?
False
Suppose -4*v = -0*v - z - 289, 284 = 4*v + 4*z. Let w be v/(-255) - 2/(-5). Let t be (-12 - -17) + (2 - (-3 - -8)). Is t > w?
True
Let t be 3*-1*10/(-8). Let o = 120 - 116. Suppose 3*f - 11*l - 37 = -6*l, -o*f + l = -21. Which is greater: f or t?
f
Let t = -1.13 - 12.67. Let y = -4794 + 4782. Let o = y - t. Is o at least 2?
False
Let c = -3857 - -3860. Is -229 greater than c?
False
Suppose 770*o - 782*o - 1200 = 0. Let g = 49 - -51. Let t = g + o. Is -5 > t?
False
Let l = -884 - -7961/9. Suppose 12*t = 11*t + 5. Suppose 4*a + t = g, 0 = 2*a + 2*a - 4*g + 20. Which is bigger: a or l?
l
Let r = -316273/10 + 31627. Is 525 < r?
False
Suppose -2*z + 3*u - 59 = 58, 2*z - u + 127 = 0. Let l = -107 - z. Let a(x) = x**3 - 6*x**2 - 8*x + 7. Let j be a(6). Is l greater than j?
False
Suppose -o - 98 = -4*s, 0 = 2*s + 2*o - 2 - 52. Which is smaller: s or 287/12?
287/12
Suppose -4*x + 11*y - 2708 = 8*y, -3374 = 5*x - y. Is -675 less than x?
True
Let d = -6619/4 - -1052431/636. Is 0 at most as big as d?
True
Let o = -2240 - -2237. Which is greater: -102/61 or o?
-102/61
Suppose 4*d - 2*d - 126 = 0. Let f be d/42 + 130/4. Which is bigger: f or 0.8?
f
Suppose 12*n - 5834 = -5750. Let w = -4.04 - -0.04. Let x = w + 3.95. Is n >= x?
True
Let z = 4 + -4.48. Let a = z + 51.48. Let p = a - 49. Which is greater: p or -17/3?
p
Let l = 0.12 + -0.52. Let u(h) = h**3 - 3*h**2 - 35*h - 126. Let r be u(9). Which is bigger: l or r?
r
Suppose 0*w + 160 = 4*w. Let v = 42 - w. Suppose -x = z - v*x + 4, 5*z = 3*x - 10. Is 0 at most as big as z?
True
Let u = 14895 - 14898. Is u less than 67.35?
True
Let t = -265 - -289. Suppose 7*c + 1209 = -t*c. Let r(q) = q**3 - 9*q**2 - 6*q + 13. Let n be r(9). Are c and n unequal?
True
Suppose 2*c - 201 = d, 3*d + 231 = 2*c + 8*d. Let q = c + -144. Let o = q + 42. Is o bigger than -2/9?
True
Let x(w) be the second derivative of w**5/20 + 19*w**4/6 + 13*w**3/2 + 63*w**2/2 - 2*w - 94. Let z be x(-37). Which is bigger: -10 or z?
-10
Suppose -5685 = 54*v + 2577. Which is smaller: -151 or v?
v
Let i = -65 - -45. Let j(l) = l**3 + 284*l - 324*l + 110 - 44*l**2 - 2*l**3. Let f be j(-43). Which is bigger: f or i?
f
Suppose 3*y = 15, -2*a + y + 43 = a. Let i(u) = u**2 + 24*u + 65. Let x be i(-3). Let w be (-5 - (-57)/18*x)*12. Are a and w non-equal?
False
Let g = -80.94 + 76. Let q = 0.06 - g. Is q at least 1?
True
Let t = 3.137 + -0.137. Let s = -0.21 - -0.21. Let w = s - -0.1. Which is smaller: t or w?
w
Let p = -610 + -295. Which is smaller: -907 or p?
-907
Suppose 0 = -g + l + 4, 0 = g + 2*g + l. Let w be 1*14*(54/12 + g). Which is smaller: w or 78?
w
Let o = -8546 + 17469/2. Let n = -193 + o. Which is smaller: n or -5?
-5
Let j be (-7 - 120/(-16))*432/9. Which is smaller: 42 or j?
j
Let v = -695 - -626.4. Let t = -70 - v. Is -1 >= t?
True
Let p = -320 + 227. Suppose 2*b + 97 = -87. Which is smaller: b or p?
p
Let a(i) = -i**3 + 20*i**2 + 23*i - 38. Let g be a(21). Suppose -5*y + 11 = -0*n + n, 28 = -g*n + 4*y. Which is greater: 0 or n?
0
Let g be (-132)/(-77) - 2 - (-489)/21. Which is bigger: -14 or g?
g
Let i(o) = o**2 - 5*o - 7. Let u be i(7). Suppose -47*p - 13 + 389 = 0. Is p at least u?
True
Suppose -2*u + 2 = 2*m, -21 = -25*m + 24*m - 5*u. Is m at least -41/8?
True
Let x be (-20)/24*5/(69400/12). Let d = 152673/9716 - x. Is 15 equal to d?
False
Let f = -18/7 + 79/28. Let z = -291 + 304.1. Let g = -13 + z. Is g < f?
True
Let t = -18291 - -15724. Is -2563 != t?
True
Let l(x) = -7*x + 12. Let n be l(-5). Let f = -53 - n. Let h be 1 - (1 + ((-108)/f - 1)). Which is bigger: h or 1?
1
Let g(x) = 50*x - 1976. Let i be g(42). Is 94 at most as big as i?
True
Suppose 5*p + d = 21, -14*p + 12*p - 2*d = -2. Is -137 greater than p?
False
Let s be (-5 - 174/(-30))*130/4. Suppose s*p + 216 = 23*p. Which is smaller: -71 or p?
p
Let u = 18236059/50145 - -2/16715. Let j = u - 363. Let t = -0.02 - -0.01. Which is greater: t or j?
j
Suppose -3*x - 1119 = -2*s, -166*s = -170*s + 4*x + 2232. Which is smaller: s or 553?
553
Let r(c) = c**2 + 3*c - 65. Let s be r(7). Suppose 2*j = s*t + 15, 4*t + 12 = -2*j - 2*j. Which is greater: j or 141/5?
141/5
Suppose -265*y + 263*y + 816 = 0. Let x be y/6840 + (0 - 6/45). Which is greater: x or 0?
0
Let t(f) = 138*f + 528. Let x be t(-4). Is -231/10 bigger than x?
True
Let t be (40 - 40)*(-1)/1. Suppose 0*f + 10*f + 290 = t. Is -27 > f?
True
Let s(f) = -5*f - 11. Let h be s(-4). Let i = h - -25. Let v = i - 24. Is v at least 8?
True
Let r = 145 - -15. Let a = -161 + r. Is a less than or equal to -2/51?
True
Let p be -1 + 2/((-12)/174). Let n be (p/8)/(-5) + (-3)/3. Is n > 12.9?
False
Let w be 35/10*30/(-4). Let f = w + 25. Let c = 268 + -268. Is f greater than or equal to c?
False
Suppose 149317 - 14869 + 49152 = -68*v. Is v at least -2698?
False
Let u = 0.09616 + 0.06384. Is 31 less than or equal to u?
False
Let w = -39 - -84. Suppose 4*j - w = -j. Let l be (-6)/j + 58/96. Which is bigger: l or -2?
l
Let c = -8 - 20. Let k = 0.062 + -8.162. Let q = -8.2 - k. Which is smaller: q or c?
c
Let v = 57492/89 + -646. Let k(g) = g**2 + 17*g + 15. Let y be k(-16). Which is bigger: v or y?
v
Let f be (1/((-5)/(-4)) - (-10197)/396) + (-152)/190. Let i = -1 + 3. Suppose 0 = q + i*q - 78. Which is greater: f or q?
q
Let z(c) = 19*c - 222. Let n be z(13). Is n less than 58?
True
Let w(r) = -r**3 - r**2 - r + 20. Let i be w(0). Suppose 9 = 2*g + g, 4*j = 4*g + i. Let x(u) = u**2 + 173*u + 1008. Let h be x(-6). Which is greater: j or h?
j
Let k(r) be the first derivative of 3*r**2 + 96*r - 68. Let w be k(-16). Is w bigger than 10/13?
False
Let q(i) = -i**3 - 12*i**2 - 42*i - 338. Let n be q(-11). Let b(g) = 0*g + 1 + g - 3*g. Let t be b(-1). Is t at least n?
True
Let i = -466.9 + 611. Let o = -144 + i. Which is bigger: 6.1 or o?
6.1
Let o = 200/21 - 2018/231. Which is bigger: -0.1 or o?
o
Let c = -33020 + 33021. Which is smaller: c or -1/19283?
-1/19283
Let p = 0.10026 + -242.60026. Which is smaller: p or 1?
p
Suppose 48*m = 10*m + 44*m + 43*m. Let h = -73/2 - -18035/494. Which is bigger: m or h?
h
Let n(q) = -3*q**3 - 4*q**2 - 8*q - 8. Let j be n(-2). Let g be (2440/(-1757))/5 + j/56. Is 0 smaller than g?
True
Let r = 6866 - -4924. Is r smaller than 11790?
False
Let b be 2/(-5) - (-23002)/155. Suppose -3*y - 3*s - s = -12, 2*y - 2*s = -6. Which is bigger: y or b?
b
Let i(q) = -1723*q - 3373. Let k be i(-2). Are 3 and k unequal?
True
Let r be (-22)/4 + 1 + (-43 - -41). Let b = r - -56/9. Suppose q - 5 = -4*q. Do q and b have the same value?
False
Let y = -1255.2 - -1006. Let k = 251 + y. Which is smaller: 2 or k?
k
Let m(a) = -2*a**2 + 10*a + 27. Let l be m(8). Let v be (-456)/171*l/(-38). Is 0 at least as big as v?
True
Suppose -u = -z + 1, 20*u - 15*u - 2*z - 1 = 0. Are u and 1/40577 unequal?
True
Let l be (-57)/5*(-20 + 183/9). Is -5 > l?
False
Let p = -178.4 - -670.75. Let a = 492 - p. Is a bigger than 2?
False
Let x(z) be the second derivative of -z**3/2 - 1