*m = -4*v - 14, 4*m + 0*v + v = -7. Let o = -1 - m. Is r <= o?
False
Suppose -4*y - 14 = -t, -5*t = -11 + 1. Let n be 1/(3/(-12)) - y. Is 3 bigger than n?
True
Let n(j) = j**2 + 9*j + 10. Let p be n(-9). Let l be ((-12)/(-10))/(4/p). Suppose l*d = -0*d + 3. Which is greater: d or 0.1?
d
Let r(j) = -3*j**2 - 2*j + 1. Let y be r(-2). Is y greater than -7?
False
Suppose 0 = -0*w - w - 27. Which is greater: -51/2 or w?
-51/2
Let p be 13/2 - 2/(-4). Let o = -9 - p. Let j be (1/o)/(1/(-2)). Is j greater than or equal to 0?
True
Let q = -67 - -97. Is 1 greater than q?
False
Let l = -132 - -85. Are -1 and l nonequal?
True
Let b(i) = i**2 + 9*i + 12. Let r be b(-9). Which is smaller: 13 or r?
r
Suppose 0 = -o - o. Suppose o = 4*n + 2 - 10. Which is bigger: n or 3?
3
Let t be (-18)/2*(-3723)/(-63). Let l = t + 533. Which is smaller: 0 or l?
0
Suppose -2*u + 6 = 4*v, -5*v = -2*v + 5*u - 1. Let t = 2 - 2. Suppose 2*l - 8 = -4*r, -4*l - 2*r = -t*l + v. Which is bigger: -1 or l?
-1
Let w = -5 + 2. Let i(d) = d**2 + 9*d + 10. Let z be i(-8). Suppose -z*v - 2 - 2 = 0. Which is smaller: v or w?
w
Suppose 5*c = -6 - 34. Which is smaller: -5 or c?
c
Let c = -192 - -161. Which is greater: c or -33?
c
Let v = 45 - 44. Which is smaller: -2/21 or v?
-2/21
Let n(x) = 6*x**3 - x**2 - 2*x - 1. Let j be n(-1). Let f be (6/j)/(0 - 3). Which is greater: f or -1?
f
Let d = -15 - -22. Let p = 11 - d. Let h = p - 4. Are h and -1 equal?
False
Suppose -i + 3*m - 15 = 0, -15 = 4*i - 2*m - m. Let o(u) be the third derivative of u**4/24 - u**3/2 - 2*u**2. Let q be o(i). Which is bigger: -1 or q?
-1
Suppose -2*m - 21 = -3*q, 19 = 2*q - 7*m + 4*m. Which is smaller: 6 or q?
q
Let v = 8 + -8.09. Let z = v - -1.09. Which is greater: 0.05 or z?
z
Suppose -4*h + 17 = -k, -4*h + 7 = 2*k - 7. Let f = 33/4 - 9. Let o = -95/116 - f. Which is greater: k or o?
o
Let d be 10/30 + (-5)/12. Let q be -2 - 1*-4 - 7. Let z = -4 - q. Which is smaller: d or z?
d
Let m = 10 + -9. Let b(h) = -h**2 - 9*h - 3. Let f be b(-9). Which is bigger: m or f?
m
Let d be (216/20)/6 - 1. Which is smaller: 1 or d?
d
Suppose 7*o - 4*o + 18 = 3*z, -2 = z - 5*o. Let m be (-12)/10*(-20)/8. Suppose -4*a - z = -3*u, -4*a - m = 2*u + 5. Which is smaller: 1 or u?
u
Let n(a) = a**2 + 4*a + 2. Let c be n(-3). Let b = c - 0. Which is smaller: b or 0?
b
Let t(d) = 2*d - 1. Let m be t(8). Let s = m - 19. Let w(b) = -b**3 - b**2 - b - 5. Let p be w(0). Which is smaller: p or s?
p
Let u(d) = -d**2 - 18*d - 18. Let r be u(-17). Is 2/51 greater than r?
True
Let x = 7 + -5. Suppose 0 = -0*d + 2*d + 2. Is x >= d?
True
Suppose 7*t - 12*t + 100 = 0. Which is bigger: t or 21?
21
Suppose 0 = 3*l - 4*l + 5. Suppose k - 6*k - 25 = 5*o, -3*k = -l*o - 25. Is -2/25 greater than k?
False
Let n be (-6935)/24 - 1/(-3). Let b = n + 289. Which is smaller: b or 0?
0
Let z be 1/3*15/1. Suppose -2*t + 22 = 3*t - y, -5*t = y - 18. Do z and t have the same value?
False
Suppose -3*u - d + 2 + 0 = 0, -2*u - 5*d = -23. Let f be 6/36*(u + 3). Which is smaller: f or -13?
-13
Let z(m) be the third derivative of -m**6/120 + m**5/6 + m**4/24 - 5*m**3/3 + m**2. Let b = -44 - -54. Let o be z(b). Which is smaller: -1 or o?
-1
Let d be ((-2)/(-18))/(1 + 4/(-12)). Which is greater: d or 2?
2
Let t = -170 + 362. Let m = -1346/7 + t. Let y = -2.1 + 2. Which is smaller: y or m?
m
Let s = 57 + -71. Which is bigger: s or 1/3?
1/3
Let q = 2 - 0. Let l be 1/q + 4/8. Which is greater: l or 0?
l
Let n(p) be the second derivative of -1/2*p**2 - 3*p + 0 - 1/6*p**3. Let t be n(-2). Is t less than -2/11?
False
Let x = -3 + 5. Suppose -13 = 4*t - 3*a - 2*a, -3*t + x*a = 1. Suppose 4*y + 4*r + 17 = 3*y, 9 = -2*y - 3*r. Is t at least as big as y?
True
Let k = -6175/4 - -1530. Let w = 27/2 + k. Let r be ((-1)/(-1))/(0 + 1). Is r < w?
False
Let q(t) = -t + 2. Let c be q(2). Let x = 34 + -375/11. Is x smaller than c?
True
Suppose -4*o - b = -5, 2*o - 7*b + 3*b + 20 = 0. Let d be ((-9)/(-9))/(1 + o). Which is smaller: 0.4 or d?
0.4
Let n = -30538/23 - -1328. Let s = n + -53/115. Let a = -44 - -45. Which is smaller: s or a?
s
Suppose -5*z = -l + 3*l - 12, -z = -4*l + 2. Suppose z*v - 3*v = 0. Is v > 2?
False
Let d = 56 - 57. Is 1.2 not equal to d?
True
Let m = 0.4 - 1.4. Let i = m - -0.8. Let o = -0.1 - i. Is o <= 2?
True
Let t be 4*(-4)/(-880) - 2/10. Which is smaller: 15 or t?
t
Let z be 30/(-45) + 5/3. Is 5/8 at most as big as z?
True
Let d = 0.13 - 1.13. Are 0.04 and d nonequal?
True
Suppose -3*y + 24 = -2*y. Let g = y + -14. Let k be 6/(-3) + 24/g. Is k >= -1?
True
Let o be ((-58)/(-10) - 6)/2. Suppose -z = 2*z. Let i = z - 0. Which is bigger: o or i?
i
Let f be (-1)/(-2)*-6*1. Let m = 3 + f. Let l = 56 + -225/4. Which is greater: l or m?
m
Let m(c) = -c**2 + 7*c - 9. Let o be -2 + (-2 + 0 - -8). Suppose 5*i = o*i + 6. Let z be m(i). Which is smaller: z or -2?
z
Suppose -41*i - 2 = -40*i. Is -5/4 at least i?
True
Let p = -81 - -241/3. Is p bigger than 1/3?
False
Let r = 0.04 - -41.96. Which is smaller: r or 0?
0
Let w be -1 - 6/2*(-10)/15. Suppose 4*s + 5*v - 18 = 19, v - 14 = -3*s. Which is smaller: w or s?
w
Let l(x) = -x**2 - 9*x - 13. Let w be l(-7). Is -2/7 bigger than w?
False
Let o(h) = 6*h + 1. Let i be o(1). Let n(q) = q - 7. Let u be n(i). Suppose 0 = -3*r - l + 8 - 3, u = 5*r - 2*l - 23. Which is smaller: 1 or r?
1
Let f(v) = v**3 - 6*v**2 + 3*v + 6. Let h be f(5). Let d = -5 - h. Which is smaller: d or 1/11?
d
Let u = -4 + 7. Let l be u/9 - (-6)/(-45). Suppose -2*c + 2*k + k = -15, -10 = -3*c + 2*k. Are l and c nonequal?
True
Let a = 5635563/52120 + -11/6515. Let d = -108 + a. Is d != 1?
True
Let m(p) = 2 + 1 - 10*p - 7. Let b be m(-3). Suppose -3*v = 2*v + 25, w + b = -5*v. Is w equal to -0.2?
False
Let s = 13/30 + 1/15. Suppose 5*l + 2 = -5*x + 2*x, -l - 1 = 0. Are s and x equal?
False
Let p be 20/12 - 4/6. Which is smaller: -2/11 or p?
-2/11
Let w be (5*(-6)/(-56))/3. Let a = w - 3/7. Which is smaller: -3 or a?
-3
Suppose -2*g + 10 - 4 = 0. Suppose 4*n = -g*z + 5, -2*n + 3*n - 3*z - 5 = 0. Suppose 0 = -0*f - n*f + 2. Which is bigger: f or 2?
2
Suppose 3*n - 4*n - 28 = -5*q, -3*q + n = -18. Which is bigger: 7 or q?
7
Suppose -4*a = -0*a. Suppose -5*b = a, -3*b + 5 = -2*o + 3. Let h = -31 - -31. Which is greater: h or o?
h
Let a = -1 + 1. Suppose 0*w - 4*w + 12 = a. Let t = -0.01 - 0.09. Are t and w equal?
False
Suppose t - 4 = -3. Let r be (-9)/(-12)*-1 + t. Is -0.1 > r?
False
Let n be (1/(-1))/(7/(-28)). Suppose h + 4 = 7. Do h and n have the same value?
False
Let x(v) = v + 3. Let s be x(-5). Let u = s - -2. Is u at least 1/5?
False
Let y be 1 - (1 + -1)/3. Let w be -1*(2 - 0 - -2). Let f be w*(-2)/(-20)*-5. Is y at most f?
True
Let z be 1/(-5) - 44/(-20). Let l be 1/(-5) + (-26)/(-5). Suppose -l*c = -z*c + 3. Which is smaller: -1/3 or c?
c
Suppose 0*w + 2*y - 9 = -w, 3*y = -3*w + 27. Let v be (12/9)/(10/w). Is v bigger than 0?
True
Suppose -o = -4*l + 12, -5*l + 4*o = 9*o - 40. Let b = 4 + 0. Do l and b have the same value?
True
Suppose l - 3 = 6*k - 3*k, 5*l - 2 = 2*k. Suppose -2*i = 3*x - 1, -2*i - 6 = -2*x - 2*x. Which is smaller: x or k?
k
Let s(b) = -b**2 + 10*b - 4. Let r be s(8). Let x be (-27)/r - (-3 + 1). Let c = -0.1 - -0.3. Which is smaller: x or c?
x
Suppose 0 = -0*d + 2*d + q + 2, -4*q - 8 = 4*d. Let p(l) = -2*l**3 - l**2 + 1. Let m be p(-1). Which is smaller: d or m?
d
Let l(x) = x - 6. Let g be -1 - (-1)/(1/8). Let u be l(g). Is u < 0?
False
Let x(z) = z**3 - 10*z**2 - 3*z - 4. Let u be x(10). Is -32 bigger than u?
True
Let i = 2 - -2. Suppose -5*z = -5, c = -c - i*z + 8. Let l be ((-4)/(-14))/2 + 1. Is l smaller than c?
True
Let m be ((-2)/(-3))/(6/9). Which is greater: 6/95 or m?
m
Let w = 67 + -336/5. Let a = 1 + -3. Let s = a + 2. Which is greater: w or s?
s
Suppose c + 3*q = -6, -5*c - 6 + 0 = 3*q. Which is greater: -1/94 or c?
c
Let f = 0.05 - 0.1. Let x = -0.35 - f. Which is smaller: 0.2 or x?
x
Suppose 0 = -y - 2*y + 3*x, y = -4*x. Which is smaller: -3/17 or y?
-3/17
Let l = 31 + -10. Let t = l + -15. Is t less than or equal to 0.1?
False
Suppose 2*k + q + 48 = 0, 36 = -2*k - q + 3*q. Which is smaller: k or -21?
k
Let z be 8/28 + 41/(-133). Let a be 412/(-4788) - 4/(-14). Let s = a - z. Which is smaller: 0 or s?
0
Suppose 3*t + 27 = 4*r