1. Suppose -o*s = 2*s + 12. Which is smaller: -6 or s?
-6
Let u(k) = 5*k - 51. Let r be u(10). Let s = 2 + -2. Let g = s + -0.1. Which is greater: r or g?
g
Suppose 5*s + 6 = -3*p, -2*p + 3*s + 14 = -1. Suppose d - 9 = 4*d. Let l = p + d. Is 0 at least as big as l?
True
Suppose -3*x + 5*x = -148. Let f be x/(-8) + (-4)/16. Is 9 >= f?
True
Let c(m) = m**3 + m**2 + m. Let u be c(-1). Let h be 0 + (0 - -2) + -1. Let r be h + (2/(-5) - 1). Which is smaller: u or r?
u
Let k be 2*(1 + 0)*1. Suppose h - 10 = -k*o, -2*h + 4*o + 1 = 5. Is 6 not equal to h?
True
Let j(t) = -4*t - 9. Let a be j(-7). Suppose 4*h - 3 = -a. Do h and -4 have the same value?
True
Let t(f) = -f**2 - 2*f + 2. Let u be t(-2). Suppose 0 = 3*a - a - u. Let v be (-3)/6*2/a. Are -2 and v equal?
False
Let g be 210/2*(-2)/5. Let j be (12/(-14))/(9/g). Which is smaller: j or 5?
j
Suppose 3*a + 15 - 45 = 0. Suppose a + 6 = 4*o. Suppose -3*p + 1 = 2*q - 5, 12 = 2*p + o*q. Which is smaller: -1/8 or p?
-1/8
Let w(o) = -7*o. Let b(k) = -8*k. Let h(d) = -3*b(d) + 4*w(d). Let i be h(1). Let p(j) = -j - 18. Let f be p(-15). Which is bigger: f or i?
f
Let f = 0.1 + 3.9. Which is greater: f or 3?
f
Let f = 9.01 - 9. Let v = f + 0.29. Is v at most 2/11?
False
Let k = 92 - 90. Which is smaller: k or 14/15?
14/15
Let f be (-2 - 1) + (-14)/(-2). Suppose 5*m + 3 = 4*n, -f*n = m - 2*m + 9. Which is smaller: -2 or n?
n
Suppose 0 = -4*z + 2*z + 46. Let r = z + -10. Is r at least 12?
True
Let v = -313/510 + 39/34. Let q = 1/5 - v. Which is smaller: -10 or q?
-10
Let r be -1 - (-3 + 4)*3. Which is smaller: r or -5?
-5
Let z(n) = n**2 - 30*n + 2. Let p be z(30). Let f be 1 + -1 - (1 - 3). Suppose 2*i - 4 = -f*i. Which is smaller: p or i?
i
Suppose -2*d + 5*d = -3. Let l = -0.2 - -0.1. Let x = l + -0.9. Is x smaller than d?
False
Let h = 11 - 6. Let j(o) = 5*o**2 - o + 1. Let i be j(1). Let x = i - h. Which is greater: 2 or x?
2
Let b be ((-2)/(-1))/(-4)*8. Let w be -1*(b - (2 - 6)). Do 1/32 and w have different values?
True
Let j = -12 - -9. Let f be -15*((-8)/j)/4. Which is bigger: -9 or f?
-9
Let a be 152/45 + (-4)/(-18). Is a equal to 4?
False
Let n be (-225)/12 - 3/12. Which is smaller: -21 or n?
-21
Let o be (-4)/(4/((-4)/(-1))). Which is bigger: -6 or o?
o
Let z = -3450434 + 24269435/7. Let l = -16669 + z. Let b = l - -41. Are b and 1 non-equal?
True
Suppose 0 = -2*x - x - 3*n + 102, 2*n + 80 = 2*x. Let p = 77/2 - x. Suppose -4 = -4*j + 3*c, -2*c - 8 + 4 = -4*j. Which is bigger: p or j?
p
Let u = 5.14 - 5. Let l = u - -0.06. Is 2/9 > l?
True
Let s be (-1 - (-57)/9)*-3. Let c = s + 140/9. Are 0 and c non-equal?
True
Let l = -71 - -96. Which is bigger: l or 26?
26
Let p = -2.7 + 2. Let l = p + 0.5. Let s = l + 0.4. Which is smaller: s or -2/5?
-2/5
Suppose -4*x + 17 - 5 = -4*w, -2*x - 4*w = -12. Is 9 <= x?
False
Let o be (2 - 1)/((-3)/75). Let h be 73/o - 6/(-2). Which is bigger: h or 0?
h
Let y = -11 + -3. Let z = -8 - y. Which is bigger: 7 or z?
7
Let r be 6/(-39) + 50/(-13). Let v = -6 - r. Do v and -6/7 have the same value?
False
Let r = -17 + 24. Suppose 0 = -5*z + 5*f - 0*f + 130, 4*z + 3*f - 118 = 0. Suppose z = 3*u + u. Is u <= r?
True
Suppose -3*a + 26 = -a. Is 13 less than or equal to a?
True
Let q be 30/50 - 2*71/270. Which is smaller: q or 0?
0
Suppose 0*n = 4*n + 32. Let u be (8/32)/((-2)/n). Is 2/3 < u?
True
Let z be 8*4/8 + -2. Suppose 0*g + 22 = -z*i + 2*g, -5*i - g - 25 = 0. Which is smaller: -7 or i?
-7
Let g(p) = -p**2 - 8*p - 6. Let b be g(-7). Suppose r - 4*r - 8 = -t, 4 = 2*t - 3*r. Let x = 6 + t. Is x != b?
True
Let f be ((-3)/21)/((-3)/45). Which is greater: 3 or f?
3
Let c(z) be the first derivative of -z**4/4 + 7*z**3/3 + 4*z**2 - z - 1. Let d be c(8). Is d greater than or equal to -2/3?
False
Suppose 0 = -s + p - 3, 5*s + 8 + 3 = p. Let m be (-1)/s - 2/(-4). Which is bigger: -4/11 or m?
m
Suppose 5*d = j - 0 + 1, -5*j = -3*d - 17. Which is smaller: 24/11 or d?
d
Suppose 0*d + 18 = -2*d. Let v = 3 + d. Let z be v/3 + -2*1. Which is bigger: -3 or z?
-3
Let w = -1 - 0. Let g = 3 - 0. Let b be (2/(-12))/(g/6). Which is smaller: w or b?
w
Let s be (-3)/8*14/6. Let f = s - -13/24. Let a be 0/(-1)*(3 + -2). Which is smaller: f or a?
f
Let n(x) = 2*x**2 - 3*x - 3. Let s be n(-2). Let d be (32/15)/((-11)/55). Let v = d + s. Which is smaller: 0 or v?
0
Let c = 241/7 + -35. Do 0 and c have the same value?
False
Let h(x) = x**2 - 2*x - 1. Let o be h(0). Is o not equal to -20/17?
True
Let g(m) = m - 11. Let y be g(10). Which is greater: y or -2/121?
-2/121
Let y be 3/(27/2) - 21/216. Is -1 greater than y?
False
Let h(s) = -s. Let t be h(-4). Let d = -99 - -103. Is t not equal to d?
False
Suppose 4*u - 17 = -2*d + 3, 4*d = 4*u - 32. Let k = -6 + u. Which is smaller: k or 2/7?
k
Let u(d) = -d**3 + 3 - 3 - 4*d**2 + 2 + 0 + 6*d. Suppose 4 = 3*c + 19. Let m be u(c). Is m > -2?
False
Let z(a) = -a**2 - 9*a + 2. Let t be z(-10). Let k be (3 + 0)*t/60. Which is smaller: k or 0.1?
k
Let n = -24 + 128. Let y = n - 419/4. Suppose 0 = -3*f - f - 8. Is y greater than or equal to f?
True
Let i be 0*(-2 + 3)/(-2). Let s(l) = -l**2 - 6*l - 4. Let u be s(-5). Suppose 0*h = h - u. Which is smaller: h or i?
i
Let h = -10.15 - -0.15. Let q = h - -10.1. Let m = 1 - 0.9. Are q and m equal?
True
Let o(m) = -m**2 - 3*m - 2. Let j = -5 + 2. Let d be o(j). Suppose 9 = -4*x + 1. Is d less than or equal to x?
True
Suppose 20 + 16 = 4*l. Which is greater: l or 8?
l
Let q = -433/3876 - -7/76. Which is smaller: 0 or q?
q
Let x(t) be the second derivative of 1/20*t**5 + 1/2*t**2 - 1/6*t**3 + 0 - 1/12*t**4 + t. Let y be x(0). Is y not equal to 1/5?
True
Let j = -0.2 + 5.2. Let n = j - 6. Is n greater than 0.06?
False
Let c = -421/22 - -216/11. Suppose 5*z = -1 + 6. Does c = z?
False
Let l = 16 + -98. Let f = l - -38. Let p be ((-18)/f)/(6/8). Is p at least 2?
False
Let x(b) = -b**3 - 4*b**2 + 5*b - 1. Let h be x(-5). Which is smaller: h or 1/12?
h
Let i be (3 + -4)/1 + -1. Let y(z) be the third derivative of -z**5/60 - 5*z**4/24 - z**3 - z**2. Let x be y(-4). Is i at most as big as x?
True
Suppose -y + 1 + 4 = 0. Suppose -m + y*h = 2*m + 28, h - 5 = 0. Which is bigger: m or -0.2?
-0.2
Let q = 13 - -3. Which is smaller: 15 or q?
15
Let p = -11 - -7. Let c = 7 + p. Let x be c/(-5) + 4/10. Is -1 at most as big as x?
True
Let y be 0*((-6)/4)/3. Let h(j) = -4*j + 7. Let x be h(5). Let b = x + 27/2. Which is greater: y or b?
b
Suppose -i = -2 - 0. Let c(z) = -3 + 5 + 3*z - 3 - 2*z**i + 0*z. Let t be c(2). Which is smaller: t or -2?
t
Let b(g) = g**3 - 5*g**2 - 6*g - 5. Let y be b(6). Is y greater than or equal to -5?
True
Let r = -9.4 - 0.6. Is 1 at least r?
True
Suppose 5*r = 6 + 4. Let k be (-36)/(-126) + (-43)/28 + 1. Which is bigger: r or k?
r
Let y be (-2)/(-5) + 4/(-10). Let a be 2/(-10) + y/4. Let q = 5 + -5. Are a and q equal?
False
Suppose 3*z - z = z. Is z <= 17?
True
Let q be (4/(-5))/(24/60). Let g be (10/5)/(-4 - -1). Is q <= g?
True
Suppose -94 = -0*k + k. Let c = -472/5 - k. Let z(w) = w**2 - 7*w + 1. Let d be z(7). Is d <= c?
False
Suppose 0 = -2*g + 3*c + 15, -25 = -2*g + 4*c - 5. Let i be (-1)/(-4) - 39/12. Let w be i/5*4/12. Is w <= g?
True
Let x be (0 - 2)*264/1270. Let y = 6/613 + 464/77851. Let l = y + x. Do 2/7 and l have the same value?
False
Let p be (5 - 4) + (1 - -5). Let y(l) = l**3 - 6*l**2 - 7*l - 4. Let b be y(p). Which is smaller: -8/3 or b?
b
Suppose -6 = 5*v - 2*v, 0 = 5*m + 5*v - 20. Which is greater: m or 2?
m
Let d = -0.17 - -0.07. Let a(c) be the second derivative of -7*c**5/20 + c**3/6 + 2*c. Let s be a(1). Which is greater: d or s?
d
Suppose -3*p = -2*u - 2 + 15, 0 = u + 2*p + 4. Suppose 5*g = 3*v - 18, 4*g = -u*v + 4*v - 14. Is v less than or equal to 5?
True
Suppose 2*p = -2*u - 3 + 11, -5*p = 10. Let z = 11 - 5. Do u and z have the same value?
True
Let s = -1.3 + 0.6. Let c = s + 1. Let i = c - 0.1. Which is bigger: i or -1?
i
Let m(z) = 5*z - 25. Let y be m(5). Let n = 4 + -3. Let h = n + -2. Which is smaller: h or y?
h
Let n be (-3 + 5)*(-1)/(-7). Suppose 2*x = -2*x - 44. Let z(m) = m + 11. Let a be z(x). Are n and a nonequal?
True
Let m(o) = -o**2 + 8*o - 15. Let c be m(10). Are -36 and c equal?
False
Let k be (-1)/(-16)*(-4)/(-110)*5. Which is smaller: k or -1?
-1
Let s = -29