 or -4?
-4
Let a = -14 + 6. Let k be ((-2)/4)/(a/208). Is k not equal to 13?
False
Suppose 4 = n, -u - 2*u - 4*n - 260 = 0. Let j be -2*(1 - (-96)/u). Is j > -1?
True
Suppose 4 = 4*a, -5*u = 3*a + 2*a + 35. Let l(p) = p**3 + 8*p**2 + 5*p - 7. Let y be l(-6). Suppose 6*s + y = s. Is u smaller than s?
True
Let p = -1.2 + 2.2. Let g = 0.8 - p. Suppose -v - 4*s + 8 = -5*v, 5*v - 11 = -2*s. Which is bigger: g or v?
v
Let g(n) = n - 7. Let u = -9 - -15. Let z be g(u). Let h be 2/(-8)*(2 + 1). Which is bigger: h or z?
h
Suppose -4 = -2*a - 0*a. Let m be 0 - (-2)/a*4. Suppose -3*f - f - 3*r = -18, -r = -2. Are f and m unequal?
True
Let x = -0.3 - -1.3. Let r = 4 + -4.05. Let z = 3.95 - r. Which is smaller: x or z?
x
Let a(u) = 98*u + 12. Let s be a(1). Is 110 at most s?
True
Suppose 3*j + 515 = -4*a, -4*a - a = 2*j + 348. Let b be j/(-390) + 3/(-5). Let n(l) = l**3 + 5*l**2 - 5*l + 7. Let d be n(-6). Is b >= d?
False
Let h be 2/9 + 187/495. Let k(l) = l. Let w be k(2). Let c be -1*w - (-3 + 1). Is h < c?
False
Let m be (1*20/(-4))/1. Is -1 greater than m?
True
Let d = 39 + -33. Is 6 at most as big as d?
True
Let b be ((-6)/(-4))/(15/40). Which is smaller: 3 or b?
3
Let b(h) = -h**2 - 2*h + 2. Suppose v + 6 = -v. Let f be b(v). Let c be (-3)/(18/20) + 2. Which is smaller: c or f?
c
Let m be (7/(-4))/(1/(-76)). Suppose 0 = d - m + 21. Let h = 451/4 - d. Are h and 0 nonequal?
True
Let j = -47 - -62. Is j < 2?
False
Let v = 49 - 53. Which is bigger: 6 or v?
6
Let l be (-2)/(-3 - (-2)/1). Suppose -l*o + 8 = -6*o. Is 1 < o?
False
Suppose 6 - 18 = -w - 2*x, -2*w = -x - 4. Let d = 5 + w. Is 9 at least as big as d?
True
Let i(j) = 37*j**3 - 1. Let g be i(2). Let z = g + -877/3. Which is bigger: 4 or z?
4
Suppose 0 = -3*h + 6, 3*c = -0*c + 3*h - 57. Let x = -1 + c. Let k be (8/x)/((-20)/6). Which is bigger: k or 1?
1
Let o(c) = -c**2 + 3*c - 2. Let w be o(2). Suppose -2*n + w = -6. Suppose -2*b - 15 - 3 = -4*t, 0 = 2*b + n*t - 17. Which is smaller: 4 or b?
b
Let w(d) = 7*d - 5. Let h be w(-7). Let z = 3 - 1. Let k be 4/z - h/(-24). Is k <= -2/13?
True
Let i(q) = q + 9. Let h be i(-8). Which is smaller: h or -2/45?
-2/45
Let g(l) = 17*l + 5. Let b(r) = -9*r - 3. Let w(k) = -11*b(k) - 6*g(k). Let z be w(6). Let j be -3*16/z + -3. Is j < 0?
False
Let s be (2 - -2)*(-4)/(-16). Which is smaller: 2/19 or s?
2/19
Suppose 4 = -2*j - 3*x + 19, -x = 3*j - 33. Let r = 14 - 1. Is j at least r?
False
Let g = 5/2 + -3. Let v(m) = -m**3 + 8*m**2 + 9*m - 10. Let d be v(9). Let x(u) = -u - 11. Let f be x(d). Do f and g have the same value?
False
Let b = -1 + 2. Let k = 159/410 + 1/82. Which is smaller: b or k?
k
Let p be (-22)/(-165)*10/8. Which is smaller: 0 or p?
0
Let y = -71 + 76. Suppose 5*m + 0*m - 20 = 0. Suppose -2*d + 4*i = 3*d - 28, m*i = -3*d + 4. Which is smaller: d or y?
d
Suppose 0 = -4*z + 35 + 5. Let v = -2 - z. Which is smaller: -10 or v?
v
Let l = -411/65 + 90/13. Let m(y) = -y + 0*y**2 - 6*y - 7 + y**2 + 0*y**2. Let n be m(8). Is n at most l?
False
Let y = 7 - 4. Suppose 0*s + 16 = -4*s. Let b = y + s. Is b < -3/10?
True
Let y(l) = -l**2 - 6*l - 3. Let s be y(-5). Which is smaller: 0 or s?
0
Let c = -6 + 5.3. Let g = -1.7 - c. Is 0.2 <= g?
False
Let w be 1 + (4/10)/((-1)/5). Is -2/11 <= w?
False
Let k be (-18)/54 + (-23)/3. Suppose 3*l + 2*a + 2*a + 1 = 0, 3*l - 4 = -5*a. Which is greater: k or l?
l
Let q = -405 - -4053/10. Is 1 at most as big as q?
False
Let b = 8 - 8. Let s be (88/(-28) - -4)/(-2). Is b > s?
True
Let i = -59/5 + 423/35. Let x = 0.7 - 0.1. Let h = 0.4 + x. Which is greater: i or h?
h
Let d = 18 + -18.7. Let l = d - 0.3. Which is greater: 0 or l?
0
Suppose -3*p - 2*p = -140. Let w be 2/3 - p/6. Which is smaller: w or -3?
w
Suppose 0 = -2*r + 9*r - 301. Is r < 43?
False
Let h be (-1)/(-2*3/54). Let y be h/3 + -4 - 0. Suppose 0 = -0*p + p - 1. Is y not equal to p?
True
Let d(r) = -r**2 + r**2 + 6*r + r**2 + 6. Let t be d(-4). Let a be t/(-12) - 42/36. Is a at most -1?
True
Let x = -68 - -80. Is x at least as big as 11?
True
Let j = -665/3376 - -2/211. Let n = j + -7/48. Which is smaller: n or 1?
n
Let z = 22 - 21.1. Let r = -0.7 + z. Is -0.2 at least as big as r?
False
Let z(r) = -3*r - 1. Suppose 3*b - 2*b + 1 = 0. Let g be z(b). Let d = 1.3 + -0.3. Is d less than g?
True
Let y = 0.05 - 0.35. Let l = y - 0.7. Which is smaller: 1/4 or l?
l
Suppose -d + 9 + 7 = 4*a, -2*a = -4*d + 10. Let i be 8/(-6)*a/2. Is -2 < i?
False
Let a(j) = -4*j**2 - 4*j - 2. Let i be a(-3). Let u be (-16)/(-234) + (-4)/i. Let f be (-1)/2 - (0 + -1). Which is greater: f or u?
f
Suppose 1 = 3*g + 4. Is g equal to 2/17?
False
Let y be ((2/1)/4)/((-17)/(-782)). Is y bigger than 23?
False
Let i(j) = -j - 5. Let f be i(-5). Which is greater: -7/6 or f?
f
Suppose 2*t - 3*t + 11 = 0. Suppose x + 1 = -t. Is -13 not equal to x?
True
Let n = 28 + -23. Let h = n - 12. Is 1 at most h?
False
Suppose -4*r = -0*r - s + 3369, 1685 = -2*r + s. Let n be 0 - r*3/27846. Let z = -1/221 - n. Which is smaller: z or 0?
z
Let f = 128/3 - 42. Which is smaller: f or 2?
f
Suppose 2*y - 5*j = 37, 4*y + 2*j - 27 = y. Suppose 22 = z + 10. Is z less than or equal to y?
False
Let v = 1.4 + -7.4. Suppose 2*i + 2 = -0. Which is smaller: i or v?
v
Let p be -1 + -2 + 1 + 18. Let h be ((-2)/p)/((-1)/(-2)). Let m be (-4)/10 - 7/(-5). Which is greater: m or h?
m
Suppose 0 = -0*j - 4*j + 4. Let m = 27 + -24. Which is smaller: m or j?
j
Suppose 71 = 12*t - 85. Which is greater: 11 or t?
t
Let g = -187/18 - -7217/90. Let q = 70 - g. Is q >= 1?
False
Suppose 0 = -0*s + 4*s + 4. Is 1/6 at least s?
True
Let w(y) = -y**3 + y + 1. Let k be w(-1). Let t be (-8)/(-4)*2/14. Which is bigger: t or k?
k
Suppose 11 - 1 = -2*w. Let x = w - -4. Is x less than or equal to -5?
False
Let d be 76/18 + 2/(-9). Let a = d + -5. Let u be a/(-1*(-2 + 3)). Which is bigger: u or -2/7?
u
Let s = -1 - 0. Let l be ((1 + -1)*s)/(-2). Let r = 1 + l. Is r smaller than 0?
False
Let i = 94 - 95. Which is smaller: -12/7 or i?
-12/7
Let s = 98 + -29. Let c be s/12 - (-1)/4. Which is smaller: c or -0.1?
-0.1
Let l be 2/17*(8 + -4). Let j = -49/68 + l. Let w = j + -1. Is -2 at most w?
True
Let h(o) = -o + 25. Let f be h(0). Suppose -q - f = 2*g + 3*g, 9 = 4*g - 5*q. Let r be 1/(((-10)/g)/(-1)). Which is bigger: 1 or r?
1
Let k = 1033/9 + -115. Which is smaller: k or -52?
-52
Suppose -l - 3*x - 13 = -0*l, -11 = 3*l + 2*x. Which is bigger: l or -2.6?
l
Let l = -4 - -10. Let m(f) = f**2 + 0*f**2 - l*f - 2*f**2 - 4 + 2*f**2. Let v be m(6). Which is bigger: v or -9/2?
v
Let w = -2 - -3. Let p = w - 1. Let z = 31/76 + -3/19. Is z <= p?
False
Let a be 2/(-9) + 2/9. Suppose 1 = -4*h - j, 0 = -5*h + j - 8. Is h bigger than a?
False
Let n be (-9)/(-3) - 5 - -5. Suppose -n*a + 6 = -21. Which is greater: a or -0.1?
a
Let q(b) = 4*b + 7. Let s be (-154)/70 - 1/(-5). Let g be q(s). Is 2/7 less than or equal to g?
False
Let f(w) = 3*w + 45. Let n be f(-19). Is -11 greater than n?
True
Suppose -q = 2*a + 48, -5*q + 4*a = 3*a + 196. Which is smaller: -39 or q?
q
Let s = -3 - -2.8. Let n = -1.1 - s. Let w = n - -1. Is w greater than 2?
False
Let n(o) = -17*o**2 - 17*o - 2. Let k be n(-1). Let z be 0 + (-10)/4 + 1. Which is greater: k or z?
z
Let h = -53 + 52. Which is smaller: h or 4/17?
h
Let u be (1*-3)/((-1)/(-1087)). Let p be u/12 - 3/12. Let j be 36/p + (-1)/(-4). Which is smaller: 1 or j?
j
Let c = -36 - -38. Let v(y) = 3*y**2 + 1 - 6 + 3 - y**3. Let j be v(c). Is j > 2?
False
Let u = 4.96 + 0.04. Let h = u - 4.6. Let f = -1.4 + h. Is f at least 0.1?
False
Suppose 0 = 3*o + 2*o + 55. Let m be (-1 - 1)/(5/28). Let i = o - m. Is -1 bigger than i?
False
Suppose -5*r + 2*f = -11, 4*r + 8*f + 11 = 3*f. Let m be 3/4 - (-180)/16. Let s be ((-1)/r)/(m/2). Which is smaller: -1 or s?
-1
Let g(r) = -5*r - 13. Let w be g(-4). Is w < 9?
True
Let z be (-2 - (-2)/6)*(-1206)/(-45). Which is smaller: z or -44?
z
Let b = 29 - 19. Suppose -4*y + b = -2*s, -5*s + 2*s - y = -13. Suppose -s*f = -5*f. Which is bigger: f or 2/3?
2/3
Let x(p) = -16*p**3. Let o be x(-1). Suppose 8 = 4*h - o. Let c = h + -5. Is c less than -1/3?
False
Let i = 9/8 + 3/8. Let j = 3 + -6. Let x = 2 + j. Is x > i?
False
Let m = -0.98 + -0.02. Is m less than or equal to -5?
False
Suppose 6*d + 2 = 5*d. L