be g(5). Suppose -a*b = b. Let d be (1 - 782/592) + (-48)/(-128). Which is smaller: d or b?
b
Let n = -21.34 - -138.34. Is 2/11 at least as big as n?
False
Let h(g) = g**3 - 3*g**2 + g + 1. Let v(k) = 2*k**3 - 5*k**2 + 2*k + 2. Let p(y) = 5*h(y) - 3*v(y). Let q be p(-1). Is 2 bigger than q?
True
Let k = 68590 + -68589. Let i be (0 - -2)*14/(-4). Let t be i + (2/(-2) - -1). Is t smaller than k?
True
Let c(p) = -p**2 + 68. Let g be c(0). Let n be 12/42 - g/(-7). Let s be n/(-15) - (-56)/3. Which is greater: 17 or s?
s
Suppose -5*n - 31 = -3*b, -1 = 2*n - 3. Suppose -8*q + b*q - 4 = 0. Which is smaller: -5/13 or q?
-5/13
Let v = 2006 - 2268. Which is smaller: -257 or v?
v
Suppose 0 = 15*r - 16*r - 8. Let b be -20*(r/(-6) + 130/(-75)). Which is smaller: b or 5?
5
Suppose 0 = 4*q + 20, -z = 128*q - 125*q + 597. Is -580 <= z?
False
Let v be (-478)/(-14) + 1/(-7). Which is smaller: 35 or v?
v
Let z be 4/(-66)*3 - (-226)/1122. Is z bigger than -1?
True
Let z = -3.164 + 0.164. Let v(k) = -2*k + 1. Let p be v(3). Is p smaller than z?
True
Let l be ((-5716)/(-243030))/(32/19524). Let u = l + 1/40505. Let v = u + -59/4. Which is greater: v or -1?
v
Suppose 0 = -4*t + 17 - 1. Let s be -12 + ((-1)/t - 18/(-8)). Which is smaller: s or -9?
s
Let l = -8 - -12. Let u = l + -5. Let f = 84 + -82. Is f != u?
True
Suppose 0*j + j - 18 = 0. Let b be 3 + (104/j)/(-2). Which is smaller: 1/3 or b?
b
Let s(l) = 2*l**2 + 18*l + 16. Let k be s(-8). Suppose 0 = 5*x - w - w + 52, -2*x + 4*w = 24. Let c be (-6)/x*(-10)/16. Is c less than k?
True
Suppose 3*i = 4*i - h - 16, 0 = -i - h + 8. Let a be 384/27 - 2/9. Is a <= i?
False
Suppose -3*t - 7 = 4*t. Are t and -2 unequal?
True
Let r = -253 + 254. Is 5 greater than or equal to r?
True
Let w = -32185/24 + 1341. Let y = 0.1 - 0. Is y greater than w?
True
Let x be (-2)/(((-8)/234)/(-2)). Let c be (0 - (-4)/6) + (-192)/x. Which is smaller: c or 2?
2
Suppose 12*v + 2 = 14*v. Which is greater: 6/521 or v?
v
Let u be (4/(-3))/((-1)/18 + 0). Let t be u/132 + (-15)/22. Which is smaller: t or -9?
-9
Suppose -8 = 3*u - 2*q, -2*u + q = 4*q + 1. Let t = -10 + 12. Let n be (t + 0 + -1)*0. Are n and u equal?
False
Suppose 2*u - 11 + 3 = 0. Suppose 0 = -2*v + 3*v - 2*n + 10, u*n = -4*v - 40. Let j = -10 - v. Which is bigger: j or -1/8?
j
Let p be (-30)/30 + (1 + 1)/2. Let m = 16435/11 + -1493. Which is greater: m or p?
m
Let a(d) = -13*d + 223. Let z be a(17). Let i = 4/13 - 67/91. Which is smaller: z or i?
i
Suppose -43 = -o + 3*i - 6, 0 = -i - 2. Which is greater: o or 7?
o
Let y be (-19)/((-266)/24) + (0 - 2). Which is smaller: y or -57?
-57
Let l = 0.12 + -0.1. Let g = -0.32 + l. Let q = 0.02 - -0.18. Which is bigger: g or q?
q
Let l be (-8)/28 + 1 + (-86)/(-154). Let b = l + -23/44. Which is greater: b or 8?
8
Let a(s) be the second derivative of s**6/360 + s**5/15 + s**4/12 + s**3/3 - 3*s. Let z(u) be the second derivative of a(u). Let g be z(-5). Is g != -14?
True
Let p(t) = -3*t**3 + 6*t**2 + 5*t - 2. Let g be p(3). Let s = g + 12. Is -1 less than s?
False
Let w(b) = -14*b - 33 - 17*b + 27*b. Let a be w(-15). Which is smaller: a or 26?
26
Let p be 3*18170/180 - (-2)/4. Is 302 less than p?
True
Suppose 2*z - 19 = 2*d - 1, 0 = 5*d + 4*z. Let s be 144/30 + d/5. Let o be 1/(-2) - s/(-16). Does o = 8/7?
False
Let z = -49/23 + 40552/19067. Is z equal to -1?
False
Let l = 56 - 56.7. Which is greater: l or 5?
5
Suppose 4*a - 12 = 0, 6*o + 16 = 2*o + 4*a. Which is bigger: -4/15 or o?
-4/15
Let m = 24.7 + -26. Let r = 0.3 + m. Which is bigger: -0.02 or r?
-0.02
Suppose -2*t = 0, -2*o = o - 4*t - 147. Let d = o - 29. Let g be (d/2)/(16/24). Which is bigger: g or 14?
g
Let d be 2/(-4) - (15/(-50) - -1). Which is greater: 0 or d?
0
Let i = 1186 + -1182.838. Let l = i + -0.162. Let g = -0.28 + 0.3. Are l and g nonequal?
True
Let x = -756 - -755.48. Which is smaller: -0.4 or x?
x
Let j(t) = -t**3 - t**2 - t - 1. Let p be j(0). Suppose -28 = -9*a + 2*a. Let c be 3 + 0 + p - a. Which is smaller: -7 or c?
-7
Let g = -1622 + 147515/91. Let z = -5/13 - g. Which is smaller: 0 or z?
0
Let z be 7/6 + 54/(-324). Is -4/115 smaller than z?
True
Let x(n) = n**2 - 6*n + 10. Let s be x(3). Let o be (-228)/308 - (-4)/14. Which is bigger: s or o?
s
Let q = 24 - 29.5. Let s = -3.8 - q. Let c = s + 3.3. Is -0.1 at most c?
True
Let i be (-2)/21*507/30. Let g = i + 22/15. Suppose 0 = -3*t - t - 4. Which is greater: t or g?
g
Let y be (-4*3/(-6))/103. Are y and 2 non-equal?
True
Let c be 6/(-6)*1*(-1 + -3). Suppose c*k + 173 = -71. Are k and -60 unequal?
True
Suppose 3*g + 5 = 17, -4*g = -4*a - 548. Let n = -134 - a. Which is smaller: n or -3/43?
n
Let h(b) = 163*b - 10. Let i be h(3). Let x be i/(-4) - 27/(-36). Let p = x + 2619/22. Which is smaller: 0 or p?
0
Suppose 85*t - 113*t - 14420 = 0. Is t bigger than -515?
False
Suppose 9*t - 8 = 5*t. Suppose -y - 3*o = -15 + 5, -2*y + t*o = 12. Let h be (12/(-126))/(2/30). Is h <= y?
False
Suppose 0 = 5*y, 0 = -6*d + 8*d + y. Which is bigger: d or -16/39?
d
Suppose -k - 11 = -3*p, 3*p + 1 + 18 = -5*k. Suppose 3*t = p*f - 2*t + 96, -f - 5*t = 48. Is -49 bigger than f?
False
Suppose -5*u = 2*z - 10*u - 35, 4*z + u = 15. Suppose 0 = 2*t + 3*t. Does z = t?
False
Let x = -391/10 + 79/2. Which is bigger: -415 or x?
x
Let u = -139.4 + 139. Is 0.4 at most as big as u?
False
Let k be -6*4/8 + 4. Let o be (0 + k*-2)/(144/(-24)). Is 7 greater than or equal to o?
True
Let m be (198/(-20))/(108/45). Which is smaller: m or 1/2?
m
Let i(w) = 28*w**2 - 5*w + 5. Let b be i(2). Let u = b - 5. Let m be (u/4)/(0 + -6). Which is smaller: -3 or m?
m
Let y be (-2)/(-10) - (-48)/10. Suppose -3*b = y*r + 23 - 84, 38 = 4*b - 2*r. Let f(i) = i**3 - 11*i**2 - 12*i + 1. Let x be f(b). Which is smaller: x or -2/19?
-2/19
Let t = 4117 + -29098/7. Are -41 and t non-equal?
True
Suppose 0*v = -v - 5. Suppose 4*q = -4*m + 108, -4 - 38 = -2*m + 2*q. Let p be (m/(-20))/((-4)/(-10)). Which is smaller: v or p?
v
Let m = 72 + -53. Let a = 43 - 24. Let h = m - a. Are h and 5/4 unequal?
True
Let a be ((-36)/4473)/(2/(-21)). Is -1 >= a?
False
Let l = 6.65 + -5.65. Is l at most 375?
True
Let l(h) be the third derivative of h**6/120 - h**5/60 + h**3/3 - 6*h**2. Let b be l(2). Suppose 2 = k + b. Which is bigger: -1/2 or k?
-1/2
Suppose 0 = 4*b - 9*b. Let v = b + 2. Let l(j) = -j**2 + 72*j - 396. Let n be l(6). Which is smaller: v or n?
n
Suppose -9*o + 5*o = 264. Let n be o/(-4) - (-8)/(-16). Suppose -s + n = 4*t, -4*t = -5*s - 0*t + 128. Which is smaller: 25 or s?
s
Let z = -248 + 212. Which is smaller: z or -38?
-38
Let m = 91 + -94. Is m less than or equal to -1/28?
True
Suppose 10 = 3*a - 5. Suppose h = -a*x + 35, 2*h - 9 = x - h. Suppose 4*g = 7*g + x. Is 2 equal to g?
False
Let n(w) = -3*w - 25. Let p be n(7). Let r = p + 553/12. Let g = 1 + 0. Which is greater: r or g?
g
Suppose -4*t + 17 = -11. Suppose 4*h - t = -3. Which is greater: h or 6/19?
h
Let r = 46 + -46. Is -16 <= r?
True
Let f be (-1 - -3)/(3/(-24)). Let h be (-24)/f*(-8)/78. Are -0.3 and h unequal?
True
Let m = 23 - 20. Suppose 4*d - 33 = -3*t + 6, 23 = m*d + t. Let w be 4/d*(-12)/(-4). Does 6 = w?
False
Let v = -1 + -3. Let x = 14 + v. Let r be 2 + x*(-2)/4. Which is bigger: -4 or r?
r
Let u = -0.912 - 0.088. Which is greater: 2/1013 or u?
2/1013
Let b = 34.726 - 20.755. Let d = 0.029 + b. Is d at least as big as -1/4?
True
Let f = 518887/252414 - 2/14023. Are 3 and f equal?
False
Let q = 463237/7319036977 - 3/165137. Let r = q - 96043943/7445928. Let s = r - -90/7. Is 0 > s?
True
Let d = 48.99 - 0.99. Let s = d + -47.86. Which is smaller: s or -5?
-5
Let c = -6.9368 - 5.9529. Let k = c + -0.0303. Let d = -0.08 + k. Which is smaller: 2/7 or d?
d
Let l = -34 + 203/6. Suppose -2*s + 2*a - 8 = 0, 0 = 5*s - 2*a - 2*a + 16. Is s less than or equal to l?
False
Let z = 56 - -44. Let v be ((-12)/(-8))/(15/z). Let d = v - -7. Which is greater: 16 or d?
d
Suppose -3*w = -5*s + 495, -s - 10*w + 86 = -8*w. Is 95 at most s?
True
Let t be ((-8)/(-258))/(8 + 747/(-81)). Which is bigger: t or 1?
1
Let o be (((-1320)/9)/(-2))/2. Let y = o - 37. Is 2 at least as big as y?
True
Let g be -5 + ((-108)/81 - 3692/(-6)). Is g not equal to 611?
True
Suppose -1260 = 192*q - 185*q. Is -180 smaller than q?
False
Let x =