 3*x = -a*x - 15. Let q be 0 - ((-2)/1 - x). Which is smaller: q or 1/7?
q
Let n(w) = -w**3 - 4*w**2 - 5*w - 3. Let v be n(-3). Suppose -4*k + v + 13 = 0. Suppose 0 = -a + k*a. Which is bigger: -1/5 or a?
a
Let p be (-10)/(-45) + (-14)/(-18). Suppose s - 5 + 2 = 0. Let h be ((-1)/(-4))/(s/8). Which is greater: h or p?
p
Suppose 3*f - 72 = 2571. Let l = 29071/33 - f. Is -2 bigger than l?
False
Let d = 29 - 32. Is -4 smaller than d?
True
Let h = -0.07 - -4.07. Let u = h + -2. Is 2 at most u?
True
Suppose 3*v = 4*t - 5 + 69, -5*v + 100 = -5*t. Suppose -5*q + 4*n - 11 = -0*q, 4*q - 5*n = -v. Is 4 at most as big as q?
False
Suppose -7*y = y. Is -2/345 less than y?
True
Let z be 5/(-20) - (-39)/28. Is 2 greater than or equal to z?
True
Let k(d) = -d**3 - 2*d**2 + d. Let h be k(-3). Suppose 4*c - h - 2 = 0. Let z be 1 - c - (-1 - -1). Which is greater: -2/9 or z?
-2/9
Let g = -1.6 + 1.54. Which is smaller: g or -2?
-2
Let b(x) = 2*x**3 - 24*x**2 + 2*x - 16. Let v be b(12). Let y be (-13 + -1)/(1 + -3). Which is smaller: v or y?
y
Suppose -2*c - 5*c + 7 = 0. Which is smaller: c or 4/7?
4/7
Let i(h) = -h + 9. Let z be i(-6). Which is greater: z or 14?
z
Let d = 18 + -17. Which is bigger: 1/20 or d?
d
Let p(k) = -k**3 - 8*k**2 + k + 7. Let m be p(-8). Let n = 17/364 - -3/28. Do m and n have the same value?
False
Let i be ((-4)/(-3))/(4/6). Let m(h) = h**2 - 3*h. Let s(t) = t**2 - 4*t + 1. Let r(b) = 3*m(b) - 2*s(b). Let p be r(i). Are p and -2/5 nonequal?
True
Suppose 0 = 5*g + 20, 5*s - 51 = 5*g + 44. Do 16 and s have different values?
True
Let w = -22 + 32. Is w at least 0?
True
Let p = 0 + -0.2. Let f = 1 + -0.5. Let l = 0.4 - f. Which is smaller: p or l?
p
Let u be (28/204)/7*6. Which is smaller: u or -1?
-1
Let u = -1 - -2.2. Let j = u + -0.2. Which is bigger: j or -1/4?
j
Let o(d) = -2*d + 0*d - 2 - d**2 - d**2 - d**3 + 1. Let h be o(-1). Which is smaller: h or -8/7?
-8/7
Let i be (177/8)/(2/4). Let m = i - 44. Is -0.03 at least m?
False
Suppose 3 = l - 0*l. Let d be (-2)/l + (-26)/(-30). Let h = 9 - 9. Is d less than h?
False
Suppose 0 = -k - 0 + 7. Let w = k - 5. Suppose -w*q + 8 = 5*i, 2*i + q + 4*q = -1. Is i <= 5/2?
True
Let j = -1/71 - -1079/994. Let p = -5/28 - j. Is p > 0?
False
Let t(o) be the first derivative of -o**3/3 - 3*o**2/2 - o + 1. Let d be t(-2). Suppose -6 = -3*h - n, 2*h - 9 = -0*h + n. Which is smaller: d or h?
d
Let j(q) be the third derivative of -q**4/24 - q**3/3 - 2*q**2. Let t be j(-3). Suppose 4*h = -7 - t. Which is smaller: h or 0?
h
Let s = 2.4 - 1.9. Is s less than 0?
False
Let y = -143 + 143. Let o = 95878/9 + -10686. Let r = 98/3 + o. Are r and y unequal?
True
Suppose 3*u + 0 = 3. Which is smaller: -2/15 or u?
-2/15
Let x = -100 - -100.007. Does x = -1?
False
Suppose 53 = -14*w - 101. Let x = -0.7 + -0.3. Which is bigger: w or x?
x
Let z = 110 - 110. Is z at least as big as -4?
True
Let m = -7 + 4. Let k be (3*4)/(-4) - -1. Which is smaller: m or k?
m
Suppose 5*g - s = -3, -g - 2*s - 11 = 3*s. Which is smaller: g or -1/58?
g
Let l = 23 + -12. Let c = l + -13. Is 0 at most as big as c?
False
Let n(d) = -d - 1. Let p(j) = 4*j - 1. Let m(z) = -3*n(z) - p(z). Let c be m(2). Let o be (3/2)/(c/4). Is o equal to 3?
True
Let j(t) = 3*t - 2. Let a be j(-1). Do -5 and a have the same value?
True
Let t be (-1 - -2) + 8 + -3. Let x(s) = s**3 - 6*s**2 - s + 5. Let y be x(t). Is 1/4 at least y?
True
Suppose 5*u - 3 = 2. Is u smaller than -2/23?
False
Let n = 0.69 + 32.31. Which is bigger: n or 1?
n
Let s = -13/5 + 11/5. Is s <= -0.1?
True
Let a = -17 - -28. Let v = -6 + a. Is v smaller than 5?
False
Let j = 142 - 127.8. Let z = -18 + j. Let s = z + 4. Which is bigger: s or -1/5?
s
Let t be -2 + 3/3 + 9. Is 9 at least as big as t?
True
Let s(r) = -r - 12. Let m be s(-11). Let c be 1/4 - (-2)/(-8). Let i = m + c. Is i greater than -2?
True
Suppose 2 + 10 = -4*l, -4*r + 3*l + 49 = 0. Suppose 0*g = 2*g - 22. Is g < r?
False
Let l = 0.2 + -11.2. Is l < 1?
True
Let b = 48877/395 + -169/79. Let l = b - 122. Which is bigger: l or 0?
0
Let g = -4.91 + -0.09. Let o = g - -3. Is -2 smaller than o?
False
Let o(x) = 13*x**3 + x**2 + 2*x + 2. Let u be o(-2). Let t = u - -302/3. Let b = 4 + -4. Is b at most as big as t?
False
Let o = -3/22 + -4/11. Are 1/7 and o equal?
False
Let u(c) = -2 - 3*c - 16 + 2*c. Let h be u(-8). Let b be ((-1)/(h/6))/(-1). Is -1 greater than or equal to b?
False
Let i = -509/3930 + -1/262. Are i and 2 equal?
False
Suppose 0 = t + 4*t - 5*k + 15, -4*t - 6 = -2*k. Is t < 2/9?
True
Let n = 467/30 - 31/2. Let q = 2/71 - -863/2130. Let u = q + n. Which is smaller: 1/5 or u?
1/5
Let s(z) = z + 9. Let k be s(-4). Let i be (k/(-15))/(1/(-3)). Let t = -3 - i. Is -4 at most t?
True
Suppose 0 = m - 2*m. Which is bigger: m or 0.6?
0.6
Let g = 4 - 6. Suppose 0 = -2*o + 4*o + 6. Which is smaller: o or g?
o
Let t be (-10)/(-4) + (-15)/10. Is t at most as big as 6/5?
True
Let u be 53/(-2) - (8 - 5). Let t = u + 30. Does t = 1?
False
Let k(z) = z**3 + 2*z**2 + z + 2. Let t be k(-3). Suppose -g - 2*g - 4 = r, -5*r - 58 = -4*g. Is t smaller than r?
False
Let m = -3 + 6. Let s(v) be the first derivative of v**2 - 1. Let r be s(2). Which is smaller: m or r?
m
Let h(b) = 2*b**2 + 20*b + 14. Let j be h(-9). Which is bigger: j or -2?
-2
Let l = 1012/13 + -78. Is l equal to 1?
False
Let z = -2 + -4. Let r be z*(1 - 4/3). Let a = r + -6. Is -4 at most a?
True
Let p be (20/8 - 1)*-2. Is p less than or equal to -21/11?
True
Let q = 51 - 31. Which is smaller: 19 or q?
19
Let i(y) = -y**3 + 3*y**2 + 4*y - 3. Let j be i(4). Let t(n) = -n - 1. Let f be t(j). Suppose -2*v = v + f*m - 5, -3*v - 5 = 4*m. Is v >= 2?
True
Let n be 1 + 2 + (-628)/212. Is n >= -1?
True
Let v = 41609/71 - 586. Which is smaller: v or -1?
-1
Suppose 8*v - 2*v = 36. Which is smaller: v or 40/7?
40/7
Suppose 3 = -3*z - 4*l, -13 + 43 = 5*z - 5*l. Let y(t) = -t**2 - 5*t + 2. Let r be (-4)/(-6) + 34/(-6). Let c be y(r). Is c at least as big as z?
False
Let c = 5.1 + -1.1. Let v = 0.25 - -2.75. Let d = v - c. Is d at least -4/3?
True
Let p be (-1620)/105 + (-8)/14. Which is smaller: 4 or p?
p
Let g = 9 + -7. Suppose -4 = -4*p + 12. Suppose -2*u + v - p = -6*u, -2*v + 8 = 4*u. Which is bigger: g or u?
g
Let h be (-1 - -8)*2/(-18). Is h > -1?
True
Let i(s) = -s**3 + 9*s**2 + 4*s + 62. Let h be i(10). Let t(n) = n**3 + 5*n**2 - n + 4. Let m be t(-5). Suppose 5*j - m = -4. Which is bigger: h or j?
h
Let q be (-6)/(-4)*(-40)/(-6). Suppose q + 11 = -3*f. Is -7 != f?
False
Let n = 0.6 - 0.63. Is n less than or equal to 0?
True
Suppose 4*w - 2*b - 50 = 0, -3*b = -0*b + 3. Suppose 0*p + w = 6*p. Which is bigger: 4 or p?
4
Suppose -14 + 38 = -4*l. Is -7 at least l?
False
Let z = 1 + 4. Let d = -5 + z. Suppose 0 = 3*j - 3 - 0. Which is bigger: j or d?
j
Suppose -2 + 5 = 3*c. Let g = 2 - c. Is g at least as big as 2/5?
True
Suppose -6*y + 8*y = 6. Let l be (-1 - -1) + (y - 1). Which is greater: 1/2 or l?
l
Let i be 24/(-5)*(-10)/3. Let p be i/6*5/(-2). Let l = 71/12 + p. Is l at most as big as -1?
False
Let p be (84/(-63))/(8/6 - 1). Is p at most as big as 14?
True
Let a be (-1)/(-7)*(-6)/(-21). Is 0 > a?
False
Let x = -85/9 + 178/9. Is 10 >= x?
False
Let u(z) = z - 2. Let o be u(2). Suppose 5*s - t - 8 = o, -s - 2*t = 3*s + 2. Which is bigger: -3 or s?
s
Let z be -2 + 1 + 14/8. Let i = 11 - 11. Which is smaller: i or z?
i
Let f(u) = -u**3 + 4*u**2 - 4*u + 1. Let k be f(3). Let y be 18771/30030 - k/(-10). Let h = y - -1/286. Which is smaller: 0 or h?
0
Let z be ((-13)/4)/(24/(-32)). Let x = z + -25/6. Is x > 0?
True
Let v = -2.63 + -0.37. Which is smaller: 8 or v?
v
Let c be (-14)/10 + (-3)/(-3). Let n(o) = -o**2 - 2*o + 5. Let q be n(-3). Suppose -6 = -2*s + 4*h, -2 + 10 = -4*s - q*h. Is s less than c?
True
Suppose 4*k + 4*i = 4, -i = 4*k + 2*i - 5. Let j be (1/9)/((-3)/(-18)). Which is smaller: j or k?
j
Let b(l) = 2*l - 9. Let p be b(6). Let a be ((-2)/(-35))/(p/(-15)). Is 5 equal to a?
False
Let f be (0 + 1)/(1 + 0). Let x be (0 + 2)*(-9)/6. Let j be (3 + x)*(-3)/6. Are j and f nonequal?
True
Let y = 7 - 6. Let f be y + 23 + -1 + 0. Let w = f + -47/2. Which is greater: 0 or w?
0
Suppose 7*u = 3*u - 5*p - 52, -2*u - 52 = -4*p. Is u smaller than -17?
True
Let d = 10 - 10.8. Let w = d -