d**2 + 4*d + 3. Let q be u(8). Is q less than -30?
False
Let g be (-6)/(-10) + (-74)/90. Let o = 18 + -18. Is g at most o?
True
Let v be (-2)/(-1 - 0) - -6. Suppose -5*g + 2*x = -v, 12 = -g + 3*g - 3*x. Suppose p + 2 = 1. Is g less than p?
False
Let o(j) = j**2 + 7*j - 6. Let w be o(-8). Let q = w + -7. Is -5 at least q?
True
Suppose -4*d = -d. Let o be (1/17)/((-2)/(-4)). Which is greater: o or d?
o
Suppose c - 5 + 1 = 0. Suppose 5*m - 21 = c. Let k be (6/15)/((-9)/m). Which is greater: -1 or k?
k
Suppose 3*u - u = 0. Is -2/15 >= u?
False
Let v be 5/3*4/(-5). Is -2 at most as big as v?
True
Let f = -24 + 24. Is 2/3 less than or equal to f?
False
Let c = -180 + 2521/14. Which is smaller: c or -1?
-1
Suppose -3*f + 0*f - 12 = 0. Let v(o) = 4*o - 1. Let x be v(-1). Which is smaller: x or f?
x
Let p(u) = u**2 - 8*u + 4. Let r be p(8). Is r > 4?
False
Suppose 0 = 2*r + 1 - 7, -r + 78 = -5*y. Is -18 <= y?
True
Let s = 1/30 + -8/15. Let v(x) = -x + 3. Let b be v(4). Is b > s?
False
Suppose s + 4 = 3*s. Suppose -g + s = -3. Let r be 1 - 6/(-1) - 1. Is g greater than r?
False
Let z = 62/9 - 6. Let u = z + -50/63. Is -1 greater than or equal to u?
False
Let g = -50 - -39. Is -10 < g?
False
Suppose -23 = -t + 4*s, s + 1 + 7 = t. Suppose 0*v + t = 3*v. Which is bigger: v or 2?
2
Let h = -22 - -8. Let k = h + 14. Is 12 at least k?
True
Let p = 146 - 1604/11. Suppose -3*a - 16 = -7*a. Suppose -4*n + 12 = -2*x + 4*x, -12 = -5*x - a*n. Which is bigger: x or p?
p
Let a be (20/(-25))/((-4)/70). Let p be (-8)/(-12) - a/6. Which is smaller: -2 or p?
-2
Suppose 0 = -0*f + 2*f - 10. Is f smaller than 6?
True
Let k be 8/6*1 + -2. Is k <= -1?
False
Suppose 5*k - 37 = d + 20, 61 = 5*k - 3*d. Suppose -2*a = 5*t + 12, 45 = 4*a - 3*t + 17. Suppose 2*i + r + a = 0, -5*r = 3*i + k + 9. Are 0 and i unequal?
False
Let j(v) = 5*v - 2. Let q = -7 + 5. Let i be j(q). Does -11 = i?
False
Suppose 39 = 4*k - k. Is k smaller than 11?
False
Let l = 59/3 - 20. Which is smaller: l or 1?
l
Let r = 12 - 0. Let j = -10 + r. Is 0.06 at least j?
False
Let r = 84 + -83. Which is greater: r or -4/17?
r
Let q = -0.4 + 9.4. Let k = q - 5. Let v = 21 + -22. Is v greater than or equal to k?
False
Let b be 1/(-3)*279/6. Let h = 16 + b. Which is smaller: 0 or h?
0
Suppose 2*u + 8 = 0, g + u - 4*u - 38 = 0. Is g at least as big as 27?
False
Let o(c) = 4*c + 2 - 6*c + 1. Let l be o(2). Which is bigger: -3 or l?
l
Suppose r - 67 = -68. Do -7/4 and r have the same value?
False
Suppose 2*a - 26 = -3*y, -a + 4 + 12 = 2*y. Suppose y = i + 2*i. Suppose 0 - i = -2*t. Is t at most as big as 1?
True
Let h = 1/2 + 0. Do h and 1 have different values?
True
Let h be 286/(-556) - (66/(-12))/11. Is -1 equal to h?
False
Let x = -2 + 0. Let l be (6/4)/((-372)/16). Let s = l - 56/93. Is s equal to x?
False
Let d be (4 + 1)*(-1)/1. Let o = d - -4. Do o and 0 have the same value?
False
Suppose 0*f + 10 = -5*f. Let o = f + 1. Is 0 smaller than o?
False
Let n = 6.04 + -6. Let z = -0.01 - n. Let h = -0.05 - z. Is h greater than 1/4?
False
Let t be 4/10*1/2. Let c(y) = y**2 + 6*y - 7. Suppose -20 = -5*b, -2*q + 3*q = 2*b - 15. Let v be c(q). Which is smaller: t or v?
v
Let b = -11955/17 + 703. Is 0 > b?
True
Let w = 113/1505 - 2/43. Is 1 at least as big as w?
True
Suppose -4*t = -5*d + t, -2*d = -3*t + 5. Let l(c) = -c**2 - 7*c + 7. Let m be l(-5). Suppose -v = -2*u + d, 5*u = v - 3*v + m. Is 0 less than v?
True
Let x(o) = -o. Let w be x(-14). Suppose -a + 4 = -r, -w + 2 = -2*r - 2*a. Do 1/2 and r have the same value?
False
Suppose 4*t = 6*t. Is 2/7 not equal to t?
True
Suppose 0 = -2*g - g - 3. Let x = g - -5. Which is smaller: -0.1 or x?
-0.1
Suppose -2*b = -q - 3 - 1, b - 5*q = -7. Suppose 0 = -5*s + b*w + 17, -w - 1 = -s + 4*s. Do -1/11 and s have the same value?
False
Let d(l) = l**3 + 7*l**2 - 6*l + 16. Let a be d(-8). Which is smaller: 18/19 or a?
a
Let s = 6 - 17. Let m be 4*s + 6/3. Let t = 251/6 + m. Which is bigger: 1 or t?
1
Let h = -8/47 - -506/3525. Is h at least -3?
True
Let a = 10 + -15. Suppose -h + 2*h = p + 3, -3*h = 2*p - 9. Suppose -2*b + p*b = -4*t + 12, 2*b - 2*t = -6. Do b and a have the same value?
False
Let n be ((-1)/3)/(14/(-126)). Suppose x - 3*u - 4 = -u, 4*u + 12 = 3*x. Is n < x?
True
Suppose -2*o = -n - 2, 2*o - 6*o + 4 = -3*n. Which is smaller: o or -2/11?
-2/11
Let b = 2.039 - 0.039. Let y be -2 - 9/(-8)*2. Is b > y?
True
Let f = -5 + 5. Let u = 2/19 - 56/171. Which is smaller: u or f?
u
Suppose -f - 3*x + 15 = 4*f, 5*x - 3 = -f. Suppose 0 = -2*o + f*o - 6. Which is smaller: 7 or o?
o
Let v(d) be the second derivative of d**5/20 - d**4/2 + 2*d**3/3 - 3*d**2 - d. Let y be v(6). Let w be y/8 - (-2 + 4). Which is smaller: 2/7 or w?
w
Suppose -t + 11 = -2*x + x, 0 = t + 1. Let i be x/(-10)*(9 - 4). Let v = 2 - i. Which is smaller: 2 or v?
v
Suppose 4*h = 3*y - 39, -2*h = -h + 5*y + 27. Let n be (-64)/h - (-1)/(-3). Suppose l = 6*l - n. Does 4/7 = l?
False
Suppose 29 + 126 = -4*f - 5*n, -131 = 4*f - 3*n. Are -35 and f nonequal?
False
Let g be ((-8)/84)/((-2)/9). Suppose -2 = -2*s - 0*s. Is s not equal to g?
True
Let v = 98 + -96. Let h(g) = 5*g**3 - 2*g + 1. Let i be h(1). Suppose v*w + 0*w + 4 = 2*u, i*u = 2*w + 10. Are w and -1/7 equal?
False
Let p = 1 - 0.5. Let i = 1.5 + p. Is i at most as big as 2?
True
Let h = 9 - 5. Suppose h*i - 3*m = 15, m = -i + 6*m + 8. Let o(t) = t + 6. Let f be o(-3). Is i at most f?
True
Let a = -1/79 - 155/237. Let s(f) = f**2 - 10*f. Let r be s(9). Are r and a unequal?
True
Let w be (2/(-4))/(3/6). Let k be (0 - (-6)/(-18))*-3. Is w > k?
False
Let m = -0.079 - 0.021. Which is bigger: m or -0.056?
-0.056
Let q(x) = x - 23. Let l be q(3). Which is smaller: l or -18?
l
Let m(j) = j**2 - 7*j + 12. Let t be m(4). Which is smaller: 28 or t?
t
Let m be (2/(-20))/((-1)/2). Let h = 214 - 214.2. Which is greater: m or h?
m
Suppose -2*r - 16 = q - 6*q, 3*r = -2*q - 5. Let x be (-8)/(-3) + 3/9. Suppose x*i + m + 2 = 0, -4*i - 3*m + 4*m + q = 0. Which is bigger: i or 0.1?
0.1
Let x(y) = -y**3 - y**2 + y - 57. Let c be x(0). Let a be 6/(-9)*9/c. Is -1 < a?
True
Let b = -30 + 32. Suppose 0 = b*y - 5*y. Let g = -1003/9 - -111. Which is smaller: g or y?
g
Let o be (-3)/2 + (-27)/(-18). Let t be (-2)/6 + (o - 0). Let g be -1*1*(-6 + 5). Is g <= t?
False
Let b be -4*2/(-2 + -2). Is b at least 2/3?
True
Let f be 2 + -6 + 11 + -8. Is -5/3 at most as big as f?
True
Suppose 2*x = -2*x - 4. Let i = 1219/11 - 111. Is i equal to x?
False
Let l = -2.7 - -2.8. Which is smaller: 0.34 or l?
l
Suppose -1 + 5 = p. Suppose -2*m + 2 + 8 = 0. Suppose -m = -3*a + 10. Are p and a nonequal?
True
Let o(i) = i**2 - i + 3. Let d be o(4). Suppose d = -6*h + h. Let f(j) = -j**3 - 4*j**2 + 5*j - 4. Let k be f(-5). Is k < h?
True
Let w = 139 + -89. Let s = 51.04 - w. Let q = -0.04 + s. Is -0.1 at least q?
False
Suppose -d - 7 = -150. Let b = -24/2587 + -2599767/18109. Let l = d + b. Which is greater: l or 0?
0
Let p be -1*1 + (-276)/(-105). Let s = -5/206 - -2095/1442. Let l = p - s. Which is bigger: l or -1?
l
Let z be (-4)/78*(2 + 0). Is z bigger than 1?
False
Let q = -0.9 - -0.8. Let u = 2.9 - q. Which is smaller: 1 or u?
1
Let m be (-2 - -12)*(-8)/(-2). Suppose -41 = -w - 4*w - 4*c, 4*w = -5*c + m. Suppose 5*j + p = 4, -2*j + 2*p = j - w. Which is smaller: j or -1/3?
-1/3
Let k(c) = c**2 - 9*c - 1. Let s be k(9). Is s <= -26/11?
False
Let s(u) = -u**2 - u + 1. Let m(w) = -11*w**2 + 9*w - 4*w**3 - 1 + 9 + 5*w**3. Let n be m(10). Let v be s(n). Which is smaller: 0 or v?
v
Suppose -2*p + 18 = 6. Is p at least 5?
True
Let r = 32 + -22. Is r at most as big as 9?
False
Let o = -1 + 0. Let k = -19105 - -1432903/75. Let n = -2/75 - k. Is o smaller than n?
True
Let d = -10.6 - -12.6. Which is greater: 6/37 or d?
d
Let w be 28/(-36) - -2 - 1. Which is smaller: w or -1?
-1
Suppose 0 = -4*g - 5*r + 6, -12 = -3*r - 6. Which is smaller: g or -50?
-50
Let s = 20 + -17. Suppose 2 = t - 0*t. Suppose 2*q + t = 8. Is q less than or equal to s?
True
Let c be (-67)/69 + 2/3. Let d be 2/138*1*113. Let o = c + d. Which is greater: o or 1?
o
Suppose 3*s - 3 + 0 = 0. Suppose -d = -0*i - i + s, -d + 4*i - 10 = 0. Let p = -0.12 - -0.02. Do d and p have the same value?
False
Let n = 7 + -6. Let z be (3/(-16))/(2/4). Which 