= 117.4 - 119.7. Let o = a - -3. Suppose 2*g + 4 = 5*h, g + 2*h - 10 = -g. Is o smaller than g?
True
Let y be ((-2)/(2/(-3)))/((-1282644)/369). Is y at most 0?
True
Let d(t) be the second derivative of t**4/12 + 10*t**3/3 + 2*t**2 - 27*t. Let x be d(-20). Let f be (-102)/17*2/x. Are 0.3 and f nonequal?
True
Let t = 21158 + -21517. Is t smaller than 18?
True
Suppose 460*o = 465*o + 9475. Is -0.1 less than o?
False
Let c = 6 - 6. Suppose s + c*s = f + 5, -2*f = 0. Suppose -s*v + 4*v - 1 = 0. Is v < 1/21?
True
Let m = -10686 - -309786/29. Which is smaller: m or -5?
-5
Let n(u) = -u**2 + 2*u. Let h be n(2). Let v(r) = r**3 + r - 7. Let d be v(h). Let t = 10521 + -10524. Is d greater than t?
False
Let n(w) = 26*w - 38. Let g be n(10). Suppose -4*l = 5*r + 295, -2*l = -4*r + 12 - g. Which is bigger: -56 or r?
r
Let g(w) = -w**3 - 2*w**2 + 4*w + 3. Let k be g(-4). Suppose -3*a = -2 - k. Let y = 372 + -363. Which is bigger: y or a?
y
Let l = -0.085 + -0.115. Let x = 17.5 - 0.5. Let o = 25 - x. Which is bigger: l or o?
o
Let o = 7354 + -2875411/391. Is 1 less than o?
False
Let m = -38 - -41. Let q = 6.49 + -6.2. Let v = q - 0.29. Which is smaller: m or v?
v
Let n be (-4)/((-4)/1) - -3. Suppose -26*k + 25*k = -n. Suppose 0 = -k*w - 8*w + 24. Which is bigger: 9 or w?
9
Let m(y) = -2*y**3 + 22*y**2 + 120*y - 52. Let k be m(15). Is -62 smaller than k?
True
Let v = -42808 + 129643/3. Which is smaller: 405 or v?
405
Let p be (-267420)/(-45) + 4/(-6). Which is bigger: p or 5941?
p
Let t be (3/(-3))/(57/323). Is t smaller than 2?
True
Let j = -0.8 + 2.6. Let p be (36 - 1070/30) + (-2)/15. Is p > j?
False
Let v = 3872 - 4420. Which is greater: v or -3846/7?
v
Let d be (-1 - 1)*(106122/(-36))/23. Let w = d - 268. Are -11 and w equal?
False
Let j be -3*((-24)/20)/3. Suppose 4*c + 4*x = 0, 5*c + 0*x + x - 12 = 0. Suppose -q = 4*i - c*q - 12, 0 = 4*q + 16. Which is smaller: i or j?
i
Let h = 30 - 12. Let k = h + -39. Suppose -1274 - 490 = 84*z. Do k and z have the same value?
True
Let d(l) = -l**3 + 13*l**2 + 12*l + 17. Let p be d(13). Suppose -12*i + 6*i - 2*f = -1038, 4*i + 4*f - 692 = 0. Is p equal to i?
True
Suppose -6*x = 2*x. Let t(u) = x*u + u - 1 - 3 - 5. Let p be t(4). Do p and -21/4 have the same value?
False
Suppose -4*x - 18 = -2*n, 2 - 17 = -n + 5*x. Suppose 0 = n*v - 4*l + 19, 4*v - 4*l + 12 = -0*v. Let d(i) = 9*i + 2. Let g be d(v). Is g at most as big as -60?
True
Let m be 10 + 2 + (-7)/(28/16). Suppose 14*h = m*h - 144. Which is greater: h or -1?
-1
Let h = -266.04 - -232.3. Let b = h + -0.26. Let o = -24 - b. Is o > -2?
True
Let m(o) = -o**2 - 5*o + 19. Let z be m(-7). Suppose 3*k + 2*q = -1153, -k = -6*k + z*q - 1880. Is k != -381?
False
Suppose 4*g + g - 2252 = 3*s, -g + 444 = s. Let t = 287 - g. Is -162 smaller than t?
True
Let k(c) = c**3 - 7*c**2 + 6*c + 3. Let s be k(6). Suppose -2*i - 77 = y, y + 2*i - s*i + 62 = 0. Let q = y - -23. Is -43 greater than or equal to q?
True
Let v = -2572.0869 + 0.0869. Is v less than 0?
True
Let b = 68.87019 - -0.12981. Which is bigger: b or 3/7?
b
Let v = -6 - -4. Suppose 10*y - 44 + 74 = 0. Let z be (-72)/20 - ((-1 - 0) + y). Is z greater than or equal to v?
True
Let i = 135 - 117. Let o be (10/25)/(i/(-5)). Which is greater: -25 or o?
o
Let n(a) = -31*a + 866. Let u be n(16). Which is greater: u or -1/6?
u
Suppose -10*k = -95 + 65. Let f(y) = y**2 - 4*y + 4. Let b be f(k). Which is bigger: -105 or b?
b
Suppose 0 = -2*r - 4*w + 10, 2*r - 129 = -3*w - 126. Let h(k) = -k**3 + 2*k**2 - 3*k. Let a be h(2). Which is smaller: r or a?
r
Let f(j) = 272*j**3 - 15*j**2 - 43*j - 17. Let q be f(-2). Is -1 at most as big as q?
False
Suppose 0 = -13*m + 15892 + 69167. Let b = 346803/53 - m. Which is bigger: b or -1?
b
Let o be (-42210)/(-770) - ((-13)/11 + 1). Let k be 2024/(-308) - (-1 - (-3)/7). Are k and o non-equal?
True
Let s be (91322/(-21))/(-2) - 4/3. Do s and 2173 have different values?
False
Suppose -p + 5 = -2*p. Let y be 4*2/(-8)*-141. Let i = y - 141. Is i <= p?
False
Let z = 45522 + -219097388/4813. Which is smaller: 1 or z?
z
Let d be ((-12)/68)/(-1)*(-3754)/2. Let s = d + 331. Are -0.2 and s equal?
False
Let j be ((-434)/(-24955))/((-3)/22275). Are j and -128 nonequal?
True
Let o = 21756 + -24791. Do o and -3037 have different values?
True
Let s be -4 + (-36)/(-8) - 117/78. Is s at least -1/4050?
False
Suppose 5*h = 2*h - 294. Let z = -105 - h. Which is greater: -1 or z?
-1
Let t = 7 + -5. Let o = -108413/55 - -1971. Let x = o - -246/935. Is x at least as big as t?
False
Let g(h) = -21*h - 37. Let w be g(5). Let x be (-5624)/40 - ((-8)/(-20) - 0). Is x >= w?
True
Let n be 146/(-1971) + 1384040/195642 + -7. Is 1 at least as big as n?
True
Let f = 334 + -333.767. Let h = f - 1.833. Which is smaller: -4/7 or h?
h
Let o = -45 - -172. Let c = o + -236. Which is greater: c or -215/2?
-215/2
Let u(m) = 3 - 5*m - 4 + 2 - 5 + 1. Let k be u(-2). Suppose r + 0*r - 4*o = 0, 5*o = -2*r + 13. Are r and k nonequal?
True
Suppose -9 = 3*n, -u = 5*n - 270 + 2664. Is u not equal to -2377?
True
Let g = 293347/45 + -6519. Which is bigger: -1 or g?
g
Let f = 222 + -221. Let s be (2/3)/((-2)/6 + f). Is 2/193 not equal to s?
True
Suppose -66*p - 176 = -70*p - 2072. Is p bigger than -474?
False
Suppose 5*u = -5*f + 2400, -38*f - 2376 = -5*u - 39*f. Is 471 at least as big as u?
False
Let f(x) be the second derivative of -7*x**3/6 - 3*x**2/2 - 16*x. Let y be f(-3). Let k be ((-3)/(-2))/(9/y). Is 3 greater than k?
False
Let h(w) = 22*w**3 - 20*w**2 + 55*w - 1. Let i be h(3). Which is smaller: i or 581?
i
Let t be (-30)/(-6) - 1586/305. Let z = 1.6 + -2.05. Let p = -0.5 - z. Is t at most as big as p?
True
Let y = -522.8459 - 0.1541. Which is greater: y or 1/4?
1/4
Let i = -362.2 - -364.2. Which is bigger: i or 938?
938
Let n = 20.937 - 21. Let r = 55 + -55.037. Let t = n + r. Is 14 smaller than t?
False
Let n = 21 - -75. Let r be 1 + 0 - n/102. Let a(x) = -4*x + 39. Let s be a(10). Which is bigger: r or s?
r
Let a = 164.7 + 0.3. Let l = a + -161. Are 1 and l unequal?
True
Let l = -248 + 253. Suppose -16*m - l*m = -63. Let b(d) = -d**3 - 9*d**2 - d - 3. Let q be b(-9). Which is smaller: q or m?
m
Suppose 20 = 5*q + 2*o + 3*o, 2*q + 5*o - 14 = 0. Suppose 4*z - q*z = 68. Suppose z*y = 33*y. Is y greater than 2/63?
False
Let s(o) = 3*o + 13. Let a be 15/(-9)*(0 + -3). Let g be s(a). Suppose 25*x - g = 21*x. Which is smaller: x or 4?
4
Suppose 2*l + 16 = -3*n + 129, -3*l = 4*n - 152. Let m be (28/n)/((-4)/((-400)/(-14))). Which is greater: m or -6?
m
Let q be (-1)/((2 - 3) + 2). Suppose 4668 = -13*n + 24441. Let x = n + -168833/111. Do q and x have different values?
True
Let h = -31 - -1951/63. Is 1 < h?
False
Suppose 0*n - 5*n + 205 = 5*k, -8 = -4*n. Suppose -44 + k = -5*q. Which is smaller: 6/287 or q?
6/287
Let s(f) = 37*f - 8. Let g be s(-6). Let j be 1/1 + -4 + -376 + 150. Are g and j non-equal?
True
Let m = -27215/2 + 14196. Let v = m - 12919/22. Which is smaller: 2 or v?
v
Let k = -21076658/43353321 + -1/171357. Which is smaller: k or -1?
-1
Let z = 2142.4 + -2046.4. Is 60 at least as big as z?
False
Let k be (-165)/(-550) - (2 - (-3756)/40). Which is bigger: k or -0.3?
-0.3
Let w(y) = -y**2 + 7*y + 5. Let z be w(5). Suppose -10*k + 8*k = x + 7, -z = 3*x. Is k >= 1/359?
False
Let y = 13095 + -13095.4. Does y = 1/964?
False
Let h = -170.497 - -0.497. Which is greater: h or 4?
4
Let b be (5/20 - (-22)/8) + 3. Suppose s - 15 = -b. Suppose -2*a = 2*p + 3*a + s, -a - 3 = 0. Is 1 at least as big as p?
False
Suppose s = -3*t + 50 + 44, 0 = -3*t + 3*s + 114. Suppose n - 4*n + t = 0. Let q be 63/77 - (-2)/n. Which is greater: q or 5/14?
q
Let b be 2/((-142)/6 + -1). Let l = 58 + -31. Suppose -3*a = -15, a + l = 2*s + 6*a. Do b and s have the same value?
False
Suppose 389*c - 394*c + 190 = 0. Are c and 51 nonequal?
True
Let b be 282/54 - (-8)/(-36). Suppose -2*c + 2931 = 5*w, -2*c + 1170 = -3*w + 5*w. Let k = 6505/11 - w. Which is bigger: k or b?
b
Suppose 2*f = -y + 14, -5*f + 33 = 5*y - 12. Suppose -2*c + y*c = -142. Let l = c - -45. Which is bigger: l or -25?
-25
Suppose -2*w - 5*p = 4, -2*w - 18 = 2*w + 5*p. Let o be (-12 - w) + 159 - -3. Which is smaller: o or 158?
o
Let m(l) = -l**2 - 17*l - 6. Let o be m(-17). Let n be o/(-1*3/36