 = 4*d, 4*l = -d + 26. Let w be d - ((-278)/(-8) - (-75)/60). Is w equal to -21?
False
Let p = 0.13375 + -176.91375. Let t = 179 + p. Which is smaller: t or 0?
0
Let t be (-9)/21 + (-428)/(-1064). Suppose 5*n + 7 - 22 = 0. Suppose -8 = d - n*d - 4*o, -2 = 4*d - o. Which is greater: d or t?
d
Suppose -2*d + 4*a + 134 = 0, 2*a - a + 5 = 0. Suppose -5*i - 3*b = -2*i + d, 5*i + 86 = -2*b. Is i smaller than -23?
False
Let p(k) = 226*k**2 - 9*k + 5. Let f(s) = -101*s**2 + 5*s - 3. Let z(u) = 9*f(u) + 4*p(u). Suppose 2*g - 6*g = -24. Let i be z(g). Which is greater: i or -134?
i
Let x = -0.1 - -0.1. Let q = 56 + -13. Let c = 47 - q. Which is smaller: x or c?
x
Let f = 48 + -33. Let j(w) be the first derivative of 3*w**4/4 - 41*w**3/3 - 15*w**2/2 + 28*w + 6. Let m be j(14). Is m smaller than f?
True
Suppose 48*m - 38*m + 10 = 0. Is m < 15/164?
True
Suppose -45 = 236*d - 45. Do d and 8/791 have different values?
True
Let q = 24167/2288355 - -1/6135. Which is bigger: 1 or q?
1
Let y(l) = -13*l - 83. Let h be y(-6). Let n be -1 + (4 - 0/h) - 8. Which is smaller: n or -1?
n
Suppose 5*i + 3*w = -12, 4*i + 1 = 3*w + 13. Suppose -4*r - 20 = i, 2*r + 21 = 2*z - r. Suppose 0 = z*b - 6. Are -2 and b nonequal?
True
Suppose -53 + 37 = 4*q. Let o be (18/2331)/(q + 1). Which is smaller: 1 or o?
o
Let g be (-6)/8 - (4 + 4808/32). Let d be 2 - (g/20 + 4/(-16)). Which is bigger: d or 7?
d
Let r(g) = g - 40. Let c(u) = -40. Let i(d) = 3*c(d) - 2*r(d). Let a be i(-9). Is a >= -45/2?
True
Suppose v + 480 = 2*h, v + 562 = -3*h + 1267. Is 222 smaller than h?
True
Let j = -0.13 - 3.87. Suppose -80*t + 78*t = -10. Let c be (t - (-22)/(-4))/1. Which is smaller: j or c?
j
Let f = -5866 - -5849. Let a = 29 + -41. Which is bigger: a or f?
a
Let s = -1 + 2. Let q = 468517/59 - 7941. Which is smaller: q or s?
q
Let i = 95 - 86. Let z be (3*2)/(i/(-3) - -5). Let u = 2 + z. Is 5 smaller than u?
False
Let m = 1.5855 + -14.4655. Is m not equal to 0.02?
True
Let v(b) = -79*b - 388. Let c be v(0). Let w be (c/56 + 7)*5. Which is greater: w or -0.6?
w
Let f = 213 + -327. Let z be (1/(-2))/((684/(-1539))/((-4)/18)). Is f smaller than z?
True
Let x be (602 + -597)/((-1)/1 + -4). Let i = -3 - 3. Let c be i/(-9)*3/187. Which is bigger: x or c?
c
Let m = 13236.236 - 13236. Which is smaller: 0.15 or m?
0.15
Suppose 4*d - 4*b - 8 = 0, -2*d - 2 + 10 = 2*b. Suppose -d*l - 8 = -5*l, 0 = -k + 5*l - 19. Is 6/13 equal to k?
False
Let w be 4516/(-5)*(110 + -112). Which is bigger: w or 1807?
1807
Suppose -21*p + 114*p = -39060. Which is smaller: p or 0?
p
Let q(z) = z**2 - 57*z + 808. Let f be q(23). Is 30 >= f?
True
Let l = 94773/2 + -48316. Which is bigger: -929 or l?
-929
Let a be -9 - (5 - (-2178)/(-54))*(-3)/(-22). Suppose 2*k - 4 = 5*d, 1 = 4*k + 2*d + 17. Is a not equal to k?
True
Let g(c) = 2*c**3 - 15*c**2 + 9*c - 13. Suppose 0 = -24*w + 13 + 155. Let b be g(w). Are -2/427 and b unequal?
True
Suppose 3*b + 5 = -1. Let n be (-2)/(-6) - 406/126. Let l = 67/45 + n. Is b at least l?
False
Let i = 913.16 + -927. Let j = i - -8.84. Let q be 2/3*6/38. Are q and j nonequal?
True
Let w(i) = 181*i + 6992. Let g be w(-41). Is g greater than 8?
False
Let c = 42 - 37. Suppose 3*z - 5*v = -0*v + 17, -c*z + 5*v + 15 = 0. Let n be (-4)/(-18) + 10*z/(-36). Which is greater: n or 2/3?
2/3
Let k(l) = -14*l + 420. Let r be k(30). Let h be -80 - -80 - 3/((-57)/4). Is h not equal to r?
True
Suppose 6 - 74 = 74*i - 142. Is -1/38279 bigger than i?
False
Let j = -0.1459 - -0.1042. Let z = -0.1417 - j. Do z and 251 have the same value?
False
Suppose 2*c + 2*a + 86 = 0, -31*c = -34*c + a - 117. Which is greater: 45 or c?
45
Suppose 2*s - 10 = 5*z + 40, 4*z = -3*s + 52. Let g = s + -102/5. Which is smaller: g or -1.27?
-1.27
Let w = -435635408/105 - -12450698/3. Suppose 59*c - 100028 = -21912. Let v = w - c. Is v > 0?
True
Let q = 92.4 + 8.6. Let y = q - 103. Which is smaller: y or 5?
y
Suppose -15*q - 22*q + 5110 = -2*q. Is q at most 4?
False
Let v = -18830 + 30699. Is v at most 11867?
False
Let r = 91.4 - 13.4. Let s = -77.61 + r. Let w = -0.39 + s. Which is smaller: 4/15 or w?
w
Let t be 1/33*(-3)/4. Let h = -171 + 195. Let v be (405/72 - 6) + (-15)/h. Is t smaller than v?
False
Let i = 37.9 - 38.8. Which is bigger: 6 or i?
6
Let a = -5307 + 5145. Is -0.2 at most a?
False
Let m = -242.17 + 242.17. Let r be 1/(2/(-70 + 0)). Is m != r?
True
Suppose -389*x - 386*x - 30618 - 167782 = 0. Is -18 equal to x?
False
Let m be (1/2)/(-1 - (-147)/154). Let q be 2 + 1 + m + 8. Suppose 0 = -5*z - q*z + 5. Are -1/31 and z equal?
False
Suppose 8*p + 11092 + 844 = 0. Let c = 42678997 + -2603327803/61. Let z = p + c. Is z greater than or equal to 0?
True
Let h(k) = -k**3 - 3*k**2 - 3*k - 5. Suppose -4*z - 10 = 2. Let o be h(z). Let v be o/214*7/7. Is v >= -1?
True
Suppose 2*n = 2*r + 8, 625*n - 628*n = -2*r - 8. Is 6/3437 at least as big as n?
True
Let t = 173 + -180. Let w = 22 + -35. Let d = -18 - w. Which is smaller: d or t?
t
Suppose 0 = -l + 5*j - 2, -5*l + 3 + 29 = -4*j. Suppose -3*n = 10*w - l*w - 3, 0 = -n - 5*w + 1. Which is smaller: n or 8/131?
8/131
Suppose 0 = -43*t + 6*t + 4625. Let n = 119 - t. Which is smaller: n or -4?
n
Let h(w) = -7*w + 65. Let d(b) = -36*b + 323. Let v(c) = -2*d(c) + 11*h(c). Let j be v(14). Suppose 4*t = f + 6, 10 = -0*f - 4*f + 2*t. Are f and j equal?
False
Suppose -3*p + 221 = 5*c + 207, 4*p = 2*c + 10. Let d = 4055/31 - 131. Which is smaller: c or d?
d
Suppose -4*t = 2*f + 18, 4*f + 17*t - 21*t = -96. Let s be f/((-171)/54) + 153/(-24). Is s less than 0?
True
Let x = -2641774/251 - -10525. Suppose -9*t + 5*t = 0. Is x less than or equal to t?
False
Let k be (-205998)/(-34974) + 12/(-2). Let j = -1/201 + k. Which is smaller: 0 or j?
j
Let c be 40/3 + 40/60. Suppose -c*l = -8*l. Which is smaller: 0.28 or l?
l
Suppose -9 - 1 = 2*l, -l + 15 = -5*p. Let f be p/14 + 549*6/63. Let v be (-240)/1222 + 8/f. Is 1 greater than v?
True
Let h be 0/(2/(4 + -5)). Suppose -5*k + h*l - 2*l = -35, -4*k + 10 = -2*l. Suppose x + 1 = m - 2*m, k*x - 3*m - 11 = 0. Which is smaller: 1/2 or x?
1/2
Let c(m) = m**3 + 4*m**2 - m + 24. Let h be (-2)/6 + 138/(-18) + 3. Let l be c(h). Is l at most as big as 34/7?
True
Let m = -11 - -217/20. Let h be ((-21)/(-5))/((-90)/(-150)). Suppose 0 = -3*c + 4*k, h*c = 9*c + 3*k. Which is bigger: c or m?
c
Let d(j) be the third derivative of j**4/24 - 2*j**3 - 2*j**2 - 30*j. Let q be (1/(-2) + 1)*20. Let t be d(q). Which is smaller: t or 9?
t
Suppose -3 = a - 6. Let s be (a + 0)/(3/4). Let l be (45 - -1)*s/(-40)*-5. Which is smaller: l or -0.1?
-0.1
Let z = 0.1375 - 0.3375. Let m = -189 + 110. Which is smaller: m or z?
m
Suppose 0 = -3*b + 4*b - 6. Suppose 99*g - 215 = 82. Let q = g - b. Is q greater than -13/4?
True
Let s = -5.4 + 5.68. Let w = s - -4.42. Let j = w - 4.66. Which is smaller: -2/9 or j?
-2/9
Let p = 2 - 2. Suppose -14*m + 9*m + 206 = -t, m = t + 222. Which is smaller: p or t?
t
Suppose 5*f + 374 = 3*f + 4*b, 4*f - b + 741 = 0. Let m = -253 - f. Is m less than -70?
False
Let l = 7435.9 + -7436. Is -566 > l?
False
Let y(c) = -26*c**2 + 5*c - 1. Let d be y(1). Let t = 42 - d. Suppose -5*u + t = 4*g, 4*g - 5*g - 4*u + 27 = 0. Is g != 11?
False
Suppose 9*v + 0*v - 621 = 0. Let w be 3/(-351)*2*v/46. Is w bigger than 1?
False
Let w = -70 + 78. Let c be (w/20)/((-38)/150). Which is greater: c or -1?
-1
Let g(h) = -h**2 - 8*h - 1. Let c be g(-9). Let p be (-11)/2*(-8 - c). Let l = p + 13. Is l smaller than -2?
False
Let f = -2/439 - -1148/59265. Let k = 3557/36315 + -120/269. Let w = f + k. Which is smaller: w or 0?
w
Let j = 0.201399 + 3.898601. Let i = -3.02 - -0.02. Which is smaller: i or j?
i
Let l(t) = -t**3 + 8*t**2 - 9*t + 13. Let r be l(7). Let y be (3/2)/(30/100) + r. Suppose -y*v = -v. Which is greater: 1/105 or v?
1/105
Let p be (1/86)/(-1 - (-11)/(-12)). Let n = -29628/6923 + p. Is n != -5?
True
Let t(k) = -21*k + 2642. Let w be t(98). Is 3511/6 less than w?
False
Let j(d) = -3*d + 5. Let s be j(-19). Let g = 353 + -294. Is g bigger than s?
False
Suppose -27*b + 14*b = -702. Suppose 2*g + 16*j = 14*j - b, 5*g + 4*j = -140. Is g at most as big as -25?
True
Let q be 0*(10 - (-2020)/(-200)). Is -1/1408 greater than q?
False
Let q = -919.3 - -918.3. Which is smaller: -2