-14)/4. Let y(h) = -1 + 65*h - 73*h - u*h**2 + 5 - h**3. Let j be y(-7). Which is greater: j or 13?
13
Let q = -336 + 344. Suppose -729 = -q*l + 191. Is 114 at most l?
True
Suppose t - 3*x = 19 - 3, -3*t = -3*x - 66. Suppose 20 = 5*b + 4*n + 1, -13 = -4*b - n. Suppose 121 = 4*g - 5*r, -2*g = -r + b*r - 38. Is t equal to g?
False
Let k = 259 - 460. Let o = k - -201.2. Which is bigger: -133 or o?
o
Let m = -35 + -31. Suppose -2*i = 2, i - 324 = 7*q - 2*q. Which is greater: m or q?
q
Let n(b) = 9*b - 48. Let w be n(16). Let a = w - 124. Suppose 0*t + 52 = -2*t. Is t bigger than a?
True
Let q(f) = -f**3 - 11*f**2 - 62*f - 396. Let t be q(-9). Is -1/1075 > t?
False
Let j = 3 - 4. Suppose 7*s = 5*s + 104. Suppose -s = -7*y - 10. Which is smaller: j or y?
j
Let u(a) = 2*a**3 - 23*a**2 + 54*a - 37. Let g be u(9). Is 140 <= g?
False
Let x be -1*-1*3*(-176)/(-132). Suppose -x = 3*a - 4. Is a at most 2/441?
True
Let s be (2/36543)/(-4*(-30)/(-72)). Is s smaller than -1?
False
Suppose 2*o + 1250 = 27*o. Let k = o + -49. Which is smaller: -3/79 or k?
-3/79
Suppose -5*k + 640 - 310 = 0. Let v be 6*(-11)/k - (-15)/9. Which is bigger: v or -775?
v
Let q = -93 - -98. Suppose 3*t + 593 = 5*s, -3*s + 17 = q. Do t and -191 have different values?
False
Let a be ((-2)/6)/(2/(-2)). Let o = 91 + -91.156. Let l = o + 0.076. Is a < l?
False
Let l = -59 + 64. Suppose 3*i - 10 = l. Is -9 <= i?
True
Let q = 91 + -33. Suppose -3*h + r = 249, -2*r - q - 25 = h. Are -83 and h equal?
True
Let r(n) = -11*n**3 - n**2 - 47*n - 377. Let q be r(-8). Is q less than or equal to 5567?
True
Let x = -6150 + 6192. Let c = -3/2444 + 518143/12220. Let s = c - x. Which is greater: s or 4?
4
Let i be (-42)/(-9)*3/(-60). Let o = 20931.1 + -20931. Which is greater: i or o?
o
Let i = -61419 - -675083/11. Which is smaller: i or -48?
-48
Let k be 2 + -1 + 10 - (61 - 60). Suppose -k = -17*l - 503. Which is smaller: l or -27?
l
Let s = -4291 - -4091. Are s and -2.2 equal?
False
Let j = -16946.2 - -16886. Is 0.09 at most as big as j?
False
Suppose 197*b = 192*b. Let q be -1*b/(-1 - 2). Which is smaller: q or 1/43?
q
Let l = 2.525 - 2.53. Let c = 0.065 + l. Does c = 0?
False
Let q = -872 - -871.8752. Let r = q - 612.8752. Is r <= 1?
True
Let y be (2 + 4)/((-30)/(-7340)). Which is bigger: 1467 or y?
y
Let x(f) be the first derivative of -f**2/2 - 12*f + 97. Let n be x(9). Is -10 <= n?
False
Suppose -104 + 84 = -5*x. Let u be 0/(-2*x/40*5). Which is greater: u or 12?
12
Let f be (4/(-5) - 0)/((-14)/35). Suppose -21 = -f*a - 17. Let u be (18/48)/(a/56). Which is bigger: 12 or u?
12
Let u(n) = -10*n**2 - 96*n + 5. Let k be u(-10). Suppose 0 = 6*t - 3*t + 105. Is t greater than k?
False
Suppose 4*t = 5*u - 6144, -120*t = -u - 115*t + 1233. Which is bigger: 1227 or u?
u
Let n = 112932/13 - 875231/78. Do -2533 and n have the same value?
False
Suppose 239*z = 241*z + 5*s + 27, -2*s = z + 11. Are -3/2099 and z non-equal?
True
Let u = -122 - -60. Let c = -59 - u. Do -67 and c have the same value?
False
Let m be ((-1482)/96)/19 - (-6)/(-16). Which is smaller: m or -5?
-5
Suppose 4*i + 20 + 1 = r, -2*i - 18 = -2*r. Suppose 0 = r*d, 6 = 4*s + 2*d + 2. Is s at most as big as 5/46?
False
Let n = -3996 - -15592389/3902. Which is bigger: -1 or n?
n
Let k be (-6)/(-16) - (-37)/8. Suppose -k*a - 224 = 3*a. Let d be (1/16)/(14/a). Is 2 bigger than d?
True
Suppose 3*l - 4*d = 9 + 28, -5*l - d + 54 = 0. Let u be (18/4)/(l/(-154)). Which is smaller: -3 or u?
u
Let d(y) = -20*y**3 - y**2 + 3*y - 1. Let q be d(2). Let x be q/(-7) - (-48)/168. Does x = 24?
False
Let t be (-15614296)/(-1041032) - (-2 - -17). Which is smaller: t or -1?
-1
Suppose 4*w - w = -2*b - 189, 5*b + 530 = 4*w. Let k = 112 + b. Is k smaller than 21/2?
True
Suppose -f = -l + 236, 28*l + 3*f + 1192 = 33*l. Which is smaller: l or 1929/8?
1929/8
Let d be (3 + -10)*(-1 + (-1131)/(-21)). Let f = -4447/12 - d. Let l = f - -29/132. Which is greater: l or 0?
0
Let o = -623/8 + 1/8. Let k = 78 + o. Let y = -0.8 - 2.2. Is k equal to y?
False
Suppose 2*p = -2*i - 34, 13*i + 2*p = 14*i + 29. Let o(q) = -2*q**2 - 41*q + 24. Let a be o(i). Which is greater: a or 43/17?
a
Suppose 0 = 2*r + 6, 0*u - 5*r + 1605 = -3*u. Let h = -397 - u. Is h <= 144?
True
Suppose 975*l = 955*l - 30860. Is -1542 smaller than l?
False
Suppose 0 = 123*r - 125*r + 2*l + 70, -l + 217 = 5*r. Which is smaller: r or 804/19?
r
Let p be (-666)/777 - (-74364)/86464. Which is greater: 0 or p?
p
Let u be (-94)/22607*(-2)/(-4). Which is smaller: -1 or u?
-1
Suppose 11 = -5*z + 6. Let c be ((-5)/80*4)/z. Is 31 at least c?
True
Let v be 39/(-18) + 6/36. Let s be (v - 3) + (-15 - -20). Which is greater: s or -2/151?
s
Let r(v) = v**2 - 37*v - 161. Let w be r(41). Suppose -5*g + f - 6 = 0, 0 = -0*g - g + w*f - 4. Are g and 102 non-equal?
True
Let x = -22551 - -22537.3. Is x smaller than -36?
False
Let o(d) = 5*d - 40. Let k be o(13). Suppose -2*c = -k*c. Is 10/11 at least c?
True
Let k(t) = -t**3 + 45*t**2 - 21*t - 985. Let z be k(44). Let h be 842/7 + (-4)/14. Suppose -5*n + h = -n + 2*i, -3*i = 5*n - 152. Is z > n?
False
Let t be ((-2)/2)/(-92) - 0. Suppose -8*f - 51 = 61. Let q = 15 + f. Is q greater than t?
True
Let p(t) = 4*t**2 - 292*t - 3. Let r be p(8). Which is smaller: -2081 or r?
r
Let h(y) = 372*y - 121. Let d be h(6). Let a = -103443/49 + d. Which is bigger: a or 1?
1
Let l = -11 - 5. Let p = 1065307 + -1065322. Which is smaller: l or p?
l
Let x = 2480 - 1795. Is x not equal to 688?
True
Let n be 4 + (-21)/6 - 0. Suppose -94*b = -93*b + 3*w + 69, 24 = -4*w. Which is smaller: n or b?
b
Suppose -55 = 4*d - 75. Suppose -d*g - 186 - 234 = 0. Is -85 greater than g?
False
Suppose 31*p + 1615 - 8280 = 0. Are 231 and p non-equal?
True
Let n = -479 - -469. Let g be 298/n + (-21 - -29). Is -21 at most g?
False
Suppose 12*t - 8 = 8*t, 3*v + 512 = 4*t. Let x = -169 - v. Let w be 1*(34/(-14) - -2). Which is greater: x or w?
w
Suppose -2*h = -g + 166, 0*h - 4*h = -4*g + 644. Suppose g = -4*u - 8. Suppose 51*b + 669 = -1422. Is u at least as big as b?
True
Let l(w) = -w**3 + 9*w**2 - 7*w + 9. Let h = 303 + -295. Let q be l(h). Which is greater: q or 114/7?
q
Let r(m) = 6*m**3 - 3*m**2 + m - 3. Let z be r(-2). Let t = z - -105. Let v be (27/8)/(30/t). Is 6 greater than or equal to v?
True
Let h = 15887 + -15371. Are -8 and h non-equal?
True
Suppose -25*k + 30*k - 300 = 0. Let x = 64 - k. Suppose 5*t - t - x = 0. Is 5 greater than or equal to t?
True
Let a be 8 + -4 + -5 - (1 + -1). Let f = a - -1. Let c = -343/4 - -85. Is f less than or equal to c?
False
Let z(p) = -2*p**3 + 47*p**2 - 23*p + 1. Suppose 0 = -12*a + 418 - 142. Let l be z(a). Which is greater: l or 3?
3
Suppose 34*g - 72 = 28*g. Suppose z = -3*t - g, 5*z + 0*t = -3*t - 84. Which is greater: 1 or z?
1
Let i(c) = -c**2 + 14*c - 6. Let u be i(-10). Let v = u - -249. Is v > -12?
True
Let m = -1322 + 1322. Is -15.3 at most as big as m?
True
Suppose -5*a - 3*b = 93, 13 = -a + 2*b - 4*b. Let n be 26/21*a/(-9). Suppose -50*l + 82 + 18 = 0. Which is bigger: n or l?
n
Suppose b - 14 = 3*b. Suppose 67 = -14*x + 571. Suppose 2*p + 4 = -w, 12 = x*w - 39*w + 2*p. Which is greater: w or b?
w
Let a = -8/421 - 38676/2947. Which is bigger: a or -13?
-13
Let b(j) = j - 16. Let c be b(14). Let m be (6/(-9))/(((-32)/9)/c). Is 2/19 < m?
False
Let i(c) = 43*c**2 + 60*c - 326. Let w be i(5). Which is bigger: 1052 or w?
1052
Let k(g) = 12*g + 16. Let c(j) = -10*j - 17. Let x(i) = -5*c(i) - 4*k(i). Let a be x(-3). Let r = a - 17. Are r and -16/5 nonequal?
True
Let s be ((-8120)/1750)/((6/(-5))/(-2)). Let r = s - -22/5. Let m be 10/4*(-24)/20*1. Is m < r?
False
Let q = -0.228 - -676.228. Let b = 654.6 - q. Which is bigger: b or -1?
-1
Let x be (-4)/144*(-16)/(-90). Let z = x + -784/5265. Suppose -4*f - 16 = -0*f, 0 = 5*j - 3*f - 17. Which is smaller: j or z?
z
Let c = -11.688 - -12.088. Let y = -1.8 + 3. Which is bigger: c or y?
y
Let g = -1/63749 + -8693/26392086. Let p = -8833/402822 - g. Is p != -1?
True
Let r = -11598/3509 - -208/121. Is -3 greater than r?
False
Let l be ((-392)/(-16))/(14/(-24)*(-4)/(-14)). Which is greater: l or -152?
l
Let n = -989 + 2940. Are n and 1951 non-equal?
False
Let u be (-962)/(-296) - (-3180)/(-976). Let v be (-2 + 0)/((-10)/(-5)). 