+ 1 + 0. Is v smaller than -0.1?
False
Let s = -17 + 9. Is -7 greater than s?
True
Let s be (-20)/(-4*(-3)/(-6)). Let h be (-15)/25 + (-2)/s. Do 0 and h have the same value?
False
Let y = 3 + 7. Let h = y - 9. Which is smaller: -1/5 or h?
-1/5
Suppose -5*d + v + 90 = -0*v, 2*v = 0. Suppose b = 2*k - 3, 4*b + 51 = k + d. Suppose 4*s + 3*h + 51 = 0, 3*s + 11 = -s + 5*h. Is s greater than or equal to b?
True
Suppose 13*d - 14*d + 1 = 0. Is 0 at least as big as d?
False
Suppose -t - 2*t - 7 = -4*y, 5*t + 5*y - 35 = 0. Which is smaller: 2 or t?
2
Let u = 858764/279 + -3078. Which is smaller: 1 or u?
u
Let y(p) = 2*p + 9. Let m be (-2)/5 + 56/(-10). Let h be y(m). Which is smaller: -4 or h?
-4
Suppose -8*g - 3 = -5*g. Let p be (-4)/(0 + -2) - g. Let y = 0 + p. Which is smaller: y or 5/2?
5/2
Let t = -2.9 + 1.9. Let f = t + 0.8. Are f and -0.7 non-equal?
True
Let c(z) = -z**2 - 5*z. Let b be c(-5). Is b at most as big as -1?
False
Suppose 2*v + 5*q + 24 = 0, 4*q - 2*q = -8. Which is smaller: -1 or v?
v
Let d = -6 - -19. Let q = d - 12.3. Let a = q - 0.1. Is -1 less than a?
True
Let y = 4 + -3.95. Let b = y + 0.95. Is b at least 2/11?
True
Let i be (-3)/1 + 104/32. Do i and 1/15 have the same value?
False
Let m = 89 - 90. Does 3/16 = m?
False
Let f = -109 + 95. Which is bigger: f or -1?
-1
Suppose 4*u = -5*v, 2*u = -u - 15. Suppose -v - 6 = -2*y. Suppose 3*n = -2*n - y. Which is smaller: n or -3/2?
-3/2
Suppose -3*z + 20 = -16. Let c be (5/10)/((-2)/z). Let l = 13 + c. Does l = 10?
True
Let p(j) = -3*j + 18. Let d be p(8). Let u = d - -12. Is u equal to -1?
False
Suppose 5*m + 3*l = 6*l + 18, 0 = -3*l - 3. Suppose -5*s - 5*b - 5 = 0, 0 = s - m*s + 2*b + 2. Suppose 0 = z - 12 + 13. Is z > s?
False
Let r(g) = -g - 1. Let l be r(2). Let v = l - -1. Let h = -0.5 - -0.3. Which is smaller: v or h?
v
Let p = 3 - 1. Let q = -2 + p. Let z be (10/14)/5*-2. Are z and q unequal?
True
Suppose -3*i = -0*i - 18. Suppose 2*m = 16 - i. Which is greater: 6 or m?
6
Let v = -37 + 39. Which is smaller: 5/9 or v?
5/9
Suppose -q - q = -5*n, -5*q - 31 = 3*n. Is n greater than -2?
False
Let r be (-2)/7 + 12/(-105). Let m = 50.9 - 51. Which is smaller: r or m?
r
Let n be (0 - (-1)/(-3))*(-540)/12. Are n and 16 non-equal?
True
Let v = 9 + -1.5. Let w = v + 1.5. Which is smaller: w or -1?
-1
Suppose -6 = 2*n - 2. Let i(m) = m**3 + 3*m**2 + 4*m + 3. Let o be i(n). Is -1 less than or equal to o?
True
Let l be ((-7)/2)/(8/(-112)). Which is greater: 0 or l?
l
Let f = 0.84 + -1.04. Let u = 0 + 6. Let k = 4 - u. Which is smaller: k or f?
k
Let y = -0.11 - -0.18. Is 0 bigger than y?
False
Let s be (2/5)/(4/40). Suppose n + 5*z = -s, -3*n - 4 = 4*z + 8. Is n greater than or equal to -5?
True
Suppose 3*k = 5*k - p - 5, k + 5*p + 14 = 0. Let b = 379/3 - 125. Is k equal to b?
False
Let v be (-2 - -1*4) + -3. Suppose 2 = -c + 2*r - 0, 3*r = 3. Is c < v?
False
Let i(g) = 2*g + 1. Let c be i(-1). Let f = -19.04 + 19. Which is greater: c or f?
f
Suppose -3*m = -m. Let b be 5 + (-159)/33*1. Does m = b?
False
Let j be ((1 - 1)/(-1))/(-2). Suppose 4 = -j*t - 2*t. Is t >= -2?
True
Let b = 6699 + -442163/66. Let o = b + -2/33. Let i = 1 + -2. Is o at least as big as i?
True
Let o be 15/20 - (-19)/(-36). Let u be 1 + 3 + 6/(-2). Which is bigger: o or u?
u
Suppose -4*y = y - 5, 17 = 4*a + y. Let x = a - 6. Is -3 less than or equal to x?
True
Let u(p) = -p**2 + 6*p - 3. Let j be u(3). Let s be (-10)/j - (-4 + 3). Which is smaller: s or -0.1?
s
Let d be (2/(-2))/((-1)/1). Which is smaller: d or -1?
-1
Suppose 0*y + y = h + 2, 5*h + 4 = 4*y. Suppose -3*d + y = -0. Are -1 and d equal?
False
Let o = -6.05 + 0.35. Let v = o - -6. Which is greater: v or -1?
v
Let u be 465/(-150) + (4/(-1))/(-2). Which is bigger: u or -2?
u
Suppose -r - k - 7 = 0, -5 - 10 = 3*k. Is -6/11 at least as big as r?
True
Let r = 23 + -20. Suppose 2*o = 4*f + 2, -5*f + 3*o + 0 = r. Which is smaller: -1/11 or f?
-1/11
Let h = -4 - -3. Let z = 0.1 - 0.3. Let l = z + 0.3. Which is smaller: l or h?
h
Let g be -4*(-4)/(-10) + 2. Let q(z) = 2*z**2 + 23*z + 10. Let y be q(-11). Is g bigger than y?
True
Suppose -5*f + 14 + 3 = 3*s, -5*s + 11 = 4*f. Let m be (-3)/(((-30)/f)/(-5)). Let v(n) = n**2 - 5*n. Let g be v(5). Do m and g have different values?
True
Let c = 5 + -4.8. Let g = 0.2 - c. Is g equal to -2/5?
False
Let o = 4.8 + -0.8. Let n = 6 - o. Let g be (-2)/(-1) - 2 - 0. Is n not equal to g?
True
Suppose t = 4*t + 2*l - 47, -5*t + 85 = 2*l. Suppose -r = h - 0*h + 7, -4*r - t = -5*h. Is -5 bigger than r?
True
Suppose r = -3*y - 0*y - 16, -3*y - 10 = 4*r. Let z(n) = n**2 + 5*n - 6. Let m be z(-5). Does m = y?
True
Suppose 0 = -4*a + 2*i - 10 - 26, -4*a - 3*i - 26 = 0. Let y = a - -8. Are y and -1/3 equal?
False
Suppose -4 = -4*r - 0. Let i = 0.3 - 0.2. Is i at most as big as r?
True
Let s = -4 + 4. Suppose s*h = 5*h. Which is smaller: h or 2/17?
h
Let t = 11 - 0. Is t less than -1/3?
False
Suppose -90 = 21*o - 16*o. Is -15 != o?
True
Let s = -24 + 22. Which is smaller: 2/5 or s?
s
Suppose -2*a + 3 = -5*a. Is a at least as big as -2/11?
False
Suppose -5*f + 0*f = 5. Let h be f/(-12)*2*-2. Which is smaller: 1 or h?
h
Let a be 2*(-2 - (-308)/48). Let k = a + -115/12. Suppose -x = -2*z + 4, -2*z = 4*x - 3 - 1. Which is smaller: x or k?
k
Let t = 0 + 6. Let r = t + -4. Let u = 3 - r. Are -1/3 and u nonequal?
True
Let b = 21 - 20. Is 2/11 at most as big as b?
True
Let x(i) = -i - 8. Let n be x(-8). Let c be (-1)/(5/2 + -2). Let l be ((-4)/10)/(c/10). Which is smaller: n or l?
n
Let q(x) = -2*x + 10. Let y be q(6). Is y smaller than -1/4?
True
Let t be (116/(-3))/((-80)/(-15) - 6). Is 58 less than or equal to t?
True
Let h = -1/24 - -5/12. Let a(n) = -n**2 - 3*n + 9. Let t be a(-5). Which is smaller: t or h?
t
Let o be ((-92)/(-69))/(2/(-33)). Is o less than -20?
True
Let l = 2.5 - 0.5. Is l > 0?
True
Let z(b) = -b**2 - 7*b + 8. Let m be z(-8). Is m at least as big as -2/7?
True
Let b = -20.9 - -21. Let m = -35 - -34. Which is smaller: m or b?
m
Let k be 3 - 70/22 - 0/(-3). Is k at least -1?
True
Suppose 2*p + 8 = -2*s, 0*p + 12 = -5*s - p. Let b be 1*(s/(-1) + -2). Suppose -5*k - 25 = 5*u, 3*k + 0*u + u + 5 = b. Is k at most as big as -2/11?
False
Let m be (-2 - -1) + (-19)/(95/(-90)). Which is smaller: m or 4?
4
Let o(n) = 8 - n + 1 + 0. Let u be o(8). Which is bigger: u or 5/3?
5/3
Suppose 2*u - 12 + 8 = 0. Suppose -u*y - 2 = -y. Is y less than or equal to -6/11?
True
Let b be (-4)/6 + 22/60. Let w be (0/2)/((-26)/26). Which is greater: b or w?
w
Suppose 6*u - 12 = 7*u. Is u at least as big as -5?
False
Suppose -2*j + 0*a - 5*a = 10, 4*j + 2*a = -4. Is j less than or equal to 14/11?
True
Suppose 5*j + 0*i - 452 = -i, -5*j + 444 = -3*i. Let a be j/168 - 2/8. Is a <= 1?
True
Let y be (-56)/7*1/(-2). Let d be ((-12)/(-45))/(y/6). Is -1 > d?
False
Let z be 11/((-2 + 3)/(-2)). Let s = -11 - z. Which is greater: 12 or s?
12
Let a = 177 + -2307/13. Let d = 2 + -2. Which is smaller: a or d?
a
Let s = -3.6 + 3. Let i = s - -1.6. Let w = 1.3 - 0.3. Are i and w equal?
True
Let b be ((-2)/4)/((-3)/(-4)). Suppose -5*h - 25 = 10. Let o = 7 + h. Is b at least as big as o?
False
Let b be (-2)/(-6)*(2 - 3). Which is bigger: b or -1?
b
Let m(u) be the second derivative of 0 - 1/12*u**4 - 5/6*u**3 + 4*u**2 + 3*u. Let g be m(-6). Which is greater: 0 or g?
g
Suppose 2*u + 6 = 10. Which is greater: 10/17 or u?
u
Let d be 13/(-8) - (6 + 4)/(-5). Is 0 smaller than d?
True
Suppose 3*k + 2*n - 3 = 0, 0*n = -k + 5*n + 18. Do k and 10/3 have the same value?
False
Let g be ((-6)/8)/(5/(-20)). Suppose r - 47 + 18 = 5*d, 0 = r + g*d + 11. Do 5 and r have different values?
True
Let d(n) = -n**3 - 11*n**2 - n - 6. Let x be d(-11). Suppose -2*c - 12 = -x*i, -c - 4*i + 4 + 3 = 0. Which is smaller: 1/16 or c?
c
Suppose 3*t - 24*t - 651 = 0. Which is greater: t or -29?
-29
Suppose -4 + 0 = 2*o. Let g be (-18)/(-6)*(1 + o). Suppose w + 17 = -3*k, w = 6*w + 2*k + 20. Is w greater than g?
True
Let t(n) = n - 17. Let q = 21 - 5. Let z be t(q). Let g be (-2)/(-12)*(-6)/16. Which is smaller: z or g?
z
Let i be ((-2)/(-4))/1*4. Let d be i/(-2 + 3) + -1. Which is greater: d or 1/6?
d
Let t be (-4 - (-22)/6)*-57. Is -1 at most as big as t?
True
Let k be 0 - ((0 - -3) + -5). Let c 