1/(-10) - 1/o. Let j = -1/5 - x. Does -2/7 = j?
False
Let s = 8 + -8. Suppose -5*j + 9 = n - s*j, -5*j + 5 = 5*n. Let w = 7/12 + -41/84. Is w smaller than n?
False
Let w(u) be the first derivative of 1/2*u**2 - 3 + 5*u. Let s be w(-6). Is -1/10 at least as big as s?
True
Let y be ((-12)/48)/(2/(-136)). Is y >= 17?
True
Let u(j) = 2*j - 2. Let c be u(2). Is c <= 4?
True
Let i = -0.6 + 0.8. Let j = -3.6 + i. Let u = -3 - j. Is u greater than or equal to 0?
True
Suppose 0 = -3*k, -o - 4 = -4*k - 3. Which is smaller: -2/47 or o?
o
Let g be 7/(-4) - -2 - 153/(-60). Which is smaller: g or 2?
2
Let g = -0.7 - 0.1. Let a = g + 3.8. Let q = -2.9 + a. Is q equal to -3?
False
Let s be (-30)/350*5/2. Let c = -1/6 + 2/3. Let o = s + c. Is o less than 0?
False
Let c be (4 + -3)/((-3)/30). Is -10 less than c?
False
Let a(n) = n**3 + 6*n**2 - 8*n - 8. Let u be a(-7). Is u >= 2/37?
False
Let k = -10 + 11. Which is smaller: 2/9 or k?
2/9
Let v(q) = -q**3 + 3 + 6*q**2 + 1 - 7*q + 2. Let t be v(4). Suppose 0*k + t = -5*n + 2*k, -3*n - 25 = -5*k. Which is bigger: n or -1?
n
Let q = -83 + 582/7. Suppose 5*c - 4 = c. Let s = c + -2. Which is smaller: q or s?
s
Suppose -3*i = 2*i - 15. Let j be 4/40*(27 + 1). Let n = i - j. Which is smaller: n or 0?
0
Suppose -4*o = -0 - 8. Suppose -o*w + 1 = 5. Let n = w + 3. Is n >= 0?
True
Let r(c) = c**3 - 4*c**2 - 7*c + 10. Let k be r(5). Let j(a) = -a**2 - a. Let y be j(k). Which is smaller: y or -2/11?
-2/11
Let r = -0.23 - -0.13. Is r != 4?
True
Let f = 3 - 5. Let y = 1 + f. Which is greater: y or -3?
y
Let j = -0.04 - 0.26. Is 3 not equal to j?
True
Let q = -16 + -5. Let y be (-30)/(-7) + 6/q. Suppose r = y*t, 4*t = -t. Is r equal to -2/21?
False
Suppose 2*o + 0*o = 2. Is 2/5 less than o?
True
Let c(b) = b - 8. Suppose 5*a = 15, -a - 9 = -3*w - 2*a. Suppose -3*h + w*d = -8*h + 20, -2*d - 40 = -5*h. Let f be c(h). Is -2/3 less than or equal to f?
False
Suppose 3*s + 4813 - 1477 = 0. Let i be 6/(-10) - s/1720. Is -1 < i?
True
Suppose 0*v = v - 5. Suppose v*t = 4*t. Let k be ((-1)/(-3))/((-8)/(-12)). Which is smaller: t or k?
t
Let t be -5 + (-16)/(-4) + 0. Is 1 greater than or equal to t?
True
Let t be 0 + (0 + 0)/(-3). Suppose v + 0*v = t. Is v at least -1/6?
True
Let p be -3*(-6)/9 - 0. Suppose 0*l + 2*l + p*o = -8, 0 = -4*l + 3*o + 12. Suppose 3*u = -l*u. Which is bigger: u or -1/2?
u
Suppose -8 = -3*s - 2. Let r be (8/10)/(1/5). Suppose -14 = -r*y - b, -s*y + 3*b - 3 = -y. Which is smaller: 2 or y?
2
Let k = -5.5 - 1.5. Let h = k + 7.1. Is h at most 7?
True
Let x = -4 - -2. Is x greater than 4?
False
Let c(f) = 7*f + 3. Let g(l) = 6*l + 4. Let v(j) = 5*c(j) - 6*g(j). Let q be v(-10). Suppose p + q = -0*p. Which is smaller: p or 0?
p
Let j be (28/42)/((-2)/3). Do -2 and j have different values?
True
Suppose -y = 3*y. Suppose r - 4*r - k = -2, r + 6 = 3*k. Suppose f = -r*f. Is y less than or equal to f?
True
Let n = 70 - 351/5. Let d be -5*(3 - (-52)/(-20)). Let u be d/4 + (-3)/(-14). Which is greater: u or n?
n
Let y be (-33)/55 + (-4)/10. Is y not equal to 2/11?
True
Let f(a) = -a + 10. Let x(k) = 3*k + 7*k**2 + 0*k - k - 1. Let d be x(1). Let g be f(d). Which is smaller: g or 0?
0
Let j(k) = k - 9. Let q be j(7). Let s(b) = 2*b + 1. Let m be s(-1). Let r be ((-1)/3)/(m/(-2)). Which is smaller: q or r?
q
Let h(k) = 2*k + 3. Let u be h(-2). Let b = 10 + -9.7. Which is bigger: u or b?
b
Let p be 2/(-8)*80/104. Let i = -127/390 - p. Which is greater: i or 0?
0
Let g(t) = -t**3 + t**2 - t. Let d be g(2). Let w = d + 3. Let l be (-4)/3*(-3)/(-2). Do l and w have the same value?
False
Let s = 494/737 + 16/67. Is s at least as big as 0?
True
Suppose 0 = 5*l + 4*a - 4, 0 = 4*l - 7*l + 5*a - 5. Let y be 13/(-24) - (-2)/3. Which is bigger: y or l?
y
Suppose -26 = -2*z + 24. Are 25 and z nonequal?
False
Let k be (-96)/(-351) - (-2)/(-9). Which is smaller: 1 or k?
k
Let o = 0.7 - 0.88. Is o at most as big as 0?
True
Let q = -40 + 39.8. Is q < -2?
False
Let t = -877/7 + 125. Which is greater: t or -2/5?
t
Let w(x) = x**2 + 6*x - 4. Let b be w(-6). Let v be -9*(b + 1)/(-9). Suppose 2*p = 4*p + 4. Which is smaller: p or v?
v
Let u be (-69)/105 - (-4)/5. Which is bigger: u or 2/7?
2/7
Let b = -1027/9 - -114. Suppose 0 = 5*h - 4*g - 40, 5*g - 2*g = -2*h - 7. Suppose 3*s - h*s - 1 = 2*x, 3*x = 4*s + 4. Which is smaller: b or x?
b
Let n = 3 - 4. Let r be 1 + 2 + n + -1. Are r and 0 equal?
False
Let b(g) = -5 + g - 1 - 3 + 3. Let o be b(6). Is o < 0?
False
Let h = -3 + 5. Which is bigger: h or 1/2?
h
Let b = -0.35 + 0.45. Let x = 3 + -5. Let y = x - -3. Is y less than b?
False
Let p be ((-6)/(-18))/((-1)/(-3)). Is -3/23 equal to p?
False
Let m be 4/(-6) + (-7)/(-21). Let l(n) = n**3 - 6*n**2 - 6*n - 6. Let f be l(7). Is f <= m?
False
Let f(o) = -o**2 - 11*o - 10. Let h be (-98)/10 - 7/35. Let w be f(h). Let l(j) = 3*j - 1. Let a be l(1). Which is smaller: a or w?
w
Let d(m) = -2*m + 3. Let i be d(5). Let c = 3 + i. Let t = c - -2. Is -3 at least t?
False
Let j = 10 + -5. Suppose 3*d = -j + 20. Suppose 0 = -5*v - c - 1, -3*v - 28 + d = -5*c. Is v greater than or equal to -2/7?
False
Suppose 7*g + 5 = 6*g. Let t = g + 2. Which is smaller: t or -1?
t
Let l = -44 + 44. Which is smaller: 2/175 or l?
l
Let c = -2/1171 - -16452/33959. Let w = -5782821/203 - -28487. Let u = c - w. Which is smaller: 2/9 or u?
2/9
Let n be (-86)/154 + 20/70. Which is bigger: n or 1?
1
Let b be 9/15 + 86/(-10). Let k(o) = -o**2 - 3*o - 3. Let y be k(-4). Is b smaller than y?
True
Suppose -g = -3*o - 20, 4*g + g + o - 68 = 0. Suppose -3*r = g + 1. Let v(q) = -q. Let p be v(2). Which is smaller: p or r?
r
Suppose -1 - 29 = -3*p - 4*n, -9 = 3*n. Is 0 at least p?
False
Let m(w) = w - 16. Let t(v) = v**3 + 6*v**2 - v + 3. Let k be t(-6). Let l be m(k). Are -6 and l unequal?
True
Let l(r) = r**2 - 4*r + 8. Let p be l(6). Is 19 at most as big as p?
True
Let d be (2 + 0)*(-1)/2. Let m be (-48)/4*6/(-8). Suppose -m*a = -6*a. Do d and a have the same value?
False
Let t be (-28)/(-51) + 2/(-3). Suppose 5*s = 15, -2*m - 3*s + 9 = -7*m. Which is smaller: t or m?
t
Suppose 2*k + 4*h = -18, 4*h - 1 + 13 = 4*k. Let b be -4 - (-1 + k - 0). Let d be ((b + 1)/(-3))/(-1). Which is smaller: d or 0?
d
Suppose 26 = 5*y - 2*m, y + m - 17 = -4*y. Is 8 less than or equal to y?
False
Let r be 1/(4/(-2 - 2)). Is r greater than 4/9?
False
Let y(k) = -10*k**2 - 7*k + 16. Let d(n) = 3*n**2 + 2*n - 5. Let a(m) = -7*d(m) - 2*y(m). Let g be a(3). Let i = -6 - g. Is i smaller than -2/9?
False
Let j = 48 - 47. Is 0.44 at least j?
False
Let m(j) = 10*j - 2. Let u be m(2). Let s = -9 + 19. Suppose 4*h = -c + 4*c + s, u = -c + 5*h. Is c greater than or equal to 1?
True
Let k = -5 + 4.9. Let g = -51 - -31. Let d = g - -16. Which is greater: k or d?
k
Let k = -12 + 5. Do k and -5 have different values?
True
Let d(l) = -l**2 - 4*l - 1. Let u be d(-4). Let i = -497 + 9447/19. Let q = i - 31/57. Is u at least as big as q?
False
Let p = 207 - 1861/9. Let r(s) be the first derivative of -s**2/2 + 2*s + 2. Let m be r(2). Which is greater: p or m?
p
Let f = 0.09 + 8.11. Is f at most 2/3?
False
Let l = 3 + -5. Is -6 equal to l?
False
Let x = 0.2 + -0.42. Let n = 0.2 + x. Let s = n - -0.12. Does -2 = s?
False
Let a(p) = 2*p - 16. Let y be a(12). Is 7 at most as big as y?
True
Let z = -37 - -112/3. Which is greater: -0.4 or z?
z
Suppose -3*p - 2*z + 0*z + 65 = 0, -4*z + 67 = 3*p. Let x be 28/p - (1 - 0). Which is bigger: x or 0?
x
Let g(y) = 4*y - 19. Let k be g(5). Which is smaller: -2/165 or k?
-2/165
Let i be -1*(-4 + 0 + 2). Which is greater: 5 or i?
5
Let g = 13 + -13. Is g greater than or equal to 2/17?
False
Suppose 0 = -5*y + 8*y + 15. Which is greater: y or -10?
y
Suppose -v - 4 + 5 = -3*g, -4*v + 4 = -2*g. Is -2 < v?
True
Let h(z) = z**3 + 3*z**2 + z - 2. Suppose 2*o = -3*o - 10. Let p be h(o). Is p at most as big as -1?
False
Let d = -12.03 + 12. Which is bigger: 1 or d?
1
Let o = -4 - -11. Suppose o*d = 4*d + 3. Let s be 13/(-20) - (-8)/20. Does s = d?
False
Let k(p) = -p**2 - 5*p - 3. Let g be k(-2). Suppose -x - g*f = -23, 4*f = f + 9. Let j be (-4)/x - (-24)/42. Which is smaller: j or 2/5?
j
Let l be 6/(-12)*1*2. Do 3/73 and l have different values?
True
Let x = 0 + -0.04. Let t = 0.06 - x. Is -1 >= 