/(-2). Let i(k) = -11*k - 2. Let l(n) = -1. Let r(x) = -i(x) + l(x). Let y be r(o). Which is bigger: -2 or y?
y
Let o be (-2)/4 + (-4)/(-8). Let x = -199 - -109. Let d be (-1 - 1)*(-10)/x. Is d smaller than o?
True
Let k be (-5 - -1)*(276/48 + -5). Do -67/26 and k have the same value?
False
Let l be -1 + 0 - (-2 - 0). Suppose 0 = 4*n - 3*n + l. Which is smaller: -1/24 or n?
n
Let r = -2 - 1. Suppose -3*f = 2*f - 50. Suppose -2*w + 16 = -f*w. Is w != r?
True
Let p(n) be the second derivative of -5*n**3/3 + 3*n**2/2 + 8*n - 1. Let k be p(4). Is -36 at least as big as k?
True
Suppose -20 = 4*y, 4*y = -2*s + y - 3. Let g(m) = m**2 + 4*m - 5. Let q be g(-5). Suppose -s*j + 3*j = q. Is 1/11 greater than or equal to j?
True
Suppose -3*q = -6, -6*v - 4*q = -4*v - 10. Let b be 4/10 + 3/(-8). Which is smaller: b or v?
b
Let y = 14 + -14. Suppose -u + 13 - 5 = y. Let q be -1*(28/u)/7. Which is smaller: 2/5 or q?
q
Let d = 473 + -472. Is d less than 186?
True
Let d be 10/(-4) + 3321/1782. Which is bigger: -0.4 or d?
-0.4
Let n = -28 - -34. Let s be ((-18)/14 + 1)*3/n. Is s < 0?
True
Suppose 352 + 263 = 5*i. Suppose -5*t + 4*f = i, -5*t + 2*f - 102 = -t. Is t greater than -26?
False
Let w(a) = 2*a**3 - 17*a**2 + 3*a + 19. Let q be w(8). Is q not equal to 1?
True
Let t be (-1)/(-2) + 3/(-6). Let c(a) = -a**2 + a + 152. Let h be c(t). Let d be -2*(-4)/h*2. Which is smaller: d or -1?
-1
Let b(g) = -3*g + 1. Let m be b(3). Let y be 8/(-38)*2/m. Suppose 20 = -4*k + 4*s, 5*s = -3*k + 25 - 0. Is k smaller than y?
True
Let w(d) = 12*d**2 - 11*d - 38. Let u be w(-4). Which is smaller: 199 or u?
u
Let q = -3/2957 - -15508/712637. Which is bigger: -1 or q?
q
Suppose -2*j + j - 1 = 2*p, -5*j = p + 23. Suppose 5*s - p = 3. Suppose v + 5 = -m + 1, 0 = 2*v - 2*m. Is v bigger than s?
False
Let c be 10/(-4)*35/((-875)/(-30)). Which is bigger: -55 or c?
c
Let h be (-9)/(-12) + (-12)/16. Suppose h = -3*z + 2*z. Suppose 4 = -2*f - 4*c, 5*f - 5*c + z*c = -10. Is f greater than -4?
True
Let h = 1.915 - 2.015. Is h != 0.093?
True
Let a = 6.009 - 6. Let u = 3.249 - a. Let g = u + -0.24. Which is bigger: g or -3?
g
Let g = 10244/407 - 420/37. Is g greater than 13?
True
Let f(w) = -w - 19. Let l be f(-7). Let o be (10/l)/(15/(-12)). Is -0.01 <= o?
True
Let s = 632 + -635. Which is smaller: s or -56?
-56
Suppose -3*b + 14 = -17*b. Is -2/559 smaller than b?
False
Let i = 77153/65 + -1187. Is i < -1?
False
Let u = -15743/1518 - -114/11. Which is greater: 0 or u?
0
Let z = -0.215 - -1.955. Let u = -12.2 + 13.9. Let j = z - u. Which is smaller: j or -1/3?
-1/3
Let z(p) = -p**3 - 11*p**2 - 19*p - 9. Let d be z(-9). Let c = -293/180 - -8/5. Is d < c?
False
Let z be -22*-6*5/(-1060). Let w = -4706/7473 - z. Which is smaller: w or 0?
w
Let y be -3 - 87/((-12)/(-4)). Suppose 455*g - 447*g + 240 = 0. Is y greater than g?
False
Let m = -218 + 213.5. Is m bigger than 2/5?
False
Let p be 3/6*(-5 - -4). Let t(o) be the first derivative of o**4/4 + 4*o**3/3 - 5*o**2/2 - 4. Let n be t(-5). Which is bigger: p or n?
n
Let v be (2/(-5)*1)/((-9)/(-5)). Which is smaller: v or 32/5?
v
Let z = 20 - 18. Suppose 0 = 4*p + z*p - 42. Is 10 at most p?
False
Suppose 5*t - 33 = 2*t. Suppose 58 = 4*z - 2*l, 0*z + 7 = z + l. Are z and t unequal?
True
Let q be 142/(-10) + 1 + (8 - 6). Let r = 178/15 + q. Is -2 smaller than r?
True
Let a be (24/(-15))/(66/(-4015)). Which is smaller: 96 or a?
96
Let f = 505 - 503. Which is smaller: 1/17 or f?
1/17
Let h(j) = -j**3 - 3*j**2 + 4*j - 1. Let g be h(-4). Let t = -136 - -129. Which is greater: g or t?
g
Let l = 5 - 8. Let y(k) = -k**3 + 3*k**2 - 2. Let c = -28 + 31. Let o be y(c). Is o at most as big as l?
False
Let f = -0.02 + 0.32. Let z = f + -0.2. Let c = -552 - -554. Which is greater: c or z?
c
Let i be 52/20 + -3 + (-1)/(-2). Let k = 13/30 - i. Which is bigger: k or -11/3?
k
Let i(j) = -18*j + 110. Let l be i(6). Is 27/8 < l?
False
Suppose 0 = -x - 2*r + 6*r + 20, 5*x - 2*r = 10. Let z = -2/165 - -3577/165. Let q = -21 + z. Which is bigger: q or x?
q
Let b(l) = -3*l - 4. Let k be (-1)/((-7)/(-3) + -2). Let s be b(k). Do s and -0.2 have the same value?
False
Let z = 3.03 + -2.9. Let g = z - 0.03. Is 7 smaller than g?
False
Suppose 0 = 12*f - 14230 + 3322. Is 909 > f?
False
Let r = 2693/30 - 364/15. Which is greater: r or 66?
66
Let y = -2/13529 - 26748/2096995. Is y >= -1?
True
Let p be (-53)/16 - (-13 + 10). Let x be 0/(-12) - (1 - 1). Which is bigger: p or x?
x
Let y = 209 - 212. Which is greater: -7 or y?
y
Let w = 109/5 + -22. Let n = -0.04 + -4.46. Let u = n + 4.5. Is u less than or equal to w?
False
Let z be (-2*1 + 0)*-1. Suppose l + z*h - 3*h = 0, 2*h = -5*l - 7. Let d be (-93)/24 + 4 + 0. Are l and d non-equal?
True
Let x be 1/(-3) + (-221)/39. Let b(t) = t**3 + 6*t**2 - 2*t + 7. Let r be b(x). Suppose 4 = 3*n + r. Are -4 and n unequal?
True
Suppose 58*s + 9 = 67*s. Which is bigger: s or 1/466?
s
Let g = 239425 - 3114864/13. Let p = -180 - g. Suppose 4*l + l = 5. Which is bigger: l or p?
l
Suppose -2*r - 3*z = -6 - 13, 17 = 4*r - z. Which is bigger: 2 or r?
r
Let c(j) = -j**3 + 6*j**2 - 6*j + 8. Let h(b) = -1. Let d(g) = c(g) + 5*h(g). Let q be ((-63)/4)/(-3) - 6/24. Let y be d(q). Which is smaller: y or -5/6?
y
Let g = 5.06 - 5. Suppose 4*h - 16 = -0*s + 2*s, 13 = 4*s + h. Is s at most as big as g?
False
Let c(v) = 20*v**3 + 2*v**2 - 10*v + 7. Let q be c(6). Let j = q + -169202/39. Let u = j + -2/13. Are -3/7 and u equal?
False
Let v = -1 - -0.7. Let a = -3.7 + v. Is a at least 2?
False
Suppose 5*c + 13 = 33. Let a be (4 + (c - 7))*-3. Let y be ((-32)/(-10))/(a/15). Is -29/2 smaller than y?
False
Let o be (-10)/(-2*1/(-4)). Let m = 17 + o. Which is smaller: -8 or m?
-8
Let l = 237 - 169. Which is smaller: l or 69?
l
Let y = -1743.995 - -1744. Which is greater: 10 or y?
10
Let b(n) = -n**3 - 7*n**2 - n - 9. Suppose 22 = -p - 5*c, -p + 3*p - 5*c - 1 = 0. Let l be b(p). Let m be 6/(-10)*l/(-3). Which is greater: -9 or m?
m
Let v be (2/(-6))/(12/(-108)). Let n be ((-42)/35)/(v/(-20)). Let i be (-38)/8 + (-2)/n. Which is greater: -6 or i?
i
Let n(z) be the first derivative of 0*z**2 + 6 - 5/3*z**3 + 0*z. Let w be n(-1). Does -4 = w?
False
Let v = -14.3 - -6.4. Let c = 8 + v. Let x = -51 - -63. Which is bigger: x or c?
x
Let y = 31114 + -31096. Let f = 41 - 23. Are f and y non-equal?
False
Suppose -2*g = -2*c - 122, -4*g + 5*c = -0*g - 239. Suppose 15 - 103 = -4*q + 5*o, -3*q + g = -5*o. Which is bigger: q or 23?
23
Let i be (-36 - (-1)/(-1)) + 692/346. Suppose -4*w - 142 = -2*v, 3*v + 30 = -w - 2*v. Is w greater than i?
False
Let h be (5*6/60)/((-2)/(-160)). Is h less than or equal to 40?
True
Let g be 59/3 + 12 + 76/(-6). Let t be 3/9*2*30. Which is greater: t or g?
t
Suppose -s = 4*u - 4, 5*u - 3*s + 1 = 23. Let c be (1 - 1) + (0 - -1)*u. Are c and 8/9 equal?
False
Suppose 0 = 4*s - s - 18. Let o be ((-9)/s)/((-4)/(-192)). Is -72 less than o?
False
Suppose -17 = 4*c + d - 77, -c + 4*d + 15 = 0. Let j = 12 - c. Which is smaller: -4 or j?
-4
Let s = -1/9 - 5/117. Which is bigger: -27 or s?
s
Let o be 21/12 + -1 + (-564416)/751872. Is o greater than 0?
False
Let s = -512 - -476. Is s < -1/2?
True
Let z(f) = f**3 - 6*f**2 + 5*f + 6. Let j be z(5). Let l be -6*64/6*(-1)/j. Which is smaller: 10 or l?
10
Let c(y) = -14*y - 98. Let t be c(-7). Suppose -2 = -f - f. Let d be (t + f)*3/(-4). Are 0 and d non-equal?
True
Suppose 0 = 2*s + 5*w + 33 - 11, 4*s - 3*w = 8. Do s and 71 have different values?
True
Let k = 0.2204 + -0.1204. Is k not equal to -160/9?
True
Let m be 2 + (-380)/(-234) - 4/(-18). Is m >= 4?
False
Let s = -100 - -44. Let d be s/171 + (-16)/(-72). Which is greater: -0.1 or d?
-0.1
Let w = 0.2 - 2.2. Let b = w + 2.2. Let j = 0.18 + -2.18. Which is bigger: b or j?
b
Suppose 0 = 2*v - s + 1, 2*v + 11 = -s + 4*s. Suppose -3*o - 2*t = v*t + 104, 3*o - t + 79 = 0. Let j be (-3)/7 - 40/o. Which is greater: 2 or j?
2
Let d = -6 - 45. Let c = d + 44. Do c and 1/4 have the same value?
False
Let v(t) = -32 + 2*t + 43 - 3*t. Suppose -5*c = 4*u - 0*u - 5, 5*c = 5*u - 40. Let b be v(u). Is b less than or equal to 6?
True
Suppose -t = -4*s + 168, -7*s + 156 = -3*s + 2*t. Is s not equal to 165/4?
True
Let f = -271 + 270.5. Does -5 = f?
False
Suppose -3*w - 60 = w. L