*2 + 2 + 2*a - 3*a**2. Let i = 308 + -310. Let k be g(i). Are -2/73 and k non-equal?
True
Let a = -25 - -190. Which is smaller: 163 or a?
163
Let m(c) = c + 2. Let t be m(1). Let h be 18/27 + 2/t. Is h > -0.2?
True
Suppose -35 + 7 = -7*h. Suppose 1 + 2 = 3*p - h*j, -j = -p + 2. Which is greater: 6 or p?
6
Let q = 1576 + -17337/11. Which is greater: 1/22 or q?
1/22
Suppose -5*w = -3*q - q - 2, 1 = 3*q - 5*w. Let k be (q - 1) + 52/13. Are k and 2/29 equal?
False
Let i be 1 + 5 - 29/(203/56). Which is greater: -3 or i?
i
Suppose 0 = 2*w + 3*w - 5*r - 250, 4*w + 4*r - 160 = 0. Suppose -3*d - w = -2*d + 4*f, -2 = -2*f. Do -50 and d have different values?
True
Let i = -446 + 449. Which is greater: i or 0.28?
i
Let j = 2/3809 - 4007/377091. Which is smaller: -1 or j?
-1
Suppose -3*j - 60 = j. Let f = j + 26. Which is smaller: f or 9?
9
Let d(u) = u**2 - 6*u + 6. Let g(a) = -2*a**2 + 11*a - 12. Let x(m) = -5*d(m) - 2*g(m). Let c be x(7). Is c at least 1/2?
True
Suppose -63*t + 16*t + 21479 = 0. Which is smaller: 459 or t?
t
Let i(t) = 26*t - 54. Let w be i(2). Which is greater: -5/2 or w?
w
Let d be 1 - (55/30 - 1). Which is smaller: d or -1?
-1
Let p = -1738 - -1737.9985. Which is bigger: p or -1?
p
Suppose 5*m - z - 25 = 0, 0*z + 15 = -3*z. Suppose 5*i + 5*x = 35, m*i + 5*x + 3 = 30. Which is smaller: i or 6?
6
Let b = -393/290 + 9/58. Let f = 373/5 - 75. Let d = b + f. Which is bigger: d or -1?
-1
Let y(v) = -2*v**3 - v**2 + 2*v - 5. Let k be y(2). Let q be 46*(-4 - k/6). Which is bigger: q or -22?
-22
Suppose 3*z = -2*l - 6, -3*z + l + 7 - 4 = 0. Let t be ((-38)/(-3))/((-1)/(-2)). Let y = -178/7 + t. Which is smaller: y or z?
y
Let s(a) = a. Let f(w) = 4*w + 15. Let m(i) = f(i) - 3*s(i). Let g be m(0). Do g and 14 have the same value?
False
Let t(o) = -o**3 - 10*o**2 - 10*o - 8. Let v be t(-9). Suppose v = a - 1. Suppose -6*f + 4*f = a. Is f smaller than 2/55?
True
Let y = 12/13 - 63/26. Which is bigger: y or -0.2?
-0.2
Let r(x) = 5*x - 3. Let o(w) = -26*w + 16. Let v(b) = -2*o(b) - 11*r(b). Suppose 2*z = 5*z + 3. Let c be v(z). Is c at least 3?
True
Let s be (-7)/((-21)/27) + 0. Suppose -s*l + 14*l = -105. Do -21 and l have the same value?
True
Let i = 1728/2285 + -4973287/5310340. Let d = i - -12/83. Let p = -1 - -1. Is p > d?
True
Let x be (40 + -41)/(-3 - -2). Which is smaller: x or -33?
-33
Let l = -1/106 - 22/477. Suppose -v + 5 = -3*y, -4*v + 1 = -5*y - 5. Which is smaller: v or l?
v
Let j = -285.506 + 0.506. Is j less than or equal to -2/7?
True
Suppose -4*t - 6*y + 3*y + 296 = 0, -5*t = -5*y - 335. Which is smaller: t or 73?
t
Let h = 37.5 + -37.5. Which is bigger: 12 or h?
12
Let y(j) = 3*j + 10. Let b(v) = v + 1. Let p(a) = 4*b(a) - y(a). Let l be p(8). Let s be 10/5 + -2 + 2. Is s < l?
False
Suppose -2*u - 1 = 3*c, -u - 2*c = 4*u - 14. Let l(t) = -t**3 + 3*t**2 + 2*t + 4. Let q be l(u). Let f be ((-4)/13)/(q/(-2)). Which is greater: -0.4 or f?
f
Suppose -4*v = 5*s - 36 + 2, 0 = -5*s + 2*v + 28. Let r(q) = q**2 - q + 7. Let o be r(0). Which is smaller: s or o?
s
Let j be (6/(-4))/(6/(-4)). Suppose 3*c = -4*s + 10, -2*c + 3*s + 2 = j. Suppose 3*n - 1 = c*n. Which is smaller: -2 or n?
-2
Let h = -17 + 21. Suppose 5*x - 4*s = -45, 0*x + h*s = 2*x + 30. Which is greater: 1 or x?
1
Let c(h) = h**3 + 7*h**2 + 6*h + 5. Let b(y) = y**2 - 5*y - 2. Let j be b(5). Let t(p) = -p**3 - 4*p**2 - p. Let u be t(j). Let r be c(u). Is 6 bigger than r?
True
Let j = -0.1 + 0.169. Let w = 1.431 + j. Is 2/5 bigger than w?
False
Let c = 6.01 - 0.01. Let s be -4*(2/14)/((-66)/(-77)). Which is smaller: s or c?
s
Let z be (14/(-6))/((-14)/84). Suppose z*a - 16*a = -6. Suppose a = 4*y - 1. Which is smaller: -0.5 or y?
-0.5
Let o = -260 + 1272/5. Which is greater: o or 0.3?
0.3
Let q be 3 - 8/4 - -2519. Let l be (-830)/q + (-4)/(-18). Which is smaller: -1 or l?
-1
Let w = 21 + -14. Suppose -z - 5*o + 38 = 0, -133*z = -130*z + 2*o - 23. Which is bigger: z or w?
w
Suppose 3*p + 47 = 5*r, 5*r = 2*p + 37 + 6. Let g = r + -7. Suppose -3*w + 6 + 3 = g. Which is bigger: 1 or w?
w
Let u be (-2 - 72/(-33)) + 194/(-462). Let d = u - -2/21. Which is smaller: d or 1?
d
Let q = 15 - 12.8. Let x = q - 3.2. Which is bigger: -3/14 or x?
-3/14
Let c = 262 - 258. Let r = -6 - -12. Which is bigger: c or r?
r
Suppose -f - 2*f = 0. Let y = 3769/8 - 471. Which is smaller: f or y?
f
Suppose 4*r = w - 2, -2*w = -23*r + 19*r. Which is bigger: -2/297 or r?
-2/297
Let y be ((-1)/27)/((-62)/(-6)). Let l = -1949/1116 + y. Let w = 268/889 + -2/127. Is l less than or equal to w?
True
Let l = -981 - -10789/11. Which is smaller: 165 or l?
l
Let v(u) = u**2 + 34*u + 209. Let a be v(-8). Is 106 at least a?
True
Let p(a) = a - 5. Let y be p(3). Let n be 12/(-102)*1/y. Let v = 332 + -331. Is n less than v?
True
Let c = 73 + -215. Let f = c + 140. Let o = -8 - -4. Is o greater than or equal to f?
False
Let j be (-108)/(-24)*8/(-3). Let u be j/(-8)*(-4)/3. Let q = -0.05 - -0.03. Is q greater than u?
True
Suppose p - 1 = -0*p. Let y = 188 + -190. Are p and y nonequal?
True
Let p(k) = -k**2 + 6*k + 12. Let c be p(10). Let t be 6/c*(-20)/15. Let h = 1.98 - 2. Which is smaller: h or t?
h
Let u = -33 - -15. Let m be u/(-4)*(-19348)/714. Let w = -122 - m. Is 1 greater than w?
True
Let m = -154 + 137. Is m >= 0.3?
False
Let v(z) be the third derivative of -z**5/30 + 5*z**4/24 + 11*z**3/6 + 18*z**2. Let u be v(5). Is u <= -13?
True
Let i = -51 - -42. Let d be 5 - (1 + -5 - i). Is -2/55 equal to d?
False
Let o(m) = 5*m - 30. Let y be o(5). Which is smaller: y or -42/11?
y
Let z = -8372/95 - -443/5. Which is bigger: z or 1?
1
Suppose -12 = 3*y - 4*m - 0*m, -5*y = m - 3. Is 2/219 greater than y?
True
Let n be 58/(-88) + (-6)/(-8). Let g = 1.031 + -0.031. Which is smaller: n or g?
n
Let q(m) = -m + 1. Let p(z) = 8. Let n(h) = -p(h) + 3*q(h). Let x be n(-2). Which is greater: 1/4 or x?
x
Suppose -5*l - 21 = 5*x - 6*x, -3*x + 35 = -l. Which is smaller: x or 0.1?
0.1
Let s = -22 - -30. Suppose 2*c + s = 4*t, 0 = t + 4*c - 2. Suppose 0 = t*w - o - 4*o + 3, -5*w - 57 = 4*o. Which is greater: w or -7?
-7
Let w(y) = -3*y - 30. Let k(a) = -a - 10. Let h(r) = -17*k(r) + 6*w(r). Let z be h(-20). Which is greater: z or 8?
z
Let z(x) = -2*x + 29. Let y be z(14). Let r = 6/173 - -996/1211. Which is smaller: r or y?
r
Let x = 104 + -146. Let d be x/(-7) + (-2)/2. Suppose -m + 2*m = 5, d*m - 29 = -4*g. Is g at most as big as 4/7?
False
Let a be 8 - (5296/(-40) + 11). Which is bigger: 130 or a?
130
Let i be (-14)/21 + (-58)/3. Let n = -36 + 17. Is n bigger than i?
True
Let i = 68 - 44. Let q = -25 + i. Do 2/73 and q have different values?
True
Let k = 18 - 17. Let z be (-1)/2 + k/(-3). Is -0.2 less than z?
False
Let m(r) = 33*r**2 - 3*r - 5. Let o be m(-2). Suppose -o = 11*q + 43. Which is smaller: -18 or q?
-18
Suppose -10*z + 2*z - 24 = 0. Let g be -111*(-2)/z*1. Is -74 smaller than g?
False
Let u = -849 - -1033. Is 185 >= u?
True
Let u(g) = -15*g - 7. Let n be u(-3). Let j = 57 - n. Is j greater than or equal to 17?
True
Let u(f) = -3*f**2 + f - 7. Let h be u(4). Let r = -57 - h. Which is greater: r or 1?
1
Let s(c) be the third derivative of -5*c**4/8 - c**3/3 - 2*c**2. Let l be s(1). Is -17 != l?
False
Let t(f) = -f**2 - 7*f - 6. Let w be t(-7). Let i be 111/(-2)*1/w. Is i less than -1?
False
Suppose 16*n + 37 = 933. Suppose f + 168 = 4*f + 2*y, -y - 224 = -4*f. Is n bigger than f?
False
Let u = 32.942 + -33. Let t = -0.052 + u. Which is greater: 0.1 or t?
0.1
Let o = -126.9 - -129.9. Are o and 700 non-equal?
True
Let i = 39 - 40. Let m be ((-3)/15)/(1/(-41)*i). Which is greater: m or -9?
m
Suppose 32 + 22 = -5*f + 3*v, -5*v - 34 = 2*f. Let n(l) = l**2 + 10*l - 11. Let o be n(f). Let g be (o/(-26))/((-1)/2). Which is smaller: 4 or g?
g
Let p(r) = 65*r - 22. Let i be p(2). Is 107 greater than i?
False
Let m = 1.34 + -1.38. Which is greater: 6/11 or m?
6/11
Let m = -921 + 920.9. Which is greater: -175 or m?
m
Let p = -2 + 6. Let t be 4/8 + 2/p. Which is greater: t or -1/10?
t
Let c = -28 + 16. Let m = c - -5. Let d = 25 - 32. Do d and m have the same value?
True
Let o be 12/3*((-119)/126 + 1). Let q be (-20)/(-6) + (-2)/6. Suppose w - 2 = q*w. Is w smaller than o?
True
Let l(f) = -2*f**3 - 13*f**2 - 8*f - 11. Let w be l(-6