 = 4*y + 5*k, -y - 4*y = -3*k - 91. Is y > 16?
True
Let k be (-1)/((-11)/(-12) + -1). Let g be (4/(-10))/(k/20). Which is smaller: g or 0.2?
g
Suppose 2*a + 2*a = -5*r - 15, 0 = -5*r - 2*a - 25. Let z be (-2)/r + (-32)/210. Which is greater: z or -2/7?
z
Let q = -0.18 + -0.12. Which is bigger: 1/5 or q?
1/5
Let r(w) = 6*w**2 + w + 2. Let k(a) = -5*a**2 - 2. Let u(c) = -5*k(c) - 4*r(c). Let x be u(3). Is x less than -3?
False
Let x(f) = -f + 2. Let g be x(-13). Is g bigger than 16?
False
Let j = -4727/133 + 251/7. Are -1 and j unequal?
True
Let f be 3/9*3*-1. Let z be f - 2 - (23 - -1). Let w be (-2)/10 + z/15. Which is greater: w or -1?
-1
Let k(t) = 2*t - 14. Let p be k(7). Let q = 0.5 - -2.5. Is p greater than q?
False
Let i = 4/5 - 11/20. Is -1 not equal to i?
True
Let z = -6 + 22. Let t = -16 + z. Which is greater: t or 0.3?
0.3
Suppose -t = -3*t - 42. Let o = t - -6. Do o and -15 have the same value?
True
Let d = -167 - -166. Let z = 0.4 + 2.6. Let y = 6 - z. Which is smaller: y or d?
d
Let o = -0.74 + 0.8. Let w = o + -0.08. Let k = w + -0.18. Which is smaller: k or 0.1?
k
Let l = 39 + -39.8. Does 0 = l?
False
Let q be 6/(-63)*36/(-24). Let y = -0.8 + 1. Which is smaller: q or y?
q
Let f = 3.03 + -3. Let a = -0.23 + f. Let v be 1/(-10) + 2/(-5). Which is smaller: v or a?
v
Let x be -6*(-5)/160 - 0. Is x less than or equal to -1?
False
Let u be 3*7/(42/8). Suppose -u*t - 12 = 5*p - 6*p, 5*t = p - 15. Let y be 2 - 1/(1/2). Is p less than or equal to y?
True
Let i = -57 + 56. Is i smaller than -7?
False
Let n = -3 + 3. Let a = 1/8 + 11/40. Which is smaller: a or n?
n
Let i = -2.4 + -0.6. Let c = 14 - 14.02. Which is bigger: i or c?
c
Suppose 3*c - 2*m = -4*m + 10, 5*c - 25 = -5*m. Which is greater: c or 2/223?
2/223
Let f(o) = -2*o + 16. Let p be f(-8). Is p less than 31?
False
Let k = -51 - -50. Let u(b) = 5*b**2 + 9*b + 2. Let p(v) = 14*v**2 + 26*v + 6. Let d(x) = 4*p(x) - 11*u(x). Let r be d(-5). Which is smaller: r or k?
k
Let k(n) = n. Let d be k(2). Let f = -15 + 17. Let z be ((-3)/5)/(-3 + f). Is z less than or equal to d?
True
Let d(w) = w - 6. Let g be d(6). Suppose 4*s + g = -4. Is s smaller than 2/9?
True
Let s = -4 + 3.9. Let b = -2 + 9. Let y = -7.3 + b. Which is greater: y or s?
s
Suppose 0 = 4*w + 4 + 4. Let p be (0 - -1)/((-1)/7). Let k = -8 - p. Which is greater: w or k?
k
Let z(k) = 5*k**2 + k + 1. Let w be z(-1). Let b = w - 6. Let s be 3 + -6 - 1*-2. Is b != s?
False
Let v be 5/7*(-2)/5. Which is smaller: -19 or v?
-19
Let f(j) = -j**3 + 11*j**2 - 10*j + 2. Let x be f(10). Let k be (-8)/4*14/(-12). Do k and x have different values?
True
Let h = -3 - -4. Let z(a) = 9*a - 15. Let w be z(7). Let l be (-8)/w - (-17)/30. Which is smaller: h or l?
l
Let f = -0.031 - -2.031. Are -0.13 and f equal?
False
Let c = -233/12 + 56/3. Let b(y) = -y**3 - 5*y**2 - 5*y - 5. Let n be b(-4). Which is smaller: n or c?
n
Let h = 3/59 + -431/354. Is h < 1?
True
Let q = 111 - 219. Let a = -974/9 - q. Let h(s) = s**2 + 3*s - 4. Let b be h(-4). Is b != a?
True
Suppose -6 = -3*s - 0. Suppose -u + 3 = 9. Let j be (u/9)/(2/(-12)). Do j and s have the same value?
False
Let s = 11 + -17. Which is greater: -1 or s?
-1
Let m(l) = l**3 + 2*l**2 - 3*l - 3. Let s be m(-2). Let g be s/9 + 10/6. Let a be 1/1*(-2)/g. Is -2 less than or equal to a?
True
Let y be (-3 + 2)/(1/(-2)). Let x = -271748/55 - -4941. Let l = 37/55 + x. Are y and l equal?
False
Let u be (-9)/((-108)/8) + 8/(-9). Which is bigger: u or -1?
u
Let k be (-6)/(-3) - (-144)/(-69). Are k and -0.1 equal?
False
Let y = 151.99 - 152. Which is bigger: -0.3 or y?
y
Suppose 6*v - 30 = v. Let o(w) = -w**3 - w**2. Let q be o(0). Suppose -2*h + q*h - v = 0. Which is smaller: h or -4?
-4
Suppose 0 = -3*a - 4*s + 26, -5*s + 15 = -10. Let u = 5 - a. Suppose 12 - 3 = -u*n. Is -4 > n?
False
Let j = 535/3 + -181. Let o be (21/14)/((-1)/2) + 1. Is o > j?
True
Let p = 15 - 11. Which is smaller: -0.2 or p?
-0.2
Suppose 0 = -n + 6*n - 90. Suppose -2*c - n = -4*c. Is c >= 1?
True
Suppose 5 = 3*l + 17. Let p = -7 + 4. Is l not equal to p?
True
Suppose 3*g + 15 = 0, -3*a + 4*a - 2*g - 9 = 0. Let d = -61/15 + 22/5. Which is greater: d or a?
d
Let l = -9 - -11. Do l and -4 have different values?
True
Let y be 1 + 8 + (7 - 6). Let x = y + 2. Which is smaller: x or 13?
x
Suppose -5*p + 45 = -0*p. Which is smaller: 8 or p?
8
Let s = 9 + -5. Let u = s + -5. Which is smaller: u or 0.1?
u
Let z = 14 + -14. Let u be 1/(15/9 + -3). Is u <= z?
True
Let p = 4.02 - 4. Let y = p - 6.02. Let l = y - -5. Which is smaller: 0.1 or l?
l
Let y(h) = -h + 5. Let k be y(5). Let r be (k/(-1 - 1))/(-2). Which is smaller: r or 3/7?
r
Let m(c) = -c + 4. Suppose 3*l = 4*l - 4. Let f be m(l). Suppose 2*w + f*w - 2 = 0, -4*a = -4*w - 4. Are 1 and a unequal?
True
Let f = -27 - -19. Let g be f/(-12)*(-2 + -1). Let y(q) = 2*q + 3. Let l be y(-2). Is l at least as big as g?
True
Suppose -62 + 67 = 5*n. Suppose -2*h = 2*r - r + 5, -5*r - 16 = h. Let a be ((-2)/r)/(1/3). Which is smaller: a or n?
n
Suppose -2*i - 5*v + 210 = 0, 2*i = 3*v + 307 - 97. Which is smaller: 104 or i?
104
Suppose -4 = -5*j - 4*t, -2*t - 3 = 5. Suppose 20 - 5 = 5*u. Which is greater: j or u?
j
Let d(x) = -x**2 - 4*x. Let m be d(-4). Suppose -2*b - 3 + 1 = m. Let k be (-1)/(10/8 + b). Which is bigger: k or -5?
k
Let g = 7 + -4. Let h = g + -4. Let v = h + 0. Is 0.3 equal to v?
False
Let a be -25 - 8/(1 - 3). Is a bigger than -20?
False
Let w be (6/(-9))/((-4)/(-3)). Suppose -d = 2*c + 1, c - 2*c - 8 = -2*d. Is c smaller than w?
True
Let i = 0.3 + 0.7. Let b = -9 - -9. Let q = -0.3 - b. Which is bigger: i or q?
i
Let h(c) = -c**2 + 12*c - 6. Let i be h(10). Which is smaller: i or 15?
i
Let b be (-73)/26 + (2 - -1). Let t = -37/78 - b. Which is smaller: 0 or t?
t
Let p(q) = q + 13. Let t be p(-8). Is 5 smaller than t?
False
Let c be (-3)/15*10/4. Let w be (1/(-2))/(5/20). Is w <= c?
True
Suppose 0 = d + 2*z + 3, 5*d = z + 18. Suppose d*a - 9 = -4*f + 7, -3*a - f = -4. Which is greater: 2/5 or a?
2/5
Suppose -10 = -d - 4*d. Let b be d/(-1 + (-2 - -1)). Suppose -2*q = 2*q. Is q at most b?
False
Suppose o - 13*o - 84 = 0. Let m = -7 + 0. Is o at most as big as m?
True
Let x = 27 - 38. Let n = x + 10. Is n less than or equal to -0.07?
True
Suppose 4*p = -0*p - 8. Let b be (p/(-65))/(-1)*-5. Is b bigger than 0?
True
Let r = -1.2 + -2.6. Let l = r - -0.8. Let o be (-2)/4*(-2)/(-3). Which is smaller: o or l?
l
Let z(a) = -a**2 - 9*a - 8. Let y be z(-9). Let s = y + 12. Let h = s + -3. Is h >= 2/9?
True
Let a = -13 + 23. Suppose -4*r - 31 = -3*h, -2*h + 4*h + 5*r = -a. Suppose 4*s + h*u = 0, -3*u + u = -5*s + 33. Which is bigger: 1 or s?
s
Suppose 5*r - 4*r = 0. Let n(q) = -10 - 5 - 4*q + 4*q + 2*q. Let v be n(7). Do v and r have the same value?
False
Let a be 36/4 + (1 - 0). Which is smaller: 0 or a?
0
Let q = -0.3 + 0.4. Let j = 3 + -1. Is j equal to q?
False
Let u = 3 + -5. Let y = u - -1.9. Is 1/5 != y?
True
Let j = -0.2 - -0.3. Let h = 0 + j. Let t = 12 - 8. Which is smaller: t or h?
h
Let t be (2 - 0)/((-2)/9). Let i be (-6)/(-52)*(-12)/t. Does 0 = i?
False
Let r be -37 + ((-4)/6)/((-6)/(-9)). Is -38 at least r?
True
Let t = 3.7 + -1.2. Let j = -2 - -1.5. Let b = t + j. Is 2 >= b?
True
Suppose -5*k + 2*k + 18 = -2*z, -3*z + 2*k - 17 = 0. Let s be z/2*(-6)/(-9). Is s bigger than -1?
False
Let g = 2 - 2.1. Let c = -0.1 + g. Let s = -322.8 - -323. Which is smaller: s or c?
c
Let g(f) = -f**3 + 3*f**2 + 6*f - 8. Let b be g(4). Suppose 3*h - h + 6 = b, 14 = -l - 5*h. Is l < -1/5?
False
Suppose 15 = 5*z, 3*z + 56 = -r - 4*r. Is -15 bigger than r?
False
Let l = 4 - 14. Let g = 10 + l. Which is smaller: -9 or g?
-9
Suppose 0 = -3*c - 0*c. Suppose 5*r - 5 = 2*b - b, -4*r + 4 = 5*b. Suppose b = -4*o - o. Is c != o?
False
Let m be ((-2)/5)/(2/(-230)). Let r = 137/3 - m. Which is smaller: 3/2 or r?
r
Let p = 10 - 6. Suppose p*q - o - 2 = 0, -3 - 3 = 3*q + 3*o. Suppose x + 0*x - 3 = q. Is 2 less than x?
True
Let j be (2/10)/(1/1). Let l = 0.6 - 0.9. Let n = l + 1.3. Which is smaller: j or n?
j
Let n(i) = -i**2 - 8*i - 4. Let r be n(-6). Is r less than or equal to 2/9?
False
Let u = -21 + 22. Is -3/35 not equal to u?
True
Suppose -4*x = 5*j - 23, 3*j - 13 + 6 = x. Let k = 7 + 0. Let u = j -