 8*t - 4. Let o be w(8). Suppose 2*u = 4*c + 4 - 2, -3 = -3*u. Let h(b) = -b**3 + b**2 + b - 4. Let d be h(c). Do d and o have the same value?
True
Let l(r) = r**2 + 4*r. Let a be l(-4). Let q be 0/((a + 2)*-1). Is -2/11 at least as big as q?
False
Let m = 20 - 14. Let b = -0.7 + 6.7. Let x = b - 5.9. Is m not equal to x?
True
Let z(i) = -5*i + 10. Let x(f) = 14*f - 29. Let n(u) = 6*x(u) + 17*z(u). Let s be n(-4). Are s and -1/8 equal?
False
Let n = 5 - 5.7. Which is greater: n or -3?
n
Let t = -21 + 20.9. Let g = -15.9 + 17. Let k = t + g. Is k bigger than -5?
True
Let j(a) = a + 13. Let z be (-30)/(-50) + (-56)/10. Let s be j(z). Is 10 less than or equal to s?
False
Let f be -1 - 2/((-4)/10). Suppose -f*k = -k. Let j be 2/(-42) - (-2)/(-7). Is k < j?
False
Suppose -2*q - a = -3*q - 7, -5*q + a - 15 = 0. Is q smaller than -10?
False
Suppose 4*y - 14 = -3*k + 10, 22 = 2*y + 4*k. Suppose -y*p = -p. Which is smaller: 0.3 or p?
p
Suppose 2*b = j - 3*j + 2, -3*b = -3*j + 9. Let i = 5 - j. Which is bigger: i or 4?
4
Let i be 6/(-9)*(-30)/(-76). Let a = 91/57 + i. Which is smaller: 1 or a?
1
Suppose -20 = -5*s - 0*s. Suppose s*t - 5 = 11. Is t >= 3?
True
Let b = 7 + -4. Let m = b - 2. Which is bigger: 0.02 or m?
m
Let n(q) = 3*q - 3. Let u be n(1). Which is bigger: u or 1/4?
1/4
Let w(y) = y + 17. Let b be w(-17). Which is bigger: b or -5?
b
Suppose 18 = -3*c + 6*c. Let y = c - 3. Let s = 0 + y. Which is smaller: 4 or s?
s
Suppose 1 = 4*n - 5*k - 3, n - 1 = 4*k. Let h(f) = 8*f**2 + f - 2. Let z be h(n). Is 1 less than or equal to z?
True
Let u(p) = -p**2 + 5*p + 6. Let m be u(5). Let h(i) = 1 + m*i**2 + i + i**3 - 8 - 2*i**3. Let t be h(6). Which is smaller: -2 or t?
-2
Let a = 1.26 + -0.58. Do a and 0 have the same value?
False
Let i = 0.036 - 4.036. Which is smaller: i or -1?
i
Let z(m) = m**2 + 3*m + 1. Let w be z(-2). Let b = -3 + -6. Let j be ((12/(-4))/(-3))/b. Which is bigger: w or j?
j
Let z = 0.07 + 10.93. Let v = -7 + z. Let y = v - 4.1. Which is greater: -3 or y?
y
Let c = -7 + 8. Is 4/5 >= c?
False
Let d be (-4)/2 - (-22)/4. Which is smaller: d or -1?
-1
Let c = -11 - -12. Is 2 >= c?
True
Let w = 118997/4810 - 19/481. Let j = w - 25. Suppose y - 4*y = 0. Which is greater: j or y?
y
Let i = -2 - -3. Let m = 1 + i. Let o be m/(-4 + (-6)/(-3)). Which is bigger: o or -2/7?
-2/7
Suppose -90 = -t + 16*t. Suppose -3*m + 5*m = 4*v + 26, -4*v - 28 = -4*m. Is t at most as big as v?
True
Let g = 45/2 - 23. Which is smaller: -1/4 or g?
g
Let r = -1 + -1. Let t = r + -1. Let s = t + 2. Is s less than -2/5?
True
Suppose 4*z + 4 = -2*w, z = -2*w - z - 6. Let a be 6/w - (3 + -5). Let d be 1/(-3) + (-12)/(-9). Is a smaller than d?
True
Suppose 0 = -2*j + 5*i + 27, -4*i = -4*j - 0*i + 60. Suppose 2*d + 8 = 2*l, 0*d - 4*d - j = 3*l. Which is greater: l or 1/2?
1/2
Let n(m) = -2*m + 18. Let z be n(10). Are z and -1/2 equal?
False
Suppose -5*v + 2 = -3. Let p be (8/(-38))/(-2*1). Which is bigger: v or p?
v
Let u = 79 + -79. Do u and -1/5 have different values?
True
Let t(g) = -g**3 + 3*g**2 + 2*g + 1. Let w be t(3). Let b be 23/w + 6/(-21). Let a = -2 + b. Do a and -2/9 have different values?
True
Let f be (-5 + 3)*2/(-4). Suppose 0*j + f = j. Is j bigger than 3/8?
True
Let q = -0.9 + 1. Let j = -4.7 + -0.3. Which is smaller: q or j?
j
Let o be ((-2)/39)/(2/6). Suppose 0 = -0*v + 5*v. Let w(l) = l**2 + l. Let u be w(v). Is u > o?
True
Suppose 4*p + p = 25. Suppose 0 = p*b - 4*b - 6. Let w = 5 - b. Is -3/4 at least as big as w?
True
Let n = 1 + 1. Suppose 2*a - 3*a = -7. Let l = a + -5. Is n != l?
False
Let b = -0.016 + 4.116. Let d = b + -4. Is d at most -1?
False
Let a be 1 - (-6)/2 - 0. Suppose 0 = -0*x + 2*x - a. Suppose x*s = -2*s. Is 0 at most as big as s?
True
Suppose 0 = -0*r - 4*r. Let i be ((3 - 6) + -3)/(-2). Which is smaller: r or i?
r
Let k = 2.8 + -3. Let f = 73.2 - 65. Let v = f - 8. Is v greater than or equal to k?
True
Let h = -6.94 - 0.06. Do 4 and h have the same value?
False
Let i = 32 + -29. Let o be 2*(-1 + (-6)/(-4)). Which is greater: o or i?
i
Let l = -7 - -7. Which is bigger: -2 or l?
l
Let k be (-3)/2 - 26*(-18)/264. Is k smaller than 1?
True
Let v be 10/555*102/76. Let o = 3/37 + v. Which is bigger: o or -1?
o
Let y = 664 + -671. Let v = 0 - -1. Which is smaller: v or y?
y
Let g(t) = -t**3 - 2*t**2 - 4*t - 3. Let v be g(-2). Let y = 4 - -1. Is v smaller than y?
False
Let n = 1 + -1. Let k be ((-87)/116)/(1 - (-37)/(-16)). Are k and n equal?
False
Let s = 53 - -13. Let m = s + -200/3. Suppose -h - 1 = -2*h. Are m and h nonequal?
True
Let g = -80/7 - -512/35. Which is greater: 2 or g?
g
Let d = -18 + 10. Let h = -114 + 115. Does d = h?
False
Let g(a) = a + 1. Let t be g(-4). Let m be (5/(-15))/((-1)/3). Which is smaller: m or t?
t
Let k = -295291/20020 - 1/5005. Which is greater: k or -15?
k
Let c(m) = -6 - 2*m**2 + 3*m**2 - 11*m - 2*m**2. Let f be c(-10). Suppose 5 = f*n + n. Is -1 at most n?
True
Let h(j) = j**3 - 3*j**2 - 5*j + 6. Let m be h(4). Let s = 6 + -16. Let n be 25/s*2/(-6). Which is greater: m or n?
m
Let g = -55 + 61. Suppose 3*v + v = 3*m + 26, 0 = 2*m + 2*v - 6. Let a be m/4 - 15/(-6). Is a at most as big as g?
True
Suppose -5*a + 16 = 2*o, -3*o - 4*a + 0*a + 17 = 0. Suppose -r = -5*n - 1, 2*r + o*n - 3 = -r. Is -1 not equal to r?
True
Let s be (-4)/12 - (-4)/(-6). Let d(w) = -w**2 - 13*w + 28. Let n be d(-15). Is s equal to n?
False
Suppose -4 = -4*o - 0. Let v(t) = -5*t. Let h be v(o). Which is smaller: -3 or h?
h
Let o = -0.1 - -1.2. Let d = 0.1 - o. Let i be (-3)/(-14)*4/3. Which is greater: d or i?
i
Let a be 8/28 + (-26)/(-7). Suppose -v - 2*c - 17 = -6*c, -a*v + 2*c = 26. Are -5 and v nonequal?
False
Let s = -0.034 - 0.066. Let w be 0*(1 + 2*-1). Which is smaller: s or w?
s
Let p be -4 - (3 + 4502/(-270)). Let y = p + -48/5. Which is smaller: 0 or y?
0
Let k be 21/6*(54/(-28) + 2). Which is smaller: k or 1?
k
Let d = -19 + -67. Is -86 equal to d?
True
Let x = -6/77 - 219/154. Are -1 and x equal?
False
Suppose x - 2 = -x. Let m be 1/(((-2)/(-4))/x). Let a = -3 + m. Which is greater: a or -2?
a
Let p be (-8)/(-40) + (-134)/420. Let o = -3/14 + p. Which is greater: o or -0.1?
-0.1
Let v(g) = -g - 3. Let w be v(-4). Let c be -2 - -4 - (2 - w). Which is greater: c or 0?
c
Let o be (-306)/(-81) - (-4)/18. Let v be o/(-24) - 2/(-84). Which is greater: 0 or v?
0
Let m = -68.1 - -68. Which is smaller: m or 2/61?
m
Let j(c) = 3*c - 5. Let h be j(2). Which is bigger: h or 1/4?
h
Let t = 9/203 + 7/29. Is t >= -1?
True
Suppose -j - 5 = -6*j. Suppose -2*b + 5*b - j = 4*a, 5*b = -3*a + 21. Is 4 equal to b?
False
Let m = 0.2 - -8.8. Let g = 9.1 - m. Is 0 at most g?
True
Let a(z) = z + 3. Suppose -3*v = -0*v, -5*b = 4*v + 15. Let h be a(b). Let j be (3/(-24))/((-6)/(-12)). Which is smaller: h or j?
j
Let t(q) = q + 3. Let x be t(-2). Is x greater than 1/3?
True
Let k(i) = i**2 - 11*i - 19. Let d be k(12). Which is greater: d or -11/2?
-11/2
Let u = -13 - -8. Let c = 14 + -20. Is c equal to u?
False
Let a(q) = q**3 - q**2 - 3*q + 1. Let p be a(2). Let j = 4 + p. Suppose -2*u - 4 = -3*z - 3, -4*u + 10 = -2*z. Is j at least as big as z?
True
Let z = 0.04 + -4.04. Let q = 4.01 + z. Let t = -0.11 + q. Which is smaller: t or -4/5?
-4/5
Let s be 81/(-72)*4/(-3). Does s = 3?
False
Let r be (1 + 5/3)*3. Let a = 28 - r. Suppose 0 = 2*w + 3*w - a. Is w at most as big as 4?
True
Suppose 0 = 5*c - 1 - 14. Suppose 2*a + 3 = c*a. Suppose -5*t - 2 - a = 0. Which is bigger: t or -3?
t
Suppose -22 = -5*x - 7. Let v be (-49)/6 - x/6. Let f = 9 + v. Are -1/4 and f non-equal?
True
Let p = -0.81 + 0.91. Is 28 greater than or equal to p?
True
Let r(x) be the first derivative of -x**3/3 + 5*x**2/2 + 7*x + 2. Let d be r(6). Let s = 7 - 5. Is s bigger than d?
True
Let x be ((-4)/(-5))/((-20)/(-50)). Suppose 4*r = r + x*h + 6, -9 = 4*r + 3*h. Is 4/17 != r?
True
Let z = -94.9 - -10.9. Let y = z - -89.9. Let u = y - 6. Is u bigger than 1/3?
False
Let f be 6/(-27)*(-7 - 2). Suppose c - 3*c + f = 0. Which is greater: -1/27 or c?
c
Let p(m) = m**2 - 10*m + 9. Let u be p(9). Let b be 6*(-2 - (1 - 2)). Let w = b + 4. Is w less than or equal to u?
True
Let a(t) = 4*t - 20. Let f be a(5). Let l be 4/(-14) - (-34)/70. Is f > l?
False
Let c = 11 + -11. Let v(o