pose n - 8*k = -12*k - 147, 0 = 3*n + k + 419. Let t = n + 4032/29. Is 1 less than or equal to t?
False
Let p = 0 + -0.5. Let m = p - -0.3. Let c = -199 - -200. Which is smaller: m or c?
m
Let o be ((-5)/(-5))/((-2)/(-16)). Suppose 2*l + 2*l + o = 0. Which is smaller: -6/11 or l?
l
Suppose 0 = 2*l - 3*l - 1. Let q be 8/24*l/(-9). Let t = q + 17/27. Which is smaller: 1 or t?
t
Suppose 0 = 4*l - 2*h - 26, 9*h = 5*l + 4*h - 45. Suppose -5*c = 4*k - 3*c - 34, -l*c = -12. Which is bigger: 8 or k?
8
Let q(m) = -m**3 + 2*m**2 + 5*m + 14. Let u be q(4). Suppose 7*o = u + 54. Does o = 9?
False
Suppose -5 = 64*d - 69*d. Is 1/64 < d?
True
Suppose 2*c = -g - 20, -92 = 3*g + g + 2*c. Let r = -25 - g. Let z(j) = -3*j + 3. Let q be z(2). Which is greater: r or q?
r
Let b be (4 + -4)/(4 - 7). Is -68 greater than b?
False
Let r = -202 + -341. Is r not equal to -543?
False
Let z = 0 + 9. Let h = 2 + z. Is 10 >= h?
False
Suppose -9144 = 416*g - 404*g. Is g <= -762?
True
Let p = -830 - 29. Which is smaller: 0.1 or p?
p
Suppose f = 2*z + 12, f = 2*f + 3*z - 32. Let t(c) = 32*c + 8. Let w be t(1). Let k = -20 + w. Is f less than or equal to k?
True
Suppose -5*q + 5*n = 0, -2*q - n + 2 = -1. Let k = 56096864/186915 + -22/10995. Let j = k + -300. Is j less than or equal to q?
True
Let x = -1421 + 7153/5. Let b = 2512029/35 + -71782. Let p = x + b. Is 0.2 greater than p?
True
Let q = 24 - 28. Let n be 1 - ((-46 - q) + 2). Suppose -w = 3*b - n, 5*b - w - 65 = -2*w. Which is bigger: 11 or b?
b
Let p be (15/(-4) - -4) + (-57)/(-12). Suppose -3 - 2 = -p*t. Let v = 595/14743 + 2/641. Which is greater: v or t?
t
Suppose 1 = 2*x + 3. Let v be (7/((-630)/(-16)))/(28/70). Which is smaller: v or x?
x
Let o = -2693 - -1459. Is -1 smaller than o?
False
Let h be 5/(-2)*(-24)/610. Let l = h + 202/427. Let y = 90/133 - l. Which is greater: 1 or y?
1
Let n be 1 + (-2 - 2) + 17. Let z = -8 + n. Suppose 0 = -4*k - 7 + 19. Do z and k have different values?
True
Let y = -169 + 168.6. Let w = 0.06 + 0.24. Is y smaller than w?
True
Let i(b) = -b**3 - 4*b**2 + 12*b - 1. Let t be i(-6). Let o = -2 - -137/68. Which is smaller: o or t?
t
Let n be (6/12)/(1/2). Let v be (n - (-1 + 2))/(-1). Suppose v = -2*r - r + 27. Is 8 greater than or equal to r?
False
Suppose -5*z = 4*i - 10, -z + 0*i + i = 7. Let w be -2 + z + 4 - -3. Suppose -6*y - 3 = -w*y. Is -1 equal to y?
True
Let k be -33*3*(-2)/(-6). Let h be (-4)/(-22) + (-390)/k. Suppose -7*f - h = -3*f. Is f less than -3?
False
Let f = 17/6 - 137/42. Let z = 241.7 + -172. Let y = -70 + z. Do f and y have the same value?
False
Let m = -141 - -215. Let h be (m/259)/(42/(-1)). Is h <= -1?
False
Let h be ((-9)/6)/((-1)/2). Let r be (-53)/2 + 9/(-6). Let w be (-3)/4 + (-69)/r. Are w and h equal?
False
Let d be (-39)/(-52) + 570/(-88). Which is bigger: d or -7?
d
Let q = -2969/48 - -185/3. Suppose 2*f + 5*o - 4 = 0, 2*o + 6 + 2 = 4*f. Let u(z) = -2*z**3 + 5*z**2 - 5*z + 7. Let r be u(f). Is q smaller than r?
True
Suppose o = 2*k + 51, -2*k - 225 = -5*o + 2*k. Which is smaller: o or 122/3?
122/3
Let x(w) = 4*w + 32. Let r = 55 + -65. Let f be x(r). Is f != -7?
True
Let v(w) = w**3 + 4*w**2 - 5. Suppose 1 + 3 = -g. Let q(n) = -n**3 - 4*n**2 + 2*n + 4. Let j be q(g). Let s be v(j). Which is smaller: -3 or s?
s
Let q = -6401/60 - -415/4. Do q and -2 have the same value?
False
Let z be (10089/180)/19 + (-12)/2. Are z and 0 non-equal?
True
Let c be 5/290*39*4. Is 3 less than or equal to c?
False
Suppose -44*z = -43*z. Which is smaller: z or 1/213?
z
Let l = -7.556 - -7.156. Let x = 0.2 + -0.23. Which is bigger: l or x?
x
Let m(s) = 11*s**2 - 4*s + 13. Let w(x) = 5*x**2 - 2*x + 6. Let c(h) = -4*m(h) + 9*w(h). Let b be c(2). Let u be ((-4)/(-20)*b)/(-2). Which is bigger: 1 or u?
1
Suppose 4*s - 2*x - 20 = 0, 3 + 1 = -s - 4*x. Suppose 54 = 2*t - s*t. Which is smaller: t or -28?
-28
Let s = -0.45 - 2.4. Let k = s + 2.3. Is -1 at most as big as k?
True
Let c(x) = 10*x + 5. Let h be c(0). Let o = -3 - -2.9. Which is greater: h or o?
h
Let z = -8 - -11. Suppose z*y = 2 + 1. Let h = -0.7 + 1. Which is greater: h or y?
y
Let g be 7 - 1131/208*8/6. Let v = -2 - -3. Let p be 2/(-8)*v - 0. Is g greater than p?
False
Let x = -116 - -100. Let y be 14*4/x*18/(-168). Let z(q) = q + 4. Let j be z(-3). Is y at most j?
True
Let a(j) = 2*j**3 - j**2 - j. Let s be a(-1). Let x be s/(-5) + (-102)/105. Let z = 7 - 8. Is z > x?
False
Let d = 9 + -8.968. Let l = d + -7.232. Let p = l + 7. Is 1/7 at most p?
False
Let i be 157/(-155) - (4 + -5). Let n = 261 - 262. Which is smaller: i or n?
n
Let p(b) = -11*b + 43*b + 7 + 11 + 2*b**2. Let v be p(-14). Which is smaller: v or 2/7?
v
Suppose 78 = 6*a - 90. Suppose -6*m = -10*m + a. Suppose 0*c - 3*c + 21 = 0. Is c <= m?
True
Let p(f) = f**3 - 11*f**2 + 17*f - 21. Let u be p(10). Let x = u - 32. Let t = 24 - x. Is t greater than 3?
True
Let j be 25/(24475/2948) - 3. Which is bigger: 0 or j?
j
Let p be (35/10 + -4)/(12/120). Is p equal to -71/13?
False
Let c be ((-10)/(-25))/((-63)/45). Is 645 != c?
True
Let k be (10 + (-2 - 6))*6/(-4). Let f(c) be the first derivative of c**4/2 + 4*c**3/3 + c**2 + 4*c + 1. Let o be f(k). Is o at most as big as 0?
True
Suppose 2*w + 4*i = -0*w - 4, -w + 3*i - 7 = 0. Let k(b) = 2*b + 9. Let o be k(w). Let z = -9188/901 + 174/17. Which is smaller: z or o?
z
Let r(o) = -106*o + 47. Let z be r(-3). Which is greater: z or 367?
367
Let n = -8.108 + 0.008. Let v = n - -8. Are 2.4 and v non-equal?
True
Let j be ((-8)/(-24))/(2/18). Let g be -4 + (j + 3)/2. Are 1/70 and g nonequal?
True
Let x be (4 - 69/15)*15/4. Which is smaller: x or -1?
x
Let o = -33669/5 + 6707. Which is smaller: -26 or o?
o
Let l(i) = i**3 + 24*i**2 + 26*i + 5. Let r be l(-23). Do -63 and r have the same value?
False
Let p = 15 + -65. Let g = p - -19. Which is greater: -33 or g?
g
Let n = -20 + 20. Let k = -85/713 - -1/31. Are k and n equal?
False
Let k = 6 + 1. Let y = -3 + k. Suppose -5*m + 2*u + 2 = -u, -y*u = 5*m - 9. Which is greater: m or 3?
3
Suppose -1 - 7 = -4*n. Suppose 4 = -d + 4. Let v be -1 + 4 + (d - n). Which is smaller: v or -2/47?
-2/47
Let p = -17 - -20. Suppose p*k + 3*k = -828. Let r be 22/55 - k/(-20). Which is smaller: -6 or r?
r
Let g = -55 + 92. Let q = g - 115. Let l be ((-9)/q)/((-1)/2). Which is smaller: -1 or l?
-1
Let t = -227/14 + 13959/854. Let g be (-3)/(3111/1816) + 2. Let b = t - g. Is 1 > b?
True
Suppose -3*z + 5*s = 595 + 6, 2*s + 2 = 0. Is z > -201?
False
Let u be 30/(-6)*(-3)/(-7). Which is greater: -2 or u?
-2
Let n = 1782 - 1812. Let d(f) = -2*f**2 - 2*f - 5. Let k be d(-4). Which is bigger: n or k?
k
Let c = 216 - 215.9. Which is greater: 0.2 or c?
0.2
Suppose 3*c = -11 - 4, -5*n + 380 = 4*c. Let m be n/35 - 1 - (1 + 0). Does m = 12?
False
Let d = -13 + 13.7. Let c = 5 - 6.8. Let l = c - -1.9. Is l != d?
True
Let i be (10/(-6))/(8/(96/(-5))). Which is bigger: 4/7 or i?
i
Let m = -383/4 - -95. Let u = -12 + 22. Suppose 0 = -a + 3*q + u, a - 4*q - 14 = -a. Which is bigger: a or m?
a
Let a = 0.5 - 0.6. Let q = 15.4 - 0.3. Let v = q + -15. Is v != a?
True
Let p = 6 + -2. Let u = 18 - 13. Suppose -2*t + 5 = u*j - 6, -5*j - t = -13. Which is smaller: j or p?
j
Let k(l) = -7*l**2 - l**3 - 2 + 4*l - 3*l - 6*l. Let m be k(-4). Let r be ((m/19)/5)/2. Which is greater: -1 or r?
r
Let n be (1 + 8 - 3) + -1. Suppose 4*v - v = q - 6, -n*q = -4*v - 8. Let s = 1214/221 + -96/17. Are s and q non-equal?
True
Let o = -28.9 + 30. Let d = 7.1 + -6. Let i = d - o. Is 0.2 at most as big as i?
False
Let f be (1044/9280)/((3/(-4))/(-1)). Let y = -3 + 4. Is y less than f?
False
Let r = 306 - 307. Let w be 50/(-4)*(-2)/20. Which is bigger: r or w?
w
Let t = 9.3 + -9. Let f = t - -0.1. Let w = -0.2 + f. Is 2 at most as big as w?
False
Let n be -325*2/22 - (23 - 18). Which is smaller: n or -36?
-36
Suppose -u - 2*u + 11 = -t, 3*u - 5*t = -5. Suppose -u*v + 58 = -42. Suppose -3 = -3*j - 3*c - 27, -2*c - v = 3*j. Which is bigger: j or -8/3?
-8/3
Let o = 49606/53 + -936. Let r = 913 + -957.1. Let n = r + 44. Which is bigger: o or n?
o
Let f be ((-88)/(-693))/(((-8)/(-42))/(2/9)). Suppose -6 = 5*v - 1. Which is smaller: v or f?
v
Let i = 95/138 - 1/46. Let f = -27 + 29.9. Let n = -3.1 + f. Which is smaller: i or n?
n
Let d be 0/2 +