 + 291. Let w be p(-4). Which is bigger: 2869 or w?
2869
Suppose n = -4*n + 460. Let p(v) = 13*v**2 + 648*v - 5. Let g be p(-50). Which is bigger: n or g?
g
Let i = 27.28 - 27.4317. Which is bigger: 2/11 or i?
2/11
Suppose 61*j + 37859 = 11474 - 32419. Which is bigger: -963 or j?
-963
Let r = -1546.486 - -1540. Let l = 0.086 + r. Let n = -3.8 - l. Which is smaller: n or 0?
0
Let l = 82 + -80. Suppose -z = 4*z + 40. Let r(w) = w**2 + 7*w - 7. Let n be r(z). Which is smaller: l or n?
n
Let x be 1/(-2) + 12*(-9)/(-24). Suppose -r + 3*v - 9 = 0, 3*r + x*v - 38 = -0*r. Let g(w) = 2*w**2 - 9*w - 20. Let s be g(r). Is s not equal to -16/7?
True
Let p(q) = -22*q + 65. Let u be p(-5). Let w be (-3)/(u/(-49) + 4). Let x(b) = b**3 - 4*b**2 - b. Let s be x(4). Which is bigger: w or s?
s
Let i = 277 + -289. Let n be 1/(-2)*(-6 + (-66)/i). Let h = 17054/87 + -196. Which is bigger: n or h?
n
Suppose -15*g - 35502 + 35562 = 0. Let f(c) = -c**3 - 6*c**2 + 4. Let q be f(-6). Is g greater than q?
False
Let o be (-1)/5 + (-222)/(-10). Suppose 9 = 19*r - o*r. Let l be 2 - r*26/(-24). Which is smaller: l or -2?
-2
Suppose -y = 5*l - 579, l = -1640 + 1637. Which is smaller: 592 or y?
592
Suppose -93163 = -317*b + 1620. Is b < 302?
True
Let x be 1/(-2) - (-21)/6. Suppose x*n + 15 = 5*c, 2*c + 3 = -5*n - 22. Is c < 4?
True
Let n be ((-63652)/12)/(66/198). Which is smaller: n or 2/5?
n
Suppose -102*k = -21*k - 19278. Which is greater: 1188/5 or k?
k
Let y be (3 + 4)*(-1 - -2) - 21551/3036. Are 0 and y unequal?
True
Let o(h) = -2*h + 11. Let q be o(0). Suppose -2*g = 2*m + 14, 4*g - 8*m = -q*m - 27. Is g less than -16?
False
Let r = 2.9 - 4.5. Let b = 88.2 + -90. Let d = b - r. Does -6 = d?
False
Let q be -4*(-4)/432*(-68)/34. Which is smaller: 42 or q?
q
Let u = 1.36 + -1.03. Let c = -0.81 - u. Let l = 1.04 + c. Which is greater: -2/173 or l?
-2/173
Let p = 376 + -216. Let v = -114 + p. Let x = v - 51. Which is smaller: 1 or x?
x
Let m be (-15)/(-13) + (-26)/169. Let v be 10/(-6) - -2 - m/3. Are v and -5/71 non-equal?
True
Suppose -5*p = -3*p - 24. Let o be -1 + 5/(70/p). Let h be (196/(-392))/(3 - 14/4). Which is smaller: h or o?
o
Let j be ((-296)/(-5))/(2*(-6)/(-150)). Suppose -9*m - j = 358. Which is greater: m or -121?
-121
Let i(f) = -f**3 - f**2 - f - 1. Let y(q) = -5*q**3 - 15*q**2 - 22*q + 3. Let a(d) = -4*i(d) + y(d). Let c be a(-8). Is c smaller than -43?
False
Let v(d) = -154*d**2 + 45*d - 89. Let x be v(2). Are -608 and x nonequal?
True
Let z be 34/(-120) + (-19)/(-76). Let m = 28 - 26. Suppose -m*u - 2*u + 1 = -3*f, 2*u - 4*f = -2. Is z > u?
False
Let h be (6/16)/(3/178). Let a be 98/147*63/2. Which is smaller: a or h?
a
Let y be 30/(-4)*192/(-120). Let s be 6/21 + (-1)/((-7)/y). Let j be 15/(-6) + 2 - (-3)/s. Which is bigger: 2/3 or j?
j
Suppose -36*k - 22 = -58. Is -35/282 at most k?
True
Let v be 3/33 + (-151)/(-33). Let s be (-1)/(-2) + (-4)/8. Let l = v - s. Does l = 5?
False
Let i = -1.0383 - -0.0383. Is i greater than -1404/11?
True
Let q = 0.2647 + -1.5647. Is 0.6 bigger than q?
True
Let c = -222.993 + -0.007. Let l = c + 222.94. Let i be (-48)/(-63)*(-3)/4. Is i less than l?
True
Let j be ((-439)/5)/((-6)/(-5)). Let l(b) = 4*b**3 + 123*b**2 + 208*b + 72. Let p be l(-29). Let v = p - j. Is -0.9 <= v?
True
Let p(a) = 4*a + 25. Let u be p(-9). Let g(b) = -b**3 - 13*b**2 - 25*b - 1. Let m be g(u). Suppose 12*n + m = 4*n. Is -5 less than n?
True
Let y = 49/24 + -15/8. Let u be (((-2000)/(-32))/25)/((-99)/3). Let g = y + u. Do 4 and g have the same value?
False
Let i = 102.45 - 150.25. Is i != 3?
True
Suppose -6*i = -0*i - 120. Suppose -4*h + i = -4*p, -4*h - 2*p + 6 = -14. Suppose h = -21*g + 16*g. Is g smaller than 1/6?
True
Let n(k) = -31*k + 1. Let o be n(-2). Let g be (180/o)/(4/14). Let i be 178/15 + (-36)/(-270). Is i smaller than g?
False
Let n be 19/(-3) + (-2)/3 + 1. Let r(b) = -3*b**2 - 32*b - 6. Let y be r(-10). Which is smaller: y or n?
n
Let p = 5/181 - 1292/905. Is p less than or equal to -13/9?
False
Let q(k) = k**3 - 7*k**2 + 16*k + 23. Let s be q(6). Which is smaller: 53 or s?
53
Suppose 2700*z - 2707*z = -4 - 3. Which is bigger: 6/1789 or z?
z
Suppose 71 = -37*n + 46 - 12. Which is smaller: 1/3412 or n?
n
Suppose -352 = 4*r - 4*y, -136*r + 132*r - 5*y = 289. Let h be 1*-4*(-81)/(-4). Let j = h - r. Which is greater: j or 4/15?
4/15
Suppose -122*n - 37 + 159 = 0. Which is bigger: n or 37/488?
n
Let t = -38 + 33. Suppose 0 = 3*k - k - 112. Let m be 137/(-35) + (-16)/k. Is t less than m?
True
Let d = 36 - -77. Let k be (-48)/(-6) - 9 - -1*d. Is 114 >= k?
True
Let y(a) = -a**3 + 8*a**2 + a + 4. Let m be y(4). Suppose 3*c - 47 = -2*w, 0*c + 5*w - m = -4*c. Suppose 0 = c*p - 9*p. Is -1/4 equal to p?
False
Suppose -4*w = -4*g + 4, 169*g - 166*g - 18 = 0. Suppose -i - 4*p = 11, -4*p = -0*i - i + 13. Let j be 20/(-12)*i/w. Which is smaller: j or -27/8?
-27/8
Suppose -4*p - 4*l = 4, -3*l + 6 = p + 3. Which is smaller: 0.0529 or p?
p
Let h be (-71 + 69)*(-118)/4. Suppose -2*r - k - h = 2*k, -3*k = 3*r + 84. Suppose 5*d + 19 + 15 = -2*z, -5*z + 4*d = 151. Is r < z?
False
Suppose -2*y + 8 = -4*c - 0, -3*y = 5*c + 10. Suppose -m = 5*p + 18, -p - 2*p - 9 = y. Let x be -8 + (-582)/(-54) - 5. Is m greater than x?
False
Suppose 0 = 3*h - 7*h + 4, -5*a + 3*h - 23 = 0. Let w be -3 + a/(16/(-28)). Suppose -3*u - 64 = -w. Is u <= -19?
True
Let x be -2 - -1*(4 - 2). Suppose 24*d - 20*d - 232 = x. Suppose 10*v + d = -32. Which is greater: -1 or v?
-1
Let y = -44.976 + 46. Let c = y + -0.014. Let p = -0.61 + c. Do 13 and p have the same value?
False
Let v be ((-187)/(-506))/(1545/258 + -6). Which is smaller: -31 or v?
v
Let q(k) = k**3 + 3*k**2 - 3*k - 6. Suppose -m - 3 = -5*x + 15, -4*m = 2*x + 6. Let p be q(m). Suppose 15 = -p*c, 6*w + 2*c + 5 = w. Which is smaller: w or -36?
-36
Let l = 7676/5 - 1532. Is l at least 3?
True
Let g = 10708 - 9776407/913. Is 0 at least g?
True
Let b(y) = 4*y**3 - 143*y**2 + 49*y - 3011. Let d be b(36). Let q = 2.9 - -1.1. Is d less than q?
False
Let r = -13 + 25. Suppose -4*a - r = -4*p, -2*p + 6 = a + 4*a. Let l be (24 + 1820/(-78))*-2. Is l smaller than a?
True
Suppose 0 = 8*a + 12 - 76. Let p = -1348 + 1354. Which is greater: p or a?
a
Let y(m) = m**2 - 29*m + 31. Let d be y(28). Suppose -9*z - d = 3*h - 6*z, 0 = -5*h + 3*z - 5. Is -6/83 smaller than h?
False
Suppose -5*n - 91 + 251 = 0. Suppose 0 = -29*m + 360 + 597. Are m and n non-equal?
True
Let z = -15606 + 9425. Which is greater: z or 2/5?
2/5
Let x = -4693 - -9227/2. Which is greater: -80 or x?
x
Let m(g) = -242*g - 6049. Let b be m(-25). Is -24/2543 at most as big as b?
True
Let s(c) = -c + 2. Let d be s(4). Let j be 125*d/(-4)*25/1000. Let h = j + -467/304. Which is smaller: 1 or h?
h
Let b = 103 + -101. Let n be 104/65*(-4)/16*26/(-4). Is n at least b?
True
Let w be (-34)/1*20*20/800*10. Is 3/8 smaller than w?
False
Let p = -31420 - -16684018/531. Which is bigger: p or -6/19?
p
Let u = -108.02 + 107.92. Is -4921 bigger than u?
False
Suppose -2*t - 3*a = 66, -140 = -2*t + 6*t + 2*a. Suppose u + 5 = -2*j, -1467*u = 3*j - 1470*u - 6. Which is smaller: j or t?
t
Let m = -5279 + 5327. Which is bigger: 52 or m?
52
Let j be ((-3)/39)/(13/3). Let d(g) = 107*g - 1285. Let m be d(12). Which is smaller: m or j?
m
Suppose 52 + 44 = -8*p. Let t be (-2)/(-3 + 5) - p. Is 0 <= t?
True
Let h = 22072 + -22033. Which is bigger: h or 281/7?
281/7
Let u be ((-2)/(-12) - (-103)/(-528))*26. Is u at most 0?
True
Let k be (-35)/((-212520)/(-7958)) - (-8)/132. Let x = -0.064 + -2.836. Let y = x - -3. Is y at most as big as k?
False
Let i be (0/(-3) - -1) + -10 + -79. Let l be 1024/i - (3 + -9). Which is smaller: 1 or l?
l
Let j = 4 + -2. Let b(p) = 16*p + 78. Let v be (4 - 3)/((-16)/80). Let z be b(v). Is z bigger than j?
False
Let c be -24 + (-6470)/(-310) - (1 - 4). Which is smaller: c or -1.6?
-1.6
Let z be (-6)/(-36)*3 + (-3)/1. Let u(a) be the second derivative of a**4/12 - 5*a**3/6 - 9*a**2 + 6*a. Let p be u(7). Which is smaller: p or z?
p
Suppose 166 = d - 54. Let m = 327 - d. Does 107 = m?
True
Suppose 4*j + 13*q + 60 = -39, -2*q - 81 = 5*j. Let n(d) = d**3 + 11*d**2 - 9*d + 26. Let t be n(-12). Is j equal to t?
False
Let r = 435 - 432. Let t be r*(22/9)/((-12)/(-90)). Is 54 