t u be x(-5). Let f(p) = 11*p - 9. Let d be f(4). Which is greater: d or u?
u
Let q = -172/651 - 2/93. Let i = 26 + -26. Let r be ((-2)/(-12) + i)*-2. Which is smaller: q or r?
r
Let v = -218 - -217. Which is smaller: v or 36/13?
v
Let h be (83 - 1)*(-2)/8. Is h bigger than -22?
True
Let l(m) = -m + 5. Let z be l(0). Let y be (1 + 285/(-75))*2/(-14). Is z bigger than y?
True
Let m = 565 - 14128/25. Suppose -310*f + 303*f = 0. Which is bigger: m or f?
f
Suppose -3*c = -2*c + 2*z - 31, -5*c = -3*z - 155. Which is smaller: 56 or c?
c
Suppose -3*r - 14 = -4*n - 6*r, -20 = -5*n - 5*r. Let j(c) = -69*c**2 + 2. Let i be j(2). Let w = i - -1377/5. Which is greater: w or n?
n
Let d = -56 - -27. Let h be -1 - -5 - 2178/66. Is d smaller than h?
False
Let f = 1151/17 + -68. Let v = -832378/1326765 - 2/26015. Let m = f - v. Is m bigger than 6?
False
Let s = -338382/49 + 6906. Is s equal to 1?
False
Let n = -392 + 4318/11. Are 1 and n non-equal?
True
Suppose 3*r = -0*r + 861. Which is greater: 2 or r?
r
Let f(g) = -g**2 - 12*g - 11. Let c be f(-10). Suppose 8*t = 10*t - 18. Is c smaller than t?
False
Let v(k) = -k**3 + 11*k**2 - 6*k + 23. Let b be v(10). Let w = b - 70. Which is greater: -10 or w?
w
Let s be -1*((-29)/1 - -1). Let t = s + -31. Which is greater: -18/5 or t?
t
Let d(j) = -5*j - 3. Let p be d(-3). Let z be (-6)/p*4/19. Which is smaller: z or -1?
-1
Let y(b) = b**2 - 11*b - 22. Let l(s) = -s**3 - 4*s**2 + s + 13. Let m be l(0). Let z be y(m). Which is smaller: -5/6 or z?
-5/6
Let a be (-205)/(-9) + -1 - 4/(-18). Let n be (-4)/a + (-78)/264*-4. Which is greater: n or -3/17?
n
Let h = -11 - -13. Let s = 6 + -5. Suppose -3*u + s = -5*g - 3, 0 = -4*u + 12. Which is smaller: g or h?
g
Let p be ((-3)/36)/((-6)/32). Let s(x) = x - 2. Let y be s(-7). Let a be (-2)/y - (-4)/(-18). Is a less than p?
True
Suppose 0 = 4*t - 4*f - 28, -3*f = -t - t + 14. Suppose -t*h = -9*h. Let m = 10/13 - 119/104. Which is smaller: h or m?
m
Let d = -0.6518 - -0.0518. Is d > 6/11?
False
Let w be ((-12)/8)/((-75)/(-36) - 2). Let m be (-12)/(-54) + ((-32)/w - 2). Are 1/67 and m non-equal?
True
Let v = 2.38 + -0.08. Is v not equal to 2/7?
True
Let x(i) = -i**3 - 5*i**2 - 3*i - 3. Suppose 2*g = -7*s + 2*s + 53, g + 12 = s. Let k = -13 + s. Let o be x(k). Is o >= -8?
False
Suppose 0 = 5*w - 17*w - 60. Let n be (1 - (-295)/10) + w. Which is smaller: n or 26?
n
Let v(w) be the first derivative of w**3/3 + w**2/2 + 10*w + 1. Let x be v(0). Suppose -2*k = -0*k - 3*d - x, 10 = -2*k - 2*d. Which is smaller: 0.12 or k?
k
Suppose -5*r + 232 = -2*v - r, 0 = -v - r - 110. Let w = 7316673/65095 - -1/13019. Let l = v + w. Is -7 < l?
True
Suppose i = -17 + 20. Which is greater: 58/25 or i?
i
Let q(r) be the first derivative of -5*r**2/2 + 19*r + 18. Let a be q(9). Is -25 > a?
True
Suppose -u + c + 4 = -6*u, -12 = -u + 3*c. Is u at least -68?
True
Let j = 281/8 - 3203/88. Is -2 at least as big as j?
False
Suppose 11*t + 5 = 6*t. Let b be (t - -4)/78*-1. Is b at least as big as -0.1?
True
Suppose -t + 19*x = 21*x - 4, -5*x + 15 = 0. Which is greater: -70 or t?
t
Suppose 6*f - 20 = f - 5*w, 12 = 3*f + 2*w. Suppose -g = -2*g - f. Let h be 4/8 + (-2)/g. Which is smaller: h or -1/16?
-1/16
Suppose -3 = -4*o - d, o + o + 3*d = -1. Let j = -7 - o. Let q = j - -11. Is q greater than or equal to 3?
True
Suppose -20 = 13*o - 59. Suppose -o*q = 2*i + q - 10, 0 = 4*q. Which is bigger: i or -1/3?
i
Let h be -1 + 1 + (-4300)/(-168). Let x = -145/6 + h. Which is bigger: 1 or x?
x
Let u(p) = -p**2 - 7*p. Let d be u(-5). Suppose 22 + d = 4*c. Suppose 2*g - c = -10. Which is smaller: g or 1?
g
Let q be 250/9 + (-2 - (-100)/45). Let w be (-126)/q*(-2)/7. Which is smaller: w or 1?
1
Let y = -2 + 4. Suppose -2*f + 5*l + 2 = -6*f, 3*l = y*f - 10. Suppose f + 2 = u, 0 = -5*i + u - 14. Which is bigger: i or 0.1?
0.1
Let m = 106 - 72. Suppose 16*h - 14*h - m = 0. Is 18 at most h?
False
Let m(f) = -f**2 - 4*f - 8. Let n be m(-3). Let k(v) = v**3 + 4*v**2 - 9*v - 12. Let d be k(n). Let i = -4 + 5. Which is smaller: i or d?
i
Suppose i + y - 9 = 6, i - 3*y = 11. Let j = i + -29/2. Let x be (-46)/(-80) + 30/(-80). Which is smaller: x or j?
j
Let h(c) = -c**3 - 18*c**2 - 2*c - 18. Let d be h(-18). Let k be 4/d - 105/135. Do -2 and k have the same value?
False
Suppose -3*j + 14 = -5*s - 1, -5 = 5*s - j. Suppose i + 4*i = s. Let v = 20/11 + -82/33. Are v and i unequal?
True
Let w = 461/24 - 15523/840. Let l = w + -3/7. Suppose -p - 2 = 2*p + k, -22 = p - 5*k. Is l bigger than p?
True
Let s(f) = 4*f + 2*f**2 + 2*f**2 + 8*f**2 - 13*f**2 + 4. Let c be s(4). Do 4 and c have the same value?
True
Suppose 2*f + 161 = 6*f + 3*p, 3*p - 29 = -f. Let z = f - 175/4. Which is smaller: z or 1/19?
1/19
Suppose c - 350 = -3*g - 243, 117 = 3*g + 3*c. Suppose 154 = 5*x + 2*f, -f + 51 = 3*x - 42. Is g greater than x?
True
Let s = 27 - 28. Let h = 3 + -2.1. Let f = s + h. Is f > -0.1?
False
Let u be ((-3)/(-78))/((6/(-64))/3). Is u >= -1?
False
Let k = 431 + -433. Is k bigger than -2?
False
Let w(l) = 4*l. Let o be w(-1). Let u(s) = 2*s**2 + 3*s - 3. Let m be u(o). Let p = 30 - m. Which is smaller: p or 14?
p
Suppose -13*k + 8 = -9*k. Suppose -k*w + w + 4 = 0. Suppose m + w*z = -19, 0 = 4*m + 4*z + 11 + 5. Which is bigger: m or 8/5?
8/5
Suppose -5*c + 6*z = 2*z + 13, -2*c + 2*z - 6 = 0. Let t be 2/(-8) + 58/8. Let d = 59/8 - t. Which is smaller: d or c?
c
Suppose 76*l - 83*l + 2667 = 0. Which is bigger: l or 380?
l
Let t(s) = -s**3 + 4*s**2 + 7*s - 6. Let u be t(5). Suppose 5*y - 6 = -g, -y = -u*g - 0*y + 45. Let k(h) = h + 13. Let p be k(0). Are g and p non-equal?
True
Let u = 124.992 - 125. Which is smaller: -1 or u?
-1
Suppose p + 6 = 5*x + 2, 0 = 3*x + 2*p - 5. Let r = 15 + -14. Is x less than r?
False
Let q be 4/(-14) - 30/(-56). Let f = 18 + -16. Suppose -g + 3*g = -f. Which is smaller: q or g?
g
Let i = 1718 + -1482. Which is bigger: 232 or i?
i
Suppose 0 = z - 2, 2*n + 6*z = z - 2. Suppose 3*m + 9 + 0 = 0. Let p be (-3 + 2)/(m/(-15)). Is n smaller than p?
True
Let a = 672 + -672.11. Which is smaller: 60 or a?
a
Let y = -19 - -28. Let b be (5/(-3))/((-3)/y). Suppose b*m - 4*m = 0. Which is smaller: -0.9 or m?
-0.9
Let y(t) = -2*t - 4. Let z be y(-2). Suppose 3*j + 2 - 11 = z. Is 1 greater than j?
False
Let z be 9/(36/16) - 6. Let b be -2 + ((-12)/(-32) - z). Is 1 at least as big as b?
True
Let k be ((-33)/1)/(-3) - -1. Let l be 3/(-2)*k/(-117). Let s be 1*-1*3 - 90/(-27). Which is smaller: l or s?
l
Let p(i) = 4*i + 1. Let v be p(-1). Let x(r) = 2*r**2 - 4 - 11 - 1 + 4*r - r**2. Let z be x(-6). Which is bigger: v or z?
v
Let k(f) = -f**3 + 21*f**2 - 29*f - 22. Let o be k(19). Which is smaller: o or 0.1?
0.1
Let a be (11/((-99)/12))/(1038/9). Which is smaller: 0 or a?
a
Let t = -15 + 58. Which is bigger: 400/9 or t?
400/9
Let x be 520/185 + (3 - 2)*-3. Let n = x - -471/925. Which is bigger: 0 or n?
n
Let l = 6 - 2. Let a = -460.56 + 460.6. Is a not equal to l?
True
Let k(x) = -4*x**2 + 3*x - 1. Let t be k(2). Let i(v) = 4*v - 30. Let w be i(8). Let d be w/(-13) + (-308)/26. Which is greater: t or d?
t
Suppose -5*j - 100 = 5*m, -5*m - 66 = -2*j + 5*j. Let g(c) = -c + 3. Let l be g(j). Which is bigger: l or -0.1?
l
Let n = -66 - -59. Let c be (n/4)/(((-120)/(-32))/15). Which is bigger: c or -5?
-5
Let m be (-2)/16 - (-1)/8. Suppose m = -2*w - 15 + 17. Which is smaller: 6/13 or w?
6/13
Let m be 0 - 0*6/(-42). Which is smaller: m or 1/466?
m
Let i be 2*(2 - -1) - (-12 - -18). Which is smaller: i or -2/635?
-2/635
Suppose 7 = -4*p - 1. Let v be 0 + -2 - 204/p. Let r be 15/v + (-4)/10. Is -20 < r?
True
Let w = 143 + -96. Suppose -48*o = -w*o + 111. Is o bigger than -112?
True
Let n(h) = h**2 + 5*h - 7. Let t = -20 + 14. Let p be n(t). Let z be (p/4)/(5/20). Which is smaller: z or -3?
-3
Let v(k) = 5*k + 19. Let x be v(-4). Which is smaller: -30 or x?
-30
Let t be (1 - -4) + (-6)/6. Suppose -t = -4*m, 12*k - 5*m = 7*k. Let s = -1472/33 - -134/3. Is s greater than or equal to k?
False
Let t be (14/(-144)*-2)/((-14)/4893). Let d = t - -68. Which is smaller: 0 or d?
0
Let h be 1/(0 + -1 + 2). Let f be ((-15)/198)/(20/(-18)). Which is smaller: f or h?
f
Let j be (2/6)/(65/(-202605)). Which is bigger: -1040 or j?
j
Let f be (-22)/(-6) + (-2)/