 -q**3 - 15*q**2 - 27*q - 16. Let f be v(-13). Let j be (f/12)/(1 - -52). Is -1 at most j?
True
Suppose -7*q + 46 = -24. Suppose 2200 = 12*g + q*g. Is g at most 2/11?
False
Suppose 0 = -4*g - 2*f - 14, 0 = -32*g + 37*g + f + 7. Is g >= 6/181?
False
Let x be (7 + (-8)/2)/((-158)/4). Let y = x + 253/2291. Is 1 smaller than y?
False
Let p be (66/4)/(-8 + 17). Let m(n) be the second derivative of -13*n**3/6 + 60*n**2 - 2*n + 57. Let r be m(9). Which is greater: p or r?
r
Suppose 3 = -5*z - 2. Suppose -125*m = -122*m - 45. Let t be ((-141)/(-940))/(m/8). Is z not equal to t?
True
Suppose 0 = -6*v + 2*v - 20. Let a(b) = 15*b. Let l be a(3). Let s = l - 49. Are s and v non-equal?
True
Let m be (-6*1 + 1)/(106/5936). Let u be -6*(-21)/m - (-10)/8. Let j = -0.03 + -0.97. Is j at most as big as u?
True
Suppose -z + 109 = -519. Suppose 3*j + 396 = -3*n, 5*j - 2*n + z = n. Let p = j - -125. Which is greater: -8/5 or p?
-8/5
Let y(x) = 12*x + 85. Let v be y(-7). Let s be (-48)/v + (32/(-3))/(-16). Which is smaller: -46 or s?
s
Suppose 4*w - 4 - 12 = 3*f, 4*f - 2*w = -8. Which is smaller: -2/5889 or f?
-2/5889
Let n be (-1)/(3 - 2)*5. Let w = n + 4. Let p be (-14)/77 - ((-2735)/385 - -7). Which is greater: w or p?
p
Let r = -4172452/9459 - -3970/9. Let c = -12658/24173 + r. Which is smaller: -2 or c?
-2
Let m = 117 + -113. Let t = -58 - -55. Let f be (4/t - -2)/((-6)/72). Is m at least f?
True
Let t be ((110/11)/(-10))/((-4)/(2256/4)). Are t and 138 equal?
False
Let h be -4 + 0 + 9 - (8 + -4). Which is smaller: 2/7751 or h?
2/7751
Let f = 171 - 167. Suppose -f*p = -3*p + 1. Is p greater than or equal to 1/101?
False
Let o be 11/(77/(-42)) - (16496/5496 - 9). Which is greater: o or 1?
1
Let g = -59198 - -297532/5. Let l = -308 + g. Is -3/29 equal to l?
False
Let a(v) = 3*v**2 + 19*v + 5. Let x be a(-6). Let t = -20486383 - -676116119/33. Let j = t - 1984. Is j greater than x?
True
Let k = 850 + -921. Which is smaller: -62 or k?
k
Suppose -7*h + 4*r = -9*h - 14, -6 = h + r. Which is bigger: -28 or h?
h
Let l = 32692 - 130769/4. Is 10.93 at least as big as l?
True
Let v = -521 - -273. Let a = v + -186. Let d = -32117/74 - a. Which is greater: 0 or d?
0
Let k = 58/329 - -1035905/658. Which is bigger: k or 1574?
k
Let z be (40 + -317)/(2 + 51/(-3)). Is 2/3 equal to z?
False
Let g be (28/8 + 5/10)*35/28. Are g and 154 nonequal?
True
Let n(a) be the third derivative of a**5/60 + a**4/12 - 13*a**3/6 - 10*a**2 + 1. Let j be n(-5). Which is bigger: 15 or j?
15
Let a = -71 + 211. Let i = 141 - a. Is i <= 2/351?
False
Suppose p = 4*g + 5*p - 4, 2*p = 0. Let q be (g + (-8)/12)/((-1)/3). Is q at most as big as 1/378?
True
Let r = 9508 + -9507. Let h be (-6)/15 - 202/(-530). Is r at most h?
False
Let z(s) = -s**2 - 2*s + 20. Let o be z(-5). Suppose 5*l = o*r + l + 12, 2*r = -3*l + 9. Which is smaller: -2/501 or r?
-2/501
Let w be (-3 + -10)*(69628/(-208))/(2/8). Which is greater: w or 17408?
17408
Let r be (-6)/84 + (-282)/(-420). Let c = 67.74 + -68. Is c at most as big as r?
True
Let d = -27 - -27. Let i = -17058 + 51131/3. Which is bigger: d or i?
d
Let w = -2571 - -2406.3. Let u = w + 164. Is 1.9 equal to u?
False
Let a(y) = -18*y - 164. Let l be a(-10). Suppose -5*m - 3*d + 26 - 79 = 0, 4*d - l = 0. Which is smaller: m or -6?
m
Let y = 7617 + -4798. Which is greater: -2/5 or y?
y
Let w = 34775/538532 + -1/17372. Which is smaller: 154 or w?
w
Suppose 17072 - 53504 = 193*l - 215*l. Do 0.1 and l have different values?
True
Let a(b) = 3*b**2 + 36*b - 73. Let p be a(-30). Let u be 1328/p + 186/(-217). Which is bigger: u or 0?
u
Let q = 270 + -268.76. Let j = q - 147.24. Which is greater: j or 1?
1
Let i be ((-40999)/(-6825) - 6)*(-6 + 3). Which is smaller: -1 or i?
-1
Let m be 4 + (-1005)/35 - (-4)/(-14). Let f = 23 - 19. Suppose -5*t + 2*t - 72 = -2*u, f*t + 2*u + 110 = 0. Are t and m equal?
False
Let m = 15381 - 15382. Is m bigger than 3/6241?
False
Let y(v) = -v**2 - 4*v - 5. Let n be (-740)/111 - (-4)/6. Let z be y(n). Which is greater: -10 or z?
-10
Let l be (6/(-4) - -5)/(1/(-2)). Let k be (-4)/7 + (-7)/l. Suppose -7*f - 3 = -4*f. Which is smaller: f or k?
f
Let l be -4 + 129/18 + (-2)/12. Let j = -29 + 27. Let x be 2/(-4)*(j + -2). Is x >= l?
False
Let d be 2/(-204)*(-72)/108. Is d != 1/3?
True
Let c be 65/39*4*72/160. Which is bigger: c or 220?
220
Suppose 37*x - 4471 = 2115. Which is bigger: 201 or x?
201
Let g(u) = 29*u - 20. Let y be g(-5). Let m = -178 - y. Is -13 less than m?
False
Suppose m = -3*m + 1348. Let j be ((-3)/m)/(-9*(-2)/12). Which is smaller: -1 or j?
-1
Let x(m) = -178*m - 1748. Let l be x(-10). Which is greater: -2 or l?
l
Suppose 160*b - 7074 = -101*b - b. Is 84 smaller than b?
False
Let i = -5.583 + 152.683. Is i smaller than -3/4?
False
Let b be (213/(-27) - -7)*(36/(-16) - -3). Is -983 > b?
False
Suppose -3*t = -t - 5*i - 316, 2*t = -3*i + 348. Let v = -169 + t. Does v = 5/11?
False
Suppose -3*s - 3*z + 9 = -0*s, 3*z + 5 = 4*s. Let q(y) = -5*y**2. Let a be q(-1). Is a at least s?
False
Let o be (-5 + 1051492/(-40))*(-5)/(-6). Let m = o - -656925/28. Let g = m - 1552. Which is smaller: g or -2?
-2
Let f be (-1)/(-6) - (92145/(-9918) + 7). Let r = f - 48/19. Is r at least as big as 0?
False
Let t be 1/9 - (-444)/(-108). Let b be ((-72)/(-32))/(5/(-8)). Which is greater: t or b?
b
Let b = 9248 + -9258. Do 16 and b have different values?
True
Let r(q) = 17*q - 192. Let l be r(15). Let b be (l/1092)/(9/8*1). Is 1 less than or equal to b?
False
Suppose -u = -0*t + 3*t - 268, -8 = 4*u. Let c = -117243 + 117245. Which is bigger: c or t?
t
Let w be (-39)/(-5) - (-10)/50. Let o = w - 6. Let x = 2242 + -2240. Is x > o?
False
Let i be (2/(-33725))/(3*198/(-270)). Is i at least -1?
True
Let x = -225 - -115. Let p = 116.1 + x. Let l = p - 0.1. Is -5 <= l?
True
Let h be (7 - -1)*2 + -2. Let r = 1 - -45. Suppose 0 = -10*f + h + r. Is 6 < f?
False
Let k = -3027 - -3027. Which is greater: k or 8/19?
8/19
Let y = 6452486/6868443 - 732/779. Is -1 at least y?
False
Let c = 547 - 580.9. Let r = c + 33.95. Which is bigger: 1 or r?
1
Suppose 48*l - 52*l - 11659 = 3*z, -5*z - 14570 = 5*l. Is -2918 != l?
True
Let r(k) = -k**2 + 9*k - 5. Let m be r(8). Let q be m/(-2)*(-44)/6. Suppose z + q = 4*d, -z - z - 13 = d. Do -7 and z have different values?
False
Let z(t) = -t**3 - 61*t**2 - 54*t + 359. Let d be z(-60). Let m = 1/404 - 845/14948. Is d equal to m?
False
Suppose -4*x - 230 = -5*g, -22*x + 79 = 2*g - 21*x. Suppose 5*b - 2*i + 232 = i, 2*b = i - 92. Let f = b + g. Is f < -2?
False
Let m be 1/6 + (-36806)/(-55)*(-15)/(-36). Is m at least as big as 285?
False
Let n(b) = -b**3 - 3*b**2 + 14*b + 22. Let v be n(-5). Suppose -14 + 10 = -v*a. Which is bigger: a or -45?
a
Let h = 576.4 - 482. Let g = 10.4 - h. Which is smaller: g or -0.1?
g
Let d(w) = 0*w + 1 + 0*w + 8*w**2 + 12*w**3 - 4*w - 13*w**3. Let k be d(5). Let m = k - 38. Is m < 18?
False
Let j(k) = k + 21. Let b be j(19). Suppose 8*o = 3*o - p - 105, o + b = -4*p. Is -39 less than o?
True
Let h(i) = -3*i - 40. Let x be h(-16). Let a be -3 - ((-94)/10 + x/20). Let k be (-9)/((-189)/a) - 3/(-112). Is 0 bigger than k?
False
Let z = -167 - -13. Let g = -508 + 369. Let k = z - g. Is -1 <= k?
False
Let b(a) = -2*a**2 - 98*a - 39. Let z be b(-48). Which is bigger: 65 or z?
65
Let z = -125251/37 - -3385. Is 34 at least z?
True
Let n be ((-744)/1197530)/((-6)/(-15)). Is 1 bigger than n?
True
Let h = 2857.8 - 2859. Is 9 at least as big as h?
True
Suppose -5*g + 63 = -2. Suppose 9 = -t - g. Let x be (-4)/t*(-24)/36. Which is greater: x or 1?
1
Let i = -36554 - -53843. Is 17289 greater than i?
False
Let w = -3191/195 + 49/3. Let p(t) = 3*t**2 + 29*t - 10. Let y be p(-10). Are w and y non-equal?
True
Let d = 86.5 + -73.51. Let j = d + -13. Let m = 1523 + -1527. Which is greater: j or m?
j
Let k = 4213/400 - 157/16. Is k < 2?
True
Let u = 5986 - 5953. Let w be (-1296)/28 + 2/7. Let m = -13 - w. Is m at most u?
True
Let u(f) = -f + 14. Suppose -5*n + 3*d + 66 = 0, -5*n + 2*n - d = -48. Let v be u(n). Let k be (-27)/(-18)*6/v. Is -3 at least as big as k?
True
Suppose -62*a - 7560 = -6*a. Which is smaller: a or -133?
a
Let n be (0 - 10)/(4 + (-1600)/405). Let d = -210 - n. Which is smaller: -9 or d?
-9
Let o = 122321 + -12