Let w(t) = -32*t**2 + 0*t**3 + 8 + 25*t**2 - t + t**3. Let p be w(7). Is p < z?
True
Let f be (1/12)/((-17)/74). Let r = f + 1/34. Let v be -6 + (-272)/(-51) - 31/(-33). Which is smaller: r or v?
r
Let d be ((-3 - -1) + -2)*45/(-90). Suppose 16 - 17 = -p + n, -d*p - 4*n = -14. Which is smaller: p or 64/15?
p
Suppose -63*o + 61*o = -7*t - 23, -4*t - 14 = -2*o. Let v(z) = z**3 - 11*z**2 - 13*z + 4. Let n be v(12). Let u be (-6)/n + (-6)/24. Is u greater than o?
False
Let i(b) = b - 4. Let k be i(3). Let v be (5 + (-28)/5 - (-7230)/11800)*4. Which is smaller: v or k?
k
Let b be -34*(-20)/(-784) - 5/(-10). Let n = -525 - -524. Is b at most as big as n?
False
Let m = 3464/3 - 1154. Let o(h) = 2*h**2 + h - 5. Let k be o(4). Suppose -4*n + k = -21. Are m and n equal?
False
Let u = 62945 + -111979159/1779. Is 0 greater than u?
True
Let f = 488 + -1459/3. Let p = 6 + -5. Let i be (p - -1) + (-3 - -1). Which is greater: f or i?
f
Let g = -22 - -13. Suppose 4 = -5*p + 7*p. Let q be (90/25)/((-1)/(5/p)). Is q > g?
False
Let i be (16/(-12))/(3/(-54)). Let d = i - 191/8. Which is smaller: d or 2?
d
Let k be ((-47)/1)/((-1)/6 + (-17)/102). Are 161 and k equal?
False
Let y(d) = 3762*d - 314. Let j be y(-2). Which is smaller: -7839 or j?
-7839
Suppose 2*d = 4*g + 5010, -g - 663 - 582 = d. Is g > -2/5?
False
Let u(p) = -3*p**3 - 14*p**2 - 31*p - 2. Let b(k) = k**3 + 7*k**2 + 16*k + 1. Let x(c) = -5*b(c) - 2*u(c). Let r be x(9). Is -68 less than or equal to r?
True
Let o be 86/473 - 1091/11. Let x be (-18)/o - 2/11. Which is smaller: x or -16?
-16
Let p be (28/(-20) + -7)*(2 + (-33)/9). Let k(u) = 14*u**2 + u + 1. Let r be k(-1). Is r > p?
False
Let s = 0.10608 - 0.04608. Do 118 and s have the same value?
False
Let m = 8599/1912 + 5/1912. Let q be ((-117)/(-6))/(9/(-48)*-4). Are q and m equal?
False
Suppose -5*h + 3*d - 6*d = 30, -d = -3*h - 4. Suppose -2*j + 4*v + 100 = 0, -3*j - 3*v = j - 145. Suppose 0 = 14*y + j + 30. Is h bigger than y?
True
Let a = -1859/5340 + -1/534. Which is smaller: a or 6?
a
Let m(b) = -57*b - 5. Let n be m(11). Let o = 5698/9 + n. Suppose -2*i - 2 = -6. Which is bigger: i or o?
i
Suppose -775 = -2*u + 2*q - 297, 0 = 3*u + q - 701. Are 229 and u nonequal?
True
Let d be (-376)/12 + (-10)/15. Is d bigger than 0?
False
Suppose 165714 - 482331 = 21*m. Is -15078 at most m?
True
Let k = -93.039 + 93. Let d = 10.039 + k. Let r = 9.93 - d. Is 0.1 greater than r?
True
Let a = -93 - 579. Let v = a - -686. Which is bigger: -1.5 or v?
v
Suppose 149*h = 159*h - 360. Which is bigger: h or 1.8?
h
Suppose -3*v + 0*i = 3*i - 26562, -4*v + 35452 = -5*i. Suppose -23*l - v - 4091 = 0. Is l greater than -562?
False
Let w = 428 + -406. Let x be (-1 - (-1771)/w)*2/(-3). Which is greater: x or -50?
-50
Suppose 136*w - 18 = 118. Is 54/113 at least w?
False
Let y be (-19 + 22)*8/(-3). Is y smaller than -173?
False
Let p(d) = -162*d**3 + 5*d**2 - 6*d + 1. Let a be p(1). Which is greater: 0.06 or a?
0.06
Suppose -1152 = 209*n - 65*n. Let u = 50/37 - 2126/259. Is u not equal to n?
True
Suppose h - 2*h + 5*q + 13 = 0, -4 = 5*h - 2*q. Let c be (-20)/(58900/1685) + 3 + (-1)/38*118. Which is greater: c or h?
c
Let y be 171/7 + (-6)/(-14). Let q = y - 21. Suppose w = -4*p - 4*w + 7, -3*w - 3 = 0. Is q not equal to p?
True
Let p = 43/144 + -11399/35280. Let b = p + 298/735. Suppose 0 = -2*q - q. Which is greater: b or q?
b
Let p = -46.902 - 0.098. Let c = p + 43.9. Let k = c + 3.1. Is 2 less than k?
False
Let n(h) = -186*h + 1542. Let i be n(7). Let c be 4 + ((-1)/1)/(-1). Suppose 0 = -c*m - 340 - i. Which is bigger: -115 or m?
-115
Let s = 521.211 - 1.211. Let x = -346 + s. Which is smaller: 1 or x?
1
Let j(c) = -35*c + 107. Let v be j(3). Let o(r) = -r**3 + 6*r**2 + 2*r + 8. Let f be o(6). Suppose 4*g - u - 37 = 0, 3*u + 1 + f = v*g. Is g >= 9?
True
Let y(z) = -3*z**3 + 139*z**2 + 90*z + 188. Let q be y(47). Which is smaller: -16/1435 or q?
-16/1435
Let x = 20 - 13. Let m be ((-1)/x)/(2/270). Is m greater than -19?
False
Let d(o) = 28*o**2 + o + 1. Let r be d(-1). Let f = 25 - r. Let z(j) = 3*j**2 + 6*j - 4. Let h be z(f). Do -1 and h have the same value?
False
Let x be ((-738)/21)/(-6) + 1/7. Let g = x - 261/43. Is g != 0?
True
Let z(c) = 8*c - 75. Let w be z(9). Let b be (w/((-9)/2))/(172/(-24)). Are b and -1 non-equal?
True
Suppose 5*x + c + 949 = 0, -20*c + 23*c + 390 = -2*x. Let d be 2/11 + x/11. Does d = -0.2?
False
Let n be ((-236)/826)/(2183/(-42)). Which is smaller: n or 0?
0
Let m be (4/520)/(1/(-2)). Let q(h) be the third derivative of h**6/120 - h**5/12 - h**4/24 + 5*h**3/6 + 8*h**2. Let w be q(5). Is m >= w?
False
Suppose -4*g = -4*u, 7*u - 3*g - 4 = 2*u. Let q be 51/15 + u*(-12)/(-40). Is q greater than -15?
True
Suppose 875 - 1864 = 34*g + 3533. Suppose -3*f + 3*c - 390 = 0, -4*f = -3*f - 3*c + 124. Is g smaller than f?
False
Let y(g) = 16*g**2 - 5*g + 36. Suppose -19 = -28*u + 93. Let k be y(u). Is 272 less than or equal to k?
True
Let d = 247 - 233. Let l = 13.9 - d. Do -2/13 and l have the same value?
False
Suppose -115*w + 110*w + 2*l = 14450, 0 = 3*w + 4*l + 8670. Is w less than -2891?
False
Let a be 2/(-14) - ((-76)/228)/(14/(-540)). Is a greater than -52/9?
False
Suppose -3*q + u + 36 = 0, 0 = -u + 3*u - 6. Let c be 363/9 - 3/9. Let d = c + -26. Is d bigger than q?
True
Let s(x) = -22*x + 239. Let a be s(10). Suppose -a*c + 51 - 32 = 0. Which is greater: 36/35 or c?
36/35
Suppose o - 5*j - 40 = 0, 4*j = -3*o - j + 40. Let p be o/(-2)*24/(-240). Is p smaller than 24/23?
True
Suppose 3*f = w + 6, 0 - 15 = 5*w. Suppose 0 = 266*j - 256*j + 5910. Let y = -51416/87 - j. Which is smaller: f or y?
y
Suppose 4*d + 76 - 62 = 2*b, 2*d - 4*b = -28. Is 4/8069 at most d?
False
Let b = 15.04 - 15.24. Is 1121 smaller than b?
False
Let k be (-8)/28 + (0 - (-100)/154). Let l(a) = a + 4. Let u be l(-1). Suppose -5*o - u - 1 = -j, -2 = o + j. Which is bigger: k or o?
k
Let z = 592 + -592.17. Let w = 0.4 + -0.23. Let v = w + z. Is 29 less than v?
False
Suppose -4*q - 4*h + 9*h = 149, -79 = 2*q - h. Let t be 4/48*4 + 511/(-12). Is q smaller than t?
False
Let z(r) = -8*r**3 - 1. Let l be z(1). Let o be (-4)/52 + 3 + 207/(-13). Is o smaller than l?
True
Let a(r) = r**2 + 124*r - 1057. Let m be a(8). Which is greater: -94/297 or m?
-94/297
Let b = -11382 - -11382. Let t be (0 - -1)*(3 - 0). Which is smaller: b or t?
b
Let l(k) be the second derivative of k**3/6 + 10*k. Suppose 4*m - 126 = -98. Let b be l(m). Is 2 at least as big as b?
False
Suppose -5*h = -3*l - 19, 0 = -5*l - 2*h - 2 - 9. Let w be (4/(-3))/((-33)/9 - l). Let q(m) = m**2 - 4*m + 2. Let g be q(w). Is 0 greater than g?
True
Let j be (2 - (160/14 - 3)) + (-123)/(-287). Let h be (3/(-11))/((-16)/(-272)). Which is smaller: h or j?
j
Let l = 2 - -10. Let o be (-9)/l*(-14)/(-6). Is -1 at most o?
False
Let z = -13.512 - -6.512. Are -157 and z nonequal?
True
Suppose 2*h - 3 - 7 = 0, -5*h = 3*y - 28. Let d = 0 - -107. Let j be 3*16/(-120) + d/255. Is j at least y?
False
Let c = -2/509 + 1144/32067. Let v(g) = g**2 + 2*g + 1. Let p be v(-2). Let u(y) = -y. Let k be u(p). Which is smaller: c or k?
k
Let w = 4434 - 4273. Which is smaller: w or 202?
w
Let i be -1*(-61 - 2) - -1. Let x be (-4)/26 + (-9161)/(-143). Let w = x - i. Which is smaller: -1 or w?
-1
Let n be (-3*15/27)/(100/(-24)). Which is smaller: -0.0182 or n?
-0.0182
Let d be 6/(-2) - (3 + 1)*(-17)/20. Which is smaller: d or 771?
d
Let t = -6668 - -6760. Which is greater: t or 6/7?
t
Suppose 4*b = -6 + 58. Suppose 4*r = -k + 8*r + b, 5 = 2*k - r. Which is smaller: 2/393 or k?
2/393
Suppose -62 = 3*j - 80, -j = 5*u - 1181. Which is greater: 1654/7 or u?
1654/7
Let q be (-9)/(144/(-116))*4. Suppose g + g = -3*n + 33, -q = -g - 4*n. Is g <= 22?
True
Let a(b) = b**2 + 44*b + 189. Let s be a(-9). Which is smaller: s or -92?
s
Let l be 2/8 - 5/4. Let m = 2201/10 + -1108/5. Is l at least as big as m?
True
Suppose 11386 = l + 2*l + 5*q, 11336 = 3*l - 5*q. Is l > 3788?
False
Suppose r - 4*w = -229, -2*r - 5*w = -7*w + 458. Let h = r - -231. Let j = 6 + -9. Is j < h?
True
Let u(g) = -g**3 + 6*g**2 - 10*g + 27. Let k be u(5). Suppose n + 3*l = -25, -n = n - k*l + 10. Which is greater: 1 or n?
1
Let x(l) = 39*l**2 + 2. Let w be x(1). Suppose -3*j - 3 = -3*u, 3*u