1. Let y be h(-14). Let d be (-1)/(-2)*(y + -17). Which is smaller: d or b?
b
Suppose 2*t - 9 = -21. Let o be 4/(-8)*104/t. Which is smaller: 9 or o?
o
Let u = 228.02 - 233. Let n = -0.12 - -0.14. Let z = n - u. Is 2/3 greater than z?
False
Let m be 1*-2 - 63/(-35). Let n = -16 + 17. Let o = n + 0. Which is smaller: m or o?
m
Suppose 0 = -5*q + 7 + 13. Suppose q*g - 22 = 2*k, -3*g + 3 = -4*k - 1. Suppose 2*l - g*l = 0. Is l smaller than -8/7?
False
Let h = -68.7 - 15.3. Let q = -83.61 - h. Is q at most as big as 2/5?
True
Let a be ((-50)/(-4))/((-30)/(-45)). Let m = a - 7133/380. Which is smaller: m or -1?
-1
Let j = 3 - -93. Let v be (3/2)/((-36)/j). Is -2 at least as big as v?
True
Let g be -1 - -1 - (-9)/9. Which is bigger: 5/44 or g?
g
Let p(i) = i**3 - 3*i**2 - 5*i + 6. Let j be p(4). Suppose m = -j + 5. Suppose 0 = -5*s + 4*s + 4*u + 8, 4*u = -4*s + 12. Which is greater: m or s?
s
Let u = 252 + -298. Suppose 6*t - 3*t - 3*p + 150 = 0, 2*p - 145 = 3*t. Does u = t?
False
Let h be (-1746)/(-987) - 120/280. Is h less than 0?
False
Suppose -8 = -7*q + 6. Let p = 11/51 + 229/357. Do q and p have the same value?
False
Let k be ((-320)/(-2160))/(1/6). Let w be 7*1*6/7. Suppose i = w*i - 5. Which is greater: k or i?
i
Suppose -l - 74 = -5*l + 3*f, 2*l - 28 = -3*f. Does 20 = l?
False
Let b = 55 - 54.975. Let v = b - 0.525. Which is smaller: 2 or v?
v
Let q be (86*1)/((-113)/452). Is q greater than or equal to -343?
False
Suppose 2*p + 24 = 2*h + 2*h, -44 = 4*p - 4*h. Let m be 14/(-42) - p/(-6). Which is smaller: -6 or m?
-6
Let g(i) = -i - 5. Let x be g(-7). Let u = 144 + -575/4. Which is smaller: u or x?
u
Suppose -612*t + 614*t = -290. Is t greater than -142?
False
Let t = 0.39 - 2.99. Let x = 3.6 + t. Are x and -5 nonequal?
True
Suppose -4*j = -4*x + 84, 5*x - 2*j - 59 - 55 = 0. Suppose -2*n = 2*k + x, -2*n - 3*k = 5 + 24. Let y = n - -6. Which is smaller: -2/31 or y?
y
Let i = 38 + -40. Let g be (-24)/(-9)*(-6)/(-1). Let z be ((-3)/(-2))/((-22)/g). Is z bigger than i?
True
Let q(c) = c + 17. Let r be q(12). Is r < 30?
True
Let v = 86 - 52. Let a = -27 + v. Suppose -x = -0 - 6. Which is smaller: x or a?
x
Suppose -2*z - 24 = 2*z. Let o = 0.87 - 0.37. Is z greater than o?
False
Let h(u) = -u**3 + 6*u**2 + u - 4. Let n be h(6). Suppose -40 = 3*m + 4*j - 0*j, -n*m - 20 = j. Is -7 at least m?
True
Let j = 23 + -21. Let g = -69/4 + 18. Which is greater: g or j?
j
Let q(j) = 4*j - 27. Let h be q(14). Which is smaller: h or 30?
h
Let z = -0.03 + 0. Let c = -2.67 - -1.64. Let d = z - c. Are 4 and d nonequal?
True
Let t = 80/3 + -26. Let q = 0.101 - -5.999. Let i = 0.9 + q. Which is greater: i or t?
i
Suppose 4*o - 4 = -28. Let j be (6/28)/(o/(-8)). Is -7/2 bigger than j?
False
Suppose -14*a = -30*a - 2592. Which is bigger: -160 or a?
-160
Let u(s) = s**3 - 3*s**2 + 3. Let w be u(2). Is -1/78 <= w?
False
Suppose 0 = 25*i - 21*i. Is i at least as big as 1/163?
False
Let i(o) = -4 - 1 - 11*o + 13*o + 6. Let s be i(-8). Is -13 != s?
True
Let r(k) = -2*k**3 - 11*k**2 - 6*k - 3. Let s be r(-5). Let u be s/(3/(-9)*-3). Is -2 greater than or equal to u?
False
Suppose -2*a + 10 = -0*a, -a + 14 = -3*l. Let q = l - -2. Let u be (-9)/((-3078)/(-40)) + 46/207. Is u <= q?
False
Let a be 20/2*(-1)/(-108)*6. Is a not equal to 2?
True
Let n(i) = i**3 + 31*i**2 - 74*i + 238. Let k be n(-33). Is 501 equal to k?
False
Let p = 1/542 - 4347/5962. Let i be 28/4 - (-4 - -13). Is p at least as big as i?
True
Let c(r) = -r**3 + 6*r**2 - 6*r + 6. Let g be c(5). Suppose -6 = m - g. Which is smaller: m or 0?
m
Let n be 5 + -17*2155/7535. Let a be (268/(-137))/(-1) - 2. Let i = n - a. Is 0 bigger than i?
False
Let h(t) = -t**3 + 3*t**2 + 3*t - 1. Suppose 30 - 6 = 4*l + 4*s, l + 3 = 2*s. Let p be h(l). Is p greater than 8?
False
Let r(y) = -16*y - 222. Let u be r(-14). Does 33/29 = u?
False
Let c = -49 + 8. Let a = 409/10 + c. Which is smaller: 1 or a?
a
Suppose -28*y + 3 = -27*y. Let k(j) = 3*j**3 - 3*j + 5. Let o be k(y). Is 77 less than or equal to o?
True
Let v be ((-5)/10)/(3/(-30)). Suppose 4*d = -v*w + 17, -w + 0*w - 1 = 3*d. Suppose -2*h - 3*g + 2*g = 7, -5*h + 2 = -4*g. Does h = d?
True
Let r(o) = -o**3 + 11*o**2 - 12*o + 20. Let s be r(10). Which is bigger: s or 2/739?
2/739
Let r = 4545/2 - 2340. Suppose -2*c - 44 = -172. Let a = c + r. Is 2/7 <= a?
False
Let w(t) = -374*t + 2. Let o be w(-2). Let z = o + -12005/16. Which is smaller: 0 or z?
z
Let p be 69/(-92)*(-168)/657. Which is smaller: p or -1?
-1
Let p = 2 - -2. Let v = -0.202 - -5.202. Is p >= v?
False
Let s = 1288/7205 - -2/655. Let l(f) = -f**2 + 38*f + 80. Let o be l(40). Which is smaller: s or o?
o
Let k = 0.2 + -0.8. Let b = k - 2.4. Let w = 16 + -15. Is b not equal to w?
True
Let a = -0.033 + -28.967. Which is greater: 4 or a?
4
Let o = 4 - -4. Let h(t) = -t**3 + 5*t**2 + 2*t - 5. Let b be h(5). Suppose -5*i - 4 - 51 = -5*y, 3*y + 4*i = b. Which is bigger: y or o?
o
Let x be 8*((-3)/2 + 2). Suppose 4*r - 48 = -x*j, 0 = -j + 5*j + 5*r - 49. Which is bigger: 2 or j?
j
Let j = -7 - -6. Let r = 10 + -20. Let q = r + 9.6. Is j bigger than q?
False
Suppose -6 = -4*s + 2. Let i = -45422894/119 - -381702. Let r = 80/17 + i. Which is greater: r or s?
s
Let i be (78/(-7))/((-78)/273). Which is smaller: i or 44?
i
Let h = 0.1 + 0.1. Let g(m) = 4*m**3 + m**2 - 2*m + 1. Let p be g(1). Suppose -3*k = -p*y - 2*k - 12, 24 = -4*y + 4*k. Is h at most y?
False
Let n(c) be the third derivative of c**5/60 - 7*c**4/24 + c**3/6 + c**2. Let p be n(7). Which is smaller: -1/13 or p?
-1/13
Let j = -6.4 - -3.4. Let s = 3.03 + j. Let a(h) = -h**3 + 5*h**2. Let m be a(5). Do m and s have the same value?
False
Let z = -534 - -1580/3. Suppose -a - 5*x + 4 = -8*x, 2*a + 2*x = -24. Which is smaller: z or a?
a
Let t = -63 + 59. Is t bigger than 2/33?
False
Let a be 4 + (-308)/189 - -1 - 3. Is 1 greater than a?
True
Let h = 8 - 12. Suppose y + 15 = -5*i + 40, -i - 16 = -4*y. Suppose 0 = j + i*j - 10, 2*v = 3*j - 8. Is v >= h?
True
Let d(y) = -2*y**2 - 2*y. Let b be d(-2). Let m be -1 + 1/3 + 14/3. Suppose 5*p = -2*j + m, 14 + 9 = -5*j + 4*p. Which is smaller: b or j?
b
Suppose 54*c + 45 = 39*c. Which is smaller: c or -29/18?
c
Let r be (8/308)/((-180)/84). Let o be (-1*(3 + -3))/2. Is o equal to r?
False
Let w be (-20)/2110*1/(-3). Is w at least as big as 1?
False
Let g be (-12)/(-48) + 62/8. Suppose 0 = -3*k + k - g. Let x(a) = a**3 + 5*a**2 + 3*a - 5. Let s be x(k). Are s and 0 nonequal?
True
Let x = 0 - 3. Let q = 25.165 - -0.035. Let y = 25 - q. Do y and x have the same value?
False
Let d be -2*((-18)/38)/3. Let w(v) = 6*v - 6. Let y be 1/2 - (5/(-10) + 0). Let i be w(y). Which is smaller: d or i?
i
Let q = -529 - -522. Let y be ((-2)/(-10))/(4/(-10)). Which is smaller: y or q?
q
Let n(k) = -k**2 - 8*k + 21. Let f be n(-11). Let d = f - -19. Which is greater: 9 or d?
9
Let q = 145.9 + -148.9. Which is bigger: -228 or q?
q
Let x = 245 + -243. Which is smaller: x or 67?
x
Let g(i) = 3*i**3 + 4*i**2 + 3*i - 1. Let d be g(-2). Is -72/5 bigger than d?
True
Suppose 6*b = 5*b - 89. Let a be b/(-5) - (-4)/20. Let c be (3/2 + -2)*a. Is -1 >= c?
True
Let x = 453/2 + -239. Is 3/7 at most x?
False
Let w = 160/3 - 54. Is 13 less than w?
False
Let w = -6 - 0. Let j be 12/22*2/w. Let p = -32/55 - j. Is p not equal to -0.03?
True
Let v = -24 + 33. Let z = -10 + v. Is -4 <= z?
True
Let x = 113.5 + -113.5. Which is greater: -80/9 or x?
x
Let k(m) = -m**2 + 23*m - 129. Let i be k(13). Is i < 5/47?
False
Let a be -12 - (8 + (-4 - -2)). Let b be (-38)/(-4)*1*-2. Is a < b?
False
Suppose 0 = -3*p + 5*v + 107, -4*p - p + 5*v + 165 = 0. Suppose -5*j + 2*s + 119 = 0, -2*j - p + 85 = 2*s. Are 24 and j non-equal?
True
Let v = -181.098 - -181. Is v greater than 1?
False
Let g = 2 - -2. Suppose -3*b + 0*q - 4*q - 16 = 0, 4*b - 2*q = -14. Is b bigger than g?
False
Let u(z) = z**3 - 6*z**2 - 6*z - 6. Let y(b) = 2*b**2 + 2*b + 3. Let g be y(-2). Let s be u(g). Let r = 2 - s. Which is smaller: 4/3 or r?
r
Suppose 6*t - o = 10*t - 97, 4*o + 116 = 5*t. Suppose -15*d + 72 = -t*d. Suppose 8 = -3*q - 16. Is d bigger than q?
False
Suppose -13 = -3*y + 23. Let f = 13 - y. Suppose 0 = 5*w + 6 - f. Which is smaller: 2/21 or w?
w
Let a = -0.02 - 15.98. Suppose -2*h - c - 14 + 7 