 n + 6 = -0*n. Let p be (((-100)/(-6))/5)/n. Suppose 10 = -5*j - 0. Does p = j?
False
Let z(c) = -c**2 + 5*c + 3. Let a be z(7). Let s be (0 - -2)/(50/(-225)). Are a and s equal?
False
Let a be (-14 + 16)*6/(-4). Let p(m) = m**3 + 2*m**2 - 2*m + 7. Let s be p(a). Suppose -l + 19 - 6 = -s*y, 0 = 4*l + 4*y + 48. Is l smaller than -6?
True
Let c = 7 + -7. Suppose -n - 3*a + 14 = c, 4*n - 4*a + 9 - 1 = 0. Let h = 27 + -24. Which is smaller: n or h?
n
Suppose 25 = -5*a - 60. Let w = -108 + 90. Are w and a nonequal?
True
Suppose 3*i = -5*q + q + 1, -3*q = -4*i - 7. Let u be (q - 1)*(-8)/24. Let o = -621 - -14285/23. Which is bigger: o or u?
o
Suppose 5*a - r - 3*r - 145 = 0, -3*a + 60 = 3*r. Let q be -1*3 + 65/a. Let z be 1/3*18/(-24) + 0. Is z <= q?
False
Let d = -19 - -21. Let h be 7 - 2 - d - -69. Suppose 0 = -0*q + 6*q + h. Are q and -13 equal?
False
Let v be (54/(4 + -7))/((-7)/(-42)). Which is smaller: v or -106?
v
Let r(q) = 1. Let j(h) = h - 16. Let m(s) = -j(s) - 2*r(s). Let b be m(3). Let k(c) = 2*c**2 + 2*c - 2. Let y be k(2). Which is bigger: b or y?
b
Let s = -30 + 51. Let x = s + -18. Suppose 2*c - t + 4 = 2, x*t - 6 = -5*c. Is 2 >= c?
True
Suppose -4*v - 3*v = -28. Suppose 0 = v*y - 16. Is y less than 7/2?
False
Let d be (-2)/9 + 12680/(-45). Is d equal to -282?
True
Let d = 1976192 - 53341655/27. Let w = -575 + d. Does 1 = w?
False
Let n = -6 + 7. Let l be (108/90)/(16/30). Are l and n nonequal?
True
Let j = -25 - -22.3. Let d = 2.7 + j. Let f = d + 2. Is 5 smaller than f?
False
Let w = 734 - 1469/2. Which is smaller: w or 306?
w
Suppose 3 = -m + 5*g + 13, 2*m = -3*g - 19. Let n be (m/10)/((-1)/58). Suppose -5*x + 19 = -5*a - 16, -5*a = -2*x + n. Is x not equal to 5/3?
True
Suppose 3*x + 145 = 5*i, -5*i + 0*i - 3*x + 115 = 0. Is 29 <= i?
False
Let b be (-252)/48 - 3/4. Let c(v) = 5*v. Let p be c(b). Let n = -30 - p. Is n greater than 1/5?
False
Let a = -1230 + 1230.02. Which is bigger: a or -5/3?
a
Let m(d) = d**2 - 5*d - 2. Let r be m(5). Let n(o) = 2*o**3 + 4*o**2 + o - 2. Let l be n(r). Let k = l + 35/9. Is 0 bigger than k?
True
Let b = 11178334/8435463 + 3/68581. Let q = 1/123 + b. Let c be -2 + (2 - (1 - 2)). Which is greater: q or c?
q
Let s = -36.8 + 67.7. Let a = 71 - 40. Let w = a - s. Which is bigger: w or 6?
6
Let m = -2 - -4. Let j(q) = -5*q + 38. Let p be j(0). Let o = p - 112/3. Is o bigger than m?
False
Let v = 2/323 + 2899/1292. Which is smaller: 1 or v?
1
Let w be (-2)/(-1) - (1 + -2). Let l = -85 - -94. Suppose 2*c + 2 = -h + 5*h, 0 = 3*c - w*h - l. Which is greater: 5 or c?
c
Let x be (1254/(-428659))/(1/(-7)). Is 0 at most as big as x?
True
Suppose -2*n + 4 = 0, 9*r = 4*r + 5*n - 5. Let i be (8/12*r)/(138/9). Which is smaller: 2/7 or i?
i
Let n = -2 - -12/5. Which is smaller: n or -33?
-33
Let o be 1/6*3*2. Let v = -0.414 - -5.414. Do o and v have the same value?
False
Let u = -1142/11 - -1141/11. Suppose 2*p + 9 = -5*z + 4*p, -p = -3*z - 5. Which is greater: z or u?
u
Let d = 38 - 31. Let s be (0/d)/(3 - 1). Which is bigger: s or 13?
13
Let t = -5 + 9. Suppose 0 = t*q + q. Suppose -13*d + 10*d = q. Which is greater: d or -1.9?
d
Suppose 5*r = 7*r - 8. Suppose 0 = -r*h + 6*h. Which is greater: -1/12 or h?
h
Suppose -3*p + 135 = -3*k, -3*p + 133 - 14 = k. Let c = p - 63. Which is bigger: c or -23?
c
Suppose 0*k - 4*k = 0. Let c(j) = -8*j - 1. Let g be 16/(-24)*(-6)/(-4). Let h be c(g). Which is smaller: k or h?
k
Let k = -121 + 10. Let v be 4*(-255)/10 + -8. Which is bigger: k or v?
v
Let t(y) = 49*y - 2. Let d be t(1). Let b = -17 + d. Let c be (b/(-40))/((-1)/24). Is 17 at most c?
True
Suppose 4*x - 5 = -5. Which is bigger: x or 5/36?
5/36
Let q be 6/8*512/(-58080). Which is smaller: q or 0?
q
Let q be -6*10/(-45) - (-2422)/(-1470). Is -1 greater than or equal to q?
False
Let q = -1690 - -234911/139. Suppose -3*g + 9 = -4*y, -7 + 4 = 3*y - g. Are q and y equal?
False
Let a = -22 + 45. Let o = -2 + a. Which is greater: o or 1?
o
Let j be (2/(-10))/((-87)/435). Let t(a) = a**2 + 4*a - 8. Let o be t(-6). Suppose 0 = 2*z - 2, -5*d - z = -o*z - 92. Which is smaller: j or d?
j
Let g = 248 + -248. Which is greater: g or 6.9?
6.9
Let h(b) = -b**3 + 38*b**2 - 39*b - 5. Let a be h(37). Which is bigger: -882/11 or a?
a
Let t = -44.8 + 50. Let z = -5 + t. Which is smaller: z or -2?
-2
Let w be (-142)/(-14) + 9/(-63). Let h = 8 - w. Is h less than -18/13?
True
Let j = 3483828/126503 + -10/9731. Which is smaller: 27 or j?
27
Let x = 396 - 222. Is x smaller than 0.1?
False
Suppose -5*q - 13 = -18*q. Let k = -383658 - -166507841/434. Let v = k + -3/62. Which is greater: v or q?
q
Let i = 2574/7 - 369. Let j = -1 + -1. Which is bigger: j or i?
i
Let z be (2 + 0/5)/2. Let x be (z - 2)*0 - (-1 + 0). Are x and 18/11 equal?
False
Suppose 0*w - 40 = -5*w. Let h = w - 10. Let c = -35/4 + 8. Which is greater: c or h?
c
Suppose -113*f - 58 = -114*f. Is f less than 58?
False
Suppose -22*o + l = -19*o + 482, 2*l = -o - 170. Is o at most -163?
False
Let l = -1318 - -32946/25. Which is smaller: l or 0.05?
l
Let j be ((-945)/(-17))/9*(-2)/12. Is j != -2?
True
Let g be 2575/14 + (-7)/(-14). Let k = g - 185. Is -2 >= k?
False
Suppose -99*n = -100*n - 1. Which is greater: 2/11 or n?
2/11
Let i = 27 + -54. Let u = i - -27.13. Let c = 1.87 + u. Is c less than -0.3?
False
Let q(x) = -5*x**3 - 6*x + 15. Let k be q(2). Which is smaller: k or -0.1?
k
Let o be (-4)/((-208)/(-169)) + 1 + 2. Do o and 1/159 have the same value?
False
Let b = 343 - 342. Is b < -2/1043?
False
Let v(q) = 2*q + 29. Let g be v(-12). Let s(b) = 2*b - 7. Let w be s(5). Suppose 0*z - w = -5*r + 2*z, -g*r = 3*z + 17. Which is bigger: r or -3/7?
-3/7
Let y = -8 + -7. Let b be 2 - (-9*8)/(-4). Which is smaller: b or y?
b
Let y = -461/10 + 89/2. Let v(r) = r**2 + 40*r + 229. Let w be v(-33). Which is smaller: w or y?
w
Let k be (10/(-6))/(17/3)*-9. Which is smaller: 2 or k?
2
Suppose -71*d = -68*d - 12. Let v be -14 + d - 2 - 0. Which is smaller: 0.2 or v?
v
Let b = -0.1 - 0.1. Let o = 0.69 + 0.01. Let j = o - b. Does j = -2/9?
False
Let f = -111 - -103.9. Let k = -7 - f. Is -1 equal to k?
False
Let g(i) = -i**2 - 9*i + 21. Let x(k) = -3*k**2 + 4*k + 4. Let r be x(3). Let a be g(r). Which is bigger: 3/17 or a?
3/17
Let g be -7*(-1 + 0 + 2). Let l be 12/(-8)*-2 + g. Let u(y) = -y**3 - 4*y**2 - 2*y - 7. Let z be u(l). Which is bigger: 7/4 or z?
7/4
Let j be 6/4*(-13)/(-273)*-2. Which is bigger: j or 3?
3
Let h = -0.05199 + -47.71801. Let n = 48 + h. Let z = n + -3.23. Which is smaller: -2 or z?
z
Let k = -4.5 + 4. Let l = -3.5 + k. Let f = 7 + l. Are f and -0.1 equal?
False
Let o = 159 - 798/5. Which is bigger: o or 7/8?
7/8
Let o = -39 + 26. Let g be 54/o - -4 - (-15)/13. Let u = 4 - 4.03. Which is bigger: g or u?
g
Suppose -4*g - 10 = -8*u + 6*u, 2*g = 6. Let v(p) = -3*p - 1. Suppose 0 = 2*b - 5*m + 23, 0*b - 20 = 2*b - 4*m. Let s be v(b). Is s at most u?
True
Suppose j - 94*j + 4743 = 0. Is j less than or equal to -1?
False
Let q be ((-50)/(-3))/5*27/45. Let b = -20 - -12. Let p(x) = -x - 5. Let n be p(b). Which is smaller: q or n?
q
Let i = -1 + 2. Let y be 6 + (-496)/84 + 31/(-105). Is i at most y?
False
Let w(l) = l**3 - 21*l**2 - 3*l + 129. Let y be w(21). Is y < 66?
False
Let j = 318 + -317.8. Which is smaller: -2/195 or j?
-2/195
Let f(y) = 3*y - 29. Let v be f(-20). Let r be (3/(-2))/(v/(-4) + 4). Suppose -o - 4*g = -8*g - 3, 3*o = -4*g - 7. Which is bigger: o or r?
r
Suppose -g - 3 = -n, -3*g = 7 + 2. Let z = -2/1337 + -1313/16044. Which is greater: z or n?
n
Let z = -1911 + 26741/14. Which is smaller: -1 or z?
-1
Let n = -8.18 - -0.18. Let h = -54 + 42. Let l = h - n. Which is smaller: l or 0?
l
Suppose -8 = -2*u, 23 = n - 5*u + 42. Which is greater: 2/309 or n?
n
Let z = 0.23 - 0.03. Let t = 20 - 12. Let r = 11 - t. Is z equal to r?
False
Suppose -4*s + 12 = n, -2*n = 2*s - 6*s. Suppose 5*d - s*a = 2, 2*d + 3*a + 2 + 1 = 0. Is d not equal to -4/11?
True
Let v = 475 - 466. Which is smaller: v or -7?
-7
Let s be -1 - 1 - -10 - 5. Which is greater: 1.04 or s?
s
Let j = -1275 + 1921. Is -0.1 greater than j?
False
Let u = -22658 + 15792620/697. Which is bigger: -1 or u?
u
Let h = 1553 - 13979/9. Let s be 50*-1*3/(-6). Which is smaller: s or h?
h
Let z = -2693 - -2694. Whic