+ (-2 - f). Is 2 smaller than d?
False
Suppose d - 3*l - 5 = -2*l, -4*d + 5*l + 24 = 0. Suppose 3*u - 95 = 2*o + 2*u, -5*o - 245 = -4*u. Let p be (-2 + (-78)/o)*-3. Which is greater: p or d?
d
Let u be 2*(-4)/(24/33). Is u bigger than -10?
False
Let v be 9*((-39)/9 + 4). Is v less than or equal to -2?
True
Let h be (0 - 1/1)*0. Let w = -23 + 31. Let f be 4/w - (-35)/(-78). Which is bigger: h or f?
f
Suppose -s + x + 3 = -2*x, -3*x - 3 = -5*s. Suppose -j = -s*j + 2. Let n = -4 - -1. Which is smaller: j or n?
n
Let o = 455/6 + -76. Does -1 = o?
False
Let q = -0.0266 + -12.0534. Let l = -11.1 - q. Let k = l + 0.02. Which is smaller: -2/3 or k?
-2/3
Let o(q) = 3*q**2 + 6*q. Let u be o(-4). Let t be (28/18)/(16/u). Is t at most -1?
False
Let w = -0.3 + 0.3. Let y = -2.5 - -8.4. Let n = -0.9 + y. Is n <= w?
False
Suppose 0 = -2*g - g. Let r = -14/11 + 64/33. Which is bigger: r or g?
r
Suppose 2*k - 5 = 7. Suppose 2*w = k*w - 44. Suppose -w = -2*y - 3. Is 4 bigger than y?
False
Let c = -3.4 + -1.6. Suppose -4*w = -2*w. Which is bigger: c or w?
w
Let o = 37 - 26. Which is smaller: o or 10?
10
Let w(q) = -q**2 - q + 1. Let a(b) = -b - 12. Let j be a(-9). Let z be (1/j)/(7/(-21)). Let h be w(z). Is h at least -3/8?
False
Let f(g) = 4*g**2 - g**3 + 3 + g**2 + 2*g**3. Let p be f(-5). Suppose -3 = -p*c + n, 5*c = -n - n - 6. Is -1 equal to c?
False
Let q = 9.3 - 10. Let n = q + 0.9. Let f = n - 0. Which is smaller: f or 1?
f
Let l(f) = -f**3 - 4*f**2 + 9*f + 3. Let k be l(-6). Suppose 53 = -7*n + 214. Suppose 3*y + 0*m = 3*m + k, 0 = 5*y - m - n. Is y at most 5?
True
Let c(r) = -r**3 - 2*r**2 + 2*r - 4. Let v be c(-3). Let z be 3/15 - (-1)/(-3). Which is bigger: z or v?
z
Let f = 76/3 - 25. Are -1 and f equal?
False
Let i be 6/(-6) - 22/(-14). Let l = i - 6/35. Is l < 0.1?
False
Let w be 56/(-15) + 2 - (0 + -2). Which is smaller: w or 0?
0
Let r be 8/(-12) - 105/14. Which is bigger: r or -7?
-7
Let z be (14/175*-5)/((-12)/65). Is 1 greater than z?
False
Let r = 12 - 8. Suppose -r*d + 8 + 4 = 0. Let n = -2 + d. Which is smaller: 2 or n?
n
Let t = -3 - 3. Let k = -77/4 - -393/20. Is k greater than t?
True
Let k be 0/((5 - 1) + -2). Let l = -338 - -2023/6. Is k at least as big as l?
True
Let q be (-3 + 60/16)*-4 + 4. Is -19 bigger than q?
False
Let j be (-2103)/(-126)*2*3. Suppose n + 4*t + 96 = 2*t, 2*n - 5*t + 210 = 0. Let l = j + n. Is -1 greater than or equal to l?
False
Let t(q) be the first derivative of q**3/3 + q**2/2 - q + 2. Let l be t(1). Which is bigger: l or -1?
l
Let i be (6/(-24))/((-2)/(-8)). Let k be ((-6)/15)/((-1)/(-5)). Which is bigger: i or k?
i
Let v = -16.5 + -3.5. Let n = 10 + v. Is n at most 2/3?
True
Let w be -5 + 4 - (-267)/20. Let x = w + -49/4. Let f be (-2)/(-8) + (-6)/(-8). Which is greater: x or f?
f
Let p = -0.1 + -0.4. Is 0 <= p?
False
Let s(j) be the third derivative of -j**5/60 - j**4/8 + 2*j**3/3 + j**2. Let t be s(-3). Suppose 2*h = -3*z - t, -2*z + 3*h + 22 = 3. Is z >= 3?
False
Let n = 22 + -16. Let a = -3 + n. Suppose -5*l + l - 3*v = -16, 4*l - 3*v + 8 = 0. Is l bigger than a?
False
Let k be (-1)/1 - (-7)/((-63)/5). Suppose 0 = 3*o - 0 + 6. Which is smaller: k or o?
o
Let f = -0.15 + 1.35. Is -0.1 <= f?
True
Let h = -0.61 + -1.39. Which is smaller: h or -3/4?
h
Let u be 2/5 + 39/15. Let d be 3 + u + (-7)/1. Let t = -3 + 2. Is t equal to d?
True
Let n be 105695/390 - 2/12. Let j = 271 - n. Does j = -0.1?
False
Let u be (-33)/(-9) + 2/(-3). Suppose -5*j + u*j - 16 = 0. Let d be j/30 + 14/35. Which is greater: -1 or d?
d
Suppose -4*o = -4*a - 8, 7*o - 26 = 3*o - 2*a. Is o smaller than 2?
False
Let p = -142 + 131. Do p and -34/3 have different values?
True
Let o = -130.3 + 130. Let u = 6 + -6. Does u = o?
False
Suppose -3*s = -4*s. Let a(u) = u**3 - 5*u**2. Let f be a(5). Let g be (s - 0) + 0 + f. Which is bigger: 2/7 or g?
2/7
Let q = 46 + -136/3. Which is smaller: -2.6 or q?
-2.6
Let n be (-77)/12 + 8/(-32). Let g = 6 + n. Which is smaller: g or 1/2?
g
Let i be 4*(229/(-4) + -4). Let v be 371/i - 1/5. Which is greater: -2 or v?
v
Let x = -9 - -9. Which is greater: -0.06 or x?
x
Let t be -2*1 + 1 + 11. Let b = t - 7. Suppose 0 = 2*j - b + 5. Which is smaller: -2 or j?
-2
Suppose 4*x + 10 = -x. Let c = x + 4. Let j = 5 + -1. Which is smaller: j or c?
c
Suppose 2*h - 1 = 1. Let t be (-2)/(-2) + 3/(-1). Let u be 2/2 + -2 - t. Is h equal to u?
True
Let f(b) = -2*b**2 + b. Let s be f(1). Let u = -19448/3 + 6540. Let g = -349/6 + u. Is g >= s?
True
Let u(s) be the third derivative of s**5/60 - s**4/24 - s**3/3 - s**2. Let y be u(2). Which is bigger: y or 0.2?
0.2
Let c = -0.2 - -0.24. Let u = 30 + -27.96. Let w = u - c. Is w at most as big as 2/3?
False
Suppose 6*v = 4*v - 2. Is 0.01 greater than or equal to v?
True
Let c be (-3)/(-6 - -3)*5. Suppose -6*l - 75 = -5*h - l, l + c = 0. Let i be (-6)/20*h/(-12). Which is bigger: -1 or i?
i
Let k be 96/(-10) + 8 + 0. Let z = -4 - -3. Is k greater than or equal to z?
False
Let y(w) = w**3 - w. Let z be y(-2). Let u be (-1 - (-3)/z)*-4. Suppose -5*d = 5*a - 19 - u, d - 2*a + 4 = 0. Which is bigger: d or -1?
d
Suppose 5*x = 2*z - 22, 3*z = 4*x - x + 6. Let b be (-7 - 5)*(-4)/x. Does -8 = b?
True
Let b = 0.06 + -0.56. Let a = 1.5 - b. Let c = 1 - 2. Which is bigger: a or c?
a
Suppose -2*d + d + 6 = 0. Let c = -22 - -30. Let q be (2/d*2)/c. Is q bigger than 0?
True
Let w = 111 + -111. Let c = 6 - 4. Let s = w - c. Are s and -1/3 equal?
False
Suppose -4*z + 6 - 2 = 0. Let d be 4 - 1 - (-28)/(-12). Is z less than or equal to d?
False
Suppose 5*d - v - 1 - 4 = 0, 2*d + 21 = 5*v. Let o be -3*((-12)/9)/d. Let g be (2/16)/(1/o). Is g smaller than -1?
False
Suppose -5*w + 18 = -32. Let c(p) = -p**2 - p. Let z be c(-2). Let d = w + z. Is 8 <= d?
True
Let w = 136 - 111. Which is greater: 3 or w?
w
Suppose -k + 5 + 4 = 0. Suppose -5*w = -5*z + 25, 2*w + k = -4*z + 59. Let x(c) = c**2 - 10*c + 6. Let v be x(z). Is v bigger than 5?
True
Let w = 89.1 - 89. Let f(o) = -o**2 - 6*o - 6. Let x be f(-6). Let l be (x/14)/((-6)/(-4)). Is l less than w?
True
Let b = 188 - 187. Do -7/18 and b have different values?
True
Suppose -4 = g - 9. Do g and 4 have the same value?
False
Suppose -y = 3*h - 21, -5*h + 15 = -10. Suppose y*u = 3*u - 18. Which is smaller: u or -4?
u
Let t be 7/(-21) + 80/6. Let m be (-3 - (-3 - 0)) + t. Which is bigger: 12 or m?
m
Let k = 1.104 + -0.104. Does -2/9 = k?
False
Let q be ((-90)/8)/((-6)/16). Let b be (-1 + 0)/((-5)/q). Is 5 >= b?
False
Let g(r) = r + 1. Suppose 2*l - 2 = 4*l. Let d be g(l). Is d less than -2?
False
Let v(m) = 3*m - 5. Let q be v(-4). Is q not equal to -16?
True
Suppose j = -0*m - 2*m - 1, 3*m = j - 14. Let x = -2.3 - -2.4. Which is smaller: x or m?
m
Let v = 29 + -13. Let d = v + -15. Is -5 greater than d?
False
Suppose 3*n + 2*n = 0. Let v = 0 - n. Suppose v*w + 4 = -2*w. Which is smaller: -3 or w?
-3
Let f be (-4)/(-6) + -178*(-3)/(-774). Which is greater: -1 or f?
f
Let r = 8 - 5. Which is greater: r or 2?
r
Let q be (66/8)/3 - 2. Suppose -5*z + 4*m - 15 = 0, 8 = -2*z + 3*m - 5. Is q not equal to z?
True
Let q = 8 + -7.6. Let p = q + -0.4. Which is smaller: 0.3 or p?
p
Let v = -3 + 5. Suppose -7*n + 12 = -3*n. Which is bigger: v or n?
n
Let o(q) = 4*q**2 + 10*q - 7. Let u be o(-6). Which is smaller: u or 76?
76
Let g be -83 - (1/4 - 3/(-4)). Which is greater: g or -83?
-83
Suppose -5*n - 15 = 3*d, -3*n + d = -0 - 5. Let f = n - 3. Let r be 2/(-2*(-2)/(-4)). Which is greater: r or f?
r
Let u = 79/2 - 41. Is -1/13 less than or equal to u?
False
Let z(j) = 2*j**2 - 4*j + 8. Let c be z(6). Let u = c - 166/3. Which is smaller: 1 or u?
u
Let l be 6/(-14) + 54/420. Which is bigger: l or -1?
l
Suppose 0*s - 3*f = 4*s + 21, 2*s = -5*f - 7. Let p = 58 - 62. Which is smaller: p or s?
s
Let z be 22/(-20) + 15/20*4. Which is smaller: z or -1/2?
-1/2
Suppose 3*c = p - c - 7, 3*p + 4*c = -11. Is -0.8 smaller than p?
False
Let v = 9.1 - 9. Is v greater than or equal to 2/37?
True
Suppose 0*x + 14 = -3*x - 4*p, -5*x - 4*p - 10 = 0. Which is greater: x or -0.7?
x
Suppose -8*m + 229 = -139. Is 45 at least m?
False
Let f = 5.5 - 3.5. Let k = 7 - 9. Is k > f?
False
Let v = 0 - -4. Suppose -w = -v + 1. Which is smaller: 2 or w?
2
Suppose -3*b = -f - 4, b - 2*b = -2*f + 7. S