284?
3/284
Suppose 2*q = -2*d - 8, -d + 2*d - q = -8. Let n be (2 - 2)/(6*(-2)/d). Suppose -7*f - 232 - 20 = n. Is f > -36?
False
Let v = -40891.971 - -40915. Let g = v - 23. Let z = g + -55.029. Which is smaller: z or 1?
z
Suppose 0 = -b + f - 8, b - 2*f + 9 + 4 = 0. Let n be 81066/149079 + (-6)/21. Are b and n unequal?
True
Let n(l) = l**2 - 4*l - 3. Let g(i) = i**2 - 4*i - 2. Let z(j) = -3*g(j) + 2*n(j). Let u be z(4). Let d be (2 - 5) + 50 + -45. Are u and d unequal?
True
Let d = 706.2 + 317.8. Which is smaller: d or 0?
0
Let q = -665/8 + 2203/24. Let b = 11 - 2. Is q < b?
True
Let f(l) = 4*l + 10. Let h be f(-7). Let v be (2/(-3))/((-4)/h) + 49. Is v > 44?
True
Let m(d) = -d**3 + 101*d**2 - 195*d - 315. Let o be m(99). Which is bigger: o or 37?
37
Let t(p) = -p**3 + 6*p**2 + 4*p - 1. Let m(b) = b + 1. Let u be m(4). Let k be u - 5 - (-4 + -3). Let i be t(k). Is -23 less than i?
True
Let x(w) = 2*w**2 - 109*w + 1639. Let f be x(35). Let p(c) = 4*c**2 - 2*c + 3. Let o be p(-8). Is f > o?
False
Let z(a) = -a**3 + 8*a**2 - 3*a + 1. Suppose -7 = -3*s + 2*s. Let m be z(s). Let b = m - 33. Which is greater: -2 or b?
-2
Let q(g) = -g**3 + 4*g**2 - 7*g + 6. Let y be q(2). Let d be (-66 - (5 + -1))/(-2 + y). Suppose -3*n - n - 47 = 3*z, -5*n = -z + d. Is n less than 0.05?
True
Suppose -24*a - 5*a = -841. Let y(v) = -v + 9. Let o be y(7). Let x be o/(-4) - (-413)/14. Is x != a?
False
Let q(b) = b**3 + 6*b**2 - 5*b - 1. Let w be q(-6). Let o = 111917 - 111891. Which is bigger: o or w?
w
Let q = 1836.9 + -1837. Let v = -8.5 - -0.5. Which is greater: q or v?
q
Let l = -33 + 56. Let f be (1674/96)/(25 - 1746/72). Which is smaller: l or f?
l
Let q be (-24)/64 - (-9334)/16. Let u = -542 + q. Which is bigger: 45 or u?
45
Suppose 5*c = h + 61, c = -2*c - h + 43. Suppose 5*b - 5*t = -5, 2*b + 3 = 3*t - 4. Suppose u - 3*k = 21 - 6, -b*k = -3*u + 40. Is c less than u?
False
Suppose -w - 202 + 175 = 0. Suppose 53 + 52 = -5*x. Let g = -4 + x. Which is smaller: w or g?
w
Let i = 515433/2014838 + 7/4054. Let h = -27830/71 + 392. Let t = h + i. Which is smaller: -23 or t?
-23
Let o = -3362962/13 + 258992. Do 304 and o have the same value?
False
Suppose 3*d + 5*j - 454 = 219, 0 = 2*d - 2*j - 422. Suppose d + 99 = 5*w. Let a = 50989 - 50927. Which is greater: w or a?
w
Suppose -2*u = u + 1479. Let v = 1095.336 - 1096.336. Which is smaller: u or v?
u
Suppose -245*k = -188*k - 57. Is k smaller than -2/8373?
False
Let h be 68687/(-13) - (-2)/(-2). Let c = h + 5280. Is -6 < c?
True
Let w(p) = -2*p**2 - 3*p + 8. Let r be w(-6). Suppose -81*n + 3213 + 1080 = 0. Let v = r + n. Is v < 4?
False
Let n = -4.68 - -0.58. Let i = 215 + -135. Let b = -79.9 + i. Which is bigger: b or n?
b
Let y = 32210423/1284 + -25086. Which is bigger: y or -1?
y
Let a(m) be the first derivative of m**3/3 - 3*m**2 - 29*m + 238. Let h be a(9). Is -17 at least h?
False
Let h(l) be the third derivative of -l**4/8 + 15*l**3/2 + 150*l**2. Let i be h(14). Which is greater: 25/9 or i?
i
Suppose 9920*z - 9928*z - 24 = 0. Is z smaller than -194?
False
Suppose 2*c + 271 = g, -g = c - 0*g + 137. Let y = c - -301. Which is smaller: 163 or y?
163
Let g be 2 + -2 - (-4 + 2). Suppose -2*m - 2*r + 4 = 0, -r + 2 = -3*r. Suppose g*c + 2 = -a, -3*a + 2*c + 27 = -m*c. Is a bigger than 4?
False
Let q = -1356 - -1359. Is 91 not equal to q?
True
Let h = -1766.9 + 1485. Let c = 279 + h. Is c <= 0?
True
Let y = -3799 + 3475. Is y less than -2924/9?
False
Let h = -6746.1 + 6746. Which is greater: h or -2/1823?
-2/1823
Let b(s) = -2*s**3 - 9*s**2 - 4*s - 1. Let x be b(-6). Let a = 9711 - 9711.2. Which is smaller: a or x?
a
Suppose -6*y + 3*p = -y + 127, -2*p - 84 = 4*y. Suppose -t - 2*v + 0*v - 25 = 0, -t - 25 = 5*v. Let l = t + 2. Are y and l nonequal?
False
Let v = 3.8 + -4. Let k(y) = y**2 - 9*y + 10. Let c be k(8). Let f be c/(-13) - (4 + (-107)/26). Is f != v?
True
Let p = -9/40 - 1/40. Let s(w) = 2*w**2 - 3*w + 59. Let c be s(0). Suppose c = 7*u - 291. Which is smaller: p or u?
p
Let s be (5 - 3) + (-6 - -5). Suppose 3*r = -5*z - 1880, 6*r - 3*r - 1128 = 3*z. Let t = z + 2636/7. Which is smaller: t or s?
t
Let u = -36.96 - -36.96. Which is smaller: -609 or u?
-609
Let d = -9 - -8. Let v be (4/30)/((-4)/36*114). Which is smaller: v or d?
d
Suppose -18 = -6*j + 36. Suppose -j*t - 6*t = 1560. Let c = 78 + t. Which is bigger: c or -28?
c
Let z be (10/(-3))/5 + 575/(-15). Let g = z - -42. Suppose c - 3*o = -2, 4*c - g*o + 1 = 2. Are 1 and c equal?
True
Let u = 14 - 20. Let i(f) be the first derivative of 5*f**4/2 + 2*f**3/3 - f**2/2 - f - 28. Let k be i(-1). Which is greater: u or k?
u
Suppose -i = -4*c - 510, 1750 = 4*i + 5*c - 227. Which is smaller: 497 or i?
497
Let p be (-20)/(-8) - 17606/7161. Let k = p - 6/341. Is 1 less than or equal to k?
False
Let n = -3889 + 6137. Is 2247 < n?
True
Let w = 818 + -825. Let v(q) = -55*q - 386. Let n be v(w). Let g be (1 - -3)*(-18)/224. Is g < n?
False
Let s = 13.929 - 41.429. Which is smaller: s or -20?
s
Let m = 5532 - 1388530/251. Is 1 at least as big as m?
True
Suppose 993*w = 1144*w - 87882. Is 574 at most as big as w?
True
Let r be 7 + 20/(-8) + (-3030)/20. Which is smaller: -12 or r?
r
Let t be (-102)/(-8) + -6 + -6. Let y be 4 - (-3 - -19*(-2 + 3)). Which is bigger: y or t?
t
Let t(m) = 189 + 159 + 158 - 663 + 196 - 2*m. Let z = 12 - -6. Let w be t(z). Which is smaller: -2/5 or w?
-2/5
Let k = 7/8530 + 16360477/76770. Which is smaller: 1/4 or k?
1/4
Let z = -15865/3262 - -3/466. Do 10 and z have the same value?
False
Suppose -40*u - 420 = -46*u. Let k be ((-4)/(-20))/((-156)/u). Is k greater than or equal to 1?
False
Let n be (-6494)/10414 - 4/410*-5. Is 0 <= n?
False
Suppose 4*c = -19 + 3. Let a be c - 73/(3 + -4). Which is smaller: a or 68?
68
Let f = -551388424539/223 + 2472587585. Let p = f - -6247. Is 0 > p?
True
Let y = -2/83055 - -33224/83055. Let g = 0.13 - -0.27. Is y greater than g?
False
Let j = -53208039 + 128387981. Let d = -8871154097/118 + j. Let h = d - 670. Do 1 and h have different values?
True
Let h(l) = 45*l - 8. Suppose 0 = 2*q + 8*q - 80. Let u be h(q). Let r = -7394/21 + u. Which is greater: 1 or r?
1
Let c be 45/1352*(-102)/(-85). Is 0 smaller than c?
True
Let w be 1/6 - (-715230)/(-4287492). Does 1 = w?
False
Let k be 2/2 - (-1 + -1). Suppose -2*f + h + 62 = -3*h, f - k*h = 26. Let l = f - 32. Which is smaller: 10 or l?
l
Let q = -0.2456 - -0.1456. Is q smaller than -2361?
False
Let c = 11.606 + -9.606. Which is smaller: 4.399 or c?
c
Let t be 845*((-155)/25 + 6). Let h = 26 - 196. Does t = h?
False
Let y(m) = m**3 - 2*m**2. Let o be y(2). Let v be (-28)/((9 + 1)/(-5)). Let p be (-9)/(-33)*v/(-63). Is o bigger than p?
True
Suppose -6*m + 1681 - 205 = 0. Let d = m + -248. Which is smaller: -19/9 or d?
-19/9
Let p(i) = -i + 22. Let q be p(18). Let s be (6 + -5)*(3 - q). Which is bigger: s or 47?
47
Let p = -34941194/274695 - 2/54939. Let i = 127 + p. Is -47 bigger than i?
False
Let o = 3 - 1. Let x(b) = -b**3 + 7*b**2 + 7*b + 10. Let u be x(8). Let p be (1/u)/(99/429). Is p smaller than o?
False
Let s = -259 - -431. Let y = s + -154. Suppose -42 - 34 = -4*p. Is y <= p?
True
Let l be 29/(-174) + (-44625)/(-720). Which is bigger: 62 or l?
62
Let n = -0.2 + 0. Let j(l) = -l**2 - 8*l + 61. Let b be j(13). Let m = 1481/7 + b. Which is smaller: m or n?
m
Let x be (-9)/6 - 4/(-8). Suppose -2 = 4*h + 2*i + 2, -h - 8 = 4*i. Let m be (h/8)/(6 + -2 - 3). Is x greater than or equal to m?
False
Let u(p) = -2*p - 12. Let n(t) = 2*t - 5. Let d be n(6). Let y be u(d). Let s be (54/y + 2)/1. Which is smaller: 0 or s?
s
Let v = 891 - 791. Is -0.16 less than or equal to v?
True
Let m = -2372 - -2372.2. Is 406 at most as big as m?
False
Suppose -b - 4 = 2*t - 1, 5*b + 15 = 5*t. Suppose 10 = -10*z - t*z. Which is smaller: z or 2/549?
z
Let m = -40 - -39.945. Which is greater: m or 12?
12
Suppose 0*u + 1456 = d - 2*u, -4*d = 5*u - 5798. Let y be (-2)/(-5) - (d/(-20) + 8). Which is smaller: -3 or y?
-3
Let x = -68 + 890/13. Suppose -9*s = 26 + 37. Let i be (-42)/18 - s - 5. Is i != x?
True
Let p = 15 - 10. Let q(t) = t**3 - 5*t**2 - 2*t - 2. Let x be q(p). Let z be (-584)/42 - 24/252. Which is greater: x or z?
x
Suppose 0 = -0*z + z - 5. Suppose 2*n - a = -0*n + z, 4*n 