e
Let u(p) = -6 - 6*p - 2 + 0*p**2 - 62*p**3 + 2*p**2 + 0 - 3*p**3. Let f be u(-1). Which is smaller: 0.03 or f?
0.03
Let f be (5/((-5)/(-146)))/(-2). Which is greater: f or -66?
-66
Let j = -1026 + 949. Let s be ((-42)/j)/((-85)/(-10) + 2). Is s < 0?
False
Let i be 1 - ((-4 - -1) + -78). Let k = -144 + i. Let z be (10 + -3 - 6)/(k/8). Which is bigger: z or -1?
z
Suppose 2792*a + 28 = 2806*a. Is a at least -1.3?
True
Let u = -11/78 + -9/13. Which is smaller: -14 or u?
-14
Let w(g) = -g**3 + 16*g**2 + 11*g + 22. Let z be w(17). Suppose 209 = -4*q - 115. Let y = z - q. Which is bigger: 0.01 or y?
y
Let s(l) = 23*l - 15. Let r be s(6). Suppose 4*t = -t - 2*c + 309, -c = 2*t - r. Let m be 8/(-10)*t/28. Which is smaller: -1 or m?
m
Let v be 24*(-102)/(-2)*(-49)/588. Is v less than -11/3?
True
Let r = 10 + -19. Let f(q) = 20*q**3 - q**2 + 2*q - 1. Let j be f(1). Let c be ((-6)/10)/(2/j). Is r != c?
True
Let d be 11/(99/(-12)) - 4/6. Suppose -2*v + 0*v = -300. Is d smaller than v?
True
Let c be 1 - (15/(-45) + (-898)/(-3)). Let v = -160 - c. Which is bigger: 137 or v?
v
Let i(k) = -104*k - 51. Let q be i(3). Let v = q - -242. Which is bigger: v or -123?
v
Suppose -78 = -2*i - 2*h, i - 250*h + 253*h - 37 = 0. Which is smaller: -15 or i?
-15
Let j = 1407 - 1406. Is j at least as big as 25/234?
True
Let f(y) = y - 6. Let t be f(5). Let p be 5/35 + (-748)/1463. Which is smaller: t or p?
t
Let p = -1305010918228/269831 - -4836401. Let b = p + -75838747/1460325372. Let g = 2/123 - b. Which is greater: 1 or g?
1
Let n be 0 + -14 + (-66)/11. Let u be (2 + 64/n)*20/(-36). Are -87 and u nonequal?
True
Suppose 99*t + 12 = 97*t. Let s(o) = o**3 + 5*o**2 + 24. Let p be s(t). Which is smaller: p or -11?
p
Suppose w = 4*w - 102. Suppose q - 57 = 4*i, 5*i + w - 135 = -2*q. Let z = 11503 - 11450. Do q and z have different values?
False
Let r be (687/(-387))/((-14)/(-21)*5). Let f = r + 3/10. Which is greater: 0 or f?
0
Let m = -352 - -265. Let n = m + 79. Is n not equal to -9?
True
Let h be 4/8 + 14179/(-22)*3. Is -1933 greater than or equal to h?
True
Suppose 2*y + 20 = -168. Let p be 50760/180*1/(-3). Are p and y non-equal?
False
Suppose 3*y - 3*v - 3045 = 0, 58*y - 60*y - 4*v = -2036. Are y and -0.1 non-equal?
True
Suppose 3*m + 59 = -i - 93, m = -5. Let r = i + 138. Which is bigger: r or -2?
r
Let c = 18183/172 - 63/43. Suppose -13*l - 839 - 526 = 0. Let d = l + c. Is d less than -4?
False
Let a be (61/(-2))/((-1)/2). Suppose 16*n - 248 = 448 + 248. Are n and a unequal?
True
Let c(v) = -v**3 + 18*v**2 + 30*v - 1204. Let s be c(14). Which is greater: -2/1019 or s?
s
Suppose -61 + 88 = a. Suppose 11*i - 2*i = a. Let x = i + -7. Is 10 >= x?
True
Suppose 6 = 5*q + 466. Suppose -l = -3*b + 109, 2*b = -l + 6*b - 114. Which is bigger: q or l?
q
Let y be (-1)/(-2) + (-28331)/50. Let f = y + 566. Let s(i) = 139*i - 278. Let r be s(2). Which is greater: r or f?
r
Suppose 5*x + 95 = -5*f, -f - 5*x - 24 = -3*x. Suppose 72 = -2*a + 8. Let g = f - a. Which is smaller: g or 17?
17
Let c be (20628/6494)/(3/34). Let a(q) = -7*q - 6. Let y be a(-6). Does c = y?
True
Let h = -22394 + 22413. Let w be (-3)/(-12) - 9/20. Which is smaller: w or h?
w
Let l = -2439 - -2438.592. Is -1 < l?
True
Let v = -10746 + 16546. Is v less than 5800?
False
Suppose -62*p - 90 = -77*p. Suppose -22 + p = 16*f. Are 1/123 and f nonequal?
True
Let n be -6 + (-48)/(37 + 5 + -7). Which is smaller: n or -6?
n
Let g = -39.5 - 77.5. Let a = 117 + g. Is a greater than -0.93?
True
Let u = 96 + -142. Let z = 28 + u. Let p = 2 - z. Is p smaller than 2?
False
Suppose 0 = 25*j - 14 + 39. Let n be -22 + 23 - 8*j. Which is smaller: n or -4/11?
-4/11
Let d(c) = -229*c + 1129. Let b be d(5). Which is smaller: -13 or b?
b
Let z be (-53 + (30 - 13))*8/(-6). Let l be (-65)/(2*-1 + 1). Let n = l - z. Which is smaller: n or 15?
15
Let b(j) be the third derivative of -j**6/120 + j**4/12 - 4*j**2. Let i be b(2). Suppose -u + 4*u = -2*k - 22, 3*k - 6 = 2*u. Which is bigger: i or u?
i
Let j = 3719 - 3720. Are 3/7231 and j nonequal?
True
Let v(j) = j**3 - 13*j**2 + 17*j + 27. Let d = 14 - -30. Let m be (1 + -2)/((-4)/d). Let s be v(m). Are -28 and s equal?
True
Let c(d) = 69*d + 3766. Let m be c(-56). Which is smaller: m or -129?
-129
Let d = 12029 - 12028. Let p = -264741/31 + 8541. Which is smaller: p or d?
p
Let y = -70 - -69.7. Let o be 1761/72 + (-3)/24. Let c = o + -24. Is c at most as big as y?
False
Suppose -4*k + 12 = -2*t, -2*k - 5*t = -k - 14. Suppose -h - 18 = -k*h. Suppose -h*i - 5*y - 20 = -i, -2*y = -i + 5. Is i bigger than -16?
True
Let t = 20.8 + -21. Let l = -231 - -226.6. Is t smaller than l?
False
Let v be (-2)/7 + (-54)/(-483). Let c = 26 + -23. Suppose 0 = -6*s + c*s. Is v <= s?
True
Suppose -116*j + 77*j = 22*j - 61. Which is bigger: j or -1/1142?
j
Let m = 3603 - 3602. Which is smaller: m or 25.15?
m
Let h(j) = -5*j - 41. Let s be h(-8). Let c be -8 - (s + (-23)/3). Is c less than or equal to 1.1?
True
Let c = -1606399408400393/6660794646 - -2274557783/9431. Let o = 1/26158 - c. Let v = -1/54 - o. Is v bigger than 6?
True
Suppose 5*u = -w - 14, -w + 46 = -4*u + 15. Suppose -13 = -4*s + w. Suppose 0 = -s*z + 28 - 10. Is 3 greater than z?
False
Suppose -j - j = 5*p + 2842, -2854 = 2*j - p. Is j <= -1424?
True
Let x(j) = j - 6. Let w be x(6). Let i(a) = -39 + 2730*a**2 - 5465*a**2 + 2736*a**2. Let g be i(w). Is -40 smaller than g?
True
Let c = -35 - -45. Let m = -161 - -181. Suppose c*p = m*p - 60. Which is smaller: p or 5?
5
Let s(r) = -6*r - 2*r + 5 + 2*r + 3*r**2 - 7*r. Let d be s(4). Let t be (21/(-4) - (4 - d)) + -1. Which is smaller: -10 or t?
-10
Let a(k) = -k**2 + 33*k - 31. Let p(g) = g + 45. Let b be p(-13). Let t be a(b). Which is smaller: -6/43 or t?
-6/43
Suppose -385 = -c - 6*c. Suppose 4*k - 22 = 6*k + 3*v, -5*k - c = -v. Let j be (2 - (2 + 1))*-1. Which is smaller: k or j?
k
Let z = -1366 + 353. Is -0.2 greater than or equal to z?
True
Suppose 0 = -5*f + 5*a + 340, 3*a + 37 = -4*f + 316. Let m(i) = -3*i**2 + 4*i - 7. Let x be m(-4). Let v = f + x. Is v > -18/11?
False
Let c(x) = x**2 + 3*x - 8. Suppose -425 = -5*f + 3*u, -4*f - 4*u + 136 + 172 = 0. Let s = f + -86. Let m be c(s). Is 2 greater than m?
True
Let u = -15290491993/340 + 44972281. Let g = 5624/25 - 47071/100. Let b = u + g. Which is bigger: 0 or b?
0
Let c be (-3929)/(-3) - 434/(-186). Is 2 at least c?
False
Suppose 5*j = -4*z - 62, 3*j - 34 + 20 = 4*z. Which is smaller: z or -125/19?
z
Let u be 4/18 - (-9310)/(-2205). Let x(a) = -a**2 + 7*a - 9. Let m be x(6). Let k be (0 + 5/m)*3. Which is greater: k or u?
u
Suppose 3*d - 912 - 666 = 0. Let x be d/78*-1 - -7. Is x at most -1?
False
Suppose 19*o = 20*o + 50. Let j = o + 103. Let w(u) = -11*u + 32. Let p be w(-2). Which is bigger: j or p?
p
Let z = -934.2 - -934.3. Which is smaller: -40.8 or z?
-40.8
Suppose 293 = -4*t + 3*p, -8*t - p = -3*t + 390. Let j be t - 0 - (-48 + 55). Is 0.1 > j?
True
Suppose 29*i = 11186 - 2196. Let o = i - 1551/5. Which is smaller: -0.3 or o?
-0.3
Let l = -16/3 - -451/84. Let b = 135 + -135. Which is smaller: b or l?
b
Suppose -94 - 4 = 49*v. Is v > -25/11?
True
Let f(r) = r**3 - 71*r**2 + 122*r + 1066. Let x be f(69). Which is greater: -42 or x?
x
Let s(g) = -g**3 + 35*g**2 + 18*g - 630. Let n be s(35). Which is smaller: -31/47 or n?
-31/47
Let b = 866781/19 + -45633. Let y be (2 - 1) + 0 + 12. Let z = b + y. Which is bigger: z or 1?
1
Let b(x) = -x**2 - 13*x - 5. Let y be b(-11). Let u be 0/2 - (8 + -3 - 11). Which is smaller: y or u?
u
Let j = -2357/3 + 721. Let l = j + 65. Which is bigger: 69 or l?
69
Let g be (-11 + 25 - (-1893732)/(-135269))*(-3)/4. Is g bigger than 0?
False
Suppose 4*r = 4*l - 52, 35 + 4 = 3*l - 5*r. Let i = -5765 + 40436/7. Which is smaller: i or l?
i
Let z = -16114 + 16114. Which is bigger: 1/312 or z?
1/312
Let u be (-16)/4*-113 + -4. Let i = u - 448. Is -13/30 > i?
False
Let k = -0.0037 + -0.9963. Which is smaller: -1/1743 or k?
k
Suppose 32 = -2*i - 18. Let p be -1*(1 - -2*(-1 + -2)). Suppose -p*g + 50 = -7*g. Does g = i?
True
Let y(i) = -34*i - 406. Let r be y(-12). Is 48/37 greater than r?
False
Let w be ((-622)/8 - 6)*-4. Let l = w - 253. Which is smaller: 84 or l?
l
Let i = -26.6686 - -0.4086. Which is greater: i or 1?