 o or 5?
o
Let a(o) = o**2 - 13*o - 9. Let b be a(14). Suppose -x + 2*m = m + 2, -b*x - 3*m + 6 = 0. Let i be 25/(-10)*(-2)/(-4). Which is bigger: i or x?
x
Suppose 0 = -2*v + 4*j + 1 - 13, 0 = -3*v + 5*j - 13. Suppose 0*p = v*p. Which is bigger: p or 3/19?
3/19
Suppose 0*d + 5 = 5*d. Suppose -5*b - n + 7 = -d, 2 = -3*b - 4*n. Suppose -f - 11 = 4*a, -b*a - 1 - 2 = f. Are 1/2 and f unequal?
True
Let l be (9/(-294))/((-3)/(-4)). Let d be 184/(-294) - (1 - 2). Let g = l + d. Which is smaller: -1 or g?
-1
Let t(a) = a**3 + 4*a**2 - 4*a + 4. Let q(j) = j**2 + 7*j + 5. Let u be q(-5). Let w be t(u). Do -2 and w have different values?
True
Let y = 33 + -34. Which is bigger: y or 14?
14
Let n = 6/43 - 55/86. Let q = -19.5 - -16. Let u = -0.5 - q. Is u greater than n?
True
Suppose -3*l - o + 3*o = -748, 0 = 5*l - 2*o - 1240. Let a = l - 1727/7. Which is smaller: -2 or a?
-2
Let w be 19/(-4) - (-3)/4. Let o be (w/(2/(-1)))/4. Does o = 1?
False
Let i = -32 + 27. Which is bigger: i or -4?
-4
Let h(j) = -j**2 + 5*j + 1. Suppose 3*s = -5*p + 18, -3*s + 6 = -2*s + 4*p. Suppose -2*v + s = -4. Let n be h(v). Is 2 greater than n?
True
Suppose 4*x - 5*i = 61, 46 = 5*x - 2*x - 4*i. Are 14 and x non-equal?
False
Let d = -212029/149 - -1423. Which is bigger: -1 or d?
d
Let w(k) = 3*k. Let u be w(1). Suppose 2*m + 5*t + 30 = -u*m, m + 26 = -5*t. Let x(o) = -o**3 + 4*o**2 + 5*o - 2. Let i be x(5). Are m and i non-equal?
True
Let t = 8 - 5. Let d = t - 3. Which is smaller: -2/7 or d?
-2/7
Let a be 0/(-4 - -1 - -1). Let o be (0/1 - 1)*-2. Let y be (2/6)/(1/o). Is y bigger than a?
True
Let y = 12 + -6. Let v = -6 + y. Let k = 15/14 + -4/7. Is k < v?
False
Let z = 1.54 + 0.16. Let u = z + -2. Let v = -0.05 + -0.05. Which is bigger: u or v?
v
Let z(f) = -f**3 + 6*f**2 + 9*f - 5. Let g be z(7). Let d be (-1)/g + 2/(-9). Let v = 4 - 2. Which is smaller: v or d?
d
Suppose -17*d = -11*d. Which is smaller: d or 17?
d
Let p(b) = -b**3 + 3*b**2 + 2*b + 4. Suppose -2*y - 2*y = -16. Let q be p(y). Let k = q - -4. Do k and 1 have the same value?
False
Let u = 13 - 15. Is u > -1?
False
Let z(i) = -i**3 + 4*i**2 + 3. Let o be z(4). Let x be (4 - 4) + 13*2. Suppose b + 5*m + 17 = -b, 4*b - 2*m = x. Which is greater: b or o?
b
Suppose 4*f + f + 25 = 0. Let c be (-2 - f/2)*-14. Which is bigger: -8 or c?
c
Let z = -14 + 19. Suppose 0 = 2*l + z*o - 29, 2*o + 2*o - 12 = 4*l. Is 1 equal to l?
False
Let m be 2/(-8)*-4 - 69/15. Which is smaller: m or -3?
m
Let d(k) = k - 1. Let f be d(0). Let y be -3 + (-1 + -1)*f. Let h = -4 + 2. Is y at least as big as h?
True
Let p be (-85 - -4)*2/(-6). Let l = p + -55/2. Is 3 <= l?
False
Suppose 0 = 3*u + i + 9 - 46, 13 = 3*u - 5*i. Which is greater: u or 12?
12
Let c be (-13)/(-11) - (-1 - -2). Let y = 0.02 - -1.98. Which is bigger: y or c?
y
Let z(q) = q - 6. Let w be z(8). Suppose -4*u = -w + 10. Which is greater: -3 or u?
u
Suppose t = 3*c, 0 = 3*t - 2*c - 2 - 5. Suppose -l - g + 8 = -3*l, t*l = -3*g - 30. Let b = -6 - l. Which is smaller: 4/3 or b?
b
Let p = -2.01 - -0.01. Let l = 3 + p. Let w = -0.39 + 0.19. Which is greater: w or l?
l
Let v = 8 - 5. Let w(q) = -q**2 + q + 3. Let c be w(v). Let s = -2 - c. Which is greater: 1/5 or s?
s
Suppose 69 + 39 = -4*o. Let s = o - -61/2. Is 3 smaller than s?
True
Let n be 30/(-8)*16/(-6). Suppose 2 = z + 14. Let v = z + n. Are -4 and v equal?
False
Let z(b) = -2*b. Let u be z(1). Let v = 1 + -11. Let t = v - -11. Is u bigger than t?
False
Let c(o) = o**3 - o**2 - 4. Let l be c(0). Let p be l/14 + (-122)/14. Let v be ((p/(-12))/(-3))/(-1). Is 0.1 >= v?
False
Let h be (-19)/(-4) + (-1)/(-4). Suppose h*t - 5*s - 5 = 0, -2 = 4*t - s - 0. Let n = 657/5 + -131. Is n >= t?
True
Suppose 0 = 3*r + r + 8. Is r >= -2?
True
Let d(v) = -2*v**2 + 9*v + 10. Let l(i) = i**2 - 8*i - 9. Let f(w) = 2*d(w) + 3*l(w). Let a be f(-5). Let x = a - -6. Which is smaller: x or 5?
x
Suppose -10 - 3 = -s. Is 13 at least as big as s?
True
Suppose -3*t = 4*t + 21. Does t = 5/6?
False
Let p(o) be the third derivative of -o**4/24 + o**3/2 - 2*o**2. Let f be p(0). Suppose -2*i = d - 7*i + 6, 4*d - 26 = -5*i. Is d at least as big as f?
True
Let p be 2/(-14)*6/(-3). Which is smaller: -13 or p?
-13
Let u = 0.52 - -0.18. Let f = -0.7 + u. Is -0.3 < f?
True
Let y be (6/165)/(2/10). Let z = -18 - -18. Are y and z nonequal?
True
Suppose 26 = -t + 5*d, -2*d = -10 - 0. Suppose -r - 4*r = 15. Let g be ((r/(-3))/t)/(-2). Is g < -0.2?
False
Let j(u) = u**2 + 9*u + 3. Let x = -20 - -11. Let s be j(x). Let p be (-3*(s + -2))/1. Is p at least as big as 0?
False
Suppose -5*u + 7*u = 454. Let p = -3407/15 + u. Is 1 greater than p?
True
Let l(n) = n**2 + 6*n. Let q be l(-7). Let a = q - 11. Let g be a/3 - (6 - 6). Which is bigger: -2 or g?
g
Let o = -6 + 9. Let w = -1 + o. Is w at most as big as -1?
False
Let o = -67/253 + -2/253. Are -1/2 and o unequal?
True
Let g(c) = c + 12. Suppose -37 + 4 = 3*v. Let u be g(v). Are u and 2/41 nonequal?
True
Let b be ((-1)/3*0)/1. Suppose -6 = 3*z - b. Are z and -2 equal?
True
Let d be (116/126)/((-95)/12). Let o = 6/167 - 904/15865. Let g = d - o. Which is smaller: 1 or g?
g
Let a = 6 + -7. Let s(i) be the third derivative of -i**6/40 + i**5/60 + i**4/24 - 2*i**2. Let o be s(a). Which is greater: 2 or o?
o
Suppose -5*a = 2*d + 780, d + 740 = -d + 5*a. Let b be (-385)/d + -1 + 0. Let r = -71/380 - b. Which is bigger: r or -1/6?
-1/6
Suppose -2 = h - 4*x, -3*h + x - 23 = h. Let t(d) = 2*d + 6. Let q be t(h). Suppose -27 - 24 = 5*b + 4*m, 5*b + 23 = 3*m. Which is smaller: q or b?
b
Let k be (-24)/15 - 2/5. Let f be ((-4)/6)/(k/78). Let o be 6/15 + f/(-40). Is o > 2?
False
Let p = -23087/36 + 3344/9. Let b = p + 271. Which is smaller: b or 0?
0
Let q be (17/(-6))/(4/30). Let l = -1113/52 - q. Suppose -7*a - 10 + 3 = 0. Are a and l equal?
False
Let q = -646/89 + 99310/979. Let y = 94 - q. Which is greater: 1 or y?
1
Let p = -1933/9 + 215. Suppose 4*t - 4 = 4. Let l(h) = h - 2. Let r be l(t). Which is smaller: r or p?
r
Let k = -61.7 + 73.88. Let x = 0.18 - k. Which is bigger: 0 or x?
0
Suppose a + 9 = -g, 7*a + 2*g + 24 = 4*a. Let s be (-3)/a*0 - -3. Which is bigger: s or 2?
s
Let p = 5/2 + -89/36. Let i = -55/36 + p. Let f = -1.2 + 0.2. Which is greater: f or i?
f
Let a be 1 - (1 + 1/23). Let g(u) = -u**2 - 18*u - 82. Let p be g(-9). Which is bigger: p or a?
a
Let y be (-2 + 3)*1/(-1). Let t be y + (0 - 48/(-3)). Suppose -3*b + 0 + 3 = v, -5*v + t = -3*b. Which is smaller: 3/7 or b?
b
Let s(w) = -20*w**2 + 4*w + 3. Let y be s(-2). Let m = y + 681/8. Suppose -2*c + 5*f = 13, 3*c + 5 = 3*f - 1. Which is bigger: m or c?
c
Let r be 2/72 - 2/8. Let z be (105/14)/(6/(-25)). Let q = z + 31. Does q = r?
False
Let a = 16 + -10. Suppose -a = -5*d + 3*d. Do 3 and d have the same value?
True
Let t be (12/(-15))/((-7)/(-35)). Does -12 = t?
False
Suppose -s + 53 = -4*s - 2*z, -4*s - 72 = 4*z. Do s and 1 have different values?
True
Let h(c) = c**2 + 3*c - 5. Let f be h(-4). Let r be f - (2 + -8)/(-3). Is 1/4 at least r?
True
Let y be ((-6)/(-6))/(-1) - 2/(-2). Is 3/5 != y?
True
Suppose -7 = -3*k + n, 5 = 2*k - 2*n - 1. Let v(l) = -l**2 + 2. Let i be v(0). Suppose -o - p = -2*o, 5*p = -i*o. Which is greater: k or o?
k
Let o = 172 + -172. Is o at least -9.5?
True
Let i be ((-12)/8)/(1/(-2)). Suppose 0 = -i*l - 3*b + 3, 0*b = -2*l + 2*b - 6. Which is bigger: -2/11 or l?
-2/11
Let w(u) = 2*u**2 + 9*u + 8. Let q be w(-3). Is 2/89 > q?
True
Let h(f) = -f**3 - f**2 - 4. Suppose 0 = -3*a - 0*a. Let j be h(a). Let p = 143 - 148. Is p > j?
False
Suppose -2*p + n = 38, 0*p - 72 = 4*p - 4*n. Let s be ((-6)/(-5))/((-8)/p). Let u be s/(-24)*-17 - 2. Which is bigger: u or -1?
u
Suppose -5*h = 25, -a - 3 = 2*h + 6. Let o be (-10)/(-45) - (-34)/9. Which is greater: o or a?
o
Let t be 2/10 - 118/40. Is t greater than -2?
False
Suppose -5*u - 110 = -0*l + 3*l, -5*u - 110 = -3*l. Which is smaller: -43/2 or u?
u
Let p be ((-3)/(-13))/(15/(-10)). Which is greater: p or 0.1?
0.1
Let i = 0.9 + 0.7. Is i bigger than 2?
False
Suppose 0*w - 4*w = 8. Let r = 0.5 - 0.4. Which is bigger: r or w?
r
Let d = -80 + 76.1. Let o = d - -4. Let z = -0.2 + o. Is z < 1?
True
Let s = -1 + 2. Suppose -5*v - 2 - 8 = 0. Is v greater than s?
False
Let i(v) = -4*v**3 + 3*v**2 + 2*v