) - (-342)/(-540). Is t smaller than 1?
False
Suppose r + 2*r - 15 = 0. Suppose -4*f = -5*c - 45, -3*f = -r*c + c - 35. Let b be (-91)/(-35) + (-2)/c. Which is bigger: b or 2?
b
Let y be (20/(-48))/((-1)/(-2)). Let x = 521 + -523. Is x at least y?
False
Suppose 11*s + 148 = -39. Suppose -2 + 19 = -g. Is g at least as big as s?
True
Let k = 0 + -0.56. Let m = k - -0.66. Which is smaller: m or 19?
m
Let p(v) = -18*v - 180. Let j be p(-10). Let a be (-2)/6*8/(-8). Which is smaller: j or a?
j
Let y(n) = n**2 - 9*n - 49. Let u be y(13). Let r be (u + 6/(-6))/(2*49). Which is bigger: r or 0?
r
Suppose 6*n = -22 + 64. Suppose 3*q + 8 = -4*t, -t = -3*q - 6 - n. Is -2/17 greater than t?
False
Suppose 2*w = -g + 6, w - 18 = -3*g - w. Let k be ((-15)/(-2))/(g/4). Suppose -k*t - 10 = 5*r, -2*r = -7*r + 2*t + 4. Are r and -1/5 nonequal?
True
Let d = -52 + 107. Let z = d + -34. Is 1/4 not equal to z?
True
Let v = -2.54 + 0.24. Let g = v + 3. Let l = -301 - -302. Is g less than l?
True
Let m(k) be the third derivative of k**6/120 + 7*k**5/60 + 5*k**4/24 - 2*k**3/3 - 4*k**2. Let c be m(-6). Suppose 0 = -c*i - 2*i. Is -2/35 at least i?
False
Let u(m) = -m**3 - 39*m**2 + m + 18. Let q be u(-39). Suppose -z + i - 14 = 0, 2*z - z - 2*i = -10. Which is smaller: z or q?
q
Let i(h) = 6*h**2 - 7*h - 11. Let d be i(5). Let r = 109 - d. Let z be (-1 - -4)*21/18. Is z < r?
True
Let l = -0.53 - -4.73. Let d = l - 4.9. Which is bigger: -2/3 or d?
-2/3
Let g be 14/(-6) - 2/3. Suppose 5*a = 2*m + 173, -3*a = -6*a + m + 104. Let k be 130/(-42) + 15/a. Which is greater: g or k?
k
Suppose -2*r + 0 = 10. Let b be ((-3)/(-5))/(r/(-25)). Suppose -b*a = 3*h - 24, 2*h = -h + 2*a + 4. Which is smaller: 5 or h?
h
Let w(t) = t**3 + 2*t**2 + t + 1. Let l be w(-2). Let i = l - -2. Suppose -2*d + 3*u + 4 = u, -5*d = -3*u - 18. Is i bigger than d?
False
Let x = -690 + 689.7. Is -235 < x?
True
Let g = 7253/134 + 25/67. Which is bigger: 54 or g?
g
Let v = 174 + -175. Let x = -1 - 1. Which is smaller: x or v?
x
Let p = -795 + 787.94. Let q = -25.7 - -18.7. Let o = p - q. Which is smaller: o or 2?
o
Let r be (-19)/57*(4 - 3 - 1). Is r greater than -2/37?
True
Let p(y) = -y**3 - 3*y**2 - 4*y + 1. Let h be p(-2). Let z = 172745/31003 + -2/4429. Which is smaller: z or h?
h
Let w = 67/6 + -21/2. Let b = 367/217 - 17/31. Let k = b - 17/21. Which is greater: k or w?
w
Let h = 797/8 - 100. Let o(d) = d + 2. Let c(u) = 1. Let q(i) = 2*c(i) - o(i). Let y be q(1). Is y at most as big as h?
True
Let j = -47.6 + 45.6. Which is smaller: j or 0.37?
j
Let u(r) = -r**3 + 2*r**2 + 6*r - 4. Let s be u(3). Suppose 0 = a - 2 + 7, -s*x = -3*a. Which is smaller: -6 or x?
-6
Let v = 97 + -167. Let u = v + 70.06. Are u and 2 nonequal?
True
Let x(w) be the third derivative of w**2 - 1/2*w**3 + 0*w - 5/24*w**4 + 0. Let r be x(1). Are r and -7 equal?
False
Let i = -367 - -362.03. Let p = -2 + 1.97. Let h = i + p. Which is smaller: 2 or h?
h
Let k = 22 + -42. Let c = -18 - k. Suppose -2*u + 10 = -2*z, 16 = -c*z + 2*u + 3*u. Which is smaller: z or 0?
z
Let p = -1/7610 + 11581/1263260. Which is smaller: -1 or p?
-1
Suppose 0 = 4*c - 8 + 8. Let y be ((-28)/(-42))/((-4)/(-54) + c). Is 8 bigger than y?
False
Let z = -23 + 59. Let g be (4/6)/(2/z). Let w(l) = -l + 17. Let x be w(g). Is 5 bigger than x?
False
Let d(a) = -154*a**2 + 30*a - 2. Let w be d(1). Which is smaller: -125 or w?
w
Let a = 2 - 5. Let z = 2 + a. Let x be (-5 + (17 - 6))/39. Is z <= x?
True
Suppose -2*z = -3*z. Let g(v) = -v**3 - v**2 + v. Let j be g(z). Let m = -157/2 + 80. Is m at least j?
True
Let w = -17 - -22. Let s be (-7)/(-21)*(8 + 1). Let h be w/15 + (-31)/s. Is h less than -10?
False
Suppose 3*x = x + 3*l - 13, 4*x = 5*l - 23. Let i be (-2631)/90 + x/(-5). Let h = i - -28. Which is smaller: -2 or h?
-2
Suppose -6*h = -h + 4*q + 16, 0 = -2*h + q + 4. Which is smaller: h or 2/1521?
h
Let b be (-4 - (-7)/(1092/45)) + 4. Let q = b + -967/3172. Which is smaller: 0 or q?
q
Let v = 1472/265 + -40/53. Let f = -494/105 + v. Let h(a) = a**2 + 2*a + 1. Let s be h(-1). Is s at least as big as f?
False
Let q = -448.9 - -425. Let t = q - -22. Which is smaller: t or 2?
t
Suppose 162 = -0*i - 3*i + q, -4*i - 4*q - 216 = 0. Let h be -56 + ((-40)/16)/((-35)/28). Is i at most as big as h?
True
Suppose -635 = -p - 5*x, p - x - 599 = 30. Suppose -5*a = -10*a - p. Let k be 22/18 - (-28)/a. Which is bigger: 2/23 or k?
k
Suppose -y = -3*t - 491 - 129, -5*t - y - 1020 = 0. Is t < -204?
True
Suppose 0 = -0*z + 2*z. Suppose 5*h + 2*i = 6*i - 10, -h + 2*i + 4 = z. Is -3 less than h?
False
Suppose 0 = -9*r + 81 + 81. Suppose 0 = -5*p + 47 + r. Suppose 4*v + s = 57, -5*v + 3*v - 4*s + 32 = 0. Is v greater than p?
True
Let a(v) = -8*v**2 - 161*v - 21. Let j be a(-20). Which is smaller: j or 2/555?
j
Suppose -4*f + 18 = -b + 4*b, b = -4*f + 14. Let c = f - 1. Suppose -8 - 12 = -4*p. Which is smaller: c or p?
c
Suppose s = -5*m - 0*s - 240, -m + 3*s = 64. Let l = 49 + m. Does l = -1/71?
False
Let w = 17 + -17. Suppose 4*k - 21 + 9 = w. Let z be k/18*-2 + -1. Are -2 and z equal?
False
Let p be 0 + 3 - (1 - 26). Let n = -22 + p. Does 0 = n?
False
Let y(f) = 4*f**2 + 2*f - 2. Let r be y(-2). Let g be r/15 + 22/(-6). Let h be g - (-3*2 + -1). Which is smaller: -2 or h?
-2
Let v = 0.227 + 0.043. Let q = -0.97 + v. Which is greater: q or -1?
q
Let w = 19 + 16. Let i be ((-1)/2)/(w/10 - 3). Which is bigger: i or -0.34?
-0.34
Let a = -0.005 + -82.995. Do -2 and a have the same value?
False
Let l be 4419/(-6)*8/(-30). Suppose 5*u + 991 = 6*f - 3*f, -2*u + f = 396. Let n = u + l. Is n <= -2?
False
Let m be 4/16 + (-171)/(-36). Which is smaller: -79 or m?
-79
Let d be 114/(-6)*28/(-7). Is 76 >= d?
True
Let u = 29 - 57/2. Which is smaller: u or 118?
u
Let c = -70 + 68. Is c greater than or equal to -248/5?
True
Suppose 160 = 178*p - 162*p. Is p < 1.4?
False
Let i be 20/(-14) + 1 + -1. Let h(b) = -b**2 - 89*b - 573. Let w be h(-7). Are w and i unequal?
True
Let q be (-42)/8 + 45 + -39. Do -2/19 and q have the same value?
False
Let y be 0 + 0 - (-8 + 1). Suppose -4*k + 350 = k. Let p be y/(k/8) + 1. Which is bigger: p or 3?
3
Let t = 1340931/1002116 - -2/14737. Let w = t + -10/17. Is -5 equal to w?
False
Let c = 1351 + -1351. Which is greater: 7/58 or c?
7/58
Let p(q) = 117*q - 116. Let n be p(1). Is -874 <= n?
True
Let g be 5 - (-11 - -3 - 5). Is g <= 17?
False
Let u(q) = -q**2 - 9*q - 2. Let y be (-34)/4 + (-2)/(-4). Let h be u(y). Suppose 2*k - h*k + 4*a - 36 = 0, 0 = -4*k + 5*a - 38. Is k less than or equal to -6?
True
Let s be ((-6)/(-8))/(33/44). Is s smaller than -0.043?
False
Let y be ((-2)/(-72))/((-77)/(-22))*-20. Which is bigger: y or 1?
1
Let v(r) = -r - 2. Let z be v(-4). Suppose -3*s + 1 = -z. Let i be (-1)/(7/1 - s). Which is smaller: i or -1?
-1
Let y = -196 + 200. Is y >= 2.4?
True
Let r = -4257 + 38276/9. Which is smaller: -5 or r?
-5
Suppose 0*g - 4*t = -4*g + 20, -2*g + 3 = 5*t. Suppose x + g*s = -3, 2*s + 3 = -0*x - x. Let y be (-6)/((9/18)/((-2)/(-8))). Is x greater than or equal to y?
True
Let z = 74 - 73.9. Is 1/61 >= z?
False
Let w = 1198 + -1195. Which is smaller: w or -56/19?
-56/19
Let i(k) = 2*k**2 - 63*k + 439. Let d be i(21). Let g = 1 - 1.2. Which is greater: g or d?
g
Suppose 6*l - 8*l + 4 = 0. Suppose 3*x = 5*x + l. Is 2/49 at most x?
False
Suppose 0 = 2*j + 9 - 25. Let z be ((-12)/(-15))/(j/20). Suppose 1 = -3*p - z. Do p and -1 have the same value?
True
Suppose 137*h = 133*h + 68. Suppose 0 = 3*p + 5*c - 52 - 8, 5*c = -p + 30. Let l = h - p. Is 2 less than or equal to l?
True
Let t = 139 - 139. Is 2 bigger than t?
True
Let a = 37233 + -334249/9. Which is bigger: a or 93?
a
Let o be (2/20*-8)/(26/(-1105)). Which is bigger: -1.8 or o?
o
Let f(u) = 50*u + 362. Let d be f(-7). Is 121/9 at most as big as d?
False
Let o = 131.287 - 0.287. Let v = o - 131. Is v greater than -18?
True
Let d be (-1524)/48 - ((-10)/(-8) - 1). Let a be 48/d + 1/(-2). Which is bigger: a or -4?
a
Let c be 4/(-16) + 115/12. Let b = -314/33 + c. Is 1 <= b?
False
Let q = 13.52 - 12.5. Let j = q + -0.02. Which is greater: j or 1.1?
1.1
Let f = -3/145 - 1556/1885. Let h = f + 1. Which is greater: h or 0?
h
Let j be (20/15 - 1)*-24. Let s = 0.42 - 0.3. Let t = 0.02 - s. Which is smaller: 