t s = -7415/7 - -1004. Let p = x - s. Which is smaller: p or 1?
p
Let j be (-2)/1 + 27/9. Which is smaller: -1/5 or j?
-1/5
Let b(n) = -3*n**2 + 19*n - 16. Let l be b(5). Which is greater: l or -24?
l
Let n be (-2 + 1)*(-18)/70. Let w = 2/5 - n. Let u = 1 - 2. Which is greater: u or w?
w
Let j(u) = u - 4. Let s be j(-11). Let l = s + 13. Is -6/11 equal to l?
False
Let l = 2.5 - 2. Let c = l - -2.5. Let r = -377/70 + 51/10. Is r equal to c?
False
Let t = 179/36 + -38/9. Which is smaller: 0.05 or t?
0.05
Suppose -19*n + 1064 = -0*n. Is 55 greater than or equal to n?
False
Suppose -3*h = h + 12, -1 = -2*d + 5*h. Let m = d + 1. Which is greater: 0.1 or m?
0.1
Let f = -13 - -89. Let v be ((-22)/4)/(1072/f). Let c = -1/67 - v. Is 1 != c?
True
Suppose -2*m - 5 + 19 = 0. Let a be 1*(m - 3 - 3). Is a < -0.1?
False
Let x be 2*1/(6/(-15)). Let r = -9 - x. Let v(i) = -i**2 + i + 2. Let a be v(3). Is a at most as big as r?
True
Let t = 123 - 163. Is t smaller than -40?
False
Let j be 2*(10/(-102))/(-5). Which is greater: j or 1?
1
Suppose -o + 4*j - 3*j + 28 = 0, -5*o = 2*j - 119. Which is greater: o or 47/2?
o
Suppose 0 = -2*q + 10. Suppose 2*b - 14 = q*k + 5, -3*b = 3*k + 3. Suppose b*r + 0*r = 4. Which is greater: r or 3?
3
Let m be (5/2)/((-24)/(-13) - 2). Which is bigger: m or -16?
-16
Let d be 5 - 1/(-2)*-2. Let q = d - 0. Suppose -x = -q + 1, 2*h - 5*x + 17 = 0. Is h smaller than 1?
True
Let i be 2/(-44)*(-26 - -14). Which is bigger: 0 or i?
i
Suppose 5*t + t = 0. Which is greater: 4/7 or t?
4/7
Let v = 6215/27 + -30199/135. Let s = v - 38/5. Is s > -1?
False
Let t = -4 + 3. Let s = 1 + t. Let k be (-6)/15*15/(-27). Which is smaller: k or s?
s
Let q be (-1 + (-4)/(-6))*-27. Is q less than or equal to 9?
True
Let v be (-1)/1*((-104)/36 - -3). Which is bigger: -1/3 or v?
v
Let b be (-25)/(-5)*(0 - (-2)/(-5)). Which is greater: b or -2/3?
-2/3
Let r(o) = 11*o**2 + 2*o - 1. Let a be r(1). Let v be (8/(-6))/(a/(-18)). Suppose -v*c + 8 = -0*c. Is 3 != c?
True
Let n(s) = s**3 - 5*s**2 + 5*s + 6. Let f be n(5). Suppose -36 = -r + f. Let o = r + -337/5. Which is greater: -1 or o?
o
Suppose -5*i = 2*h - 3*i, 4 = -2*i. Suppose n = -n - h. Let g = -2 - n. Which is greater: -4/3 or g?
g
Let s be (210/(-4))/(1/(-2)). Let v be 4/(-6) + 100/s. Is 1 greater than v?
True
Suppose p = -3*j - 39, -4*j + 18 = -5*j - 2*p. Which is smaller: j or -14?
-14
Let w(n) = 2*n**2 - n. Let g be w(-1). Let h be -1 + g/3 + 0. Do 0 and h have different values?
False
Let s = 54/25 - 989/400. Which is smaller: s or 1?
s
Let k(s) = -s**2 + 10*s - 3. Let d be k(9). Let r = d - 3. Which is bigger: -2 or r?
r
Let j = 9 + -9.1. Which is smaller: -8 or j?
-8
Let c = 8 - 3. Suppose 3 = -c*f + 8, -4*o = 3*f - 7. Which is bigger: -4/9 or o?
o
Let h be (4/(-20))/((-66)/(-110)). Suppose 2*d = -3*d. Let t be 1 - (1 + d)/1. Which is smaller: t or h?
h
Let k = -8 + 12. Suppose 0 = -2*p + k*h - 14, 5*h = 31 - 6. Suppose 3*i = -2*i + p*y - 20, -3*i = 3*y - 12. Do i and -1 have different values?
False
Let q be (2 - (-6)/(-3))*-1. Suppose q = -4*b + 3*b + 1. Which is smaller: 1/7 or b?
1/7
Suppose -4*r - 4*w + 12 + 16 = 0, -r - 3 = -w. Let h = -2 + r. Suppose 4*a + 0*a - 4 = h. Is 2 at least a?
True
Let v = 25 + -19. Is 6 greater than v?
False
Let k(d) = -d - 2*d + 2 + d**2 - 3 + 2*d + 11*d**3. Let q be k(-1). Let r be ((-6)/(-45))/(8/q). Is 1 less than or equal to r?
False
Let u = 5 - 1. Let j = -1.96 + -0.04. Let s = u + j. Is 1/3 equal to s?
False
Let o be 2/(-82)*13/39. Is 0 greater than or equal to o?
True
Let b(s) = 3*s**2 + 4*s. Let k be b(-1). Is k < -3/55?
True
Let v be (-30)/(-8) + 1/4. Suppose 0 = -4*j + 3*j. Let a be (j - -2)/((-4)/(-6)). Which is greater: v or a?
v
Let l = 6 - -4. Suppose l*a = 5*a. Which is smaller: 1/15 or a?
a
Let s = 6.2 - 26.2. Is s greater than or equal to 1/4?
False
Let q = 7 + -4. Let j be 1*(q + -1 + -7). Is j < -2?
True
Let d be -2*(-2 - 6/(-4)). Let t be (-4)/6 + 1 - 7/(-6). Is t greater than d?
True
Suppose 4*m - 2 = 2. Is m less than or equal to 2/45?
False
Let d be (8/12)/((-4)/6). Let h = d - -3. Let q = -0.98 + -0.02. Is h greater than or equal to q?
True
Let d be ((-226)/12)/(4 + -2). Let n = d - -29/3. Suppose 4*i + 8 = 4. Is i bigger than n?
False
Let z = -2/131 + -7/8122. Is 1 at most as big as z?
False
Let h be (-133)/105 + 2/(-5). Which is smaller: -1 or h?
h
Let b = -4 - -3.6. Suppose 0 = -v - v. Which is smaller: b or v?
b
Let l be 4/3*(-36)/(-8). Suppose 4*u + 2 = -l. Are u and -2 non-equal?
False
Let n be 5/(50/16)*5. Let q be n/3*(-6)/4. Is q greater than -1?
False
Let k(g) = g**3 - 3*g**2 + 2. Let z be k(3). Let u(x) = x**3 - 2*x**2 - 4*x + 2. Let i be u(3). Let l = i - z. Is l >= -2?
False
Let o be (-602)/(-24) + ((-26)/(-12) - 2). Which is smaller: 26 or o?
o
Let a = 0.1 - 0. Let q be 2 + -13 + 5 - -1. Which is greater: q or a?
a
Let s = 41 + -125/3. Let n be ((-4)/15)/((-12)/10). Do n and s have the same value?
False
Let x be (3830/(-2))/(14/2). Let q = -274 - x. Is q bigger than -1?
True
Let a = 23.9 - 0.9. Let j = a + -23. Which is bigger: j or 7?
7
Let t = -707/30 + 71/3. Let s = t - 1/210. Which is smaller: 1 or s?
s
Let c(k) = -k. Let v be c(0). Let r = v + -3. Which is bigger: -5/2 or r?
-5/2
Let l be -1 - -8*(-34)/(-4). Suppose -2*j - 4*h + 30 = -2*h, -4*j + 3*h = -l. Suppose 0*o + 12 = -3*z + 3*o, 4*o = -3*z + j. Is z <= 0?
True
Let t = 204915622/273 - 750610. Let k = -42/13 - t. Is k bigger than -1/2?
True
Let i = 1.14 + -0.14. Let d = 4 - 2. Let g = 2 - d. Is g not equal to i?
True
Let p = -50 - -70. Suppose 4*a = 3*w + 3*a + 5, -4*a = -4*w - p. Is w at most 1/15?
True
Let q(i) = -i - 2 - i - i**2 - 3. Let a be q(-4). Let d = 51/4 + a. Which is bigger: d or 1?
1
Let q = -1 + 6. Let g = -0.2 + 0.2. Is g smaller than q?
True
Let b = 4.2 + -4. Let v = -0.5 + b. Is -0.1 greater than v?
True
Let x = -307/6 - -51. Let z be (-4 + -3 - -6)*0. Which is greater: z or x?
z
Let a = 9 - 6. Let s be 6/5*10/a. Suppose s*o - o + 3*q + 9 = 0, 4*q = 4*o - 28. Which is smaller: 1 or o?
1
Suppose 4 = 4*c - 12. Suppose -c*s = -0*s. Let v = s - 0. Is v smaller than 0?
False
Let w = -0.2 + 16.2. Which is greater: w or -1?
w
Let c be 4 + -1 + 45/((-165)/(-11)). Suppose z - 14 = 3*z. Let y = z - -13. Is c less than or equal to y?
True
Suppose 0 = 2*w + 7 + 3. Which is greater: -9/2 or w?
-9/2
Let r = 55 - 54. Is r < -2/49?
False
Let l be (-4 + 3)/(1/(-7)). Let q(j) = 6*j - 48. Let y be q(9). Which is smaller: l or y?
y
Let b = 0.5 - 2.5. Let p = b + 3. Is p less than or equal to -3?
False
Let x be -2*(3/2 - 1). Let n be 54/(-22) + (2 - x). Is 1 < n?
False
Let d = -29/10 + 3. Which is bigger: d or 1/2?
1/2
Let h(c) = -c + 18. Let m be h(11). Do -0.1 and m have the same value?
False
Let z = 19247272703/195 + -98704282. Let y = z + 4084/13. Let x = 28/5 + y. Do x and -2/9 have different values?
True
Let l be 2*(-31)/(-14) + -4. Which is greater: 0 or l?
l
Let o(q) = -q**2 + 11*q - 10. Let r be o(10). Are r and -1 nonequal?
True
Let a(y) = -2*y. Let t be a(-4). Suppose -3*x + 25 = -t*x. Which is smaller: -4 or x?
x
Suppose 5*b - 3*f = -182, 149 = -b - 3*b - f. Which is greater: -36 or b?
-36
Suppose -762 = -3*v - 0*v. Let k = 1786/7 - v. Are 1 and k unequal?
True
Suppose -3*z + a = -z + 13, -3*z = 5*a - 13. Let v be (-40)/(-4)*(-2)/z. Which is greater: 6 or v?
6
Let s = 173/305 + 2/61. Let b be (2 - (-2 + 4))/(-1). Is b equal to s?
False
Let z = 11 - 15. Let f = 56 + -61. Let i = f - z. Which is greater: -0.3 or i?
-0.3
Let q = 1 + -15/17. Let r = -0.77 + 0.67. Are r and q nonequal?
True
Let k = 1503924/35 - 42966. Let w = k - 20/7. Suppose 3*v + 3 = -3*t, 3 = -4*t - 3*v - 0. Which is greater: w or t?
w
Let t = 259 - 2075/8. Let v = 25/24 + t. Let c be 0*(-1)/((-3)/3). Is v bigger than c?
True
Suppose -q = -2*q. Suppose 3*j - 2 - 4 = q. Let w be ((-2)/(-2))/(j + -1). Is w <= 1?
True
Let u = 11 + -10. Which is bigger: 2 or u?
2
Let n be 94/(-132)*1/3. Let h = n + 1/18. Let c = 0 - 1. Which is smaller: h or c?
c
Let o(v) = -v**2 - 9*v - 11. Let p be o(-8). Does p = -4?
False
Let r be 1 - 1 - 2/(-69). Which is smaller: r or 1?
r
Let k(i) = 5*i**2 - 1. Let g be k(1). Suppose g*w + 3*s = -16, -3*w + 3*s - 17 = -5. Which is greater: w or -5?
w
Let i = -141 - -707/