-2)/(-5))/((-2)/10). Let p be (-2)/t*(8 + s). Which is smaller: 2 or p?
p
Suppose 7*d = 2*d + 5660. Let k be ((-13)/(-130))/((-2)/d). Let z = k - -57. Which is smaller: 3 or z?
z
Suppose -a - 2*a + 9 = -3*j, 4*a = -2*j + 30. Let r = 12 + a. Suppose h + 3*m = 4*h - r, 2*h - 4*m = 18. Is h greater than 0?
True
Suppose -32 = -3*w + 10. Suppose w*b + 32 = 6*b. Which is smaller: b or -0.12?
b
Let q be (-72)/(-40) - (-228)/(-60). Is q at least as big as -78/61?
False
Let m = 31 - 41. Let p be (-105)/(-120)*m/(-7). Is 1 equal to p?
False
Let a = -30.81 - -31. Let f = a - -5.81. Let x = 5 - f. Is -15 less than or equal to x?
True
Let a be -3*((-7337)/207 - (-5)/1). Is 92 at most as big as a?
False
Let t = -15 + 23. Let o = 1612 - 1607. Is o at most as big as t?
True
Let l = 0.7 + -0.8. Let p be (7 - 666/99)*(-1)/1. Which is bigger: p or l?
l
Let y(n) = n + 13. Let q be y(-11). Suppose 0 = -4*v - k + 4*k + 116, 0 = 5*v + q*k - 168. Is v smaller than 32?
False
Suppose -w - 10 = -m + 3*m, -4*m - 4 = -2*w. Suppose -3*o + 4 = -4*o. Let a = m - o. Is a less than or equal to 3/11?
False
Let y = 30 - 26. Suppose -3*r + 2*g = 5, -4*r + 5*g - 5 = y*g. Which is greater: -5 or r?
r
Let y(j) = j**2 - 4*j - 8. Let b be y(5). Let z = b + 8. Suppose -o - 14 = 3*o - z*a, 0 = 2*a - 4. Is o <= 1/21?
True
Let x be (-368)/(-28) + 1 + -1. Which is greater: 14 or x?
14
Let z be (-27)/30 + 1 + 38/(-380). Which is smaller: 596 or z?
z
Suppose 5*j + 7 = 3*f + 22, 4*f = -2*j - 46. Let i be ((-5)/f)/(1 + -9). Let d = i + -3/16. Is 0.1 at most as big as d?
False
Let j be (-24)/20*1560/(-18). Let m = -105 + j. Suppose 3*n - k = -11, -k = -0*n + 4*n + 3. Are n and m non-equal?
True
Let r(p) = -p**2 - 13*p + 3. Let a be r(-13). Let j be (1/(1 - 2))/(-3)*a. Do j and -2/7 have the same value?
False
Let k = 2161 + -2160. Do k and -0.2357 have different values?
True
Let a = 13.7 + -15. Let k = -0.06 + -0.94. Let s = k - a. Which is bigger: s or -3?
s
Let w(q) = q - 46. Let m be w(-14). Which is greater: -62 or m?
m
Let r be (-4)/7 + 7 + (-52)/7. Let m be (-15)/(-2)*5/(-3). Is m smaller than r?
True
Suppose 17*t + 26*t + 2021 = 0. Suppose 3*k = 5*y - 166, -173 = -0*k + 4*k + 3*y. Is t < k?
False
Suppose 6*o - 7*o = -3*h + 199, 4*h - 280 = 5*o. Is 54 less than h?
True
Suppose -199*n + 168*n + 31 = 0. Let m = 2.9 - 3. Do n and m have different values?
True
Let c = -97.52 + 97. Let d = c + 0.47. Are -4 and d unequal?
True
Let t be -3 + (-6)/(-1)*(-1)/(-3). Is t greater than -2/897?
False
Let v = -98 - -102. Suppose -2*b - r + 3 + 1 = 0, -2 = -v*b - 5*r. Which is bigger: b or 15/8?
b
Let r be ((-1)/(-4))/((-3)/(-12)). Let d(h) = -9*h**3 + 3*h**2 - 4*h + 1. Let w be d(r). Which is smaller: w or -11?
-11
Let b be (-6)/(-8)*10/(-15). Let r(v) = -3*v**2 + 80*v + 37. Let o be r(27). Which is smaller: o or b?
b
Let d(w) = -4*w - 3. Let c be d(-2). Suppose -c*n = -6*m + 2*m + 33, 0 = -4*n - 3*m - 14. Is -8 bigger than n?
False
Let y(x) = x - 3. Let n be y(3). Let t = 92.9 + -88. Let d = t - 6.9. Are n and d equal?
False
Let v be (5 - 170/36)*3/20. Suppose 2*b - 6 = -5*k, -4*k - 9 = -0*k - 3*b. Which is greater: v or k?
v
Suppose 3*r + 5*d - 16 = 0, 5*r - 4*d + 4 - 6 = 0. Suppose 2*k + 3*k - 1 = -o, o - 1 = k. Suppose -r = -i - o. Is 4 <= i?
False
Let p = 583 + -575. Which is smaller: p or -10?
-10
Let q = 2 + -5/2. Let n = -20.2 + 40. Let x = n + -19.9. Is q at least x?
False
Suppose 3*i - 11 = 5*b, 3*b + 3*i = -2*i + 7. Let t be (b + (-2 - -4))*(-153)/9. Is t <= -18?
False
Let w be (0 - (-1)/2)*10. Suppose 2*a - 7 = 3*g - 37, 2*g + 3*a = 20. Suppose g = 5*b - 15. Does w = b?
True
Suppose 58 = 4*x + 22. Let b be x/((-27)/48) + 3. Which is bigger: b or -11?
-11
Let a = 63.26 - 13.3. Let q = a + -50. Do q and -2/7 have different values?
True
Let p = -779 + 778. Is p at least 11?
False
Suppose -3*n + 5*k + 3 = -17, -4 = 4*n + k. Suppose 4 = z - n*z. Let a(q) = -q**3 - 8*q**2 + 7*q - 13. Let x be a(-9). Are z and x unequal?
True
Let c(z) = -z - 11. Suppose -39 = 7*b + 3. Let a be c(b). Which is smaller: -7 or a?
-7
Let q(n) = 34*n**2 + 30*n + 1. Let c be q(1). Which is smaller: 64 or c?
64
Let b = 175 - 175.2. Let x = 62.88 + -64. Let u = -0.02 - x. Which is smaller: b or u?
b
Let p = 3 - 1. Let z = -7 - -7.21. Let n = z + 0.79. Which is bigger: n or p?
p
Let d(w) = w**3 - 24*w**2 - 1. Let p be d(24). Do -8/9 and p have the same value?
False
Let y = -1.138 + 1.08. Let h = y - 0.042. Is h bigger than -43?
True
Let p be 2/(-1) - (2 + -3). Let x be (3/6)/(5/10*-13). Does x = p?
False
Let q = 33 + -18. Let f = 15.1 - q. Is -6 at least f?
False
Let r be (-8)/1 + 7 - 37. Is -43 < r?
True
Suppose -2*k = -8, 3*f - 2*k + 4*k - 77 = 0. Let a be 10/15 - (-70)/3. Is a equal to f?
False
Let h(y) = -y**3 + 13*y**2 + 4*y + 67. Let c be h(14). Which is smaller: -0.1 or c?
c
Let n = 0.59 + -0.69. Let k(i) = -i**2 - i - 1. Let c be 0 + -1 + 0 - 0. Let x be k(c). Is n <= x?
False
Let z be 414/(-308) + (-56)/(-784). Let k(g) = g**2 - 2*g - 3. Let p be k(3). Is z >= p?
False
Let j = 296 + -296.8. Which is smaller: 2.2 or j?
j
Let j(a) = -2*a + 20. Let u be j(11). Let x(v) = -v**3 - v**2 + v. Let s be x(u). Suppose -4 = y - 3*t, y - s*y - 3*t + 2 = 0. Is 2/67 at least y?
True
Let t = 3.3 - 1.4. Let k = -2 + t. Let s = 18 - 17.92. Are s and k nonequal?
True
Let c = 286 - 287. Is -1/12 at most as big as c?
False
Let n(y) = 2*y**2 - 2*y**2 - 4*y**3 - y**2 + 3*y + 3*y**3. Let u be n(-3). Let t be (4/6)/(2/u). Which is greater: 2 or t?
t
Let v be ((-31)/186)/((-1)/8) - 2. Which is smaller: 237 or v?
v
Let m be 3 - 3/((-3)/23). Suppose 47*z = 37*z + 250. Are z and m equal?
False
Let b = 9 + -15. Suppose -3*z = -h, -5*z + 4*z - 5 = -2*h. Let l be h*2*(-1)/b. Which is smaller: 2/3 or l?
2/3
Suppose -3*f - 5 = -20. Suppose 0 = f*v + 13 + 57. Let b = 20 + v. Which is smaller: b or 4?
4
Let k = 878/21 + -17869/427. Which is greater: 1 or k?
1
Let h(q) = -32*q - 6. Let n be h(-2). Let t = 52 - n. Are -6 and t non-equal?
False
Let j(p) = -p**3 - 9*p**2 + 10*p + 6. Let q be j(-10). Let y be (10/(-15))/(4/30). Let o = y + q. Which is greater: o or 0?
o
Let c = 50 - 57. Let n = -6 - -10. Let v = n + c. Is v <= -4?
False
Let n = -34.3 + 2.3. Let l = 36.2 + n. Let d = -3.4 + l. Is d < -2?
False
Let g be 3/(-2)*(-20)/30. Suppose 3*r + g = 10. Suppose 3*h - 6 = -r*x, 5*x - x - 5*h + 10 = 0. Which is greater: -6/7 or x?
x
Let k be (-10)/25 + 28/(-40) + 1. Let u = 56 + -61.2. Let r = -5 - u. Is k <= r?
True
Let k = -8.4123 - 0.0177. Which is greater: k or -1?
-1
Let w = 3.26 - 0.26. Let o = -0.17 - -1.57. Let b = 3.4 - o. Which is greater: b or w?
w
Let g be 15 + -15 + 14*6. Let z be ((-72)/g)/(3/(-2)). Let k = 4/11 - 23/33. Which is bigger: z or k?
z
Let d = -9 - -11. Suppose -2*m - d*r - 90 = 2*r, -2*r - 80 = 2*m. Let b be 18/140 - (-7)/m. Are b and 0 unequal?
True
Suppose -5*u - r = -0*u + 67, 4*r + 2 = -u. Suppose -26*a - 15 = -25*a. Which is bigger: u or a?
u
Let h(a) be the third derivative of -11/24*a**4 + 0 + 8*a**2 + 0*a + 1/60*a**5 + 11/6*a**3. Let j be h(10). Which is greater: j or 5/4?
5/4
Let w = -78 + 82. Suppose -w*h = 5*o - 23, -h + o = -4*o + 13. Which is greater: h or -3/13?
h
Let n = 0.79 - 0.29. Let o = 1.5 - n. Let a = 14 + -23. Is a bigger than o?
False
Suppose -2*p = 5*i - 1, -6*i = -i - 3*p - 11. Let w be (30/5)/(3 - i). Suppose -2*x - w*x = 0. Which is smaller: -2/5 or x?
-2/5
Let n = 54 + -79. Let d = -25 - n. Which is smaller: d or -1.4?
-1.4
Let j be (-1400)/(-63) - (-4)/(-18). Suppose -3*x + 5*s + 3 = j, 2 = -4*x + 2*s. Let b = 2/45 + 28/45. Is b >= x?
False
Suppose -9*l + 24 + 66 = 0. Suppose -3*h + 50 = -f + 6*f, 0 = 5*h. Is f at most as big as l?
True
Let k = -143 + 157.92. Let w = k - 14. Let b = w + 0.38. Is -2 <= b?
True
Let s(q) = -15*q - 29. Let m be s(-2). Which is smaller: m or 25/17?
m
Suppose 4*c - 2368 = 4*z, -3*c + 1126 + 650 = 2*z. Is 591 >= c?
False
Suppose -4 + 26 = -11*n. Let s be (-4)/(-6) - 57/18. Which is greater: n or s?
n
Suppose 0 = 4*k + 2*v - 74, 21 = 3*k - v - 32. Suppose p = -2*p - k. Are -8 and p unequal?
True
Let u(x) = x**3 + 10*x**2 - 2*x - 15. Let l be u(-10). Suppose -a = -l*c - 3*a - 16, 3*c + 14 = a. Is c equal to -33/8?
False
Suppose -14*d - 2 = 12. Is d at most as big as 3/3