 z(i) = 66*i + 1286. Let a be z(-20). Is a < -37?
False
Let g(z) = 103*z - 2883. Let o be g(28). Which is smaller: -1/22222 or o?
-1/22222
Let b be 3/(-2)*2/(-3). Let q = -135/493 - -25603/91698. Is q equal to b?
False
Suppose -b = 3*b + 188. Let j be (-4)/(-6) - (3 + (-3190)/66). Let d = b + j. Which is smaller: d or 2/271?
d
Let l be 5 + (1 - -1) + 43. Let s be (-2 - 56/(-36))*(-15)/l. Suppose 0*d + 3 = 3*d. Which is greater: s or d?
d
Suppose 2*p + g - 70 - 12 = 0, 5*p + 7*g = 214. Which is greater: 61/7 or p?
p
Suppose p + 40 = -4*p. Let i be -1 + (-4)/(p + 4). Suppose i*h = 4*h + 64. Is h <= -17?
False
Let c = -15380 + 18937. Which is bigger: 3556 or c?
c
Let u = -10751 + 10748. Which is bigger: u or 0.0365?
0.0365
Let h = -0.074 + 115.074. Let s = -113 + h. Which is bigger: 57 or s?
57
Suppose -l - 183 = 5*u, 2*u - 14*l = -17*l - 55. Which is greater: -74 or u?
u
Let d = 19.7 - -7.3. Let l = -36 - d. Let o = l - -65. Which is smaller: -1/4 or o?
-1/4
Let m(k) = -k**3 - 9*k**2 + 8*k - 14. Let c be m(-10). Let p be 3 + (-10)/c + (-125)/(-3). Let l = p - 47. Which is smaller: l or -3?
l
Let p(t) = -t**3 - 13*t**2 - 49*t - 346. Let u be p(-12). Is u > 98?
False
Suppose 2*q = 48 - 28. Let o be (-492)/44 + 8/44. Let t = q + o. Are t and -3/13 equal?
False
Let d = -111/14 + 17/2. Let j(p) = p**3 + 65*p**2 - 136*p - 133. Let t be j(-67). Which is smaller: t or d?
d
Let b = -228889/28868 - -1/4124. Let t = b - -1053/154. Let v be 2*(-2)/8*(8 + -6). Which is bigger: v or t?
v
Let h = 3620 + -6559. Is h greater than -2939?
False
Let j = -0.136 + 0.446. Let o = -55 - -54.8. Is o at least j?
False
Let r(z) be the first derivative of -z**2 - 26*z - 14. Let i be r(-25). Let q be (-6)/(-35)*(i - 17). Which is smaller: 0 or q?
0
Suppose 0 = -2*t + 6*t + 24. Suppose -5*c - 2 + 62 = 0. Let p = c - 19. Is p < t?
True
Let x = -128 - -82. Let g = -45.9 - x. Let b = 370069/117 + -3163. Which is smaller: b or g?
b
Let x = 24/235807 + -39417199/11318736. Let o = -59/16 - x. Which is bigger: -1 or o?
o
Suppose 48*w - 50088 = -58*w - 50300. Let g = -130895/176 - -409270493/549648. Let k = -2/347 - g. Which is bigger: k or w?
k
Let f = -6022.8 + 2449.8. Which is greater: -0.3 or f?
-0.3
Let b(m) = m - 36. Let j be b(35). Is -2/3593 < j?
False
Let f(y) = -5*y**3 - 8*y**2 - 2*y. Let w(t) = -14*t**3 - 23*t**2 - 6*t. Let v(u) = 11*f(u) - 4*w(u). Let a be v(-1). Which is smaller: a or 2/127?
2/127
Let s = 439.3 + -440.3. Let h = -8 + 14. Let g = h - 6.9. Is g less than s?
False
Let d = -5428.674 - -5430. Is d equal to -1/8?
False
Let l = 2 - -2. Let b be l + (-7)/(35/20). Let j be (-231)/(-84) - (b - 1). Which is smaller: 3 or j?
3
Let b = -1565 + 1134. Is b at most -8/7?
True
Let o = 356 - 358.1. Let x = o + 2. Which is smaller: -396 or x?
-396
Suppose 15 = -10*b + 15*b. Let q be 114/(-34) + 8/(8/b). Let d(p) = -2*p + 3. Let n be d(2). Is n < q?
True
Let o = 11285 + -11285.2. Let v = -1 - -2. Let q = 0 + v. Which is bigger: o or q?
q
Let l = 0.3299 + -115.3299. Are l and -4 equal?
False
Let i(v) = -v**3 + 11*v**2 - 18*v + 2. Let d be ((-5)/(-5) - -6) + 2. Let b be i(d). Suppose -b*z = -z + 28. Which is smaller: -27 or z?
z
Let n(b) = 1 - 6*b**2 - 2*b**3 - b**3 + 4*b**3 - 15*b + 20*b. Suppose 3*l = -0 + 15. Let v be n(l). Which is smaller: v or 1/8?
1/8
Suppose 109*n = 255*n + 193*n + 15255. Do -34 and n have the same value?
False
Let i(d) = 2*d**2 + 60*d + 213. Let y(u) = -u**2 - 30*u - 107. Let g(s) = 2*i(s) + 5*y(s). Let b be g(-17). Is 0.2 <= b?
True
Suppose -6*x - 5*t - 100 = -x, -20 = -5*t. Let g be (x/(-18))/(4/24). Does 8 = g?
True
Let c be (44 + 6)/(2 - 1). Let b(q) = 90*q - 1122. Let d be b(13). Which is greater: d or c?
c
Let o = 7.076 - 6.44. Which is smaller: o or 3/5?
3/5
Let x(h) = h**3 + 18*h**2 - 51*h + 222. Let a be x(-21). Is a >= -27?
False
Let b = -0.15 - -9.15. Let j = 2 - b. Let h = -701.01 + 702.01. Which is smaller: j or h?
j
Let p(z) = z**3 - 28*z**2 - 5*z + 47. Let b be p(27). Is -817 > b?
False
Let a(o) be the third derivative of -o**5/60 - o**4/8 + 4*o**3/3 - 7*o**2. Let v be a(4). Suppose -19*f - 420 = f. Is v at most f?
False
Let u = -204 + 383. Let t = 181 - u. Which is bigger: -2/59 or t?
t
Let y = -26 - -34. Let p(s) = -s**2 + 15*s - 42. Let x be p(11). Let k be y/(-28) + 92/(-70) + x. Which is smaller: -5 or k?
-5
Let v = -0.304 - -0.247. Which is bigger: v or -9?
v
Suppose 2 = 9392*s - 9393*s. Is s <= -42?
False
Suppose 12*u - 98162 = -97790. Is u smaller than 805/27?
False
Let l be 143518/(-3)*(-3)/(33/4). Let d = 17394 - l. Let w = -1076/165 - d. Are -4 and w equal?
False
Let j be (-7 - (-7930)/1131)/((-8)/1650). Let a = j + -11/29. Which is greater: -5 or a?
a
Let f = 3455219/531 + -6507. Suppose 98 = 43*u + 112*u - 57. Is u less than or equal to f?
False
Suppose -w - 2*c = 49 + 8, -2*w + 2*c - 102 = 0. Let i = w - -36. Let q = -21 - i. Is -20/7 less than or equal to q?
False
Let o(b) = -b**2 - 4*b - 5. Let p be o(-3). Suppose -67*z - 43 = 24. Which is smaller: p or z?
p
Let d be 9*(-10)/15 - (-1 + 163). Let y be 318/4*d/(-36). Is y at least 371?
True
Let u = -5885 - -5884. Is u != 16/835?
True
Let y = -59207 + 59178. Suppose -5*t - 108 - 52 = 0. Do y and t have different values?
True
Suppose -2525 = -108*u + 152779. Is u >= 2873/2?
True
Let o be (-27 + 8 - -17)*-135. Which is bigger: 2965/11 or o?
o
Let x = -103 - -111.9. Let n = x - 8.9. Which is bigger: n or -3?
n
Suppose -4*v = 3*p - 893, -v + 587 = -0*p + 2*p. Suppose -12*c - 225 = p. Are c and -40 nonequal?
True
Let p = -12882 - -12876. Let h = 3.94 + -4. Which is smaller: h or p?
p
Let k = -89 - -79. Let q be 135/k*4/6. Suppose -2*y + 16*y = -28. Which is bigger: q or y?
y
Let w(d) = d + 1. Let s be w(4). Suppose 18 = 172*f - 166*f. Is f less than s?
True
Let b(a) = -a**3 + 4*a**2 + 73*a - 131. Let y be b(10). Suppose 3*s = -3*j - 6, -8 = -4*s - j - 28. Which is greater: y or s?
y
Let f(j) = j**3 - 13*j**2 - 4*j + 153. Let s be f(12). Is -24 < s?
False
Let v be ((-740806)/(-1221) - 10) + (-14)/259. Which is bigger: v or 596?
v
Let w(d) = -3*d**2 + 6*d - 4*d**2 - 20 + 6*d**2. Let g be w(4). Let j = 2246/11 - 204. Is j > g?
True
Suppose 51*t + 464 = -204*t + 23*t. Is 1473 at most t?
False
Let l be (-8 + 17/3)*-3 - 2. Which is bigger: 78/17 or l?
l
Let u = 67/13 + -214/39. Let s = -0.44 - -0.17. Which is greater: s or u?
s
Suppose -32 = -2*g + 28. Let k be -35*13/((-325)/g). Let i(v) = -v**3 + 24*v**2 + 26*v + 18. Let u be i(25). Is u not equal to k?
True
Let v = -17 + 17.515. Let s = 75 - 75.115. Let c = v + s. Which is smaller: -1/18 or c?
-1/18
Let v be 12 + 0 + 5 + -8 + 0. Suppose -v*s + 8*s - 70 = 0. Let p be (-48)/s - (-4)/(-10). Are 0 and p non-equal?
True
Let d = -74117 - -20233907/273. Which is smaller: -1 or d?
-1
Let h(b) = 43*b**2 + 22*b - 23. Let s be h(1). Suppose 56 - s = -c. Let t = 11 + -27. Is t at least c?
False
Let f be (-7)/(98/(-16)) + (-3)/21. Let c = 5386 - 4400364/817. Which is greater: f or c?
f
Let k(v) = -4*v - 46. Let h be k(-9). Let f be (-8 - h)/((-3)/(-24)). Suppose -f*a + 3 = -13*a. Do a and 7.3 have different values?
True
Let b be 0 + (-1 - -2 - 0). Suppose 0 = r + 4*f + b, -5*r + f = -6*r - 1. Suppose 140*g + 3 = 141*g. Is r >= g?
False
Let s(l) = 6*l**2 - 16*l + 5. Let o be s(5). Let q = o - 95. Does -20 = q?
True
Let g be 0 + ((-1764)/3)/(-12)*4/(-28). Let b be ((-6)/(-4) - 1)*8. Suppose b*a = -40 + 8. Are a and g unequal?
True
Let q = 142 + -141.7. Let i = 0.076 - 0.064. Let c = i + -0.092. Which is bigger: c or q?
q
Suppose -9*c + 2920 = -1427. Let h = 465 - c. Which is greater: h or -13?
-13
Suppose -p = -2*d + 223, -p = 5*d - 5*p - 562. Which is smaller: 118 or d?
d
Suppose 5*m = 5*u - 20, -2*u + 33 = 6*m - 3*m. Suppose 2*r - 2*w - 108 = 0, -2*r - 3*w = r - 138. Suppose -r*v = -33*v - 119. Is v equal to u?
False
Suppose 0 = -3*a - h - 651 - 792, -1452 = 3*a - 2*h. Which is bigger: a or -506?
a
Let r be (-2)/(-6)*((2 - -4) + 615). Let c = -212 + r. Let w be 86/(-18) - (-6)/(-27). Is w greater than c?
False
Let l = 197232/5 + -38642. Is 805 > l?
True
Let o be (-24)/9*3*-2. Let n = -141007/5 + 28217. Is o > n?
True
Suppose 188410 = -179*o + 13*o. Is o <= -1136?
False
Suppose 0*o - 1065 = -6*o - 7827. Which is bigger: o or -1129?
o
Let 