571. Are p and -275 nonequal?
False
Let u = 501 - 1684. Which is smaller: -1182 or u?
u
Let v = -0.521 + 0.041. Let x = -14.52 + v. Let i be (-1)/27*(-3 + -3). Is x != i?
True
Let b be 1206/15 + 12/(-30). Suppose 2*c = 6, -r - b = c - 188. Suppose 6*a - r = a. Is 22 less than a?
False
Let p(i) = i**3 + 31*i**2 + 56*i - 617. Let q be p(-28). Which is bigger: 168 or q?
168
Let y = 1471 + -973. Do 1991/4 and y have different values?
True
Let y = -1130999 - -19238483/17. Let q = 677 - y. Which is smaller: 1 or q?
q
Let n = -33131 - -5532827/167. Is n <= 1?
True
Suppose -3*k - 7972 - 4154 = 0. Let s = k + 52498/13. Are s and -3 non-equal?
True
Let p be 993/(-165) + 14/(-77) + 6 + 1. Let s be 9/6*(-4)/(-3). Let t = s - 1. Is t smaller than p?
False
Suppose -d - 37 = 2*u, 92 - 19 = -4*u - 3*d. Suppose 55 - 13 = 6*v. Suppose 5*c + 97 = 3*z, -2*c + 0*c - v*z - 6 = 0. Is u greater than or equal to c?
False
Let j(l) = -l**3 - 21*l**2 + 22*l. Let o(d) = -d**3 - 7*d**2 - 4*d + 10. Let t be o(-4). Let q be j(t). Which is smaller: q or 2/37?
q
Let d = -320298/35 - -42364/5. Is -678 <= d?
False
Let d = -253 - -503. Let n = d - 254. Let s = 77/4 - 19. Which is greater: n or s?
s
Let q(h) = -h**3 - 8*h**2 - 4*h - 6. Let k be q(-6). Let n = -17248 + 17192. Is n smaller than k?
True
Let v = -4 - -22. Let j = v + -24.8. Let f be (-75 + 78 - 46/14)*(-14)/(-6). Is j >= f?
False
Suppose -3*m - 15 = 44*k - 41*k, -4*k = -5*m - 7. Is k <= -0.1168?
True
Let i = -3187 - -5808. Which is greater: 2622 or i?
2622
Let b = 46986 - 425440/9. Suppose 19*f = 57*f - 10754. Let q = b + f. Do q and -2 have the same value?
False
Let y(o) = -3 - 12*o - 52*o + 8 + 14*o. Let k be y(-2). Let g be (-100)/k + (-6)/(-9). Is -20 <= g?
True
Let i(r) = -5 + 0 + 4*r + 4*r**2 - 1 - 2*r. Let d be i(-3). Let f be (-18)/d*32/(-34)*1. Is 0 bigger than f?
False
Suppose 0 = 4*h + 47 - 39. Let j be 5/(-3) - (-6)/(-18). Let d be (-188)/h + 3*j/6. Is 93 at most as big as d?
True
Let f = -87.78 - 1.22. Let g = 45 + f. Let y be (4 - 10/5)/(2/(-1)). Which is bigger: g or y?
y
Let h = 130.8 + -135.8. Which is smaller: 0.1 or h?
h
Suppose -2*g = 104*i - 105*i - 11652, 0 = 4*i - 3*g + 46613. Which is greater: i or -11653?
-11653
Suppose -651 = 1255*x - 1251 - 655. Let r = -3592489/543 - -6616. Which is smaller: x or r?
r
Let q be (5 - (0 - 2)) + 519. Suppose 2*h + 68 = -2*k - q, -5*k + 5*h - 1475 = 0. Is -297 at most as big as k?
True
Let u = 93.55159 + 0.05841. Let r = 1.61 - u. Let w = 88 + r. Is 2 not equal to w?
True
Let o be -4*(-2502)/(-2232) + (0 - -9). Which is smaller: 6 or o?
o
Let q = -75 - -88. Let l = -31 + 22. Let o be 6/1*l/(-27). Are q and o nonequal?
True
Let r = -3825 + 3826. Which is smaller: r or 17/9?
r
Let n(c) = -c**3 - 13*c**2 + 14*c + 5. Let i be n(-14). Suppose 5*s - 51 = -v, -s - 2*v + i = -7. Do s and 68/7 have different values?
True
Let f = 12.26 + -10.26. Which is smaller: f or 0.0063?
0.0063
Suppose 2*g = 3*x + 903, 517 = -5*x - g - 1001. Which is greater: -277 or x?
-277
Let f = -183 - -190. Let w be ((-12)/30)/(f/1435). Is w not equal to -82?
False
Let g(h) = h**2 - 59*h - 1475. Let j be g(-19). Is j <= 152?
True
Let n be -1 - (42/(-19))/2. Let q(c) = c**2 + 3*c + 2. Let x be q(-4). Suppose 7 - x = j. Is n greater than or equal to j?
False
Let n be (-8)/(6/(-9) - (-23)/39). Is 2 at most as big as n?
True
Let q = -93.9 + 90. Let x = -3.925 - q. Let m = x + -0.975. Which is greater: m or -1/2?
-1/2
Let w be (8 + 2)/20 - (-182955)/(-30). Which is smaller: -6095 or w?
w
Suppose -53550 = -15*r + 51360. Let d = r + -5679127/812. Which is bigger: -1 or d?
d
Let o = -9 - -8.88. Let r = 1.42 + -2.74. Let j = r - o. Which is greater: -1/3 or j?
-1/3
Let o(r) = -r**3 - 7*r**2 + 2*r + 16. Let m be o(-8). Let g = 66 - m. Is g greater than 9/10?
True
Let h = 0.21151 + -0.11151. Are h and 0.7608 nonequal?
True
Let t(r) = -1. Let w(s) = s**2 + 10*s + 3. Let z(g) = 6*t(g) + w(g). Let q be z(-10). Let c be 3 + 11 - (q - -2). Is 13 <= c?
True
Let m = -2359 + 30684/13. Is m < -1/3?
False
Let s(j) = 21*j**3 + 2*j**2 - 156*j - 448. Let p be s(-3). Is -529 bigger than p?
False
Suppose r - 3*r - 6 = 0. Let d be (384/198 - 2) + r/(-9). Do 0.2 and d have the same value?
False
Let v be 2/((-2)/(-3))*(-8 + (-552)/(-72)). Is v at most as big as 36/533?
True
Let f be ((-24)/(-144808))/((-2)/293). Let u = f - -2/787. Let j = -5 + 4. Are j and u equal?
False
Let o = 0.0204 - -0.0296. Is 84 at most as big as o?
False
Let u = 493 + -515.8. Let v = u - -23. Which is smaller: -16/3 or v?
-16/3
Let h = -0.04 - -0.04. Let t = -0.015857 + 6.515857. Is h at least as big as t?
False
Let r(u) = 11*u**2 - 13*u + 56. Suppose -10 + 26 = 4*y. Let g be r(y). Is g less than or equal to -0.2?
False
Let t be (6/(-6))/(20/16). Is 78 bigger than t?
True
Let g = 10.1 + -11.1. Let r be 0 - (2/3 - 2)*3. Let s be (r/8)/((-4)/(-48)). Is g smaller than s?
True
Let d be (3/(6/(-92)))/((-900)/(-35550)). Which is greater: -1816 or d?
-1816
Let c = 24 - 21. Suppose 4*u + u + k + c = 0, -6 = 2*u + 2*k. Is u less than -11/8?
False
Let g(h) = h**2 + 7*h + 6. Let p be g(-7). Let w(b) = 5*b - 6. Let s be w(p). Suppose 4*n - 2*n = -c + 47, -3*n = -3*c - 75. Is s < n?
False
Let f = 3.42 + -3.32. Let p = 76 - 73. Is f at least p?
False
Suppose -41*r + 36*r = 10. Let y be (-120)/440*(-3)/r. Which is smaller: 0 or y?
y
Let t = -0.39 - 2.61. Let b = t - -2.9. Let c = 5 - 13. Is c at least b?
False
Let j(a) = -3*a**3 + 3*a**2 - 22*a - 79. Let k be j(-4). Which is smaller: 247 or k?
247
Let k = 201 - 198. Let q be k + 84/((-1)/((-2)/(-3))). Are q and 1/2 non-equal?
True
Let s = -0.7917 - 0.2083. Which is smaller: -0.953 or s?
s
Let b = -52.2 - -52. Let f = 988 - 696. Is f at most as big as b?
False
Let f(b) = 82*b + 318. Let g be f(-7). Which is greater: -254 or g?
-254
Suppose -5*g = -c - 12594, 2*g - 3303 - 1721 = -3*c. Which is smaller: g or 2517?
2517
Let u(l) = l**3 + 15*l**2 + 8*l - 3. Let t be u(-14). Suppose 4*v - t = -9. Do 20 and v have the same value?
False
Let z(w) = -w**2 - 1 + 2*w**2 - 3 - w**3 + w + 3. Let j be z(1). Let c be 6/(12/(-14)) - -4*2. Are j and c non-equal?
True
Let w = 22/9 - 29/45. Let g(y) = y**2 - 2*y + 1. Let j(z) = -3*z - 73. Let r be j(-25). Let q be g(r). Is w not equal to q?
True
Let o be (-454302)/174 - -3 - 2/29. Which is smaller: -2606 or o?
o
Let z be 17/(32/(-84)*3). Suppose -46*h - 15*h = -9*h + 832. Is h less than or equal to z?
True
Let g be ((-40)/(-38) - 1)*(103 + -98). Which is smaller: g or -23?
-23
Let y = 0.01756 - -0.98244. Is y <= -5.1?
False
Let f(p) = -15*p**2 - 20*p**2 - 17*p**2 + 1 + p**3 + 27*p + 67*p**2. Let m be f(-13). Is -14 at least m?
False
Suppose -n = -3*i - 4*n + 291, -2*n = -5*i + 520. Let r be 8/i*((-33)/2)/11. Which is smaller: r or -1?
-1
Let v = 313621/45 + -6969. Let u = v + 2/45. Is u less than -0.308?
False
Let v(u) be the first derivative of u**2/2 + 8*u + 34. Let g be v(4). Let a be 950/g*(-1)/(-5). Which is smaller: a or 17?
a
Let s be ((-20)/(-6))/(1*-1*(-115)/276). Suppose 0*l - 2*l = -28. Suppose 0*j = 2*j - l. Which is bigger: s or j?
s
Let s be (4/420*3)/((-2)/5). Suppose 7*p - 6789 + 6803 = 0. Which is smaller: p or s?
p
Let x = -13 - -13. Let h = 101 - 101.1. Let s = h + 0.4. Which is smaller: s or x?
x
Let z = 70.8301 + -70.34. Let v = -0.0391 + z. Let i = v - 0.051. Which is greater: i or 4?
4
Let t = -467 + 621. Let v = -1.048 + 0.048. Are v and t equal?
False
Let h be (945/14)/15 + -8 + 4. Let x = -5.71 + 5.9. Which is bigger: x or h?
h
Let o = -29204 + 29198. Which is smaller: 157/6 or o?
o
Let r be (-5)/3 + (-2)/(-3). Let u = -76 + 72. Let s be (-2646)/(-675) - (0 - u). Is s at most as big as r?
False
Suppose 2*m + 0 = 52. Let q = 60 - 59. Let w be 60/30 + (24 - q). Does w = m?
False
Let m = -0.04974 - 0.15026. Are -583 and m nonequal?
True
Suppose 19*o = 14*o - 40. Let m(n) = -n**3 - 14*n**2 - 46*n - 5. Let k be m(o). Does k = -21?
True
Let z(r) = -r**3 + 7*r**2 - 5*r - 4. Let f be z(6). Let w be f*6/24*0. Which is smaller: w or 5/12?
w
Let n(o) = 316*o - 314. Let l be n(1). Let g be (-1)/(-1 - 28/(-26)). Are l and g nonequal?
True
Let c = -330 + 196. Let g = c + 263. Which is bigger: 2/5 or g?
g
Let l be (13 - 7)/(-6*12/(-48)). Let z be (-36)/14*(-20)/15. 