= v - -0.07. Let g = b + 4. Which is smaller: -0.2 or g?
-0.2
Suppose 3*p + 159 - 156 = 0. Which is smaller: p or -6?
-6
Let j(v) = 4 - 5*v**2 - 2*v**2 + v**3 + 1 + 5*v. Let n be j(6). Is -3 less than or equal to n?
True
Let v = -319 - -1933/6. Which is bigger: v or 2?
v
Suppose v = -2*k + 9 + 36, -5*v + 2*k = -201. Are v and 39 nonequal?
True
Let n = -34 + 34.4. Suppose -3*p - 1 = 2*u, -2*u + 6*u + 29 = 3*p. Suppose -2*s - p*s = 5. Is n < s?
False
Suppose 3*g = g - 10. Let u be 1/g*(-5)/6. Which is greater: 0 or u?
u
Suppose 2*s + 2*s + 56 = 0. Is -15 less than s?
True
Let l(b) = 3*b**2 + 3*b + 2. Let r be l(-3). Suppose d + 4*d = r. Which is smaller: d or 0?
0
Let p = -0.9 + 0.1. Let n = 0.9 + p. Which is smaller: n or -0.1?
-0.1
Let x = -3.6 - -6.6. Which is smaller: -0.09 or x?
-0.09
Let q = 2.4 - 0.4. Let h = -2.2 + 0.3. Let x = h + q. Which is greater: x or -1/4?
x
Let d = 0.95 + -1.05. Which is smaller: d or 20?
d
Let o(a) = -a + 10. Let p be o(12). Is p <= 1?
True
Let z be (-1)/2 + (-84)/(-165). Let f = -437/330 - z. Which is smaller: -2 or f?
-2
Suppose 0 = 4*l - l - 15. Suppose u = l - 4. Suppose -3 - u = -2*o. Is o less than or equal to 2?
True
Let w(h) = h. Let v(n) = n**3 - 5*n**2 - 5*n - 7. Let j be v(6). Let q be w(j). Let g be ((9/(-10))/(-3))/((-171)/(-95)). Is g > q?
True
Let d be (0/1)/(-2 - 0). Suppose -f - 2*f = d. Suppose -4 = s - 3*s. Which is smaller: s or f?
f
Let r be -211*1 + (-1 - -2). Let l be (20/r)/((-2)/(-18)). Let q = 3 - 3.1. Is l at least q?
False
Let x = 8 + -7.97. Let f = 0.33 - x. Which is smaller: f or 0.1?
0.1
Let o(v) be the third derivative of -v**4/24 + 2*v**3/3 - 3*v**2. Let d be o(4). Suppose 1 = g + 2. Which is bigger: d or g?
d
Suppose 21 = -11*r + 14*r. Is r at least as big as -2/3?
True
Let x = -175249/1014 - -1037/6. Which is bigger: 1 or x?
1
Suppose -4*l = 2*l - 174. Are l and 30 non-equal?
True
Let x be 2 + -1*(3 - 2). Let p = 11 + -9. Which is smaller: p or x?
x
Suppose 5*v + 4 = p, v - 4*p + 16 = 3*v. Suppose -30 = 6*c - c. Let w be ((-3)/c)/(2/(-4)). Is v bigger than w?
True
Let f(x) = -x**3 + 4*x**2 + 6*x + 1. Let n be f(5). Let s(m) = -3*m**3 + 2*m + 1. Let u be s(-1). Let t be 1*(-3)/n*u. Which is smaller: t or -2/13?
t
Let w be 12/18*(-6)/(-4). Suppose -2*v - 2 = -4. Let i be (-15)/(-17) + 0 - v. Is i != w?
True
Let b = -11 - -10.5. Let g = -0.23 + -0.07. Let w = g - b. Which is bigger: w or -0.1?
w
Let d = 1 + -2. Let h be (1 + (-21)/15)*-1. Is h less than or equal to d?
False
Let l be (-1 - -10)*(-1)/(-3). Suppose -2*j - 8 = -4*j. Let v be ((-6)/j)/((-3)/4). Which is smaller: l or v?
v
Let a be (-25)/5 + (0 - 2). Let k be a/(4/(8/4)). Which is bigger: -5 or k?
k
Let d = 59/4 - 15. Suppose 0 = -10*a + 9 + 1. Is a <= d?
False
Suppose -8*v = -3*v - 65. Which is smaller: v or -2?
-2
Let d = -2.2 - -2.1. Let n(q) = -q**2 + 3*q + 1. Let i be n(3). Which is smaller: d or i?
d
Let l be (-1 - -2) + -3 + 42. Let v = -163/4 + l. Which is smaller: 0 or v?
v
Let u = -14.938 - 0.062. Which is bigger: u or 5?
5
Suppose 0 = -4*t + 2*x + 24, 4*x + 22 + 10 = 4*t. Let w be (-2)/(-4)*t/17. Which is smaller: 0 or w?
0
Let l = 25 - 49/2. Does 3/4 = l?
False
Let p be 4/(-22) + 2/11. Let y(t) = 1 + t**2 + p + 6*t - t. Let a be y(-4). Which is greater: -4 or a?
a
Let v = 0.02 + 1.98. Let p = -7 - v. Which is bigger: -2/7 or p?
-2/7
Let t = -395 + 6713/17. Is -1 greater than or equal to t?
False
Suppose -2*s + 2 + 2 = 0. Let o be -3 + (5 - (0 + 1)). Which is smaller: s or o?
o
Let x(f) = f + 2. Let y be x(-4). Let b = -2 - y. Which is greater: b or 1?
1
Let d = 1996/15 + -34942/105. Let a = d - -2878/21. Let x = -62 - a. Is 1 > x?
True
Let h = -11296/45 + 251. Is h not equal to 1?
True
Let c be (-14)/(-12) + 5/(-30). Is c greater than -8?
True
Suppose -5*t = 2*d - 4*d - 3, 5*d = -3*t - 23. Let u = d + 6. Let z be u/6 + 26/(-24). Which is smaller: z or 0?
z
Let n be (-48)/(-14)*(12/(-8) - -2). Do n and 2 have the same value?
False
Let o = 14 - 10. Suppose 0 = -l - 2*r - 7, 5*r - 2*r + 16 = o*l. Let d = -156/5 - -31. Which is smaller: l or d?
d
Let g be 3/(-4)*(-11)/((-55)/10). Is -2 != g?
True
Suppose 4 = -z + 2. Let s = z - -1. Let q be 6/9*s/(-2). Which is bigger: 0 or q?
q
Suppose -5*o - 8 = -38. Let z(s) = -s**3 + 6*s**2 - 2*s + 6. Let u be z(o). Which is smaller: u or -7?
-7
Let w = 2/81 + 148/567. Which is bigger: -0.2 or w?
w
Let d be (1 + -1)*(-2)/4. Let z = 4 - d. Suppose 0 = -2*c - 0 + z. Is 2 less than c?
False
Let a = -1 + 4. Is a >= 3/16?
True
Let a be (4/6)/((-10)/(-285)). Let x be 4/(-2) + a + -18. Let n = -12/41 - 75/164. Which is greater: x or n?
n
Let h(y) be the third derivative of 0*y - 1/6*y**3 + 0 - 1/24*y**4 + 2*y**2. Let k be h(-1). Is 2/3 greater than k?
True
Let o(f) = 4*f**2 + 2*f - 1. Let z be o(1). Let w = z - 8. Suppose -18 = -l - 5*h, 4*l - 3*h = -0*h - 20. Are l and w equal?
False
Let d = 16 - 23. Let b(u) be the first derivative of u**2/2 + u - 1. Let h be b(d). Is -6 equal to h?
True
Let t(r) = r**3 - 6*r**2 - 6*r - 3. Let m be t(7). Which is smaller: 1 or m?
1
Let w be ((-6)/(-44))/(3/(-6)). Is -1 bigger than w?
False
Let h = 48 + -37. Which is greater: 10 or h?
h
Let c be 32/18 - (-4)/18. Suppose 3*v + 20 = 5*q, -2*v = c*q - 5 - 3. Let i = 24 - 24. Is i != v?
False
Let w be (-68)/(-6) - (-4)/6. Suppose -z = -4*z + w. Suppose -3*m - 12 = 3*y - y, m = -z. Does 0 = y?
True
Suppose -w = -3*w + 4*z + 6, -2*w - z + 1 = 0. Suppose f + 4*m = 5*m + 17, m + 73 = 5*f. Let a be 21/f*1/15. Is a at least as big as w?
False
Suppose -8 = -4*p - 2*s, -s + 2*s = p - 2. Which is greater: 4 or p?
4
Let c = 1 - 1.1. Let p = -3 - -3. Let x = p + c. Which is smaller: x or 1?
x
Let s(z) = -z**3 - 8*z**2 - 7*z + 9. Let f be s(-7). Let v be (-3 + f)*(-2)/(-4). Suppose -m + 3*m + 4*o = -12, 4*o = v*m - 12. Is m <= -2/21?
False
Let o = 4 - 0. Suppose 4*p - o + 16 = 0. Is p != -2?
True
Let z = -3 - -2.94. Let f = z - -0.16. Is f at most as big as 8?
True
Let l be 3/12*(-1 - 0). Is 1 smaller than l?
False
Let h = 30.6 + -30. Are 2 and h nonequal?
True
Let g = 86 - 87. Is -3/59 <= g?
False
Let d = -69 - -894/13. Let u = -25/52 - d. Let i be (4/(-6))/2*-3. Is i not equal to u?
True
Let a = -1/258 + -580/129. Which is bigger: a or -6?
a
Let j = -2 + 2.4. Let s = 0.2 + j. Which is smaller: -1 or s?
-1
Suppose -2*w + 3*g - 98 = 0, 94 = -2*w - g + 2*g. Which is greater: -47 or w?
w
Suppose 0 = -2*d + 7*d - 70. Let w = 43/3 - d. Is 0 at least as big as w?
False
Let s = 21 + -13. Let i be (-16)/8*(-2)/s. Which is smaller: i or 2?
i
Suppose -3*a = 2*a + 5*k - 50, 32 = 2*a - k. Let n be (-16)/(-7) - 4/a. Is n smaller than 0?
False
Let n = -4 - -4. Let a = -1 + n. Is -2 < a?
True
Suppose -4*g = -8*g. Is -2/9 smaller than g?
True
Let y = -22031/17368 - 1/1336. Let c = 16/13 + y. Is c greater than 0?
False
Let q = 0.45 - 0.4. Let z = q - -1.95. Is 0 at most z?
True
Let i = -0.4 + 5.4. Let g = 8 - 4. Suppose 5*o + g*f - 5 = 0, f + 3 - 6 = -3*o. Is o smaller than i?
True
Let l be 2 - (-6)/(-2) - 0. Let r be (l - 0)/((-3)/(-3)). Let q = 3 + -3. Does q = r?
False
Let n be ((-12)/80)/((-18)/16). Let l = -2 - -2.2. Let m = -0.3 + l. Is n equal to m?
False
Let h = 11.5 + -13. Let m = h + 1.6. Which is smaller: m or 0.3?
m
Let p = -17 + 38. Let v = p - 11. Are v and 10 non-equal?
False
Let f = 2 + -2. Suppose 3*c - 10 = -f*r - 5*r, 25 = 5*c. Which is greater: 3/7 or r?
3/7
Suppose -10*y + 9*y + 4 = 0. Are y and 3 equal?
False
Suppose -j = -4*w + 22, 5 = -3*w + 2*w - 5*j. Let o(v) = v**2 - 5*v. Let l be o(6). Is l at most as big as w?
False
Suppose -4*s - h = 2, 4*h + 13 = 3*s + 5. Suppose s = -3*m + 1 + 2. Is m less than 1/4?
False
Let z = -6 + 2. Let j be 4/3*6/z. Is j <= -2?
True
Suppose 0 = -d - 2 - 10. Which is greater: d or -8?
-8
Let h be 0 + 2/(-1) + 0. Let t = -2 - 1. Is t != h?
True
Let y be 2/(-3)*3/(-2). Let r(a) = -a + 13. Let p be r(11). Is y < p?
True
Suppose 0*u - 12 = 3*u. Let f = u - 2. Is -5 at least f?
True
Let g be (-2)/(-3) + 20/6. Suppose 3*a - 4*s = -44 + 9, -g*s = 2*a - 10. Is a at most as big as -5?
True
Let g(d) be the second derivative of d**5/20 - d**4/12 - d**2/2 + 3*d. Let s be g(0). Let u be -2 + (0/(-2) - s). Is 0 equal to u?
False
Let v be ((-4)/15)/(8/12). Suppose -2*l - 3*t + t + 4 = 