+ 3*z = -69, -4*d - 4*z = -48. Suppose -d*x = -7*x + 136. Are -17 and x equal?
True
Let a(k) = -1160*k + 25519. Let p be a(22). Let r = 1341 - 33518/25. Is r greater than p?
True
Let n = -2579/1390946 - 1/3037. Let x = -929/5954 - n. Is -0.3 at least as big as x?
False
Let a be 0*(-5)/(-50)*5*-1. Suppose a = -z + 22 - 23. Which is bigger: z or 6/29?
6/29
Let y be -148 + 11 + 2 + -6. Is -136 greater than or equal to y?
True
Let b = 18 + -18. Let k(g) = 8*g + 5. Let o be k(b). Suppose -2*c - 3*c - 140 = -o*y, -3*y + 72 = c. Which is greater: 27 or y?
27
Let g be ((-2)/4)/(1466/586 + (-10)/4). Which is smaller: g or -297?
-297
Let g be 2/(-12) + 835/(-30). Let w = g + 22. Let q = -215 + 212. Which is smaller: q or w?
w
Let k = 25142 + -25142. Is k greater than 15/862?
False
Let s(x) = -x**2 + 1. Let q be s(-1). Let p = 1978.65 - 1978.7. Are q and p nonequal?
True
Suppose 0 = -5*s + 5, -2*g = -5*s - 8 + 11. Which is greater: g or -45.7?
g
Let c(p) = -2*p + 3. Let m be c(0). Let g be 3/(168/(-16)) - (-984)/14. Let l be ((-25)/g*-7)/(2/4). Is l != m?
True
Let i = 124 + -906. Let j = i - -3131/4. Suppose 0 = -3*h - x, 0 = -5*h + 2*x + x. Which is greater: j or h?
j
Suppose 525 + 299 = -103*o. Is o >= 42?
False
Let s = -5535.0075 - -5535. Which is greater: 1/2 or s?
1/2
Let p(w) = -w**3 - 7*w**2 - 6*w - 1. Let m be p(-6). Let l be (3/26)/(8 + 60/(-5)). Let f = -395/728 + l. Which is smaller: m or f?
m
Let s be (188/16 - 12)/(2/(-8)). Let j be 2 + s - (618/36 + -6). Which is greater: j or -8?
-8
Let q = -25.72 + 15.12. Is 4/3 <= q?
False
Suppose -3*x = 584 + 331. Let z be (-1)/(-3) + x/15. Suppose 68 = -4*a + 4*j, 3*a + 2 = 2*j - 52. Is z at least a?
True
Suppose -3*j + 22 = -2*p, 2*j = 1230*p - 1229*p + 13. Which is greater: 302/95 or j?
j
Suppose 8 - 10 = -j. Let c be 0 + 669/84 - j*-1. Let b = 5/7 - c. Is b >= -10?
True
Let u be -51 + 46 + 8 + 0. Suppose 0 = 4*d, 0*h - 2*d = 3*h + u. Are h and -1 non-equal?
False
Let u be 78/(-9)*-5*39/650. Let c be ((-1)/3)/(20/(-146)). Let i = c - u. Is 0.1 smaller than i?
False
Let c(p) = p**3 + 12*p**2 - p - 9. Let w be c(-12). Let t be (w + 14)*(1 - 2). Suppose -63*d - 56 - 1078 = 0. Which is smaller: d or t?
d
Let w be (-4)/34*(-1 + 2). Suppose d = 4*x + 6*d - 2, d - 13 = -5*x. Suppose x*y + k - 2 = -0*y, -5*k + 10 = 0. Which is greater: y or w?
y
Let l be 1*-16 + -8*(-5)/40. Let x be (-8)/(-126) - (60/(-14))/l. Let i = 1 + -1.1. Which is greater: i or x?
i
Suppose -3*v - i = -7, v - 3*i + 4*i - 3 = 0. Suppose v*m - 19 = -89. Which is smaller: 1 or m?
m
Let t(q) = -q**3 - 22*q**2 + 4*q + 9. Let w be t(-22). Let x = 72 + w. Let l be (-24)/9*(-15)/(-6). Which is smaller: x or l?
x
Let j = 2027/27821 - 2/647. Let q(s) = -2*s**2 - 2*s + 3. Let h be q(-3). Let r be 2/6*0 + (h - -8). Is j greater than or equal to r?
True
Let y(g) = 2*g**3 + 6*g**2 + 2. Let j be y(-3). Suppose 2*p + j*p = 48. Is 14 != p?
True
Let d(x) = -x - 25. Let a(c) = 3*c + 50. Let n(u) = -2*a(u) - 5*d(u). Let q be n(-8). Suppose -63 = 30*r - q*r. Which is smaller: 1 or r?
1
Let b be (-2890)/(-578) - (1/((-15)/123) + 1). Suppose 6*o = o + 90. Suppose -z + o = 5. Are z and b unequal?
True
Let y = -3.54 - 266.46. Let t = y - -274. Is 5 less than t?
False
Let b be (6324/(-372))/(1 + 85/(-86)). Is -1458 greater than b?
True
Let r(b) = -10 + b + 11 + 14. Let p be r(5). Let o(t) = 19*t**2 + t - 1. Let k be o(1). Is p < k?
False
Let g = 514/7 - 516/7. Which is smaller: 1/638 or g?
g
Let d(z) = 2*z**3 + 21*z**2 - 14*z - 32. Suppose -2*g + 7*g + 55 = 0. Let p be d(g). Let y be 0 - (-32)/(-18) - -2. Is p greater than y?
True
Let n = 393 + -393. Is n at least as big as -1/5028?
True
Let w = 1434 + 1423. Is 2857 >= w?
True
Suppose 3*m + 1 = -2. Let s = -249 - -852. Let j = s + -600. Is m smaller than j?
True
Let q be 0 + 0 + (0 - -2). Let k be 6*(-15 - (0 + -5)). Let u be (k/153)/(5/((-60)/8)). Is u at most q?
True
Let t = 3.05 - 2.05. Let k(b) = -4*b + 250. Let r be k(0). Let d = r + -758/3. Which is smaller: d or t?
d
Let p = -10 + 8. Let w be -2 + -2 - (-4)/p. Let f = -5 + -4/3. Which is greater: w or f?
w
Suppose 24*n + 157*n - 1257552 = -32*n. Is 5902 at least n?
False
Suppose -45 = -n - 3*s, 3*n + 3*s - s = 128. Let b be -2 + ((-114)/n)/1. Which is bigger: b or -6?
b
Let b be (46/6)/((-7)/3). Suppose -m - 2 + 5 = 5. Do m and b have the same value?
False
Let k = -43 - -16. Let v be -246*(k/2)/9. Suppose 5*n = -4*n - v. Is -42 less than or equal to n?
True
Let p = -54.998 - 0.002. Let b = p - -55.44. Let o = 3.1 + -3. Is b not equal to o?
True
Let u = 182 + -243. Let r = -24 + 28. Suppose -3*h - r*y = 192, -74 = 3*h + y + 109. Which is smaller: h or u?
u
Let u(j) = -31*j**2 - 2*j - 2. Let l be u(-1). Let q = l - -32. Let y be q/((1 - 5)/(-4)). Is 1/3 at least y?
False
Let c = 8 - 6. Let b be ((-142)/20 - -7) + 21/10. Suppose -4 = c*p - b. Which is smaller: 3/5 or p?
p
Let h(j) = -j**2 + 3*j + 50. Let g be h(-6). Let z be g/8*(-10)/(-10). Which is greater: z or 1/9?
1/9
Let x(a) = -5*a**2 + 10*a + 71. Let g be x(5). Suppose 0 = 3*r + 5*q - 9 + 29, 4*r - 5*q = -15. Let j = r + 1. Is j greater than g?
False
Let u be 7/(-2)*(-5 - (-101)/21). Let r = 0 + -3. Which is bigger: u or r?
u
Let o = 0.9 - -0.1. Let c = -5218.1 + 4882. Let h = 336 + c. Are h and o nonequal?
True
Suppose -3*j + 2 = v + 9, 2*v = 4. Let f be 6/24 - (-10911)/28. Let o = f - 787/2. Which is bigger: j or o?
j
Let i = 79 + -87. Suppose 3*p = -t - 15, -3*t - 5*p = -2*p + 15. Is t at most i?
False
Let c = -294 - -171. Let a = c + 291. Which is smaller: a or 169?
a
Let a = 19331 + -11626. Which is bigger: 7706 or a?
7706
Let a be (6/(210/655))/(24/28). Is 23 greater than or equal to a?
True
Let u be (2/(-6))/((-252)/(-324)) + 46/336. Which is smaller: u or -1?
-1
Let x = 2/129 + -100/903. Let f be ((-9)/(288/128))/((-6)/2 - 1). Which is greater: f or x?
f
Let t = 95.705 - -0.195. Let r = t - 96. Let b = 238 + -2616/11. Are r and b unequal?
True
Let f(i) = 509*i + 1085. Let q be f(8). Which is smaller: q or 5158?
q
Let c(m) = 3*m + 43. Let x be c(-12). Suppose x*t - 100 = -723. Let z = t - -91. Is z at most as big as 22/17?
False
Let a = 1133.5 + -1170.5. Is 144 at least a?
True
Let q be 3119/4*18/(-216). Let h = q + 65. Does h = 1?
False
Let a = 1813 + -16295/9. Suppose -z = -m - 16, -3*m - 59 - 4 = -4*z. Suppose -6*d + 21 - z = 0. Is d at most a?
True
Let h(u) be the first derivative of -u**4/4 - 7*u**3/3 - 5*u**2 - 22*u - 3. Let o be h(-6). Which is greater: o or 24?
24
Let n = 6287 - 6308. Which is smaller: -16 or n?
n
Let v = -2912 + 2911. Which is bigger: v or 1/1895?
1/1895
Let p be 18/8*(-9 + -15)*1. Let q = -86 - p. Does -34 = q?
False
Suppose 5526*y = 5518*y - 520. Which is smaller: y or -66?
-66
Let q = -0.247 + 137.247. Let c = 137 - q. Which is smaller: -51 or c?
-51
Suppose -52145 + 13077 = 55*k + 41782. Do -1471 and k have different values?
True
Suppose 0*n = 6*n + 126. Let f be 239/861 - ((-153)/n - 7). Let p be ((-6)/12)/((-1)/(-2)). Is p >= f?
False
Let y(z) = -2*z + 18. Let q be y(8). Suppose 3*u - 2*u = q. Suppose u*d - 15 + 13 = 0. Is d at least as big as -0.05?
True
Let k = -56/55 - -9/11. Let z = 18946 - 94072/5. Let l = -132 + z. Which is smaller: k or l?
l
Suppose -4*p + 2*t + 23 = -9*p, -4*p - 3*t - 24 = 0. Let x be ((-7965)/(-3717))/((-6)/7). Is x at most as big as p?
False
Let k = 2214/11 + -119501/594. Suppose -4*m = 90 - 86. Which is greater: k or m?
k
Suppose 4*o = 2*o - u - 544, -4*u = 4*o + 1084. Which is smaller: o or -5/4?
o
Suppose -61 = -3*o + z, -71*z = -2*o - 70*z + 40. Let x = 6 - 2. Let l be -2 - (2 + -8)*x. Which is smaller: l or o?
o
Let v(w) = -4*w + 3. Let n be v(0). Suppose 72 = 3*a - 4*x, -n*x + 8 = a + x. Let o be (14 - a)*2/4. Is o less than -2?
True
Let m = -8133 + 8009. Which is greater: -120 or m?
-120
Let f(y) = -13*y**3 + 362*y**2 + 58*y - 56. Let m be f(28). Let q = 6883/24495 - 19/69. Which is smaller: q or m?
m
Let r = -7.2 + -0.8. Let j = r - -8.7. Let b = -37/5 + 7. Is j at most as big as b?
False
Let q = 15.0171 - 0.0171. Let x = -9.74 - 1.56. Let l = x + q. Which is smaller: 0 or l?
0
Suppose -883*m + 892*m = -9. Which is smaller: m or 76/33?
m
Let x = 306188 - 3748047304/12241. Is -1 < x?
True
Let w(k) = -k**2 + 11*k - 4. Let c