t z be u(-6). Is p >= z?
True
Let l = 382/5 - 76. Let b = 1 - 2. Let i = b + 0.8. Which is bigger: i or l?
l
Let r(a) = -a. Let k be r(-6). Let j be 4/6*(-9)/k. Let n be 5/(-4) - -2*1. Which is bigger: n or j?
n
Let q be 2/6 + 2/3. Which is smaller: q or 20?
q
Let b = -1.04 + 0.04. Which is greater: b or -0.4?
-0.4
Let q = 166 + -166.04. Is -3 equal to q?
False
Let t(c) = 4*c + 1. Let y be t(-2). Let g be y/3*(-18)/(-27). Which is bigger: g or -1?
-1
Let d = 5.5 - 5.49. Which is bigger: 0.5 or d?
0.5
Suppose 0*p - 6 = -p. Suppose -2*q = -q + p. Is q equal to -6?
True
Let a = 2 - 6. Let t = 2 + a. Which is smaller: 1 or t?
t
Let j(y) = 2*y - 9. Let m be j(6). Let n(u) = u**3 - 4*u**2 + 3*u + 2. Let o be n(m). Suppose -18 = -2*q + 3*h - 7, -o*h - 1 = 5*q. Is q <= -1?
False
Let b = 15 - 9. Let g = -74 - -73. Which is smaller: g or b?
g
Suppose 5*w = 2 + 8, -1 = -s + w. Suppose -2*o = -m + 2, -2*o + 2*m + 11 = -s*o. Is o <= -3?
True
Let a(j) = j**2 - 18*j + 18. Let w be a(17). Let b = 25/12 + -53/60. Which is greater: w or b?
b
Let f = 5 + 5. Let k = -5 + f. Suppose -2*s + k = 3*s. Is s at least 2/7?
True
Let b = -5 + 5. Suppose b = -2*i + 4*i. Let a = -52/15 + 11/3. Which is smaller: i or a?
i
Let i(d) = -d**2 - 5*d - 2. Let r = 4 - 9. Let f be i(r). Which is smaller: -3 or f?
-3
Let p = 0.15 - 1.15. Let a = 4 - 3.8. Let j = 0.2 - a. Are p and j nonequal?
True
Let o be 4/10 + (-44)/10. Suppose -6 = -4*u - 22. Is u less than o?
False
Suppose 2*z = -z + 12. Suppose n = z*n. Let c = 1/44 + -23/44. Is n less than c?
False
Let q(v) = 3*v - 76. Let j be q(25). Is 46 > j?
True
Let h = -9 - -10. Let k(t) = -3*t**2 + 1. Let m be k(-1). Let x = m - -4. Which is smaller: h or x?
h
Let k = -321 + 4169/13. Is k at most as big as 1?
True
Let q = 2/6619 - 1648139/26476. Let p = q + 62. Is 1 less than p?
False
Suppose 5*q + 4*n = -31, -5*q = -4*n - 22 + 61. Suppose -5*o = -3*o + 16. Which is smaller: o or q?
o
Let s(d) be the third derivative of d**5/10 - d**4/12 - d**3/3 - 10*d**2. Let y be s(-2). Is 25 smaller than y?
True
Let c(f) = -f**2 + 3*f + 5. Let d be c(6). Are d and -11 unequal?
True
Let i be 107/26 + 2/4. Let h = 647/143 - i. Suppose 0 = -5*b + 5*c, 0*c - c = 2*b - 3. Is b > h?
True
Let g be (12/(-4) - 0) + -3. Let t = g + 3. Is -10/3 >= t?
False
Suppose -2*g + 12 = -88. Let c be (8/60)/((-26)/g). Let w = c + 4/39. Is -1 at most w?
True
Suppose -3*q - 4*w + 10 = -2*q, 0 = -4*q - 4*w + 4. Suppose 6*p - 3*p = 0. Which is smaller: q or p?
q
Suppose -b = 4*b + 15. Let w be (0 - 1) + (0 - 1). Which is greater: w or b?
w
Let w = -188 + 2821/15. Let a(l) = l + 5. Let k be a(-5). Which is greater: w or k?
w
Let h = -0.17 - 1.83. Is h greater than or equal to 10?
False
Let s(g) = g**2 + 5*g + 6. Let f be s(-6). Let u be (-70)/f - (-2)/(-12). Let h(n) = -n - 8. Let z be h(u). Which is bigger: z or 0?
0
Let m be ((3*-1)/((-18)/92))/(-2). Which is smaller: -9 or m?
-9
Let j = -8 - 16. Let k be j/(-132) - 224/22. Does k = -10?
True
Let k = -118 + 84. Let t = -19 - k. Suppose 5*i + 0*i - 18 = -m, -t = -3*i - 2*m. Are i and 3 equal?
True
Let b = 27.1 - 27. Is b not equal to -2/119?
True
Let y = -12.3 + 12. Let a = -3 + 3. Do y and a have different values?
True
Let a = 4.6 - 5. Let b = 0.6 + a. Which is greater: b or -1/4?
b
Let a = -0.64 + 0.64. Does -2/7 = a?
False
Let r(h) = 19*h**2 + 2*h + 1. Let v be r(-1). Which is smaller: v or 17?
17
Suppose -4*x + 2*a - 2 = -8, 0 = -5*x + 3*a + 6. Suppose -x*i + 4*i - 2 = 0. Is 1 at least as big as i?
False
Suppose 4*y + h = y - 1, -y + 1 = -h. Do 0 and y have different values?
False
Let c = 149 + -458/3. Which is smaller: c or -5?
-5
Suppose -5 = -4*z - 1. Let o(n) = -10*n**2 + 1. Let h be o(z). Let g be h/(-7) - (-2 + 3). Which is bigger: 1 or g?
1
Let t be 0 + (-1 + 0 - -2). Let w = -21/10 - -13/5. Is t at least as big as w?
True
Let m = 6 + 10. Suppose 4*v = -0*v - m. Is 0.1 less than v?
False
Let f = -27.199 + 0.199. Are -0.1 and f non-equal?
True
Let y = -4 + 2. Let s = 0 + y. Let l be (16/60)/(s/3). Which is smaller: -1 or l?
-1
Let z = -0.75 - 0.25. Suppose 0 = -4*g + g + 6. Is z >= g?
False
Let a(f) = 3*f + 6. Let i be a(-2). Is 3/4 > i?
True
Let h = -9 - -5. Which is greater: -6 or h?
h
Let g be ((-2)/3 + 0)*-27. Let o = g + -12. Let u(i) = i**2 + 5. Let f be u(0). Which is smaller: o or f?
f
Let a = 249 + -250.07. Let n = a + 0.07. Is n greater than or equal to 1/3?
False
Let p = -108 + 542/5. Which is bigger: p or -52?
p
Let z = 5.9 - 5.8. Let f(j) = -j**3 + 3*j**2 - j + 2. Let n be f(2). Suppose 0 = -5*u + 10, 1 = -5*s + n*u + 3. Is s < z?
False
Suppose 2*n + 3*n - 15 = 0. Suppose 3*l - 6 = -n, -z = -3*l - 1. Is 1 at most z?
True
Suppose 4*p + 8 = 0, 0*p + 13 = j - 4*p. Suppose j*r + 12 = r. Is -3 equal to r?
True
Let a = -0.041 - 1.699. Let s = 0.26 - a. Which is smaller: s or 3?
s
Let r = 30 - 32. Which is bigger: -2/3 or r?
-2/3
Let k(p) = p**2 - 7*p + 2. Let x be k(-5). Let i = 680/11 - x. Which is smaller: i or 0?
i
Suppose -p - 56 = 3*p - w, 2*p = -3*w - 42. Let u = -9 - p. Let c = u + -7. Which is smaller: c or 5?
c
Let a = -46.5 - -45. Which is bigger: a or -1?
-1
Let z be (1 + (-4)/(-8))*4/10. Suppose -3 = 3*u - h - 11, -h + 2 = 2*u. Which is greater: u or z?
u
Let d = 3.08 + -3. Are -1/3 and d unequal?
True
Let o be (3/(-2))/((-15)/80). Let x be 2 - -1 - o/4. Suppose 0 = 4*h - 5*h. Does h = x?
False
Suppose 3*c + 2*x = -2, 6*c = 10*c + 4*x. Suppose 3*q - 2 = 10. Let l be (-4)/10 - q/(-10). Which is greater: c or l?
l
Suppose 3 + 11 = 2*x. Which is smaller: x or 46/7?
46/7
Let y(w) = w**3 + w**2 + w + 1. Let m be y(0). Suppose -5*b + 4*b = l + m, l - 14 = 2*b. Which is greater: l or 5?
5
Let f(v) = v**2 + 10*v + 6. Let x be f(-9). Let l = x + 2. Which is greater: -3/5 or l?
-3/5
Suppose 5*d - t + 36 = -0, -4*t + 16 = -4*d. Let u be d/(-1)*5/(-4). Let p be 12/(-55)*u/4. Is p equal to 1?
False
Let a(t) = t**3 + 7*t**2 + 6*t + 4. Let w be a(-6). Let p be w/2 + (-39)/15. Let d = -0.1 - 0.9. Is p smaller than d?
False
Let k(m) = -m - 3. Let p be k(-6). Suppose -2*o - p*o = -40. Let a be 18/o - 2/1. Which is smaller: a or -1?
-1
Let s be (3/(-5))/((-8)/(-10)). Let r(y) = 9*y - 1. Let q be r(1). Let v be 1 - 4/q - 1. Is v at most s?
False
Let k = 0 + -5. Let y(b) = b**3 + b**2 - 4. Let m be y(0). Is m equal to k?
False
Let s = -6 - -3. Let g be (1 + 1)*(s + 5). Suppose -o - 3 = -4*o, -p + 5 = g*o. Is p less than 2/7?
False
Let p = 1.8 + 0.2. Which is smaller: p or 0.1?
0.1
Let u(v) = -v**3 + 2*v**2 + 2*v + 9. Let o be u(4). Let l = o + 15. Suppose 3 = -s + 4*s. Are l and s nonequal?
True
Let v(j) = j**3 + 7*j**2 - 9*j. Let a be v(-7). Let u be a/81 - (-2)/(-6). Which is bigger: -1 or u?
u
Let y(a) be the third derivative of a**5/60 + a**3/6 - 3*a**2. Let b be y(-2). Let l(q) = -q**2 + 5*q. Let c be l(b). Which is bigger: 2 or c?
2
Let d be (-5)/((-40)/(-18)) + (-3)/(-12). Let m(r) = -r**2 - r - 1. Let c be m(-2). Which is bigger: c or d?
d
Let q = -361 - -2523/7. Which is smaller: 2 or q?
q
Let r = -515 - -212. Let j = r + 26362/87. Let i = j + -191/1479. Which is smaller: 1 or i?
i
Let p = -17 - -17. Let z(g) = -g - 3. Let n be z(-5). Suppose 0 = s - 3*d - 7, 4 = -5*s + n*d. Is s equal to p?
False
Let c = -2 + 4. Suppose -7*i = -c*i + 15. Let z = -0.4 - -0.3. Are i and z unequal?
True
Let u = 11 - 7. Suppose 6*b = 2*b + 2*n - u, 12 = 3*n. Let r be -2 - ((-3)/b + 1). Which is greater: r or 2/5?
2/5
Let w(c) = -32*c**3 + 2*c**2 - 1. Let g(j) = j**2 + 5*j + 3. Let o be g(-4). Let r be w(o). Let i = r - 65/2. Are 2 and i non-equal?
True
Let j = 0.79 + -2.74. Let w = j + -0.05. Let q = w - -1. Is q <= 0.1?
True
Let t be 5*1*1/(-1). Let s(u) = -u**3 - 3*u**2 + 4*u - 3. Let p be s(-4). Is t at least p?
False
Let m be (-1708)/(-35) - 2/(-10). Let k = -545/11 + m. Suppose -3*z - 4 = -1. Do z and k have the same value?
False
Let h = -2 - -19. Let l = h + -18. Which is smaller: -4 or l?
-4
Let a be (1 - (-21)/5)*(-1 + -4). Are a and -27 unequal?
True
Let s = 0.3 + 0.7. Let h = 7.06 - 7. Which is smaller: s or h?
h
Suppose 2*x + 2 = x. Let p be 0 + (x - 9/(-3)). Is p at most as big as 1?
True
Let i(j) = j**2 - 18*j + 4. Let f be i(18). Which is bigger: f or 1?
f
Let v be 6 - (2 + -1)/1. Let y be (-3*1)/(-3)*v. Supp