7. Let x = j - 16. Let i(b) = b**3 + 13*b**2 + 24*b + 33. Let m be i(-11). Is m equal to x?
False
Let l be 4*2/4 - 21*(-31)/93. Which is smaller: l or 1.3?
1.3
Let a = 856/2849 - 14/37. Suppose 5*n - 4*s - 5 = -2*s, -4*n + 21 = -5*s. Which is smaller: n or a?
n
Let t = -292 - -62194/213. Is t equal to -0.04?
False
Let a be -33 + 26 - ((-329)/28 - -5). Do a and 25/21 have the same value?
False
Let m be (-2)/28*15/6. Let x(f) = -410*f - 145140. Let p be x(-354). Which is smaller: p or m?
m
Suppose -32*a = -1540 + 4964. Which is smaller: -103 or a?
a
Let s = 16 - 57. Let a = 61 - s. Is a bigger than 103?
False
Let l = -49.825 - -0.225. Let r = l + 49.64. Is -0.26 at most r?
True
Let a = -69.146 - -0.146. Let i = a + 68.6. Let k = 2.6 - i. Are k and 0 unequal?
True
Let j(i) = -i**3 - 10*i**2 + 11*i + 4. Let s be j(-11). Let d be ((1 - s)/(-3) + -2)*-6. Suppose 4*q - d*q - 2*a = -24, -3*q - 5*a = -44. Is q < 9?
True
Suppose -273*l + 26*l + 67678 = 0. Is l > 268?
True
Let r = 1 - -3. Let m be 2/(-11) - (-14 - (-1309)/121). Which is greater: m or r?
r
Let y be (15762/639)/((-46)/36). Which is greater: -19 or y?
-19
Suppose 124913 = -124*i + 2897. Is -983 at least as big as i?
True
Let n be 10 + (-7)/((-35)/(-25)). Suppose -n*i + 4*i = 2*q + 68, 10 = -5*q. Is i <= 4/7?
True
Suppose -5*j + 26 = 3*g, -4*g = -4*j - 6*g + 22. Let k be ((-322)/230)/(j/(-2)). Is -133 greater than or equal to k?
False
Suppose 0 = 3*j + 3*h - 282, h - 364 = j - 5*j. Let z be 15 + -14 + j/2. Suppose 0 = 8*f - z + 6. Is f > 2?
True
Suppose 0 = -11*f - 32505 + 3300. Do -1 and f have the same value?
False
Let w = 23.3 - 64.3. Let i = 40.97 + w. Which is smaller: 2 or i?
i
Let l = 48 + -47.26. Let x = l - 0.34. Let m = x + -19.4. Which is bigger: m or -0.1?
-0.1
Suppose 118*s - 7308 = 114*s. Let m be (-386)/(-522) - 1 - 406/s. Is -1 >= m?
False
Let q = 127 - 69. Let v = 58.15 - q. Let x = 0 + -4. Which is greater: x or v?
v
Let y(k) = -k. Let x be y(1). Let m be (((-63)/14)/3)/(1/(-4)). Let l be (-275)/(-805) - (-5)/((-70)/m). Which is bigger: l or x?
l
Let j be 3/228*(5 + (-2 - -6)). Suppose 0*z = -z - 2*g + 4, -4 = -5*z - 2*g. Is j at most as big as z?
False
Let o be ((-1)/(42/4))/(-19*26/3458). Which is bigger: -9439 or o?
o
Let u be 28/(-36) - -1 - (-1521)/81. Let a be u/(-21) + (7 - (-1043)/(-147)). Which is smaller: a or -1/94?
a
Let u be (69/138)/((-2)/4084). Is -1020 equal to u?
False
Let f(z) = -2*z + 191. Suppose -805 = -17*h - 176. Let s be f(h). Is 117 at most s?
True
Let u = -8791 + 8789.7. Which is greater: u or -19?
u
Let r(v) = -3*v**2 - 55*v - 12. Let m be r(-18). Suppose m*a + 4*a = 0. Let f be 0 - (18/(-33) + 0). Which is bigger: a or f?
f
Suppose 152*h = 428*h - 1900 + 14872. Is h >= -53?
True
Suppose -l = -0*l - 2. Let q = -1.57711 - -5.17711. Which is smaller: l or q?
l
Let p = -334827526/287433 - -2/31937. Is p > -1166?
True
Let v be ((-2)/12)/((-3)/12). Let g = -503.9995 - 0.0005. Let i = g + 500.8. Is i less than or equal to v?
True
Let j(k) = -5*k**2 - 4*k + 2. Let i be j(4). Let y be ((-2)/(-8) - 25/(-20))*-62. Is i greater than y?
False
Let z be 16/(-4) - (0 + 16/(-4)). Let c be 96/(-286) + z + (-14)/(-91). Let o = -11.83 - 0.17. Is o greater than c?
False
Suppose 0 = 3*v - 0*v - 9. Suppose 48 + 264 = -v*h. Let m = -132 - h. Is m less than -3?
True
Let v(y) = -12 - 17 - 5*y - 15 + 12. Let h be v(-6). Let x be -10*-2*(h - -3). Is x at least as big as 3?
True
Let i = 1444 - 1751. Is -307 at least as big as i?
True
Let u = 0.6367 + -4.6367. Which is smaller: 38/3 or u?
u
Suppose 3*l - 2 + 11 = -18. Suppose -39 - 46 = 5*t. Which is greater: t or l?
l
Suppose 161*o - 166*o - 90 = 0. Let t be (-21 - o)*(-1 + 21/135). Is 3 <= t?
False
Let b = 7.3 + -31.7. Let v = -27.4 - b. Is 0 less than v?
False
Let w = -3682 + -3375. Is w > -7059?
True
Let w be (-5151)/2244*(44/(-2) - 2). Is w equal to 1/4?
False
Let r = 2/645 - -428/645. Is 5/11 < r?
True
Let i = 2.6 - 2.566. Suppose -162 = 3*x + 108. Let k = 89 + x. Which is smaller: i or k?
k
Let d(r) = -r**3 - 6*r**2 + 10*r + 77. Let z be d(-5). Let u = -0.6 - -0.49. Is u > z?
False
Let x be (576/80)/(24/(-160)). Is -792/17 smaller than x?
False
Let l = 870 + -865. Let c = -3 + -1. Let u = 4 + c. Is u less than l?
True
Suppose -5*s + 3*q + 315 = 0, -5*q = -s - 9*q + 63. Let x = -37 - s. Is x at least -99?
False
Let u be (-9 - -6)*(-28)/12. Let d(n) = n**2 - 10*n + 21. Let b be d(u). Let t(f) = -f + 4. Let m be t(6). Is b less than m?
False
Let n = -7 - -9. Let t = n - 1. Let z = 5717/7733 - 27/37. Which is bigger: t or z?
t
Let x = 13426 + -14372. Which is smaller: -1 or x?
x
Let s = -1457 + 1686. Is s bigger than 917/4?
False
Suppose -3669 = -24*k + 29*k - l, 5 = -5*l. Is k <= -734?
True
Suppose 0 = 5*f - 3*v - 4, f + v + 7 = -3*f. Suppose -8*d + 64 + 304 = 0. Let i = 1335/29 - d. Which is bigger: i or f?
i
Let c(z) = z + 2. Let j(m) = -2*m**2 - 53*m - 162. Let o be j(-23). Let v be c(o). Is v at least -3?
True
Suppose 20 = -2*j - 5*o - 30, 0 = -4*j - 5*o - 60. Let i = 1.005 + -1.1. Is i greater than or equal to j?
True
Let k(y) = -y**3 + 6*y**2 - 7*y + 7. Let w be k(6). Suppose -3*l + 4 - 10 = 0. Let h = l + -33. Is w at most as big as h?
True
Let k = -1440.3485 + -1.6515. Which is smaller: k or -1?
k
Suppose 20*f - 72 = 12*f. Suppose -3*i + 2111 = j, -12*j + 6 = -f*j. Which is greater: 704 or i?
704
Let z be (5/(-202))/(36 - 32). Which is smaller: z or -1?
-1
Let r = -0.17 - -0.25. Let q = 79.09 - 78. Let w = q + -0.99. Is r >= w?
False
Let v = -16132 - -16132.05. Which is bigger: v or -255?
v
Let w be (3 + (-33)/15)/(-11 - 328/(-40)). Is 0.0359 smaller than w?
False
Let a = -10024297/148 - -67732. Do a and 1 have the same value?
False
Let y = 0.7 + -0.2. Let w = -2/2672077 + -122915524/24048693. Do w and y have the same value?
False
Suppose -6*s + 2*s - 28 = 0. Let b(h) = -h**2 - 2*h - 12. Let d be b(-8). Let z be ((-20)/(-25))/(-3 + (-172)/d). Is z greater than s?
True
Let b = 140227/85191 - 383/219. Which is greater: b or -2?
b
Let t(c) = 4*c**2 - 64*c. Let x be t(16). Suppose -4 = -x*b + 4*b, 5*v + b = 4. Is 3 > v?
True
Suppose -2*l - 5*s = -314, -5*l - 2*s + 592 + 172 = 0. Suppose 484 = 6*c - l. Let r = -641/6 + c. Is r greater than 0?
False
Let z = -4/113 - -1505/1017. Let n = 146/45 - z. Is n greater than or equal to 2?
False
Suppose -5*i - 132 - 433 = 0. Let m(j) = -34*j - 3376. Let a be m(-96). Which is smaller: a or i?
i
Let f be 531/525 - -3 - (7 - 9/3). Let g be (-4)/(-18) + (-22)/18. Which is smaller: g or f?
g
Suppose 2*p + 434 - 77 + 693 = 0. Is -521 < p?
False
Suppose -11*k = -23788 - 16802. Let t be ((-8)/(-3))/(-3 - (-11210)/k). Are 69 and t equal?
False
Let q(b) = -61*b + 332. Let s be q(6). Let y = -83 - -48. Is s equal to y?
False
Let z = -10214 - -10189. Which is bigger: -520/21 or z?
-520/21
Let q(g) = 145 + 2*g**2 - 5*g - g**2 - 155 + 0*g**2. Let r be q(7). Let j be 195/(-150) + 1/r*6. Are 1 and j non-equal?
True
Let r(t) = -2*t**3 + 8*t**2 + 8*t - 41. Let s be r(3). Which is bigger: s or 22/87?
s
Suppose 4*g - 20 = 4*u, 50*u - 44*u + 18 = 4*g. Let s = -12658 + 9607420/759. Let b = 5303/3795 - s. Which is smaller: u or b?
u
Let f = -8238 + -7631. Is -15869 > f?
False
Let g = 326 + -351. Let n be (g/525)/(2/12). Let z be 1 + (-1 - (2 - 2)). Which is greater: z or n?
z
Let o be (29 - 29)/(-1 + 0). Suppose -3*z = 5*p - 61, -z + 1 = -1. Let y be 3/p*(-15)/5. Is o greater than or equal to y?
True
Suppose 2*g + 23 = 5*y, 3*g + 23 = 2*y + 5. Let m = 21061/12 - 10297/4. Let j = -816 - m. Which is smaller: j or y?
y
Let m = 217.107 + -217. Let a = m - -44.893. Let t = a + -44.9. Which is bigger: t or -1/15?
t
Let x(p) = 2*p**2 + 7*p + 2. Let d be x(-3). Let v be 4*(-5)/(-20) + d. Which is smaller: v or 1/54?
v
Let b = -3345 - -3345. Which is smaller: b or -353?
-353
Let r be (-2)/3 - 1388/(-12). Suppose 0 = -7*t + 2*t - r. Let s = 449 - 471. Which is smaller: t or s?
t
Let g(x) = 5*x + 29. Let z(a) = -2*a - 9. Let s(p) = 3*g(p) + 8*z(p). Let j be s(-10). Let v be (-45)/228*10/j. Are 0 and v non-equal?
True
Suppose 0*u = 3*u. Let c be 9600/180 - ((-8)/(-6) - 1). Let m = 4771/90 - c. Which is bigger: m or u?
m
Suppose 149*g = -138*g + 276*g + 45188. Is 4109 less than or equal to g?
False
Let o = 70 