-2. Which is smaller: -1/3 or v?
v
Suppose -3*j + 22 = -5*q, -3*q + 2 = 4*j - 2*j. Suppose -15 = -4*k + 1. Is k at most as big as j?
True
Let z(t) = t**3 + 6*t**2. Suppose -s = 2*s - 36. Suppose -p = -5*b - 33, 0 = 5*b + 5*p + s + 3. Let x be z(b). Are x and 1 equal?
False
Let t be (-2)/4 + 3/(-6). Let m = -2 - t. Let u be m*(0 + -1) + -1. Is -2/21 > u?
False
Let m(l) = 3*l**2 - l + 15. Let r(f) = -4*f**2 + 2*f - 22. Let g(y) = 7*m(y) + 5*r(y). Let a be g(-5). Are 4 and a nonequal?
True
Let y be -1 - (1 - (3 - 3)). Let p(n) = -n + 1. Let u be p(3). Is y < u?
False
Let u be (-155)/(-9) + (-44)/198. Do u and 16 have different values?
True
Let o be (-4)/6 - 28/3. Is -10 at least as big as o?
True
Suppose 0 = -4*g - 8, 2*g = 2*f + 2*f - 532. Which is greater: f or 1?
f
Suppose 0 = 4*l + s - 21 + 69, 0 = 5*l - 4*s + 60. Let u = -11 - l. Which is smaller: 1/7 or u?
1/7
Let m(f) = -f**2 - 3*f - 1. Let k(z) = z**2 + 3*z. Let w(s) = 3*k(s) + 4*m(s). Let g be w(-3). Let n be (-13)/20 - g/10. Which is smaller: 0 or n?
n
Let m(h) = -h + 12. Let a be m(9). Does a = 3?
True
Let x = -0.4 - 0.6. Let f = 0 + x. Is 3 greater than or equal to f?
True
Let j = 0.5 - 0.3. Let t = j + -0.1. Let s = 0.46 - 0.52. Which is greater: s or t?
t
Let v(n) = -n**2 + 4*n + 4. Let a be v(4). Let c be 5*a/(-50)*-5. Is c != 9?
True
Let n = -31/2 + 15. Is n less than 0?
True
Let o be (2/(-4))/((-2)/12). Suppose -2*t = t - o. Is -1 > t?
False
Let b(p) = p. Let l be b(3). Is 7/2 at most l?
False
Let m be 1/3 - 4/(-6). Let a be 2/(-6) - (-4)/(-6). Let y be a/((3 - 1)/4). Which is bigger: y or m?
m
Suppose 4*x - 16 = 4*w, -4*w = -6*x + 3*x + 16. Let k(q) = 9*q**3 - 1. Let c be k(1). Is c smaller than x?
False
Let h be 8/(-3)*9/(-72). Suppose 4*k - 1 = -3*m - 11, -2*k - 20 = 4*m. Is h <= m?
False
Let m = -2.1 - -2.08. Is m not equal to -1/2?
True
Suppose 5*l - 9 = -3*f, l = 5*l + 5*f - 2. Let y be 8 - 0/l - -1. Is y less than 9?
False
Let t be 3*((-5)/3 - -2). Let f = 6.3 - 6. Let z = 0.2 - f. Which is bigger: z or t?
t
Let p = -66 + -70. Let k = -1492/11 - p. Which is greater: 0 or k?
k
Let v = 1.7 + -2. Let l = -7.18 + 0.08. Let c = l - -7. Which is greater: v or c?
c
Let g be (4 + -7)/((-6)/8). Let k = 3 - g. Is k bigger than -0.5?
False
Let v(d) = -d**3 + 27*d**2 - 28*d + 6. Let h be v(26). Is -46 > h?
False
Let w(j) be the second derivative of 2*j**3/3 + j**2 + 3*j. Let d be w(-2). Let g(a) = -a - 5. Let r be g(d). Which is bigger: r or 4?
4
Suppose 5*j - 2 = 4*j. Suppose -j*h - 4 = 2*s + h, -2*h + 10 = -5*s. Is s smaller than 0?
True
Let o be 4/((9/(-42))/(6/8)). Which is smaller: -3/4 or o?
o
Let m = -3 - 6. Which is smaller: -8 or m?
m
Suppose -1 - 6 = -2*d - 3*y, -2*d - 4*y = -12. Let t be d/(-10)*(-12)/(-8). Let x = -182 - -182.1. Which is smaller: t or x?
x
Suppose 21 = y - 5*j, 2*y + 2 = j - 1. Let u = 55/28 + -9/4. Which is greater: y or u?
u
Let k = -15 + 14.4. Let t be (-1)/(4/(-6)) - 1. Which is smaller: t or k?
k
Suppose 16 = 5*b - b. Let q(d) = -d**3 - 4*d**2 - d - d**2 - 4*d. Let w be q(-4). Is b greater than w?
False
Suppose -3*t + 0*t = -3. Let x be (-3)/6*(-6)/t. Suppose -1 = -x*n + 2*n. Does n = 1?
True
Suppose 0 = -q - q. Suppose k + 2*k = q. Let s be -1*(-1 - 33/(-30)). Which is bigger: s or k?
k
Suppose -2*h - 6 = -3*h. Is 7 at least h?
True
Let j = 0.2 + -0.2. Let c = 52 + -52.1. Is j at least c?
True
Let x = 39/56 - 3539/4760. Let u = 482/595 - x. Which is bigger: -1 or u?
u
Suppose -5*z + 31 = w, 5*w - 5*z - 10 = -z. Let j be -3*((-2)/w + 1). Let u = -2 + 1. Which is greater: u or j?
u
Let g = 4.4 - -1.6. Which is bigger: g or -1?
g
Let h(x) = 2*x**2 - x - 11. Let w be h(-2). Let n(i) = -i**2 - 2*i + 3. Let b be n(-3). Is w at most as big as b?
True
Let o(q) = 8*q - 6 - 8*q + 4 - 3*q. Let w be o(-1). Let r be 3/(1/(-1)) - 0. Is r not equal to w?
True
Suppose 0*q = -4*q - 12, -2*b - 11 = 5*q. Let k = b - 3. Which is smaller: -3 or k?
-3
Suppose 0 = -6*l + 2*l + 8. Let o be (l/8)/((-5)/12). Let u = 35 + -35.1. Do u and o have different values?
True
Suppose 25 = 5*j, 8 = -3*b + 3*j - 1. Suppose 5 = v - b. Is v at least as big as 7?
True
Let x be (-24)/10 - (-1 + -1). Suppose -2*s - 6 = -2*i, 4*s - 5*i = 3*s - 19. Which is smaller: s or x?
x
Let m(z) = z**2 + 6*z - 2. Let r be m(-6). Let y be 8/(-6) + 5/(-3). Which is smaller: y or r?
y
Let b be 4/6 - (-56)/(-3). Let f be b/14 + (-4)/(-14). Let u = f + 2. Which is greater: u or 2?
2
Let d be 3*(-7)/((-798)/4). Which is bigger: 1 or d?
1
Let n = 536 + -15546/29. Is -2/3 at most n?
True
Suppose -2*k - 4*h - 44 = 2*k, -4*h = -k - 1. Let c be 0 + 0 + 129/15. Let v = k + c. Is v > -2/5?
False
Let i = 203 - 204. Let n = 337/6 - 56. Which is smaller: i or n?
i
Let v(l) = -l**3 + 9*l**2 + 8*l + 19. Let i be v(10). Let r be 10/5*(-2)/(-36). Which is bigger: r or i?
r
Suppose 0 = 4*x - 4, -5*x + 209 = 5*k + 4. Suppose -l = -6*l + k. Let t = l - 17/2. Is -1 smaller than t?
True
Let n = 466 - 13516/29. Are -1 and n non-equal?
True
Let d(v) = v**3 + 5*v**2 - 6*v - 2. Let h be d(-6). Suppose 0 = 2*x + 3*x - 3*b + 5, 5*x + 5 = 5*b. Let c = x + -1. Do h and c have the same value?
True
Let r = 0.13 + 1.47. Let g = r + -0.6. Which is bigger: g or 0?
g
Let s = -25/57 + 2/19. Which is smaller: -1/16 or s?
s
Suppose 2*m - 4 = -5*b - 0, b + 2 = m. Let z be 189/(-2254)*44/6. Let j = z - -1/23. Is j greater than b?
False
Let y = 6 + -6. Does y = -1/3?
False
Let a = 15 - 11. Which is bigger: a or -3?
a
Let r be 4/25*15/6. Let g = -14/15 - r. Is g less than or equal to -2/3?
True
Let q = 0.11 - 0.07. Let b = 3.04 - q. Is 0.1 >= b?
False
Let w be (((-10)/(-6))/(-5))/(2/(-18)). Which is greater: w or 5?
5
Let m = 1.3 + -0.3. Let v = 9.2 + -11.21. Let k = v + 0.01. Which is smaller: k or m?
k
Let z = -257.9 - -258. Let h(n) = 5*n**2 - n + 2. Let l be h(2). Is l less than z?
False
Let l(g) = -g**2 + 6*g + 113. Let w be l(14). Suppose 3*b - 2 = 4. Is b bigger than w?
True
Let u(w) = -w**3 - 11*w**2 + 11*w - 3. Let o be (-32)/(-6)*(-72)/32. Let g be u(o). Suppose 3*x = 2*x + 3*r + 24, 5*x - 30 = -3*r. Is g != x?
False
Let x = -15/2 + 673/90. Which is smaller: 0 or x?
x
Suppose 5*g + 37 = 4*x, 12 = g + 4*x + 29. Suppose 6 = -l - 3. Let d = g - l. Which is smaller: d or 1?
d
Let q be (-6)/(-2) + (-165)/40 + 1. Which is greater: q or 0?
0
Let c = -2 - 0. Let d be (2 + c - 0) + -2. Let t = d - -2. Is 0 > t?
False
Let q = -3 + 4. Let j(g) = 2*g - 9. Let p be j(10). Let k be ((-2)/p)/((-6)/12). Which is smaller: q or k?
k
Let j(o) = 3*o + 1. Let s(n) = -4*n - 1. Let f be s(-1). Let h(u) = -4*u - 1. Let m(w) = f*j(w) + 2*h(w). Let a be m(0). Which is greater: 0.1 or a?
a
Let d(v) = v**2 - 9*v + 5. Let k be d(9). Which is greater: 3 or k?
k
Suppose -p - 2*n - 11 = 0, -5*p + 4*n - 3*n = 0. Let d be ((-2)/(-4))/(3/(-6)). Let s = p - d. Is s at most as big as 2?
True
Let n(z) = -z**3 + 5*z**2 + 7*z - 5. Let w be n(6). Let d(a) = -a**3 - 6*a**2 - 4*a + 3. Suppose -31 + 6 = 5*j. Let u be d(j). Which is greater: u or w?
w
Let p(w) = -2*w**2 - w - 1. Let y be p(-1). Suppose -6 = -0*o + 2*o. Which is bigger: y or o?
y
Let k = -0.035 - -2.135. Let m = k - 2.1. Is m != 0?
False
Let a(j) = j - 6. Let i be a(6). Let k(r) = -r**3 + 4*r**2 + 5*r + 2. Let d be k(5). Let p = i + d. Is p less than or equal to 3?
True
Let a(v) = v**2 + 2*v - 1. Let s be a(-3). Let q be (0 + -3)*(-5)/15. Suppose q = -b + s*b. Is b bigger than 2/5?
True
Let i be (4/9)/(18/27). Is i smaller than 0.64?
False
Suppose 0*k = -3*k - 21. Which is smaller: -8 or k?
-8
Suppose -1 = 5*k + 14. Is k at most -5?
False
Let v = -0.02 - -0.04. Let w = v + 0.48. Which is smaller: -1 or w?
-1
Let z = 0 - -1. Suppose 2*i - 2 = -0*i. Suppose t = -0 - i. Is z at most t?
False
Suppose 0 = -4*z + 72 + 12. Let w = 34 - z. Is 14 < w?
False
Suppose -2*g - 1 + 11 = -3*h, 4*h = -4*g. Suppose 5*q = -j - 17, j + 11 = -2*j - 5*q. Suppose j*l + g + 1 = 0. Is l at most as big as 1?
True
Let m = -4 + -11. Let l = 13 + m. Is -1 < l?
False
Suppose 3*x = -0*x. Suppose -2*p + 3 - 17 = x. Let v = -3 - p. Which is smaller: v or 3?
3
Let n(y) = -y + 15. Let a be n(12). Suppose -a*x = x. Are 0 and x non-equal?
False
Suppose -w + 1 - 6 = 0. Let l = w + 10. Is 4 at most as big as l?
True
Let k = 2 - -1. Let p(s) be the thir