 = -665, -1659 = -4*a - j. Suppose 115 = -5*i + a. Let w be (-56)/i - (0 + -1). Is w >= -1?
True
Let w(j) = j**2 + 4*j - 8. Let h(f) = -18*f**2 - f. Let t be h(-1). Let o = 11 + t. Let a be w(o). Which is bigger: 5 or a?
5
Let p be 20/(-96) + (-15)/(-40). Suppose h - 1 = -0*h. Which is greater: p or h?
h
Let k = -44 - -50. Let t be 2*k*4/48. Is -14 <= t?
True
Let b be 3/8 + 0 + 105369/264. Which is smaller: 399 or b?
399
Let w = 0.1 - -0.02. Let z = -0.88 - w. Which is smaller: z or -8?
-8
Let i = -636.1 + 636. Which is bigger: i or 280?
280
Let g = -457 + 394. Which is bigger: g or -65?
g
Let j be ((-3874)/112 - -2) + 6/(-21). Let u = 33 + j. Do -5 and u have the same value?
False
Let p = -26371/9 - -2923. Is p less than -7?
True
Let b be 12/(-1220)*(-95)/532. Which is smaller: -1 or b?
-1
Let f = -26 + 31. Suppose 0 = 3*p - 3*b + 24, f*p - 4*b + 14 = 4*p. Which is smaller: 2/3 or p?
p
Let o be (-6)/57 - (-135)/19. Suppose -4 - 3 = o*q. Is q less than -2/243?
True
Let s = 3 + -7. Let i(c) = -2*c**2 - 10*c - 7. Let a be i(s). Is 1/127 bigger than a?
False
Suppose -4*m = -2*z - 972, -58*m + 4*z + 480 = -56*m. Are 245 and m non-equal?
True
Let u = -229 + 231. Is u less than or equal to 10?
True
Let g(w) = -w**3 - 9*w**2 - 7*w - 20. Let c be g(-8). Which is smaller: c or 0?
c
Let r = -4.96 + -1.64. Is r != -1/4?
True
Let y = -24 - 19.5. Let u = y + 43. Which is bigger: u or 1/7?
1/7
Suppose -5*y = 2*w - 1003, 19*y - w + 601 = 22*y. Is y less than 196?
False
Let l be (0 + 5/(-1175))*-5. Let x(y) = -y + 12. Let d be x(0). Let f = -12 + d. Which is smaller: f or l?
f
Let m be 198/9 - 0/(-12). Is m greater than or equal to 17?
True
Suppose 0 = -5*h + 12 - 2. Suppose -h*g = t + 4 - 10, -5*t = -2*g - 18. Let r be (-30)/(-7) - 4/1. Which is smaller: r or g?
r
Suppose r - 252 = -78. Let k be (-4)/28 - r/(-189). Which is smaller: k or 0?
0
Let p = 470 + -460. Are 158/15 and p nonequal?
True
Let q be ((-10)/((-5)/(-1)))/((-1)/(-2)). Let u be q + (87/18)/1. Suppose -6*j + j + 10 = 0. Is j bigger than u?
True
Let v(x) be the third derivative of -x**6/120 - x**5/20 - x**4/24 - 2*x**3/3 - 5*x**2. Let a be v(-4). Suppose h - 4 - a = 0. Is h bigger than 20?
False
Let v = -404 + 557. Is v at least as big as 151?
True
Let y be -1 - 3 - (-6)/(-12)*-8. Is -35/27 less than or equal to y?
True
Let z = -12 + 24. Let h be (-2)/6*((-4)/z + 0). Is 1 greater than or equal to h?
True
Let m = -23/2 + 10. Which is greater: m or 1?
1
Let j be 1 - 4 - (-138)/23. Let b be (j/2)/((-24)/64). Let t be (b/8)/((-14)/(-16)). Are -1/8 and t unequal?
True
Let i = -85 - -99.8. Let a = 1.1 + -16.1. Let z = i + a. Are z and -8 nonequal?
True
Let q(g) = -g**3 - 17*g**2 - 11*g + 136. Let p be q(-16). Let f(z) = z**3 - 6*z**2 - 9*z + 1. Let s be f(8). Which is smaller: s or p?
p
Let m = 7/93 + 223/744. Which is smaller: m or -4?
-4
Let b(l) = l**2 - 6*l - 5. Let y be b(8). Let z(q) = -q**2 - 11*q + 23. Let k be z(-12). Suppose -26 + k = -5*p, 3*p = 4*w - y. Is 4 >= w?
False
Suppose 0 = 163*y - 944*y - 230 + 2573. Suppose -5*t = 4*o - o - 7, -3*t = -6. Let w be 0 - 0/(o/(-1)). Which is bigger: w or y?
y
Let c be 3/(-2)*2/(-3). Let w be -4*4*c/(-2). Let f be -1 + 2 + 4/(-2). Is f bigger than w?
False
Suppose 0 = -3*n + 5*o + 35, 3*n - 32 + 5 = 3*o. Suppose -a - 8 - 3 = 2*l, n*a = 3*l - 29. Are -7 and a equal?
True
Let a = 0.0138 + -10.0138. Is a >= -0.001?
False
Let h = -4123/2 + 2062. Which is bigger: h or 1271?
1271
Let q = -13 + 11. Let p be 1 + (q - (-99)/(-12)). Let w = -177/20 - p. Which is greater: 1 or w?
1
Let f = -1867 - -2446. Is f != 580?
True
Let u = -13 + 13.015. Let w = -0.985 - u. Which is greater: w or 2?
2
Let x = -1159 - -899. Which is smaller: x or -258?
x
Suppose 6 = -5*u + 11. Suppose -u = 5*s - 6. Is 1 at least s?
True
Suppose j - 4*j = -5*q - 38, q - 3*j - 2 = 0. Let m be (-74)/q + 2/(-5). Suppose 3*d - n + 0 = m, 5*n + 19 = -d. Is 2/11 > d?
False
Let t be 2/(-6) + 145/(-15) + 0. Is t greater than or equal to -2/89?
False
Let y(w) = -w + 9. Let t be y(-9). Let p be (4/(-6))/((-24)/t). Suppose m - 3 = -3*n, 3*n - 2*m = -7*m + 3. Is p >= n?
False
Suppose -3*q + 53 = 5*z + 10, q = 4*z - 31. Let s(i) = 8*i - 15. Let r be s(3). Which is bigger: r or z?
r
Let v = 0.042 - 1.042. Let k = 0.4 - 0.6. Is v at least as big as k?
False
Let w = -10 + 0. Let d = -18 - w. Let v = d - -9. Is -0.5 > v?
False
Let v = -510 + 1552/3. Which is bigger: v or 7?
v
Let y = -792 + 791.75. Is y at most -2?
False
Let c(u) = -25*u**3 + u. Let o be c(1). Let a be (-2 - -4)/(3/o). Let g(y) = y**3 + 16*y**2 - y - 12. Let r be g(a). Which is bigger: r or -4/3?
r
Suppose 884 = -3*o + 2*u, 124 + 470 = -2*o - u. Is -296 <= o?
True
Suppose 4*o = -z - 17, -2*o + 2 - 3 = 3*z. Suppose z*t = -2*t. Let l be 1*(-4)/(-8)*-2. Is l at least t?
False
Suppose 0 = 27*k - 89 + 8. Which is smaller: 6 or k?
k
Let a = 17.08 + -17. Let y = a - -0.14. Let i = y - 2.22. Is 1/4 at most i?
False
Let w be -1 + 10 + (5 - 5). Suppose -3*h = -5 - 31. Is h at most w?
False
Let y = 33 - 32. Suppose -y = 3*x + 2*t + 94, 3*t - 46 = 2*x. Is -30 smaller than x?
True
Let j be 0/(-2) + (8 - 16). Let p be 3/(-12) + 105/(-12). Which is smaller: j or p?
p
Let b = -71/200 + -1/50. Let r = -239 + 239.1. Is b less than r?
True
Let i be ((-152)/(-228))/(2 - 696/351). Is 504/13 not equal to i?
True
Let z(w) = -5*w**2 - 56*w + 48. Let f be z(-12). Which is smaller: 8 or f?
f
Suppose -29 = 3*s + 28. Which is bigger: s or -17?
-17
Let l be 5/2*20/(-75). Let j = -0.06 - 1.14. Is l at least j?
True
Let r = 13 - 20. Let q = r - -6.93. Let g = 688 + -689. Which is greater: g or q?
q
Let t = -30 + 21. Let b = t + 8.94. Let y = b - 0.04. Is -1/9 >= y?
False
Suppose -9 = 4*m - 5. Let g be ((-93)/124)/(m*19/32). Does g = 2?
False
Let o = 15 - 9. Suppose -5*v - 2*w - o = -w, -4*v + 2*w = 16. Let d = -6269/3 + 2089. Is v > d?
False
Let r(o) = o + 17. Let q be r(-12). Suppose 0 = -q*j + 7*j - 104. Let b be j/(-36) - (-2 + -1). Is b not equal to 3?
True
Let l = 58/399 + 8/57. Let n(y) = -y**3 - 7*y**2 + 4*y + 86. Let f be n(-6). Which is greater: l or f?
f
Let x = 12 + -29. Let m = x + 16. Is m smaller than -0.09?
True
Let m(i) = -i**3 - 7 - 6*i**2 + 3 - 9*i - 3*i**2. Let o be m(-8). Suppose -o*t + 5*t = 28. Which is greater: t or 27?
t
Let y(t) = -7*t - 2. Suppose -3*m = 12, 4*q - 2*m + 9 = 29. Let v be y(q). Let o = v - -27. Which is smaller: 6 or o?
o
Let q = 106 + -64. Let a = 39 - q. Is a at least 9?
False
Let t = -47 - -41. Let z be 6/50*t/27. Let n(o) = -2*o**2 + 2*o - 1. Let s be n(1). Are z and s unequal?
True
Let v(y) = -7*y + 767. Let f be v(-46). Is 1089 <= f?
True
Let j be 39*(-77)/84 + (-5)/4. Is -38 smaller than j?
True
Let c be (-129)/132 - (-3)/12. Let x(v) = -v**2 - v + 10. Let n be x(-4). Is n at most c?
True
Suppose 0 = 4*y - 46 - 522. Is y greater than -2?
True
Suppose 0 = 2*n - 6, 2*n - 3*n = 3*i + 18. Let k(j) = -j**3 - 8*j**2 - 8*j - 1. Let o be k(i). Let d = 0 + -2. Which is smaller: d or o?
d
Let v = 135 - 163. Which is smaller: v or -2/11?
v
Let s(r) = 117*r - 126. Let m be s(2). Which is smaller: 103 or m?
103
Let s = 574 + -572. Which is smaller: 129 or s?
s
Let z = 3624 + -3623. Let q be 10/12 + -1 + 1. Which is smaller: q or z?
q
Let j be 2/8*(-1448)/(-22263). Let l = 1 + -1. Which is smaller: j or l?
l
Let d(t) = t**3 - 11*t**2 - 11*t - 10. Let v be d(12). Suppose -2*w + 5*l = 131, -l = 3*w - v*l + 190. Let z be 18/(-63) + (-25)/w. Which is greater: z or 1?
1
Let p = 4.32 + -4.22. Let i = -0.2 - 1.8. Which is smaller: p or i?
i
Let n(m) = 2*m - 12. Let x be n(9). Let b be (-1480)/x*72/(-75). Let k = b + -236. Which is greater: 2 or k?
2
Let q = 13 - 10. Suppose -3*p - 13 = -0*j - 2*j, 0 = 2*p - j + 7. Let c be (p/(-3))/(q/(-9)). Which is bigger: 1 or c?
1
Let s = -1760019/34 + 7367477053/142324. Let l = -1/364 + s. Is l at least 1?
False
Let x = 326 + -321. Is 2/77 less than x?
True
Let h be (-28)/3 + (23 - 13). Let n = 4 - 4.3. Does h = n?
False
Let v be 3 - 9351/1869 - -2. Let g = v - 1208/11837. Suppose 0*b + 2*j = -2*b + 6, -4*j = -16. Is g at least as big as b?
True
Let m(v) = -v + 5. Let g be m(0). Suppose g*w = 50 + 15. Let k = w + -6. Are 6 and k nonequal?
True
Let a = 308 + -307. Let i = 239/441 - -2/147. Which is sma