et b(m) = -13*m**2 + 12*m - 13. Let w(k) = 7*k**2 - 6*k + 7. Let r(u) = -6*b(u) - 11*w(u). Let v be r(5). Let n be 1/v*(-12)/(-27). Which is smaller: 1 or n?
n
Suppose q + 1 = -3*s, -5*s + 6*q - 1 = 7*q. Which is smaller: 4/3 or s?
s
Let x = 0.4 + 5.6. Let k = x - 5.95. Does k = 0.2?
False
Let s(b) = -b**2 - 12*b - 9. Let g be s(-10). Let k = g + -12. Which is smaller: -0.2 or k?
k
Let f = 4 + -5. Let t = -5 + 5.03. Does t = f?
False
Let m(v) = v**2 - 4*v - 1. Let c be m(4). Let j = -4 - c. Let k = 1 - 4. Is k smaller than j?
False
Let c(i) = i. Suppose -2*q + 5*l = -14, 0*l = -l - 2. Let f be c(q). Suppose y - f = -y. Is 2/33 != y?
True
Let z be ((-2469)/50)/(6/5). Let j = 212/5 + z. Which is greater: j or 1?
j
Let p = -64 + 63.9. Does p = 39?
False
Let o = 13 - 22. Let g be (o/7)/((-3)/(-2)). Let d be (-1 + 1)/(-7 + 6). Which is greater: g or d?
d
Let y = -2.4 - -2.3. Let z = 0.9 - -0.1. Let u = z - 1. Is y bigger than u?
False
Suppose -b - 2*p = -3 + 6, 0 = -2*p. Let t(l) = -l**2 - 3*l + 1. Let m be t(b). Suppose -6 = -3*a + 6*a + 3*k, 0 = 3*k + 12. Is m less than a?
True
Let z be (0 + 1)/(1/(-6)). Let c be (-8)/12 - (-2)/z. Let n be 3/(c + -14)*1. Is -0.2 at least as big as n?
True
Let k = -1 + 0.9. Let d = -0.1 + k. Let o = -0.79 - -0.49. Which is smaller: o or d?
o
Suppose 2*r = 4*r + 5*m - 26, -3*r + 2*m = -1. Let o = 6 + -4. Is o bigger than r?
False
Suppose -4*i + n = 37, -5 - 9 = 2*i - 2*n. Let b be 0/(-1) + 8 + -8 + -9. Which is smaller: b or i?
i
Suppose 3*j - 4*m = -17, 5*m + 0*m - 28 = -3*j. Suppose j = h - 2*h. Which is smaller: -2 or h?
-2
Let u be -3 - -7 - (0 - 0). Let x(y) = y**3 - y**2 - y + 4. Let f be x(0). Suppose d = -f*z - 7, u = 4*d - 0. Is z < 0?
True
Let l be (-9)/12*6 - 2/(-4). Which is smaller: l or -5?
-5
Let k = 20 + -19. Let j be 1/((-4 - -4) + k). Which is smaller: j or -2/11?
-2/11
Let v(i) = 2*i - 2 - 6*i**2 + 0*i**2 + 1. Let h be v(1). Which is smaller: -4 or h?
h
Let r be (-2410)/35*1/(-162). Let z = 2/567 + r. Does 1 = z?
False
Let h = -14/17 + 79/34. Suppose 0 = 2*y - 6*y + 20. Let n be 25/y + (-4)/1. Is n < h?
True
Suppose u - 34 = 6*u - 4*x, x + 54 = -5*u. Let p = u - -5. Is p less than or equal to -5?
True
Let w = 0.2 - 0.2. Let k be (-2)/(-1*6 - -1). Is w bigger than k?
False
Let b = -2 + 2.5. Let q = -0.2 + b. Which is smaller: -0.1 or q?
-0.1
Let p = 0 - 1. Let b = 9/4 - 5/2. Which is smaller: b or p?
p
Let a be 2/(-8) + (-1)/(-4). Suppose -5 = -a*v + v. Let s be 0 + -2 + v/(-2). Is s >= -2/7?
True
Let y(j) = j**2 - j - 3. Let f be 1/(-1)*0/3. Let c be y(f). Which is smaller: -3/2 or c?
c
Let t(x) = -x**3 - 11*x**2 + 10*x + 3. Let k be t(-12). Let p = 27 - k. Which is smaller: p or -1?
-1
Let j(u) = u**3 + 8*u**2 + u - 2. Let q be j(-8). Let n be (4/q)/(3/45). Are n and -7 non-equal?
True
Let s = 0.1 + -0.2. Let d = -1.1 + 1.2. Is d at least s?
True
Suppose -3*i = -21 + 12. Which is bigger: i or 9/4?
i
Suppose 5*t = -4*s + 26, s - t - 2 + 0 = 0. Let f = 6 - s. Let j be (-4)/(-16) - (-5)/12. Is j greater than or equal to f?
False
Let o(p) = -p**3 + 8*p**2 - 2*p + 10. Let w be o(8). Let i be 20/15*(-9)/w. Which is smaller: 1/2 or i?
1/2
Let v = 0.22 + -0.22. Which is smaller: v or 16?
v
Suppose 14 - 2 = 4*c. Suppose -c*k + 1 = -4*k. Suppose -5*h - 7 = 4*q - 24, -5*q + 12 = -3*h. Is h != k?
True
Let k(t) = 11*t + 19. Let h be k(-2). Which is greater: h or -1?
-1
Suppose 3*p = -41 + 11. Is -11 at most as big as p?
True
Let w = 47 + -49. Is w smaller than 0.42?
True
Suppose -4*m + 0*d - 11 = -d, 29 = -m - 5*d. Let k be (-3)/m + (-10)/24. Do k and -3 have the same value?
False
Let y = 0.9 + -0.3. Let m = y - 0.5. Which is greater: 3 or m?
3
Let m = 3 - 2. Let t be (-1 + -117)*(-27)/630. Let a = t + -26/5. Which is bigger: m or a?
m
Let x(n) = -n - 1. Suppose 0*t = -2*t + 2*p - 12, 2*p - 13 = 3*t. Let k be x(t). Which is greater: k or 6/7?
6/7
Let x be 1/(-4) + (-23)/4. Let m = -2 + 2. Let k = -6 + m. Do x and k have different values?
False
Let r be (-2 - 2/(-3))/2. Let s = 22/15 + r. Let h be (-2)/5 - 2/(-5). Which is greater: s or h?
s
Let o = 24 + -23. Is -2/79 less than o?
True
Let n be (4/(-24))/((-2)/(-68)). Let p = 6 + n. Is -0.04 at least as big as p?
False
Let f be 56/(-10) + 4/(-10). Let d(r) = r**3 + 5*r**2 - 6*r + 5. Let q be d(f). Suppose -2*c + 2 = 4*z - 0*c, -4*z - 1 = q*c. Is 1 equal to z?
True
Let u be (-4)/10 - 896/(-2415). Which is smaller: 1 or u?
u
Let d(y) = -y**3 + 9*y**2 - 13*y - 7. Let m be d(7). Which is greater: -5 or m?
m
Let b = -32 - -65/2. Suppose n = 2*n + 2. Let f be n/7 - (-4)/14. Which is greater: b or f?
b
Suppose -6*h + h = 20, -2*d + 5*h = -16. Let l be d*1/(-3)*-3. Is 0 bigger than l?
True
Let h(a) = -a**2 - 7*a + 1. Let m be h(-7). Is 0.04 at most m?
True
Let o be (-1)/(-3) + 2/6. Let k = -172 - -858/5. Are o and k non-equal?
True
Let d = 1.9 + -0.9. Let k = -0.5 - -2.5. Let c = d - k. Which is smaller: c or -2?
-2
Let b = -7 + 6. Is -5/8 at most as big as b?
False
Suppose 0 = 4*w + n + 2, -4*w + 2*n - 8 = 6*n. Is 0 less than w?
False
Let w be -2*-1*(-1)/(-11). Suppose 3*m + 2*l = -0*m + 5, 3*m + 19 = 4*l. Which is smaller: m or w?
m
Suppose -3*z + 7 - 4 = 0. Let o be z/((-1)/2) + 8. Which is bigger: o or 2/7?
o
Let l be 87/(-39) - (-9)/3. Is 0 bigger than l?
False
Let r(d) be the third derivative of -d**6/120 + d**5/20 + d**4/8 - 2*d**3/3 - 2*d**2. Let q be r(3). Is -2 at least q?
False
Let j = 0.34 - 0.24. Which is bigger: -11 or j?
j
Let t = 5.15 - 5.2. Is t at most as big as 2/5?
True
Let b = -1 - -4. Suppose -b*d - d - 4 = 0. Which is smaller: 0 or d?
d
Let d = 3/20 - 11/20. Let h = -0.1 - -0.2. Is h > d?
True
Let v(c) = 2*c. Suppose -1 = -o, -3*o = 2*r - 0 + 1. Let t be v(r). Is t greater than or equal to 0.1?
False
Suppose 0 - 2 = -3*h + y, -h - 4*y + 5 = 0. Which is bigger: -2/63 or h?
h
Suppose -3*k + 6*k = 54. Suppose -4*p + 3*t = -k, -3*p + 3*t + 15 = -0*p. Let c = p + -5. Is c less than -1?
True
Let h be (-6)/60 + (-3)/(-30). Is -2/55 smaller than h?
True
Let a = 0.88 + 0.12. Is a > 18?
False
Let o(u) = u - 3. Let r be o(2). Let h be 4 - (20/(-6))/r. Which is bigger: 0 or h?
h
Let y = -4 + -5. Which is greater: -0.2 or y?
-0.2
Let w = 6.5 + -11.6. Let k = w - -5. Let y = -2 - -2. Is y > k?
True
Suppose 2*g + 20 = -2*g. Let i = g - -3. Which is smaller: 1 or i?
i
Let m = 35 - 26. Is m equal to -1?
False
Let m(j) = -j - 3. Let v be m(7). Let n be ((-12)/v)/(6/15). Suppose -q + 5*y - n*y - 14 = 0, 3*q + 27 = 3*y. Which is bigger: -3 or q?
-3
Suppose 15 = -3*p, -4*p = 3*y + y + 20. Let k = y + 1. Which is bigger: -4/15 or k?
k
Suppose -4 = j + 2*s, 0*s - 2 = j + s. Suppose 3*r + 3 + j = 0. Let h be (5/10)/(r/2). Which is smaller: 0.06 or h?
h
Suppose 0 = -l - l. Let i = l - 1. Is -3 less than i?
True
Let l be 4/6 + 6/(-9). Is l equal to -1?
False
Suppose -12 = -5*b + 93. Suppose 2*s - b = -d - 2*s, 4*d - 32 = -3*s. Suppose -q + 10 = 4*q + d*r, 2 = 2*q + r. Is q smaller than 2/7?
True
Let k = 34 + -11. Let y = k + -21. Which is smaller: -4 or y?
-4
Suppose 5*c - 7*o + 4*o - 303 = 0, 130 = 2*c + o. Is 63 smaller than c?
False
Let y = -17 + 12. Are y and 0.2 equal?
False
Let p(r) be the first derivative of -r**3/3 - 2*r**2 - 4*r + 3. Let z be p(-3). Is -1 greater than z?
False
Let o = -1 - -3. Let w be (-8)/(-15) - o/10. Let q = -0.4 + 0.4. Is q <= w?
True
Let g be 1/(((-2)/(-3))/(-2)). Let n be (6/10)/(9/45). Suppose n*o + 0 = -9. Is o at least as big as g?
True
Suppose 5*f + 2*i + 167 = -27, 0 = 3*f - 2*i + 126. Are f and -41 nonequal?
True
Suppose 0*u = 4*u + 20. Let f = u + 19/4. Which is bigger: f or 1?
1
Let t = -1 + 7. Let m = -6.1 + t. Is m >= -3?
True
Let v = 5.9 + -6.9. Let h = -0.2 - 0.1. Is h greater than v?
True
Let h = 13 + -16. Let a = -2.8 - h. Which is bigger: a or 2/9?
2/9
Suppose -6 = -3*k, u - 4*k + 2 = -2. Let h = 92 + -88. Do u and h have the same value?
True
Let m be ((-1)/(-2))/(2/4). Which is smaller: -6/59 or m?
-6/59
Suppose l = 4*t + 1, 0*t + l - 6 = -t. Which is smaller: 0.16 or t?
0.16
Suppose q - 30 = 5*w, -3*w - 2*q + 25 = -8*w. Let m = w - -7. Let g = m - -7. Which is bigger: 8 or g?
8
Let a be 2/2 + (-34)/10. Is -3 bigger than a?
False
Let y be (-3)/(1 - 6/4). Let p be 10*((-10)/(-4) - 2). Which is smaller: y or p?
p
Let h