g(w) = -w**2 + 20 - 46 - 5*w - 8*w - w**3 + 48. Let q be g(7). Is -461 > q?
False
Let g = 27.9801 - 28. Let n = g - 41.5801. Let l = n + 42. Is 4 < l?
False
Suppose -6*u - 105 + 93 = 0. Let a be (3/u)/(17/(272/24)). Is a greater than -8/17?
False
Suppose -2*k + 0*k - 3 = y, 5*k + 4 = -2*y. Let r be y - (1 + -8 + 4) - 1. Is r at least as big as 0.2?
False
Let v(a) = -4031*a**3 + 4*a**2 - 16*a + 13. Let x be v(1). Which is smaller: x or -4028?
x
Let q = 6284 + -5896. Do q and 0.7 have the same value?
False
Let h be 43 - (-6 + 4 + 0). Let s = h + -41. Suppose 5 = -3*c - s*q - 0, q = 5*c - 7. Is c >= -2/55?
True
Let w = -47845 - -47816. Let k be (-602)/22 + 0 + -1. Is w greater than or equal to k?
False
Let m = 31.87 - 40.41. Which is bigger: 10 or m?
10
Let y = 60 + -247. Let f be (-179 - (4 - -6)) + 2. Is f greater than y?
False
Let v = 2131 - 1966. Which is bigger: 491/3 or v?
v
Let t be ((-28)/(-3))/(4/72). Let r = -504 - -671. Which is bigger: t or r?
t
Let a(b) = -6*b**2 - 264*b + 357. Let w be a(-25). Which is smaller: w or 3208?
w
Let a = 259 - 316. Let d = a + 64. Which is bigger: d or 11?
11
Let y be (1 - (-1716)/28 - 6)*28. Are 1577 and y unequal?
True
Let r be (-38 + 33)/((-5)/4). Let v(y) = -y**3 - 2*y**2 + 9*y + 13. Let c be v(-4). Suppose -3*p + a = p - 3, c = -3*p - 3*a. Is r greater than p?
True
Let s = -10180 - -10104. Which is smaller: -615/8 or s?
-615/8
Let o = -29.7 + 28. Let j be -4*(-6)/(-8) - 69/(-21). Which is smaller: j or o?
o
Let l = -101 + 81. Suppose 3*h + s = 2, -3*h + 2*s + 4 = -5*h. Suppose h*u = -u - 63. Which is bigger: l or u?
l
Let y(f) = 3*f**2 + 2*f - 3. Let z be y(-5). Suppose 0 = -p - 5*v + 111, 4*p - 4*v = -0*v + 372. Let k = z - p. Is -35 greater than or equal to k?
False
Let s be 1/(-3 + 21/6). Let l be s*(-2)/4*11. Let t = 3 + l. Is t < -8?
False
Let m(h) = 6*h**2 - 17*h + 158. Let g be m(8). Is 405 < g?
True
Let q = 370 + -168. Let m = q - 212. Is m != 8/5?
True
Suppose 40 = -7*m + 19. Let b be 630/(-159) - (-1 + m). Is b equal to -1?
False
Let m(k) = 46*k + 1136. Let b be m(-25). Let z = 1/308 - 9165/616. Which is smaller: b or z?
z
Suppose 1558 = -17*u + 21*u - 2*d, 5*u + 3*d = 1920. Let z = u + -364. Which is greater: z or 25?
25
Suppose 31*z - 32*z = 14. Let u be (-21)/z*(4/(-3) - 0). Let g be u/10 - ((-24)/10)/(-3). Is -5/6 greater than or equal to g?
True
Suppose -122*o = -138*o + 80. Suppose -4*y - 8 = 0, 2 = o*d - y + 5. Which is smaller: d or -6/11?
d
Let i be -10 - 1/(1*2/(-4)). Let u be 1/i - (-2439)/(-72). Let s = 681/20 + u. Is s less than 1?
True
Let g = -47/14 - -1907/567. Let x = 761/7938 + g. Which is bigger: -1 or x?
x
Let x be (-1)/((-4)/(-5) - (-4 + 5)). Suppose -2*v + 0*v + x*f = -83, -102 = -3*v + 3*f. Let c = v + -23. Is 6 at most as big as c?
True
Let i(g) = -14*g + 64. Let u be i(5). Let d(a) = a**3 + 5*a**2 - 18*a - 25. Let x be d(u). Is 46 greater than x?
False
Let r = 4489 - 3632. Is r at least 858?
False
Let p be (0 + 35)*(-71)/(-7). Is 375 bigger than p?
True
Let a = -21800 + 18602. Are -3198 and a unequal?
False
Suppose -4*z = -z + 5*o + 31, -o = 5*z + 37. Let y be -2*z/42*579. Is y equal to 192?
False
Let i = -9644 - -38807/4. Let t be 20 - 375/(-10) - 1/2. Which is bigger: t or i?
i
Suppose 4*t + 26 + 2 = 0. Let f = 1064 + -1066. Let a be f*(-34)/224 - (-3)/t. Is 1 smaller than a?
False
Let q(d) = 5*d**3 - 19*d**2 - 26*d - 128. Let y(n) = -13*n**3 + 56*n**2 + 79*n + 385. Let b(j) = -8*q(j) - 3*y(j). Let r be b(-14). Is r smaller than -115?
True
Let a be (-1)/((-12)/(-14) - 1). Let m = -1461 - -1422. Let i be 11 - (-13)/(m/9). Which is greater: a or i?
i
Let n = -16786/8901 - -84/43. Is -1 != n?
True
Let l be 114/1083 + (-1908)/76. Is l <= 41?
True
Suppose -33 = 13*p + 162. Suppose 5*m - 10 = 0, -m = -2*c - 0*c - 36. Which is smaller: c or p?
c
Let i(b) = 33*b**2 - 145*b + 657. Let l be i(4). Which is smaller: 619 or l?
l
Let z = -1275/14 - -641/7. Which is bigger: 218/9 or z?
218/9
Let f be (4/3)/((-20)/(-1470)). Which is greater: 684/7 or f?
f
Let r = -198359542/5485 - -36164. Which is smaller: r or 0?
r
Let a = 40 - 37. Suppose -2*d = -s + 2*s, 10 = a*s + d. Suppose 0*z + 4*z + 5*x = -1, 4*x = -s. Is 2/139 greater than z?
False
Let m be -4205 - (60/(-16)*-1)/(3/4). Which is greater: -4209 or m?
-4209
Let d be (-448)/(-48) + -1*2/6. Suppose m = 10*m - d. Is -3/71 bigger than m?
False
Suppose 0 = 37*d - 5*d - 32. Let y = -19 + 22.4. Let u = y + 2.6. Does d = u?
False
Suppose 4*u - 8 = 0, n - 3*u = -4*n + 174. Suppose 40*f + 156 = n. Is -3 >= f?
True
Suppose j + 3 = -2*m + 18, 4*j = -3*m + 25. Suppose -6*v = -m*v + 32. Let o be (v/6)/1 - 2/(-3). Is 3 less than or equal to o?
True
Suppose 0 = -1208*n + 1212*n + 132. Which is smaller: n or -132?
-132
Let l = 320/3 + -1403/12. Is -9 < l?
False
Let h(w) = -17*w**3 + w**2 - 15*w - 26. Let z be h(-2). Which is smaller: 127 or z?
127
Suppose 2*l - 50 = 3*s - 3*l, -4*s + 2*l - 62 = 0. Let w be (-1903)/(-272) - (22 + s). Which is smaller: w or -1?
-1
Let l = -27 + -3. Let h = -16.7 - -46.6. Let s = h + l. Is s less than -6/5?
False
Let g = -1613 + 11293/7. Is 30.8 less than g?
False
Let u be 164916/96 + (-2)/(-16). Are u and 1717 nonequal?
True
Let x be 0/(-7) - (1/(-10) - 225/250). Which is bigger: 1/2624 or x?
x
Suppose -w - 10 = -6*w. Suppose 3*b - 27 = 3*m, 20 = -w*m + 7*b - 4*b. Is m at most as big as -25/3?
False
Let t = 922 + -874.1. Let o = t + -47.96. Is o equal to -6?
False
Let j = -553 - -803. Which is bigger: j or 251?
251
Let x(j) = -j**3 - 19*j**2 + 80*j + 4. Let q be x(6). Is q >= -425?
True
Let u = -140 + 91. Let o = 48 + u. Let j = -3 - -3.05. Is o smaller than j?
True
Let l = 2 - -7. Let x be ((-1)/l)/(4/(-8)). Let w = 0.10469 - 0.00469. Which is bigger: w or x?
x
Let b = -478 - -475.63. Let t = b + -0.13. Which is greater: t or -0.01?
-0.01
Let m be (-147)/(-14)*12/21. Suppose 2*h + 4*v + 118 = 0, 4*h + m*v + 225 = 9*v. Is -57 not equal to h?
False
Let k(s) = 9*s + 112. Let y be k(-32). Let o = -180 - y. Which is bigger: -36/7 or o?
o
Suppose 0 = 4*l - 0*l + 3*r + 1180, r = 3*l + 872. Which is greater: l or -293?
l
Let t(a) = 552*a - 41. Let k be t(1). Which is greater: k or 512?
512
Let y = -1.2831 - -0.2831. Is 10103 at least y?
True
Let t be (-8)/1*(-198)/(-5165028). Is t smaller than 1?
True
Suppose -82783 = 132*g + 14501. Is g < -738?
False
Let r = 67 + -69. Let m(d) = 13*d + 25. Let t be m(r). Let h be t/(-2) - (-4)/(8/23). Which is greater: h or 0?
h
Let g be 51/6 + (-27)/(-36) + -4. Suppose 10*f - 5*f - 3*i = 28, -3*f = i - 14. Which is bigger: f or g?
g
Suppose -5*x = 2*r - 6, r + 3 = 1. Suppose x*t = a + t + 26, -a + 2*t = 23. Is -28 greater than a?
True
Suppose 5*v - 12 - 19 = -g, -2*g - 5*v + 82 = 0. Suppose -13*i + 6*i = -1477. Suppose -l + i = 4*o + 2*l, -220 = -5*o + 5*l. Is g greater than o?
True
Suppose 0 = y - 2*y. Let j be -3 - (-106 + (1 - -4)). Let v = j + -109. Is y at least as big as v?
True
Let r = 2/49 - 57/196. Suppose 5*n + 51 = j, -3*n + j - 45 = 4*j. Let c = n + 35/3. Do c and r have the same value?
False
Let g = -152 - -154. Let l be 6596/2890 - (-4)/34 - g. Does -26 = l?
False
Let g = -389138 - -2311090588/5939. Which is smaller: -1 or g?
-1
Let y(k) = 3*k**2 - 3*k + 3. Let o be y(4). Let v be -1*6/(-2 - (-72)/o). Let c be 2 + (-4)/6 + (-13)/v. Do c and -4/57 have different values?
True
Suppose 3*k + 1608 = -3*k. Let q = 269 + k. Does q = 1/25?
False
Let k = -90 - -4. Let x = -67 - -66. Let p(h) = 88*h**3 - 2*h. Let t be p(x). Is k greater than t?
False
Let g = -591/1058 + 4746341/11638. Which is bigger: g or 408?
408
Suppose 0 = 2*r - 5*o + 1266, 0 = -2*o + 6 - 18. Is -2595/4 >= r?
False
Let r = 13131 - 13139. Is 501 less than or equal to r?
False
Let d = 0.8022 + -3.8022. Is d smaller than -189?
False
Let j(l) = -18*l**3 + 15*l**3 - 2 + l + 2*l. Let p = 3 - 2. Let m be j(p). Which is greater: m or -12/7?
-12/7
Let s = -379 + 382. Let r = 0 - 0. Suppose r = -7*o + s*o - 4. Is o at most 4/11?
True
Let z be (-8)/12*(0 - 5214/(-4)). Let r = z - -1795/2. Which is greater: 28 or r?
r
Let q = -33793 + 34002. Let c = 4 - 4. Which is greater: c or q?
q
Let m be ((-1)/(-3))/((-262)/(-24) - 11). Let u(n) = -6*n**2 - 40*n. Let a be u(m). Is a > 66?
False
Suppose t = 4*x - 8*x - 20, 2*