 7*z - 23. Let j be i(11). Let t(c) be the first derivative of c**3/3 + 5*c**2 + 47*c - 36. Let k be t(-4). Which is bigger: k or j?
k
Suppose 0 = -99*q - 7975 + 1586 - 7867. Which is greater: -127 or q?
-127
Suppose -12*v + v = 0. Suppose -20*m = -17*m - 5*d - 66, v = -4*d - 12. Let l = 5 + 10. Is l at most m?
True
Suppose -7*z + 12*z = x + 10, -3*z = x - 6. Suppose 14 = 5*f + z*f. Let u be f/3*6/(-8). Which is bigger: u or -1/12?
-1/12
Let j be -6*24/(-20)*(-175)/15. Let i be (-423)/j - -5 - (-2)/(-7). Which is smaller: 9 or i?
9
Let c = 137.923 - -0.077. Let f = c + -129. Is f equal to -4?
False
Let p(b) = b**3 - 23*b**2 - 9*b - 19. Let w be p(24). Suppose 0*h = 11*h + w. Let a = 31 + h. Is 4/27 less than a?
False
Suppose 5*i - 5*n + 375 = 0, 257 = 7*i - 10*i - 5*n. Let t = -1660/21 - i. Which is smaller: t or 1?
t
Let d = 22.248 - -0.252. Let x = 22.3 - d. Is x <= -19?
False
Suppose -9 = -f - 2*x, 4*f + f - 78 = x. Let m be 10/(-3) - (70/f + -4). Let s(a) = -a**2 - 6*a - 8. Let l be s(m). Which is smaller: 13 or l?
l
Suppose f + 0 = -3. Let r(g) = -7*g - 1. Let o be r(f). Let d = o - 11. Do d and 4 have the same value?
False
Let z = 1.515 - 0.649. Let r = -0.134 - z. Which is smaller: r or 8?
r
Let c = -3748425/91 - -41192. Is c smaller than 2?
True
Suppose -r + u = 742, 0 = 2*r + r + u + 2230. Let a = 817 + r. Which is greater: 75 or a?
75
Let s(a) = a + 12. Let g be s(-7). Let q be (g/(-3))/(55/(-132)). Suppose -5*w = 4*v + 33 - 7, 0 = w + q*v + 18. Is -3 not equal to w?
True
Let n(u) = -u**3 + 2*u**2 + 5*u - 2. Let t be n(-2). Suppose i + 4*f - 6 = 6*f, -t = 2*f. Is 2 < i?
False
Let z be (-2)/(-3)*-2*3. Let u be (z + (-38)/(-6))/5. Suppose 0 = -2*i - 6, -5*i = -5*p - 2*i + 4. Which is greater: u or p?
u
Let k be (1 + 16)*(-7 + 14). Let g be (-105)/(-280) + -2*(-5742)/96. Is k != g?
True
Let s = 139 - 98. Let r = 0.184 + 17.816. Let g = r - s. Is g not equal to 0.1?
True
Let m be (-3)/9 - 28/(-3). Let n(c) = -c**3 - 13*c**2 + 28*c - 20. Let h be n(-15). Suppose 0 = -7*k + h*k - 33. Which is smaller: k or m?
m
Let i = 2.63 - 1.82. Let m = -20.19 - i. Suppose 8 + 1 = 4*c + z, -4*c + z - 1 = 0. Is m equal to c?
False
Suppose 3*h - 42*y = -38*y - 800, 8 = -2*y. Which is smaller: 2/53 or h?
h
Let r = -7412627/71 - -104401. Which is smaller: -1 or r?
r
Let i = -0.01 + -8.99. Let h = i - -9. Let x = h - 0.025. Are x and 0 non-equal?
True
Let w = 0 + 0. Let y = -12541/3 - -13595/3. Let c = y - 348. Do c and w have the same value?
False
Let p be 5/((-35)/(-42)) - (-42)/(60/(-10)). Is p at most as big as -8/743?
True
Let q = 2925606/143 + -20459. Which is smaller: -1 or q?
-1
Let d(s) = -s**2 - 23*s - 47. Let r be d(-5). Suppose -7*c + 50 = r. Is c > 5?
False
Let z = 100 + -46. Suppose -v + z = 80. Is v > -7?
False
Let q = 2969 + -2968.3. Suppose -5*l + 3*s - 2*s + 22 = 0, l + 2*s - 11 = 0. Is l at least q?
True
Suppose 0 = -383*v - 737331 + 2767088 + 542854. Which is bigger: v or 6715?
v
Let b = 49587/5 - 9917. Which is bigger: b or 578/9?
578/9
Let y = 141679/184 + -770. Let a be 11/33*((2 - 2) + 0). Does y = a?
False
Suppose 42*z - 342 = 84*z - 39*z. Is -121 less than or equal to z?
True
Let k be 4 + 6/6 - 9 - 115. Let n = k + 2259/19. Which is smaller: -1 or n?
-1
Let d = 51 - -1. Let j(s) = 7*s + 3. Suppose 5*h - 32 = -b, -3*h + 34 = h - 2*b. Let v be j(h). Is v greater than or equal to d?
True
Let a = 13 + -30. Let h be (1 + 1)*234/(-12). Let g be (-2)/6*611/h*-3. Which is smaller: g or a?
a
Let q = 10 - 20. Let i(h) = 20*h**3 - 2*h**2 + h. Let n be i(-1). Let s(r) = -r - 33. Let v be s(n). Is q at least v?
True
Suppose -3686 = -11*f + 1231. Let m be 3 - (f*1)/((-888)/(-6)). Are m and 1 unequal?
True
Let v = 16.76 + -16.3. Let j = -1/404 + -803/2020. Which is smaller: j or v?
j
Let f be 9/7 + 22/(-77). Let s be ((-3 + f)/(-10))/((-4)/8). Let i(h) = -4*h. Let u be i(1). Which is greater: u or s?
s
Let a = 1991502666/65 + -30635140. Let v = 16702/5 - a. Which is bigger: -23 or v?
v
Let g = -336 - -321. Suppose -30 = 2*b - 2*t, -8*b + 24 = -10*b - t. Which is smaller: b or g?
g
Let s be ((-4)/1340)/((-12)/15). Let t = s + -4559/804. Suppose -v + 18*y + 10 = 22*y, 4*v = 5*y - 44. Is t < v?
False
Suppose 124*z + 10533 = -2125 + 382. Suppose -2*a - 124 = 74. Is a at most z?
True
Let p be (-1)/(97/3)*-1. Let r = -76780 - -76781. Is p at least as big as r?
False
Let z = 1550 + 2140. Suppose -245*h = -254*h - z. Which is greater: -411 or h?
h
Suppose -5*c = m, 0*c + 3*c = -2*m. Suppose 6 = -7*h + 9*h. Suppose h*x = -2*x - 3*y, -y = c. Is -2/3 >= x?
False
Let u = -582 + 637. Let a(j) = j**3 + j**2 + j + 1. Let k be a(-1). Suppose u*h - 61*h + 144 = k. Is 24 < h?
False
Suppose 0 = 3*c - f - f - 4, 0 = 2*c + 5*f - 28. Suppose 0*l = -3*w + l - 319, -c*w - 5*l = 419. Which is smaller: -108 or w?
-108
Let x = -456 - -709. Let r = x + -259. Is 46 equal to r?
False
Let j(a) = -a**2 - 20*a - 51. Let u(g) = -5*g**2 - 102*g - 257. Let x(k) = -11*j(k) + 2*u(k). Let q be x(-12). Which is bigger: q or -1/115?
-1/115
Let n be -9*7/105 + (-2)/5. Let t = -53023/10266 - 3/1711. Let m = -623/120 - t. Is m < n?
False
Suppose 51*t - 34*t + 1054 = 0. Let f = t - -184/3. Which is smaller: f or -2/103?
f
Let k be ((-4)/33085)/((-88)/5 + 18). Which is smaller: 0 or k?
k
Suppose -196*w + 177*w = 76. Which is greater: w or 32.3?
32.3
Let u be 2/(-3)*(-188)/(-564). Which is smaller: u or 2312?
u
Let u = -15 - -7. Let w be ((-5)/(10/u))/2. Let t(j) = -39*j + 860. Let d be t(22). Is d bigger than w?
False
Let p = -1 - -1.1. Let t(k) = 12*k - 3. Let a be t(-1). Let d be (1 - -4)*2/a*12. Is d > p?
False
Suppose 0 = 2*k + 90 + 86. Let j = 29 + k. Which is greater: -57 or j?
-57
Suppose -6 - 6 = 3*i. Let q(z) = -z**3 - 7*z**2 + 3*z + 18. Suppose 7*u - 13*u = 42. Let k be q(u). Which is smaller: k or i?
i
Let j = -20 - -14. Let l = 49.89 - 50. Let x = -0.01 - l. Is x greater than or equal to j?
True
Let p = -5802 + 5764. Let x = -12421/322 + 12/161. Which is smaller: p or x?
x
Let f(w) = -2*w**2 + 24*w - 50. Let z = -53 + 62. Let a be f(z). Which is greater: a or 38/9?
38/9
Let u = 141/61 - 14989/5429. Does u = 1?
False
Suppose -26*r + 29*r - 3953 = 4*c, 0 = -4*c - 5*r - 3993. Is c != -994?
True
Let n be 2/17 + (-248)/3842. Let h be -2 + (-50)/(-20) + 2/(-4). Which is greater: n or h?
n
Let i be 46/12 + 2 + (-4)/(-24). Let v(z) = -28 - 3 - i*z + 4*z. Let n be v(-16). Which is smaller: 7 or n?
n
Let f(m) = 3 - 55*m + 24*m + 35*m**2 + 25*m. Let k be f(2). Is 131 not equal to k?
False
Suppose 2*s - 2*k + 1 = -3, 13 = -4*s + 3*k. Let w = -515.06 + 531. Let u = 16 - w. Are s and u nonequal?
True
Suppose -35*d + 30*d - 34*d = 21*d. Which is smaller: d or -2/4963?
-2/4963
Let k = -431 - -899. Let a be ((-58)/24*2)/(230/22425). Let m = a + k. Which is smaller: -2 or m?
m
Suppose -18*i = -7*i + 6*i. Suppose -48 = -4*q - 156. Let g = q - -161/6. Is g < i?
True
Let k(q) = 22*q - 66. Let f be k(3). Which is bigger: f or 14/421?
14/421
Let m = 2025 + -2027.5. Which is bigger: 1.64 or m?
1.64
Suppose 0 = 2*x + 2*a - 8, -4*x = x - a - 20. Suppose 5*h = -3*l - x, h + l = 2*l + 4. Is h < -7/47?
False
Let c = 3.82 + -2.82. Let h be (-12)/42 + 1327/63. Let l = 21 - h. Are l and c equal?
False
Let n = -4347 - -4347. Which is smaller: 10455 or n?
n
Let m be 9*(-24)/648*9/3. Which is smaller: m or 1/624?
m
Let z = -144038/303 + 1426/3. Let l = -63254 - -63255. Which is smaller: l or z?
z
Suppose 39433*i - 72 = 39469*i. Which is greater: i or -123/232?
-123/232
Let o(w) = 75*w**2 - 65*w - 63. Let y be o(-1). Let s be (-9)/2*(-156)/9. Is y bigger than s?
False
Suppose 89*n = -176*n + 157*n + 1091340. Which is smaller: n or 10103?
10103
Suppose 151 = -5*c - 5*x + 41, -3*c + 5*x - 90 = 0. Let u = 7 + c. Let t be 4/3 - 12/u. Do t and 5 have different values?
True
Let v be (-320)/(-24)*(-27)/(-6). Suppose 4*j = 0, o = -4*o - 3*j - v. Let z(s) = -2*s**2 - 5*s + 2. Let m be z(-4). Does m = o?
False
Let a be (-4269624)/792 + 12/(-198). Which is bigger: -5393 or a?
a
Suppose 0 = 7*g - 5*g - 12. Let m(y) = -44*y + 113. Let v be m(g). Which is bigger: -150 or v?
-150
Let r = 437 - 245. Let s = r + -197. Is -34/9 <= s?
False
Let d = -120 - -125. Suppose d*g - 5*i + 20 = 0, 5*g + 5*i - 31 = -101. Let c be 1/((-6)/g