393. Which is smaller: x or -1?
-1
Let k be ((-204)/(-408))/(3/2). Which is bigger: -1831 or k?
k
Let a(u) be the third derivative of -u**5/20 + 4*u**4/3 + 5*u**3/3 - 10*u**2 + 4*u. Let s be a(11). Is s greater than or equal to -1/13?
False
Suppose -4*v = -4*a - 32, -2*v + 4*v + 3*a = 11. Suppose -2*w = b + 4*b + 23, 2*w - v = b. Is w greater than 4/101?
True
Let g = 1.093 + -1.31. Let k = g - -7.217. Which is greater: 9 or k?
9
Let h = 242 - 241. Let k be 6/36*(-2 - h) - 0. Which is smaller: -12.7 or k?
-12.7
Let b(g) = 23*g + 193. Let a(n) = -6*n - 49. Let f(v) = 9*a(v) + 2*b(v). Let h be f(-7). Is -9/28 at least as big as h?
False
Suppose -p = -6*p + 2*z + 276, -3*p = 4*z - 176. Suppose 3*j = 5*i - p, -3*i = -22*j + 27*j + 48. Which is smaller: j or -88/7?
-88/7
Let u be ((-138)/1 - (-7 + 3))*2/4. Which is greater: u or -74?
u
Let l(u) = -u**3 + 43*u**2 + 46*u - 125. Let g be l(44). Is -25 >= g?
True
Let w be 15 + (-27)/36*16. Which is smaller: w or 65/27?
65/27
Suppose -2*u = 3*d + 885, 2*u - 36 = d + 275. Does -277 = d?
False
Suppose -5*f = 2*n - 3*n - 29, -2*f = 8. Let j be (-406)/n*(2 + 5). Let g = 2/51 + -55/102. Which is bigger: g or j?
j
Let a = -225.984 + -0.016. Let p = a - -225. Which is smaller: p or 155?
p
Let q = 1998 + -1092. Which is greater: q or 907?
907
Let i = 7337 - 10353. Which is smaller: i or 0?
i
Suppose 0 = 4*s + g - 579, 34*s - 31*s - 408 = 3*g. Is s at most 131?
False
Let a = -689 - -1099. Let g = a - 398. Is 12 bigger than g?
False
Suppose m + 100 = -4*m. Let y(p) = -3*p**2 - 25*p + 43. Let a be y(2). Is m not equal to a?
True
Let h be (31360/(-400))/(2/5). Which is bigger: -202 or h?
h
Suppose 0 = -10*h + 12*h - 12, 0 = -4*d + 3*h - 350. Does -60 = d?
False
Let g be 15486/2*(-2 + -5)/847. Let o = g - -64. Which is smaller: -1 or o?
-1
Let m(f) = 159*f - 3867. Let u be m(11). Which is greater: -2121 or u?
u
Suppose -14*w - 200 = -6*w. Let s(m) = -m**2 - 24*m + 7. Let d be s(w). Are d and -10 equal?
False
Let r(p) = -p**3 + 11*p**2 - 9*p - 4. Let t be r(10). Suppose 2*q = t, 4*g - 4*q = -8*q + 288. Which is smaller: 67 or g?
67
Suppose 2 = t + 3*u, 0 = 3*t - 3*u - 2*u + 36. Let l = 3981 + -3983. Which is smaller: t or l?
t
Let y(d) = -144*d**2 - 15*d - 16. Let u be y(-1). Which is greater: u or -140?
-140
Let t be (-41451)/(-119925) - ((-4)/(-3) - 1). Let k = t - 353/2275. Are k and -7.6 equal?
False
Suppose -l - 3*u = 812, 4*l - 41*u + 3264 = -37*u. Is l > -809?
False
Let h = 5666 - 5659. Let l be 18/(-63) + (-58)/(-7). Suppose -l = -3*d + 10. Which is greater: h or d?
h
Let o = 6.1521 - 0.0121. Let u = o - 6. Suppose 4*h + 3*q = -31, h - 44 = 3*q + 2*q. Is u != h?
True
Let o = -98/727 - -91484/646303. Is o at least as big as 0?
True
Let y be -74*(209/22)/(-19). Which is greater: 56 or y?
56
Let f = 510 + -518. Which is greater: f or 153?
153
Let o = -4/57 - -10/1767. Let w = -13 - -12.92. Are o and w equal?
False
Let c = -4026.1 - -4028.1. Are -5095 and c unequal?
True
Let l be ((-378)/35)/(-7*2/(-1435)). Is l > -1105?
False
Suppose 5*z + 3*d = -44, z + 3*z + 37 = -3*d. Suppose -2*q + 16 = -4*w, -3*w - 14 = -4*q - w. Is z at most q?
True
Suppose 2*m = 5*s - 30, 0*m - 3*m + 5*s = 50. Let y = -86 - -91. Suppose -y*a + c - 88 = 3*c, -4*a - 71 = c. Which is smaller: m or a?
m
Let s be 90 + 15 + 98/(-7). Which is bigger: 89 or s?
s
Let o = -56 + 62. Suppose o*n + 8 = 56. Which is bigger: 22/3 or n?
n
Suppose -8*b + 8628 = 3*a - 11*b, -5*b + 8644 = 3*a. Is a <= 2878?
True
Let t = 149 + -49. Let z be 0 - (-1)/(-10) - 1011/(-10). Which is bigger: t or z?
z
Let q = 15/8 - 343/264. Is q >= 1?
False
Suppose 4*p - 25 = -9. Suppose -s - p*s = -45. Let i be s/(-15) + (-96)/10*-1. Which is greater: i or 10?
10
Let r be (50/6 - 4) + (-4)/(-6). Suppose 8 = -v - r*p + 14, 2*p = 5*v - 3. Which is greater: -3 or v?
v
Let v = -93 + 55. Let n = -36 - v. Let o be ((-1)/(-3) + 6/(-10))/n. Are 0.1 and o equal?
False
Suppose 4*d - 2*b + 0 - 4 = 0, 5*b = 20. Suppose -d*y - 20 = -y - 2*p, y + 5*p = -16. Suppose 182*a - 185*a - 39 = 0. Is a >= y?
False
Let x be 298*(30/(-45) + (-13)/(-6)). Let f = x + -1803/4. Which is smaller: f or -3?
f
Let c = 8338 - 8332. Let r be 2*(-1)/(-9)*6. Is c less than or equal to r?
False
Let m = -72 - -79. Let f = 10 - 22. Let w = 18 + f. Which is smaller: m or w?
w
Let p be (-4)/(-7)*(-35)/(-6580). Let f = -63 - -62. Do p and f have the same value?
False
Let c be 13 - (10 - (-2288)/16). Let i be 834/(-4)*(16/(-12) + 2). Is i at least as big as c?
True
Suppose d = 3*m + 415 + 295, 0 = 2*d + 2*m - 1452. Suppose 0 = -11*r - 2218 + d. Do -136 and r have the same value?
True
Let f = 2226 + -2240. Suppose 4*c - 18 = -2*w, -2*w = 5*c + 5 - 25. Which is bigger: f or c?
c
Suppose -3*z + 8*z - 60 = 4*d, -2*d = -10. Suppose -3*b = z - 73. Let v = 22 - b. Is v at least as big as 3?
True
Let y be 1/(-39)*-3 + 2180/(-1300) + 2. Let l be 55/322 - (-10)/35. Which is smaller: y or l?
y
Let b = -295 + -834. Let h be 3 + b/335 - 8/(-20). Let z be 2/(-8) - 10/(-8). Is h at least as big as z?
False
Let w(a) = -a**3 - 3*a**2 - 2*a - 6. Let p be w(-4). Let c = -749 + 765. Which is greater: p or c?
p
Let h be 904/(-2694) + 7*6/126. Which is greater: -0.7 or h?
h
Let m = 9561/1936 - 81/16. Which is smaller: -1 or m?
-1
Suppose 2*x + 1369 - 4031 = 4*q, 1998 = -3*q + x. Let a = 643 + q. Which is greater: a or 3?
3
Suppose -105*b = -92*b - 52. Let p(n) = n**3 + 10*n**2 - 12*n - 9. Let i be p(-11). Are b and i unequal?
True
Let v = 3/2795 - -10427/701545. Let r = 7621970 + -70785235287/9287. Let c = v + r. Which is greater: c or -1?
c
Let c be 3*(-2)/8 + 35/4. Suppose 9*p = c*p - 243. Is p > -243?
False
Let n = 2.873 - 2.9. Let a = -0.573 + n. Let o = 5 - 4.99. Is o >= a?
True
Let h = -48 - -51. Let r be 3/(h + 0) + (10 - 0). Is r less than -1?
False
Let y be (4/(-26))/(3/(-36)). Let f(p) = 11*p - 9. Let i be f(2). Suppose -2*d - 3*l + 10 + 11 = 0, 2*l - i = -d. Which is smaller: d or y?
y
Let k = 33611 + -33612. Which is smaller: k or 17/936?
k
Let v = -342.143 + 342. Which is greater: v or -3?
v
Let n be (0 - 4)/(-32) - 741/(-152). Which is smaller: 220/51 or n?
220/51
Let x = 3175/9863 + -51/1409. Let c be (-1)/((-1)/6*2). Suppose q - c*q = 0. Which is smaller: q or x?
q
Let v(p) = -2*p - 65. Let t(m) = -7*m - 258. Let u(o) = 2*t(o) - 9*v(o). Let i be u(-17). Is 2/13 bigger than i?
False
Suppose 12 = 4*j - 3*c - 71, -j + 3*c = -14. Suppose -3*z - 21 = -9. Let v(q) = -q**3 - 3*q**2 - 5*q - 14. Let s be v(z). Do s and j have the same value?
False
Suppose 22*w - 21*w = 11. Let z = w + -7. Suppose z*g - 9 = -5*g. Is g at most as big as -2?
False
Let d = -0.3498 + -2.1502. Which is greater: -18.8 or d?
d
Let v = -368 - -442. Let d = v + -51. Is 32 at most as big as d?
False
Let x be (-1 + (-11)/4)/((-66)/176). Let q(m) = -m**3 + 10*m**2 + 5*m - 12. Let r be q(x). Let n = 0 - r. Is -38 greater than n?
False
Suppose 8*w - 3*w + 1955 = 0. Let y(g) = -2*g**2 + 79*g - 505. Let q be y(38). Is q <= w?
True
Let a be -11*((-4)/18 - (-77)/63). Let o = 15 + a. Suppose -o*f - 2*c = 18, 2*f + 2 = c - 9. Which is smaller: f or -17/4?
f
Let f = -2141 + 2140.9814. Which is bigger: f or -4?
f
Let p be (-752)/(-2068)*1/46. Is 1.9 less than p?
False
Let i = -31 - -54. Let f = 27 - i. Let h = f - 4. Is h at most as big as 2/7?
True
Let v be ((-3)/54)/((-1)/4). Let b be (1337/(-28) + -13)/((-2)/(-24)). Let m = b + 742. Is m < v?
False
Suppose 3*g = -4*r - 262, -5*r = -5*g - 54 - 406. Is g greater than or equal to -16/5?
False
Let s be (-104)/3*72/16. Suppose 177 = 5*g - 243. Let f = g + s. Which is smaller: -71 or f?
f
Let w = 3257 + -1048751/322. Let y = w - -689/98854. Is y less than or equal to 1?
True
Suppose -2470*j + 530 = -2475*j. Do -16 and j have the same value?
False
Let n be (13/(52/(-150)))/9. Let c(d) = -2*d**2 + 2*d. Let m = 4 + -2. Let g be c(m). Which is bigger: g or n?
g
Let l = 0.6 - 4.6. Let z = 3708 + -3701. Which is bigger: l or z?
z
Let h = 24612 - 25369. Which is smaller: -9840/13 or h?
h
Let h(q) = q**2 + 53*q + 102. Let x be h(-51). Which is smaller: 6/1087 or x?
x
Let r = -275 + 279. Suppose -38 = -r*y + 150. Which is smaller: y or 46?
46
Suppose 3*r = -4*f + 165, r + 163 = 4*f + 6*r. Let i = f + -106. Let g be 0 + (-4 - -1) + -6