j
Let a(r) = -13*r**3 + 2*r**2 + 2*r + 1. Let i be a(-1). Let k be i*1/4 + -4. Is k at most as big as -5?
False
Let l = 961/26 + -37. Suppose 18*n + 5 = 14*n - u, -n = -3*u - 2. Is n at least as big as l?
False
Let j be (-1)/(-1) - (-1 + 2). Let r(g) = g**3 + 7*g**2 + 5*g - 2. Let i be r(-6). Suppose -4*w + 0 = i. Is w bigger than j?
False
Let p = 5 + 9. Let r be (-4)/p + 58/154. Let x be -1*(-2)/(-2) + 1. Is x at most as big as r?
True
Suppose -4*n = 6 - 2. Let c = -2176583/84 + 25912. Let u = c - -1/28. Which is smaller: u or n?
n
Suppose 0 = 5*v - q - 2 - 3, 0 = -v + q - 3. Suppose 0*i + v = -2*i. Let u be (0 - i) + 5/(-4). Which is smaller: u or 1?
u
Let x be 25/5*2/10. Which is smaller: x or -1/44?
-1/44
Let g = 71.052 - 71. Are -1/3 and g nonequal?
True
Suppose 3*j - 8 = -2*g + 4, -4*g - 16 = -4*j. Suppose g = -5*l + 2*s + s + 11, s = 2*l - 4. Is l > -1/3?
True
Let l be -2 + (-1 - (-3 - -18)). Which is bigger: -19 or l?
l
Let d = 312 - 302. Let g = -1 - 0. Which is greater: d or g?
d
Let d be 26/(-6) + (-4)/6. Let b = d - -7. Let t = 1.2 + -1.1. Is b at most t?
False
Let z = -5459/7 + 778. Which is smaller: z or -2?
-2
Let m = 1.2 - 0.2. Let r = -0.26 + 14.26. Let w = r - 16. Which is bigger: w or m?
m
Suppose 2*v = 4 - 20. Which is smaller: v or -10?
-10
Let u = -46 + 45.9. Which is smaller: u or -0.25?
-0.25
Suppose 0 = g + g - 10. Let w be (-3)/(-3) + g/(-3). Which is smaller: -1 or w?
-1
Let d be -1*(2 + -1 - 3). Let n = d + -4. Let z be n/(-18)*21/(-14). Is z greater than 0?
False
Let f = -17 - 1. Let b be (3/f)/(2/9). Which is bigger: -2 or b?
b
Suppose 0 = 2*f + a + 5, 3*f + a + 2*a = -15. Suppose m = 2*m + 5*h, -3*m + 3*h - 18 = f. Let w = m - -6. Which is bigger: 2/11 or w?
w
Let b be (9/(-4))/((-36)/(-16) + -2). Is b > 0?
False
Let c be -2*4/(-56) - -1. Is c at most as big as 0?
False
Let l be -1*0*(-3)/9. Let f be 12/(-27)*9/30. Which is bigger: l or f?
l
Let w = -2/61 + 71/305. Which is greater: 0 or w?
w
Suppose -3*c - s + 15 + 7 = 0, 14 = 3*c + 5*s. Let m be (0 - c/3)*-1. Is 3 <= m?
False
Let f(r) = -r - 9. Let v be f(-11). Let x(a) be the first derivative of -a**2/2 + a - 1. Let o be x(v). Which is bigger: 1/8 or o?
1/8
Let f = 1.44 - -0.06. Let h = f - 0.5. Suppose -4*g - s = 5, 0 = s + 5. Is g at least as big as h?
False
Let s = -5.1 - -1.1. Let n = 4.4 + s. Let c = -0.2 - -0.1. Are c and n nonequal?
True
Let a be (-2)/4*(-1)/30. Let m = 131/660 - a. Suppose -3*i - 2*i - 4*h - 17 = 0, h = 3*i. Is m equal to i?
False
Let p = -6689/8 - -838. Is p at least 2?
False
Let k be ((-81)/4)/(147/56). Is -7 > k?
True
Let z = -32 - -33. Is z >= -12?
True
Suppose -k = -0 - 1. Which is bigger: k or 3/2?
3/2
Let u = -63/340 - 1/68. Which is smaller: u or -1?
-1
Let h = 3 - -1. Let r = 1 + h. Let v = r - 3. Which is smaller: -2 or v?
-2
Let z = -9653621876/2261 - -4269625. Let f = z + 1/133. Which is bigger: f or 1?
1
Let k(x) = -5*x**2 + 5*x - 2. Let v be k(3). Let y be 2/9 - v/18. Let b be (2/(-4))/(4/(-8)). Is b >= y?
False
Suppose 3 = 3*t + 3*q, 0 = 2*t - q - 3 + 1. Let h be (-1)/1 + t + 2. Suppose -w + k = -h*k + 14, 0 = 4*k - 20. Is w at most as big as -1/10?
False
Let j = 36.62 - 28.5. Let c = 0.12 - j. Let l = -7 - c. Are l and -0.2 equal?
False
Let a = 178.7 + -179. Let b = -1 - -1. Which is smaller: a or b?
a
Suppose 0 = 4*a - 3*a - 4. Suppose -4*u - 5 + 25 = 0. Suppose -2*x - 2*w - 3*w = 0, u*x = a*w. Which is bigger: x or -2?
x
Suppose -5*g + 3*g = -16. Suppose 0 = -3*n - 2*m + g, -2*m = n + m + 2. Let l be (5 - 5) + (-6)/((-6)/3). Which is greater: l or n?
n
Let b(w) = 2*w**2 - 3*w + 1. Let m be b(2). Let f be 0/(0/(-3) - -2). Suppose f = -4*x - 5*t - 3, 3*x + 2*x = -t + 12. Are m and x equal?
True
Let k(q) = 10 - 1 - 5 - 5 + q. Let v be k(3). Is v equal to 1?
False
Let i = 2 - 0. Suppose 5*c - 30 = 2*d, 4*c = 2*c + i*d + 18. Are 4 and c unequal?
False
Let n = 1 + -3. Let i be 0 + (n - 1 - -1). Which is smaller: -1 or i?
i
Let q be (3/1)/(-1 - 0). Let o(t) = -t - 1. Let c be o(q). Suppose -5*h - 9 = 4*u + 12, c*u + 13 = -5*h. Does u = -5?
False
Let k = -139/4 + 1537/44. Let q be 2 - 1*0/2. Is q > k?
True
Let b = -24 + 7. Let y = b - -18. Which is greater: y or 5/9?
y
Let u = -3 + 1. Let v(w) be the third derivative of w**6/120 + 7*w**5/60 - 3*w**4/8 - 3*w**3/2 + 2*w**2. Let o be v(-8). Which is smaller: u or o?
u
Let r = -2 + 6. Suppose 1 = m - 4*n, -r*m + 0*n - 3*n = -4. Is m > 2/3?
True
Let c = -5 + -1. Let l = c + 9. Suppose 4*p = l*h + 1 - 9, 5*p + 10 = 4*h. Is h greater than 1/6?
False
Suppose -4*d = 3*x, 0 = x - 3*d + 2*d - 7. Suppose -3*g = i - 11, -x*i + 2 - 26 = -5*g. Let w = -119/4 - -30. Which is greater: w or i?
w
Suppose 3*k - 2*n + 27 = 0, 5*k + 75 = 4*n + 28. Is -8 <= k?
True
Suppose -3*u - u = 0. Let w be (9/(-7))/(-3) + u. Suppose 7*m + 5*m = 0. Which is bigger: w or m?
w
Let f(h) = h**2 - 12*h - 2. Let g be f(12). Is g < -5?
False
Let r = -0.9 + -1.1. Which is bigger: 0 or r?
0
Suppose -3*n = 4*n - 7. Let r = -52/29 - -4262/145. Let a = r + -28. Which is smaller: n or a?
a
Let x = 2 + -1.9. Let f = -0.03 + 0.43. Let q = f + -0.3. Is q > x?
False
Let k = 35 + -34. Which is bigger: -9 or k?
k
Suppose 3 + 3 = -f. Is -2 at least f?
True
Let y be (24/10)/6 - (-41)/(-65). Which is smaller: 0 or y?
y
Let v = 1003 + -28087/28. Which is greater: 1 or v?
1
Let w be (-32)/(-198) - (-6)/(-27). Is w at least as big as 0?
False
Let m(f) = f + 3. Let n be m(3). Let l be ((-2)/(-3))/(4/n). Let c be 2/(-8)*-1 - (5 + -6). Is c <= l?
False
Let c = -10.5 - -10.5. Which is smaller: -0.9 or c?
-0.9
Let p be -1 + 46*4/88. Which is greater: 1 or p?
p
Suppose -45*x + 40*x = 50. Which is smaller: -12 or x?
-12
Suppose w + 2 = 3. Suppose 3 = 2*g + w. Let f(z) = z + 6. Let t be f(-7). Is g at least t?
True
Let r be 0*3/3*1. Let i(f) = f**2 - f. Let y be i(r). Does -0.6 = y?
False
Let n be -3 - 1 - -3*(-85)/(-15). Is n < 14?
True
Let s be -4*(3/(-6) - 0). Is s at most 1?
False
Let s be (2 - (-115)/(-45)) + 0. Which is smaller: s or -2?
-2
Let a = 19 + -15. Suppose -a*h = -14 + 2. Which is smaller: 0.2 or h?
0.2
Let v(g) be the third derivative of g**4/24 - 5*g**3/6 - g**2. Let q be v(-7). Let s be 4/q*6/2. Are 1/7 and s non-equal?
True
Let u(q) be the second derivative of 7/6*q**3 + 0 + 3/2*q**2 - 1/2*q**4 - 1/20*q**5 + 4*q. Let w be u(-7). Is 3 less than or equal to w?
True
Let s = -17 + 18. Let v = s + 4. Which is greater: v or 2/9?
v
Let c = 23 - 24. Is 2/57 > c?
True
Let j = 14 + -10. Suppose 2*c = 3*o - 3, -o - 2*o + 12 = -5*c. Let q(y) = y**3 + 3*y**2 + 2. Let u be q(c). Which is smaller: u or j?
u
Let r be 4/(-3)*2*3. Let s(b) = -2*b - 15. Let t be s(r). Is t > 7/6?
False
Let x be 2*2/(-2 - 2). Suppose -8*y - 5 = -3*y. Is x less than y?
False
Let z = 78 - 77. Is 4/7 equal to z?
False
Let g = 4 - 4.03. Let c = 0.23 + g. Is -2/3 at most c?
True
Let w = -12.1 + 6.05. Let s = 0.05 + w. Which is smaller: -0.1 or s?
s
Suppose 0 = -c + 2*c. Suppose c*f = f - 3. Which is bigger: f or 2?
f
Let z be (-8)/3 + (-8)/(-12). Let t be (-2)/10*(z - -4). Let n be ((-3 - 1)/2)/2. Which is greater: n or t?
t
Suppose 3*k + 2*k = 0. Is k < 0.6?
True
Let h = 1.6 - -0.6. Let x = 0.8 + 0. Let q = h + x. Which is smaller: -1/3 or q?
-1/3
Let n = 0.15 - 9.15. Is -3 > n?
True
Let v(k) = k**3 - 5*k**2 + k - 3. Let m be (5 - 0) + (-2 - -2). Let q be v(m). Let x = -12/19 - -143/76. Which is smaller: x or q?
x
Let c = 252 + -250.93. Let h = 0.07 - c. Which is bigger: h or 2/5?
2/5
Let z(p) = -p**3 + 8*p**2 - 10*p + 9. Let l be z(7). Is l less than 0?
True
Suppose 5*l - 3*q - 202 = 212, -3*l = 3*q - 258. Suppose -4*s + 4*y + l = 6*y, -58 = -2*s - 5*y. Is s less than 19?
False
Suppose 0 = 4*m + y + 1, 2*m + 0*y = -4*y - 4. Are m and 0.8 non-equal?
True
Suppose -z + 3*q = -15, -2*z - q = 2 + 3. Let w be z/2 - -9 - 1. Let g be w/12 - 11/3. Is g at most -4?
False
Let n(c) = 2*c + 3. Let h(d) = -d - 1. Let r(g) = -4*h(g) - n(g). Let f be r(-5). Is f greater than -9?
False
Let i(h) = -5 + 2 + 5*h**2 + h**3 + 0*h - h. Let f be i(-5). Suppose 3*v - 5*d - 11 = -0*v, 3*v + f*d - 4 = 0. Do v and 3 have different values?
True
Let r = 3.23 + -3.1. Let a = -0.3 - -0.37. Let t = a + r. Which is smaller: t or 1?
t
Let h be 5 + -9 - 2/(-1). Which is smaller: h or -4/3?
h
