8)/(-21). Which is bigger: n or 5?
n
Let d be (-4 + -2)*3/(-6). Suppose 1 = -g, 2*g - d*g + 3 = -4*a. Let t = 0 - a. Is t bigger than -2/5?
True
Let i = -2/85 - -36/85. Which is bigger: i or 1?
1
Suppose 6*q - 20 = q. Suppose 3*o - q*o = -2. Suppose o*h - 3*h = 0. Are 0 and h equal?
True
Suppose 0*p - 2 = 3*b - 2*p, -b + p = 0. Let q(h) = 2*h. Let t be q(b). Is t greater than -4?
False
Let p = 42 + -40. Does p = 4?
False
Let d be (1/4)/(13/(-52)). Is -2/27 bigger than d?
True
Suppose -4 + 2 = -2*x. Let r = x + -5. Let s = r - -1. Which is greater: s or -2?
-2
Let j(r) = r**3 - 10*r**2 - 12*r + 13. Let n be j(11). Which is bigger: 4 or n?
4
Suppose 2*n - 36 = 30. Suppose 3*t - 5 = 5*l, 0*l = 4*l + 5*t - n. Let q be ((-1 - l)/(-3))/(-4). Is q at least -1?
True
Let g be 2/3 + 40/12. Let s be 2*-10*(-1)/g. Is 4 at most as big as s?
True
Suppose -15 = -f - 3*m + 9, -m - 82 = -3*f. Is f equal to 27?
True
Let l = -4 - 6. Let p = l - -6. Let z = -2/241 - -492/1205. Is p <= z?
True
Suppose 3*g - 3*c = 381, -c = 4 - 0. Let h = -1477/12 + g. Is h less than 2/5?
True
Let u = -1/176 - 31/176. Let k = 2 + -3. Let f be (0/k)/(5 - 4). Which is greater: f or u?
f
Let r = -1250 - -8766/7. Are 2 and r equal?
False
Suppose -24 = -2*b - 2*b. Let q be (-14)/4*(-8 + b). Let m = q + -7. Does m = -2/23?
False
Let y = -7 - -10. Suppose 3*a - 7*a = -8. Suppose 9 = 5*n - a*n. Are y and n nonequal?
False
Let m = -941/42 + 40139/798. Let y = 28 - m. Suppose -2*r + 12 = -0*r - 3*w, -4*w = -2*r + 16. Which is smaller: y or r?
r
Suppose 9 = -d + r, -3*r + 5*r = -2*d - 30. Let f be (-3)/d + 2/(-8). Is f at most as big as 5/7?
True
Let s = 5 + -5. Suppose s = -5*o - 6 + 1. Are o and -2 equal?
False
Let z(p) = p**3 + 6*p**2 + 2. Let c be z(-6). Let d be 0*2/8*c. Let f be -1*(0 + d + -1). Is -3 less than f?
True
Let a = -69/2 + 339/10. Which is smaller: 0 or a?
a
Let v be 52/(-6) + 2/3. Let s be (-2)/v + (-21)/(-12). Suppose -4*g - 15 = -s*n - g, 0 = 3*n - 2*g - 10. Which is greater: 2/7 or n?
2/7
Let h be 1 + 1359/69 + 2. Let i = 68/3 - h. Let u = -52/207 - i. Is -1 less than or equal to u?
True
Let s be (0 - 474117/(-39)) + 0. Let k = 12167 - s. Let j = 950/91 - k. Is j >= 1?
False
Suppose 0*c = -4*c + 4*v + 36, 37 = 5*c + 3*v. Which is bigger: 7 or c?
c
Let t be (-2)/6 + 2/6. Suppose 0 = -l - 3*l - 3*u + 17, 4*l + 4*u - 20 = 0. Which is smaller: l or t?
t
Let n = 415/6 + -70. Let x = -1/2 - n. Are x and -0.5 unequal?
True
Let y be 9/12 + (-3306)/7000. Let d = 1/125 + y. Suppose 0 = 3*b + b. Is b > d?
False
Let m = -1 + 0.8. Let y = 0.2 + m. Let d = -1 - y. Which is smaller: d or 2?
d
Suppose -4*m - 6 = 6. Let a be 6/4*2/m. Let h = -23 - -24. Which is bigger: a or h?
h
Let v be (-79 - 2)/(-3 - -2). Let z = v + -647/8. Which is smaller: z or 1?
z
Let b(c) = c - 7. Let g be b(11). Let q be 2/(-8) - (-45)/g. Which is smaller: 0 or q?
0
Let z(n) = n**3 + 4*n**2 - 3*n + 3. Let p be z(-5). Suppose -3*u - 24 = 3*j, u - 2*u + 3*j = 0. Is u smaller than p?
False
Let a = 0.6 - 1. Is 2 at most as big as a?
False
Suppose 0 = -5*b + 99 + 11. Which is bigger: 21 or b?
b
Let t = -1.15 + 0.15. Let a = -2 - 0. Is t smaller than a?
False
Let c = 7 + -7.08. Let p = c + 0.18. Let x = -7 - -27/4. Is p greater than x?
True
Let d(i) = -7*i - 2. Let v be d(-2). Which is smaller: 13 or v?
v
Let q be (-6)/(((-30)/(-4))/5). Let b = q - -5. Is -1/10 > b?
False
Suppose -4*f + 3 - 23 = 0. Are 0 and f non-equal?
True
Let l(j) = j**3 - 13*j**2 + 13*j - 15. Let s be l(12). Let x be s/6*2*13. Is -14 >= x?
False
Let h(n) = -n**3 + 5*n**2 + 9*n - 13. Let q be h(6). Is q > 3?
True
Suppose -4*a + 10 = -2*i, 11*a - 10*a = -4. Let c = -38 + 25. Are c and i equal?
True
Let c = -17 - -21. Let w(q) = q**2 - 5*q. Let b be w(c). Which is smaller: 4 or b?
b
Let h be (0 + -2)/(2/(-1)). Let p be ((-24)/(-14))/((-1)/(-7)). Suppose p = s + 2*s - 4*l, -3*s = -2*l - 6. Is s > h?
False
Let j(p) = -p**2 + 15*p - 16. Let l be j(14). Let g(q) = q**2 - q - 2. Let z be g(l). Which is smaller: 3 or z?
3
Let a = 3 - 0. Let x = -4 - -6. Which is smaller: x or a?
x
Let t = 15 + -17. Is -6 at most t?
True
Let w(q) = q**2 - q - 2. Let v be w(2). Suppose v = -4*i + 3*d - 3, 5 = -6*i + i + 5*d. Let m be 5/4 + (-2)/8. Is m equal to i?
False
Let c = 37.4 + -42. Let k = c + -0.4. Let o = k - -6. Which is smaller: -2 or o?
-2
Suppose w + 24 = 5*w. Let z be (1 - 1) + -2 - w. Let s(n) = n + 7. Let f be s(z). Which is smaller: f or -4/5?
f
Let s be 2/(-4)*0/1. Let z = -4 - -7. Suppose y = -j + 2 - z, s = -j - 2*y. Do j and -2/3 have the same value?
False
Let p(d) = -2*d - 1. Let l be p(-2). Suppose 0 = -m + l*z - 1, -2*z - 25 = m + 3*z. Let r = 9 + m. Is r greater than or equal to -6/5?
True
Let q(s) = -s**2 - 2*s + 1. Let j be q(1). Let v be 13/(-5) + (j - -1). Which is greater: -5 or v?
v
Let b(m) = m**2 + 12*m - 13. Let o be b(-13). Does o = 2?
False
Let d = -74/3 - -24. Suppose -2*m + 15 = 1. Let s(q) = q**2 - 6*q - 7. Let y be s(m). Is d at least y?
False
Let d(t) = 4*t - 21. Let v be d(10). Which is smaller: 1 or v?
1
Let w(p) = -3*p + 5. Let b be w(2). Which is smaller: b or 2/23?
b
Let c be 1 - (2 + 0 + -1). Let g = 29550547/21 - 1406706. Let d = g + -463. Is c less than d?
False
Let s be (-12)/9*(-3)/34. Let b be (3/2)/((-6)/8). Let l be ((-2 + 2)/b)/(-2). Which is bigger: s or l?
s
Suppose 0 = 5*u + v - 6*v + 50, -2 = u + v. Is -6 bigger than u?
False
Let v = 0.5 - 0.49. Let x = v + 1.99. Let h = 1 - 1. Is x bigger than h?
True
Let t(f) = f**2 - 4*f - 2. Let p be t(5). Which is greater: 11/3 or p?
11/3
Let w be -6*(-4 + 1 + 2). Do 5 and w have the same value?
False
Let h = 28 - 59/2. Suppose 0 = 8*t - 4*t + 4. Which is bigger: t or h?
t
Let h be -1*((0 - -2) + 0). Which is bigger: -3 or h?
h
Let g = 87 - 85. Let v = -4 + 6. Is v <= g?
True
Suppose 0*i + i + 2 = 0. Let j = 0 - i. Suppose j*w - 4 = -2*w. Is -1/6 less than w?
True
Let k = 2 - 4. Let v = 0.9 + -0.9. Let w = k - v. Do w and -2/3 have the same value?
False
Let u = -105 - -25. Is u smaller than -80?
False
Suppose -2*u + 4 = -3*r, 3*u - 6 = r - 3*r. Let s = r - -1. Let h = -18 - -55/3. Is s > h?
True
Let w = 25 - 31. Let n = -0.05 + 2.05. Is w at most as big as n?
True
Let r = -8 - -3. Let f be r*(-2 - 5/(-2)). Which is smaller: f or -2?
f
Let v = -552/35 - -81/5. Which is bigger: 0 or v?
v
Let m = 1.9 - 4. Let y = -2.3 - m. Which is greater: 1/2 or y?
1/2
Let b = 3/11 - 29/66. Is -1 greater than b?
False
Let c = 70 - 47. Let u = -114/5 + c. Which is smaller: u or 1?
u
Let t = -144 + 145. Let a = 0.2 - 0.9. Let c = 0.4 + a. Which is smaller: c or t?
c
Let l be (-7 + 3)/2 + 0. Suppose 10*x - 4*x = -6. Is l at most x?
True
Let p = 25 - 27.9. Let s = p - -3. Let h = 2.1 - s. Is -1 smaller than h?
True
Let c = 12 - 18. Let k = -2 - c. Let d = k + -4. Which is bigger: d or -2/5?
d
Suppose -c + 1 = 3, -3*g = -c + 166. Which is bigger: -57 or g?
g
Let t = 1 - 1.6. Let h = 0.6 + t. Is h > -1?
True
Let h = -11 + 16. Suppose 25 = 5*a + 5*v - 0*v, 0 = -2*a + 3*v. Suppose -2*z - a = -h. Are z and 1/6 non-equal?
True
Let k = 0.04 + -0.64. Let v = 0.11 + -0.81. Let c = v - k. Is c equal to 0.1?
False
Let m = -1 - 5. Let g = m + 5. Which is greater: g or -3?
g
Let w = -1640389 - -37715149/23. Let f = w - -600. Is -2/5 less than f?
True
Let z be ((-2)/4)/(1/4). Let d(p) = -p + 6. Let n be d(6). Which is smaller: z or n?
z
Let p = -4.43 + 4.2. Let n = p - -0.03. Which is greater: n or -2?
n
Let q = -0.67 + 0.37. Which is smaller: q or -1/12?
q
Let o = 86 + -86.37. Let p = -0.07 - o. Is 0.1 equal to p?
False
Let x = -9 - -8. Is x less than or equal to 1?
True
Suppose 2*b - 4*h - 14 = 7*b, 0 = 5*h + 5. Which is bigger: -11 or b?
b
Suppose 2 = 4*q - 2*q. Suppose 9*g - 2*g + 3080 = 0. Let i be 2/11 - (-36)/g. Do q and i have the same value?
False
Let k = -19 - -18.9. Let m = 0 - -1.8. Let b = m + -2. Does k = b?
False
Let x = 17 - 1. Suppose 8*u - 4*u + x = 0. Let y be 3/(-12)*(u - 0). Which is smaller: y or 3?
y
Let z(x) = -x**2 + 13*x. Let p be z(13). Which is smaller: -2/5 or p?
-2/5
Let w be 6/27 - 50/144. Let t be 2 + (4 - (0 - -2)). Suppose 5*u = 2*g - 10, 20 = -3*u - u + t*g. Is u <= w?
False
Let z(m) = -m + 10. Let l be z(9). Which is greater: -1/44 or l?
l
Let d = -0.15 - -0.75. Which is