 402*z - 386*z - 144. Which is greater: 20 or z?
20
Let k(s) = s**2 + 48*s + 443. Let a be k(-20). Which is bigger: a or -118?
a
Let f(b) = 2*b**3 + 36*b**2 - b - 37. Let d be f(-18). Suppose 0 = 2*w - 5 + 57. Which is smaller: w or d?
w
Let c = -80437454297897/1887 - -42627159627. Let a = -136730/51 - c. Let n = a + 518. Is 1 <= n?
False
Let i = 1.5046 + -1.7046. Is -219/7 > i?
False
Let x be (-5)/2 - 56/(-16). Which is bigger: 7/562 or x?
x
Let k = -14.002 - -14. Let m = 14.998 - k. Let x = 14 - m. Does 5 = x?
False
Let d be 0 - 1 - 23/(-13). Suppose 4*m - 3*m = -1. Let a be (m/(-7))/(3/(-6)). Which is bigger: a or d?
d
Let i(n) be the first derivative of -n**3/3 - 19*n**2/2 - 67*n - 57. Let l be i(-15). Suppose 3*p = -0*p - 21. Is l not equal to p?
False
Let t = -5223/5 - -1035. Suppose -9*n - 7274 = -2441. Let r = n + 526. Is t < r?
False
Let f be (-12)/(-20)*1/((-3)/(-15)). Let u be -429*f/(-189) - 7. Let z = -1 - -2. Is z at most as big as u?
False
Suppose -2 = d - 4. Let t = 447/308 + -8/231. Which is smaller: d or t?
t
Let p = -24/73 + 165/1168. Which is greater: p or 1/8?
1/8
Suppose 0 = 3*f - 3*a - 0*a - 6, 0 = 3*f + 3*a - 18. Suppose -4*w = -j - 2*w - 88, -f*j + 2*w = 340. Which is smaller: j or -85?
-85
Let x = 0.42 - 4.02. Let g = 197.6 + -11.6. Let z = g - 185. Which is smaller: z or x?
x
Let j(w) be the second derivative of -w**4/12 - 4*w**3/3 - 3*w**2 - 21*w + 2. Let z be j(-7). Let v = -62 - -40. Is v at least z?
False
Let h = -1 + -2. Let u be (-1)/(25/67) - ((-12374)/230 - -54). Is h bigger than u?
False
Suppose 2*g + 6*g = 0. Suppose -4*i = -g - 4. Let w be (25/80*-1)/(i/44). Is -15 equal to w?
False
Let c = 7991 - 7483. Is c at least as big as 3?
True
Let v = 77 - 52. Suppose 0 = -o - 1, -3*c + 4*o + 19 = -0*o. Let l be c*((-20)/v)/(-2). Which is smaller: -12 or l?
-12
Suppose 2*i = -3*m + 2898, -1920 = -4*i - m + 3876. Which is greater: 1448 or i?
i
Let v = -104.205 - -0.205. Let n = v - -104.4. Is -12 at most n?
True
Let p be (-14)/(((-6)/48)/((-2)/(-28)*7)). Suppose 0 = 2*f - 7*f + 550. Suppose -3*r + f = -r. Is r at least p?
False
Let n(z) = 203*z + 45335. Let x be n(-221). Let g be (11/(-2))/(2/(-172)). Is g not equal to x?
True
Let x(n) be the third derivative of -n**5/60 - 3*n**4/8 - 17*n**3/6 - n**2. Suppose 35*p = -68*p + 7*p - 576. Let r be x(p). Is -2/33 smaller than r?
True
Let k = -557 - -563. Let t(n) = -n - 2. Let f be t(7). Let g = 16 + f. Is k greater than g?
False
Let k be (-1029)/(-33) + (30/33)/(-5). Let s = k - 29. Suppose s*q + 3 = -1, -a = 3*q + 8. Is a >= -33?
True
Let l be (-2410)/(-16) + ((-45)/(-90))/((-8)/(-6)). Is l not equal to 155?
True
Suppose 3028 - 3065 = -37*y. Which is smaller: y or -24/113?
-24/113
Let j(a) = 2*a**3 - a - 1. Let i be j(2). Suppose -s = -27 + i. Suppose -3*o = -s + 14. Which is smaller: o or 4?
o
Suppose -x = k - 103 - 26, -5*x - 153 = -k. Let y = -136 + k. Which is smaller: 6 or y?
y
Let r be ((432/(-30))/(-3))/((-3)/40*4). Is 22 <= r?
False
Let y = -113/322 + 3/46. Which is greater: -1497/2 or y?
y
Let z = -246 - -251. Suppose 4*a + 36 = -z*a. Do 9 and a have the same value?
False
Suppose 0 = -4*g - 4*f + 2092, 3*g + 4*f - 2205 + 641 = 0. Is 527 >= g?
False
Let i(d) = -41*d - 137. Let y be i(-5). Suppose 222 = -5*l - y. Which is greater: l or -57?
-57
Let w = -110 + 229. Let d = 119 - w. Are d and 3/13 nonequal?
True
Let r = -225.893 - -226. Let z = -0.007 + r. Which is smaller: -51 or z?
-51
Let n be (-12)/2890*(2 - (-75)/(-45)). Which is greater: n or 1?
1
Let s be (91/(-14) - 1)*19/((-171)/666). Is s < 3886/7?
True
Suppose 2 = 2*a, 5*c + 107*a = 102*a. Is c at most -694?
False
Let a = -1770729/19 - -93197. Let l be (-10)/(-8) + (-1)/4. Which is smaller: a or l?
a
Let r = 5181/10 - 57051/110. Let y = -13 - -18. Is r at most y?
True
Let g = 9188661/1180 + -7787. Are 0 and g non-equal?
True
Let r be 5096/14301 + (-8)/18. Which is greater: r or 0?
0
Let j = 14 + -15. Suppose -26*i + 25*i - 207 = 2*t, -i + 102 = -t. Which is bigger: t or j?
j
Let g = -2256 + 2257. Which is bigger: g or 675?
675
Let a(w) = -2*w**3 + 4*w**2 + 9*w - 5. Let j be a(3). Suppose 2*n - 2 = m - 2*m, -2*n + 2*m = j. Is n bigger than 1/57?
False
Let q be ((-40)/(-80)*74/(-5))/1. Which is bigger: -7 or q?
-7
Let x(u) = 3*u - 24. Let a be x(6). Let b be 4 + -2 - (-2 + 3)*a. Suppose b*k = -0*k + 24. Which is bigger: 1.3 or k?
k
Suppose 210 = -3*g + 4*n, 0 = -5*g - 0*g - 2*n - 350. Let i be (-18)/63 - 19/g. Is i greater than or equal to 1?
False
Let i = -248513/165674 + 1/82837. Let s(g) = g**2 + 6*g + 3. Let l be s(-5). Let u be (-1 - (0 + l)) + -2. Which is greater: i or u?
u
Let d = -3104 + 2978. Let k = 48 + -47.9. Which is smaller: k or d?
d
Suppose 0 = -26*c + 18198 + 20883 - 9545. Is c smaller than 1147?
True
Let n = 311 + -315. Let o be (40/12)/((-138)/9 + n). Are 1 and o nonequal?
True
Let p be 1*(1 - (2 + -2)). Let l = -235561/69 - -3414. Which is bigger: p or l?
p
Let t = 2799353/473 - 65102/11. Suppose -4*b = i - 5*b - 1, -3*i - 4*b = 11. Do t and i have the same value?
False
Let b be (-4)/(-28) - (-261)/(-63). Let y be (-82)/205*(-5)/b. Do -288 and y have the same value?
False
Let b(o) = -10*o - 55. Suppose 5*r + 30 = 2*s, 2*s - 32 = 4*r - 8. Let z be b(r). Suppose 6 = z*c + 3*n + 3, 3*n = -3*c + 3. Which is smaller: 2/47 or c?
c
Let c = -33445 - -32638. Which is smaller: c or -808?
-808
Let l = -111044/13 - -8542. Which is bigger: -68/5 or l?
l
Let d = 51 + -31. Suppose 4*f = 4*c, 3*f - 7*f = -d. Suppose -3*n + 21 = -2*t, n + c*t = 6*n - 40. Do 11/2 and n have different values?
True
Let h = 6661 - 3729. Let r be h/(-28) - ((-156)/42 + 4). Is -107 bigger than r?
False
Let w = -2566 + 2566. Let x(v) = v**3 + 2*v**2 - 2*v - 2. Let s be x(2). Suppose 0 = 2*q - 0*q - s. Is w at least q?
False
Let r be -6 - (68/(-10))/(-1)*3015/(-36). Is r less than or equal to 564?
True
Let t be (-1 - 10/(-3))*-4. Let w = 313391.4 + -313391. Which is smaller: w or t?
t
Let h = -93 - -97. Suppose -r + 2*r = 3*d - 5, h*r - 2 = d. Let t be r/(28/(-35) - 2/10). Which is smaller: -4 or t?
-4
Let g(d) = -d + 2. Let x be g(8). Let a be (-12)/x + (-48)/25. Suppose -4*l + 16 = -5*v, 6 = -2*v + 2*l - 2. Which is smaller: v or a?
v
Let r = 1754/11361 + -32/541. Is -171/7 bigger than r?
False
Let t(w) be the third derivative of -w**7/5040 + w**6/40 + w**5/15 + 8*w**2. Let b(n) be the third derivative of t(n). Let q be b(-9). Is q >= 28?
False
Let k = -16850 + 32647. Is 15797 != k?
False
Let w be ((-14)/5257)/1*(-34)/187. Which is smaller: 0 or w?
0
Let y = -522 - -365. Let t = 224 + y. Suppose 910*l - 914*l + 4*z - 24 = 0, -4*z = -20. Is t greater than or equal to l?
True
Let v be (-6 - -857) + (-4 - (2 - 3)). Which is greater: v or 4234/5?
v
Suppose -34 = -5*f + 1071. Suppose 4*j = -5*x + 140 + f, 2*j = 3*x + 153. Are 85 and j equal?
False
Let b = -10583 - -11217. Are 3169/5 and b nonequal?
True
Let o = -0.07 + 0.05. Let f = -60 + 61. Let r be f*4 - 154/42. Is r at least o?
True
Let i(m) = 36*m**2 - 170*m - 1750. Let o be i(-11). Is o at least as big as 13426/3?
True
Let k = 71.3669 - -2.6331. Is k at most -27?
False
Suppose -4*i - 16228 = -l, 7*i - 5*i + 5*l = -8114. Are i and -4057 non-equal?
False
Let i(j) = -j + 15. Let v(d) = -d**3 - d**2 + 4*d + 4. Let x be v(-1). Let u(z) = -2*z + 14. Let g be u(x). Let h be i(g). Which is smaller: 8 or h?
h
Let c be (27 + (-19767)/627)/(-6 + -1). Is c less than or equal to 0?
False
Suppose 69*s + 445 = -245. Is s != 1/9?
True
Suppose -2*k = -2*l - 928, -l = 5*k - 1306 - 1014. Suppose 0 = 8*u - k + 72. Which is bigger: u or 50?
50
Let w = -179.7 + -0.3. Let o = 9097 + -9096.9. Which is smaller: w or o?
w
Let p = 0.07 + 8.93. Let z(f) = -5*f**3 + 6*f**2 - 3*f + 51. Let o(m) = m**3 + m**2 - m - 1. Let v(l) = 6*o(l) + z(l). Let h be v(-13). Is p less than h?
False
Let o = -150 + 324. Let r be 6*4*o/(-18). Which is greater: -231 or r?
-231
Let k be ((8/10)/(-2))/(136/80). Let y be (-6)/2 - 32/(-8). Suppose 0 = -5*v - 2*z - 6, 0 = -v + z + 2 + y. Is k <= v?
True
Let b = 35 + -25. Let i be (4/b)/(18/(-10)). Let j = 17.8 + -19. Is j at most as big as i?
True
Suppose 21 + 11 = 8*h. Let o be (2/h)/((7/388)/1). Is 27 at least as big as o?
False
Suppose 133*i - 130*i = 4*j + 31692, -2*i