er: 0.0487 or f?
0.0487
Suppose -d - 3*m = -8, 9 = d + 2*m + 2*m. Let q be 27/5742*(-4)/3. Let s = 5732/1595 - q. Is s != d?
True
Let z be (-9)/5*(-2020)/(-606). Which is bigger: -221/44 or z?
-221/44
Let v(u) = -3*u**2 - 59*u - 226. Let c be v(-19). Is -1702/9 <= c?
True
Let l = -103404 + 817512025/7906. Are l and -1 nonequal?
True
Suppose 0 = 18*u - 19*u + 32. Suppose 0 = 39*h - u*h + 3136. Which is bigger: h or -447?
-447
Let l be (30/76 + (-16)/(-152))*(2136 - -2). Which is bigger: l or 1067?
l
Suppose -3*w = -2*w + 3*n, -n = 0. Suppose x + 4*x - 3*k + 84 = w, 2*x + 5*k + 15 = 0. Let j be (x/(-30))/((-2)/(-4)). Is j >= 4?
False
Suppose -c - 4*c = 0. Let u be (2/(-927))/(-3 + 156/54). Which is bigger: c or u?
u
Let g(o) = o**3 + 3*o**2 - 3*o - 5. Let v be g(-2). Suppose 5*u = -v*j + 65, -2*u = -j + u + 9. Is 26 equal to j?
False
Suppose 10*c + 45*c = -3*c + 116. Which is smaller: c or 48/55?
48/55
Let t be (5 + 37/(-7))/((-2)/14). Suppose -5*i - u - 96 = 0, -u - 18 = t*i + 18. Which is greater: i or -22?
i
Let k(g) = 0*g - 17*g**3 - 35*g**3 - 2 - g + g**3 + 3. Let w be k(1). Are -48 and w unequal?
True
Let f(x) = -x**3 - 10*x**2 - 24*x + 1. Let g = -270 + 265. Let o be f(g). Is 3 smaller than o?
False
Let w = -622 - -784. Suppose -5*z = 2*d + 728 - 10, -z - w = 5*d. Which is bigger: -144 or z?
z
Let i = 13381.15 + -13381. Let j = -3.06 - -0.06. Which is greater: j or i?
i
Let q(w) = w**2 - 2*w - 5. Let c be q(4). Let k be (c - (0 + 4)) + 4. Suppose z - 5*z + 8 = 4*a, -6 = -4*a - 5*z. Is a smaller than k?
False
Let s(n) = 4*n**2 + 21*n + 2. Let f be s(-5). Let a(t) = -59*t - 109. Let q be a(f). Is q not equal to 67?
True
Let c be 1/(2/(-6)) - -2. Suppose 8*s + 4*u = 12*s - 7716, -s + 1904 = 4*u. Let j be s/12210 + (-4)/10. Is c <= j?
True
Let y = -5343116/159 - 1335551894/2703. Let a = y + 526583. Let v = -1121 - a. Which is bigger: v or 0?
v
Let x = 27934/21 + -10947/7. Let m = x + 234. Which is bigger: 18 or m?
18
Suppose 3*k + 5*v - 47 = 0, -3*v = -2*k - k + 15. Let n be (-399)/(-72) + k/72. Let f be 18/4 - 1/(-2). Is n at least as big as f?
True
Let i be 0 - 1 - (-1 + 2 - 4). Suppose 4*z + x + i*x - 64 = 0, x = 4. Which is bigger: z or 17?
17
Suppose h = u + 15 + 41, -3 = -3*u. Suppose -60*o + 300 = -h*o. Let a be o/12*-3 - 4. Are a and -30 non-equal?
True
Let p(k) = -60*k - 1175. Let r be p(-16). Which is greater: r or -216?
r
Let z be (592/64)/(3/(-12)). Let c = z + 39. Let t = 5 + -2. Which is greater: c or t?
t
Suppose -3*n + 3*o = 2*n - 27, 3*o + 24 = 4*n. Suppose -p + n = -1. Let c be p/(-22) + 1630/(-110). Which is bigger: -17 or c?
c
Let a = 953/15 + -928/15. Which is smaller: a or 3/5?
3/5
Let m = -222 + 141. Let i be 1/(18/(-4)) - 18/m. Which is smaller: i or 2/741?
i
Let r be (16/(-18))/((-6)/(-9)). Let j be (-34)/(-3)*(-21)/(-14). Suppose 5*w - j*p + 16*p = -8, -3*p = 2*w + 10. Is w at most r?
True
Let b(z) be the third derivative of z**6/120 + z**5/20 - 7*z**4/24 - 3*z**3/2 - 22*z**2. Let w be b(-5). Which is smaller: -23 or w?
w
Let y be 0 + ((-1)/3 - 2). Let p(f) = -f**2 + 5*f + 145. Let c(l) = 3*l**2 - 16*l - 432. Let k(b) = 2*c(b) + 7*p(b). Let r be k(-11). Is r != y?
True
Let o be (-8)/(-2874)*(-30)/140. Suppose -3*y - 7 = 5, -3*z = -y - 1. Are z and o unequal?
True
Let i = 364 - 192. Let c = i - 173. Which is smaller: -4/21 or c?
c
Let q = -10.776 - 0.024. Let b = -64.2 + q. Let i = 75.7 + b. Which is smaller: i or -3?
-3
Let v(q) = q + 1. Let y(f) = -3. Let w(d) = v(d) + y(d). Let p be w(-2). Suppose 5 - 13 = 4*z. Which is greater: p or z?
z
Let s = -113 - -173. Let d be ((-265)/s - -3)/((-6)/(-16)). Is -3 < d?
False
Let v be ((-1518)/(-1452) + (-2)/4 - -3) + -3. Let z be 2 - (-3)/((-60)/46). Are v and z equal?
False
Let r be 5*1/(-322) + 28/322. Let s = 5.05 - 5. Is s bigger than r?
False
Let q = -6760 - -6760. Is -14.2 greater than or equal to q?
False
Suppose 0*n - 2*n = 108. Let x = 703 + 12. Suppose w = -12*w - x. Is w greater than n?
False
Let u(y) = -13*y - 833. Let w be u(-4). Which is smaller: -788 or w?
-788
Let b = 3626 - 3838.8. Which is smaller: -2 or b?
b
Suppose -11*a + 2568 = -5*a. Let m = -380 + a. Are m and 50 equal?
False
Suppose -c + 3*c + 2456 = -2*u, -u = 2*c + 2458. Is c < -1231?
False
Suppose -120*i - 1710 = 154*i + 296*i. Let n = 42 + -26. Let t be 4/(-14) - n/(-7). Which is smaller: t or i?
i
Let c = -161 + 153. Suppose i + 2*l = -i - 8, 0 = 5*i - 4*l - 16. Let g be 100/(-10) - (i - 3). Does c = g?
False
Suppose -2*q - 150 = 4*q. Let s be 54*(q/10 - -1). Let d = s - -4. Which is greater: -78 or d?
d
Suppose -6*y + 4*y = -14848. Let z = 126250/17 - y. Which is bigger: 3 or z?
3
Let o = -25474/5 - -28621/5. Let b = 629 - o. Which is smaller: -2/23 or b?
b
Let g(c) = -76*c + 3 - 39*c + 18 - 3. Let b be g(4). Let v be b/(-17) + -4 + 1. Is 25 bigger than v?
True
Suppose -3*d = -4*l + 2*d - 469, -3*d + 233 = -2*l. Suppose p - 10 = 3*r, 2*r + 53 = -p + 43. Is l equal to p?
False
Suppose 0 = 3*v + 3*a - 32 + 14, -18 = -3*v + 2*a. Suppose 0 = -7*j + 3*j - 3*n + 19, 0 = -4*j + 2*n - v. Is j greater than or equal to -1/85?
True
Let l = -65.654 - -19.654. Is l > -2?
False
Let i = 287526 + -1142703/4. Is i >= 1851?
False
Let o = -277 - -2021. Is 1746 >= o?
True
Let l(x) = -94*x**2 + 4*x + 18. Let k be l(5). Is -2313 <= k?
True
Let l(p) = -3*p + 38. Let c be l(11). Suppose 5*j - 20 = -0*j, -4*a - 52 = -c*j. Let u be (a/((-48)/9))/((-6)/8). Is 13 greater than or equal to u?
True
Let g be 20/45 - 3903/(-27). Let h = -140 + g. Which is smaller: h or 4?
4
Let y(u) = -u**3 - 16*u**2 + 17*u. Let g be y(-17). Let a be (-18)/42*(-4 + 772/200). Which is greater: g or a?
a
Let f be ((-55)/10)/(30/180). Let b be ((-77)/(-6))/(-7)*-26. Let g = b + -48. Which is smaller: g or f?
f
Let c(b) = 2*b**3 - 12*b**2 - 43*b - 81. Let w be c(10). Is 1 < w?
True
Suppose -7*j + 190 = -17*j. Let i be j*(0 - 1) - 6. Is 11 smaller than i?
True
Let j(b) = 3*b**3 - 5*b**2 + 3*b. Let g be j(3). Suppose 284 - 581 = 58*x - 3023. Which is smaller: x or g?
g
Let a = 44 + -12. Suppose a = 4*y - 4. Suppose -10*w + 29 - y = 0. Which is smaller: 4/7 or w?
4/7
Let h be (-5 - (-206)/30) + (-6)/(-45). Let z be ((-210)/(-175))/(h/350). Is z smaller than 208?
False
Let i(m) = 15*m**2 - 252*m + 240. Let q be i(16). Is q greater than or equal to 43?
True
Let o be (-17)/(102/(-126)) - 1120. Does o = -1101?
False
Let t(h) = 470*h + 6304. Let f be t(-13). Which is smaller: f or 193?
193
Let k = -4.12 - -75.52. Let m = k - 56. Which is bigger: -0.1 or m?
m
Let c be -14*1 - (-63181)/335. Which is bigger: 174 or c?
c
Suppose 0 = -4*o - 4*n + 36 - 8, -12 = -3*n. Suppose h - a - 10 = o*a, -2*a = 4. Is 5/8 != h?
True
Let y = -2540 + 2540.0101. Which is greater: y or -1?
y
Let z be (12/(-9) - -2)*-3. Let s be 1/2*(z + 0/5). Which is bigger: -2/953 or s?
-2/953
Let t be 36/180 + (-11037)/(-15). Let y = t - 693. Which is smaller: 2 or y?
2
Suppose -9 = 5*o + r, 11 = -2*r + 3. Is o != 2/187?
True
Let w = 3984/5 - 807. Which is bigger: w or -11?
w
Let k = 321 - 316. Suppose 0 = 3*h + k*s + 2, 4*h + 2*s = s - 31. Let g = 4 - 6. Which is smaller: h or g?
h
Let f = -36.85 + 35. Let r = f - -2. Let w = 11765 - 11763. Is r at most as big as w?
True
Let v = -23 - -368. Let l = -340 + v. Let o = 1 - 1. Which is smaller: l or o?
o
Suppose -349 = -3*d - 0*d - 5*k, -226 = -2*d - 2*k. Suppose -3*w + d = -126. Suppose 2*p + 0*p + 5*s = 21, 0 = 5*p + 4*s - w. Is p <= 15?
False
Let c = 3385 + -3804. Which is smaller: -417 or c?
c
Let z be ((-10)/6 - 0)*(-10 + 1). Let d be 44/(-1045)*z/(-42). Is -1 > d?
False
Let q = 5934 - -6408. Let u be ((-3)/(-5))/(198/q). Which is smaller: u or 36?
36
Let b = 105 - 100. Let l = b + -9. Let v be l/6*(-30)/(-35). Is 0.2 greater than v?
True
Suppose 1358 - 759 = 92*h - 2621. Are 378/11 and h equal?
False
Let m(q) = -5*q**3 + 7*q**2 + 6*q + 11. Let t be m(4). Is -172 greater than t?
True
Let q(r) = 7*r + 1. Let k = 8 + -5. Let u be q(k). Suppose -27 = -w + 2*b, -5*b + 11 = -5*w + 136. Is w at most as big as u?
False
Let f = 1244 + -736. Let w = f + -407. Is w > 101?
False
Let y(p) = p**2 + 20*p - 224. Let r be y(-27). Let d(z) = -4*z**3 + 2*z. Let h be d(2). Let k be ((-30)/r)/(18/h). Are k and 0.4 unequal?
True
Let s(b) = -3 + 70*b**2 + 0*