). Let t(z) = -4*z - 23. Let m be t(u). Is -2/53 <= m?
True
Let x(c) = c + 3. Let m be x(-12). Let t = -7 - m. Suppose 0 = -t*z + 3*z + 4*b + 7, -90 = -5*z + 5*b. Is z >= 13?
True
Let v = -5 - 11. Let p = 83.3 - 93.3. Let x = p - v. Is x bigger than -0.1?
True
Suppose -4*p - 5*w - 40 = -0*p, w = -5*p - 29. Let z be p*2/(-20)*6. Suppose -5*y + 4*x = -1, 2*x - 6 = z*y - 7*y. Is -2/5 > y?
False
Let a be ((-1)/412*-6)/(33/66). Is -1 greater than or equal to a?
False
Let g be (216/42)/1 - 2. Let n = -2 - -4. Let f be 1 - n*1/(-2). Is g less than f?
False
Let d = -2 - -5. Let q = 23 - 26. Let a be 2 + q + (-56)/(-20). Are a and d non-equal?
True
Let l = -952 - -950.9. Let b(r) = -r**3 - 5*r**2 - 4*r + 1. Suppose -3*t - 1 = -k + 1, 4*k = -5*t - 26. Let c be b(k). Which is smaller: l or c?
l
Suppose -5*n = -0*q + 5*q + 5, -4*q - 36 = -4*n. Let l be (-12)/(9*(-2)/n). Let y = -18 + 22. Are l and y nonequal?
True
Let y = 3509/265 - 140/53. Let n = -11 + y. Suppose -f + c = -2, 0*c + 5 = f - 4*c. Which is greater: n or f?
f
Suppose 4*s = 16, -3*d = -5*s - 0*s + 89. Suppose 0 = 19*h + 530 - 74. Which is smaller: h or d?
h
Suppose 2*a + 10 = -2. Let b be 198/48 + 1/(-8). Let f be b/(2 - 8/3). Do f and a have the same value?
True
Let o = -2898 + 2905. Which is bigger: 4 or o?
o
Let c = -128 + 131. Let s be 2 + 2 + (99/c - 2). Is 35 at most as big as s?
True
Let a = -8.94 + 9. Let n = 0.15 - a. Which is smaller: -2/9 or n?
-2/9
Let o = 1259 - 1256. Suppose t = -4 + 15. Let q be (t/2)/(9/6). Are o and q unequal?
True
Let k(i) = -i**2 + 2*i + 1. Let t be k(-2). Let f be (-2 - -5)/((-9)/24). Is f at least as big as t?
False
Let r(d) = -2*d**3 - 17*d**2 + 16*d + 7. Let w be r(-9). Is w > -56?
False
Let p be -4*(123/4)/(-3). Suppose -p*l + 44*l = -3. Are l and -8/9 equal?
False
Let j = 6 - 6. Which is greater: j or 2/155?
2/155
Let v = -150.9 - 109.1. Are v and -3 unequal?
True
Let f(h) = h**2 - 4*h - 7. Suppose -v + 7 = -y, 2*v - 5*y = v + 3. Suppose 2*c - 2 = v. Let i be f(c). Which is greater: -1 or i?
-1
Let w(p) be the second derivative of -p**5/20 + p**4/2 - 7*p**3/6 + 5*p**2/2 + 3*p. Let x be 1/(-2)*(-32)/4. Let i be w(x). Which is bigger: i or 10?
10
Suppose -2*g - g = -3, 4*h - g - 111 = 0. Let a be 1/2 + (-6)/h. Let x = -76 + 76. Which is smaller: a or x?
x
Let t = 21 - 21. Suppose 4*l = -t + 16. Suppose 26 = h + h - l*n, 0 = -h - 4*n - 11. Which is greater: h or 0.1?
h
Let i = -241.7 + 242. Do 6/5 and i have different values?
True
Let b = -11 - -10. Suppose 22 = 2*z + 4. Suppose 0 = 3*x + 4*v - z, 4*v - 12 = -2*x - 2. Is x > b?
False
Let l = -0.6 + -9.4. Let n = l - 1. Let r = n - -19. Is 0.1 > r?
False
Let w(d) = -70*d**2 - 134*d + 4. Let h be w(-6). Which is bigger: -1711 or h?
-1711
Let x(v) = -v - 17. Let k be x(-5). Let b be 2*2/k*3. Let p = 10 + -6. Which is bigger: b or p?
p
Let x be (-12)/18 - (-23)/30. Let q be (-6)/(-15) + 3/5. Let k = 0 + q. Is k at most as big as x?
False
Suppose -3*i + 3*o = 6, 3*o - 4*o = i. Let k = 4 - 5. Is i < k?
False
Let v be 178/(-1224) - (-6)/51. Suppose -2 = -5*u + u - 2*i, -1 = u + 2*i. Do u and v have the same value?
False
Let k = 381/2392 + -1/184. Which is smaller: k or -1?
-1
Suppose -2*g - 2*n + 9 = 1, -2*n + 15 = 3*g. Suppose g*c - 10 = -73. Is c < -9?
False
Let w = 2554.263 + -2566.3. Let s = w + 0.037. Is 1 at least as big as s?
True
Let i = 106 + -194. Let v = -89 - i. Let y be (4/(-249))/((-2)/(-3)). Which is smaller: v or y?
v
Let u(w) = 7*w**2 + 5*w + 4. Let j be u(-2). Suppose -5*q + 28 = -j. Which is bigger: 9 or q?
q
Let k(c) = -9*c**3 - c**2 + 4*c + 4. Let y be k(-3). Suppose 0 = -y*f + 231*f + 310. Are -62 and f non-equal?
False
Let j = -1038 - -2075/2. Which is bigger: 127 or j?
127
Suppose -35 = -2*n + 5. Suppose n = -4*b, -199 - 696 = 3*t + 5*b. Let z = t - -2618/9. Which is smaller: z or 1?
z
Let w = 67 - 91. Let q = 0.006 - 0.106. Is q smaller than w?
False
Let r(o) = 2*o**3 + 6*o**2 + 5. Let d be r(-4). Let a(z) = -28*z**2 + 1. Let t be a(1). Are d and t equal?
True
Let r = -17 - -12. Let j(b) = -b**2 - 5*b + 7. Let p be j(r). Is 5 <= p?
True
Let t be ((-6)/2)/3*11. Let u(h) = -h - 16. Let r be u(t). Let z = r - -6. Are z and -2/25 unequal?
True
Let o = -2604 - -2606.7. Let w be 0 - (1/3 - 0). Is w at most o?
True
Let l = -781 + 224. Is -557 < l?
False
Let q = -868 + 863. Which is smaller: q or -90/19?
q
Let r = -289174/921417 + 2/18067. Which is bigger: 0 or r?
0
Let z = 12.9 - 12.97. Do z and -8/11 have different values?
True
Let m be (-1183)/44 + 606/(-808). Which is bigger: m or -2/5?
-2/5
Let l be 30/(-14) - 2/(-1). Suppose 0 = -3*k + 9*z - 7*z + 3, 0 = 4*k - 2*z - 2. Which is smaller: l or k?
k
Let x(t) = -3*t**2 - 12*t + 90. Let p be x(6). Do 0.2 and p have the same value?
False
Let b = -32.41 + 0.41. Let p = b + 31.8. Which is greater: 5 or p?
5
Let h(g) = g**2 - 48*g - 324. Let w be h(54). Is -12/415 > w?
False
Let p = 20 - 6. Let v = p + -12. Which is smaller: 6/11 or v?
6/11
Let l = -493173/520 + 7557/8. Let i = l + 44/13. Which is bigger: 2 or i?
2
Suppose -38*w - 12 = -41*w. Let z be w/(-6) - (88/12 + -5). Which is smaller: 0.6 or z?
z
Let v(j) = j**3 - 36*j**2 + 67*j + 36. Let r be v(34). Is r greater than 11/15?
True
Let s be 1 - ((-2)/(-6) - (-176)/258). Suppose -3*w = 3*z - z + 17, -z = w + 6. Is z less than s?
True
Suppose 3*a = -2 - 1. Let v be (2 - 2)*a/2. Suppose 5*t - 1 + 4 = -x, 3*t - 3 = x. Is t <= v?
True
Let b = -8.07 + 3.37. Which is bigger: b or -10?
b
Let f(o) = 2*o**2 - 1. Let x be f(-1). Let y be x/5 + -3 + (-39)/(-15). Which is bigger: y or 1?
1
Let r be 75/(-115)*(-4)/(100/(-45)). Is 0 > r?
True
Let p be (1 - 10/8)*(-20)/5. Suppose -2*q - 2 = -2*k, -3*k - 2 - p = -q. Let n be ((-4)/(-10))/(4/(-40)). Which is greater: n or q?
q
Suppose -8 = 2*a - 5*y, -2 = -5*a - y + 5. Suppose -a = m - 4, 5*d + 3*m = -21. Let w(f) = -f**3 - 4*f**2 + 10*f + 7. Let z be w(d). Is z at most as big as 18?
False
Let m = 2 + 8. Let r(t) = 20*t**2 + 541*t + 34. Let s be r(-27). Which is smaller: m or s?
s
Suppose -12*w + 1446 = -1962. Is 0.1 < w?
True
Let d be (-1 - 0)/(2/(-10)). Suppose x + d = -4*x. Let u be 18/14*1/3. Are x and u equal?
False
Suppose 13*j = -14*j - 4725. Which is smaller: j or -703/4?
-703/4
Let i be 3/(-30)*(-2)/(12/(-45)). Let q = i + 1/4. Is q at least -0.4?
False
Let v be -7 - ((-24)/8 - 5). Which is greater: v or -9/122?
v
Let l = -44 + 42. Let w be l/(-11) - ((-488)/220 - -2). Let o = -0.4 - 0.6. Which is smaller: o or w?
o
Let o = 55 - 55. Let d = 157 + 2. Let u be d/(-78) + 6/3. Is o equal to u?
False
Suppose 2*n = -5*t + 52 - 16, -4*t + 5*n = -42. Which is bigger: t or 4?
t
Let b = -18088/3 - -5786. Let z = -246 - b. Which is bigger: -4 or z?
z
Let k = -0.8 + 0.42. Let d = k - 2.12. Which is smaller: -0.1 or d?
d
Let y = 0.3463 - 0.0063. Which is smaller: y or -0.1?
-0.1
Let a(q) = 2*q**2 - 3*q**2 + 4*q**2 + 2*q + 0*q - 3. Let x be a(-3). Let m = x - 15. Is 5 at most as big as m?
False
Let k = -673 + 892. Is k less than or equal to 220?
True
Let j = 10.4 + -10. Let x = 6.6 + j. Let t = x - 7.1. Is t at most -0.5?
False
Let a be (3884/12)/(26/3 - 9). Is -971 less than a?
False
Suppose 0*l - 3*k = l - 19, -36 = -4*l - 2*k. Let c(j) = j**2 + 4*j + 3. Let p be c(-5). Is p greater than l?
True
Suppose 4*i - 126 = i. Let u(f) = -14*f - 435. Let z be u(-34). Which is smaller: z or i?
z
Let c be (-91)/49 - 18/(-21). Which is bigger: c or -11/24?
-11/24
Let q = -300/37 + 3694/629. Which is smaller: q or -1?
q
Let g(i) = -i**2 - 6*i - 3. Let d be g(-5). Let u be 69/(-36)*(4 - d). Which is smaller: u or -5?
-5
Let y = 319 + -318.982. Which is smaller: 0.1 or y?
y
Let q = -0.5 + 0.7. Let p = -0.1 + -0.9. Let l = p + 1.1. Is l <= q?
True
Let a be (-20)/(-420) + 5/(-15). Is a != -246?
True
Let w(s) = -9*s + 44. Let m be w(5). Which is greater: m or -2/287?
-2/287
Let s(m) = -17*m**2 - 2*m - 1. Let g be s(-1). Suppose 297 - 42 = -15*t. Which is bigger: t or g?
g
Suppose 2*m + o + 1 = 0, 2*m + 2*o + 3 - 1 = 0. Let w be m - 28*(-1)/(-2). Which is greater: -16 or w?
w
Let k = -0.3 - -0.3. Let t be (43 + -42)/((-1)/(-7)). Which is smaller: k or t?
k
Let q = -1536 - -1520. Which is smaller: q or -173/11?
q
Let k be -5 + (0 - -1)/(54/378). Let n be (-11)/(-1) + 0 + -1. L