(-75)/27. Let c = n + 2. Which is greater: c or -1/5?
-1/5
Let p be ((-4)/(-5))/(2/10). Suppose r + 3 = p. Let d = 1 + 0. Is d greater than or equal to r?
True
Let s(p) be the third derivative of 0 - 7/6*p**3 - 2*p**2 - 1/24*p**4 + 0*p. Let b be s(-6). Is 0 equal to b?
False
Let g = -4 - -7. Suppose 5*r + 2 + g = 0. Let z = -241/5 + 48. Which is bigger: r or z?
z
Let r(x) = 4*x + 7. Let c be r(-5). Let l be 5/(5/2)*143/(-22). Are l and c non-equal?
False
Let m be 6/(-33) + (-27)/33. Which is smaller: 4/41 or m?
m
Let b be (-50)/(-78) - 9/27. Let y = -0.99 - 0.01. Does y = b?
False
Let h = -0.06 - 0.04. Let t = 3.2 + -3. Let b = h + t. Is b at least as big as 1?
False
Let b be (-11523)/(-420) + 4/(-14). Let n = b + -132/5. Suppose 0 = 5*v - 3 - 2. Is v less than or equal to n?
False
Let y be (-30)/135 - 4/(-18). Are 2/75 and y unequal?
True
Let u = -1 - -1.1. Let j = u - 0. Which is bigger: j or 1?
1
Let t = 1.1 + -2.1. Let p = -3 - -5. Let b = p + t. Which is greater: -1/2 or b?
b
Let j(t) = -t**2 - 4*t + 2. Let h be j(-6). Let i = -46 + 35. Which is smaller: h or i?
i
Let j(s) = -s**2 + 3*s + 6. Suppose -5*f = -3*f - 10. Let g be j(f). Let x = g - -3. Which is smaller: -2/13 or x?
x
Let d be (-32)/(-16) - (0 + -1)/1. Which is greater: -1 or d?
d
Suppose -5*a = -2*a - 12. Suppose a*r + 29 - 93 = 0. Let z be (-3)/(-5) + r/(-10). Which is bigger: 1/3 or z?
1/3
Let f be (-8)/(-28) + 363/(-21). Are f and -15 nonequal?
True
Suppose 3*q = -3*i + 9, -2*i + 5*q - 7 - 1 = 0. Suppose 0 = 2*c + 2*c - 16. Let x = c + -29/7. Are x and i non-equal?
True
Let k be 1 + 4 + 0/(-1). Which is smaller: k or 3?
3
Let l = 26 + -35. Which is smaller: -1 or l?
l
Suppose 12*k - 50 + 14 = 0. Let w = -7 - -10. Is k not equal to w?
False
Let w = 0.986 + 0.014. Are 3.2 and w nonequal?
True
Let k = 7 - 3. Suppose 0*a + k*z = a + 31, a + 4*z - 1 = 0. Let h be 5/a - 1/3. Which is bigger: -2 or h?
h
Let h = 2 + -14. Let s be 1/h + (0 - 0). Which is greater: s or -1?
s
Suppose 5*v = 3 + 2. Suppose -d + 5 = -v. Suppose -4*f + d = -7*f, 3*h + 13 = f. Is -6 less than h?
True
Let r be (8/(-12))/((-6)/9). Suppose o = -0*o + 1. Is r at least o?
True
Let t be (-455)/150 + (-1)/(-5). Is t greater than or equal to -3?
True
Let a = -4 - -1. Let g = a + 2. Is g < -1?
False
Let z(f) = -f. Let v(n) = 3*n - 3. Let t(l) = v(l) + 2*z(l). Let q be t(4). Let a be q/(-10)*-4*-5. Is -5 smaller than a?
True
Let s = 0.1 - -0.1. Let q = -186 + 1672/9. Which is greater: s or q?
s
Let f = 3 - 1. Suppose -3*y = -3*z - 60, -5 - 3 = 2*z. Suppose 5*u + 4*n - y = 11, -6 = 3*u - 5*n. Which is greater: f or u?
u
Let m = -231/8 + 1059/40. Is m > -1?
False
Suppose x = -3*x. Suppose f - 23 = -5*h + 3*f, x = h - 4*f - 19. Suppose q - h*q = 0. Is -1 greater than q?
False
Suppose -6 - 26 = -4*g. Let c = 15 - g. Let z = c - 2. Is 5 smaller than z?
False
Suppose b + 64 = 5*a + 3*b, -b = -3*a + 34. Let d = a + -22. Let h be 24/(-35) + d/(-35). Which is smaller: -2 or h?
-2
Let f be ((-8)/2)/(3 + -2). Let z be (-5)/2*(0 + 2). Let h = f - z. Are 1 and h nonequal?
False
Let p(c) = -c**3 + 11*c**2 - 9*c - 14. Let n be p(10). Are n and -7 nonequal?
True
Let s = 10 + -10.7. Let l = -2.3 + s. Is -2/3 greater than or equal to l?
True
Let c = -1 - -1. Let q = 3011/8 + -376. Does c = q?
False
Let b be 1*(2 + (-2)/(-2)). Suppose 5*a + 2*j - j = 6, 2 = -b*a + 5*j. Suppose -6 = -5*k + 9. Which is bigger: a or k?
k
Suppose x - 50 + 56 = 0. Which is smaller: x or -7?
-7
Let m(o) = o + 5. Let v be m(-5). Let n be 3 - 0 - (5 + -4). Suppose 4*x + 11 = d, 3*x - n*d = -4*d. Which is smaller: x or v?
x
Let c = 172/3627 + 2/117. Is 0 != c?
True
Let c = 11 - 10.9. Which is bigger: c or 2/3?
2/3
Let u(z) = z**3 - 7*z**2 + 7*z - 1. Let k be u(6). Suppose 0 = -a - k + 3. Is -2 bigger than a?
False
Let x = -157/4 - -39. Let j = 7 - 7.08. Is j greater than or equal to x?
True
Let u(z) = -z**3 - 9*z**2 - 3*z + 4. Let v be u(-8). Is v at most -36?
True
Let f be (3/(-10))/(36/(-570)). Is 4 equal to f?
False
Let l(s) = -s**3 + 3*s**2 + 3*s + 4. Let o be l(4). Suppose 6*p = p + 5. Let z = -3/2 + p. Is o less than z?
False
Suppose 0 = -2*l + 6*b - 3*b - 11, 5*l = 3*b - 5. Let g be (119/(-28))/(l/8). Is -17 at most as big as g?
True
Let p = -1817 + 138095/76. Let q = -976/4997 - 4/263. Let x = q - p. Is -1 at least as big as x?
False
Let x = -8 - 0. Let k be x*((-1)/2 + 1). Is k != -4?
False
Let z = 7 + -11. Let v = -3.87 + 0.07. Let l = z - v. Is -2/7 at least l?
False
Let u be 2*((-30)/(-21) - 2). Let g = u - -39/28. Which is smaller: -1 or g?
-1
Suppose 4*p + 0*p + 1 = -5*g, -2*p = 5*g - 7. Suppose -2*q + 7 = -g*a, 4*a + 6 = -0*a + 2*q. Let x = a + -2. Do -1 and x have different values?
False
Let y = -2 - -1. Let u be (-5)/25 + (-32)/(-10). Which is bigger: u or y?
u
Let v be 29/(-3) - (-4)/6. Let k(q) be the second derivative of q**5/20 + 2*q**4/3 - 3*q**3/2 + q**2/2 - 12*q. Let r be k(v). Are -1/4 and r equal?
False
Let a = -1 - -1.9. Let y = a + -0.9. Which is greater: 2/37 or y?
2/37
Let o be 2/(-9) - (-32)/(-18). Let m be (1/o)/((-5)/2). Let p be 16/(-10) - (-12)/20. Which is smaller: p or m?
p
Let u(f) = -f**2 + 5*f - 4. Let s be (2*-1 - -1) + 4. Let n be u(s). Let h = -28 - -31. Is n at most h?
True
Suppose 0 = 2*q + 4 - 26. Suppose 0 = -5*k + 1 - q. Is k less than 2?
True
Let x be 252/(-780) - 2/(-5). Is x at most as big as 1?
True
Let t be (3/12)/(3/(-6)). Which is smaller: t or 13?
t
Suppose 0 = -w + 6*w. Suppose f + g = 0, w = 3*f - 6*f - 4*g. Is -2 smaller than f?
True
Let m = -94 + 81. Which is smaller: m or -2?
m
Let k be ((-27)/9)/(1/3). Which is smaller: k or -10?
-10
Let j(i) be the second derivative of -i**3/2 - i**2 + 3*i. Let u be j(-2). Suppose -f = u*f. Do f and -2 have different values?
True
Let u be (-3 - 27/(-3)) + -3. Let q = u - 3. Which is smaller: q or -1/10?
-1/10
Let b(p) = p**3 + 11*p**2 + 11*p + 6. Let g be b(-10). Let z(t) = -t**3 - 3*t**2 + 3*t - 3. Let w be z(g). Is w equal to -2/7?
False
Let u be -5 + 2 + 4 - 0. Is -1/47 bigger than u?
False
Suppose -8*t = 4*d - 5*t - 13, -20 = -5*d - 5*t. Which is smaller: 24/11 or d?
d
Suppose 0 = -2*l + l. Let n = l - -1. Let m be (4/(-18))/(4/3). Is m at least n?
False
Let q = -14 + 18. Suppose 0 = -q*j - 3*d + 25, -2*j - d = d - 14. Are j and 4 nonequal?
False
Suppose -4*b - 6 = -14. Suppose 2*m + 5 = 7*m. Is b <= m?
False
Let m be 1/3*(0 + 6). Let l(p) = -p - 1. Let n(h) = -h**3 + 3*h**2 + 2*h + 4. Let f be n(4). Let i be l(f). Is i not equal to m?
True
Let j = -7 + 6. Let z(i) = 4*i**2 - 3*i**2 + 5*i + 3 + 0*i**2. Let n be z(-4). Is n < j?
False
Let k = 8 + -6. Suppose 0 = -4*c, 5*c - k - 4 = -2*s. Suppose s - 15 = 4*n. Does -3 = n?
True
Suppose -5*u = -2*u - 12. Let j be (-58)/(-10) - (-4)/(-5). Is u less than or equal to j?
True
Suppose -5*u + 24 = 19. Are -2/41 and u equal?
False
Let j be 9/1*-1 - 0. Let b be 82/(-378) - j/63. Is 0 equal to b?
False
Suppose -4*p = -2*j + 26, -p = 3*j - 0*p - 25. Let q be 2/j + 4/18. Which is bigger: q or 1?
1
Let x be 4 + (-4)/2 + 2. Let o(q) = 2*q - 8. Let d be o(x). Which is greater: -2/9 or d?
d
Let b = -1 + 1. Let t = b - -1. Which is smaller: t or 0.2?
0.2
Let p be 0 + 34/(-66)*3. Is p less than -2?
False
Suppose -2*b = 3*b + 10. Suppose k + 11 = -5*p, -5*p - 56 + 18 = -2*k. Let h = k + -12. Are h and b nonequal?
True
Let s = -0.2 + 0.5. Let z(i) = 3*i + 2. Let t be z(-2). Let k be (2 - 2) + (-1)/t. Which is smaller: s or k?
k
Let d = 28 - 12. Let v be ((-20)/d)/(-5)*-4. Which is greater: v or -2?
v
Let b = -6.6 - -20.6. Which is smaller: b or -0.2?
-0.2
Suppose 8*b - 7*b - 3 = 0. Suppose b*v + 3 = 4*v. Suppose a = -v*a. Which is bigger: a or -1/2?
a
Let d = 1 + 21. Which is greater: d or 21?
d
Let h be (0 - 8)*9/(-18). Which is smaller: h or 6?
h
Let s = 0.19 + 0.21. Let n = -0.8 + -0.2. Is s at least as big as n?
True
Suppose -2*o - 16*v + 13*v + 3 = 0, 3*o - 7 = -2*v. Which is greater: -16 or o?
o
Let l = -23 + 22. Which is greater: 2/7 or l?
2/7
Let d be 0 + (-141)/(-290) - (-2)/(-4). Which is smaller: d or 1?
d
Suppose 2*d - 45 = 5*x, 5*d - 127 = 12*x - 14*x. Is 2 at most as big as d?
True
Let y(s) = -7*s**2 + 14*s + 18. Let h be (-34)/(-6) + 2/(-3). Let k(c) = -6*c**2 + 13*c + 17. Let q(v) = h*y(v) - 6*k(v). Let z be q(9