unequal?
True
Suppose -2*r - m - 8 = -5*m, 0 = 2*m - 10. Let a be (-20)/r*(-180)/550. Is a less than or equal to 2?
True
Let r be (-4)/(-16) - (21/(-4) - 3). Which is smaller: r or 10?
r
Suppose -1 = -5*f + 14. Which is greater: f or 7/3?
f
Let a be 2/(-3) - (-98)/21. Let y be -2 + -4*a/(-8). Which is greater: y or 6/7?
6/7
Let p(r) be the third derivative of r**6/120 - r**5/60 + r**4/12 - r**3/3 + 5*r**2. Let i be p(1). Which is greater: i or 6/19?
6/19
Let j be 3 - -2*(-3 + 0). Let v = j - -10. Which is smaller: 8 or v?
v
Suppose 0 = -4*h - 0*h + 24. Let u = h - 15. Is u at most -8?
True
Suppose 0 = -10*m + 8*m - 2. Do m and -3/2 have different values?
True
Let k = 167 + -1166/7. Is k less than or equal to -1?
False
Let u = -24 + 33. Which is smaller: 8 or u?
8
Suppose -4*u = -v - 26, -2*u - 5*v + 20 = 3*u. Suppose 7*f - 4*f = 2*b - 4, -3*b + u = 5*f. Let l be (-2)/(1/((-2)/4)). Which is bigger: b or l?
b
Suppose 0 = 3*h - 5*l - 68, -5*h = 2*l - 50 - 53. Suppose 5*t + 11 = 4*t. Let m be t/h + 2/3. Which is smaller: 0 or m?
0
Let g = 2 - 3. Let b(a) = -a**3 + 6*a**2 - 4*a - 4. Let u be b(5). Let z = u - 1. Is g less than z?
True
Let q = 3.22 + -0.22. Do 0.1 and q have the same value?
False
Let i(x) = -x + 4. Let b be i(0). Let w be b/8 - (-9619)/30. Let l = w + -321. Are l and 0 non-equal?
True
Suppose 0 = -2*d - k, -2*k = d + d - 4. Let b be d/(-9) - 2/(-9). Which is greater: b or -1?
b
Let f be -10 - (60/(-4))/5. Is -8 >= f?
False
Let i = -3 - -3. Let a = i - -1. Let s = a + -0.9. Which is bigger: s or 2?
2
Let s = 16 + -8. Let k be ((-4)/(-6))/((-8)/(-84)). Is k less than s?
True
Let v = -13/9 + 133/36. Suppose -5*r = -1 - 9. Is v at most as big as r?
False
Let a = -36 + 49. Are 14 and a non-equal?
True
Let t = -12 + 7. Let y = t - -6. Which is smaller: -2/21 or y?
-2/21
Let d = -221 - -222. Let k = -477 + 5251/11. Which is bigger: d or k?
d
Let f = -1 + 0. Let o(d) = d + 1. Let m be o(-3). Let z be ((-18)/(-5))/(-2) - m. Does f = z?
False
Suppose -3 = -5*a + 7. Let d be 6*(3 - 7/a). Which is greater: d or -4?
d
Suppose -3*h = -8*h. Suppose 5*z - z - 4 = 0. Is z bigger than h?
True
Let a(g) = -g**3 + 2*g**2 + 2*g - 6. Let p be a(-3). Which is bigger: 30 or p?
p
Let m = 6 + -2. Let a = m - 3. Let c = -2 - -3. Is c > a?
False
Let y be ((-12)/9)/(2/12). Is y greater than -7?
False
Let s(x) = x**3 + 3. Let b be s(0). Let g be 2*((-6)/(-2) - 1). Is g greater than b?
True
Let w(k) = 4*k**2 + 6*k + 10. Let t be w(-3). Is 28 at most as big as t?
True
Let v = 2 + -1.8. Which is smaller: -0.06 or v?
-0.06
Suppose 3*j + a - 20 = -3*a, -5*j - 2*a + 10 = 0. Suppose j = -4*q - 0*q. Which is smaller: 2/17 or q?
q
Let b = -1.4 - -1.8. Is 3 smaller than b?
False
Let l be (-32)/16*19/(-4). Let g = l + -9. Is g at least 0?
True
Let m(p) = 8*p**2 + 3*p. Let l be m(-2). Let a = -28 + l. Let j be 9/(-7) + (-4)/(-14). Do a and j have the same value?
False
Let s = 27/5 + -103/20. Let x = -12.0703 + 0.0703. Which is smaller: x or s?
x
Let r = -170/3 - -57. Which is smaller: 0.02 or r?
0.02
Let i(w) = w + 6. Let x be i(-8). Let s = x + 5. Suppose 0 = 2*q - m + 1, 5 = 2*q + s*m + 2*m. Which is smaller: -1/4 or q?
-1/4
Let g(i) = 3*i**2 + i - 1. Let x be g(1). Is 1/3 less than x?
True
Let j(i) = i**2 - 10*i - 9. Let b be j(11). Let s be (-4)/2*(-5)/b. Which is smaller: 4 or s?
4
Let g = -725 - -5605/7. Let l = g - 76. Let b = -4 + 4. Are b and l nonequal?
True
Let p be 1/((-3)/6)*-2. Suppose 3*u = p*u + 5. Do u and -5 have the same value?
True
Let p = -4 - -2. Let s = p + 4. Let m = 1 - s. Which is smaller: -1/2 or m?
m
Let p(v) = v + 1. Let n be p(-3). Is n < 0?
True
Let o(b) = -3*b - 78. Let h be o(-26). Let s(l) = -l**2 - 5*l + 1. Let q be s(-5). Do q and h have different values?
True
Let z = -1/11 - 13/99. Let b(g) = -g - 2. Let p be b(-2). Is z at most p?
True
Let k(u) = -u**3 - u**2 - u - 1. Let t be k(0). Let b be -6 + (-2 - t*2). Let i be (-56)/10 - b/10. Is i less than or equal to -5?
True
Let z = 196728/41 + -4798. Let g = 12/287 + z. Which is smaller: 3 or g?
g
Let j be -3*(2 + 7/(-3))*1. Let x = 2376/1673 - -2/239. Is j smaller than x?
True
Let v = -15 + 18. Suppose -v*o - 10 = 8. Is o smaller than -5?
True
Let n = -1 + -7. Let v be ((-6)/n)/(3/2). Are v and 0.11 unequal?
True
Let d(g) be the first derivative of -g**2/2 - 7*g + 8. Let j be d(4). Are -11 and j equal?
True
Suppose 5*l - 5*h + 8 = 2*l, 0 = l + h. Is -2/13 greater than l?
True
Let n = 5.9 - -0.1. Let m = n - 3. Is 1 != m?
True
Suppose 0 = -0*z + 5*z - 25. Suppose -5*v + 9 = 4, -3*v = z*j + 2. Suppose 5 - 1 = -4*n. Is j greater than or equal to n?
True
Let m(n) be the third derivative of -n**4/24 - n**3/2 + 2*n**2. Let q be m(-6). Suppose -q*l - 35 = -5*b + l, -4*b + 4*l + 32 = 0. Which is smaller: -1/4 or b?
-1/4
Let d = 1.07 - 1.57. Which is bigger: 7 or d?
7
Let l(f) = -f**3. Let w(n) = 5*n**3 - 5*n**2 + 3*n + 3. Let b(g) = 4*l(g) + w(g). Let d be b(4). Let y = 0 + 0. Which is smaller: y or d?
d
Suppose 2*u = 1 + 5. Let z be (-1*u)/((-3)/2). Let o be z/(2 + (-8)/2). Is -3 <= o?
True
Let j = -0.16 + 8.16. Let x = j - 8. Let d = -3.01 - -3. Is d <= x?
True
Suppose 0 = 2*y - 0 - 10. Which is smaller: 0.1 or y?
0.1
Suppose -v + 6 = -4. Suppose 5*x + 4*o = -22, -x + 3*o + v = -o. Let m = 5 + x. Is 3 >= m?
True
Suppose -2*c + 2*y = 2*c + 52, -3 = c - 3*y. Is -15 not equal to c?
False
Suppose -m + v + 1 = 3, 0 = -m - 3*v + 14. Let p be m/(-3)*33/(-22). Which is bigger: -1/9 or p?
p
Suppose -24 = 2*i + 2*i. Let l = 7 + i. Let f be (-2)/(-12)*(-2 - -3). Is l <= f?
False
Suppose -f + 6*f = -5. Let u be (-10 - f) + 3 + 0. Which is greater: 1 or u?
1
Let v = 169/16686 + 3/206. Is 1/2 greater than v?
True
Let s = -0.71 - -0.81. Is 8 != s?
True
Let j(u) = u**3 - 9*u**2 + 18*u - 6. Let a be j(7). Is a equal to 22?
True
Suppose -2*g + 7 = -5*z + g, 2*g = 8. Let u be (-24)/23 - (4 - 5). Does z = u?
False
Let o = 26 - 25. Which is greater: 5/6 or o?
o
Let b = -4/5 + 13/10. Which is smaller: 0 or b?
0
Let q = -581/6 + 97. Is q at least 1?
False
Let n be 2/(0 + 6 - 1). Let u = 15 + -25. Let t = 10 + u. Is n at most t?
False
Let l be 1/(-2) + 3/(-2). Let m(i) = -i - 9 + 1 + 2*i. Let q be m(5). Which is smaller: l or q?
q
Let g be ((-1)/(-1))/((-8)/(-40)). Let u = g - 2. Is 2 at most u?
True
Suppose 3*t - 2*a + 2 = -3*a, 2*t + 4*a - 2 = 0. Let z be (-146)/42 - (252/27)/(-7). Is z bigger than t?
False
Let x be (18/24)/(6/16). Let s = 5 + -8. Is s != x?
True
Let i = -3/155 + -47/775. Which is greater: i or 0?
0
Suppose 2*c - 3*j = -60, -5*c - 5*j = 101 + 99. Is -35 <= c?
False
Let m = 11 + -9. Is m bigger than 3/8?
True
Suppose -3*t = t. Which is smaller: -1/70 or t?
-1/70
Let r = 42 + -45. Is r > -13/7?
False
Suppose -7 = 3*j + 4*j. Do j and 2/75 have the same value?
False
Suppose b + 1 = 2*u - 1, u - 1 = 2*b. Let y = 36/5 + -7. Is u greater than or equal to y?
True
Suppose -4*j - 20 = -p, -5*p + j + 145 = -4*j. Is 31 less than p?
True
Let y be (-7 - -7) + (-1)/1. Is -10 greater than or equal to y?
False
Suppose -2*w = -3*z - 12 - 23, -2*w + 46 = -4*z. Which is bigger: z or -10?
-10
Let l = -12 - -19. Suppose -h + 14 = -4*v, -5*v - 7*h = -3*h + l. Which is greater: -5/3 or v?
-5/3
Let j be (2/2)/(-1) - 2. Let k(i) = -i**2 + 7*i + 3. Let z be k(7). Suppose a - 15 = z*d - a, -4*d - 5*a = -3. Is d smaller than j?
False
Let g be ((-9)/(-2))/(2/4). Do 9 and g have different values?
False
Let d be -3 + -4*(-3)/4. Which is greater: -1/3 or d?
d
Let q be 114/(-36) + (-2)/(-12). Let z be 30/(-7) - (-6)/21. Is q equal to z?
False
Suppose 0 = -3*w - 2*w + 50. Suppose -z + w = -3*n, 3 = z - n + 1. Let l be (4 + z - 0)/5. Is 0.2 greater than l?
False
Let k(n) = 4*n**3 + 2*n**2 + 2*n + 1. Let d be k(-1). Let a = d - -5. Suppose -3 = l, -t = -a*l - l - 12. Is t greater than 4?
False
Let o = -108921229/808535 + 2/115505. Suppose 5*i + 2*m = m - 679, 3*m = -3*i - 417. Let z = o - i. Which is greater: z or -2/5?
z
Let j be (12/(-180) + 1/(-3))*-60. Is j < 25?
True
Let s be (-3)/(1 - 322/4). Is 0 at least s?
False
Let w(b) = b**2 - 11*b - 13. Let g be w(12). Are g and -2 equal?
False
Let b = 0 - 0. Suppose 0*i - 2*q + 4 = -i, 11 = i + 3*q. Which is greater: i or b?
i
Let u be -14*(-12)/(-8)*-1. Suppose -u*v = -26*v - 50. Is v 