 be 19/m*1 - -1. Suppose -l + 5*l = 4. Is p smaller than l?
True
Let z = -0.9 - -1. Let w = 43 + -131/3. Is z at most as big as w?
False
Let t(x) = -x**2 + 4*x + 4. Let l be t(5). Let z = 0 + l. Which is bigger: z or -3/2?
z
Let p be (-1)/((-30)/(-32)) - -2. Let m = 4/3 - p. Suppose 0*x + 6*x = -6. Which is greater: x or m?
m
Suppose 3*t = w + 2, -2*t = 3*t - 5. Let k be (-22)/8 + 2 + w. Which is smaller: 0.1 or k?
0.1
Let p(t) = -t + 8. Let o be p(6). Suppose 0 = o*g + b - 20, 2*g + 5*b - 5 = -1. Let i be g/5 - 2/5. Is i at least 2?
True
Suppose k = 5*u - 2 + 13, -3*k = -3*u + 3. Let m(z) = z**3 - 7*z**2 + 6*z + 2. Let r be m(6). Suppose -3*g = r*o + 11, 0*g - 4*o = -g + 1. Is g > k?
True
Let g = -132 - -120. Is g greater than -3/7?
False
Suppose 28*d - 26*d = 0. Which is smaller: 7/10 or d?
d
Let v = 19256 - 135423/7. Let g = v + 90. Which is smaller: g or -1?
-1
Let b be (-3)/(-2)*8/6. Suppose -4*m + 44 = -5*v, 0 = b*m - 0*v - v - 16. Suppose 5*o = m - 1. Is -2/11 equal to o?
False
Let u = 0.2 - 0. Let g = u - 0.3. Let z = 1 + 2. Which is greater: g or z?
z
Let k = -47 - -54. Which is bigger: k or 4?
k
Let x = -0.14 - -1.14. Let r be (-2 + 3)*3 + -1. Let h be 1*2 - (r + 0). Which is smaller: x or h?
h
Let z = -0.007 + 0.107. Which is smaller: -3/5 or z?
-3/5
Suppose 18*j + 1527 = 609. Which is greater: j or -50?
-50
Suppose -5*j = 4*r + 7, -3*r - 1 = -5*j - 22. Let z = r - 6. Suppose 0 = h - 0*h + 2. Do z and h have the same value?
False
Let y = -4/7 + 13/35. Is y > -7?
True
Let x be (2/3)/((-2)/3). Let y(b) = -b**3 + b + 1. Let d be y(x). Let c be ((-10)/(-4) - 0)*4/(-40). Is d at most as big as c?
False
Let i(o) = o**2 - 4*o - 3. Let y be i(5). Suppose 5*f + k + 1 = y, -3*f + 2 = 2*k. Is f greater than or equal to 3/4?
False
Let y = -1.4 - -2. Let o = y + -1.6. Which is smaller: -0.2 or o?
o
Suppose 0 = -2*c - 3 - 5. Suppose -1 = -5*i - 11. Which is bigger: i or c?
i
Suppose -6*j = -0*j - 396. Let g be 20/j*(-6)/(-5). Is g at least 0?
True
Let f be (-25)/(-20) + (-958)/(-40). Which is bigger: 24 or f?
f
Let l be 6/(-4)*4/15. Let h be (0 + (-4 - -3))/(-1). Let q be (-7)/2 + h*3. Which is bigger: l or q?
l
Let i = 106 - 847/8. Let n be (-62)/(-12) + (-2)/12. Suppose -n*v = -3*l + 5 + 6, v - l = -3. Which is bigger: i or v?
i
Suppose -4*f + 51 = 11. Suppose -f + 25 = 5*m. Which is bigger: 4 or m?
4
Let d(u) be the second derivative of -u**3/6 + 5*u**2/2 - u. Let k be d(5). Let t(c) = -c**3 - c + 4. Let p be t(k). Do 4 and p have the same value?
True
Let j(l) be the first derivative of -l**3/3 - 3*l**2 - 3*l - 3. Let m be j(-2). Suppose -5*p + 5*u - 2*u = -13, 3*u - m = -4*p. Which is greater: p or 3?
3
Let b = -8963/27 - -502237/1512. Let r = b + 1/56. Which is bigger: r or 1?
1
Let m be ((-6)/(-9))/2 + -1. Which is smaller: m or -2?
-2
Let q(p) = 6*p. Let a be q(-2). Let i = -14 - a. Is -2 > i?
False
Let v = 5 + -5. Let f be (8/6)/(6/9). Let p be (0 + f/3)/3. Which is bigger: p or v?
p
Let y(m) = m**2 + 9*m - 18. Let u be y(3). Is 18 bigger than u?
False
Let i be 2*1 + 24/(-13). Which is smaller: i or 0?
0
Let o be -12 + 1*4/8*-4. Does -18 = o?
False
Let j = -99 - -82. Which is bigger: j or -63/4?
-63/4
Suppose 3*l = -2*t + 2, -l - 13 - 1 = -3*t. Suppose 0 = 5*n + 10, -6 - t = 4*d + 5*n. Which is bigger: d or 2?
2
Let u(y) be the third derivative of y**5/30 + y**4/6 - y**3/6 + 2*y**2. Let g be u(-3). Suppose -4 = g*w - 19. Which is smaller: 1 or w?
1
Suppose 2*w = 4*x + 4, w = 3*x + 2*w - 2. Suppose 0 = 4*g + g + 3*y - 10, -y + 5 = x. Let t be (4/90)/(3/(-15)). Which is smaller: g or t?
g
Let f be (8 - (-3)/(-2))/((-1)/(-2)). Is 0.1 smaller than f?
True
Let j = -0.79 + 0.29. Is j equal to 0.4?
False
Let n = 149 + -1936/13. Suppose -6*q + q = 5. Are q and n unequal?
True
Let i be 0*(0 + (-1)/2). Suppose 2*q + 5 - 7 = 0. Which is smaller: q or i?
i
Let n(i) = -i**2 - 4*i - 1. Let t be n(-3). Suppose 0 = 3*j - 4*j + 5*f, 0 = -t*j - f. Is j not equal to -1/11?
True
Let y = 0.5 - 0.7. Let u = 2.5 - 0.5. Let m = 1 - u. Which is smaller: m or y?
m
Let o be -1 + (1 - 1/(-3)). Which is smaller: o or -1/11?
-1/11
Let m = -0.4 + 0.3. Let t = -0.2 - m. Let u = 55 - 274/5. Is t <= u?
True
Let y = 445 - 448.01. Let d = 3 + y. Is 0.1 greater than or equal to d?
True
Suppose 3*d = -0*d + 60. Let j = 39/2 - d. Is j >= -1?
True
Let b = 196 - 593/3. Let k be -3*(-2 + (-48)/(-27)). Is k bigger than b?
True
Let i = -13 + 13. Which is smaller: -1/3 or i?
-1/3
Let t be ((-2)/4 + 0)*(-6)/27. Do t and 1 have the same value?
False
Let p = -0.2 - 0.2. Let j = p - -0.4. Is 0 < j?
False
Let d = 0 - 2. Suppose -2*y + 5 = -7*y. Let x = y + -1. Is x >= d?
True
Let n = 55110 + -11573137/210. Let d = -41/5 + 49/6. Let h = d - n. Is h >= 0?
True
Suppose 1 = 5*d + 6. Which is bigger: 27 or d?
27
Let n(a) = -a + 7. Let z be n(4). Let v = -1 + 1. Which is smaller: v or z?
v
Let i = -38 - -36. Which is smaller: i or -3?
-3
Suppose -2 = -2*q + 2. Let o be (q - 1)*8/(-32). Are o and 1 unequal?
True
Let j be (-12)/30 - 3/(-5). Is -2/7 greater than j?
False
Let u = 6 - 4. Suppose 3*v = -10 + 22. Suppose -5*t + 0*t + 25 = y, -v*t + 20 = -4*y. Which is bigger: y or u?
u
Suppose 1 = -j + 5. Suppose -j*t + 25 = -15. Suppose 3*f - t = -2*f. Do f and 2 have the same value?
True
Let f = 6/307 - -55/12894. Is 0 less than f?
True
Let a be ((-66)/(-24))/((-2)/8). Let f = a + 10. Is f greater than -1?
False
Let l = 0.1 + 0.1. Let n = l + -0.2. Let o = 7 + -9. Which is bigger: o or n?
n
Let r = -0.37 + -0.03. Let n = 0.2 + r. Let k = -0.1 - n. Which is greater: -3 or k?
k
Let n = 16 - 12.4. Let i = n + 0.4. Let m = -3 + i. Is m at most 1?
True
Let m(s) = s**2 - 22*s + 24. Let f be m(21). Which is bigger: 12/5 or f?
f
Let d(w) = -2*w - 5. Let r be -1*((-4)/(-2) - -4). Let y be d(r). Which is greater: 9 or y?
9
Suppose 0 = 5*u - 38 + 33. Which is smaller: u or 5/22?
5/22
Suppose -3*k = k. Suppose v - 9 = 5*t, 2*t + k = -2*v + 6. Is 0 < t?
False
Suppose -4*r = -4*g - 32, 4*g + 12 = 3*g + 5*r. Is g greater than -7?
False
Let m(h) = -h**3 + 9*h**2 - 8*h + 2. Let o be m(8). Suppose 0*y + o = 2*y. Is y at most as big as 2/5?
False
Suppose -k + 1 = -v + 3*k, 2*v + 6 = 4*k. Which is greater: -7 or v?
v
Let d = 8188/332815 - -18/1285. Let p be 49/37 - 1/1. Let q = p - d. Which is smaller: q or -1?
-1
Let w be (-2)/(6/189) + 0. Let u = w - -438/7. Suppose 2*c - 4 = -2*c. Is u > c?
False
Let z = -4 - -2. Let c be (-1)/(-2 + z + 2). Suppose d + b = 2*d + 4, 4*d + 21 = 5*b. Which is bigger: d or c?
d
Let k = -317/41 + -44991/205. Let y = -226 - k. Is y > 2?
False
Let h be ((-4)/6)/(681/(-225) - -3). Is h less than or equal to 24?
False
Let v = 7 + -1. Let y = v + -5. Which is smaller: -1 or y?
-1
Suppose -2*a - 3*a - 10 = -o, 3*o = -2*a + 13. Let b = 1.1 + -0.6. Let r = -0.8 + b. Is a not equal to r?
True
Let z = -7404 - -296191/40. Let y = 1/40 - z. Is y >= 0?
False
Suppose 5*w + g = -30 - 9, -5*g = 3*w + 41. Let k = w + -2. Is -10 > k?
False
Let f be 2/7 - (-52)/14. Let r = f + -8. Let p be r/10 + (-33)/(-45). Which is greater: p or -1?
p
Let s = -8 + 11. Let p = s + -3. Let k = -0.1 - p. Which is smaller: k or 3?
k
Let q be 8/(-6) - (-603)/27. Which is bigger: q or 22?
22
Let j(n) = n + 9. Let g be j(-10). Is g >= -10/31?
False
Suppose 2*u + 4 = 4*u. Suppose 0 = -5*v - u*r + 15, -3*v = v - 2*r - 12. Let b be (-10)/(-6)*(-2)/5. Which is bigger: b or v?
v
Let d = 20 - 12. Let r(s) = -s**3 + 8*s**2 - s + 6. Let h be r(d). Which is bigger: h or -1/2?
-1/2
Let b = -79/40 + -13/40. Let i = -14/5 - b. Is i < -1/2?
False
Let q be (-5)/(-10)*(-2)/(-3). Is q <= 0.1?
False
Let c be (42/10)/(-2 - (-98)/35). Which is bigger: c or 6?
6
Let w = -568/45 - -62/5. Which is bigger: 2 or w?
2
Let x be 1/2 - (172/8 + -5). Which is smaller: -52/3 or x?
-52/3
Let l(k) = -k**3 + 11*k**2 + k - 13. Let w = -3 - -14. Let f be l(w). Which is greater: -2/5 or f?
-2/5
Let p = -2263/11 + 206. Suppose -9 = 4*s - 5. Are s and p unequal?
True
Let h be 2/7 + 72/42. Let y be (-4)/(-18) + (-225)/(-81). Is h smaller than y?
True
Let n = 72/275 + -2/25. Which is greater: n or -2.8?
n
Let s be (-166)/(-18) + 4/(-18). Suppose -3*b = s, 5*m - 14 = 5*b + 6. Which is smaller: -1 or m?
-1
Let f = -5224/7 + 14713/21. Which is smaller: -45 or f?
