+ 3*z**3 + 11*z**3. Let i be w(l). Are -17 and i nonequal?
True
Let m be (-2)/6*(28 - 283). Suppose -4*i - i = -5*p - 425, i - 4*p - m = 0. Which is bigger: 86 or i?
86
Let h = 0.259 - 76.259. Let y be ((-2)/(-14))/((-5)/10). Is h > y?
False
Let f = 2785 - 2353. Is f less than -1/8?
False
Let d = -35 - -77. Let x be (-106)/(((-8)/(-10))/((-4)/(-10))). Let t = x + d. Which is greater: 0 or t?
0
Let c be (-1800)/(-22) - 4/(-22). Let u = 79 - c. Let t be (-4)/18*u + 32/(-3). Which is smaller: -4 or t?
t
Let u be 4/80*((-22923)/18)/9. Are -8 and u equal?
False
Suppose 3*d - 11 = -5*a, 0 = d - 3*a - 4 + 5. Let t be (0/d + -6 + 6)/(-2). Let f(s) = s**2 - 12*s + 13. Let w be f(11). Do w and t have different values?
True
Suppose -2*d - t = 196, -2*d - 503 = 3*d - 4*t. Let v = d + 103. Which is smaller: 34 or v?
v
Let y(z) = 116*z + 1625. Let w be y(-14). Which is smaller: w or -2/759?
-2/759
Suppose 727 = -18*d - 425. Let f = d - -62. Is f smaller than 18?
True
Let z = 1226 - 848. Suppose -z*x = -383*x - 165. Which is bigger: x or -36?
x
Let o = -6676 - -6685. Is -1323 greater than o?
False
Let h be (4/6)/((-2)/(-445)*110/(-66)). Which is bigger: h or -628/7?
h
Let h = 16245 - 7576. Are h and 8669 unequal?
False
Let v(s) = -8*s**3 + 21*s**2 + 7*s + 15. Let q be v(-2). Which is greater: 178 or q?
178
Let a(v) = -5*v - 81. Let w be a(-18). Let g be -113 + (12/w)/((-7)/21). Which is smaller: g or -116?
g
Let v be (60/(-9) - -2)/(1/6). Let s be (-282)/v - 1/(-6). Let x = 31/3 - s. Are 0 and x nonequal?
True
Suppose 3*x - i = 6459, -3*x + 2*i + 10764 = 2*x. Let s be (x/12)/(5814/(-4)). Let r = -1/171 - s. Is 1 greater than r?
True
Let m(i) = i**3 + 8*i**2 + 4*i + 35. Let q be m(-8). Suppose 9*d = 7*d + 24. Let v be 6/2 + d/(-8). Are v and q non-equal?
True
Let t(h) = -6*h. Let q be t(3). Let s = 11 + q. Let y = 65.52 + -65.62. Are y and s non-equal?
True
Let v be 24415/(-456) + (-2)/16. Let y = 54 + v. Which is greater: -101 or y?
y
Let h = -17 - 17. Let b be 24/84*(-11 - 3). Let q be (h/(-4) + b)/((-6)/16). Are q and -11 unequal?
True
Let c = 2139463/66 - 32414. Let p be 462/242*4/(-6). Let v = c + p. Which is smaller: v or 4?
v
Suppose -18 = -3*n - 4*f + 1, -4*n - 5*f = -27. Let p be (-8)/2 - (n + -21). Let b be (-112)/105 - p/(-6). Is 5 at most as big as b?
False
Suppose -4*y = 116 + 24. Let r be (-30)/y*238/8. Are -0.2 and r non-equal?
True
Let n(c) = -c**3 + 28*c**2 - 12*c + 102. Let f be n(28). Let j = -200 - f. Which is greater: 41 or j?
41
Let w(q) = -53 + 7*q**2 + 47 - 9*q**2 - 7*q. Let m be w(-2). Let o be (-4)/2*1*(14 + m). Is -29 <= o?
True
Let n = 148 + -38. Let y = n + -89. Suppose 0 = f - 12 + y. Is f at least -5?
False
Let r = 663 + -666. Let w(k) = -k**3 + 4*k**2 + 3*k - 6. Let v be w(4). Let l be 6/14 - (9 - v). Which is smaller: r or l?
r
Let h = 454 - 346. Let o = -108 + h. Let l = -59/99 + 7/9. Is l at least as big as o?
True
Let g = 1669.8 - 1595.8. Let t = -2 + 2.1. Is g <= t?
False
Let a be (364/(-178))/(13*15/(-195)). Is a > 2?
True
Let d(b) = b**2 + 12*b - 4. Let n be d(-11). Let t be 90/4*18/n. Which is smaller: t or -29?
-29
Suppose -6*a = -0*a. Suppose 2*f + f - 12*f = a. Let j be 30/15*(f - 1). Is 8 at most j?
False
Let b = 30 + -18. Let h = 21 - b. Let a be 1/(-6)*(-9)/(-6)*60/90. Which is smaller: h or a?
a
Suppose -5*f - 8 + 27 = -4*z, -2*f + z = -4. Which is smaller: f or 119.3?
f
Let c = 1290.191 - 1291. Let g = -0.558 + 0.458. Is g greater than c?
True
Let y be ((-348)/68 - (-6)/51) + 49. Suppose 0 = -y*b - 1168 - 856. Which is smaller: -4 or b?
b
Suppose -4*r - h = -13, 103 = -4*r + h + 114. Do r and 48/25 have the same value?
False
Suppose -12*k + 7*k + 15 = -5*d, 0 = 4*k + 2*d - 6. Suppose -i + k*i = -3. Let m be -2*i/12*-18. Which is bigger: m or 0.1?
0.1
Suppose -3*a + 0*a = -0*a. Let t be (2 - -3*1) + (a - 1). Let b be (1 + 0)/205*8/t. Is b less than 1?
True
Let u be (6/28)/((-624)/(-3640)). Which is smaller: 590 or u?
u
Let z = -16647 - -18553. Which is smaller: 1913 or z?
z
Let y = -306 - -141. Let v = -4293 + 12881/3. Is v greater than y?
True
Let z be (4/1 - 4) + 18/21. Let y(r) = -r**3 + 5*r**2 + 15*r - 5. Let s be y(7). Which is bigger: s or z?
s
Let y(h) = 15*h**2 + 8*h - 9. Let q(p) = -14*p**2 - 7*p + 8. Let f(k) = -6*q(k) - 5*y(k). Let m be f(-2). Is m at least as big as 27?
True
Let m be (-3)/(-18) + (1 - (286314/(-59148) - -6)). Which is smaller: 0 or m?
0
Suppose 104*b - 41 = 63. Which is bigger: b or 780/53?
780/53
Let m = -0.77 - -1.62. Which is greater: -5 or m?
m
Suppose 4*h + 45 + 23 = 0. Let z be (-84)/(-20) - 1/5. Suppose 4*i + z*a = -68, 0*a + 77 = -5*i + 3*a. Is h at least i?
False
Let x = -1960/11 - -178. Let p(s) = s + 3. Let r be p(0). Suppose -r*q + 8 - 5 = 0. Which is bigger: q or x?
q
Let f = -269.2 - -268.2. Let t be -1 - 12/(-16)*106. Is f less than t?
True
Suppose -4*q + a = 408, 0*q = -3*q + 3*a - 306. Let v be 6/(-21) - (-28)/(-147)*534. Is q less than v?
False
Let b = -18.228 - -3.028. Let h = 25 - 10. Let l = h + b. Are 0.2 and l equal?
False
Let q(p) = 4*p**2 + 63*p - 16. Suppose 9 + 23 = -2*u. Let m be q(u). Which is bigger: m or -1/33?
m
Let p = 51.31 - 51. Let r = 9.31 - p. Let n = r + -9. Is -0.16 at least n?
False
Suppose c = -2*y - 284 + 805, 3*c = 3*y - 795. Which is greater: 260 or y?
y
Let t = -314.4 + 7.4. Let v = t + 307. Is 46 at least v?
True
Suppose -4*w - 16 = 0, 5*l = -0*l + w + 14. Suppose l*z = 12 - 0. Suppose -4*o + 2*r = 64, -2*o - 5*r = -o - z. Which is greater: -16 or o?
o
Suppose -615*w + 561*w = -216. Is w equal to 204/49?
False
Suppose -1091 - 1057 = 4*r - 2*x, 0 = 5*x + 20. Let f = r + 539. Let j = -5.9 + -24.1. Which is smaller: f or j?
j
Let d = 250 + -249. Suppose 0 = -4*q - 4*n - 32, 0 = 3*n - 1 - 11. Let y be ((-3)/(-246))/(6/q). Which is smaller: y or d?
y
Let z = -138696 + 1386959/10. Let x(t) = -t - 4. Let c be x(-4). Which is smaller: z or c?
z
Let j = 151 + -83. Let m = 118 - j. Let l = -47 + m. Is 2/5 at most l?
True
Suppose 3*n - 23 - 22 = 0. Let h(p) = -p**3 + 20*p**2 - p + 33. Let j(u) = -u**2 + 13*u - 22. Let f be j(6). Let i be h(f). Which is smaller: n or i?
i
Let a(u) = u**3 + u**2 - 4*u - 2. Let f(q) = 2*q + 11. Let v be f(-7). Let l be a(v). Suppose 25*b = -20*b - 675. Is b > l?
False
Let c(t) = 107*t**3 - 4*t**2 - 3*t + 2. Let f be c(-2). Which is smaller: f or -865?
-865
Let m(z) = 12*z + 390. Let r be m(-37). Let f be 110/25 + -5 - r/(-60). Let l = -1 + -1. Which is smaller: f or l?
l
Suppose 7*m + 6 = 4*m, -2*m - 16 = 2*o. Let u be -1 + o/44*(-2510)/15. Which is bigger: u or 22?
22
Let t(p) = -12*p + 113. Let f be t(9). Let k be (-6)/(-2484)*(-5)/(f/(-4)). Do k and -1 have the same value?
False
Let h = 340 + -337. Let l be 216/(-56) - (h + -8). Which is greater: l or 2?
2
Suppose -785*x - 2*h = -780*x + 22769, -3*x - h = 13660. Is -4551 less than or equal to x?
True
Let p be (-24)/16*4*(-6)/(-12). Which is smaller: -54/29 or p?
p
Let j(l) = -l**3 - 10*l**2 + 198*l - 34. Let k be j(10). Is -36 greater than k?
True
Let z(o) = -o**3 + 12*o**2 - 9*o + 58. Let t be z(8). Is 236 greater than t?
False
Let c = 14667 + -14666.9. Which is smaller: 3950 or c?
c
Let y = -2.963 - -0.143. Let d = y - -3.39. Which is smaller: d or -1?
-1
Let v = 527 + -537. Let a(h) = -52*h - 225. Let f be a(v). Is 295 != f?
False
Let f be 81/45 + 210/(-200). Let h(u) = u**2 - 10*u + 11. Let g be h(9). Let k be -2 + g/12*11. Is f <= k?
False
Let r = -23.1 + 25. Let c = r + 0.1. Let x = -49 - -51. Is x equal to c?
True
Let s = -60 - -59.944. Let b = 0.02 - s. Let z = 0.024 + b. Is 12 != z?
True
Suppose 17*r - 764 + 3778 + 590 = 0. Do r and -1474/7 have the same value?
False
Let y(r) be the third derivative of -17*r**4/24 + 67*r**3/6 + 43*r**2. Let p be y(4). Let z be (-1)/(-3) - (-2 - -6)/4. Is z at most as big as p?
False
Let y(m) = 6*m**2 + 12*m - 34. Let x be (-4 - 32/(-4)) + -11. Let a be y(x). Is 178 <= a?
False
Suppose 0 = -11*w - 2*w - 338. Let c = 50 - w. Let h be (-24)/228 + 1851/c. Which is greater: h or 23?
h
Let m be (-7)/3 + (-3)/9. Let u(q) = q**3 - 63*q**2 - 61*q - 189. Let z be u(64). Let w = z + m. Which is bigger: -13 or w?
w
Suppose -5*c + 4*d - 774 = 0, 38*d = 4*c + 34*d + 616. Which is bigger: c or -171?
c
Suppose -12 = -9*q + 33. Suppose