 + -7. Which is smaller: g or b?
g
Let f(i) be the first derivative of i**2 - 10*i - 2. Let z be f(7). Let p be (-3)/7 + z/8. Which is smaller: p or -1?
-1
Let j = 1118726/347 + -3224. Let b = j - -720/4511. Let c = -11 + 10. Is c smaller than b?
True
Let a(p) = -2*p**3 - 8*p**2 + 19*p + 3. Let g be a(2). Does -5 = g?
False
Let q(t) = 2*t**3 + t**2 - 2*t + 15. Suppose 0*w - 4*w = 0. Let x be q(w). Which is smaller: 14 or x?
14
Let w(t) = t**2 - 12*t + 22. Let i be w(10). Let j = 4 + 0. Suppose 2*s = j*s + i. Which is bigger: 3/8 or s?
3/8
Let x = -231.5 - -232. Which is bigger: -9 or x?
x
Suppose 0 = n + 4*l - 3, 4*n + 0*n - 5*l + 9 = 0. Which is greater: -8/271 or n?
-8/271
Let x be -23 + -1 + 2 + 4. Is -8 at least x?
True
Let i(f) = 7*f**2 - 9*f + 10. Let j(h) = -3*h**2 + 5*h - 5. Let b(l) = 2*i(l) + 5*j(l). Let q be b(5). Which is smaller: 24/5 or q?
24/5
Let u(x) = -x**2 - 32*x - 97. Let w be u(-29). Let g be (w - -7)*-17*(-3)/(-9). Which is bigger: g or 18?
18
Let m(z) = 15*z + 5. Let s be m(-8). Let j = s - -561/5. Which is greater: -4 or j?
j
Let n be 310/921 - 9/27. Let t = n - 931/3070. Is 1 smaller than t?
False
Let b be (((-4)/2)/(-164))/(1/(-12)). Which is smaller: b or 0?
b
Let x = 2676 + -2675. Let r be (-1 + 1)/(1/(-1)). Which is smaller: r or x?
r
Let z = -379 - -767. Is z < 388?
False
Let x be (7 - 100/15)/((-1)/9). Which is greater: x or -13?
x
Let t be (-2)/7 - 79/(-84). Let c = 164 + -3442/21. Let l = c + t. Is 0.2 > l?
False
Let j = 179 + -178. Suppose p = -1 + 3. Let u be p - 1 - (j - 5). Which is greater: 7 or u?
7
Let i = 38 - 36. Suppose z - 1 = -i. Is z less than 2?
True
Suppose -12 = -w - t, 5*w = 4*t + 44 + 52. Let i be ((-12)/w)/(26/(-8)). Let h be 0 - ((-3)/(-4) - 1). Which is smaller: h or i?
i
Suppose -5*j - 51 = 2*n - 138, 38 = n - 3*j. Let d = n + -72. Is -30 != d?
True
Suppose -14 = z - 27. Suppose -3*n + z + 4 = q, -5*n = -3*q - 19. Which is bigger: 14/9 or q?
q
Suppose -1331 = 10*m - 341. Let k be -2*((-1)/2)/(3/m). Which is smaller: k or -34?
-34
Let u = 8 + 8. Let a = u - 21. Let w(g) = g**3 + 6*g**2 + 4*g - 6. Let y be w(a). Which is smaller: -5 or y?
-5
Suppose -d + 84 = -51. Do d and 134 have different values?
True
Let i(g) = g**3 - 2*g**2 - g + 18. Let d be i(0). Suppose 144 = 3*r - 3*p, 5*p - 240 = -5*r - 0*p. Let o = -30 + r. Is d less than o?
False
Suppose 5*b - 4 = 6, 0 = -2*a + 3*b - 24. Let c = -626 - -611. Let x be a/27*(-12)/c. Which is smaller: 1 or x?
x
Suppose 3*d = x - 4, d + 3*d = -3*x + 12. Suppose 2*y - x*y = -18. Which is greater: 11 or y?
11
Let b = -200.6 + 197.6. Let f = -766/7 - -109. Which is smaller: b or f?
b
Let d = 106.2 + -105.3. Which is smaller: -107 or d?
-107
Let p = 129 + -128.5. Which is greater: -10 or p?
p
Let p = 16 + -10. Suppose p*h = h - 110. Let m = -14 - h. Is 9 at most as big as m?
False
Let u = 0 + -96. Let s be (-2)/(-16) - 1428/u. Which is greater: 14 or s?
s
Let t = -1287/17 + 76. Is t < 1?
True
Let c be (-1 - -3)/((-3)/(-9)). Let h be 8/c*(-21)/(-6). Let p(y) = y**3 - 6*y**2 + 13*y - 8. Let x be p(3). Is h at most as big as x?
False
Let l be ((-16)/10 + 0)/((-84)/(-2310)). Is l at most -44?
True
Let v = -2.41 + -81.59. Which is bigger: 2/7 or v?
2/7
Let c(v) = -v**2 - 4. Let n be c(0). Let l be (44/(-36) - -1)*15. Which is smaller: l or n?
n
Let x(u) = -29*u**2 + 28*u - 128. Let p be x(5). Which is smaller: p or -714?
-714
Let z = -59 + 231. Is 174 less than or equal to z?
False
Suppose -4*n - 576 = 2*c, 3*n + 306 = -3*c - 126. Which is smaller: n or -142?
n
Suppose 0 = o + 3*x - 3, -1 = -3*o - 0*x - x. Let u be 0*3/(-9) - o. Is -4/23 at most as big as u?
True
Suppose -3*q + 2 = -4. Let p(s) = 48*s + 237. Let x be p(-5). Is q smaller than x?
False
Let d(c) = 65*c**2 - c. Let w be d(-1). Which is smaller: 68 or w?
w
Suppose 0 = 5*u + u - 5*u. Let i = 6235/27 + -231. Is i != u?
True
Let b be -3 - ((-9)/(-6) - 45/6). Let d be 3*1 - (-3 + 3). Suppose 11 = 2*l + w, -4*l - w + 8 = -d*l. Is b at least l?
True
Let o = 0.36 - 0.26. Let f = 6 - 9. Let s = f + 6. Which is smaller: o or s?
o
Let h = 3 + -3.8. Let v = 1 + h. Let x = 9/2 + -89/18. Which is greater: x or v?
v
Let y = 9 - 9. Let o = -6882/5 - -1386. Let r = o + -326/35. Which is smaller: r or y?
y
Let k(x) be the third derivative of x**6/120 - x**5/60 - 5*x**4/24 + 2*x**3/3 + x**2. Let w be k(3). Suppose -19 + w = -3*u. Is u not equal to 8/3?
True
Let c = -1/2129 + 51121/53225. Is 0 equal to c?
False
Let h(w) = 2*w + 39. Let p be h(-25). Let i = -24 + 23. Which is smaller: p or i?
p
Let h = 106785/71 - 1504. Which is bigger: h or 1?
1
Let z = 0 + 1. Let d be (-8)/(-6) + (-30)/(-45). Suppose -y = v - 2*y - d, v + 2*y + 10 = 0. Are z and v unequal?
True
Let k = 11956 - 8668102/725. Which is smaller: k or 0?
k
Let d = 7 + -5. Let s be (-1 + 1)*d/(-2). Suppose s*y + 3*u = -y + 20, 3*y + 4*u = 45. Which is greater: y or 10?
y
Let l(a) = -a**3 - 5*a**2 + 15*a + 7. Let d be l(-7). Let h be (-4)/(-1345)*(-40)/(-16). Is h smaller than d?
False
Let n = -74 + 103. Let x = n + -28.91. Let y = 3 - 3. Are y and x nonequal?
True
Let r be (-6)/8*186/18. Let p = r - -13/4. Does -6 = p?
False
Let v be -71 - (0 - 3/1). Let g(o) = o**3 + 20*o**2 + 39*o - 14. Let h be g(-18). Is v < h?
False
Suppose -2*p - 3*l = -0*l + 12, -12 = -2*p + 3*l. Suppose -3*v + 24 - 18 = p. Suppose -2*j + 3*o = -14, -2*o = -4*j - 0*o + 12. Which is smaller: j or v?
j
Suppose 0 = 17*i - 13*i - 20. Suppose -3*n = i*f + 79, -f = 3*f + n + 66. Which is smaller: 0 or f?
f
Let k = 9.9109 - -0.0891. Which is smaller: 10/9 or k?
10/9
Suppose 9*k = -5*k - 28. Which is smaller: k or 2.8?
k
Suppose 0 = -4*t - p - 18, -4*t - 8 - 4 = -2*p. Suppose q - 2*i + 18 = -0*q, -2*q - 36 = 3*i. Let k be q/t*56/21. Which is smaller: 10 or k?
10
Suppose 0 = -4*n - 5*t - 16, -3*n + t = -6*n - 1. Let u be (-3)/(2 + 3/(-6)). Let l be (-35)/(-105)*u/9. Which is greater: n or l?
n
Let u = 0.541 + -0.441. Let r = 0.013 - -0.297. Do r and u have the same value?
False
Let b be (-1)/8 + (-12678)/(-4272) + -3. Which is smaller: b or 1?
b
Let d = 1180 + -1214. Which is greater: -0.1 or d?
-0.1
Let k be (-1)/(-2)*36/270. Let c be 60/16*-2*2. Let h be 1/((-5)/c*-3). Is k > h?
True
Let l = -103872 - -70712. Let u be (l/(-300))/((-4)/(-6)). Let m = -167 + u. Is m > 0?
False
Let g(v) = v**2 + 47*v + 185. Let k be g(-41). Which is greater: k or -672/11?
k
Let f = -323 - -413. Which is smaller: f or 88?
88
Let n be (-608)/(-380)*(-30)/(-1048). Which is smaller: n or 1?
n
Let k be ((-1)/2)/(1/2). Let f = 145 - 3337/23. Which is bigger: k or f?
f
Let d = -16 + 31. Suppose -d*g + 24 = -7*g. Is g smaller than 4?
True
Let u = -2378 - -2384. Is u <= 74/11?
True
Let j = 110 + -362. Which is smaller: j or 0?
j
Let o be ((-18)/(-18))/(1/2). Suppose 0 = n + o*k - 1, -2*k + 7*k = -5. Suppose 3 = 2*b - 2*s + 11, -5*b - n*s + 20 = 0. Which is greater: b or 3/10?
b
Suppose 0 = -2*g - g - 6. Let c = 7 + g. Suppose -c*m - 2*o - 6 = 0, 0 = -m - 2*m - o - 3. Which is greater: m or -3/13?
m
Suppose 0 = -4*y + 4*f - f, 4*f - 16 = 0. Suppose y - 5 = 2*b. Let h = 0.05 + 1.95. Are b and h equal?
False
Let b = -1 + 7. Let d be 2/b*6/4. Let k be 70336/5040 + (-4)/(-90). Is d bigger than k?
False
Let n(x) = -9*x - 185. Let q be n(-18). Do q and -27 have different values?
True
Let p be 2/(-32)*-8*-2. Let u be (1 + -2)/(1/13). Let q be p/(-5)*(-26)/u. Is -3 less than q?
True
Suppose 4*m + 4*q = 0, q - 2*q = -2*m - 3. Suppose -f + 129 = 4*f + t, 2*t + 42 = 2*f. Suppose -6*o = -o + f. Which is bigger: m or o?
m
Suppose 5*q = 4*t + 1 + 1, -5*t = 5*q - 20. Suppose -2*s + q = -8, 0 = -2*d + 5*s - 21. Let p be d + -5 - (-3 - 1). Are p and -1/3 equal?
False
Let n = 0.6 + -10.6. Which is smaller: -0.23 or n?
n
Let u be 300/(-1008) - 7/(-21). Which is smaller: u or -7?
-7
Let m = 0.17 + 8.83. Let l = m + -9.07. Let i = -0.07 - l. Is -0.1 <= i?
True
Let o(a) be the third derivative of 5*a**4/24 + 31*a**3/6 + 18*a**2. Let d be o(-6). Is d > 9?
False
Let j = 80 + -80.38. Which is smaller: j or 2?
j
Suppose 2*f + 300 = 12*f. Let o be 3 + -5 - f/(-14). Which is greater: 1/8 or o?
o
Suppose -11*u + 2*u - 18 = 0. Let s be u/(-5) + 1/((-2060)/784). Is 0 at least s?
False
Let k = 3481/4 - 940. Which is greater: k or -69?
-69
Let t