pose 5 = -d - 4*d. Which is smaller: d or n?
d
Suppose -5*m + 2*b - 340 = 3*b, b - 5 = 0. Let s = m + 90. Is s at most 21?
True
Let u be ((-22)/(-3))/(22/33). Let l = 17 - u. Is l not equal to 6?
False
Let o = 19/16 - 167/464. Which is bigger: o or 2?
2
Let p(y) = 9*y - 6*y**2 + 7 - 16 + 0 - 2*y**2 + y**3. Let s be p(7). Suppose -3*k - 2 = -n, 0 = -3*n + s*k - 2 + 4. Which is smaller: n or 1/25?
n
Let x be 8 + 1*(-6 - -3). Suppose x*y - 23 - 67 = 0. Is 18 greater than y?
False
Suppose -43 = c - 42. Are -1 and c equal?
True
Suppose 0*y = y + 1. Let n = 3478 + -31333/9. Let m = n - -523/144. Which is smaller: m or y?
y
Let q = -108 - -116.6. Let d = -8 + q. Let r be 2/(-8) + (55/(-20) - -3). Which is smaller: r or d?
r
Let o = 579 - 476. Which is bigger: o or 104?
104
Suppose -2*q = -2*d + 76, 3*q = -q + d - 155. Suppose 35*b = -1213 - 849 + 662. Which is greater: q or b?
q
Let m = 1079 + -1166.1. Let n = m + 87. Is n at least -22?
True
Suppose -7*p + 35 = -2*p. Suppose p*n - 3*n = 12. Suppose n*s = 0, -5*s - 101 = 4*r - 13. Which is bigger: r or -23?
r
Let g(c) = -2*c**3 + 11*c**2 - 27*c + 2. Let n be g(5). Which is bigger: n or -112?
n
Let s = -56 + 80. Let g = 24.26 - s. Let k = 0.11 - g. Which is smaller: 1 or k?
k
Let n(s) = -s - 4. Suppose 0 = 3*d + 12, 0*h - 14 = -3*h - d. Let t be n(h). Let m be (-4)/t + 66/(-140). Which is smaller: 0 or m?
m
Suppose 2*x = 3*a - 5, 3*a - 9 = 3*x - a. Which is smaller: x or 13?
x
Let n = -1.1 - -14.1. Let v = 13.06 - n. Let l = v - 0.09. Is l >= 0.2?
False
Let p(z) = 5*z**2 + z + 1. Let v = -4 + 6. Let l be p(v). Let f = -24 + l. Is -1 less than or equal to f?
True
Let n = 415 - 421. Which is smaller: 5/6 or n?
n
Let k = -991 + 932. Suppose 0 = -5*g + 6*g - 1. Which is smaller: g or k?
k
Let o be 4/(-6) - 15376/(-1023). Does o = 14?
False
Let d(k) = -k**3 + 2*k + 1. Let y be d(2). Let m(q) = -6 + 2*q + 3*q + 2*q - 8*q. Let o be m(y). Which is smaller: o or -1?
o
Let p be 18/(11/(2024/(-16))). Which is bigger: -208 or p?
p
Let q = 3 + -3. Let c be (46/4 + 2)/(2/(-28)). Let f be 8/(-36) + (-6)/c. Which is smaller: f or q?
f
Let s be (924/(-49))/3 + (8 - 2). Suppose 3*k = 2*k. Are s and k non-equal?
True
Let k = 17/354 + 9523/3186. Is 2 >= k?
False
Let c = 2046/259 + -28/37. Which is smaller: c or 8?
c
Let a = -118.8 - -139. Let w = a + -22. Let h = -20.2 + w. Which is smaller: -1 or h?
h
Let a(q) = 7*q + 12. Let n be a(4). Suppose -4*p - 116 = 5*w, -5*p - 4*w - n = -4*p. Do -24 and p have the same value?
True
Let j = 86.8 - 58.9. Let h = j - 28. Is h less than -1.1?
False
Let n be -4 - 36/8*-2. Let x = 4 - n. Suppose 5 = -5*r - 0*r. Is r equal to x?
True
Let v be (4/10)/((16 - 7)/270). Which is smaller: 103/8 or v?
v
Let b = 22 + -43/2. Let f = -14.994 - 0.006. Let v = -15.1 - f. Which is smaller: b or v?
v
Let p = -34 + -16. Let t = p + 50. Which is smaller: 2/117 or t?
t
Let p = 363 - 320. Is 8 not equal to p?
True
Suppose 5*g + 7 + 3 = 0. Let r be 138/(-9)*(-3)/g. Is r < -24?
False
Suppose s - 2 = -2*b + 3, -b + s - 5 = 0. Suppose 0*i - i + 13 = 5*u, b = i + 4*u - 10. Let y(r) = -r**2 - 4*r + 19. Let h be y(-7). Is h not equal to i?
False
Let f(q) = -q**2 - 10*q + 1. Let p be f(-10). Let h be (28/70)/(p/(-211)). Let v = 84 + h. Which is smaller: -3 or v?
-3
Suppose 4*p = x + 47, -4*p + 2*x = 4*x - 62. Let b = p + -13. Suppose 2*y + b + 8 = 4*t, -t - 16 = 4*y. Is t bigger than 2?
False
Let j(w) = -4*w**2 + 13*w - 6. Let f(n) = 5*n**2 - 14*n + 6. Let c(y) = -3*f(y) - 4*j(y). Let b be (16 + -43)*(-2)/6. Let u be c(b). Is u bigger than 2?
False
Let v = -12 - 29. Let b = -22 - v. Suppose -4*i + 18 = 5*y - 52, 0 = 4*y - 2*i - 82. Which is smaller: y or b?
y
Let b be (-2 - -9) + (-1 - -2). Let k(c) = -c**2 + 8*c - 1. Let x be k(b). Which is bigger: -8/9 or x?
-8/9
Let n = 58.6 + -40.6. Which is smaller: n or 0.2?
0.2
Let i = 22.1 + -13.4. Let y = 4 - 13. Let s = y + i. Which is bigger: 2/9 or s?
2/9
Suppose -3*l + 5*p = -26, -4*l + p - 4*p = 4. Let x be 1 - (0 - l) - (-46)/(-13). Is x at least as big as -1?
True
Let s = -1.47 + 0.17. Let r = 0.7 - s. Which is bigger: r or -2?
r
Let m = -0.54 + 0.24. Let g = -3/391 - -1573/1173. Which is smaller: g or m?
m
Let q = 81 - 79. Suppose z + 2*x + 4 = 20, -q*z + 17 = x. Is z < 24/5?
False
Let w be (33/(-22) - (-178)/(-4)) + -2. Which is smaller: w or 2?
w
Suppose 0 = -15*l + 175 + 515. Which is smaller: l or 13?
13
Let v = 769 - 770. Are 6/259 and v equal?
False
Let g = -4 - -20. Let i be (6 - g)*((-1)/2)/(-1). Let s(h) = 4*h + 1. Let n be s(-1). Which is bigger: i or n?
n
Let s = -35 + 21. Let j be (-22)/s + (-6)/(-14). Suppose -3*y = -4*c + j*c - 6, -3*c - 6 = -3*y. Is c not equal to -2?
True
Suppose 63 = -n + 4*f + 166, -3*n - 4*f = -261. Suppose -7*h + n + 259 = 0. Which is smaller: h or 51?
h
Let t(g) = g**3 - 6*g**2 - 1. Let r be t(3). Let p = 279 - 308. Which is greater: p or r?
r
Let f = -0.76 + 0.81. Which is bigger: 2/9 or f?
2/9
Suppose 0*m - 3*b = m + 79, b + 143 = -2*m. Let t = m + 53. Which is smaller: t or -16?
t
Suppose 0 = 5*t + l - 5, -5*t = -4*l - 23 - 7. Let m = 4 + -101. Let c = -85 - m. Which is bigger: t or c?
c
Let i be (-273)/63*12/(-2)*1. Is 6 < i?
True
Let y = 2190 + -17559/8. Which is smaller: -6 or y?
-6
Suppose k - 3 = -7. Let z be (-1)/(-4)*(-32)/k. Is z greater than 3?
False
Let w = -1796 - -1704. Which is smaller: w or 1?
w
Let k(q) = 4*q - 62. Let s be k(17). Does 5 = s?
False
Let k = 30 + -50. Let v = 16 + k. Which is smaller: v or 0.01?
v
Let g be 3/2*(-1 + (-217)/(-189)). Let u = 0.1 + 0. Let m = u - 0. Do g and m have different values?
True
Let m(s) = -40*s**3 + 16*s**2 - 13*s - 1. Let a be m(1). Are a and -39 unequal?
True
Let p be (-1)/(2 - 172/84). Let s be (24/(-14))/((-6)/p). Suppose 5*n + s*d - 5 = d, 5*n = 2*d + 40. Which is smaller: 7 or n?
n
Let d be 82/8 - (-5)/(-20). Let z = 2912/3 - 962. Which is greater: z or d?
d
Let c be ((-5)/(-2))/((-34)/4). Let u = 21/187 + c. Let w = -0.04 + -0.96. Are u and w non-equal?
True
Let h be -2 + 0 + (-2)/(-2). Suppose -8 = 4*k + 4*l, 2*k = -0*k - 4*l + 6. Let p = -6 - k. Which is greater: h or p?
p
Let x = 14 + -10. Let c be 3 + (6 - (-8)/x). Suppose -2*v + c = -9. Is v at least 11?
False
Let d = 1.9 + -14.5. Which is smaller: -2 or d?
d
Let k = -14 - -19. Suppose 5*x + 10 = s, s + 12 - 2 = -k*x. Let a = 4 - 8. Is a <= x?
True
Let u be (-5)/(25/4)*125/70. Are u and -2 nonequal?
True
Let v(m) = -m + 10. Let o be v(10). Suppose -5*n = o, 2*t - 34 + 4 = -3*n. Let j = 8 - t. Which is smaller: j or -8?
-8
Let u = 67 - 117. Let k = u + 49. Which is bigger: k or 1/2?
1/2
Let x = -51 - -46. Which is smaller: -3 or x?
x
Let d = 2665 - 8024/3. Is d equal to -11?
False
Let z(d) = -d**2 + 33*d - 49. Let h be z(28). Are 90 and h non-equal?
True
Let w = -1111 + 1088. Is -17 > w?
True
Let n be (-8 - 45) + 5 + 3 + -3. Is n smaller than -50?
False
Suppose -484*q + 277 = -3*j - 482*q, 5*q - 283 = 3*j. Which is greater: 6 or j?
6
Let o be (-1 + 0)/((-5)/15). Let c = o + -7. Suppose 4*l = -5*d - 24, 3*l = -2*d + 4*d - 18. Which is bigger: c or l?
c
Let y = 1 - -3. Let k(u) = -u**3 - 4*u**2 - 2*u - 3. Let q be k(-3). Let g = y + q. Which is smaller: g or -6/5?
g
Let t = -9 - -15. Suppose -3*k - 2 = z, t*z - 66 = z + 4*k. Suppose -5*a + z = -0*a, -5*a - 11 = 3*x. Do -0.1 and x have the same value?
False
Let g be 46/8 - (-1)/4. Let a = 3 - g. Let c be 2 + 3/(2 + a). Is -3 bigger than c?
False
Let x = -52 + 43. Let b be ((-9)/(-6))/(x/(-15)). Suppose -6 - 2 = -2*c. Which is bigger: b or c?
c
Suppose 182 = 5*r - 128. Is -0.1 != r?
True
Suppose v - 6 = 2. Let n(m) = -8*m**3 - 2*m**2 + 24*m + 23. Let c be n(-1). Is v <= c?
False
Let z(u) = -65*u**2 - 2*u - 2. Let p be z(1). Which is smaller: p or -66?
p
Let z = -43 - -50. Suppose -20 = z*m + 1. Which is smaller: m or 1?
m
Suppose -4*q + 8 = -5*f, -4*f - 3*q = f - 6. Suppose -14 = -u + 9*d - 10*d, f = -2*u + 5*d. Which is greater: 11 or u?
11
Suppose 57*v + 1085 + 7237 = 0. Is v not equal to -146?
False
Suppose 0 = -5*z - 20, 4*w + z = 1 + 27. Which is greater: 9 or w?
9
Let k(y) = y**2 - 7*y - 7. Let m be k(8). Let q be (0/1)/(m + -4). Is -11 < q?
True
Let h = 43 + -44.1. Let z = 7.1 + h. Which is smaller: z or -3/8?
-3/8
Let n be (-4)/(-22) - -1 - 72/396. 