 g be k(-3). Is 1/5 equal to g?
False
Let m(w) = -4*w + 83. Let n be m(9). Which is smaller: 1 or n?
1
Let f(z) = -4 - z**3 - 18 + 2 - 10*z - 9*z**2. Let x be f(-8). Let g be -4*(x + (-55)/(-14)). Is -1 smaller than g?
True
Let p(k) = -16*k - 12. Let d(c) = 24*c + 18. Let x(w) = -5*d(w) - 7*p(w). Let o be x(3). Let q = o + 44. Is 13 not equal to q?
True
Let b = 66 - 66.27. Let t = b + 0.17. Let f = 0 - -0.2. Which is greater: f or t?
f
Suppose 7*l + 39 + 24 = 0. Let k = 14 + l. Suppose k*n + 24 - 9 = 0. Is -9/4 equal to n?
False
Let r be 7 + -10 - (-72)/20. Which is smaller: r or -1/155?
-1/155
Let v = 1/43 - -212/129. Let s(a) = a**3 - 2*a**2 - 5*a - 2. Let d be s(-1). Suppose 38*h - 36*h - 2 = d. Which is bigger: h or v?
v
Suppose -5*a + 3*v - 2 = -65, 19 = 2*a + 5*v. Let p be 4/12 - (-2552)/a. Let d = 3194/15 - p. Which is greater: 0 or d?
0
Let r be (4/(-5))/((-416)/60 + 6). Which is greater: -1/4 or r?
r
Let w(t) = -t**2 - 5*t - 2. Let x be w(-3). Suppose -j + 3*p = 3 + x, 3*j = 3*p - 21. Which is smaller: j or -5?
j
Let d = 3 - 1. Let n be (-308)/(-70) + 6/10. Suppose 2*u + 4 = -2*t, -n*u - 5*t - 8 = -d*t. Are -1 and u equal?
True
Let g = 24.6 + -24.5. Is g greater than or equal to 0.016?
True
Suppose -6300 = 4*v + 4*o, v - o + 1570 = -3*o. Let c be v/(-34)*(11 - 7). Let b = -186 + c. Is 1 < b?
False
Suppose 0 = -4*x + u - 4, 3*u - 2 = 4*x - 2*x. Is x less than or equal to 12/211?
True
Let m = 80 + -57. Let a = 19 - m. Is 0.06 at most a?
False
Let r = 11 + -17. Let i(z) = -z**3 - 7*z**2 - 7*z - 3. Let c be i(r). Let v be 7/c + -3 + 0. Which is bigger: v or -2?
v
Let r(z) = -z**2 + 11*z + 23. Let v be r(22). Is v greater than or equal to -435/2?
False
Suppose 3*o + 5 = 4*t, 3*t = o + 3*o - 5. Let n be o/(-7) - (-6)/(-21). Let d be (-1)/(-2*1/2). Which is smaller: d or n?
n
Let b = -886 - -887. Is 2154 != b?
True
Suppose 5*g = 2*g + p - 4, p = -3*g - 2. Let q be -7 + 2 + (4 - g). Which is smaller: 4/103 or q?
q
Suppose 18 = 5*p + a, -2*p - 8*a = -4*a. Suppose 0 = -p*k + 5*k. Let q = k + -4. Which is bigger: q or -3?
-3
Suppose 3*h + 4*d - 44 = -2*h, 0 = -2*h + 2*d + 14. Suppose 0 = 4*q - 9*q + 40. Is q smaller than h?
False
Let q = 0.1 + -5.1. Let i = -0.14 - -2.14. Let c = 1.9 - i. Which is bigger: q or c?
c
Let n be ((84/249)/7)/((-70)/(-5)). Is n greater than or equal to 0?
True
Let k be -4 + 3 + -1 + (6 - 1). Let z be (-11)/3 + -3*k/6. Is -5 bigger than z?
True
Let m be ((-10)/5 - 22) + 6. Suppose 5*s - s = -2*o - 18, 3*s - 3*o = 9. Do m and s have the same value?
False
Let w(l) = -2*l**3 + 5*l**2 - 4*l + 3. Let y be w(2). Let a(c) = -4*c - 7*c - 4*c - 2*c - 1. Let r be a(y). Is r smaller than 17?
True
Suppose 2*b = 4*z - 4, z = -b + 2*z. Suppose -5 = -c - 1, -2*v + b*c = 0. Let q = -0.2 - -0.1. Which is smaller: q or v?
q
Let v(s) = -s - 31. Let d be v(12). Is -12 != d?
True
Suppose 0 = -2*y - 3*a + 6, 4*y + 20 = 4*a + 12. Is y not equal to -19/25?
True
Let p(z) = z**3 - 4*z + 1. Let f be p(-2). Let x be (f + -1)/(-2) + 11. Let y(c) = -c**3 + 11*c**2 + 2*c - 21. Let u be y(x). Is u bigger than 1/15?
True
Suppose 25 = u - 6*u. Let w(j) = 2*j**2 + 15*j + 1. Let a be w(u). Suppose x - 69 = 4*x. Is x greater than or equal to a?
True
Let w(b) = -2*b**2 + b + 4. Let t be w(-2). Let d(o) = o + 2. Let y be d(5). Let g = y + t. Which is smaller: g or -4/9?
-4/9
Let s = -1153 + 432373/375. Which is greater: s or 0?
0
Let c = -0.15 - -0.05. Let z = 1/6 - 29/102. Which is smaller: z or c?
z
Let k = 5 + 0. Suppose -v + 2*t + 6 = 15, k*v + 31 = -4*t. Let a be 1/(-2) - (-4)/(16/(-14)). Are a and v equal?
False
Let i be ((-484)/112 - -4)/(4/42). Let o = -281/88 - i. Is o greater than -3/4?
True
Let p(z) = -10*z - 4. Let s be p(3). Let f be (-5 + s)*4/22. Let i = f - -401/55. Which is smaller: i or -1?
-1
Let k(u) = 2*u**2 + 3*u - 9. Let v be k(4). Suppose -v = -4*w + 21. Suppose -23*c + w = -25*c. Is c less than or equal to -7?
True
Let r(c) = 6*c**2 - 19*c + 6. Let l be r(4). Which is smaller: 13 or l?
13
Let c be (-7)/14 - (-1)/(-52)*382. Is c smaller than -9?
False
Let f be 0/(44 + -42 + 1*4). Suppose 4*c = 2*y + 3402, 3*y + 3412 = 4*c - y. Let m = -11030/13 + c. Is m less than f?
True
Suppose 2*m - 4*m + t = 53, m + 44 = 4*t. Let u = 24 + m. Which is smaller: -2/87 or u?
-2/87
Let m = 5/79 + -257/316. Which is smaller: m or -1/85?
m
Let i = -325.78 + 326. Which is smaller: -8 or i?
-8
Let s = -1207 - -1208. Do -2/2139 and s have the same value?
False
Let r = -5384/3815 + 104/109. Let f be (-5 - 41/(-9))*(-57)/(-35). Let h = r - f. Which is greater: h or -1?
h
Let m = -1.8 + -0.4. Let d = 2.2 + m. Which is smaller: 2.6 or d?
d
Let r = -41 + 14. Let g be (-3)/r - (-161)/9. Which is smaller: g or 69/4?
69/4
Let l be 5/(-2 - 3) - -3. Suppose -l*v - 14 = -4*x, 5*v + 0*x + 17 = x. Is v not equal to 0.05?
True
Suppose -5*d + 30 = -3*t - 0*d, -4*t - 54 = -2*d. Let p be (6 - (-7 + 14) - 0) + -15. Do t and p have the same value?
False
Let i = -16.11 - -16. Let y = i - -3.11. Let h = y + -3.1. Which is smaller: h or 7?
h
Let f = 7 + -5. Let c be (2*4/(-6))/(10/2061). Let l = c - -276. Is f smaller than l?
False
Let x be (2 + -4)*(-6)/12. Suppose -3*q + 9 = 0, 45 = 4*w + q + 2*q. Let c be (-2)/w + (-854)/(-441). Which is greater: x or c?
c
Suppose 5*q = 129 + 21. Let m = q - 17. Let w = -12 + m. Is 1 less than w?
False
Let q be (-219)/111*-2 + 2 + -6. Is 0 <= q?
False
Let u = -1548 + 304957/197. Is u at most 1?
True
Let t be ((-3)/(-1) - 3)/1. Which is bigger: t or 2/201?
2/201
Suppose 5*q + n - 82 = 3*n, -2*n = 5*q - 78. Suppose -g = -p - 0*g + 1, 5*p = -g - 25. Let l be (-2 - p)*(-17)/(-2). Does l = q?
False
Suppose 0 = 5*r - 0 - 10. Suppose r*h + 4 = -2*h. Which is smaller: 2/29 or h?
h
Suppose 3*b = 3*d + 12, 0 = b - 4*d - 4 + 9. Suppose b = -5*p + 27. Suppose -p = 2*f - 2. Is f <= 0?
True
Let w be (-4)/14 + (2 - 2). Let r = 2.04 - -0.16. Let d = 0.8 + r. Which is bigger: d or w?
d
Suppose -2*y + 5*u = 4 + 13, 2*u - 2 = -4*y. Let w = -2 - y. Which is smaller: -2/55 or w?
w
Let l = 72 + -68. Suppose 9 = -l*g + 1, 0 = -4*j + 2*g. Is -2/25 > j?
True
Let i = -4 + -3. Let u = i - -8.8. Let g = u - 2. Which is bigger: 1 or g?
1
Suppose -7 = 2*o + 5*s + 2, 2 = -o - 2*s. Let z = -637 - -643. Is o greater than z?
True
Let b be 8*1 + 1050/(-126). Let n = -2.04 + 0.04. Is n at least b?
False
Let c = -13.955 + 14. Let w = c - -12.755. Let q = 13 - w. Which is greater: q or -0.3?
q
Let o be (-5 + 2)*73/365. Let l = 3 - 5. Let p be 1 - 1 - l - 4. Is o less than or equal to p?
False
Let y = -23147/951 - -73/3. Is y equal to -1?
False
Let y = -1.3 - -0.9. Let x = y - -5.4. Which is greater: x or 9?
9
Suppose 0*z + 32 = -2*z. Let v be -4 + (-248)/20 + 2/5. Is v greater than z?
False
Let t = 0.18 + -1.98. Let b = 138.1 + -138. Is b < t?
False
Let w be (0 - 2) + (6 - 3). Let x be 1/3 + w/(-3). Let n(k) = k**2 - k + 3. Let q be n(x). Which is greater: q or 8/5?
q
Let w = -373 + 372. Which is smaller: w or 2/437?
w
Let z(d) = -2*d**2 - d. Suppose 4*a + a - 19 = -l, 0 = -l - 4*a + 15. Let g be z(l). Let m be 0/4 + 8/(-11). Which is greater: g or m?
m
Let k be 4/14 - (2 + 12220/(-7210)). Let o = -41991/16 - -30273639/11536. Let b = k - o. Which is smaller: b or -0.1?
-0.1
Suppose 3*d - 2*i - 42 = 0, -3*i + 14 + 42 = 4*d. Does 18 = d?
False
Let u be -2 + (-4 - -3) - -4. Let g be ((-7)/21)/((-14)/(-264)). Let x = g + 859/140. Is x greater than or equal to u?
False
Suppose 0*d - d + 12 = 0. Let a = 5 - d. Let c be a/1 - (2 + 0). Are -9 and c equal?
True
Let x be -3 + 1 + (-20)/(-5). Let j(n) = -n + 16. Let f be j(16). Let v be -3 + (x - f - 0). Which is smaller: v or -5/3?
-5/3
Let r = -49 + 55. Let b = 0.02 - -0.98. Which is greater: b or r?
r
Let n(l) = -l**3 + 3*l**2 + 4*l - 4. Let w be n(4). Let c be (2*-2)/(-5 - w). Which is smaller: 5/2 or c?
5/2
Let n be (105/14)/((-3)/(-138)). Let l = 8973/26 - n. Which is bigger: 0 or l?
l
Let a = -1836 - -1008. Is -828 > a?
False
Suppose 29*p - 28*p = 3. Suppose 3*m = -0 + 3. Let v = 1 - m. Which is smaller: p or v?
v
Let v(j) = -j**2 + 2*j - 2. Let n(k) = k - 1. Let d(h) = -3*n(h) + v(h). Let s be d(0). Let b be 5 + -2 + 245/(-77). Does s = b?
False
Suppose -2*u = -3*l + 7*l + 14, 0 = -5*u - 4*l - 17. Let v(m) = 52*m**2 - 783*m + 