w at least n?
False
Let x(p) = -p - 1. Let j be x(-2). Let q be (3 - 0) + j/(-1). Suppose 2*g = w - 5 - 0, -q*g - w = -1. Which is greater: g or -4/7?
-4/7
Suppose 9 = 2*k + 3*w + 5, 0 = 2*k - 2*w - 4. Let n be (-1)/(-5)*15/2. Which is smaller: k or n?
n
Let w be -5 + (-1 - (-109)/19). Is w > 1?
False
Suppose 4*l - 3 = -4*a + 1, -2*l - 10 = 0. Let u be (-12)/8*30/(-9). Which is bigger: a or u?
a
Suppose 2*g = 8 - 4. Suppose g*i + 11 = -3*n, -5*i - 17 - 5 = 2*n. Is i at most as big as -4?
True
Let k = -7.86 + -1.14. Is 8 at most k?
False
Let u = -21 + 30. Suppose -5 = -4*o - u. Is o smaller than 2/7?
True
Let u(s) = -4*s - 6. Suppose -3*c = -5*f - 26, -4*c - 2 = -10. Let b be u(f). Suppose -5*k - b = -p, 5*k - 2*p = -7*p - 40. Is k at least -3?
True
Let y be 36/20 - 2/(-10). Suppose y*k = k + 5. Is 3 >= k?
False
Let h = -34047/10 + 3402. Let n = 1651/1380 + 1/276. Let f = n + h. Which is smaller: -2 or f?
-2
Let m = -13 - -14. Which is bigger: -0.7 or m?
m
Let k = 7 - 4. Let f be (0 - -2)*1/2. Which is bigger: k or f?
k
Let y = 0 + 3. Suppose 0 = -3*r - 0*r + y. Which is bigger: -0.08 or r?
r
Let q(b) = -b**2 - 8*b - 6. Let s be q(-6). Suppose -9 = s*w - 3*w. Is -2 not equal to w?
True
Let v = 10.5 - 9.5. Is v at most as big as 6.8?
True
Let n(y) be the second derivative of y**3/2 + 3*y**2/2 + 2*y. Let j be n(-3). Let d = -4 - j. Is d > 2?
False
Let q be 6/252 + 2/(-12). Which is greater: -1 or q?
q
Let s be 4/(-10) - (-336)/(-35). Let h = s + 8. Is 2/7 at most as big as h?
False
Suppose 15 = -5*b + 5*c, 4*c = -2*b + 19 - 7. Are 2/3 and b non-equal?
True
Let o(k) = k**2 + 2*k + 1. Let i be o(-2). Is -1/48 greater than i?
False
Let x(f) = -3*f + 3. Let y(g) = g - 1. Let r(q) = -x(q) - 4*y(q). Let c be r(0). Do c and 1 have the same value?
True
Suppose -93 - 57 = -5*b. Let p be ((-4)/b)/(10/15). Suppose 0 = -4*l + 3 + 1. Is l greater than p?
True
Let h(r) = r**3 + 3. Let n be h(0). Let p = n + -4. Let d = 86/15 - 27/5. Which is smaller: d or p?
p
Let f be 1*(-9 - (1 - -1)). Let n(j) = -j**2 - 12*j - 13. Let v be n(f). Let d be ((3 + -3)/v)/(-1). Which is smaller: -1 or d?
-1
Let z be 4/(-14) + 451/35. Let c = z - 13. Suppose -j + 3 = 2. Which is smaller: j or c?
c
Let n = 44 + -55. Is -10 > n?
True
Let g = -6 + 3. Let j = 4 - 6. Which is smaller: j or g?
g
Let z be 4 - 3/(6/4). Suppose -2*p - z = 2*g, g + 2*p - 4 = 2*g. Let l be (-1 - 1)*(-2)/(-6). Is l < g?
False
Let m be ((-6)/4)/(3/24). Let y = 14 + m. Is y at least 3?
False
Let y(m) = -m - 3. Let c be y(0). Which is bigger: c or -5?
c
Let n = -0.4 - -0.1. Let j = 8 - 6. Which is smaller: j or n?
n
Let j(g) = -g + 1. Let p be j(-2). Let x = -1 + 4. Suppose q = x*q - 8. Is q at least as big as p?
True
Let a be 2 + 2*-1 + 7. Let h(d) = -d + a + 2*d - 2. Let w be h(-4). Are w and 2 equal?
False
Let j be (4/(-20))/(3/(-6)). Which is smaller: j or -0.2?
-0.2
Suppose -2*y - 3*k - 36 = 2*k, -k = 4*y + 36. Let u be (-19)/2 - 2/(-4). Which is bigger: y or u?
y
Let g = 121.6 + -121. Which is greater: 1 or g?
1
Let j be (14/(-4) + 3)*0. Suppose j*x = -4*x + 4. Is 3/7 greater than x?
False
Let i be 23/(-3)*(-6)/(-4)*2. Which is smaller: -24 or i?
-24
Let d = -10 + 6. Let z = d - -6. Which is bigger: z or 1?
z
Let n(l) = -5*l + 5. Let p be n(4). Let r = p + 17. Is r <= -4/7?
False
Let g(i) = 21*i + 35. Let o(m) = -4*m - 7. Let s(z) = -2*g(z) - 11*o(z). Let a be s(-6). Which is bigger: a or -4?
-4
Suppose 0 - 2 = q. Let v = -2 - q. Let z = -428/5 + 86. Is v <= z?
True
Suppose -7*h - 15 = -2*h. Let f(w) = -w**2 - w + 4. Let l be f(-3). Is h > l?
False
Let k(q) = 3*q - 11. Let c be k(5). Suppose -2 = p - 6. Is c at most as big as p?
True
Let y(i) = -i**3 + 2*i**2 + i - 1. Let l be y(2). Let a(u) = -3*u. Let g be a(l). Is g < -5?
False
Suppose -2*f = 5*i + 4, 0*f = 3*i - 2*f - 4. Let m = i + 3. Which is bigger: m or 2?
m
Suppose -2*c = 3*m - 2, -5*c + m - 11 = -33. Suppose 0 = -3*p + p - c. Let g be p - (3 + 44/(-10)). Which is smaller: 0 or g?
g
Suppose y + 6 = 3*y. Suppose w + 4 = y*j, -w = 4*j - 0*w + 4. Let k = 11 + -11. Is k less than j?
False
Suppose 3*u - 6 = 3*m, 0 = 5*m - 3*u + 12. Let s = 0 - m. Let z(a) = 2*a - 10. Let o be z(5). Which is smaller: o or s?
o
Suppose 4*y - 66 = -3*q, -81 = -5*q + 3*y - 0*y. Which is greater: q or 35/2?
q
Let m = -10 + 11. Which is bigger: m or 2/9?
m
Let c be ((-6)/4)/((-5)/((-35)/1491)). Which is smaller: c or 1?
c
Let u = 0.2 - 0.1. Let h be 20/(-6)*(8 - 2)/(-150). Is h at least as big as u?
True
Let j(d) = -2*d - 5. Let z be j(-3). Is 0 >= z?
False
Let y(d) = d**3 - 4*d**2 + 3. Let j be y(3). Let l = j - -7. Is -3/20 > l?
False
Suppose -4*v - 4*f + 0*f = 32, 3*v - 2*f + 4 = 0. Let b be 1 + 0 - (-2 - v). Is b at least as big as -2?
True
Suppose z + 6*o - o = -14, -z - 12 = 4*o. Suppose 2*i + 8 = h, -5*h - i = 8 + 7. Which is bigger: h or z?
h
Let x(a) = -a**3 - 5*a**2 - 4*a + 1. Let p be x(-4). Let r be -2 + p + 9/11. Which is smaller: 0 or r?
r
Let d = 0 + -1. Is 1/5 less than d?
False
Suppose -4*l + 11 = -2*l - y, -2*y = 6. Let g be l*(2 - 2/4). Which is bigger: 0.1 or g?
g
Let y = 2161/20 - 108. Which is greater: 0 or y?
y
Let u be 1 + 0 - (3 + -1). Let k be (-4 - (-6)/(-9)) + 4. Does k = u?
False
Let g be (-14)/30 - (-1)/(-5). Let k = g + 4/15. Which is smaller: k or -0.03?
k
Let g = 2.5 + -2.71. Let a = g - -4.41. Let u = a - 4. Is 1/7 >= u?
False
Let f = -61/2 - -32. Is 1 at most as big as f?
True
Let b(r) = -r**3 - 3*r**2 + 1. Suppose -c = 4*h - 5, -c + 10 = -3*c + 2*h. Let m be b(c). Let z = -2 - -3. Is z bigger than m?
False
Let u(a) = 2*a + 18. Let y be u(-9). Suppose y = n - 0*n. Is n greater than or equal to 0?
True
Let z = 0.08 - -0.02. Let g be (-5)/(-4)*3/(-5). Which is bigger: z or g?
z
Let b = 614896/1785 + -5833/17. Let f = b - 1/35. Suppose -3*r - 4*g + 11 = 0, 5*g - 6 = 3*r + r. Is r less than or equal to f?
True
Suppose 0 = 3*g + 5*m + 53, m + 6 = 2. Is g less than -9?
True
Suppose -t + 8 = -2*t - 5*m, -4*m = 8. Let s be 0 + 1 - t/3. Suppose l + 2 = -5*i, -4*l + l - i + 8 = 0. Which is smaller: s or l?
s
Suppose 164 + 76 = -16*x. Which is smaller: x or -3?
x
Let r = -262/3 + 86. Let u(f) = f**2 + f - 1. Let s be u(-1). Let t = r - s. Which is smaller: 3/5 or t?
t
Suppose 0 = -6*t + 2*t. Suppose -5 = -3*l - 2*l. Let k be l/(-2)*t/1. Are 3/4 and k equal?
False
Let b = 21 - 33. Let i = -13 - b. Is -1 at least as big as i?
True
Let m = 1.8 + 0.2. Let a = 3.92 - -0.08. Let w = a + -5. Which is bigger: w or m?
m
Suppose 2*s - 55 = 47. Let w = 205/4 - s. Which is smaller: -1 or w?
-1
Let d = 27/13 + -25/13. Which is greater: 1 or d?
1
Let c = 0.0157 + -2.8457. Let m = -0.17 + c. Which is bigger: m or -0.3?
-0.3
Let x = 142128511/967263 - -16/29311. Let g = x + -147. Which is smaller: g or -1?
-1
Let z = -10.5 - -10.476. Which is bigger: 2/3 or z?
2/3
Let u be 63/4 + (-18)/24. Let v be (-7)/(-15) - 10/u. Is v greater than 3?
False
Let r be -3 + (1 - 4 - -8). Suppose 5*u + 6 + 11 = r*b, -3*u - 8 = b. Does -2 = u?
False
Let r(f) = f**2 + 8*f - 15. Let o be r(-12). Let w be 6/o + 0/3. Let k = 0.3 - 1.3. Which is bigger: k or w?
w
Let z = 83 + -35. Let p be (9/(-60))/((-27)/z). Let a = 23/30 - p. Which is bigger: a or 2/3?
2/3
Let u = 843.14 + -836. Let y = u + -0.14. Which is smaller: y or -2?
-2
Let b be (-1)/(6/142)*6. Let v = -1280/9 - b. Which is smaller: v or 0?
v
Let v = -0.9 - 0. Is v at least -0.1?
False
Let x = -3 - -6. Let s be 6/18 - 1 - (-8)/3. Is x at least s?
True
Let s = -25 + 25. Is s >= -2?
True
Let d(x) = -2*x**2 - 7*x + 7. Let a(q) = 3*q**2 + 14*q - 14. Let c(k) = 3*a(k) + 5*d(k). Let r be c(6). Which is smaller: 2/11 or r?
r
Let u(p) = p + 3. Let z be u(-3). Suppose -4*j + 4 + 0 = z. Are j and 0.2 nonequal?
True
Let d = -10126 + 678505/67. Let b = -8387/8777 + d. Let j = b + -244/1179. Which is bigger: 0 or j?
0
Suppose 5*z = -2*a + 15, -5*a + 28 = -0*a + 3*z. Suppose -5*l + 2*s + 39 = a*s, 5*l = -4*s + 42. Which is smaller: 7 or l?
l
Let s(p) = -16*p + 8. Let f be s(-7). Let i be (-2)/(-1) - f/63. Which is smaller: 1 or i?
i
Let l be (2 - (5 - 2))*7. Which is greater: l or -11?
l
Suppose 5 = -5*d + 200. Is 39 <= d?
True
Let z be (-4)/(-14) + (-23092)/70. Let b = -331 - z. Does -2 = b?
False
Let h = 10 - 7. Does h = 1?
False
Suppos