-8*u + 5*u = -j. Let t(y) = -23*y**3. Let v be t(-1). Which is bigger: v or u?
u
Let k(u) = u**2 + 30*u + 105. Let s be k(-26). Let r = -5 + 10. Let y be (r/(-3))/((-4)/3). Is y not equal to s?
True
Suppose 2*g - 18 = 5*v, 2*g = v + 4 - 2. Let p be (-56)/(-26) - (6 + v). Which is smaller: 1 or p?
p
Suppose 319*x + 320 = 314*x. Is -64 != x?
False
Let z = 551 + -622. Are z and -72 non-equal?
True
Suppose 5*k = k + 12. Suppose 5*h - m + 4 - 10 = 0, 4*h = -k*m + 1. Which is smaller: h or 0?
0
Let a = 4 + -8. Let i be (-2 - 8)*a*(-3)/(-15). Is i less than 6?
False
Suppose 10 = -2*c - 3*c. Let o be (-5)/(50/6) + (-56)/8. Which is greater: c or o?
c
Let d be (-4)/(-1) - (-560 - (7 - 7)). Suppose 4*r - d = 16*r. Is -48 > r?
False
Let i = 1.77 + 8.93. Let b = 0.7 - i. Let z = -10.3 - b. Is 0 >= z?
True
Let j = 13 - 9. Suppose j*z = -z + 25. Suppose p + 2*k + z = 6*p, -4*p + 3*k + 11 = 0. Is p > -2/15?
False
Let q be 0/(0 - 0 - (-3 + 4)). Is q at most -100?
False
Suppose -s - s = -4*l + 28, -14 = -4*l - 5*s. Let f be (9/l)/(9/(-12)). Let x be (1/3)/(f/(-30)). Which is bigger: x or 7/2?
x
Let h = -1064/1587 - -2/529. Which is bigger: h or 48?
48
Let b(p) = 0*p + 1 - 3*p + 2*p. Let n = 7 + -5. Let x be b(n). Which is smaller: x or -4/3?
-4/3
Let v = 19 - 18.82. Let k = -0.07 + v. Let i = k - 1.11. Is -1 at least i?
True
Let n = 0.1662 + 0.8338. Which is smaller: 1155 or n?
n
Let q = -76.958 + 77. Let w = q - 29.042. Is w != 0?
True
Suppose 120*y - 116*y - 16 = -3*a, 0 = a - 4. Which is bigger: y or -79?
y
Let d = -4 + -1. Suppose -4*j + 0*j = -80. Let k be ((-30)/j)/((-1)/(-2)). Which is greater: d or k?
k
Let y(i) = -i**3 + 4*i**2 - 9*i + 17. Let f be y(3). Is f less than 3/278?
True
Let d(g) = g**2 + 6*g - 13. Let x be d(-8). Let y be (x - 3)*2/(-4). Which is greater: y or -41?
y
Let p = -109 + 194. Let j = -68 + p. Is 0 less than or equal to j?
True
Let b = -11 + 12. Let n be b + (-16)/(-11) - 3. Let v = 86 + -87. Are n and v nonequal?
True
Let r = 165.925 + -163. Let o = -0.075 - r. Let m = 54 - 701/13. Is m bigger than o?
True
Let l = -127725/38 - -3361. Are -2/3 and l unequal?
True
Let r = 3134/11 - 28228/99. Let u be (-1 - -2)*(2 + -1). Let b = u - 0. Which is greater: b or r?
b
Let v = -63 - 19. Let i = v - -121. Do 38 and i have different values?
True
Let a = 718/9 - 80. Which is greater: -6.4 or a?
a
Let f(z) = -16*z**2 + 2*z - 8. Let u be f(7). Let x = u - -42788/55. Is 0 greater than x?
True
Let p = -9 - -13. Suppose 4*l + 4*f + 24 = -0*f, 2*f + 6 = 4*l. Let j be 1/(0 + l) - -9. Do p and j have the same value?
False
Suppose -4*y + 3 = -5*y, 5*o + 4*y + 97 = 0. Let z = -15 - o. Suppose -z*j + j + 1 = 0. Which is smaller: j or 0?
0
Suppose 153*s + 38298 = 114*s. Is -984 <= s?
True
Let i = 93.8 + -82. Let o = i + -12. Is 3/7 at least o?
True
Suppose -5*l + 11*z + 20 = 16*z, -4*l + 26 = -z. Is -18 at most l?
True
Suppose -11*l + l = 440. Are -1 and l nonequal?
True
Let s = 13.34 + -0.34. Let y = s - 14. Which is smaller: y or -12/7?
-12/7
Let p(y) = -8*y - 88. Let g be p(-11). Which is smaller: -4/37 or g?
-4/37
Let n(l) = l. Let w be n(6). Suppose 5*h - 3*f = -0 + 20, -3*h + 8 = -f. Let t be ((-2)/w)/(h/(-27)). Is t at least as big as 9?
True
Let y = -13.6 - -12. Let d = y - -2.6. Let v = 2.96 - 3. Which is smaller: d or v?
v
Let u be -1*(5 - 68/12). Is 69 < u?
False
Let w be ((-2)/6)/(20/(-6)). Suppose -3*z - d + 16 - 24 = 0, -24 = 4*z + 4*d. Which is bigger: z or w?
w
Let o = 18 - 0. Let f = 16.5 - o. Is -2 at most f?
True
Let t = -89 - -68. Let u = -17 - t. Which is bigger: u or 0.2?
u
Let m = -6614/9 + 734. Let b = m + -247/9. Let j = 28 + b. Are -4/5 and j non-equal?
True
Let n = 231 + -925/4. Is n smaller than 44/9?
True
Let m = 779 - 767. Are 0.1 and m equal?
False
Let w = 3.677 + 0.453. Is 0 > w?
False
Let o be (-16)/(-24) + (-296)/(-36) - 6. Is 4 at least as big as o?
True
Let n be (-6)/8*(-4)/(-127). Let k = n - 339/1778. Let i = -137 - -137. Which is greater: i or k?
i
Suppose 0*h - 2*h = -4. Suppose -2*y + h*c = 0, 3*c + 6 = c. Suppose -n - 2 = -1. Is y at most n?
True
Let t(f) = 10*f + 5 - 7*f - 5*f**2 - f**3 - 2. Let b be t(-6). Let z be (-4)/(-30)*b/28. Do z and 0 have the same value?
False
Let z(h) be the first derivative of -h**2/2 + 2*h + 36. Let n be z(9). Is -4 bigger than n?
True
Let o be ((-27)/7)/(-2 - -3). Let a be 3/(6/4) - (-8 + 6). Let y = a + o. Is y at most as big as 3?
True
Let x(b) = b**3 - 6*b**2 + 14*b - 8. Let o be x(5). Let p be 117/3 + -1 + -1. Is o at most p?
True
Let i(v) = -v**2 + 7*v - 3. Let t = 93 + -86. Let h be i(t). Which is smaller: h or 2?
h
Let f = -20 - -20. Let a = -520 - 242. Let j = a - -28196/37. Is j at least f?
True
Suppose -55 + 17 = 38*m. Is m less than or equal to -2/67?
True
Let v = 25 - 19. Let j be (-4 + 4 + -1)*4/v. Is 2 greater than or equal to j?
True
Let p(v) = -v**2 + 7. Let f be 9/(-3) - (2 - 5). Let s be p(f). Is 9 at most s?
False
Let p(y) = -3*y**2 - 2*y + 1. Let n be p(1). Let x(v) = v + 3. Let c be x(n). Is c bigger than 25?
False
Let i(t) = -t**2 + 40*t - 448. Let z be i(29). Which is smaller: z or -1?
z
Suppose 0 = -a - 48 - 13. Suppose 6944 = 41*j - 118*j - 35*j. Is a at least j?
True
Let v be (4 - -9) + -2 - -2. Which is smaller: v or 16?
v
Suppose -2*v - 3*y = -85, -2*y = 2*v - 7*v + 165. Is v > 103/3?
True
Let n(i) = -i - 3. Let r be n(0). Let d be 5/r*(3 + 0). Suppose 14*a + 2 + 80 + 2 = 0. Which is greater: a or d?
d
Let y(r) = -r**2 + 3*r - 1. Let g be y(3). Let p be (-4)/8*-18 - g. Let c = -7 + p. Is c greater than 3?
False
Let w(u) = -u**3 + 3*u + 2. Let z be w(-1). Let m be (-2 - 10)*(-3)/(-6). Let r be ((-2)/m)/((-52)/(-72)). Which is greater: r or z?
r
Let s be 32/5 - 4/(-10). Let o be ((-32)/(-20))/((-44)/(-165)). Which is smaller: o or s?
o
Let k(m) = m + 5. Let n be k(-10). Let a(c) = -c**3 - 6*c**2 - 2*c - 1. Let b be a(n). Is b < -17?
False
Suppose -3*i - 4 = -4*r, 4*r + i = -2*i + 4. Let h be ((-194)/98)/r + 8/4. Is 0 at most as big as h?
True
Suppose 614 = 21*u - 0*u + 3302. Suppose -2*o = -141 + 397. Is u bigger than o?
False
Let d be ((-188)/30 + 6)/((-8)/(-2892)). Is d greater than -96?
False
Let y be ((-1515)/70)/(2/32). Let v = -348 - y. Which is smaller: v or -3?
-3
Let a be 192 - ((-5)/5 + 4). Let j be a/18*(-4)/6. Is -7 less than or equal to j?
True
Let f be 2 + 1 + 0 - (-66)/(-5). Do -0.3 and f have the same value?
False
Let k be 6 - (0 + 3)/1. Suppose -9 = k*o + 9. Which is smaller: o or -24/5?
o
Let c = 43 + -34. Suppose c = 5*r - 2*g, -2*r - 2*r - 2 = 3*g. Which is smaller: r or 12/5?
r
Let q = -0.18 + 0.08. Is q > -4/25?
True
Let j be 76/13 - 4/(-26). Suppose 3*z + 42 = o, 0*o + 14 = -z - o. Let c be (3/j)/(1/z). Is -7 != c?
False
Let z = 7 - 4. Let r = z + -2. Let f(k) = -k**2 + 21*k - 22. Let n be f(20). Do n and r have the same value?
False
Suppose 4 = 2*l + s, 2*l - 8*s = -3*s - 20. Do 2/217 and l have the same value?
False
Let r be (1 - 4/3)/((-136)/24). Is r less than or equal to 0.1?
True
Let y(m) = m**2 - 7*m - 9. Suppose -4*a = -4*g - 44, 2*g - 18 = 3*a - 6*a. Let h be y(a). Let z = -29 - h. Is -28 bigger than z?
False
Let m = 1.1 + -1.36. Let f = m - -11.46. Let u = f + -11. Which is bigger: -3 or u?
u
Let q = 0.5 + 0.5. Let u = 0.1 + q. Let v = -3.1 + u. Which is smaller: v or -1?
v
Let z = 12 - 1. Suppose -2*q - 1 = -29. Is q less than z?
False
Let z = -23.4 + 5.4. Which is greater: z or -2/25?
-2/25
Let q(j) = -5*j**3 - 58*j**2 - 18*j. Let o be q(-12). Which is bigger: 503 or o?
o
Let m(c) = c**2 + c + 6. Let z be m(-3). Is z not equal to -2?
True
Let r = -0.1798 - -0.0798. Is -83 <= r?
True
Let j be (-2)/16 - 48927/(-394424). Is 1 bigger than j?
True
Let r be -1*-70*3/(-6). Let v = r + 5. Let a = v - -31. Do a and -1 have the same value?
False
Let l = -71.27 - -70. Let u = l - -1.254. Which is smaller: -1/2 or u?
-1/2
Suppose -2*j + 0*j = 2*l - 46, 97 = 5*l - j. Let y = l - 24. Is y > -1?
False
Let p = 519.47 - 513. Let b = 0.47 - p. Which is smaller: b or 2/7?
b
Let m = 1658 + -1383. Do 277 and m have the same value?
False
Suppose -5*d + 80 = 15*d. Is -4 greater than or equal to d?
False
Let g = -0.0797 + 47.1797. Let c = 47 - g. Which is smaller: c or -55?
-55
Let d = -13 - -3. Let c(r) = 31*r - 1. Let t be c(1). Let x be