521. Let v be x(9). Which is smaller: -2.302 or v?
-2.302
Suppose a - 7 = -4*x + 25, 5*a - 27 = -x. Let b be (2/7)/(x/539). Let w = -40 + b. Which is smaller: w or -19?
-19
Suppose -5*u - 4*z = -5*z, -3*z = 4*u - 19. Suppose -2*d = 368 + 48. Let q be 10/15 - d/(-258). Is u at least as big as q?
True
Suppose -3*m - m + 116 = 0. Let h be (-2 + 26/(-12) - 125/150) + 34. Is m bigger than h?
False
Let g = -11.39 + 15.3. Let w = g - 3.81. Which is smaller: w or 2/31?
2/31
Let p(r) = r + 6. Let w be p(6). Let h(z) = z**3 - 6*z**2 + 8*z - 2. Let a = 455 + -450. Let i be h(a). Is w < i?
True
Let h(d) = -d**2 - 22*d - 81. Let p be h(-17). Suppose -3*v = -3*a - 75, 7*a + p*v + 152 = 2*a. Which is bigger: a or -2?
-2
Let d(u) = u**3 + 6*u**2 - 4*u + 15. Let n be d(-7). Let c be n/36*1*-123*-2. Does c = -39?
False
Let p(r) = 13*r**2 - 78*r - 13. Let k be p(6). Let a be k/(429/(-6)) - (-4)/(-22). Which is greater: a or 1/29?
1/29
Suppose -5091 = 17*p + 2559. Which is bigger: -0.07 or p?
-0.07
Let k = -2644835 + 132248853/50. Let i = k - 283/2. Which is smaller: i or 1?
i
Let o(r) = -3*r**2 - 96*r - 706. Let t be o(-11). Suppose -7*c + 26 = -9*c. Does c = t?
True
Let a = 131 - 151.2. Let j = a - -111.2. Let o = 91 - j. Which is smaller: o or 3.9?
o
Let c = -11517 - 6228. Let p = c + 123546/7. Let v = p - -36837/385. Are v and -1 unequal?
True
Let n be -11 - (-80 - (8 - 5)). Which is smaller: 77 or n?
n
Let q(m) = -3*m + 2. Let l be q(2). Suppose -n - 4*k + 40 = n, 3*n + k - 55 = 0. Suppose -4*f = 4*b - 2 + n, -f = 3*b + 6. Which is smaller: f or l?
l
Let m = -884/1995 - -22/57. Let c = 1945796/105 + -18532. Let w = c + m. Which is greater: 3/8 or w?
3/8
Let j = 12927522598/35075 + -368568. Is -1 != j?
True
Let m be 15/6 + 1375/110. Suppose -2*h + 22 = 2*c - 0*h, -3*c = h - 39. Suppose v - 38 = -4*s + c, 4*s - 3*v = 36. Is m at least s?
True
Let x = -0.084 - -4.964. Let y = 4.58 - x. Is y < -69?
False
Let x be (-1 - -8) + 3/(-3). Suppose -x*m = -m + 5. Let a be 4/(-8) + 56 + (-109926)/1984. Which is smaller: a or m?
m
Let g = 2331.2 + -2331.6. Which is bigger: g or -2350?
g
Let w(l) = 230*l - 1245. Let u be w(-16). Are -4924 and u unequal?
True
Let i = 194180/132027663 - 8/42303. Is i equal to -1?
False
Let b = -101 - -193. Suppose -5*y + 9*y - b = 0. Which is smaller: y or 20?
20
Suppose 0 = v - 4*z - 980, -83*v - 1960 = -85*v + 4*z. Which is smaller: v or 979?
979
Let g(d) = d**2 + 10*d - 31. Let a be g(3). Suppose x = 6*t - a*t - 242, -5*t - 239 = x. Which is smaller: x or -245?
-245
Let u be 15 + (412 - -20)/(-27). Let y = -68 - -68.049. Do u and y have the same value?
False
Let j = -13 + 8. Suppose 13*m + 118 = 443. Suppose 0 = -18*h + 23*h + m. Do j and h have the same value?
True
Let r(w) = -13*w**3 + 31*w**2 + 20*w + 15. Let z(u) = -7*u**3 + 16*u**2 + 10*u + 8. Let g(i) = 6*r(i) - 11*z(i). Let n be g(11). Are -41/4 and n equal?
False
Suppose 0 = -829*y + 895*y + 198. Let x = 0.14 + -33.14. Is x less than or equal to y?
True
Let m(g) = g - 11. Let b be m(-9). Suppose 13*q + 148062 = 148075. Is b bigger than q?
False
Let h = 12701221/5940 + -8553/4. Which is greater: -1 or h?
h
Let a be 88/(-40)*5 - 5395*1. Which is bigger: a or -5407?
a
Let n = -6059 + 6059. Are 2/1641 and n unequal?
True
Let g = 9062 - 9075. Is g at least -26.2?
True
Let s be 606/(-15) + 2*(-5)/(-25). Is -31 < s?
False
Let v be 0 + -7 - (-27286)/4018. Let s = -33206/3157 + v. Which is smaller: s or -1?
s
Let r(g) = -5*g + 41. Let k be r(8). Let a = 8/11 - 85/132. Which is greater: k or a?
k
Let h = -2843 + 2914. Is -2 < h?
True
Let b(f) = f**2 + 12*f + 9. Let j = -29 - -17. Let x be b(j). Suppose g = 2*u + 11, -3*g - 2*u = -2*g + x. Which is greater: 0 or g?
g
Let i(a) = 34*a**2 + 535*a - 207. Let l be i(-16). Let f = 28 - 92. Which is smaller: l or f?
f
Let h = 3/538 - 1139/11298. Let a = -1593 - -1588. Which is smaller: a or h?
a
Let y be ((-66)/(-21))/(13/((-91)/4)). Which is greater: y or -3/106?
-3/106
Let f(a) = -a**3 - 40*a**2 + 2*a + 84. Let q be f(-40). Suppose -9*n - 31 = -q. Which is greater: n or 10?
10
Suppose 6*f - 5*v = 2*f - 217, 209 = -4*f - 3*v. Let m(k) = -11*k**3 - 123*k**2 - 35*k - 197. Let t be m(-11). Is t at least f?
False
Let w be 8/(-32*(-10)/40). Is w greater than or equal to 2/104237?
True
Let z = -28 - -63. Let g be 14/z - (-13)/5. Suppose -69 = 5*b - g*p, -3*b = -p + 5*p + 53. Is -15 at most b?
True
Suppose 4*i = u - 0*u - 341, -3*i - 4*u = 232. Let z be -2 + 17/((-833)/i). Is 94 at least z?
True
Let h = -0.723842 + 422.022842. Let d = -421 + h. Which is bigger: d or 1?
1
Let z be (72/7)/(117/294). Which is greater: z or 26?
26
Let t(o) = 254*o - 78. Let g be t(6). Let s = 15888/11 - g. Which is greater: -3 or s?
s
Let y(g) = 143*g - 2993. Let w be y(20). Is -6 less than or equal to w?
False
Suppose 69*d + q = 68*d - 4, 3*d = 4*q + 9. Is d < 397?
True
Let h be 136/6 - (-3)/9. Let b = 249.8 + -225. Let v = 24.7 - b. Which is smaller: h or v?
v
Let o = 4074 - 4075. Is -9/29 less than o?
False
Let t = -187939/720594 - -321/931. Let c = 97862/43 + -2276. Let l = t + c. Which is smaller: 1 or l?
l
Let s = 3 - 7. Suppose -19*r + 11 = -8. Let w be (r + 1045/(-1060))*s. Which is smaller: w or -1?
-1
Let p = -184 + 87. Suppose 0 = 2*r + 6, -2*h - 10*r = -13*r + 189. Which is smaller: p or h?
h
Let l = 156 - 151. Suppose -2*v = 4*s - l*v + 1, -s = 2*v + 3. Is s at least -5?
True
Let o(s) = -1. Let a(r) = 3*r. Let j(k) = 2*a(k) + 2*o(k). Let h be j(-2). Let t(d) = -d**2 + 1466*d - 13127. Let n be t(9). Is n at most as big as h?
True
Let u = 1108 + -182822/165. Suppose -25*m - 2*m + 21 = -6*m. Is u greater than m?
False
Let k = -0.82 + 1.63. Let l = k - 1.1. Let t = 37/116 + -2/29. Which is smaller: l or t?
l
Let u = 1.61 + -101.61. Let y = u - -91.1. Let j = -0.1 + y. Is j less than -2?
True
Let a(b) = b**3 - 2*b - 752. Let c be a(0). Let x = c - -104530/139. Let k = x - -264/973. Is 1 less than or equal to k?
False
Suppose w - 5*u = -17 - 27, 116 = -5*w - u. Let i = 13295/2 - 6672. Which is smaller: w or i?
i
Let k(c) = 2*c. Let a be k(-3). Suppose -1 = -4*j - 5*b, -5*j - 1 = 3*b + 1. Let v be ((-203)/(-145))/(j/4). Is a not equal to v?
True
Let x be -4*2/(-12)*117/26. Suppose -2*q - 65 = 5*w - x*q, w - 2*q = -13. Let z(b) = b**2 - 9*b + 5. Let j be z(6). Is j > w?
False
Let u = -9.6 - -8. Let f = u + -0.4. Let z = -459 - -475. Is f not equal to z?
True
Let c = 324239/29 - 11183. Which is greater: c or -1?
-1
Suppose 31*p = 2878 + 1648. Let f be (-4)/6 + (-3101)/(-21). Which is bigger: f or p?
f
Suppose -5*g - 20 = 0, 939 = l - 10*g + 11*g. Is 941 greater than l?
False
Let a be (((-2368)/6771)/(-64))/((-1)/(-9)). Suppose -3*f - 3 = -9. Suppose g + f*l + 2 = -g, g - 3*l = 3. Which is smaller: g or a?
g
Let m be 29*5*(-99)/(-270) + 3/(-18). Which is smaller: 59 or m?
m
Suppose 45 = -2*w + 7*w. Let g be 1*-4 + (18 - w). Suppose k + g*z - 10 = 2*z, 3*k + 4*z = 20. Which is greater: k or -1?
k
Let d(k) = 15*k**3 + 4*k**2 + 12*k + 48. Let u be d(-4). Which is greater: u or -4?
-4
Suppose 6*v = 265 - 271. Let m = -2042459/639 + 9589/3. Which is smaller: v or m?
v
Suppose -4*b - 20 = 0, -2*z - 12 = -2*b - 76. Let q be (z/(-15))/(3/10). Let u be (1/(-31))/(2*1/q). Which is smaller: u or -1?
-1
Let g = 42492/18745 - 2/11247. Let m(k) = 18*k**2 - 60*k + 19. Let y be m(3). Which is smaller: g or y?
y
Let w = -1605 + 1571. Is -31 equal to w?
False
Suppose -75*u = -74*u - 2. Suppose 2*y - 4 = -u*h, -12*h + 10*h = y. Is h less than or equal to -2?
True
Let l = 79.2028 + -0.0728. Let r = 1.13 - l. Let w = -68 - r. Which is smaller: w or 0.4?
0.4
Let o = -563/395 - -2/79. Suppose 0 = 440*x - 445*x - 5. Which is greater: o or x?
x
Suppose 323*d - 3499 + 105236 = -113058. Is d bigger than -665?
False
Let m = -2686 - -2759. Which is smaller: 48 or m?
48
Let d be 5/(-6)*(-254700)/(-1000). Is d smaller than -211?
True
Let w = -0.58 - 12.32. Let r = w + 1.9. Let a = 2.3 + -0.3. Which is bigger: a or r?
a
Suppose 352 = 3*u + 2*h - 841, 3*u - 4*h = 1187. Suppose 0 = -l - 404 + u. Let j be ((-1)/2)/((-1)/4). Which is bigger: j or l?
j
Let r be (-6)/(-27)*-9*((-87)/(-12) - 10). Is 0.01 >= r?
False
Let z be ((-12)/15)/(824/(-20)). Let l = z - 216/515. Let q = -14534.27 - -14534. Which is