74278/301 - 579. Which is smaller: p or 0?
p
Let t = -0.88 - 0.52. Is t at most as big as 1/2?
True
Let n be ((-6)/(-5))/(4/10). Let l be n/8*2/(-3). Suppose -q = -4*r - 19, -2*r = -2*q - 7*r - 27. Is l > q?
True
Let x = -0.3 + 0.4. Suppose 4*k - 6 = 2. Let b be (k/(-8))/((-12)/(-16)). Is x at most as big as b?
False
Let t = 8 + 7. Suppose -t = -2*k - k. Is k at most as big as 5?
True
Suppose -2*j + 8 = -0*j. Let f be 7/3*(1 + -4). Let q = j + f. Are q and -3 unequal?
False
Let q be 4/(-22) + (-3 - (-302)/88). Is q <= 25?
True
Let j be (2/3)/((-1)/3). Suppose 5*h - 2*y = y + 13, -2*y + 4 = 3*h. Let u be (4/h)/(-1) + j. Is -3 greater than or equal to u?
True
Let w = -36 + 35. Which is smaller: 1/68 or w?
w
Let b = -60 + 32. Let a be b/36*(-4)/14. Let k = -0.2 + 1.2. Is a > k?
False
Suppose 8 = -a - 1. Let c(g) = g**3 - 5*g**2 - 9*g + 9. Let l be c(6). Is a greater than l?
False
Let l(s) = 2*s**2 + 4*s - 1. Let x be l(-3). Let w be (-16)/(-140)*x/2. Is -1 smaller than w?
True
Let z = 15 + 3. Let h = z + -16. Let x = -0.4 - -0.7. Which is smaller: x or h?
x
Suppose 3*k = -4*g + 12 + 26, g - 3*k = 2. Let u be ((-2)/g)/((-3)/4). Which is greater: u or 1/4?
u
Suppose 0 = -4*l + 7 - 3. Let g be (l/(-2))/((-10)/(-4)). Which is bigger: -1 or g?
g
Let n be ((-2)/(-4))/((-1)/(-4)). Let j(g) = -2*g + 3. Let i be j(3). Let h = n + i. Does h = 1?
False
Let f = 4575222/65 + -70391. Let d = f - -36/13. Suppose 0 = 4*q + 4*o + 20, 5*o = -2*q + 5 - 27. Is d less than q?
False
Let q = -2 + 1. Let u be (3 - (-22)/(-8))*q. Suppose 8 = 4*r + 3*p, -6*p + 25 = -5*r - p. Which is smaller: u or r?
r
Let t be (-8)/(-20) + (-23)/(-5). Let g = -19924/50991 + 21/739. Let c = -2/69 - g. Which is bigger: t or c?
t
Let m(n) be the first derivative of n**5/60 + n**4/8 - n**2/2 + 2. Let l(h) be the second derivative of m(h). Let v be l(-3). Which is greater: v or -1?
v
Let z be (-18)/(-14) + (-4)/14. Let c = 722/7 - 103. Is c at least as big as z?
False
Suppose 0 = -a + 2 + 3. Suppose -19 = 2*f + a*x, 0 = -0*x - 2*x - 10. Suppose -5*w = 5*m + f + 2, 4*w + 4 = 5*m. Is w > 0?
False
Let h = 22 + -23.3. Let q = h + 0.3. Which is bigger: q or 0.1?
0.1
Let m be 1*367/35 - (-10)/(-35). Are 11 and m equal?
False
Suppose n = -n + 4*q + 20, 0 = 3*q - 9. Let x = n + -11. Let f = 7 - x. Which is bigger: 1 or f?
f
Suppose 4 = 3*p - 2. Suppose -r = -p*r. Let o be (2/(-4))/((-4)/(-10)). Is o at least r?
False
Let b = -2 - -5. Let h(z) = -z**3 + 6*z**2 + 8*z - 5. Let c be h(7). Are b and c nonequal?
True
Let v = -70 - -72. Let l = 0.1 + -0.3. Let g = l + 0.1. Do g and v have the same value?
False
Let b be -1 + 1/3*0. Suppose -7*p - 10 = -2*p. Is b equal to p?
False
Let g = 1/135 - 227/270. Which is bigger: g or -7?
g
Let l = -1.1 + 1.05. Which is greater: 1 or l?
1
Suppose 2*w - 14 = 3*y, -5*y - w + 1 - 7 = 0. Let u = -3/2 - y. Let c(b) = -b + 1. Let h be c(-1). Which is greater: u or h?
h
Let q be (-1 + 24)/((-4)/(8/(-2))). Is 22 smaller than q?
True
Let k be ((-7)/(-21))/(2 - 1). Suppose 0 = 4*t - 3*z - 4, t + 2*z = -t + 2. Is k >= t?
False
Let n = -2/551 + 1112/2755. Is 10 greater than n?
True
Let w = 17 - 17. Which is smaller: -12 or w?
-12
Suppose -1 - 51 = -4*g. Is g bigger than 13?
False
Suppose 0 = -4*w - 2 - 6. Which is bigger: -6 or w?
w
Suppose 0 = 3*k + i + 1, 8*k - i = 3*k + 9. Let z = k + 3. Let y be (1 - 5)*(-3 + z). Which is smaller: y or -6?
-6
Suppose -3*t + 7 = -2. Suppose -g + 20 = -4*y + t*g, y + 4*g = 10. Let z be 64/(-14) - y - -2. Is z >= 0?
False
Let k = 1 - -3. Let y = -35 + 43. Let d = y - k. Which is smaller: d or 2?
2
Let r(c) = -6*c**2 - 5*c + 3. Let z be r(-3). Is -34 at most as big as z?
False
Let h(t) = t**2. Let q be h(-1). Which is smaller: -0.01 or q?
-0.01
Let y = -3 + 10. Is 5 < y?
True
Let g(c) = c + 4. Let r be g(-3). Let l = -0.34 + 0.74. Which is smaller: r or l?
l
Let r = 22 - 24. Let q(s) be the second derivative of s**5/20 + s**4/4 + s**3/3 + s. Let u be q(r). Is u greater than 0?
False
Let s = -2.01 - -0.01. Let x = -2.1 - s. Let v = -2.028 + 0.028. Which is smaller: v or x?
v
Suppose -3*l + 235 = -8*l. Is l equal to -48?
False
Let i = 1 - 1.06. Let v = -0.16 - i. Is 4 > v?
True
Let l(c) = -c**2 + c. Let b be l(4). Is -12 >= b?
True
Let y = 2 + -3. Let v be y/(-3) - (-188)/12. Suppose 3*h = 3*c - 9, -4*h = -2*h + 3*c + v. Is h < -4?
True
Suppose -2*p - 2*p = 12. Let j be (-93)/(-225) - (-1)/p. Which is smaller: 0 or j?
0
Suppose -1 = -2*h - 3. Which is smaller: h or 0.03?
h
Suppose 2*f + 0*f = 4. Let u = f - 6. Is -4 > u?
False
Suppose -2*d - f = -10, -2*d + 20 = 2*d - 4*f. Suppose 0 = -d*o - 0*o. Is o < -1/6?
False
Let j = 11/60 + 1/15. Suppose 3*g = 5*q + 18, 2*g + 0*g - 4*q = 14. Is j bigger than g?
False
Let r = -8 + 8. Let m = r - -3. Which is bigger: -1 or m?
m
Let m = 33441/88 + -380. Is -1 greater than or equal to m?
False
Let q = -46 + 33. Which is smaller: -14 or q?
-14
Let a(z) = -z**3 - 4*z**2 + 5*z + 2. Let i be a(-5). Is 5 not equal to i?
True
Let i = -29/175 + 3/35. Suppose -103*m + 101*m = 2. Which is smaller: m or i?
m
Suppose 36*b - 31*b = 0. Suppose -x - 3*j - 11 = 0, -2 = -5*j + 3. Let q be 4/x - 16/140. Is q greater than b?
False
Let o(q) = -11*q. Let x be o(-1). Let y = x + -7. Are y and 5 equal?
False
Let m be 44/420 + (-3)/15. Which is smaller: 0.2 or m?
m
Let w be 3/((-18)/(-196))*-1. Let y = w - -33. Let a be (2/10)/((-69)/(-345)). Which is bigger: a or y?
a
Suppose 2*i + 2 + 4 = 0, 0 = -3*q - 2*i - 6. Suppose q = -s - 0 - 2. Let n be 2/4 - (-7)/s. Which is greater: -2 or n?
-2
Let d be ((-1)/14)/((-11)/44). Is -30 greater than d?
False
Let g = 52 + -51.9. Let i = 0.2 + -0.3. Which is smaller: i or g?
i
Suppose z = 4*c + 6*z - 29, 20 = 4*z. Which is greater: c or -8/23?
c
Suppose -b - 3*b - u + 8 = 0, 3*u - 15 = -3*b. Let y = -5 - -6. Suppose 0*s + y = s. Is b at most as big as s?
True
Suppose 8*k + 2*k = 110. Is 10 > k?
False
Suppose 4*w = -2*t + 12, t + 0*w - 3*w + 9 = 0. Is -2/7 <= t?
True
Let r be (-22)/3 + (-1)/(-3). Is r < -5?
True
Let w = 25054/15 + -1668. Let d = -13/5 + w. Is d bigger than -1?
True
Let f(u) = u**3 - 9*u**2 + 8*u + 1. Let h be f(8). Let t be (0 + -4 + h)/(-5). Which is bigger: t or 2?
2
Let h be 14/6 - (2 - -1). Which is smaller: h or 0?
h
Suppose 5*g - 10*g = -10. Do 0.6 and g have different values?
True
Let v be 5/(75/(-81)) - -3 - -2. Which is smaller: v or -6/5?
-6/5
Let t(s) = s**3 - 8*s**2 + 2. Let y be t(8). Let n = y - 4. Let w(p) = -p**2 - p + 1. Let x be w(n). Is x equal to -1?
True
Suppose 2*z = -7 + 1. Which is greater: z or -1/2?
-1/2
Suppose 12 + 0 = -4*k. Let a = 975/28 - 256/7. Which is bigger: a or k?
a
Suppose -r = v - 24 + 69, -4*v + 4*r = 180. Is -45 less than v?
False
Let q = -1.25 + 0.62. Let s = q - -0.6. Which is bigger: -1 or s?
s
Suppose -20 = -4*x - 0*x. Suppose -43 = 4*t + 3*f, -x*t + 0*t = -5*f + 80. Is t at least -12?
False
Let m = -0.21 - 7.79. Let b = m + 8. Which is smaller: -1 or b?
-1
Let i = 10 - 10. Which is smaller: i or 3/2?
i
Let k = 22 - 33. Which is smaller: k or -12?
-12
Let d = 7 + 4. Let b = d - 6. Suppose 3 + b = 4*f. Which is smaller: f or -1?
-1
Let i = -50.03 + 50. Which is smaller: i or -4?
-4
Suppose -4*q = -9 - 11. Is q greater than 0.3?
True
Let b be -2 + (102/(-33))/(-2). Which is bigger: b or 0?
0
Let f = -7 + 24. Suppose 2*v + 7 + 6 = 5*z, f = -5*v - 3*z. Is v > -5?
True
Let t = -0.04 - 0.21. Which is bigger: 2 or t?
2
Let h be (0 - (2 + -2))/(-2). Suppose h*a = -m + 5*a - 6, 0 = 5*a. Let b(v) = -v**2 - 18*v - 5. Let n be b(-18). Which is bigger: n or m?
n
Suppose -3*y + 4*k - 9 = -8*y, y + k - 1 = 0. Suppose -2 - 3 = -y*l. Let n be (-4)/9*(-1)/(-2). Which is greater: n or l?
l
Let t = -2.9 - -3. Let a = 0.2 - t. Let j = -27/28 + 5/7. Which is smaller: j or a?
j
Let x(n) = n**2 + 3*n - 1. Let q be x(-3). Is -16 at least q?
False
Let u be (-2)/(-11) + (-2)/11. Let h be 2*(u - (-3)/6). Let b be h/(-9)*4/2. Which is smaller: -1 or b?
-1
Let y = 0.1 - -0.4. Let b = 0.7 + -1.3. Let v = y + b. Which is smaller: -2/5 or v?
-2/5
Let d = 85 - 86. Does 38 = d?
False
Let p = 263179/113 + -2329. Do -1 and p have the same value?
False
Let h(y) = -y**3 - 4*y**2 - y - 12. Let b be h(-4). Which is bigger: b or -5?
-5
Let g = -0.04 - -0.14. Is 0.07 greate