-2)/8 - (564/(-16) + -5). Which is greater: 2 or x?
x
Let w be (1*0/4)/(-2). Let p be 3 + (w - -1 - 3). Which is smaller: -2/9 or p?
-2/9
Let x = 83723/4 + -21060. Let c = x - -130. Is -2/7 <= c?
True
Let m be 7/(-7)*5*1. Let y(u) = u**3 + 6*u**2 + 4*u - 5. Let o be y(m). Are -2 and o equal?
False
Let j(a) = -a**3 - 6*a**2 - 6*a + 3. Let q be j(-5). Let c = 8 - q. Which is greater: c or -1?
c
Let y be (2/(-4))/(8/(-48)). Let u = 0 + 2. Are u and y equal?
False
Let p(o) = o**3 + 5*o**2 - 8*o - 9. Let t be p(-6). Let g(a) = -a**3 + 3*a**2 + a - 2. Let y be g(2). Suppose y*z = -7 + t. Which is bigger: z or -2?
z
Let v = -80 - -84. Is 6 at least v?
True
Suppose -h - 33 = 2*h. Is -5 at least as big as h?
True
Let j be (-14)/63 - 29/(-9). Suppose -2*a - j*a + 10 = 0. Is 2 less than or equal to a?
True
Let z be (2 - (3 - 1)) + 0. Are z and -5 nonequal?
True
Let g be 6/15*3/((-66)/10). Let p = 0 + 0. Is g greater than or equal to p?
False
Let s be -4 + (-2)/(90/(-155)). Is 1/3 <= s?
False
Let m = -2125/8 + 265. Is -1 greater than or equal to m?
False
Let u = -0.52 - -0.32. Let i = 1 + -0.9. Which is smaller: u or i?
u
Let l be (((-296)/6)/4)/(8/(-24)). Is l equal to 38?
False
Let u = 1127/1545 - 11/15. Let g = u - 4627/2060. Is g equal to -2?
False
Let p(z) = z**2 + 5*z - 5. Let g be p(-6). Suppose 3*u + 2 = -g. Is -3/14 at most as big as u?
False
Let z(q) = -5*q**3 + q**2 + q + 1. Let f be z(-1). Suppose 4*g + a - f = 0, 3*g - g + 3*a = -2. Let b be (3 + -1)/(-4)*-6. Is g less than b?
True
Let t = -66 - -64.84. Let y = t + 0.06. Let r = y - -0.1. Does 2 = r?
False
Let t = 1/119 + 235/357. Let p(d) = -d**2 - 3*d + 12. Let u be p(-5). Suppose -5 = -u*x - 1. Which is smaller: x or t?
t
Suppose -k - 12 = 3*k. Let d be 1/2*(3 + k). Let l = 5 - 5. Is d equal to l?
True
Let j(n) = -4*n - 1 - 9 + 0*n + 3*n. Let u be j(-7). Is u at most -2?
True
Let o = 0 + 4. Let d = 0 + o. Is d less than 3?
False
Let m be (7 - 4) + 0/(1*-3). Is 10 at most m?
False
Let o be 8/3*9/4. Let m be (-52)/o - 4/(-6). Let f(w) = -w - 6. Let v be f(m). Which is smaller: v or 0?
0
Let q(x) = -2*x - 1. Let b be (-10)/55 - (-31)/(-11). Let n be q(b). Suppose -n*y - 5*k + 15 = 0, 12 = 4*y - 0*k - k. Are y and 1 unequal?
True
Let x = -115 - -176. Let y = x - 97. Let c be ((-8)/y)/(1/(-3)). Which is smaller: -2 or c?
-2
Suppose 0 = 4*u - v + 191, 0 = 4*u - 2*v + 7*v + 221. Let l = -393/8 - u. Which is greater: l or 0?
0
Let y = -21 + 19. Which is bigger: -4 or y?
y
Let y = -78 - -82. Is 8 bigger than y?
True
Suppose -11*x + 121 = -0*x. Is x != 3?
True
Suppose 3*l = g + 3, -4*g - 15 = g + 2*l. Let b(y) = 2*y - 1. Let i be b(g). Let c = 11 + i. Is -1 at least as big as c?
False
Let m = 36 - 41. Which is greater: -3 or m?
-3
Let m be -1*(-4)/((-16)/52). Let o = m - -12. Is 0 greater than o?
True
Suppose 3*v + 4*p = 46, -3*p = -3*v - 0*p + 81. Which is bigger: 21 or v?
v
Let n = -1/11 + 13/22. Suppose 0 = -6*l + 7*l. Which is smaller: l or n?
l
Suppose w + w + 3*n - 20 = 0, 4*w - n = 26. Let t(q) = -q**3 + 7*q**2 - 2*q + 9. Let x be t(w). Is x at least as big as 0?
False
Let u = 1.92 + -4.52. Is -0.1 != u?
True
Let i(v) = v + 2. Let k be i(8). Let s be k/(-55) - (-48)/22. Let l be (-26)/12 + s*1. Which is greater: 1 or l?
1
Let v(p) = 2*p - 9. Let q be v(7). Suppose 4*j = -q*f - 21, -f + 5*j - 10 = -0*f. Let y(d) = 2*d. Let n be y(-2). Which is smaller: f or n?
f
Let k = 43 + -48. Which is smaller: k or -0.3?
k
Suppose -2*u - 15 + 17 = 0. Is -2/151 <= u?
True
Suppose -14 = 2*v + z, -4*v + 4*z - 8 - 20 = 0. Which is smaller: v or -1?
v
Let g(m) = m - 5. Let b be g(5). Let j = 0 + b. Suppose -15 = -17*z + 22*z. Is z < j?
True
Let w be (2/4)/1*0. Let t(d) = -5*d + 7. Let v(x) = 4*x - 6. Let o(c) = -5*t(c) - 6*v(c). Let q be o(w). Is 1 at most q?
True
Let z(l) = -3*l - 1. Let d(p) = -p**3 - p**2 + 2*p - 1. Let x be d(1). Let q be z(x). Suppose v + 16 = 5*w - 3*v, 2*w + q*v - 10 = 0. Which is smaller: w or 5?
w
Let g be (0 - 2)/((-4)/(-16)). Let z = 9 + g. Let h = 0.2 - 0.3. Are z and h nonequal?
True
Let p = -3.8 - -4. Let s = -0.3 + p. Let z = -0.2 - s. Which is bigger: z or 0.1?
0.1
Suppose 0*p + 16 = 4*p. Is p less than or equal to 0.6?
False
Suppose -2*v + 6*v = 3*l - 10, -2*l = -3*v - 7. Suppose 5*i - 35 = 5*a, 0 = 4*i - 5*i - 2*a - l. Suppose 6 = i*j + 14. Is -2 < j?
False
Let g = -2/139 - -179/2780. Is -0.1 greater than g?
False
Let z = 0.15 - 1.75. Let w = 34.4 - 42. Let v = w - z. Is v less than or equal to 0.1?
True
Let i(v) = v**3 + 7*v**2 + 7*v + 10. Let m be i(-6). Let a = -22 + 21.9. Which is greater: a or m?
m
Suppose 0*d + 3*d = -12. Let p be (-7 - d)/((-3)/5). Let u = 4 - p. Which is smaller: u or -1/3?
u
Let c(d) = -d**3 + 4*d**2 - 2*d + 1. Let w be c(3). Suppose 3*p - 12 = 0, -o - 14 = w*p - 8*p. Let g = 0.04 - -0.26. Which is smaller: o or g?
g
Suppose -46 = -4*w + 3*p - 13, -5*w + p = -33. Which is smaller: w or -5?
-5
Let w be ((-9)/12)/((-2)/8). Is w != 2?
True
Let n = -4 + 9. Let g = 6 - n. Do -1/4 and g have different values?
True
Suppose -5*d = -3 - 2. Let t = 0 - d. Is t equal to -1?
True
Suppose 3*o + 5*d + 8 = 0, d = -4*o + o - 4. Let b be -2*(20/24 + o). Is 0 at least as big as b?
False
Let x = 225 + -229.03. Let j = x - -4. Which is greater: 0.1 or j?
0.1
Let h = 0.7 + -0.2. Let m = h - -0.5. Is 1 < m?
False
Let r(g) be the third derivative of g**4/24 + 3*g**3/2 + 2*g**2. Let f be r(-7). Let n(b) = b**3 + 4*b**2 - 4*b + 7. Let k be n(-5). Is f at least as big as k?
True
Let i be -6*(-15)/24*2/(-18). Which is bigger: -1 or i?
i
Suppose 13*c - 1678 = -638. Is c < 80?
False
Suppose -5*h - 4*d + 0 = 1, -19 = -h + 4*d. Which is smaller: 16/5 or h?
h
Suppose f = -4*f + 10*f. Is f at most -2/17?
False
Let d = 0 - -1. Let l = d + -3. Is l less than -3?
False
Let z be (6/4)/((-6)/8). Let i be (0 + 0)*1/z. Let f be -1*1*0 - 2/(-8). Which is greater: i or f?
f
Let l = -8 - 1. Let b be ((-6)/(-9))/((-6)/l). Let c = 4 + -2. Do b and c have the same value?
False
Suppose -2*n + f = 17, n = -0*n + f - 11. Let h be 2*3/n*-2. Suppose -4*y - 7 - 9 = -h*v, 4*y + 4*v - 8 = 0. Is -3 <= y?
True
Let x = -32 + 19. Let w = -13 - x. Which is bigger: -1.3 or w?
w
Suppose -7 = -4*s + 21. Is 1/3 less than s?
True
Let t = 2 + 6. Let d = t + -1. Let o = 7 - d. Which is smaller: -2/5 or o?
-2/5
Let q = 2 + 0. Suppose -5*y = q*n + 41, -2*n - 7 - 35 = 4*y. Let x = n + 139/6. Which is bigger: -1 or x?
x
Let v = -101 - -233/3. Let h be (-2 - 4/(-2)) + -24. Let y = v - h. Which is bigger: 1 or y?
1
Let h be (-4)/(-3) - 4/(-6). Let a be 1*-1*(-2)/h. Suppose 4*p = -5*c - 2 - 22, -p + 15 = -4*c. Which is smaller: a or p?
p
Let s be (-20)/(-48) + 1/4. Which is greater: s or 2?
2
Suppose -4*a + 20 = -9*a. Let t be ((-6)/a)/((-3)/(-6)). Suppose 0*o + o + 1 = 4*w, -3*o - w - t = 0. Which is greater: o or 0?
0
Let y be (-1292)/16 - -4 - 2/8. Is -78 < y?
True
Suppose 0*v - v = -23. Let j = 145 - 122. Is j smaller than v?
False
Let v be (6/(-21))/(8/(-112)). Let y = 7 - 2. Which is bigger: v or y?
y
Let o(t) = -9*t - 16. Let y be o(4). Is y greater than -1?
False
Let y = 36 + -34.3. Let b = 0.09 - -0.01. Which is bigger: b or y?
y
Let u = -0.3 - -0.03. Let n = 0.07 + u. Is n at most as big as -3?
False
Suppose -5 = -3*b + n, -1 = 5*b - 2*n - 2*n. Is b >= 17/4?
False
Let v = -736/55 + 66/5. Suppose -3*q - 13 = 2*p, -3*p + 5*q - 2*q + 18 = 0. Let x(n) = n - 1. Let u be x(p). Is u at least as big as v?
True
Let i be ((-6)/(-18))/((-1)/3). Which is greater: -9/4 or i?
i
Let j(b) = -b**2 - 9*b + 31. Let c be j(-15). Is -59 < c?
False
Let n(q) = q**2 - 3*q - 3. Let t be n(4). Let y = -41/330 + 1/30. Is y at most t?
True
Let d = 0.6 - -0.4. Which is smaller: 23 or d?
d
Let f(c) = c**2 - 2*c - 3. Let g be f(-2). Let s be ((-1)/g)/((-8)/20). Let l = 0.3 - -0.7. Which is bigger: s or l?
l
Let h(c) be the first derivative of -c**2 + 17*c - 3. Let u be h(13). Which is smaller: -10 or u?
-10
Let q(f) = -f**3 + 11*f**2 + 12*f - 1. Let p be q(12). Are p and 2/25 equal?
False
Let u be ((-2)/6)/(10/30). Is u smaller than -1?
False
Let r = 1/54 - 115/378. Suppose -2*s - 1 + 3 = 0. Is r greater than s?
False
Suppose -2*b - 5 - 5 = 0. Which is smaller: b or -7?
-7
Suppose 20 = 21*z - 22*z. Which is smaller: z or -21?
-21
Suppose 