 Let f be (-6)/(-18)*(n + 1). Is f greater than or equal to -3?
True
Suppose -19*f - 224 = -5*f. Are f and -0.2 nonequal?
True
Suppose -41 = 2*l + 3*j - 8*j, -5*j + 49 = -3*l. Let f = 12 + l. Is 2 smaller than f?
True
Let h be 14/3 - (-3)/9. Is h >= 7?
False
Let u be (30/(-4))/3 + 2. Are 2/27 and u equal?
False
Suppose 3*a = 2*j + 19, -3*j = -4*a - j + 24. Suppose -2 + 7 = -5*w, -a*m - 2*w = -3. Let z be (12/(-9) + m)*3. Which is greater: 0 or z?
0
Let g = 0.13 + -0.07. Let h = -0.26 + g. Which is smaller: h or 10?
h
Let f = -1.56 + -0.14. Let c = f - 0.3. Which is greater: c or 0.1?
0.1
Let f be 47/15 + (-2)/15. Suppose y - f*y = -8. Is 4 less than y?
False
Let n = 295 + -196. Let x be n/(-21) + (-4)/14. Which is greater: x or -6?
x
Let d(j) = -j**2 + 5*j + 7. Let z be d(6). Let r be -1*3*z/3. Let o = 2 + -3. Is r greater than o?
False
Let h = -0.8 - -1.1. Let q = -1.3 + h. Let y = -1 + q. Is 0.1 smaller than y?
False
Let u = 3.4 - 3. Let p = 3 + -2.4. Let r = u + p. Which is greater: -1 or r?
r
Let l = -17.2 + 15. Let o = -2 - l. Let n = o + -0.1. Is -3 not equal to n?
True
Let b be (2/(-6))/((-5)/6). Let m(o) = o**2 + o. Let s be m(0). Suppose s*f = -5*f. Are f and b non-equal?
True
Suppose -2*y + 10 = 0, -z + 0*z - 4*y + 23 = 0. Let n = 231 + -231. Do z and n have the same value?
False
Let o be 1/(-2) - (-50)/108. Which is bigger: o or 0?
0
Let r = -39/22 + 449/154. Let g = r - 5/7. Is 0.1 >= g?
False
Let i = -5 - -10. Suppose 3*s - i*s = 0. Let p be (-2)/3 + 8/15. Which is greater: p or s?
s
Suppose -5*u - 2*f = -6*f + 57, -2*f = -4*u - 42. Let l = 7 + u. Is -3 equal to l?
False
Let n = -57 - -26. Are -31 and n nonequal?
False
Suppose -2*b + 1 = -5*o, 4*o = -3*b + 2*o - 8. Let f be (-5)/2*(-12)/15. Suppose f*u - 5*u = 0. Are b and u unequal?
True
Suppose c = -5*g - 16, 24 - 7 = -2*c - 5*g. Is c at most as big as -2/13?
True
Suppose a = 2*d + 3, 7*d = 2*d - a - 11. Let h be -4*(-4)/(-6)*-3. Suppose m + h = 4*w, -5*m + 3*w = 8*w + 15. Which is greater: d or m?
d
Let k be ((-4)/(-30) + (-4)/30)/(-1). Which is bigger: 2/25 or k?
2/25
Let w = -6 + 4. Suppose -4*f - 2*l - 30 = -6, -15 = f - 4*l. Let i(n) = n + 6. Let c be i(f). Is w greater than c?
False
Let o = 47 + -19. Is 30 <= o?
False
Let g(o) = -o**3 - 10*o**2 - 10*o - 7. Let i be g(-9). Which is smaller: -4 or i?
-4
Let f(w) be the first derivative of -w**4/4 - 5*w**3/3 + 5*w**2/2 - 7*w - 2. Let r be f(-6). Does 0 = r?
False
Suppose 3*l + 4 = 1. Is l < -2/3?
True
Suppose 5*h = 15 + 10. Suppose g - 8 + h = 0. Let w be 6/(-4)*1/g. Which is bigger: 3 or w?
3
Suppose -20 = -2*v - 4*g, v - 4*g - 14 = -7*g. Let n = v - 3. Let x = 4 + -3. Is x at least n?
True
Let r(u) = u**2 - u - 1. Let k be r(-1). Is k <= 3/11?
False
Suppose 11 = 7*o - 52. Which is bigger: 15/2 or o?
o
Let d be (-4)/(-28) + (-3)/42. Which is smaller: -1 or d?
-1
Let r(u) = -u + 4 + 5 - 1. Let a be r(6). Suppose 0*w = w - a. Is 2 > w?
False
Let x = 1103/7 + -158. Which is smaller: x or 2?
x
Let l = 16.9 + -15. Let p = l + 0.1. Let d = 0.4 + -0.5. Which is smaller: d or p?
d
Let w = 42/17 + 1/34. Is 2 greater than or equal to w?
False
Let n = -17 - -16. Which is bigger: n or 4?
4
Suppose 0*h - 36 = 4*h. Let l be (-6)/h*(-42)/4. Which is smaller: l or -6?
l
Let a = -2 + -1. Let w = a + 2.6. Which is smaller: 0 or w?
w
Let w = 839 + -1647/2. Is w >= 16?
False
Suppose -2*d + 7*d = 0. Let u = -9 - -9.8. Let z = u + -0.4. Is d less than z?
True
Let m(r) = -r**3 + 3*r**2 + 2. Let o be m(3). Is o at least as big as 1?
True
Let k(y) = 4 - 4 + 2*y - 5 - 5. Let o be k(6). Suppose -3 = -x - 2*p, 5*x + 3*p - 9 = -p. Is o >= x?
True
Let v(o) = o - 1. Let d be v(-1). Is d > -13/10?
False
Let n(b) = 6*b + 4. Let g be n(-1). Which is bigger: 0 or g?
0
Suppose 0*w + w = -2. Suppose -3*h + 5 = -3*d - 2*d, 13 = 3*h - d. Let q be -4 + 2 - h/w. Which is smaller: -2 or q?
-2
Suppose z - j = -4*j - 9, 3*z + 4*j + 7 = 0. Suppose 5*m - r - 12 = 0, 4*m - 10 = -0*m + r. Suppose -m*w - z*w = 0. Which is smaller: 1/6 or w?
w
Let z be (-5 - 0)/(1 - 2). Suppose 13 = z*m - 17. Suppose -2*v - 2 = v + h, -3*h - m = -2*v. Which is smaller: -1 or v?
-1
Let i be 1/(-2 - (-15)/6). Let b = -2 - i. Let x be 2/b - 1/(-2). Which is greater: 1 or x?
1
Let m be (1/43)/(12/(-18)). Let w = -151/602 + m. Suppose -3*u - 2*r - 7 = -0*r, u = 2*r + 11. Is u at most w?
False
Let z be 1/(-3)*9/(-3). Let g = 3 - z. Let b be 18/(-12) + 7/2. Is b < g?
False
Let u = -0.3 + 0.6. Let c = u - 0.1. Let m be 14/18*1 + -1. Which is smaller: m or c?
m
Suppose 0 = -2*b + b. Suppose b = -2*m + 6. Which is bigger: 8/3 or m?
m
Suppose -2*m - 5*h = 21, 3*m + 2*h + 9 = -h. Suppose a = -4*g + m, -5*g + a = 2*a - 2. Let l(p) = -p**2 + 3*p. Let u be l(3). Are g and u non-equal?
False
Let p be (-9)/(567/(-24))*(-3)/(-4). Does 0.2 = p?
False
Let j = -6 + 7. Let p = 0 - j. Let b be p + 0 + (2 - 4). Which is smaller: b or -4?
-4
Let u = 108 - 982/9. Is u equal to 0?
False
Let v = 3748/9 + -416. Is -1 at most as big as v?
True
Let h = 12 + -17. Which is smaller: -4 or h?
h
Let h = -5.01 + 5. Let j = 4.99 - h. Do -1 and j have different values?
True
Let z = -1.015 - -1. Let m = -4.085 + z. Let v = -4 - m. Is v greater than or equal to 2?
False
Let y(v) = v**2 + 15*v + 4. Let l be y(-15). Which is greater: 26/5 or l?
26/5
Let r = -1 - -1.2. Let d = 0 + r. Let x = -0.2 + d. Is 0 bigger than x?
False
Suppose 0 = -3*m + 14*m + 110. Is m less than or equal to -10?
True
Suppose 0 = -4*s - 3 - 1. Let j be (1 - 3)/(5 + -3). Is j <= s?
True
Let b be (0 - 3)/(3/(-11)). Is 12 < b?
False
Suppose -976 = 5*y + 3*k, y + 204 = -5*k - 0*k. Let d = 184370 - 1661074/9. Let a = y - d. Is a at least -1?
True
Suppose t = 4*u + 128, -7*u - 167 = -2*u - 3*t. Let i = u - -91/3. Which is bigger: -1 or i?
i
Suppose 15 = 5*t - 5*k, 5*t + 4*k + 9 = 42. Suppose t*d = 15 + 10. Which is smaller: 6 or d?
d
Let y = -35 + 39.8. Let l = 1.1 + -6.1. Let m = y + l. Is 0.2 smaller than m?
False
Let n = -3 - -2.9. Let x = 6.2 - 6. Let c = -0.3 + x. Is c at most as big as n?
True
Suppose 0 = -4*p + 14 + 22. Suppose 0*r - 3*r + 3*h = 21, r + 3*h = p. Let o be -1 - r/12*1. Which is smaller: -1 or o?
-1
Let l = -13 - -14. Which is greater: l or -3/8?
l
Let v be 12*(-4 - -6)/2. Let d = -12 + v. Is d greater than or equal to 2/45?
False
Let i = -24.9 + 32. Let c = i + -7. Is 0 bigger than c?
False
Let h = 9 + -1. Let l be 28/(-161)*2/h. Which is bigger: l or 1?
1
Let l be 20/(-6) + -2*(-5)/30. Which is smaller: -4 or l?
-4
Suppose 2*k + k = 0. Let f be (-1)/(8/422) - 3. Let r = f - -56. Which is smaller: r or k?
k
Let l be 4 + -6 + 1 + -2. Let d be -3*1 - (l - -1). Which is bigger: -1/2 or d?
-1/2
Let w = 36 - 181/5. Which is bigger: w or -1/6?
-1/6
Let w be (0 - -13)*(-6 - (-2 + -3)). Is w greater than -61/5?
False
Let x = -9 - -19. Suppose 3*t - t = -x. Do 1 and t have different values?
True
Let h = -32719/57 - -574. Is 1 < h?
False
Suppose 55 - 7 = 4*c. Let y = c - 8. Is y bigger than 3?
True
Let d(h) = h**2 - 9*h + 1. Let o be d(6). Do 1 and o have the same value?
False
Suppose 5*u = u - 4. Let k = -13 - -21. Let b be (-3)/(-2 + k)*4. Which is bigger: u or b?
u
Let t(g) = -g**2 + g. Let d be t(0). Let c be (-8)/12 + (1 - d). Let b = 35.97 - 36. Does c = b?
False
Let h(a) = -2*a**2 + a + 2. Let t be h(-4). Is -33 not equal to t?
True
Let u be 8/(-6)*(-561)/22. Is 0.1 <= u?
True
Let a = -17.82 - -18. Let t = 0.02 + a. Let w = -2 - -2. Is t < w?
False
Let y be 2/5*1/(-2). Is y not equal to 1?
True
Let g(w) = w**3 - w**2 - 3*w - 4. Let d be g(3). Let m = d - 2. Let k = 6 + -2. Which is bigger: m or k?
k
Suppose -3*h = 2*l + 25 + 18, h = -5*l - 23. Is h bigger than -0.1?
False
Let f = 2 + 0. Let m = f + -2.3. Let d = m + 1.3. Which is smaller: d or 0.1?
0.1
Let n(c) = -c**3 + 5*c**2 + 5*c + 5. Let p be n(6). Let u be (-43)/(-2)*4/(-10). Let l = -41/5 - u. Is p != l?
True
Suppose 6*n = 3*n + 21. Let s = 10 - n. Suppose -x + 0*x + 3 = 0. Is s < x?
False
Let n be (-38)/48 + (-2)/(-3). Let k = 31 - 29. Suppose -a = -m, -a - 4*m = k*a. Is a at least n?
True
Let q = -1 + 0.89. Let r = 0.1 + q. Are 0.1 and r equal?
False
Let m = 190/7009 + -12/163. Let l be -2 + 2/(-2) + 3. Does m = l?
False
Let d(x) = -x**3 - 2*x**2 + x - 3. Let k be d(-3). Suppose -k