/(-3)*-11). Which is smaller: t or w?
t
Suppose 0 = -q - 2*q - 3. Let l be (-112)/(-240) + q/(-3). Which is bigger: l or 2?
2
Suppose 5*u - 5*y + 565 = 0, -3*u = u - 2*y + 456. Which is smaller: u or -114?
u
Let g be (2 - (-4)/(-8))/(2/12). Suppose 3*a - g + 45 = 0. Is -9 greater than a?
True
Let g be (-9)/3 + 0/1. Let w = 55.9 + -56. Let s = -1.9 + w. Is s at least g?
True
Suppose 0 = -14*p - 22 - 300. Is p >= -122/5?
True
Suppose 3 + 3 = q. Let i be 28/(-8) + (-3)/q. Let z be 5/50*(-10)/i. Is z less than or equal to 1?
True
Let s(d) = -6*d**2 - 3*d - 6. Let b be s(-3). Let m = 42 + b. Which is bigger: m or -10?
m
Let g = -149 - -68. Suppose -12*p + 54*p + 3360 = 0. Which is smaller: g or p?
g
Let m = 0.0993 + -5.1693. Let i = m - -5. Let t = 26 - 26.1. Is t at least as big as i?
False
Suppose m = 0, -2*m - 277968 = -5*b + 3*b. Let p = b + -970995/7. Let x = p - 270. Are 1 and x unequal?
True
Let s = -0.06 + -1.94. Let t = -612.08 + 666. Let g = 54 - t. Is g < s?
False
Let d = -3882/5 + 784. Suppose 0 = 5*t, -3*n + 24 = -0*n + 3*t. Is n < d?
False
Let m = 1513 + -1513.4. Which is smaller: m or -96?
-96
Let p(u) = u**3 + 8*u**2 - 8*u + 13. Let g(t) = -3*t + 3. Let f be g(4). Let j be p(f). Suppose 7 = 5*d + 2*z, -j*d = -6*z + z - 32. Does 3 = d?
True
Let v be ((-11)/4)/(5/(-40)). Let w = v + -20. Suppose k - 4*k + w*y - 18 = 0, 5*k + 14 = -2*y. Is k bigger than -8/3?
False
Let d = 0.374 - 0.344. Is 5 greater than d?
True
Let r = -9 + 10. Let m = r - 37. Let v = -37 - m. Is v bigger than -1?
False
Let p = -88 - -87.79. Let j = p - -0.01. Is j less than -7?
False
Let n = 271 - 404. Let v = n - -1061/8. Which is greater: 0 or v?
0
Suppose 15*u = 10*u - 50. Let y = 1 - u. Let c = 11 - y. Are 5/4 and c unequal?
True
Let w(g) = g**2 - 7. Let d be w(3). Suppose 3*r + d*r = 50. Suppose -5*a - 4*v = r, 0 = -a - 5*v - 14 - 9. Which is greater: 6/11 or a?
a
Let z = -346662 - -48534859/140. Let v = 78/5 - z. Is 1 greater than v?
True
Let i(f) = -f**3 - 6*f**2 + 3*f + 1. Let q be i(-6). Let l(t) = -8*t. Let u be l(2). Let z = q - u. Is -6 <= z?
True
Let c = 316 + -318. Let f(r) = r**3 - 4*r**2 - 7*r + 7. Let i be f(5). Which is smaller: c or i?
i
Let d = 55 - 52. Is -2 bigger than d?
False
Suppose -r = -2*w - 2 - 1, 4*w = -2*r + 6. Suppose 2*q = 3*a - 47, -4*a + q + r*q = -64. Suppose 1 = 2*n + a. Which is smaller: -8 or n?
-8
Let m(o) = -o**2 + 7*o - 8. Suppose 0 = -4*n + 3*u + 34, -2*n - 4*u = 2*n - 20. Let p be m(n). Let x = 14 + p. Which is smaller: 4 or x?
4
Let h be (-10 - -9)/((-28)/(-880)). Is h > -30?
False
Let c be (2/(-36))/((-27)/4). Let z = 401/486 + c. Let h = 8/33 + 14/33. Is z bigger than h?
True
Suppose 0 = -8*v + 50 + 46. Let l = -1 - v. Is l > -12?
False
Let q be 6 + (2 - 222/8). Which is greater: 0 or q?
0
Suppose -3*k - 235 = -8*k. Let t = -58 + k. Which is smaller: -12 or t?
-12
Let f(q) = -q**3 + 10*q**2 + 22*q + 22. Let o be f(11). Which is bigger: o or 575/4?
575/4
Let k(i) = -i**3 - 12*i**2 + 15*i + 26. Let a be k(-13). Is a <= -59?
False
Suppose k = 4*k. Let l be ((-6)/(-9) + -1)/((-3)/(-9)). Let a be (6/9)/(l + 4/6). Is a >= k?
False
Suppose 4*k = -5*v - 9 - 32, -24 = 4*v + k. Let l be 6/70 - 6/(-105)*v. Which is smaller: 1 or l?
l
Suppose 0 = 36*h - 34*h + 320. Let c be (-20)/h + 1/(-8). Which is greater: c or 8/9?
8/9
Suppose -6*g = -56 + 38. Which is smaller: g or 20/7?
20/7
Let b be (-3 + (-25)/(-5))*(-2)/(-16). Do 3/2 and b have different values?
True
Let d = -70361/424830 - -386/867. Let s = d + 1/49. Is s at least -1?
True
Let d = -13/3 - -29/6. Let q be (0 - -3) + (-34)/10. Are q and d unequal?
True
Suppose -3*v = t - 6, 5 = -v - 2*t + 4*t. Let h = 141/820 + -5/41. Are h and v nonequal?
True
Let o be (3/6)/((-6)/66). Let r(w) = -w**2 + 8*w - 5. Let i be r(8). Is o > i?
False
Let p = 97 - 98. Is -2/303 <= p?
False
Let a be 1 + 0 + -3 - (-4194)/(-4). Let c = a + 1030. Do c and 1 have the same value?
False
Let y = -2162 + 112397/52. Let b = 10/13 + y. Is 14/5 not equal to b?
True
Let r be (-2 - 9/(-2))*(-36)/645. Which is bigger: -0.2 or r?
r
Suppose 13*q = 542 - 204. Which is smaller: 24 or q?
24
Let i = -1323 - -441. Which is bigger: -881 or i?
-881
Suppose -5*a - 471 = -186. Is a at least -57?
True
Let z be 17 + 3 - (-4 + 4). Suppose n - p = 2, 0 = -5*n - 0*n + 3*p + z. Suppose c = 3*t - n, t + 4*t - 5*c - 15 = 0. Which is bigger: 16/5 or t?
16/5
Let d(q) = -q**2 - 8*q - 17. Let c be d(-3). Let m be (-205)/(-25) + -2 + 1 + c. Is 5 greater than m?
False
Let k = 0.03 - 0.07. Let b = k - 0.08. Let g = -0.07 - b. Which is smaller: g or 0.1?
g
Suppose 2*f - 4*h - 22 = h, 0 = h + 4. Let g be 2/(-15) - 7328/(-60). Let p be g/240 - (-18)/(-48). Which is bigger: p or f?
f
Let p = -8 - -2. Let f be (-4)/4*(-3)/(18/(-28)). Which is smaller: f or p?
p
Let x = -111 + 381. Is x >= 267?
True
Suppose 0 = -0*q - q + 14. Let h = q + -13. Suppose -c - h = -2*c. Which is greater: c or 7/4?
7/4
Suppose -q - 19 = 3*w + 50, 3*w = 4*q - 54. Let j = -16 - w. Suppose 0 = -j*l + 2*l - 8. Is l less than or equal to -2?
True
Suppose 0 = q - 3*m - 8, -3*q - 2*q + 2*m = -92. Let x = 0.889 - -0.121. Let v = x - 0.01. Is v != q?
True
Let b be 1 + 5 - (4 - 2). Suppose -r - 1 = -b. Let f be (14 + -12)*((0 - -2) + -1). Is f >= r?
False
Let v(p) = 2*p - 1. Let k be v(2). Let f = 41.9 - 15.9. Let l = f - 26.4. Which is greater: k or l?
k
Let i be (-4)/14 - (-282)/7. Suppose 5*k + 3*g + 40 = 0, 5*k + 0*g = -2*g - i. Let f(y) = y**2 + 4*y - 5. Let o be f(-4). Is o greater than k?
True
Suppose -458 = -3*h + 169. Does 210 = h?
False
Let p = -144.4 - -143. Let m = -0.31 - -1.61. Let i = p + m. Which is smaller: -6 or i?
-6
Let h be -5 - (-2*282)/(-6). Which is smaller: h or -7?
h
Let t = 602 - 588. Is t < -45?
False
Let y = -5.53 + 5.1. Let w = y + 2.43. Is w >= 1/26?
True
Suppose -11*z = 13*z + 37*z. Let x be (-1)/(-4) + (-2)/2. Are z and x nonequal?
True
Let c(n) = 6*n**2 - 5*n + 23. Let r = 121 - 118. Let i be c(r). Which is smaller: 63 or i?
i
Let n = 898/12427 - -6/289. Is n at least 1?
False
Suppose 3 = 6*r + 81. Which is bigger: -77/6 or r?
-77/6
Let r be 0/(-2) + -2 + 27/9. Which is bigger: r or 7/2?
7/2
Let i = 657 + -275. Does i = 381?
False
Suppose 6*y + 4*y = -2160. Is y smaller than -218?
False
Let g = -15 + 15. Suppose 2*u = 5*a + 6, 5*u - 3*a + g*a + 4 = 0. Let k be 1*(-1 - (0 + u)). Which is greater: k or 2?
2
Suppose 6 = 3*b - 3*s, 17 - 47 = -5*b - 5*s. Let k be 9/(-2) + 1/2. Let t be 3*k/(-6)*1. Which is smaller: t or b?
t
Suppose r - 3*i + 13 = 0, -2*i - 59 = 3*r - 7*i. Let b be 2 - (r/(-10))/1. Let q = -2/15 - b. Which is bigger: q or -3?
q
Suppose -f = 5, -4*i + 29 = -3*f - 2. Suppose -4*u - 6 = 2*p + 3*p, 3*p - u - 10 = 0. Let k be 7/(-14) - (-6)/p. Do i and k have the same value?
False
Let u = 254 - 365. Is -112 at least u?
False
Let y(n) = n**3 + 5*n**2. Let i be y(-5). Suppose -p = -v + 1, 4*v = 3*p - p. Let s be (16 + -16)*1*p/(-4). Is s smaller than i?
False
Let n = -20 + -5. Let g = 32 + n. Does -1 = g?
False
Let h = 64 - -109. Suppose h = -4*m + 57. Is m greater than or equal to -31?
True
Let h = 124 - 58. Let t = h - 64. Which is greater: t or 15/11?
t
Let z = -177 - -179. Is 5 less than z?
False
Let f be -15*1 + 7 + 11/(-11). Let u = 8 - 1. Is f < u?
True
Let u be ((-604)/(-3) + 5)/((-3)/9). Which is smaller: -618 or u?
u
Let g = -526657/3805 + 9/761. Let b = g + 139. Do 1 and b have the same value?
False
Let j be (-3)/((-9)/12)*1/(-10). Let k be (3/117)/(2/18). Which is smaller: k or j?
j
Let u(c) = -4*c**2 - 53*c + 40. Let j be u(-21). Is j at least -610?
False
Let p = -82373/1773 + 418/9. Is p > -1?
True
Let n be (2*(-6)/8)/(6/(-40)). Is n at least as big as 1?
True
Let f(v) = 15*v + 133. Let l be f(24). Is l < 495?
True
Let c be (-2)/(-8) + 10863/(-204). Is -53 at least as big as c?
True
Let m = 6 + -2.6. Let g = -237.3 + 234. Let q = m + g. Is 9 at most as big as q?
False
Let t be ((-3 - -1) + 0)*-1. Suppose 3*p = t*p + 10. Is p less than or equal to 8?
False
Let l(m) = 10*m - 306. Let w be l(23). Let i(a) = -24*a - 3. Let q be i(3). Are q and w equal?
False
Let i = 31 + -30. Let g(s) = -s - 9. Let w be g(-11). Suppose -5 + 1 = -w*a. Which is greater: a or i?
a
Let t = -283 - -281. Which is smaller: -29/23 or t?
t
Let r = 