same value?
False
Suppose -w + 5*d + 0*d = -13, 0 = -4*w - 3*d + 29. Suppose -2*q = 3*q + 30. Let k = q + w. Is 2 equal to k?
True
Let c = 22 + -22. Do -1 and c have the same value?
False
Let s = -18 + 17.7. Which is greater: s or 4?
4
Let x(h) = h**2 - 2*h + 1. Let n(s) = s**2 + 1. Suppose -5*u - 3 = 2. Let p be n(u). Let y be x(p). Is 3 greater than or equal to y?
True
Suppose 0 = -6*j + 2*j + 4*d, 5 = 3*j + 2*d. Let f be (4/8)/((-2)/(-4)). Is f greater than j?
False
Let p(z) = 2*z - 4. Let j be p(3). Let g(v) = -j*v + 4 - 7 - 2. Let o be g(-4). Is 3 >= o?
True
Let x(t) = t**3 + 2*t**2 - 5*t - 6. Let y be x(-3). Is -10 <= y?
True
Suppose -5*y + 6 = 16. Which is smaller: -5/2 or y?
-5/2
Let r = -22 + 23. Which is greater: r or 6?
6
Let s(t) = 1 - 3 - 2 + t**3 + 1 + 5*t**2 - 6*t. Let o be s(-6). Let a(x) = x + 2. Let l be a(o). Is -2/11 less than or equal to l?
False
Let v be 36/(-28) + 1 - (-114)/56. Is v at least 1/5?
True
Suppose -4*x = -112 - 4. Suppose -4*w + 2*c + x = -3*c, 0 = 4*w - 3*c - 19. Which is smaller: w or 2/17?
2/17
Let h = -1.03 - -2.23. Which is smaller: h or -1/11?
-1/11
Let r be (-1)/((-3 + 0)/(-9)). Let j be 3 + ((-40)/6 - r). Let w be (-10)/4*4/15. Is j at least as big as w?
True
Let s be 1/(-3 - 152/(-50)). Is s less than 24?
False
Suppose -15 = -0*c + 5*c. Let j(v) = -2*v + 7. Let y be j(4). Which is bigger: y or c?
y
Suppose 5*k - 2*c - 18 = 0, 0*c - 17 = -4*k - c. Suppose 3*h = 3*y - 6, 2*y - k*h = y + 11. Let u be (-3)/(-3) + (-3 - -1). Are y and u nonequal?
False
Let d = 30/173 + 4694/865. Which is greater: 5 or d?
d
Let m = 0.24 - 0.3. Let t = 1 - 3. Let u = -3 - t. Is m > u?
True
Let d = -0.9 + -6.1. Let m = d + 2. Let o = m + 3. Which is smaller: -0.1 or o?
o
Let m = -6.2 + -0.8. Let g = -0.04 + -5.96. Let r = m - g. Are 2 and r unequal?
True
Let v(r) be the third derivative of -r**5/60 + 7*r**4/24 + r**3 + 5*r**2. Let j be v(7). Suppose -7 = -3*k + 11. Is j less than k?
False
Suppose 0 = -2*b + 4*w - 12, b - 3*b - 3*w + 16 = 0. Which is smaller: b or 0.06?
0.06
Let x(l) = -l**2 + 9*l - 2. Let n be x(8). Which is smaller: n or 33/5?
n
Suppose -5*p + 5*b = 5, -5*b - 8 = 2*p - 10*b. Let c(y) = -y + 11. Let t be c(9). Let n be 80/175 - t/(-5). Are p and n unequal?
True
Suppose -3*v - 10 = 5. Is v equal to -4?
False
Suppose 0 = -3*j + 13 + 17. Suppose n = -0*n - p - j, -5*p - 26 = n. Let h be n/8*(-4)/(-6). Which is smaller: -2 or h?
-2
Let h = 5 - 3. Let w = -0.2 + -0.8. Let g = w + h. Which is bigger: 0.4 or g?
g
Let o be 1 + -5 - 4/16*28. Is -12 < o?
True
Let y = -28 + 31. Which is bigger: y or 15/4?
15/4
Let t(x) = -x + 3. Let f be t(0). Suppose -4*k + 4*w - 12 = 0, f*w - 9 + 1 = 4*k. Let g = 0.2 + -1.2. Which is smaller: k or g?
g
Suppose 18 = 4*o - o. Let v = 4 - o. Which is smaller: v or -3?
-3
Let w = -1.2 + 1. Suppose 0*z + 2*z = 10. Let h be ((-4)/z)/(4/(-10)). Which is smaller: w or h?
w
Let u be ((-6)/168 + 0)*(7 - 1). Is u at least -1?
True
Let h = 0.134 - 1.134. Let z be (-4)/(-6)*(-4)/6. Is z less than h?
False
Let q(l) = 3*l + 1. Let x be q(1). Suppose 2*p + 2 = -x*u, 4*p + 3 = 4*u + p. Suppose w = -5*k - w, 0 = -2*k + 4*w + 24. Are u and k non-equal?
True
Let u = -0.6 - 4.5. Let t = -5 - u. Which is smaller: 1 or t?
t
Let z = 51 + -56. Which is smaller: -2 or z?
z
Let s = -11/9 - 1/9. Let b be 24/(-10) + 2/5. Is b less than or equal to s?
True
Suppose 1 = -f + 2. Let x be (4/(-10))/((-8)/15). Which is smaller: x or f?
x
Let g = -0.2 + -0.8. Which is greater: -3/10 or g?
-3/10
Let l be (3/(-2))/(1/(-8)). Which is smaller: 13 or l?
l
Let x be (-95)/25 + 4 - 289/(-5). Which is smaller: x or 59?
x
Let l = 33 + -67/2. Let t(g) = -2*g**2 - 57*g - 30. Let j be t(-28). Which is bigger: l or j?
l
Let q be (1 + -2)/(4/28). Let c be 1 + 4 + -3 - 9. Do q and c have the same value?
True
Let c = -3 - -2. Is 2 < c?
False
Let z = -0.12 + 0.2. Which is greater: z or 0.1?
0.1
Let n(d) = -4*d**3 + 2*d**2 - d. Let g be n(1). Which is bigger: -5 or g?
g
Let j = -7/43 - 37/301. Which is smaller: j or 0.5?
j
Let t = -3 + 0. Let k be (1 - t/(-2))*0. Let h be ((-2)/5)/(1/(-5)). Is k greater than h?
False
Let c(x) = -5 - 3*x - x**3 - 3*x**2 + 0*x**3 + 2*x**3. Let a be c(4). Let t be 17/(-30) - 2/(-5). Which is bigger: a or t?
t
Let w = -47.2 - -45. Which is bigger: w or -0.2?
-0.2
Suppose -3*z + 4*z - 4 = 0. Let k be ((-3)/2)/(2/z). Which is bigger: -1 or k?
-1
Let c be (-3 - (-12)/2) + -1. Let l be (0 + -2)*1/(-2). Is l != c?
True
Let m be 8/(-14)*2/8. Let c be (6/(2 + -4))/(-1). Suppose 0 = -2*d - c*d. Which is greater: d or m?
d
Let y = -17 - -18. Is -16 at least y?
False
Suppose -4*y - 3*u + 17 = 0, 0*y + u = 3*y - 3. Suppose -5*q + 14 = -b, q - 5*b + y = -0*q. Which is bigger: 7 or q?
7
Suppose -2*u = 2*u + 16. Let i be (-27)/(-21) + u/14. Let b be i/((-2)/(-2) + -2). Are b and -3/5 nonequal?
True
Let v = -16 + 15. Does -5/9 = v?
False
Let j(m) = 20*m. Let z be j(1). Which is bigger: 19 or z?
z
Let i = -35 + 37. Which is bigger: 0.05 or i?
i
Let v = -7 - -11. Suppose 2*z = v*z. Let s be ((-2)/(-10))/(16/(-30)). Is s at least as big as z?
False
Let v = -4 + 6. Let k be 6/24*(v - -2). Is 1 less than k?
False
Let v = 116.5 - 116. Which is smaller: 0 or v?
0
Suppose 0 = 5*w - 7 - 3. Let s be 5/2 + 9/(-18). Let y be (-3 + s)*6/(-3). Is y greater than or equal to w?
True
Let x = 0 - 1. Let g = -6.5 + 8. Let w = -1.5 - g. Is x at least w?
True
Let h = 1007/33 - 91/3. Which is smaller: h or 2?
h
Let b = 37 + -24. Does b = -2?
False
Let d(v) = v**2 + v - 3. Let y be d(4). Suppose 5 = -2*w + 3*c, w - y = -2*c - 2. Suppose 4*k = -5*s + 18, -5*s - w*k + 7 = -13. Which is smaller: s or 1?
1
Suppose -4*f - 20 = -4*r, -2*r + 5*f + 19 = r. Suppose r*g + 11 = 2. Let q = 6 + -10. Which is bigger: q or g?
g
Suppose 0 = -4*w + 3*w + 4. Suppose 2*g - 5*y - 1 = 0, 4*g + 6*y - y - 17 = 0. Let n = w - g. Are n and 2/13 non-equal?
True
Let r = -9.2 + 9.4. Let s = -15 - -8. Let z = s - -4. Which is smaller: r or z?
z
Let k = 51/4 + -349/28. Let n = 10 + -10. Which is greater: k or n?
k
Suppose -6 = -3*w - 3*m, -3*m = -5*w - 0*m + 2. Is 1 > w?
False
Let r = -0.07 - -0.04. Let t = 435.8 + -436. Is r < t?
False
Suppose -3 = 11*t - 8*t. Are 8/21 and t non-equal?
True
Let h = -4 + 7. Suppose 0*y = 3*y - h*o - 12, -4*y + o + 4 = 0. Which is smaller: -1/10 or y?
-1/10
Let h be (-11 + 3 + 3)*3. Let k be 2 + (-5)/(h/6). Which is smaller: 0 or k?
0
Let a = -2119/5608 - -2/701. Suppose t = -4*t - 35. Let l be 2/(-2) - (t + 5). Which is smaller: l or a?
a
Let p = 2.3 + -2.28. Which is bigger: p or 2/5?
2/5
Let p be (1 + -1)*3/(-6). Suppose -6 = -3*i + 5*w, p*i - 4*i + 3*w + 8 = 0. Which is bigger: i or 2/3?
i
Let j = 1.2 - 0.2. Let l = -2.3 - -1.9. Is j <= l?
False
Let n = 6 + -9. Let u = -3.1 - n. Let f = 26 - 27. Which is smaller: u or f?
f
Let s = 40 - 34. Let z be (-2)/1 + (-7)/(-1). Are z and s unequal?
True
Let a be 5*(-3)/(-6)*-2. Is -3 bigger than a?
True
Let d = -3 + 3. Suppose 3*a = 5*p - 195 - 120, 25 = 5*a. Let m = 196/3 - p. Which is smaller: m or d?
m
Let j be (1 - 3) + (0 - -8). Let a be 10*(j/4 - 1). Suppose -n + 6 = -2*l + n, a = n. Is l at most as big as 1/4?
False
Let a = -2 - -8. Let p be -8 + a + 1 + 0. Which is greater: p or -2/19?
-2/19
Let g(h) = -3*h**2 - 1. Let a be g(1). Let b be ((-4)/3)/(a/(-18)). Which is bigger: b or -1?
-1
Let b be ((-10)/(15/3))/(2/5). Suppose -7*t - 10 = -2*t + 5*h, 0 = 5*h + 5. Is b less than or equal to t?
True
Let c(a) = 4*a**2 - a - 1. Let f be c(-1). Let d be 12/9*(2 + 1). Is f > d?
False
Let j be 1/(-4) + 63/(-4). Let w = 14 + j. Is w greater than or equal to 0?
False
Let h(c) = -5*c**2 - 3*c - 8. Let i(w) = -4*w**2 - 3*w - 7. Let g(d) = -5*h(d) + 6*i(d). Let y be g(3). Let u = 8 - 5. Which is smaller: y or u?
y
Let o = 41.94 + -42. Which is greater: o or -2?
o
Suppose 3*f - 5 + 24 = -2*n, -4*n + 4*f = -12. Which is smaller: n or -3?
-3
Let t be 2/8 - (3 + -4). Let v = 0.05 + 0.05. Which is smaller: v or t?
v
Suppose -a - 3*a = 4*f, -3*f = -3*a - 30. Is -3 <= a?
False
Let y be (((-64)/10)/2)/(5/25). Are y and -15 equal?
False
Let t = 0.39 - 0.4. Let c = t + 0.11. Do 1/2 and c have different values?
True
Let b(c) be the third derivative of -c**6/120 + c**5/15 - c**4/8 - c**3/3 + 6*c**2. Let l be b