?
z
Let v(h) = -h**3 - 3*h**2 + 4*h - 13. Let j be v(-5). Suppose 0 = j*l - 16*l - 12. Suppose -l*g = -15*g - 12. Is -4 less than g?
False
Let t be 162/9 - 12208/504. Suppose -n - 10 = -6*n. Is t >= n?
False
Let l be ((-2)/9)/(-1) - 56264/(-18). Is 3126 < l?
False
Let z = -132833/15 - -8860. Is z less than or equal to 5?
True
Let m(p) = -2*p - 1. Let g be m(3). Let h be (-1)/g - 24/21. Let s = -635.3 + 694.3. Which is smaller: h or s?
h
Let d be 3403/663 + (31 - 35). Let a = 16/13 - d. Is a < 1?
True
Let w = 1759 + -33409/19. Let i(c) = -2*c - 19. Let h be i(-11). Suppose 10 - 7 = h*b. Which is smaller: w or b?
w
Let f = 826 - 28. Suppose -7*w = 14*w + f. Are w and -37 equal?
False
Let p = 6.746 + -146.746. Is -0.4 equal to p?
False
Let n(b) = -b**2 + 4*b - 3. Suppose 7*x = -3 + 10. Let d be n(x). Let t be 12/(-18)*(-12)/(-15). Are t and d non-equal?
True
Let o = -472.32 - -494. Let r = o + -20. Let i = r + 0.32. Which is smaller: -1.2 or i?
-1.2
Let p(s) = 7*s + 38*s**2 - s**3 - 153 + 4*s - 21*s. Let a be p(37). Is 846 > a?
False
Let k = -2672.3 - -72.3. Does 0.1 = k?
False
Let h be (-4969)/((-2)/((-22)/(-47))). Let x = h - 1163. Does 1 = x?
False
Let a(s) = -s**3 + 15*s**2 + 35*s - 24. Let o be a(17). Let b be (-31)/(-10) - 6*o/(-70). Is b smaller than 1?
False
Let m = 391/6 - 4894/75. Which is bigger: m or -1?
m
Let y(j) = -14*j + 30. Let t be y(-8). Let f = 152 - t. Is 32/3 less than f?
False
Let u = 62601783/2 - 10203141639/326. Let y = -2911 + u. Suppose -4 = -3*p + 7*p. Which is bigger: y or p?
y
Let v(z) = -166*z**3 - z**2 + 1. Let u be v(-1). Suppose -174*k = -u*k. Let h be (-34)/32 - (-1)/2. Which is smaller: h or k?
h
Let y = 2 - 2. Let v = -6.27895 - -0.27895. Which is smaller: v or y?
v
Let r = -23745657/2263 - -10493. Is 1 at most r?
False
Let s(h) = 8*h - 8*h - 20*h - 17*h + 259. Let t be s(7). Which is smaller: t or -4/219?
-4/219
Let k(w) = -4*w - 7. Let g be k(-3). Suppose 23 - 3 = g*a. Suppose -156 = a*b + 2*b. Is -26 at most as big as b?
True
Let l be (-8)/(-6)*(-24)/(-112) + 2/(-56). Which is bigger: l or -223?
l
Suppose a - 82 = -3*j, 2*a + 38*j - 36*j = 148. Which is bigger: a or 117?
117
Let h = 25 - 55. Let k(f) = -11*f**2 + 41*f + 40. Let m be k(5). Is h greater than or equal to m?
True
Let c = -236 - -238. Let b(s) = -s**2 - 7*s + 3. Let r = -25 - -18. Let z be b(r). Which is greater: c or z?
z
Let p(n) = 2*n**3 + 52*n**2 - 35. Let y(z) = 2*z**3 + 52*z**2 - z - 35. Let m(c) = 5*p(c) - 6*y(c). Let f be m(-26). Is f bigger than -122?
True
Let b = -3928 + 3927.927. Is b > -2?
True
Let v(j) = -7*j**2 + 45*j + 725. Let i be v(-13). Which is smaller: i or -1044?
-1044
Let c = 13.1 + -14.78. Let v = 1.59 + c. Is 0.4 >= v?
True
Let j(t) = -t**3 - 49*t**2 - 131*t + 20. Let b be j(-3). Which is bigger: b or 2/134881?
2/134881
Let s = -386 - -408. Suppose s*n + 28 = 15*n. Suppose 2*i + 3*i = -20. Is n less than i?
False
Let m be -2 + 64 + -3 + -2. Let g = m + -59. Which is smaller: g or -10/3?
-10/3
Suppose 11 = -4*x + 3. Let t be x - 1/(-5)*0. Are 32 and t unequal?
True
Let l = 144328 + -144340. Let n be 2*((-46)/4 - -2). Is n not equal to l?
True
Let o be 2/(-4) + (-1417)/218 + 7. Which is smaller: -7/804 or o?
-7/804
Let b(n) = 26*n + 274. Let w be b(-11). Suppose -59 = -5*r + 1. Let g = r + w. Is g at least as big as 1/23?
False
Suppose 2*q + 64 = -4*d, -4*d + 2*d = 5*q + 168. Let x = q - -118. Let g = 180431 - 180346. Which is smaller: x or g?
x
Let b = -0.42 - -0.462. Let m = 1.042 - b. Let g = -6.1 + 1.1. Which is smaller: m or g?
g
Suppose 0 = 4*r - 2*g - 296, 2*r = 5*r + 3*g - 231. Do r and 76 have the same value?
False
Let d be (-11)/((-1914)/(-12))*1. Suppose m = -3*b + 21 - 22, 5*b = m + 1. Which is smaller: m or d?
m
Let r(f) = -f**3 + f**2 - 2*f + 2. Let m be r(0). Suppose 5*p + 0*y + y - 244 = 0, m*p - 97 = -y. Let o = 44 - p. Which is smaller: 3 or o?
o
Let b = 553 - 141. Let o = -14007/34 + b. Let l be 1 - 0*(-2 + 1). Which is smaller: o or l?
o
Let f = -510 + 510.3. Let i = 21.7943 - -0.0157. Let d = 22 - i. Which is greater: d or f?
f
Let l(n) = n**3 - 10*n**2 + 18*n - 5. Let d be l(8). Suppose 13*m + d*m = -96. Let b(a) = 2*a + 1. Let u be b(-1). Is m at least u?
False
Let n be (-6)/(-18)*-3*-2. Let w be ((-10)/3)/(n + (-28)/21). Which is greater: 4 or w?
4
Let c(k) = -k**3 + k**2 + 11*k + 11. Let q be c(4). Let n be ((-4)/6)/(485/75 + q). Which is greater: n or 1?
1
Let r be -6 + 1*(-149)/(-357). Let h = 37/51 + r. Which is smaller: h or -5?
-5
Let h(p) = p**3 - 3*p**2 - 2*p - 8. Let k be h(4). Suppose -5*z - 5*r + 6*r = 0, -2*z + 3*r - 13 = k. Which is smaller: 2/883 or z?
2/883
Let n be (3 + -6)/((-24)/(-104)). Suppose 0 = -p + 2. Suppose -p*z - 90 = 4*z. Is z greater than n?
False
Suppose 0 = 3*p + 2*p + 515. Let i = -97 - p. Suppose -9*u + i = 6. Which is smaller: u or -1/14?
-1/14
Suppose 2*s + 4*d - 35 + 7 = 0, -3*d = -2*s + 35. Let c be (16 - s)*(-2)/(-6). Which is smaller: 1/281 or c?
c
Let s(u) = 337*u + 2023. Let l be s(-6). Which is bigger: l or -6/2233?
l
Let x = 3236.7 - -254.3. Let u = -3477.987 + x. Let j = u + -0.013. Which is smaller: j or -1?
-1
Let k be 25/30*(1 + 11). Suppose -4*r = -3*d - 19, 5*r = -2*d + 3*d + k. Is r <= 1?
True
Let r = -84.592 - 0.008. Let w = r - -95. Which is smaller: -3 or w?
-3
Let d(h) = -h + 1. Let x be d(-1). Suppose -x*n = -n - 2. Suppose -z - 20 = 3*l + 9, 10 = -n*z. Which is smaller: l or -9?
-9
Let f be (16/(-28))/(10/14). Let z = f + -157/10. Let g be 0 + 0 + -17 + 0. Is z <= g?
False
Suppose -4*c - 3 = 5*o, -2*o + 5*o = 2*c + 7. Let w(z) = -115*z**3 + 340*z**3 - 1 - 109*z**3 + 3*z**2 - 2*z**2 - 113*z**3. Let a be w(o). Is 3 at least a?
True
Let h = 12.8 - 14.06. Let x = h + 0.46. Let p = 7 - 5. Is p less than x?
False
Let q = 0.3346 + -6.7066. Let g = 6.2 + q. Let t = g + -0.028. Is t at least -8/3?
True
Let d = -4331 - -4330.958. Let q be (4 + -6)/(-4)*(-3)/(-6). Is q >= d?
True
Let b(o) = 9*o**3 - 13*o**2 - 6*o + 4. Let a be b(-3). Let p = a - -325. Is p > -11?
False
Let y = 200.015 - 0.015. Let h = y - 133. Which is smaller: -0.1 or h?
-0.1
Let p = -317 - -316.59. Let x be 76/266 - (-4)/(-7). Is x less than p?
False
Let b = -8 - 3. Let f = 435 + -449. Is b greater than or equal to f?
True
Let j = 116 - -4. Suppose 0*y + j = 5*y. Suppose 569*c - 2711 - 12434 + 1489 = 0. Is y equal to c?
True
Let v = 334/85707 + -6111968/3342487293. Let w = 1/1322 + v. Which is greater: w or 0.1?
0.1
Suppose 2*m + 1464 = -2*b, -3*m - 1190 = b + 1004. Do m and -734 have the same value?
False
Suppose -10*w = -6 - 14. Let n be (w/3)/((-2)/3). Let c be 3/(-2)*(3 + n). Do -7/4 and c have different values?
True
Let r = 2 - 3. Let o = 495173/12 - 41265. Which is smaller: r or o?
r
Let g = -5860536823/17627 - -332475. Is g at least -1?
True
Suppose 6*o - 3*o + 2*b - 10 = 0, 0 = -3*o - 4*b + 20. Let c = -302/35 + 59/7. Is c greater than o?
False
Suppose 69*j = -10034 - 10147 - 36054. Is j at least -812?
False
Let o be (4 - 6) + -2*8. Suppose 4*x + a = 4*a + 27, 12 = 4*a. Suppose 0 = -x*k - 117 - 54. Is k less than o?
True
Suppose -3*l - 19 = m, m = 3*l - 2*m + 27. Let n(x) = -75*x - 73 + 205*x - 136*x + 22. Let w be n(l). Is w >= -10?
True
Suppose -256 = 9*z + 7*z. Let i be z + 10/(-80) + 66/16. Is i < 2?
True
Suppose 4*m + 315 = 99. Let q = -2/6481 + -1762822/32405. Which is smaller: q or m?
q
Let i(y) = 2*y**2 - 22*y - 24. Let n be i(12). Let f be 4/4 + 0 - (n + 2). Are f and -1/368 equal?
False
Suppose -786 = 5*a + v + 3950, 0 = 5*v + 5. Let t = a + 928. Suppose 4*x = -x - 95. Are t and x unequal?
False
Let h = -103 - -185. Let r = 82.08 - h. Suppose -5*i + 4*t + 9 = 0, -i = -t - 0*t - 2. Which is bigger: i or r?
i
Let j(f) = f**2 + 3*f + 6. Let u be j(-4). Let x = 2437458/5 + -485725. Let d = x + -1758. Is u < d?
False
Let w = 52 + 1. Let z = w + -52.8. Let a = 133 - 663/5. Is z > a?
False
Suppose 4*v = 11*o - 8*o, -4*v = -2*o. Which is greater: o or 42/31?
42/31
Suppose -454 = -17*p + 192. Suppose -3*y + p - 65 = 0. Suppose -z - 10 - 3 = 0. Which is smaller: z or y?
z
Suppose -978 = 3*n + r + 217, -3*r + 793 = -2*n. Are -396 and n non-equal?
True
Let n = -1547/352 + 48/11. Let h be (4/(-1) + 2 + 0)*-3. Suppose -h*z + 5 = -11*z. Is n greater than z?
True
Let n = 0.1443 +