16 = 0. Suppose -f = -p - p. Let d be (2/p)/(92/4). Which is smaller: 0 or d?
0
Let l = 959 + -537. Let i = l + -385.8. Let d = i - 36. Which is bigger: d or 11?
11
Let g be -6 - (-9)/((-18)/(-1258)). Which is bigger: 617 or g?
g
Let h = 16061 - 16060. Let t = -424 - -21193/50. Which is bigger: h or t?
h
Let v = 1216 + -1215. Are 3/953 and v equal?
False
Let v be ((-2)/(-13))/(-1) + (-638710)/(-130). Let s be v/1190 + (16/14)/2. Which is greater: 6 or s?
6
Let l(h) = -39*h + 116. Let f be l(3). Is 5/3709 equal to f?
False
Let a(m) = -m**2 + 3*m + 184. Suppose -c = -3*c. Let s be a(c). Is s equal to 186?
False
Let t(i) = -3*i**3 + 45*i**2 + 73*i - 99. Let h be t(16). Which is smaller: h or -10/13?
-10/13
Suppose 4*v - 2 = -k, -3*v - 4 = v + 4*k. Let w = -1.0378 - -0.5678. Are w and v nonequal?
True
Let g be (-8 - (-75)/9)*(-849)/1. Let t = -284 - g. Let j = -23470/31 + 757. Which is greater: j or t?
j
Let u(w) = -31*w - 51. Let j be u(3). Let p be ((-71)/(-4))/((-18)/j). Is 140 at least p?
False
Let z = -62 + 16. Suppose 60 + 12 = -4*u + 4*s, -s = 3*u + 54. Let q = z - u. Which is greater: -27 or q?
-27
Let j(t) = 3*t**3 - 2*t**2 - 2*t + 87. Let x be j(0). Suppose -x*z - 405 = -92*z. Is 82 >= z?
True
Let l = 6.2 - 6. Let u = 3896 - 4037. Which is bigger: u or l?
l
Suppose -140 - 261 = 27*l - 131. Which is smaller: -330/37 or l?
l
Let u = -52.9 + 50. Let m = 295 + -225. Let n = m - 70.1. Do n and u have the same value?
False
Let w = -0.12 - 0.06. Let o = 3.78 + w. Which is greater: o or 1?
o
Let g be (4/(32/3230) - 9) + (-5)/(-4). Is 374 bigger than g?
False
Let j = -3776/55 + 206/3. Is j smaller than -0.6?
False
Let a = -11.575 + 12.575. Let q = -66.14 - -0.14. Is a smaller than q?
False
Suppose 17*x - 90153 = 44*x. Are -3341 and x unequal?
True
Let j(t) = 11*t - 277. Let s be j(21). Is -46 at least s?
True
Let d(t) = -3*t**2 + 3*t + 48. Let j be d(9). Let m be (-1 - (-20)/14) + (-48)/j. Let o(v) = v**3 - 5*v**2 - v + 6. Let w be o(5). Which is smaller: m or w?
m
Let a = 24 - 17. Suppose -a*d + 635 + 30 = 0. Suppose 41*k - d = 36*k. Is k smaller than 21?
True
Suppose -64*l - 8339 - 20289 = 72300. Is -1577 > l?
False
Let g = -456 - -715. Let n = g - 258.9. Which is smaller: n or 2/195?
2/195
Suppose -4*m = 5*m - 666. Let a be 2*m/12 - 0/(-52). Let u be (0 - 4/(-2)) + 11. Is a greater than or equal to u?
False
Let k be (-44)/(-10)*(-28)/((-168)/30). Let o(w) = w**3 + 5*w**2 - 8*w - 9. Let v be o(-6). Let f be v/4 - (-89)/4. Is k at least f?
False
Let f(g) = -15*g + 168. Let p be f(-24). Let q = -526 + p. Do q and -2/119 have the same value?
False
Suppose 75*p - o - 6517 = 78*p, 0 = -3*p + 5*o - 6475. Is -2168 != p?
True
Let x(o) = -o**2 + 18*o + 2. Let k be x(18). Suppose k*i - 4*i = s + 3, 0 = 2*i + 3*s + 1. Let a be (-5)/((-5)/22)*(-1)/i. Is 11 smaller than a?
False
Let z = 13.4 - 13.5. Let n(a) = 2*a**2 + 10*a + 4. Let o be n(-11). Which is smaller: z or o?
z
Let f = -7793 - -7768. Suppose 0 = 2*y + 13 + 39. Is y > f?
False
Let r = -44352704/989 + 44846. Is r bigger than 1?
False
Let w(y) = y**3 - 10*y**2 - 9*y - 7. Let g be w(11). Let o be (4 - (-395)/(-100)) + 3/g. Do o and 1/10 have the same value?
False
Let a be (-10)/(-105) - (-280)/147. Suppose a*n - 16 + 490 = 0. Which is bigger: n or -236?
-236
Let m = -422.1 + 218.8. Let i = m - -213. Let r = -10 + i. Which is greater: 1/6 or r?
1/6
Let q be 0*(41/7 + -6). Suppose -2*y = 7*o - 4*o - 48, 3*o - 3*y - 48 = q. Which is smaller: o or 19?
o
Let l be ((-7316)/(-2478) + 6/(-21))*(4428/8)/9. Let x be (-1 - 0)/(1 - -4). Which is smaller: x or l?
x
Let f = -1/58684 - -997675/2758148. Let x be (-4)/(-3) - 2/6. Which is smaller: x or f?
f
Suppose 15439 = 7*t - 10545. Is t at most 3711?
False
Let x = 680 + -621.2. Let n = 53.1 - -5.9. Let l = x - n. Which is bigger: -1.1 or l?
l
Let w be (1 - 2)*-74 - (-28 - -34). Which is smaller: w or 0.15?
0.15
Let r be 8*(-5)/30 - 458/(-252). Let b = 1/63 + r. Let u be (-5)/(6*(-4)/(-12)). Is b at most as big as u?
False
Let m(j) = 376*j**3 - 4*j**2 - 2*j. Let d be m(-1). Let c be ((-516)/d - 4/3)*-6. Which is smaller: 0 or c?
c
Suppose 0 = 2*n - 4*n + 10. Let o = n - 4. Let w be (17 + 414/(-24))*(-14)/4. Is o at least as big as w?
True
Let f(u) = 2*u**2 + 25*u. Suppose -4*m - 21 - 315 = 0. Let r be (m/24)/(5/4 - 1). Let x be f(r). Which is smaller: -0.1 or x?
-0.1
Let p(s) = -s**2 + 3*s - 1. Let v(d) = -6*d**2 + 54*d - 89. Let j(t) = 7*p(t) - v(t). Let k be j(-27). Is 244 at least k?
True
Let p = -69138 - -69137. Let d = 92.801 + 0.199. Which is smaller: p or d?
p
Suppose 5*n = -3*w + 848, 252 + 100 = 2*n - 2*w. Which is bigger: 178 or n?
178
Let d(h) = -234*h**2 + 411*h + 4. Let c be d(2). Are -90 and c equal?
False
Suppose -a - 4*f = -6*a - 5, 5*f = a + 22. Suppose a*s - 7*s + 8 = 0. Suppose -17*g - 2 = -34 + 15. Which is smaller: g or s?
g
Let u = -0.0452 + 0.0735. Let p = 0.0717 + u. Let m(y) = 3*y**2 - 3*y + 2. Let v be m(3). Which is greater: p or v?
v
Let l be (-609)/24 + (3 - -6). Which is smaller: -17 or l?
-17
Suppose 70 = 9*r - 2*r. Suppose -35 + 3 = -8*m. Let t be 8 + (-9 + m)*(-3)/5. Is t smaller than r?
False
Suppose -31*r = -80*r + 21364. Is r smaller than 438?
True
Let q(u) = 7*u - 26. Let l = 78 + -83. Let k be q(l). Let z = 152 + -214. Which is greater: k or z?
k
Let h = -56.6 - -56.72. Is -37 at most as big as h?
True
Suppose 50 = -4*a + 5*a. Let h = -86 + a. Let p = h - -35. Which is bigger: p or -3/22?
-3/22
Let r be ((-42)/(-441))/((-4)/(-7)). Let i = -4/413 + 1704/5369. Which is smaller: r or i?
r
Let l be (3 + -3 - 2) + 7. Suppose 4 = -l*w - 3*q, -2*w = 2*q - 34 + 38. Suppose -f = f. Which is smaller: f or w?
f
Let d = 1.985 - 2.04031. Which is bigger: 0 or d?
0
Let p be (-2 + 2297/22)/(15/2620). Let i = -17874 + p. Is i < 14?
True
Let j be ((-5428)/5060)/(-1*167/(-1)). Let g = 5/167 - j. Is g less than 0.6?
True
Let y be (-1)/(3/18*-2). Suppose 0 = 3*g + j - 90, -y*j = 4*g + j - 128. Suppose -2*a - 75 = -g. Is -23 bigger than a?
False
Let u = -30 - -322. Let t = -305 + u. Let g = 5 - 2. Is t greater than g?
False
Let y = 781 - 24214/31. Which is smaller: 0 or y?
y
Suppose 3*g = -b - 12123, -4*b - 5175 - 43215 = -5*g. Do -12105 and b have the same value?
True
Let v = 54 - 56. Let g be (-19371)/42 + 1*1/v. Let w = -463 - g. Is 0 equal to w?
False
Suppose -3*y + 4*y = -4, -3*j + 5*y - 133 = 0. Let f = 286 + -206. Suppose -5*q = 2*x + f, -2*x = -6*x - 5*q - 180. Which is smaller: x or j?
j
Let a be (-4 - (-110)/25) + (2672/20 - -4). Does a = 143?
False
Let n = 4023 - 4092. Which is bigger: n or -16?
-16
Let s be (-4750)/1584 + -1 + 4. Let f be 70/1400 + 21/(-20). Is s at most as big as f?
False
Let z = -13.038 + 13. Let l(r) = 1551*r + 26366. Let h be l(-17). Which is smaller: z or h?
h
Suppose 3*l - 30 = -30. Suppose 18*q - 22*q + 68 = l. Suppose 4*i + q = -23. Is -1 greater than i?
True
Let v = -5 + 62. Let l = 59 - v. Suppose -1 = o - l. Which is smaller: o or -1/10?
-1/10
Let l be -7 - -187 - 3/(6/8). Let u be (-177)/(-2)*5/((-5)/(-2)). Is u greater than l?
True
Let r(w) = -569*w + 353. Let c be r(-2). Which is bigger: 1494 or c?
1494
Let o be ((-5159)/201)/(115/30 + -4). Let h(y) = 154*y**3 - 2*y + 1. Let n be h(1). Which is smaller: n or o?
n
Let c = -0.1568 - -2.1568. Which is smaller: -43/15 or c?
-43/15
Suppose -44*m + 35*m + 1719 = 0. Let z = -213 + m. Which is smaller: z or -4?
z
Let q(l) = l + 21. Let c be q(-11). Let k = c - 15. Let x = 1 - k. Is 7 > x?
True
Suppose 3093 = 39*c - 14145. Suppose 30*q = 10192 - c. Is 325 at most q?
True
Let y = -11234 - -11238. Let c = -3.9 + -0.1. Let i = y + c. Which is greater: i or -0.99?
i
Let c(k) be the first derivative of 15*k**4/4 - 7*k**3/3 + 5*k**2 - 19*k + 179. Let z be c(2). Which is smaller: z or 95?
z
Let u(m) = -m**2 + 4*m + 4. Let h be u(5). Let d be (0 - (-14)/(-28))*(-16)/514. Which is smaller: h or d?
h
Suppose -3*g + 0 = -2*l + 6, 0 = -2*g - 4*l + 12. Let r be (35/(-56))/(950/40). Does r = g?
False
Let x be 5*(208/20 - 10) - (1 + 1). Let i = -2 + 6. Let r be i/4 + 81/(-82). Which is greater: x or r?
r
Let m = -44 + 53. Suppose 5*g - 50 = -5*u, 0 = -6*u + 2*u + 2*g + 22. Which is smaller: u or m?
u
Suppose -18*k = -5*w - 20*k - 1117, -5*w + 3*k - 1112 = 0. Is -208 less t