i**3 - 10*i**2 + 9*i + 24. Let j be z(s). Which is smaller: j or r?
j
Let q = 4.848 - -0.052. Let n = q + 6.1. Let w = -1.031 - -0.031. Is w < n?
True
Let m = -16486 + 16413. Which is greater: m or -92?
m
Let y(d) = -d + 24. Let i be y(9). Let z be 20/i - (-16)/6. Suppose 0*a - z*c + 8 = -4*a, c = -3*a + 2. Is 1/3 smaller than a?
False
Let c = -179 - 2397. Is -2575 != c?
True
Let i(l) = l**3 + 15*l**2 + 14*l. Let j = -11 - 3. Let k be i(j). Let w = 557/4 + -4453/32. Is k at least w?
False
Let w be (-1)/(-8) + (-682)/(-176). Suppose 4*k + 0*s + 2*s = -110, 0 = -k - w*s - 31. Is -27 <= k?
True
Let b(a) be the first derivative of -a**4/4 + 2*a**3 - 7*a**2/2 + 9*a + 54. Let i be b(5). Is i at most as big as 3/74?
True
Let g be (-306)/(-119) - (-6)/14. Let k be -7 + (-3 - -7) - -5. Is k >= g?
False
Let t(s) = -2*s - 27. Let i(c) = -6*c - 84. Let x(k) = -4*i(k) + 11*t(k). Let g be x(-25). Let w = -27 - -15. Is w equal to g?
False
Let i(r) = -3*r**3 - r**2 - 61*r. Let l be i(0). Which is bigger: l or -2/3989?
l
Let d(v) = 52*v + 7. Let m(t) = 10*t + 2. Let k(a) = -d(a) + 5*m(a). Suppose -8 = -2*f - 0*j + j, -5*f = -3*j - 22. Let i be k(f). Which is bigger: 2/19 or i?
2/19
Let l = 26187/2 - 13558. Which is greater: -464 or l?
-464
Let f = -23 + 23. Let b = 1 + -10. Let p = b - -62/7. Are f and p unequal?
True
Suppose -9*j - 4 = 14. Let n be ((-4)/j)/((-2)/(-24)). Suppose 0 = 3*l - 5 + 2, -m + 2*l - n = 0. Which is greater: m or -21?
-21
Suppose -4*v + 43*i - 20 = 44*i, v + 5*i = -24. Is v greater than -151/36?
True
Let v(z) = 11*z**2 - 8*z + 36. Let r be ((-78)/91)/(1 - 51/42). Let t be v(r). Which is smaller: 357/2 or t?
357/2
Let z(u) = -2*u - 4. Let t be z(-3). Suppose 2*c = g + 13, t*g = -6*c + 8*c - 24. Is -9 at least as big as g?
True
Let r = -1851077/2772 - -6010/9. Are r and 0 equal?
False
Let i = -52602798775/81017 + 649281. Do -1 and i have the same value?
False
Let h(c) = c**3 + 23*c**2 - 40*c - 84. Let a be h(-11). Is a > 1810?
False
Let m be (-1189)/594 + 2 - 0. Suppose 3*c = 2*d + 10, -61*c - 5*d = -68*c + 25. Is c smaller than m?
False
Let c(r) = r + 1. Let s be c(0). Let f(t) = -t**3 + 9*t**2 + 8*t + 4. Let m be f(8). Let x be 21/176 + 8 + (-1080)/m. Which is smaller: x or s?
x
Let s = -98884/2056821 - -54/2293. Does s = 0?
False
Let y be -9 + 109/(-11) + 3/(-33). Which is smaller: y or -101/5?
-101/5
Suppose 135*y = -561*y - 20880. Is y at most as big as -464?
False
Let w = -10 + 15. Suppose 5*s + 5*a = 4*s - 64, -w*a + 14 = -s. Which is smaller: -36 or s?
s
Let x = -59 - -155. Let p = -116 + x. Let t be 214/(-10) + 2/5. Which is smaller: p or t?
t
Let i = -247 + 239.8. Let f = i + 6.2. Is -0.009 equal to f?
False
Let j = -30 + 42. Suppose -14*o = -11*o + j. Let q be (76/16)/(10/(-8)). Which is smaller: q or o?
o
Suppose d - 3*f - 11 + 41 = 0, -3*d - 98 = -5*f. Which is greater: 101 or d?
101
Let q(g) = -15*g**2 - 3*g - 18. Let o be q(-3). Let j = o + 119. Is -18 equal to j?
False
Let x be (4/(-56))/((-1)/(-4)) - 6/(-21). Is x != -1/5574?
True
Let d be 15/20 - 34510/40. Which is smaller: -859 or d?
d
Let i = -37199/21 - -1758. Which is smaller: -14 or i?
-14
Let a(p) = -p**3 - 2*p**2 + 2*p - 125. Let b be a(0). Let y = 264 + b. Is 139 != y?
False
Let o(x) = 4*x**3 - 15*x**2 + x + 7. Let s be o(-7). Let k = s + 6743/3. Is 140 at least as big as k?
False
Suppose -3577*j - 1331 + 9339 = -3591*j. Is -577 <= j?
True
Let p(c) = 7*c**2 - 70*c - 9. Let o be p(16). Which is greater: 661 or o?
o
Let z = -275 + 275. Suppose z = -j - 1, 2*j + 26 - 260 = 4*k. Is -59 less than k?
False
Let t be 144/(-128) + 2/16. Which is greater: 3124 or t?
3124
Suppose -5*q - 2*r = -10*q - 368, 4*r = -3*q - 200. Let h = -72 - q. Is h smaller than 2/219?
True
Let d(o) = -3*o**2 - 2*o. Let g be d(2). Suppose 3*p - 4*p = -30. Suppose 4*x - 2*u + p + 24 = 0, 5*u = 2*x + 7. Is x greater than g?
False
Let t = 25.27 - -6174.73. Which is smaller: t or -1?
-1
Let c = -21 + 25. Suppose c = -2*p, 4*p - 52 = -w - 4*w. Let u be ((-6)/6)/((-3)/(w/(-34))). Which is bigger: u or 0?
0
Let j = -0.84 + -35.96. Let w = j + 37. Let m = w - 0.3. Which is smaller: -4/7 or m?
-4/7
Let f = -0.03382 + -1.56618. Is 10/17 at most f?
False
Let y(z) = 78*z**3 - z + 1. Let v be y(1). Let k = 5421 - 5345. Which is bigger: v or k?
v
Let z = -8282.006 - -8282. Which is smaller: z or -0.24?
-0.24
Let h(v) = v**3 - 87*v**2 - 6*v + 549. Let f be h(87). Which is greater: 31 or f?
31
Let j = 144 + -127. Let c = -58 - -48. Which is smaller: j or c?
c
Let c = 2 + 0. Let y = 380.4273 - 40.4273. Which is smaller: y or c?
c
Let h be (-7 - 1554/(-108))/((-15)/(-8) - 2). Are -59 and h equal?
False
Suppose -5*k + 1 = 6. Let s be (2/(-18))/(1400/168). Which is smaller: k or s?
k
Let y be (18/60)/((-72)/70656). Which is bigger: y or -293?
-293
Let c(x) = -x**2 + 4*x + 35. Let k be c(8). Suppose 5 = 3*t + 5*j, 0*j = -k*j - 15. Let u be ((-56)/20 + 2)/(4/t). Is -9/7 <= u?
False
Let w be (-7 + (-987)/14)/(12/(-8) - -2). Which is smaller: -158 or w?
-158
Let d = -3075 + 2545. Is d at least -524?
False
Suppose -5*o = -11*l + 8*l - 7, -2*l - 6 = -4*o. Let g be (o/3)/(-2)*(-74 + -15). Which is bigger: 29 or g?
g
Let c be 210/(-12)*((-304)/(-56) - 6). Is 16 smaller than c?
False
Let o be 1*((-8)/(-4) - 2644/(-12)). Let f = o - 225. Are -2 and f non-equal?
True
Let w = 813 + -808. Suppose -w*u - 3 = 4*v - 8*v, 4*v - 5 = 3*u. Which is bigger: -16 or v?
v
Suppose 14742 + 21206 = 86*z. Let n = 112 + 304. Is z at most n?
False
Suppose 0 = 5*g - 6 + 1. Let h = -65975/182248 - 27/16568. Is g != h?
True
Let p = -2917.93 - -2918. Are p and 10/3 equal?
False
Let o = 143/58767 - 51427787/340848600. Let k = o + 9/200. Suppose -2*z - 2*y + 4 = 0, -12 = -4*z - 5*y - 3. Is k smaller than z?
True
Let b(q) = -6*q + 10. Let g be b(12). Let x = g - -61. Let w be (x*24/42)/(20/(-14)). Which is bigger: 1/27 or w?
w
Let j = -420 + 460.6. Let v = j - 54.6. Are v and 0.18 nonequal?
True
Let h = -2 + 7/3. Let g = -2519.39 - -2494.39. Is g less than h?
True
Suppose 1 = s + 5*z, 18*s + 3*z - 1 = 17*s. Let t be 1/(2/((-8)/82)). Which is bigger: t or s?
s
Suppose 4*b - 411 = -5*y, b - 3*y + 16 = 123. Let z = b - 69. Let q(d) = d**3 - 6*d**2 - d - 8. Let f be q(7). Is f smaller than z?
True
Let w be (-1)/(-1 + -2 + 2). Let g be w/((810/(-12))/(-5)). Which is smaller: -1 or g?
-1
Let v be 2/(-6) + (8835/33108)/(3/4). Which is greater: -1 or v?
v
Let o = 0.02 + 1.87. Let x = 13.91 + o. Which is greater: x or 1/4?
x
Let b = -18.538 - -18.638. Which is bigger: 3400 or b?
3400
Let x = -100/21 - 382/7. Let o be ((-40)/6)/(7/63). Let j = o - x. Does 2.8 = j?
False
Let x be ((-1)/(-5))/(2/(-6)). Suppose -j - 45 = -6*j. Suppose 2*y = -5*k - j, y - 12*k + 4 = -15*k. Which is smaller: x or y?
y
Let s = 102 - 239. Is s greater than -7/5?
False
Suppose -32*f + 2*i + 2394 = -28*f, -17*f + 10212 = -i. Which is smaller: f or 597?
597
Let o be (-3)/5 + (-336)/(-10). Suppose 9*q + o + 3 = 0. Let z be 1*(4/16 + 13/q). Is z greater than -3?
False
Let n be ((-190491)/(-6))/(-7)*95/(-190). Is n != 2268?
True
Suppose -13*r + 1 - 1 = -19*r. Which is bigger: r or -615.9?
r
Suppose 78 = 3*q - 351. Let m be 6/8 + (-4488)/(-32). Is q bigger than m?
True
Let k = 0.186 + 0.32. Let s = 0.426 - k. Which is smaller: s or 2/5?
s
Let s be 4/8*42/1 + 1. Let h = 27 - s. Let o be (-4 - -1) + h - 150/39. Is o > -2?
True
Suppose -3*r + 213 = 3*j, -r - 361 = j - 6*j. Let d be (-6)/(-21) + j/42. Let y be ((11/6)/(-1))/(6/(-9)). Which is smaller: y or d?
d
Let m(l) = 7*l**2 + 2. Let f be m(3). Suppose 3*o + f = -40. Suppose -5*g - 84 = 3*i, 9*g - 564 = 17*i + 8*g. Is i at most as big as o?
False
Let y = 18.124 + 18102.876. Is -2/5 greater than or equal to y?
False
Let s = -379 - -599. Let b = s - 325. Which is smaller: b or -103?
b
Let f = -428 - -404.9. Let v = -24 - f. Which is smaller: -0.4 or v?
v
Suppose -12*p + 19*p = -602. Let r = p - -83. Let d be -3 - r/(-4)*(-3 - 1). Which is smaller: d or -1/8?
-1/8
Let y = -157.12 - -157.033. Is -35 > y?
False
Let j = -4158 + 4164. Let v be -2 - -16*(-1)/(-7). Which is greater: j or v?
j
Let p = 396 - -703. Let h be p/35 + 2/(-15)*3. Is 29 < h?
True
Suppose 8*x = -0*x. Suppose -3*b + 10 - 7 = x. Let l = -45/4 - -145/12. Is b at least l?
Tru