**5/60 + 7*a**4/12 - 29*a**3/6 + 21*a**2. Let d be s(-16). Is u greater than d?
True
Let t = 4/35 - 253/70. Suppose 5*q + 18 = -4*f, 0 = -2*f - 2*q - 5 - 5. Let y be (-2)/f - (-30)/(-7). Which is smaller: t or y?
y
Suppose 5*m = m + 20. Suppose k = m*k + 24. Let y = k - -5. Is y greater than or equal to 9?
False
Suppose 320 = -9*c - 112. Which is smaller: c or -46?
c
Let o = -6.9 + -0.1. Let n = 20.1 - -60.9. Let y = -83 + n. Which is greater: o or y?
y
Let s be -2 + (60/(-9))/(-4). Let o be 30/(-4)*22/(-3). Let f = 64 - o. Which is smaller: s or f?
s
Let s = 54.2 + -62.2. Is s greater than 1/13?
False
Let o be ((-3)/(-3) - 0) + 129. Let g = 2077/16 - o. Is g equal to 1?
False
Let o = 2.24 - -0.21. Let k = 24.6 - 27. Let t = o + k. Which is smaller: 2 or t?
t
Let z(s) = s + 9. Let y be z(6). Suppose -13*c = -y*c + 10. Let h be ((-9)/30)/((-4)/c). Are 1 and h equal?
False
Let n be (-1098)/(-374) + 0 + -4. Let u = -15/17 - n. Let m = 1 - 0. Which is greater: u or m?
m
Suppose -h - 5 = 2*a + 3, -3*a - 5*h - 12 = 0. Which is smaller: a or -25/6?
-25/6
Suppose -6*t + 2 = 8. Let r be -9 - (1 + -2 + t). Is -8 greater than or equal to r?
False
Suppose q - 3*q - 4*h = -12, 2*h + 6 = 2*q. Suppose -3*l - q = l. Let u = 1795/2679 - 3/893. Is u greater than or equal to l?
True
Suppose -2*g + 196 - 240 = 0. Do -22 and g have the same value?
True
Suppose -21*s - 2478 = -18879. Is s less than or equal to 779?
False
Let x be (-6)/(-33) + 93/33. Let v be 42/8 + x/(-12). Suppose v*u = -4 - 1. Does u = 0.04?
False
Let o = 11 + -24. Let k be -3*(-3 + 4 + -1*2). Suppose -3*j = -i + 39, -i + 2*i + k = 0. Which is smaller: o or j?
j
Let l = 0.29 - 0.3. Let x = -1.07 - -1.18. Let w = l + x. Are w and -0.12 non-equal?
True
Suppose 16*x + 12 = -3*l + 13*x, -5*l - 4*x = 16. Suppose 4*z = -t + 6*t + 26, 0 = -3*t - 2*z + 2. Let d = t + 3. Is d > l?
True
Let q = -445 + 449. Which is smaller: -2/11 or q?
-2/11
Let u = -22 - -16. Let c(q) = -43*q - 388. Let n be c(-9). Are n and u nonequal?
True
Let s = 15/4 + -67/20. Let j be (-5)/((-40)/4)*(-12)/7. Is s equal to j?
False
Let s = -80 + 86. Is s at least 1?
True
Suppose 20 = -5*i + 9*i. Let z = 15 - i. Let b = z + -5. Which is smaller: -0.1 or b?
-0.1
Let b = -4 + 3.85. Let t = 5.8 + -6.55. Let v = t - b. Which is greater: 0 or v?
0
Suppose 0 = -2*w - 2. Let s(v) = -v - 1. Let o(a) = 4*a + 7. Let k(u) = w*o(u) - 3*s(u). Let c be k(-5). Do c and 3 have the same value?
False
Suppose 3*h + 2 = 2*f, 8*h + 2 = 3*h + 4*f. Let x(o) = o**3 + o**2 - o + 3. Let m be x(h). Is m > 2/7?
True
Let q(u) be the third derivative of -u**4/24 + 2*u**3 - 7*u**2. Let r be q(5). Is r smaller than 6?
False
Let l be ((-2)/6*1)/(1015/(-420)). Is -3 != l?
True
Let d be 10/(-15)*3/29. Suppose -2*k + 4*k + 2*y - 4 = 0, -5*k = 2*y - 7. Let o be k/(-6)*(-36)/6. Which is bigger: o or d?
o
Let v = -1.522 + 1.5. Let d = v + 37.022. Let k = 35 - d. Which is bigger: k or -14?
k
Let f(s) = -3*s**2 - 13*s + 3. Let w be f(-4). Let g(a) = 9*a**2 + 9 - 5*a**3 + 6*a - 3*a**2 + 4*a**3. Let k be g(w). Which is smaller: k or 3?
k
Let p = 67.2 + -69. Which is bigger: p or 1?
1
Let n = -5.5 + 33.5. Let h = -3.203 - -0.003. Let r = h - -2.2. Are n and r non-equal?
True
Let g be 8/(960/54) + (-2)/10. Are g and -801 unequal?
True
Let r = 2 - 2. Suppose -d + 11 = 4*x - 0*d, 5*x - 19 = -3*d. Suppose 0 = x*a + 17 - 11. Is r less than a?
False
Let m = 11 + -10. Let y(s) = 4*s + 8. Let n be y(13). Let p be ((-6)/42)/(n/14). Is p less than or equal to m?
True
Let b be 7 - (737/34)/(93/30). Are 0 and b equal?
False
Let k be 0 - (1120/135)/2 - -4. Which is greater: 1 or k?
1
Let r = -587/394 + -2/197. Let w = -31.99 + 32. Is w bigger than r?
True
Let a(j) = 2*j**2 - 12*j + 11. Let l be a(8). Suppose 21*p - 18*p + 12 = 5*y, 4 = y - p. Suppose -4*i = -4*f + l - 195, y = i + 4*f - 13. Is i greater than 33?
False
Suppose -f = -6*d + 11*d - 65, 3*d + 117 = 2*f. Are 58 and f nonequal?
True
Suppose -11*q = 27*q. Is 35/36 equal to q?
False
Let n(f) = -f**3 + 44*f**2 - 5*f + 358. Let j be n(44). Which is greater: -10 or j?
j
Let a(y) = y**3 + 12*y**2 + 2*y - 2. Let b be a(-12). Let h = -25 - b. Are -2/29 and h equal?
False
Let a be ((-12)/(-24))/(2*3/(-144)). Let y = -44 - -31. Which is smaller: y or a?
y
Let b = -230 + 607. Let c = -7165/19 + b. Let g(y) = y + 8. Let d be g(-7). Do d and c have different values?
True
Suppose 60*q - 65*q + 430 = 0. Let h = q + -92. Is -6 greater than h?
False
Let q = -103.71 - -105. Let j = q + -1.29. Do 0.25 and j have different values?
True
Let o = 73 - 60. Let g(v) = -v**3 + 13*v**2 - 2*v + 8. Let d be g(o). Which is smaller: -19 or d?
-19
Let f = 117/5 - 1546/65. Is f less than 1?
True
Let r = -154 - -1072/7. Suppose 3*g + 51 - 9 = z, -4*g = 3*z + 56. Let y = g + 13. Is r != y?
True
Let a be 1452/9*(-30)/(-20). Let v be 2/(-13) + 0 - a/286. Let s = 4/57 + -187/228. Which is smaller: v or s?
v
Let i be (-6)/(-51)*2/4. Suppose 618*d - 616*d = 2. Is i less than d?
True
Suppose -13*y + 4 = -11*y. Let s be (8/(-20))/((-2)/10). Suppose -4*h = -f + 20, -5*f = -s*h - h - 15. Which is smaller: y or f?
f
Let a(h) = -29*h + 26. Let f be a(-2). Is -2/3 at least f?
False
Let m be (-644)/42 + 15 + (-7)/(-3). Let i = 0 + 4. Suppose 0 = -3*f + 2*v + v + 12, -7 = -i*f + v. Which is greater: f or m?
m
Let v = 3889 - 4954587/1274. Is v equal to 1?
False
Suppose -3*f - 2 = -125. Let x = -20 + f. Let i be (x/(-6) - -4) + -1. Which is smaller: i or -2?
-2
Let l = -723 - -701. Let i = 0 + 0. Suppose i = -4*z + 3*z. Is l less than z?
True
Let a = -0.11 - 62.89. Let s = a + 65. Which is smaller: -0.12 or s?
-0.12
Let a = -570 - -613. Is a >= 208/5?
True
Let s = 1297271/37 + -1525736365/43512. Let j = -4/147 + s. Which is smaller: j or -3?
j
Let o = 458 + -413. Is o at least as big as 175/4?
True
Let x = 303/2 - 1668/11. Which is bigger: x or -1?
x
Let m be (20/30)/((-1)/(-3)). Suppose -29 = 5*p - m*s + 3*s, -45 = 5*p + 5*s. Which is smaller: p or -6?
-6
Let h be (-16 - 0)/(-6 - 11/(-2)). Do h and 222/7 have the same value?
False
Let m be 6/2 - (3 - 4). Let f(k) = 7*k**2 + k - 1. Let w be f(-1). Which is greater: w or m?
w
Suppose 0 = 2*j + x + 24, -4*x - 20 - 16 = 2*j. Let s = j + 12. Suppose -4*h + 12 = -0*h. Are h and s equal?
False
Let b be 1*(-1)/9*10. Suppose -5*q - 15 + 0 = 0, 5*q = 3*r - 15. Which is smaller: r or b?
b
Let x be 14560/2910 - (-2 - (4 - 11)). Which is bigger: -1 or x?
x
Let b = -788 - -787.94. Is b greater than 1.8?
False
Let k(o) = -o**2. Let m(z) = 4 - 15*z - z**3 - 6 + 22*z**2 - 17. Let x(r) = 5*k(r) + m(r). Let a be x(16). Are a and -24/7 equal?
False
Let r = 26 + -15. Suppose -549 = -10*x - 429. Do r and x have the same value?
False
Suppose 0*w - w = -4*b + 1, 0 = b + 4*w + 4. Suppose -4*u - 10 + b = 2*z, -3*z + 2*u = -25. Suppose -8 = v + 3*n, 0 = v - 2*v - z*n - 14. Is v at least 0?
True
Let m = -2/181 - 177/362. Let l = 13 + -8. Let y = l + -4.96. Which is bigger: y or m?
y
Let y be (-1)/(-2)*(-4)/(-1). Suppose -10*j - 8 = -y*j. Which is smaller: j or -1.2?
-1.2
Let g = 0 - 0.4. Let c(j) = -2*j - 14. Let q be c(-8). Is g > q?
False
Suppose 3*w = -10 + 25. Is 1 less than or equal to w?
True
Let s(j) = j**3 + 5*j**2 - 5*j - 7. Let i be s(-5). Let c = -34 + i. Let y = c - -31/2. Are 1/3 and y unequal?
True
Suppose 5*u + 139 + 65 = 2*r, -3*u - 102 = -r. Let l be (-12)/(-48) - r/(-8). Suppose -w - l = -5*n, -3*n + 20 = -2*w + n. Is w bigger than -9?
True
Suppose -12*u - 3 + 3 = 0. Let q = 1 + -3. Let h = q + u. Is -6/11 >= h?
True
Let s(c) = -9*c + 2. Let j be s(2). Let i = j - -15. Let y be 0*i/((-3)/1). Which is smaller: -1/10 or y?
-1/10
Let c = 495 - 489. Suppose 0*b - 2*b = 12. Which is smaller: c or b?
b
Let o be (-2 + 3)*(-1)/(-53). Let z = o + -113/371. Suppose -4*l = -5*h - 31, 124*h - 2*l = 120*h - 14. Which is bigger: z or h?
h
Let b be (-9)/(-297)*(-6 + -3). Is -2 <= b?
True
Let a(v) = 6*v + 40. Let i be a(-5). Let f(l) = -l**2 + 8*l + 19. Let s be f(i). Which is bigger: s or 3/8?
3/8
Let m = 21.05 - 21. Let w = m - -0.35. Which is greater: -0.3 or w?
w
Suppose 5*n + 139 = 809. Let o = -128 + n. Are o and -2 nonequal?
True
Let t = -1562/21 - 191/7. Let s = -31 - -129. Let h = t + s. Which is smaller: -4 or h?
-4
Suppose -27*m - 2*m = -36