*v + 1 = -v, 0 = -m*n + 3*v + 4. Is n >= 2/13?
True
Suppose -5*a - 2 = -f + 7, 2*f - 5 = -3*a. Does a = -1?
True
Let o(v) = 3*v + 17. Let a be o(-9). Which is bigger: a or -11?
a
Let f = 11 + -10.9. Let x = 0.2 + f. Is 2 > x?
True
Let f be 2/(-5) - 12/(-5). Let b(x) be the second derivative of -x**5/20 + x**4/4 - x**3/6 - x**2/2 - 6*x. Let v be b(f). Which is greater: v or 2/5?
v
Let l = -33 + 33. Which is smaller: l or 1/3?
l
Let t = -0.25 - -0.19. Let c = 11 - 11. Is t at most c?
True
Suppose 3*u + 40 = -4*z - z, 2*z + 54 = -5*u. Is -10 greater than u?
False
Let c be (-2)/(-20)*45/6. Let s = 3 + -3. Which is smaller: s or c?
s
Suppose 14 = 4*o - 6. Suppose o + 4 = j. Is 10 equal to j?
False
Let i be ((-6)/10)/((-1)/(-5)). Let k be ((-2)/i)/(16/(-12)). Which is greater: 0.1 or k?
0.1
Suppose 0 = 7*o - 2*o - 40. Suppose -5*c = -c - o. Is c <= 3/2?
False
Let d(i) = -i**3 - 11*i**2 - 9*i + 9. Let b be d(-10). Which is bigger: b or -5/38?
-5/38
Let x(w) = w**2 - 2. Let n be x(0). Let y(c) = -c + 10. Let t be y(6). Let k be ((-6)/9)/(t/(-6)). Is k at least n?
True
Let t be (2/(-111))/(0 + -2). Let r be 185290/299145 - ((-18)/22 - -1). Let q = t - r. Which is bigger: -1 or q?
q
Let z(o) = -o**2 + 4*o + 5. Let m be z(5). Let c be -6*2/(-4) + 1. Suppose m = 4*r - 4 - c. Are r and 2 equal?
True
Suppose 0*y - 1 = -y. Let n be (y + -3)/((-15)/(-3)). Which is smaller: n or -1/2?
-1/2
Let v(z) = 6*z - 5. Let b be v(3). Do 13 and b have the same value?
True
Let a(k) = -4*k + 15. Let h be a(4). Which is greater: h or 3/11?
3/11
Let t be (-1 - -1)/(-6 - -5). Let i = -2 - t. Which is smaller: i or -1/2?
i
Let j(y) = y**3 + 4*y**2 - 3*y + 7. Let h be j(-5). Is h at least as big as -2?
False
Let s be (-14)/21*((-6)/3 + -1). Is 3/4 smaller than s?
True
Suppose 2*m = 5*s + 8, -17*s - 2*m = -15*s + 6. Is -10 <= s?
True
Let d = -11 - -7. Let t = 3.99 - -0.01. Let f = d + t. Is f at most as big as 2?
True
Let l = 0.16 + -0.16. Is l greater than 15?
False
Suppose 2*j + 3 = 7. Is j > 11/12?
True
Let o be ((-4)/6)/(8/12). Let g be 21/9 - (-1 - -3). Which is smaller: o or g?
o
Let i be (-1)/(-10)*-6 - -1. Suppose 3*f - 5*y = -3*y - 7, 0 = -3*f + 4*y - 11. Which is greater: f or i?
i
Let t = -5.1 + 5. Is t at least -2?
True
Let c be 8*((-2)/(-4) - 1). Suppose -3*q + 0*u = 4*u + 14, 4*q - 2*u = 18. Let k = q + c. Is -1 bigger than k?
True
Let x be (-105)/78 - 6/(-4). Let z be -2*(3/2)/(-1). Let g = z - 2. Is g < x?
False
Let i = -13.4 + 1.4. Which is smaller: 0.2 or i?
i
Suppose -2*u + 46 = 5*g - 3*u, -43 = -5*g - 2*u. Let d = g + -10. Which is smaller: d or -2/11?
d
Let r be 1/(-3)*(5 + 212/(-16)). Is 2 bigger than r?
False
Let m = 3.962 - -0.038. Which is greater: 1/2 or m?
m
Let v(w) = -w**3 + 2*w**2 + 5*w - 7. Let j be v(3). Let n = -2 + 4. Suppose n*y + 5 = -3*y. Is j smaller than y?
False
Let y be ((-24)/(-2025))/(24/60). Are y and 0 nonequal?
True
Let x = -61/63 + 10/9. Let i = -0.2 - -0.3. Is i less than or equal to x?
True
Let l = 2/323 + -876/37145. Is l at least as big as -1?
True
Let n(u) = -16*u**2 - 2*u - 1. Let o be n(-1). Does o = -16?
False
Let f(j) = 3*j - 1. Let w be f(5). Let c = 95 - 82. Does w = c?
False
Suppose -2*a + 2 = -6. Suppose o + 4*o + n - 12 = 0, -4*n = 12. Let t = 6 - o. Is a not equal to t?
True
Let t(u) = -2*u**3 + 4*u**2 - 2*u. Let d be t(2). Let y = -4 - d. Suppose 0 = 2*h - b + 3, 2*h - 3*b - b + 18 = y. Which is greater: 3 or h?
3
Suppose 0*f + f - 2 = 0. Suppose 2*h - 3 = -5*n, -5*n = -3*h - 0*h + 17. Let a = h - f. Is 3/5 less than a?
True
Let r(v) = v**3 + 10*v**2 - 9*v + 23. Let a be r(-11). Is 3/16 bigger than a?
False
Let s be (-5)/(-6)*(-27)/90. Which is smaller: 0 or s?
s
Let q = -227/2 - -123. Let o = 10 - q. Is o less than 1?
True
Let c = 3200/102711 + -2/1533. Are c and -1 non-equal?
True
Let h be (-2)/(-6) + 4/(-3). Let l = -89/606 + -2/101. Is l < h?
False
Suppose -20 = -n + 8*o - 3*o, 5*o = 4*n - 65. Let f be 2/8 + n/(-6). Which is greater: f or -1?
-1
Suppose 11 = 8*w + 155. Is w != -18?
False
Let w be 18/4*(-1 - 5). Let o be 2*(w/(-6))/3. Which is bigger: o or 7/3?
o
Let z(y) = -y**3 - 3*y**2 + 6*y + 6. Let g be z(-4). Let s = -19 - -16. Let j = s - g. Do -1/6 and j have different values?
True
Let n = 13 + -8. Let k(h) = 5*h - 6. Let r(u) = -6*u + 6. Let i(s) = 5*k(s) + 4*r(s). Let z be i(n). Are z and -1 equal?
True
Let l(u) = -2*u - 2. Let t be l(2). Let x(b) = b**3 + 5*b**2 - 5*b + 4. Let s be x(t). Let z = -8 - s. Is -5 at least as big as z?
True
Let n(z) = z**2 + 10*z + 4. Let b be n(-12). Let x be (-15)/20 + 37/b. Which is smaller: x or 0?
0
Let z = -27.997 + -0.003. Let x = z + 26.9. Let g = 1 + x. Is 1 smaller than g?
False
Let c(p) = 4*p - 9. Let r(n) = -13*n + 26. Let u(b) = -7*c(b) - 2*r(b). Let k be u(9). Are k and -7 non-equal?
False
Let n = 7 + -11. Let z be 54/126 + 86/28. Let q = z + n. Is -1/2 less than q?
False
Let o = -6 - -5.9. Let i = -1.1 - o. Is i != -2/5?
True
Let r be (-6)/(-21) + (-2)/7. Which is greater: r or -1?
r
Let d = -5.4 - 7.6. Which is bigger: -0.1 or d?
-0.1
Suppose 0 = -22*h + 25*h - 12. Let v be ((-12)/(-10))/((-3)/(-10)). Is h at most as big as v?
True
Let h be ((-6)/(-5))/(6/(-4)). Which is smaller: h or 0?
h
Let r be 104/(-156) + (0 - (-52)/42). Do r and 1 have the same value?
False
Let r = -62 - -90. Which is greater: r or -0.1?
r
Let v be 256/(-36) + 4 + 3. Does -1 = v?
False
Let z = -175/2 + 91. Let s = 3/7 + -29/35. Is z less than or equal to s?
False
Suppose -3*j + j = -3*a + 3, -5*a + 5 = 0. Which is greater: j or -2/15?
j
Let k be (1 - 2)*(-50)/(-15). Which is greater: k or -0.1?
-0.1
Suppose 2*m - 3*m = 0. Suppose -l + 2*l - 5 = m, -4*l = -z - 28. Are -8 and z non-equal?
False
Let y = 0 + -2. Let a = 0 - -0.2. Is a equal to y?
False
Let y be (-2)/10 + (-68)/10. Let h = -2 - y. Let l be -6 + h + 7/9. Which is greater: -0.2 or l?
-0.2
Let u be ((-3)/14)/((-6)/(-8)). Let w = 5 - 4. Let m be -1 - (-3 - (-1 - w)). Is u greater than or equal to m?
False
Suppose 3*w = 4*i + 18, -5*i - 6 = -w - 10*i. Suppose 6*l - 3*l = -w. Which is greater: l or -4/5?
-4/5
Suppose b + 4*b = 85. Does 18 = b?
False
Let n be 9/(-21) - 3/(-7). Suppose -2*y - 2 - 6 = n. Let c = -1/96 - -197/480. Is c at least y?
True
Suppose 5 = -l, 4*l = -5*p - l + 50. Let r = p - 16. Let z = 727/10885 + -3/311. Is r less than or equal to z?
True
Let p(d) = d**2 - d. Let h be p(0). Let l be ((-9)/(-12))/((-132)/32). Which is bigger: h or l?
h
Let k = 2.04 - 2. Let w = -0.082 + -0.018. Is w greater than or equal to k?
False
Let j = 3 - 1. Let w be j - 1/1 - 1. Is -1/10 greater than w?
False
Let n be (20/8 + 0 + -2)*0. Let j be (-4)/(-2) + (-22)/8. Which is bigger: n or j?
n
Let g = -59 + 60. Let p = -1 - -1. Let t be (p - (-6)/(-33))*g. Which is greater: t or -1?
t
Suppose 0*j + 20 = -4*j. Let x = j - -3. Which is smaller: -2/5 or x?
x
Let c = -5 - -5. Suppose c*b - b = 1. Which is bigger: b or -2/5?
-2/5
Let r = 3 + -3.1. Let j = 9 + -9.1. Let d = j + -0.3. Is d > r?
False
Let m(u) = -u. Let b be m(1). Let r(h) = 2*h**2 + 2*h + 5. Let p(f) = -3*f**2 - 4*f - 9. Let v(t) = -3*p(t) - 5*r(t). Let w be v(3). Is b at least as big as w?
True
Let c = -3 + 6. Suppose -x - 1 = -c. Which is greater: 9/7 or x?
x
Let r be (3 + -1)*39/6. Which is bigger: r or 12?
r
Let a = -2.4 + 2.5. Are a and 0.48 equal?
False
Let d(s) = s**2 + 6*s + 6. Let a be d(-5). Suppose 0 = -5*l - 3 - 7. Is a at most as big as l?
False
Let l = 49/11 + -691/165. Is l greater than 1?
False
Let b be -2 - (0 + -2 + 0). Let f be ((-1)/(-6))/((-3)/9). Is f equal to b?
False
Suppose l + 66 = 64. Let d = -13/3 - -43/12. Which is smaller: d or l?
l
Let k = -182 - -53. Let b be (-4)/(-6) - k/9. Let c = -8 + b. Do 8 and c have different values?
True
Let x = -240091/103 + 2331. Is 1 greater than x?
True
Let x = 4 + -4. Suppose -3*c + 3 = -2*c. Suppose 3*d = -0*d - c. Which is bigger: x or d?
x
Let n(d) = d**2 - 22*d + 44. Let y be n(20). Let m(j) = 2*j**3 + j**2. Let f be m(1). Suppose -3*z + x = -2*z - 3, 5*z - f*x = 19. Which is greater: z or y?
z
Let a be -1*(2 + 1 + 2). Let d = -12.1 - -12. Is a less than or equal to d?
True
Suppose 5*i - 30 = -0. Let s be 82/210 + (-2)/i. Suppose -x - 1 = -2*x. Which is smaller: s or x?
s
Let t = -3 - -3. Which is bigger