False
Let y be 4/10 - 34/85. Suppose 5*z + y*t + 47 = t, -5*t = -2*z - 5. Which is greater: z or -11?
z
Let c = 156 - 234. Let d = c - -78.061. Is 2 greater than or equal to d?
True
Suppose 0 = -4*h + 23 + 89. Suppose 3*k = -k - h. Let p(d) = -d**3 + d**2 + 5*d - 5. Let g be p(3). Which is smaller: g or k?
g
Let y(p) = -2*p**3 - 7*p**2 + 6*p + 14. Let c be y(-4). Which is greater: c or 0.2?
c
Let r = -6614 + 26277/4. Which is smaller: -44 or r?
r
Let j(a) = a**3 - 9*a**2 - 5*a + 7. Let n be j(6). Let q = -255/2 - n. Which is smaller: q or 5?
q
Suppose -4*y - 8*y = -18*y. Which is smaller: y or -3?
-3
Let b(f) = -18*f**3 + f - 1. Let r be b(1). Let k = r + 20. Do 11/6 and k have the same value?
False
Let q(f) = -f**3 - 15*f**2 + 2*f + 53. Let j be q(-10). Is -467 greater than j?
False
Suppose 0 = 28*n - 18*n. Is n > -1/19?
True
Let h(t) = 3*t**2 - 7*t + 8. Let i(w) = 2*w**2 - 7*w + 8. Let p(l) = -3*h(l) + 4*i(l). Let f be p(-9). Let a be 9/12*f/(-3). Is a less than or equal to 4?
True
Let a be (-4)/(-6)*(-21)/(-14). Suppose -27*p - 208 + 262 = 0. Is p <= a?
False
Let f = -2 - -3. Suppose 2*j + 5 + 8 = s, 4*s - 10 = j. Is f < j?
False
Suppose -11*m - 44 = -22*m. Suppose -2*w = -3*w - m*f + 23, 2*w - 18 = -f. Which is bigger: w or 10?
10
Suppose 12 = 2*f + 3*f + 3*x, 0 = -4*x - 4. Suppose -f*l + 58 = -23. Is -0.1 < l?
True
Let i(c) = 58*c - 231. Let z be i(4). Are -7/104 and z nonequal?
True
Let b = 398 + -306. Do 91 and b have the same value?
False
Let u = -83 + 82. Let o = 3.7 - 4. Which is smaller: u or o?
u
Let j(i) = i - 22. Let x(g) = 2. Let w(u) = -2*j(u) - 22*x(u). Let l be w(8). Is -14 bigger than l?
True
Let q = -11.61 - -5.61. Which is smaller: 0.25 or q?
q
Suppose -2*a = p + 3, -a + 3 - 12 = 3*p. Let h be (p/(-4))/((-6)/(-24)). Suppose 4*i + 0*i - 7 = h*w, w = 5*i + 5. Is w at most -5?
True
Let n = 58 - 113/2. Let r be 0*(-1)/(-3) - -3. Which is smaller: n or r?
n
Let l(g) = -g - 8. Let k be l(-8). Suppose -2*q - 25 + 1 = k. Let f = 7.9 - 8. Which is bigger: q or f?
f
Let y = 29/5 - 201/35. Let c = 43/140 - y. Is c > -91?
True
Let k be (1 - -5) + (-5 - -3). Suppose 0*q - 3*q - 4*t = 59, -k*q = -5*t + 89. Let r be (-6)/(-7) + q/49. Is -1 not equal to r?
True
Let g be ((-36)/(-19) - 2)*(-1 - -2). Suppose -3*t - 2 = 1. Is t less than or equal to g?
True
Let a be (-16709)/10 + 1/(-2) + 1. Let b = 1676 + a. Is b greater than or equal to 5?
True
Let f = -159 - -177. Is f greater than or equal to 19?
False
Let n be ((-3)/3804*-2)/(1/(-2)). Is n at most 1?
True
Let t be 5/(-115)*-1 + (-5)/15. Which is smaller: t or 1?
t
Let b(w) = -239*w - 302. Let d be b(7). Is d < -1975?
False
Let q be 7/3 - 1 - 3975/3285. Which is smaller: 1 or q?
q
Let l = 2554/65 + -490/13. Which is smaller: l or 2?
l
Suppose -15*u - 2280 = 420. Is u at most -180?
True
Let p = 613 + -619. Which is smaller: -80/11 or p?
-80/11
Let y(g) = -6*g**2 + 49*g + 258. Let m be y(-5). Which is greater: 1/2 or m?
1/2
Let t be 2/(-15) - (-9336)/(-855). Let d = t + 45/133. Which is greater: -10 or d?
-10
Let l be (((-1)/(-8))/((-4)/(-32)))/(-1). Which is smaller: l or -42/25?
-42/25
Let w = 257411/61 + -4220. Let c = w + -224/549. Which is smaller: c or -2?
-2
Suppose -3*r = -21 + 15. Suppose r*n = 5*y - y + 2, 4*n + 5*y + 9 = 0. Is n greater than or equal to 6?
False
Let s be 2*9/(-6) + 3. Suppose s = u + 6 - 4. Let o be ((-2)/10)/(8/20). Is o greater than u?
True
Let c be ((-28)/(-1638))/((-111)/(-9)). Which is smaller: c or -1?
-1
Let k be (-8)/(-3 - -5) - -8. Suppose -6*g - 10 + k = 0. Are g and 1/5 nonequal?
True
Let d = 139 - 139. Which is greater: d or 7/58?
7/58
Let n = 0.1197 - 3.1197. Let m(i) = -i**3 + 2*i**2 + 2*i - 1. Let k be m(2). Suppose k*z + 2*z = 0. Which is greater: n or z?
z
Let n(o) be the second derivative of o**3/3 + 31*o**2/2 + 15*o. Let c be n(-14). Is c bigger than -1/5?
True
Let u(s) = -s**2 + 96. Let o be u(0). Suppose 2*w = 7*w + 2*d + o, 5*w - 3*d = -81. Let q = w + 8. Which is bigger: q or -9?
-9
Let r be ((-4)/8)/((-14)/(-8) + -2). Suppose -a + 5*x = 20, -3*x + 2 = a - r. Which is smaller: -4 or a?
a
Let v = -1/6 + 0. Let t be 20/5*1/1. Suppose -2*r - 2 = -t*r. Is v < r?
True
Suppose 1 = -4*f + 5, 172 = 3*o - 5*f. Let z = o + -13. Let r be z/(-2)*(-7)/(-28). Is -7 <= r?
True
Let s(y) = y**3 + 9*y**2 + 4. Let r be s(-9). Suppose 2*g - r*h = g + 3, 3*g = -h + 9. Is g less than or equal to 7/2?
True
Let p = -6 - -6.024. Let c = -4.224 + p. Let b = c + 0.2. Is -2/3 less than or equal to b?
False
Let x = 90 + -140. Let c be x/(-4) - 3/2. Suppose 410 = 27*b + 86. Which is greater: c or b?
b
Let m be 35/(-8)*-2 + -6. Which is smaller: 4 or m?
m
Let f = 1821 - 260404/143. Is f not equal to 0?
True
Let r be 204 + -52 - (-5 - 1). Which is smaller: 160 or r?
r
Let w = -2/1091 + -2164/9819. Let u = -1 - -2. Is w at least as big as u?
False
Let t = 2835 - 592513/209. Is 0 != t?
True
Let y be (0/4 - -2) + -4. Let r be (-3)/y + 40/(-15). Which is smaller: r or -1?
r
Let p(a) = a + 4. Let k be p(-2). Suppose -m = -k*m. Let d be 0*(m - -2)/2. Does d = 1/13?
False
Let j = 98 - 868/9. Is 1 less than j?
True
Let h = -1545 - -1544. Which is bigger: -66.3 or h?
h
Let t be (1*2)/(19/(17157/(-6))). Which is smaller: -300 or t?
t
Suppose 2*f + b = 2, -f - b + 2 = -0*b. Suppose -3*y - 4*v - 7 + 0 = 0, -5*y - 3*v - 8 = f. Let d be 0 - -4*(-3)/22. Is y bigger than d?
False
Let i = 0 + 24. Let k = i - 21.4. Let w = k - 9.6. Is 0 bigger than w?
True
Let p = 121 - 78. Suppose p*x - 37*x = -60. Is x < -18?
False
Let u be (6/(-56))/(-3 + (-77)/(-28)). Are u and 1/3 equal?
False
Suppose r - 124 = -v - 17, 2*r - 4*v = 226. Suppose 3*d = 4*g - r, 0 = -4*g - 0*d - 3*d + 139. Which is smaller: g or -1?
-1
Let r = -894 + 681. Does r = -0.1?
False
Suppose -2*h + 4*h = -32. Let t(x) = -x**3 - 16*x**2 + 2*x - 12. Let l be t(h). Is -44 bigger than l?
False
Let r = -13.6 - -13.4. Suppose 0 = -0*i - 2*i. Which is bigger: r or i?
i
Let r(i) = 3*i**2 + 8*i - 3. Let u be r(5). Let v be (2/3)/((-16)/(-2670)). Let t = v - u. Which is smaller: -2/7 or t?
t
Let x = 4/51 - 38/1785. Which is smaller: x or 2/5?
x
Let c be -1 + 4 - (0 - 45). Let v be (18/c)/((-54)/(-4)). Let n = 95/468 + v. Is 0 at most as big as n?
True
Let q = -56 - -79. Let w = 12 - q. Are w and -6 nonequal?
True
Let j = -0.38 + -0.32. Let t = -0.8 - j. Which is greater: t or 8?
8
Let w = -20 - -59. Let t = 42.3 - w. Let l = t - 3.22. Which is bigger: 0.2 or l?
0.2
Let t = 0.21 - -28.79. Let o = -30.3 + t. Let s = o + 0.3. Is 3 < s?
False
Let s = -0.56 + 0.56. Which is greater: -39 or s?
s
Let l = -182 - 8. Is -190 > l?
False
Let s be (11 + 2655/(-243))*42/4. Is -0.2 at least as big as s?
False
Suppose 3*i - 2*p = 120, 6*p = 4*i + 3*p - 159. Let q = 63 - i. Which is greater: q or 22?
22
Let l = -42 + 25. Let h = l + 13. Suppose -7 = -3*a - 19. Are a and h equal?
True
Let u(f) = f**2. Let l be u(0). Suppose -3*v - 2*v = l. Let k be 6/99*-9*1. Which is smaller: v or k?
k
Let s = -274 - -2749/10. Let x = 0 + 2. Which is smaller: x or s?
s
Let u(n) = -3*n + 20. Let x be u(6). Let s = -119329/23 - -5189. Which is smaller: x or s?
s
Let h = -122/55 - -9/11. Which is bigger: -2 or h?
h
Let x(i) = -i**2 + 11*i - 7. Let r be x(7). Let l = r - 17. Suppose -4*k = -l*m + 24, 11 = -2*m + 3*m - 2*k. Is -1/6 bigger than m?
False
Let b = 94 - 70. Let k = 30 - b. Let l = 0.01 + 1.99. Is k bigger than l?
True
Suppose -10*v + 15*v + 315 = 0. Let h = v + 63. Let p = 0.4 - 0. Is h < p?
True
Let p be (-2)/(-4)*(1 + 3). Suppose -3*x + 2*x + 7 = 5*a, -2*a = -p*x + 2. Suppose -3*o - x*o = -5. Is 0 not equal to o?
True
Let t be (-10)/15 + -4 - (-2 - 2). Let b be (1 + 0)/(4/4). Let d = 3 + b. Does t = d?
False
Let u(j) = -j**3 - 7*j**2 + 18*j - 12. Let d be u(-9). Let t be ((-18)/d)/(6/28). Which is bigger: 5 or t?
t
Let i be ((-9)/(-15))/((-4)/(-180)). Let c be (-3 - 0)/(i/36). Let m = 3 + c. Which is greater: m or 0?
0
Let w(l) = 2*l**3 + 2*l**3 + 2*l**2 - 3*l**3 - 8*l + 3*l**2 - 13. Let k be w(-6). Let f be 3/30*(2 - 16). Which is greater: k or f?
k
Let s(b) = -4*b + 12. Let j be s(3). Let t(c) = -c**3 + c**2 + 2*c - 41. Let i be t(j). Is i greater than or equal to -2/5?
False
Let x = -2 - -2. Let o = -24 - -26. Suppose -13 = -5*z - v, 4*v = -o*z + v. Is x