or -8147?
-8147
Suppose -4*g + 3 = 3*q, -q + 20 = -4*g + 19. Let z be 4775/4765 + -1 + 0. Which is bigger: g or z?
z
Let n(o) = -11*o**2 + 12*o**2 - 17 + 0*o - 40*o. Let g be n(40). Which is smaller: g or -15?
g
Let o = -485984/1551 - -2226/517. Let g = o + 309. Which is smaller: g or -1?
-1
Let p(u) be the first derivative of -u**3/3 + 4*u**2 - 3*u - 12. Let f(b) = -b**2 + 7*b - 3. Let w(d) = -6*f(d) + 7*p(d). Let s be w(14). Is -7/2 at least s?
False
Suppose 174 = -119*u - 115*u + 237*u. Let x(o) = -o**2 + 13*o + 7. Let m be x(13). Let n be ((-7)/m)/(1/(-59)). Is n less than u?
False
Let v be ((-25)/(-20))/(2/(-24)). Let y = -625/22 - -265/22. Is v bigger than y?
True
Suppose 42*x = 5*x + 5439. Which is greater: 100 or x?
x
Let r(v) = 4*v + 19. Let m be r(-5). Let b(h) = 118*h**2 - 3*h - 2. Let z be b(m). Let d be z/(-3) - (-22)/33. Are -39 and d nonequal?
False
Suppose d - 2 = m, 12*d - 9*d = 4*m + 8. Let s be 2 + (117 - 4 - d). Is 114 at most as big as s?
True
Let i = 52.31 - 52.13. Is -16 >= i?
False
Let a = -33 - -80. Suppose 2*l - 322 = -5*l. Which is smaller: l or a?
l
Let k be (-2)/7 + 348/(-126)*-3. Suppose 0*b - k = 2*b. Which is greater: -67 or b?
b
Suppose 16*m + 105 = 17*m. Let r be (-84)/m*(-10)/(-4). Which is smaller: 0.04 or r?
r
Let l(u) be the third derivative of 0 + 3*u**2 - 1/10*u**5 + 0*u + 1/8*u**4 + 1/6*u**3. Let h be l(2). Which is greater: h or -0.1?
-0.1
Let r = 0.00846 - -0.09884. Which is smaller: -7 or r?
-7
Suppose -32*r - 936 = -14*r. Suppose t + 29 + 20 = 0. Is r at least t?
False
Let p be ((-7)/70)/(214/(-8)). Let t = -1567/10165 - p. Which is bigger: -1 or t?
t
Let p = 3.7 - 19.7. Let g = -6.7 + 7.98. Let t = 1.38 - g. Which is smaller: p or t?
p
Suppose -3*u - 5*z - 24 = -1158, -2*u + 756 = 3*z. Let f be 230931/u - (-2)/28. Is 611 equal to f?
True
Let j be (44/33)/(-4*142/(-28)). Which is greater: -1 or j?
j
Let n = -0.533 + 0.4779. Let b = 0.0551 + n. Is b > -0.005?
True
Let f be 20/5 - -19 - 8/(-2). Let b = 48 + f. Let c = 162 - b. Which is smaller: 88 or c?
c
Suppose r - 6*p + 2*p + 5 = 0, 5*r = 5*p + 5. Is r bigger than 79/35?
True
Let g be ((-3)/576)/((-4)/6). Let l = -23019081/746624 + 9495/307. Let j = l + g. Which is smaller: j or 0?
0
Suppose 640 - 641 = -5*d + s, 23 = d - 4*s. Let w = -5 + 21. Let f = 27 - w. Is f != d?
True
Suppose -44 - 110 = -2*m. Suppose m - 301 = 2*x + l, -x - 4*l - 119 = 0. Are -112 and x equal?
False
Let q = -7378 - -7026. Is -2107/6 > q?
True
Let f(b) be the first derivative of -b**4/4 - 22*b**3/3 + 23*b**2 - 49*b + 7. Let u be f(-24). Let c be 2 + -1 - (-40)/(-38). Is u != c?
True
Suppose -5*c = 4*d - 12646 + 70539, -46299 = 4*c + d. Which is bigger: -11572 or c?
-11572
Let h = 1759 - -698. Which is smaller: h or 2455?
2455
Let r be 300467/196168 - 18/14. Are 1 and r equal?
False
Let d = -10278 + 71866/7. Are -1/31 and d non-equal?
True
Let y be ((-14)/4 - (-535)/(-214))*8/(-9). Suppose 0*h - 5 = h. Let l be (-20)/(-6)*(-6)/h. Is y < l?
False
Let c = 28442 + -35233. Which is smaller: c or -6793?
-6793
Let m be -3 + ((-8)/2 - -7). Let k = -965 + 965. Is m < k?
False
Suppose 22*i - 24*i - l - 3 = 0, -3*i = 2*l + 5. Is -3/1259 bigger than i?
True
Let r = -14007 - -8517. Let d be 5/(-2)*((-21968)/r - 4). Are d and 0 equal?
False
Suppose -5*p + 0*x - x - 8 = 0, 5*p = -5*x. Let l(t) = t**3 + 5*t + 5. Let g be l(p). Let n = 6 + g. Which is smaller: n or -9?
-9
Let d be ((-12)/(-56))/((-484)/6314). Is d equal to -2?
False
Let r be (33/(-12))/(4/(-32)). Suppose 0 = 234*s - 235*s + r. Which is smaller: s or -3?
-3
Suppose 0 = -4*w + 9*r + 36, 5*w + 4*r + 36 = 20. Let m = -787513/85 + 9265. Is m less than w?
False
Let y = -1552.4437 + -2.3563. Which is smaller: y or -1/2?
y
Let x be (72/(-15))/((-27)/450). Let q be (-6)/(-8) + 20/x. Let k be 150/(-632) - (-6)/24. Which is greater: k or q?
q
Let h = -13468 - -13502. Which is smaller: 0.183 or h?
0.183
Suppose -d = 4*u - 6*d - 259, 2*u = -3*d + 135. Suppose 3*h = 7*v - 5*v + 220, -h + u = 3*v. Which is smaller: h or -4?
-4
Let q = -89007 + 249575625/2804. Is 0 > q?
True
Suppose 0 = -3*m - 3*m - 225 - 8001. Which is smaller: -1370 or m?
m
Let o = -717 + 730. Suppose 0 = -4*p - 2*x + 4 + 6, -2*x = 6. Suppose -i = -10 - p. Are i and o unequal?
True
Let q = 99570.939 - 98945.6. Let z = q - 626. Let r = z - -0.061. Which is bigger: 3 or r?
3
Suppose -2*l - 3*l = -a + 77, 2*l + 38 = -2*a. Let c(v) = -v**2 + 36*v + 2. Let k be c(36). Let n be (k/(-4))/(2/4). Are n and l equal?
False
Let l(y) = y**2 - 138*y + 2228. Let o be l(19). Let h(k) = 3*k**2 - 3*k - 32 + 2*k - 2*k**2. Let z be h(0). Are z and o nonequal?
True
Let w be (-16)/3*3/(-2). Let j be ((18675/(-10))/(-9))/((-1)/(-2)). Suppose -6*u + j - 367 = 0. Is w at most u?
True
Suppose 8*j = 11*j + 114. Suppose 7*h + 7*h = -630. Let z = h - j. Is z >= -7?
True
Suppose -6*t + 88 = -r + 3*r + 830, 0 = 4*t. Which is bigger: -4 or r?
-4
Let o be (7/(-4))/(15/(-660)*11) + -6252. Is -6245 equal to o?
True
Let i = -156605/2 + 79947. Is 1646 at most i?
False
Let b = -14 + 18. Suppose b*m - c = 8, -c + 2*c + 5 = 3*m. Suppose m*q + q = -0*q. Which is bigger: q or 3/19?
3/19
Suppose 47 + 49 = 16*b. Let o be (-4)/1 + (7 - b) + 1. Which is smaller: o or 2?
o
Suppose -383*r + 2 = -387*r - m, 0 = -r + 3*m + 6. Which is greater: -302 or r?
r
Let s = 92.197 - 92.9. Let z = 0.66 + s. Let u = -5.681 - -5.481. Is z at most as big as u?
False
Suppose -3*s + 4*p + 19287 = 0, 26*s + 32094 = 31*s - p. Are 6418 and s equal?
False
Let y be ((-2 - -3)*26)/(1 - -1). Let z be (3/(-40))/(26/(-4030)). Which is bigger: z or y?
y
Suppose 0 = 4*s - 8, 2*s + 9 = 5*o + 4*s. Let y be 1/((-10)/361) + 0. Let w = y + 36. Which is smaller: w or o?
w
Let a(x) = -x**3 - 3*x**2 - 133*x - 397. Let z be a(-3). Suppose -3*f + 7*f - 8 = 0. Suppose -5*q + 25 = z*g, -7*g + 25 = -f*g. Which is bigger: 10/3 or q?
10/3
Suppose 121*h + 49 = 72*h. Do h and 246 have the same value?
False
Suppose 49*h + 11*h = 9*h - 47583. Which is smaller: h or -935?
-935
Let c = -527.8 + 445. Let s = c - -19.8. Does -0.3 = s?
False
Let b be ((-15)/120*6)/((-446)/(-24)). Is b at least as big as 0?
False
Let q = -414 - -260. Let m = q - -114. Is -41 greater than m?
False
Let n = 4085 + -4063.6. Which is greater: -0.1 or n?
n
Suppose s = 5*b - 30, -s = -3*b + 38 - 2. Let m = 48 + s. Suppose -m*f = f - 48. Which is bigger: f or 65/6?
f
Suppose -269 - 347 = -2*r. Let s = 189 - -118. Is r > s?
True
Suppose 53*u - 132 = 41*u. Suppose u*i + 3458 = -1349. Are -437 and i nonequal?
False
Suppose 2*y - 1901 = -5*u - 6620, -44881 = 19*y - 3*u. Is -1/4 at most y?
False
Let y be 4/8 + (-50)/552*-2. Let w = y - 8/23. Is w != -75?
True
Let k = 2273.2 - 2273. Is k <= 8.53?
True
Let m be 7 + 45792/(-7677) - 1. Which is bigger: m or 0?
m
Let r = -1.08 + 0.97. Let g = 1.72 - -0.38. Is g at least r?
True
Let j(r) = 2*r**3 - 54*r**2 + 40*r - 83. Let l be j(26). Which is greater: -6 or l?
-6
Suppose -3*f + 6*k - 3*k = -6753, f = 3*k + 2249. Suppose 22*y = 454 + f. Is 124 < y?
False
Let j be ((-11613)/(-79))/(((-1)/(-1))/1). Which is greater: j or 150?
150
Suppose -4*h - r - 5 = 0, -1 = -h - 4*r + 3*r. Let d(a) = -7*a - 6. Let q be d(h). Let j(g) = -4*g + 32. Let n be j(q). Which is bigger: 3/5 or n?
3/5
Let w(t) = 5*t - 12 + 60*t - 8*t. Let d be w(-1). Is -71 equal to d?
False
Let w(o) = 2*o**2 + 26*o - 48. Let x be w(-21). Let m be (-140)/(-6)*x/112. Is m greater than or equal to 60?
True
Let u = -35/32 - -551/416. Which is smaller: u or -13?
-13
Suppose -345 = 62*x - 63*x + 3*n, -7*n = x - 395. Is 362 equal to x?
False
Let u = -0.2971 - -0.0461. Let r = u - -3.251. Which is smaller: r or 4?
r
Let q = 0 + 0. Suppose 14 = -2*c + 5*n - 2, -n + 4 = q. Let a be (c - 3/1)*3. Is a at most -7?
False
Let b(w) = 2*w**2 - 2*w + 2. Let z be b(1). Suppose -i = -2*x - 11, 55 = 3*i + z*i + x. Suppose g - i*g = 50. Is -1 not equal to g?
True
Suppose 10*g = 15*g + 230. Let o = g - -91/2. Let l = -2.6 - 0. Is l less than o?
True
Suppose 4*f + 4*f - 20 = -4. Is f equal to -0.3?
False
Let n(j) = -2*j + 5. Let m be n(1). Let o(d) = -d**3 + 18 + 3*d**3 + 2*d**m - 5*d**3 + 8*d**2 - 15*d. Let z be o(6). Which is bigger: z or 1/46?
1/46
Suppose -16*s - 7 = -87. Suppose -s*d = 490 - 500. Which is greate