 = -4*o**3 - 6*o**2 + 2. Let k(s) = -s**3 - s**2 + 1. Let m(g) = 3*k(g) - y(g). Let a be (-1 + 2)*(-2 - 1). Let h be m(a). Which is smaller: 7/4 or h?
h
Let s = 34 - 33.95. Let v = -5.05 + s. Which is greater: 3 or v?
3
Suppose 18 = -2*y - 5*v, 0 = 3*y - 4*v + v - 15. Let d be 45/(-63) + y + 1. Let c be 0*(5 - 2)/3. Are c and d unequal?
True
Let h = 189 + -2081/11. Let q = 0.9 + -0.9. Which is smaller: h or q?
h
Let p be ((-6)/12)/(1/294). Is p at least 1/4?
False
Let z(b) = -b**2 - 5*b + 3. Let a be z(-5). Suppose -a = -0*q + q. Let y be 1 + (-2 - 3/q). Is -2/7 < y?
True
Let p be (4/6)/((-8)/(-1032)). Let n = p - 86. Which is bigger: 12/11 or n?
12/11
Let b(m) be the third derivative of 3*m**4/8 + 13*m**3/2 - 19*m**2 - 1. Let o be b(-17). Is -115 at least as big as o?
False
Let u = -38 - -48. Let x be 65/100 + (-4)/u. Is -45 < x?
True
Let k be 1 - 3/(9/(-42)). Let q = 436 - 436.1. Is q > k?
False
Suppose -s + 3*i + 55 = 0, -3*s - 3*i = -2*i - 195. Let q be s/(-14) - 60/140. Are q and -3 equal?
False
Let q be (-42)/63 + (-20)/(-33). Which is bigger: q or -1?
q
Let n = -6 + 3. Suppose 0 = 4*s + 6 + 6. Let y be s*(-1)/3*n. Do -4 and y have different values?
True
Suppose -15 = -5*a, -2*a = -3*l + 6*l + 48. Let v(p) = 19*p + 113. Let u be v(-7). Is u at most as big as l?
True
Let b(n) = 13*n**2 + 39*n + 31. Let w(c) = -7*c**2 - 20*c - 15. Let g(a) = 6*b(a) + 11*w(a). Let x be g(-12). Is x bigger than -3?
False
Suppose -4*x - 15 = y, 37 - 12 = 3*y - 2*x. Is 0.1 not equal to y?
True
Let q be 2/(-2) + -2 - -2. Let o be q + 63/15 + -2. Let z be (-1 - -2) + 0*(-5)/(-20). Is o at least z?
True
Let i be (-6 + 4)*((-33)/6)/1. Let f = 4 - i. Which is smaller: f or -6?
f
Suppose -6 = 7*x + 15. Let o be 117/(-180) - x/(-4) - -2. Which is smaller: 1 or o?
o
Let h(t) = 2*t**2 + 10*t + 4. Let y be h(-5). Suppose -a + 5*n - 13 + y = 0, -5*a = 5*n - 15. Which is bigger: 2.1 or a?
2.1
Let c(u) = 6*u - 7. Let q be c(-3). Let x = 10 + q. Let b be x*(-3 - (-65)/25). Is b less than or equal to 6?
True
Suppose 2*c + d = -905, c = 5*d + 21 - 457. Let k = c - -3152/7. Which is bigger: k or -1?
k
Suppose -47*m + 120 + 162 = 0. Is 0.51 < m?
True
Let f be 2 + (3 - -27)*1. Suppose 4*w - f = -4*l, 5*w = 2*l + 4*w - 25. Is l <= 45/4?
True
Let s = -71 + 256. Which is bigger: -0.1 or s?
s
Let r be ((-24)/(-15))/(12/30). Suppose 341 = r*w - 3*h, -409 = -5*w - h - h. Suppose l + w = -3*u - 3*l, 0 = u - l + 16. Are -20 and u non-equal?
True
Let a(z) = -z + 1. Let i be a(5). Let h be i/(-6)*(6 - 0). Let c = h - 4. Which is smaller: c or -1/8?
-1/8
Suppose -9*a - 4*a = -12*a. Which is greater: a or 5/34?
5/34
Let z(o) be the third derivative of -o**5/60 + o**4/4 + o**2. Let b be z(6). Let f = 15541 - 170961/11. Which is smaller: f or b?
f
Let w be (-1)/9 - (-568)/(-72). Let o be (-2 - (-368)/(-186)) + (w - -12). Is -1 at least as big as o?
False
Let l be 156/((-5)/(7 - 12)). Which is bigger: l or 155?
l
Let i = 190/561 - 1/187. Which is smaller: i or 15?
i
Let q(f) = -11*f**2 - 5 + 4*f**2 + f - f**3 - 12*f - 5. Let u be q(-6). Is 20 at most u?
True
Suppose -7 = -2*a - z, 2*z + z = -2*a - 3. Suppose 0 = -4*u - 30 + a. Let o be u/((-24)/(-20)) + 4. Which is bigger: o or -1/15?
-1/15
Let g(t) = t**2 - 3*t - 3. Let l be g(5). Let r = -189 - -58. Let w = r + 137. Which is smaller: l or w?
w
Suppose -j - 2 = 27. Let t = j + 62. Which is bigger: t or 32?
t
Let k = 14 + 42.8. Let a = 58 - k. Is a bigger than -1?
True
Suppose 11*c + 22 + 44 = 0. Let w(j) = 3*j**2 + j. Let b be w(1). Suppose b*o = -d - 8, 0 = 5*o + 5*d - 0 - 5. Which is greater: c or o?
o
Let a = -74.1 - -74. Are 17.1 and a nonequal?
True
Let c = 178 - 180. Is -36/7 >= c?
False
Suppose 3*z - 65 = 5*z + 3*j, 70 = -2*z - 4*j. Let r(u) = u**3 - 7*u**2 + 5*u - 1. Let f be r(5). Which is greater: f or z?
z
Suppose -237 = -3*b + 5*b + u, -4*b - 5*u - 483 = 0. Which is smaller: -119 or b?
-119
Let c(k) = -k - 1. Let l be c(-2). Let y(h) = h**3 + 10*h**2 + 15*h - 7. Let f be y(-8). Do f and l have different values?
False
Suppose 0 = 11*u - 1143 - 2410. Which is smaller: 322 or u?
322
Let w = 0.2 - 0.48. Let n = w - -0.01. Let u = n + -0.03. Is u at least as big as -2?
True
Suppose -5*k + 0*d = 4*d + 5, d + 2 = -2*k. Let j(q) = -q**2 - 16*q - 8. Let n be j(-15). Let x be 2/n - (-2 - 26/(-14)). Is x at least k?
True
Let s = -140 - -144. Let k = s + -4. Which is smaller: k or -1/6?
-1/6
Let t(m) = -2*m**3 - 4*m**2 + 5*m - 4. Suppose -3*w = -10*w - 28. Let l be t(w). Is l < 39?
False
Let w = -90 - -95. Suppose w*q = 2*b + 5, 0 = -6*b + 2*b - 20. Which is greater: q or 5/24?
5/24
Let i = -76 - -78. Let l(a) = a**2 - 13*a + 4. Let v be l(13). Which is bigger: i or v?
v
Suppose 0 = 11*c - 6*c + 10. Let i be c/(-2) + -14 - 4. Is i at most -17?
True
Let r = 15 + -12. Suppose 4*c - 12 = -3*z + 8, r*c = 2*z - 19. Which is bigger: z or 9?
9
Let q = -36 - -26. Let o = -81.1 + 104. Let v = o - 23. Is v smaller than q?
False
Let h = -34.1 - -33.9. Does h = 1.59?
False
Let k = 194.7 + -194.61. Are 2/281 and k equal?
False
Suppose -g + 27 = 4*p, 2*g = 3*p + 7*g - 16. Which is greater: p or -1?
p
Suppose -3*p - 4*u - 14 = 0, -22 = p + 3*p + 2*u. Let c be (-4)/p + (-2)/3. Let v = 2/49 + 131/392. Which is bigger: c or v?
v
Suppose 0 = -5*m - 2*s + 40 + 65, m - 33 = 2*s. Let a = m - 15. Let n be (-1 - -2)/((-76)/a). Which is smaller: 1 or n?
n
Suppose -26 = 2*g - 70. Suppose 0 = 25*s - g*s - 15. Are 5 and s equal?
True
Suppose 0 = 5*l - 3*p + 244 + 5, -4*l - 5*p - 214 = 0. Which is smaller: -49 or l?
l
Let m(d) = -d**3 + 3*d**2 + 4*d + 3. Let v be m(4). Suppose -v*g + 2 = -1. Let s be (-1)/9*(-24 + 23). Which is smaller: s or g?
s
Let x be (-4)/(3 + 47/(-16)). Let o be x/273 - 10/(-35). Which is bigger: o or 1?
1
Let t = 85.792 - -0.208. Let i = -81 + t. Do i and 4 have the same value?
False
Let i = 816 + -2356/3. Let m = 266/9 - i. Is m at most as big as 0?
True
Let n = 67 - 25. Let x = -24 + n. Are 19 and x nonequal?
True
Let u = 85427/3 + -27834. Let y = -649 + u. Is -7 at most as big as y?
False
Let f = 7.7 - 4.3. Let d = f + -3.5. Let z = 10 + -6. Is d <= z?
True
Let y(i) = -1 - 13*i + 2*i**2 - 2 + 3 - 2. Let a be y(7). Let b(o) = 8*o**2 - 1. Let r be b(-1). Are a and r equal?
False
Suppose 0 = -2*w + 2*b - 16, -b + 25 = -4*w + 2. Let h = -3 - w. Let u = 59/24 + 1/24. Is u smaller than h?
False
Let m = -66857031016523/76020 + 879466338. Let x = 3/724 + m. Are 1 and x unequal?
True
Let g = 0.5 - 0.5. Let y = g - 23. Which is smaller: y or -1?
y
Let q = 19 - 15. Suppose 0*m = -2*m - q. Let w be (6/10)/(m/(-10)). Is w less than 0?
False
Let r = 1530 + -1511. Let d be (6/9)/((-4)/(-2)). Are d and r unequal?
True
Let a(c) = 7*c - 13*c + 7*c. Let b be a(4). Suppose -4*g - 8 = 4*r, 3*r - b*g + 1 = 9. Is r at least as big as 0?
True
Suppose 0 = -4*y + 5*i - 9 - 0, 4*i = -12. Let t be (7 + -1)*y/(-9). Suppose b + t = -b. Which is bigger: b or -1?
-1
Suppose 4*h - 10 = -h. Let a(l) = l**3 - 5*l**2 + 3*l + 1. Let d be a(3). Let n be 4/(-12) - d/6. Is n greater than h?
False
Let y = 78 + -200. Which is greater: -121 or y?
-121
Let y = -1256 - -1277.3. Which is greater: 2 or y?
y
Let a(o) = -30*o**2 + 56*o**2 - 4 - 27*o**2 - 4*o. Let l be a(-1). Let t be (2/(-4))/(1/6). Is t at most as big as l?
True
Let t = -131 + 143. Is 32/3 greater than t?
False
Suppose 28*a - 7849 + 2333 = 0. Which is bigger: 198 or a?
198
Let a be (-2442)/(-77) + 2/7. Let j = a + -32. Is j > -16?
True
Let q be ((-2)/(-6))/((-4)/6). Let h = -0.006 + 4.806. Let o = -0.8 + h. Is o <= q?
False
Let n be 16/(-2) + 5 + -5. Let s be 18/(-8)*n/(-12). Are s and 1 non-equal?
True
Suppose 36*s + 9*s = 7515. Is 168 at least s?
True
Let x(k) = 20*k**3 + 2*k**2 - 3*k + 1. Let g be x(1). Suppose 4*w - 8 + g = 0. Which is smaller: w or -5?
-5
Let a = -35 - -35.2. Let v = -0.3 + 0. Let r = v + 0.4. Which is smaller: a or r?
r
Let l = 1.9 + -2. Let i(c) = c**2 + 6*c - 1. Let z be i(7). Let p be (-8)/(-126) - (-20)/z. Is l at most as big as p?
True
Suppose 2 = 368*z - 366*z. Which is greater: z or 19/31?
z
Suppose 14*i - 1862 = -5*i. Is i greater than 98?
False
Suppose 6*s = 4*s + 2. Let h be s + -5 - (-261)/18. Is 10 greater than h?
False
Let b = 469988/51 - 9216. Let r = -2/561 - b. Which is greater: 3 