et p(o) = o - 2. Let b be p(4). Let v = -38 - -39. Let j be (4/(-8))/(v/b). Do 2 and j have different values?
True
Let z = 46 + -48. Let w be ((z - 0) + -18)/(21/3). Which is bigger: w or -4?
w
Suppose 3*y + 23 = -2*t, 4*y = -5*t + 4*t - 34. Is y < -7?
True
Let q(t) = 6*t - 2. Let m(o) = 3*o - 1. Let h(s) = 5*m(s) - 3*q(s). Suppose 2 = 2*w + 4. Let a be h(w). Does a = 10/3?
False
Let d(c) = -c**2 - 12*c - 12. Suppose 0*a + a = 3*w - 11, 0 = -5*w. Let i be d(a). Which is greater: i or 2/253?
2/253
Let n be -72 + 0 - (-6)/6. Let c = n + 47. Let p = -17 - c. Which is greater: 6 or p?
p
Suppose 25*f + 22 = 47. Let x = -200 - -6201/31. Is x at most as big as f?
True
Let a(k) = -k + 2. Let p be a(3). Let c = -89212/37 - -2411. Let u = -18/407 - c. Is p at least as big as u?
False
Let n(l) = 2*l**2 - 33*l + 16. Let z be n(16). Suppose z = -13*x - 3*x - 16. Are x and 2/267 unequal?
True
Suppose -1 - 2 = -2*d - i, 4*i + 15 = d. Suppose 5*m - d - 29 = -4*u, -u - 2*m + 8 = 0. Is u at least 5?
True
Let g be (2/(-8) - 0)/(204/(-16)). Is g greater than -3?
True
Suppose -4*v = -5*g - 23, -2*g = -3*g + 1. Let i(t) = t**2 + 12*t - 7. Let j be i(-13). Which is smaller: v or j?
j
Let n(u) = u**3 + 4*u**2 - 1. Let k be n(-3). Let l be 1/2*(-1 + -1) + 2. Let v be ((-1)/l)/(1 + 0). Which is smaller: v or k?
v
Suppose 4*f + 38 = u, u = 3*f + 25 + 3. Suppose r + y = 0, r + 28 = -3*r + 3*y. Let p be r/(-165)*25/f. Is p smaller than -1?
False
Let f = 5.27 - 4.81. Which is greater: -3 or f?
f
Let o = 0 - -2. Let l be (o/4)/(6/48). Suppose g = -g + l. Are g and 0 nonequal?
True
Let j be (-15)/(-9)*(-6)/(-45). Is j != 191?
True
Suppose -x + 3 = -2*d, -5*x = 4*d - 0*d + 55. Is -28/5 bigger than x?
True
Let x = 218/3 - 61. Let i = -139/12 + x. Let l = i + 1/24. Is l <= 1?
True
Let w = 23.6 - 20. Let r = w + -2.9. Which is greater: 0 or r?
r
Suppose 15*i - 10*i = -4*o - 9, 3*i - 5*o = 39. Let f be (3/4)/(1/(-4)). Which is smaller: i or f?
f
Let z be 0 + -1 + 35/(-10)*-2. Suppose -3*y + 4*s = -15, -y + 3*s + 3 + 7 = 0. Let d(v) = 6*v**2 + v. Let c be d(y). Are z and c non-equal?
True
Let h(n) = 2*n**2 + 2*n - 2*n - 6 + 4*n - n**2. Let j be h(-5). Is -1/24 less than j?
False
Let v = 2231666/9 - 248245. Let i = v - -281. Which is smaller: -2 or i?
-2
Suppose 4*k + 4*a + 400 = 0, 4*a - 129 + 339 = -2*k. Is -96 at most as big as k?
True
Let v be (-1 - 578/5)/((-12)/10). Let q = 96 - v. Which is smaller: q or -2?
-2
Let r = -548 + 549. Is -64 at least as big as r?
False
Suppose 0 = -10*i - 11 + 31. Which is smaller: -0.119 or i?
-0.119
Suppose 4*m = -5*w + 281 + 19, 4*w = -m + 86. Suppose 22 = -3*b + m. Which is smaller: 15 or b?
15
Let c = 1729/10 - -13/30. Let k be 1*35*(32 + -37). Let a = k + c. Which is bigger: -2 or a?
a
Let q be (-2)/(-42)*2157 + -1. Let g = 102 - q. Which is bigger: g or 3/8?
3/8
Suppose 2*p + 0 - 2 = 0. Let m = 1/737 - 7393/16951. Is m greater than p?
False
Suppose -4*g + 49 = -5*y, -10*g = -15*g + 5*y + 65. Is g bigger than 81/5?
False
Let a = -177 + 170.3. Let q = 5.3 - -1.7. Let y = a + q. Which is bigger: y or -0.2?
y
Let n be (-112)/(-130) - 2/5. Let q(i) = 3*i - 10. Let d(a) = 2*a - 49. Let h be d(26). Let o be q(h). Is n < o?
False
Let j be 0*(3 - 50/15). Let p be (-9)/(-2)*(-8)/(-6). Let r be p/21 - (-30)/(-56). Which is greater: j or r?
j
Let w = -722 - -575. Which is greater: -445/3 or w?
w
Let a = 14 - 12. Suppose 10*h - a = 9*h. Let q = 9/2 + -4. Is h <= q?
False
Let w = 15887/45 + -353. Let u be ((-1)/(-2))/((-2)/16). Let v be (0 + -3)*u/(-12). Is v smaller than w?
True
Let v be (-23)/(-4) + 78/(-104). Suppose -4*d - 13 = s, -5*d - 20 = -0*d. Suppose 0 = 2*x - s*r - 1, v*x = 3*r - 1 + 8. Is 7 at least as big as x?
True
Let s be -3 + (-48)/(-8) - (4 + -1). Which is smaller: 235 or s?
s
Suppose 2290 - 7365 = 7*d. Which is smaller: d or -727?
-727
Suppose -4*p = -v + 13, -3*p - 7 - 19 = -4*v. Let d = -10 - -4. Are p and d non-equal?
True
Let j = 149.86 + -150. Which is smaller: 0.04 or j?
j
Suppose -t + 4*t = 6. Let w be (-135)/5 + (t - 1). Let k be (-2)/3 + w/6. Which is bigger: 1 or k?
1
Let p = 57.35 + -57. Let z = 196/3 + -66. Is p at most as big as z?
False
Let d = 43 - 36. Suppose d*x - 14*x + 49 = 0. Which is bigger: 3 or x?
x
Let t(v) = 6*v + 16. Let r be t(3). Let s be (380/30)/((-20)/54). Let i = s + r. Which is smaller: i or -0.1?
i
Let z = -128.46 - -128. Is z != 0.2?
True
Let o(z) = z - 1. Let h be o(-3). Let m be 5*2*2/10. Let k be m - 66/9 - 0. Is k <= h?
True
Let g = -20147 + 20170.874. Let t = g + 0.126. Is -3 at most as big as t?
True
Let i = 489/35 - 72/5. Suppose -19*q + 23*q = 20. Suppose s = -q*r - 4, s - r = r + 3. Are i and s equal?
False
Let f(d) = -d**2 + 43*d + 1437. Let i be f(65). Suppose 0 = -2*q - 4*y, y + 1 = -0*q - q. Let b be ((-10)/(-3))/(q/(-3)). Is i smaller than b?
False
Let x = -27 - -25. Are x and -7/9 non-equal?
True
Let j be (2 - 2)*-1 - (-296)/22. Let k = j - 7274/539. Are k and -1 equal?
False
Let f = 146204 + -19298833/132. Let x = f + 1/33. Which is bigger: x or 0?
x
Suppose 0 = 2*o + 3*o - 120. Let i = 6 - 3. Suppose g + i*g = -o. Is -6 at most as big as g?
True
Let w be 6/33 + -3*2/33. Suppose -3*m + 7*m + 54 = 2*u, 64 = -4*m + 4*u. Let f be (-17)/m - 5/5. Is f at least w?
True
Suppose 0 = 3*x + j + 9, 2*x + 4*j = x - 14. Let d = -1 - x. Let v be (-50)/18 - (-8 + 5). Is v at least as big as d?
False
Suppose -u = -5 + 2. Let x be u/(-6)*(-4 + 0). Let b be 0 + (16/6)/x. Is 0 smaller than b?
True
Suppose 0 = 4*q - 38*j + 34*j - 12, 4*q = j. Let h(k) = -k**2 - 3*k + 2. Let y be h(2). Which is smaller: q or y?
y
Suppose -2*x - c + 178 = -35, -5*x + 4*c = -539. Suppose 0 = 2*q - 65 + x. Is -21 > q?
False
Let d be (39/2)/(1/2). Let z = d + -38. Which is greater: z or 1/34?
z
Let u = -0.06 - 11.94. Let m = 19 + u. Let z = 16 - m. Which is smaller: -2/5 or z?
-2/5
Suppose -5*p = -58 - 22. Suppose -p - 12 = -4*g. Suppose g*f - 8 = 5*f. Is f less than or equal to 4?
True
Suppose x - 5*x = 5*t - 69, 4*t = x - 33. Let d be (-36)/(-21) - 4/(-14). Suppose 0*u + 3*u = g + x, -5*g + d*u - 79 = 0. Which is greater: 0 or g?
0
Let a = 66.8 + -66.7. Which is bigger: a or 56?
56
Suppose 0 = -6*u + 407 - 5663. Does u = -876?
True
Suppose 17*k + 180 = 5*k. Suppose 0*q + 2*b = -4*q + 186, 0 = 5*q - 2*b - 237. Let n = 34 - q. Which is greater: n or k?
n
Let a = -31396/11 - -2852. Is a not equal to -2/11?
True
Let s = 115.62 - 9.72. Let y = s - 106. Which is greater: -0.58 or y?
y
Let f = 2 - 3. Let i = 0 + f. Let n = -7.97 + 3.97. Is n bigger than i?
False
Suppose 4*g + 597 = 3*g - 8*c, -4*g - c - 2357 = 0. Which is smaller: g or -588?
g
Let i(m) = m**3 - 7*m**2 + 4*m - 9. Let f(b) = -3*b**3 + 21*b**2 - 11*b + 26. Let r(l) = 3*f(l) + 8*i(l). Let y be r(7). Which is smaller: y or -2/7?
y
Suppose 0 = 3*g + 360 - 372. Are 4 and g equal?
True
Let f = 1/164 - 167/492. Let s = 19 + -36. Which is greater: f or s?
f
Suppose 3*x - 31 = 20. Let u = x - 22. Which is greater: u or 7?
7
Let i(a) = a**3 - 12*a**2 + 18*a + 21. Let c be i(10). Is -9 equal to c?
False
Let a be 54/9 - (-1 - 2). Suppose 5*u - 4*u + c = -a, -4*u + 2*c = 30. Let p be ((-21)/(-154))/((-6)/u). Which is smaller: p or 1?
p
Let f = -3109/2325 + 3/775. Suppose -12 = 4*p - 4. Let u be (-2 - p)/(2 - 1). Is f equal to u?
False
Let o = -1 + 0. Let l = o - 4. Suppose -4 = -0*h + h. Which is smaller: h or l?
l
Let i = 45 - 44. Suppose -2*q + 106 = 4*r, 4*r = 2*q - 6*q + 96. Does i = r?
False
Let u(p) = -4*p**3 - 3*p**2 + 2*p. Let d be u(2). Let c = 69 + d. Let a = 18 - c. Which is smaller: a or -12?
-12
Let q(m) = -m - 6. Let i be q(5). Suppose 4*t + 6 = -6, -5*b = -4*t - 232. Suppose 8 = -4*g - b. Which is smaller: g or i?
g
Let n be (132/36)/((-2)/6). Let i = 592 - 602. Which is bigger: i or n?
i
Let h = 5741 + -533899/93. Which is smaller: 0 or h?
0
Suppose -4*m + 49 = h + 1, -3*m - 76 = -h. Let p be h/30 + -8 + 6. Is p at most as big as -2?
False
Let x = 1303 - 1354. Let r = 5 - 56. Is r > x?
False
Let p = -1162 - -133628/115. Is 1 >= p?
True
Let c(r) = -r**3 + 4*r**2 - 3*r + 1. Let s be c(2). Let q be ((-6)/(-14))/(s/69). Let d = -918/91 + q. Do -1 and d have the same value?
False
Let d be ((-6)/(-2))/(2/4). Let z(f) be the third derivative of f**5/30 - 7*f**4/8 -