 q = 1?
False
Let n be (3 - (-10)/(-2)) + -3. Suppose -23 + 3 = 4*v. Is v > n?
False
Let b = 55 + -381/7. Suppose -10 = -5*z - 5. Is b >= z?
False
Let q = -5.1 - -8.1. Which is smaller: q or 10?
q
Suppose a = -3*d - 12, 5 = -2*a - 4*d - 11. Which is smaller: -3.1 or a?
-3.1
Let j = -30.8 + 34. Let d = j + -4.2. Let x = -22 + 15. Is d greater than or equal to x?
True
Let s be (-5)/12 - 1/4. Let i(k) = k**3 + 14*k**2 + 14*k + 17. Let y be i(-13). Suppose 4 = -4*v - r, -6*r = -5*r - y. Which is greater: v or s?
s
Let l be ((-14)/(-98))/((-1)/(-2)). Do l and 2 have the same value?
False
Let s = -0.4 + 0.2. Let p = s - -0.15. Let n = p + 0.05. Which is smaller: -0.2 or n?
-0.2
Suppose -6*t + 5 = -t. Let p = -181/7 + 26. Is p equal to t?
False
Let r(z) = z + 8. Let g be r(-6). Suppose i - 3*x = -2*x + 7, -2*i + g = x. Suppose -i*f + 2*f = -3. Is f not equal to 3?
False
Let h(v) = 2*v**3 - 9*v**2 + 8*v - 1. Let w be h(3). Which is bigger: -6 or w?
w
Let w(q) = q**3 - 2*q**2 + 2*q - 1. Let r be w(1). Suppose -4*y - v - 1 = 0, -2*y + 4*v = -v + 17. Which is bigger: r or y?
r
Suppose p - 5 = 3. Let o be (p/(-32))/((-10)/3856). Let h = 96 - o. Is 1 less than h?
False
Let n be (4/(-10))/((-78)/3). Is 0 != n?
True
Let w = -616685145/17017 + 398632/11. Let b = 20114/91 - 221. Let v = w - b. Is v greater than or equal to 0?
False
Let k = -2 + 3. Let g = -145/8 - -2191/120. Is g > k?
False
Let h = 0.22 + -0.32. Which is smaller: h or 1?
h
Let y be 181/6*(-10)/285. Let q = -18/19 - y. Is 1 bigger than q?
True
Let n be (-4)/(-8)*(-4)/(-105). Let w = n + 68/105. Let v = -0.247 - -0.647. Do w and v have the same value?
False
Let l = 25 - 14. Suppose -5*a - 10 = 3*p, 5*p - 3 + l = -4*a. Let b(s) = s - 7. Let k be b(6). Is p less than k?
False
Let h(k) = -k**3 - 4*k**2 - k - 1. Let i be h(-4). Let r be 4/6 + (-1)/(-3). Suppose -t = -5 + r. Are t and i non-equal?
True
Let u = 26 - 32. Suppose 6*l + 13 = 2*l - 5*f, -2*l = 3*f + 5. Is l greater than u?
False
Let i(c) = c**2 + 5*c + 8. Let s be i(-6). Suppose -5*w - s = -4. Let d be (-2)/9 - w/9. Is 1 not equal to d?
True
Let r = -97/4 - -1657/68. Let f be -1*(1*-2 + 1). Which is smaller: r or f?
r
Let h = -0.039 - 0.161. Which is smaller: -2/5 or h?
-2/5
Let l = 40 - 39.6. Is -0.3 less than or equal to l?
True
Let v = 1 + -1. Let f = 0.3 + -0.4. Is v at least as big as f?
True
Let k(f) = -f**3 - f**2 + 2. Let c be k(2). Let r = 11 + c. Let b(x) = x**3 - 6*x**2 - 7*x + 1. Let h be b(7). Is r greater than h?
False
Let q(r) = -r**3 - 3*r**2 - 3*r. Let d be q(-2). Let c(l) = 0 + l - 1 + d. Let u be c(-2). Is u equal to -1?
True
Suppose 162 + 408 = 19*n. Is 30 >= n?
True
Let c = -4 + 5. Let d = 0 + c. Let s = 2 - d. Is 1 less than or equal to s?
True
Suppose 10 = -5*w - 4*y - y, -3*w + y + 2 = 0. Suppose -p = -w*p. Let l(k) = -k**2 - 2*k + 4. Let o be l(-3). Which is smaller: p or o?
p
Suppose -11*j = 15 - 4. Is -3/8 greater than or equal to j?
True
Let m = -9 - -21. Let u be m/9*-6 + 2. Which is smaller: u or -5?
u
Let g = 10011/35 - 286. Which is smaller: 1 or g?
g
Let m be 2*3/3 + 1. Suppose 0 = -3*s - 2*i - i + m, -3*s + 19 = -5*i. Which is bigger: s or 2?
s
Let q = 6 + -2. Suppose 2*w = -2*w + 20. Are w and q unequal?
True
Let k(v) = v - 14. Let p be k(-5). Is p < -75/4?
True
Let x be ((2 - 1)*0)/2. Let k be x - 1 - (-6)/3. Let j = 1.12 + -5.12. Is k equal to j?
False
Let h be 4/4*1/4. Let r = -0.03 + -0.07. Which is greater: r or h?
h
Let i = -2.9 + 3. Let u = i - 0.1. Let a = -0.5 + 0.4. Which is smaller: a or u?
a
Let c(q) = -2*q**2 + 3*q - 3. Let r be c(2). Let w(g) = -g + 1. Let b be w(-4). Suppose -b*z - 10 = 15. Do r and z have the same value?
True
Suppose 3*d - m = 4*m - 20, m = -2*d - 22. Let q = d + 28/3. Which is smaller: -2 or q?
-2
Let g = -232/3 + 21110/273. Which is bigger: -1 or g?
g
Let w be (2/(-3))/(6/36). Let j be (-2)/3 - w/3. Let v = 2 + -2. Is v > j?
False
Let y = -3 + 6. Suppose -8*f + y*f + 4*z = 12, 0 = -2*f + 5*z - 15. Suppose 4*t + f = 4. Which is smaller: 3 or t?
t
Let y = -1127/7780 + -2/389. Are y and 0 non-equal?
True
Suppose 0 = -5*f - 2*s + 18 - 0, 2*f - s = 9. Suppose f*t = -0*t. Do 1 and t have different values?
True
Suppose 3*i + 5 + 1 = 0. Is -1 less than or equal to i?
False
Let n(a) = a**2 + 6*a + 6. Let h be n(-5). Let o be 0*2/6 - h. Let y = 2 + o. Is y equal to 2/3?
False
Let z(a) = a**2 - 9*a - 3. Let c be z(10). Let f = -7 + c. Is f bigger than 3/10?
False
Let u = -48 + 49. Which is greater: -14 or u?
u
Let f(d) = d**2 - 14*d + 3. Let w be f(14). Suppose 0 = -w*v + 5*z - 2*z + 27, -17 = 2*v + 5*z. Is v greater than 3?
True
Suppose 3*f - 7*f = 16, 5*g = -3*f - 12. Let v be g - ((-64)/20 + 3). Is v <= -1?
False
Let k = -11 - -6.5. Let s = -4 - k. Let f = -0.4 + s. Is f >= 0.3?
False
Let i be 938/(-30) - (-2)/(-6). Let d = i - -32. Which is smaller: 0 or d?
0
Let u = -1 - -4. Let j = 0.02 - 0.03. Let t = j - -0.01. Which is greater: u or t?
u
Suppose -6*r + r = 0. Let w be 6/(-14) - (r - 1). Is w greater than 0?
True
Let t = 0.02 + -0.08. Let r = 0.16 + t. Is r less than or equal to -0.2?
False
Let x = 0 - -2. Suppose 4*h - 8 = -2*a + 6*h, -4*a = 5*h - 7. Suppose -a*v + 15 = 2*v. Which is greater: v or x?
v
Let g be (-3 + -2)*7*2/(-6). Which is smaller: 11 or g?
11
Let a = 26 + -15. Which is smaller: a or 0.1?
0.1
Let p be 1 - -4 - (3 + -1). Which is greater: p or 1?
p
Let j = -4 - -8. Suppose 2*a - 6 = 4*f, -j*a - 3 = -3*f - 10. Let i = -66 + 860/13. Which is smaller: f or i?
f
Let m(x) = 3*x**3 - x**2 - x - 1. Suppose -6*d = -2*d + 4. Let l be m(d). Suppose c + 5 = 0, 0 = 2*h + 2*c + 13 + 3. Is l >= h?
False
Let m = 2.15 + -2. Let q = -2.15 + m. Is q bigger than -2/9?
False
Let w = -0.11 + -3.89. Let p = w + 4.06. Let r = p - -1.94. Is -1/2 greater than r?
False
Let f = -0.41 - 15.59. Let j = f - -21.9. Let k = -6 + j. Which is smaller: 1/7 or k?
k
Let y(a) = -a**2 + 9*a + 13. Let i be y(10). Let h = i + -4. Are -3/7 and h equal?
False
Let m be 1 + 3/(6/20). Let u be ((-12)/(-1))/(-2 + 3). Which is greater: m or u?
u
Let w = 23 - 29. Is w bigger than -6?
False
Suppose -5*s + 2 = -3. Let j be (-2)/(-17) + -3*110/(-85). Which is smaller: j or s?
s
Let o(i) = 5*i + 129. Let s be o(-26). Let q = -187 - -1685/9. Which is smaller: q or s?
s
Let w be (-1)/((-2)/6) + -2. Let o = -7810/21 - -372. Is w less than o?
False
Let z(m) = m**3 - 2*m**2 + 2*m - 3. Let a be z(2). Which is greater: -12 or a?
a
Let q = 3 - 2.9. Which is greater: -9 or q?
q
Let s be -1 - -1*(3 - 1). Let g be (s/(4 + -3))/(-1). Let c(k) = -k**3 - 4*k**2 - 2*k + 2. Let m be c(-3). Do m and g have the same value?
True
Let p(v) = v**3 + 9*v**2 + 14*v. Let r be p(-7). Is 3 greater than r?
True
Let i = -28 - -33. Let c be (-2)/4 - (-27)/6. Which is smaller: c or i?
c
Suppose -6*o = -o. Let n(m) = -m**3 + 6*m**2 + 6*m + 8. Let t be n(7). Suppose -4*b + 5*b - t = o. Which is smaller: -2/5 or b?
-2/5
Suppose 2*q - 40 = -2*t - 3*q, t - 20 = 2*q. Is 1/4 < t?
True
Let s = 0.5 + -1.1. Let m = -16 - -15.7. Let g = -0.4 - m. Which is smaller: g or s?
s
Let f(g) = -2*g + 21. Let k be f(11). Are -5 and k nonequal?
True
Suppose -5*o = -3*r + 2, 14 - 19 = r + 4*o. Which is smaller: r or 2/155?
r
Suppose 3*i = -g + 2*g + 49, -g + 5 = 0. Let r be 7/(-14) - (-8)/i. Is 1 at least as big as r?
True
Let d = -41/2 + 21. Suppose -2 = 2*u + 6. Let z be (-1)/u + 1/(-4). Is z at most as big as d?
True
Let n(o) = -o**2 - 2*o + 3. Let x be n(3). Let a be 3/x - (-66)/8. Let u be (6/8)/(14/a). Are -1 and u nonequal?
True
Let t = -12.6 + 23.3. Let a = 1.3 + t. Which is greater: 0 or a?
a
Let g(i) = -i**2 + 1. Let k be g(-1). Suppose 3*q + k = -6. Let u = -2.74 - 0.26. Which is smaller: q or u?
u
Let j(t) = -2*t**2 + 3*t - 1. Let b be j(2). Let r be (3 - -3)/3 + 2. Suppose -r*h - 2 = -3*h, -3*h - 2 = -2*o. Is b bigger than o?
False
Let v = -0.6 - 1.4. Suppose -9*u - 54 = -3*u. Which is smaller: v or u?
u
Let q = -93 + 96. Is q less than or equal to -1?
False
Suppose 3*s - 2*p + 7 = 0, 8 = 3*p - 7. Is -2/25 smaller than s?
True
Let m = -6 - -8. Let q be 7/7*2/m. Is q at most as big as 1/6?
False
Suppose 2*p = -l + 3, 5*p + 3 + 2 = -5*l. Does 3 = p?
False
Let r be 7/2 - (-6)/12. Suppose -2*p + i = -3 + r, 3*p + 4*i = 15. Is p at most 3/11?
False