2
Let d(q) = q - 10. Let v be d(8). Let h be 0/(6/2 + v). Suppose n + 5*b = -20, 0 = 3*n - b - 4 - h. Are 1/17 and n equal?
False
Let m = 0.2 - -0.3. Let j = 15 + -15.1. Let g = j - m. Does 0.1 = g?
False
Suppose 0 = -5*p - a - 3361, 3*p + 0*a = a - 2015. Let y be (5178/54)/((-1)/(-7)). Let z = p + y. Is -2 at most as big as z?
True
Suppose 0 = 4*q - q + 3*v - 33, 0 = -3*q - 5*v + 27. Let n = 618 + -608. Do q and n have different values?
True
Let j(q) = -10*q - 16. Let l be j(-3). Let r(g) = g**2 - 13*g - 2. Let t be r(l). Which is greater: t or -1?
t
Let m = 72 + 49. Let d = -120 + m. Which is greater: d or 0?
d
Let x(t) = t**3 + 6*t**2 + t - 2. Let h be x(-6). Suppose 284*z - 347*z - 441 = 0. Is h smaller than z?
True
Let b = 767 - 768. Let n = 0.3 + -4.3. Which is greater: b or n?
b
Let a(k) = -2*k**2 - 10*k + 8. Let t be a(7). Are -160 and t nonequal?
False
Suppose 3*f + 17 = -37. Let w = f - -255/14. Let k = 2 - 1. Are k and w non-equal?
True
Suppose 0 = 7*j + 4*j + 6*j. Which is smaller: 20/29 or j?
j
Let o = -8.4 + 11.4. Which is greater: o or -32?
o
Let w = 14.1 - 14. Let c be -15*-16*(485/500 + -1). Which is greater: c or w?
w
Let c = -1414 - -1305. Which is bigger: -1 or c?
-1
Suppose 2 = 3*b - 4*b - 4*m, -5*b - m + 66 = 0. Let s(i) = -i**3 + 26*i**2 - 45*i - 59. Let w be s(24). Which is smaller: w or b?
w
Let b = -6 + 11. Suppose -y + 2*l = -2, 0*l = b*y + 2*l + 14. Suppose 2*f = -2*f. Which is smaller: f or y?
y
Let i be (-8)/(-40)*(-155894)/34. Let u = 917 + i. Is 1 smaller than u?
False
Let k = 292 - 292.2. Let n = 0 - -0.5. Is k bigger than n?
False
Suppose 0 = 4*d + 4*i + 172, -d + i - 33 = -3*i. Let s = -43 - d. Is s > 0?
False
Let b = 14 + -13. Let m(a) = -6*a - a**3 - b - 4 + 4 + 5*a + a**2. Let q be m(2). Which is smaller: q or -6?
q
Let o = -1.98 - 0.02. Let i = 1513.7 - 1514. Is o <= i?
True
Let t be ((-13)/(-5) - 2) + -141. Suppose -b = -0*b + 139. Let q = b - t. Which is smaller: q or -0.1?
-0.1
Let u be 1/(-5) + (-34)/(-45). Let i = 1433 - 1433. Which is greater: i or u?
u
Let o = -8 + 15. Let a = 6 - o. Let k = -2/369 + 413/8118. Which is greater: k or a?
k
Suppose 36*s + 7 + 29 = 0. Which is greater: -2/573 or s?
-2/573
Let n be (-987)/(-1128)*(-12)/(-98). Which is smaller: 0 or n?
0
Let u = 0.05 + -0.15. Let h = 10 + -10. Let i = -0.01 - h. Which is bigger: u or i?
i
Let b = 0.84 + -2.15. Is b equal to 0?
False
Let m be 0 + ((-60)/(-38))/(-3). Suppose 39*d - 3*r - 13 = 41*d, 4*r = 2*d - 8. Which is greater: d or m?
m
Let j = -13 + 22. Let m(o) = -4*o**2 + 4*o - 2. Let k(c) = 7*c**2 - 7*c + 4. Let y(g) = 3*k(g) + 5*m(g). Let w be y(-2). Which is bigger: j or w?
j
Let h = -1280 - -1279. Is -7/230 < h?
False
Let k = -2/3619 - 25329/7238. Let d = -3.2 + 3. Which is smaller: d or k?
k
Let b = 85 + -88. Let r be (42/9)/7 + 2/b. Which is smaller: r or 69?
r
Let v = 418/3 + -141. Let d(b) = 2*b**3 + 27*b**2 + 11*b - 28. Let t be d(-13). Do t and v have different values?
True
Let y = -3 - -2.86. Let k = -0.05 - y. Let j = k - 0.11. Is j != 2/5?
True
Let o = 64/53 - 15265/12773. Which is greater: -1 or o?
o
Let d(s) = -s**2 - s - 2. Let u be 4/(-18) - (-40)/18. Let k be d(u). Let o be 8/(48/(-42))*1. Which is smaller: o or k?
k
Let b(s) = -s**2 + 5*s + 2. Let y be b(6). Let c(p) = 6*p**2 - 1. Let k be c(1). Suppose 18 = -3*n - q, 6*n - k*q = 2*n - 5. Is y smaller than n?
False
Let h = 1038.18 + -1037. Which is bigger: h or -0.4?
h
Let f = 36.2 + -33. Let c = f + -0.2. Let g be 14 + (-5 + 4 - 5) - 5. Does c = g?
True
Suppose -r + 25 = 3*m + r, -42 = -5*m - 3*r. Is 1 <= m?
True
Let s = 0.55 - 0.05. Let n = -90 + 90. Suppose n = -a + 3*a - 2. Is a at least s?
True
Suppose 171*h = 169*h + 32. Is 140/9 less than or equal to h?
True
Let s be (-2)/5 + (-108)/(-300). Which is smaller: -1 or s?
-1
Let a = 0.6 + -0.3. Let w = 5 + -4.9. Does w = a?
False
Let v = -28/15 + 6/5. Let g = 6.56 - 6.007. Let h = g - 0.053. Which is greater: v or h?
h
Let z = 6 - 8. Let d = -414 - -242. Let v be 4/(-28) + d/(-28). Which is smaller: z or v?
z
Let y = -3.45 + -0.25. Which is bigger: 4 or y?
4
Let u = 2378905 - 482916135/203. Let k = u - 54/7. Is 1 greater than k?
True
Let y = 58 - 11. Let r = y + -45. Is -4 at most as big as r?
True
Let s(n) = -4 - n**2 - 5*n - 3 - 2*n**3 - 6*n**2 + 2*n**2. Let d be s(-3). Let u be (-5 + d)*(-2)/(-14). Are 3 and u equal?
False
Let r = 1623.997 + -1625. Which is bigger: 0 or r?
0
Let i = 19969/15433 - -7/671. Is 2 greater than i?
True
Let l be 3/(3 - 0)*-4. Let u = -35 - -32. Which is smaller: u or l?
l
Let d = -17 + -3. Let c be ((-44)/(-27))/(d/30). Is c less than -1?
True
Let q = 25/22 + 49/22. Let o = 203/44 - q. Which is smaller: 2 or o?
o
Let r = 264119/101 + -2615. Do r and 1 have different values?
True
Let u = 12 - 16. Let j be (-1 - 3/(-4))*u. Let v be 18/(-12) + j/2. Do 0 and v have different values?
True
Let p(n) be the third derivative of n**6/120 + n**5/30 + n**4/24 + n**3 - 6*n**2. Let z be p(0). Suppose 4*d = -4*o - 36, 3*d - o = -21 - z. Are -9 and d equal?
True
Let o = -2 + 2.07. Let y = o - 14.07. Let j = y + 15. Is j at least 14?
False
Let x(d) = -320*d**2 + 10*d - 4. Let j be x(1). Is -314 not equal to j?
False
Let y = -25 - -32. Let l = 0.03 + -0.02. Let f = l + -2.01. Which is greater: y or f?
y
Suppose -3*i - 5*p - 5 = 2*i, 4*p = 5*i + 50. Let d be (-6)/(-9) - 86/i. Suppose z + 4*z = -d. Which is smaller: z or -5?
-5
Let i = 31 + -20. Suppose 9*l = 143 + 28. Suppose l - i = 4*w. Is 2 at most w?
True
Let m(o) = o**3 - 11*o**2 + 11*o - 7. Let i be m(10). Suppose -i*d - 6 = -l, -d + 2 = -3*l + 12. Which is smaller: l or 1?
1
Let g = -521/196 - -20/49. Let i(a) = -a**3 - 2*a**2 + a - 2. Let c be i(-3). Suppose 2*l = c*l + 2. Is l at most g?
False
Let t = -16 - -16. Let k = 0 + t. Which is bigger: k or -2/31?
k
Suppose -9*z + 121 = -347. Let t = 35 - z. Is -19 greater than or equal to t?
False
Let o be ((-2)/8)/(3/(-6)). Is o < 2/107?
False
Let g = 113/4 + -28. Suppose 0 = 4*j + q + 17, 0 = j - 3*q - 0*q + 14. Let u(n) = n**3 + 6*n**2 + 6*n + 6. Let h be u(j). Is g != h?
True
Let p(k) = k**2 + 12*k - 17. Suppose -2*y + 326 = -5*r + 105, -8 = 4*y. Let v = r + 32. Let i be p(v). Is -5 > i?
False
Let v(p) = 27*p**2 + 3*p - 2. Let u be v(1). Let k be (-6)/(-7)*49/u. Is -6 bigger than k?
False
Suppose 0 = -150*r + 154*r - 20. Let a be (24/(-44))/3*-28. Is a > r?
True
Let a(w) = 3*w + 5. Let b be a(-5). Let y be (-2)/(6/(-3))*(-3 + 5). Which is bigger: y or b?
y
Let u(w) = -w**2 + 5*w - 4. Let l be u(4). Let o = 269/6497 + -6450177/25702132. Let p = -15/92 - o. Which is smaller: p or l?
l
Let c = 679.378 + -680. Which is greater: c or 0?
0
Let c be ((-78)/(-91))/((-1)/(-2 - -23)). Let p be (8/(-24))/(3/c*-2). Which is smaller: 1/152 or p?
p
Suppose -8*b - 8 = -6*b. Let d be ((-16)/6)/((-154)/(-198)). Is b < d?
True
Suppose 27*a + 120 = 35*a. Let m = 0 - -16. Which is smaller: a or m?
a
Let d = -1.3 + 1.57. Is 0.2 >= d?
False
Suppose -2*o - o + 6 = -i, 3*o = 2*i + 3. Let q be (0 + 1)/(-1) + o. Suppose -3*g + 3*k + 18 = -q*g, 3*k + 36 = 4*g. Is g at most 6?
True
Let u be 1 + 2 - (-420)/4. Let i be ((-87)/2)/(u/48). Let a = i - -115/6. Is a bigger than 1?
False
Suppose 0 = -3*d + 1 + 5. Let a be 6295/(-75) + 8/(-20). Let w = -1753/21 - a. Are d and w unequal?
True
Let o be (-4)/(-4)*-1 + 3. Suppose 2*v + o*p = -36, 5*p + 4 = -v - 22. Which is smaller: -3 or v?
v
Let g = -79 + 75.3. Let p = 3.5 + g. Which is greater: p or 0.1?
0.1
Suppose 498*n - 503*n - 785 = 0. Do n and -789/5 have the same value?
False
Let n(m) = 3*m**3 + 22*m**2 + 5*m - 5. Let p be n(-7). Let c = p + -52. Is c >= -44?
True
Let q = 21 - 29. Let w be q/28 + 304/(-14). Let n be (-4)/w + (-2)/11. Which is smaller: n or 8?
n
Let w = -3 + 3.2. Let s = 0.1 - w. Let i = 0.217 - 0.617. Is i bigger than s?
False
Suppose 0*v - v = -3*j + 2, 0 = -4*j - 3*v + 20. Let k = -8 + 5. Let c = k + 6. Are c and j nonequal?
True
Let x = 183 + -192. Which is greater: x or -5?
-5
Suppose -o = -1 + 2. Which is greater: o or 2/231?
2/231
Suppose 3*q - 100 = 5*t, 5*t - 13*q = -12*q - 100. Which is smaller: 0 or t?
t
Suppose 0 = l + 3*l + 4. Let s(y) = -3*y. Let j be s(l). Suppose -1 = -j*q - 4. Is q at most 0?
True
Let s(f) = -52*f**2 - 4*f - 1. Let y(a) = 