pose 14 - 70 = 4*n. Which is greater: n or -13?
-13
Let a = -13 + 8. Let g = a + 5. Let s = 6 - 4. Is g != s?
True
Suppose 0*v = 4*v. Let x be 0 + ((-15)/(-114))/(-5). Let n = -10/19 - x. Which is greater: n or v?
v
Let w be (-96)/40*(-40)/6. Which is smaller: 17 or w?
w
Let l = -2 + -1. Let n = 1 + l. Let y = n + 4. Which is smaller: y or -1/2?
-1/2
Let z(t) = -t - 4. Let s be z(-5). Let y = -49705 - -5666423/114. Let l = 2/57 + y. Which is bigger: l or s?
s
Let t = -547/5 + 109. Let o = 16.9 + -17. Is t != o?
True
Suppose 5*v + 20 = -5*q + 5, -4*v = 3*q + 12. Let a(d) = d**3 + d + 1. Let j be a(q). Which is greater: j or -3/10?
j
Let o = -144 + 145.09. Let p = -0.09 + o. Is p at least as big as -0.4?
True
Suppose -5*c = -10*c - 65. Which is greater: c or -14?
c
Let x(b) = -b**2 + 5*b - 3. Let r = 19 - 15. Let q be x(r). Is q bigger than 1?
False
Let w = -4 - 1. Which is greater: 0.1 or w?
0.1
Suppose 0 = -n + 3*f + 22, -3*n + 16 = -2*n - f. Is n < 13?
False
Let l = -1.1 - -0.8. Let p = l - -0.2. Let q be (-10)/(-4)*(-20)/(-25). Which is smaller: p or q?
p
Let t(v) = -v**3 - 5*v**2 - 5*v - 1. Let u be t(-4). Suppose -n = u*n. Is n equal to -1?
False
Let f be 1/3 + 4/6. Suppose 0 = 4*o - 7 - f. Suppose -o = 4*v - 2*v. Are -1 and v equal?
True
Suppose 2*a - 1 = 7. Suppose 0 = a*s - 2*s. Let x = -15/13 + 109/117. Is x greater than s?
False
Let l = 0.8 - 0.2. Let p = l - 2.6. Let x = p - -3. Is 1 less than x?
False
Let u = -0.3 - -0.4. Let w = 0.1 + u. Let n = w + -0.3. Which is greater: n or 4?
4
Let p(z) = -z**3 + 7*z**2 - 6*z - 3. Let g be p(6). Suppose 4*f - 28 = 4*a, -4*a - 2 = -f + 14. Does a = g?
True
Let m = 0.45 - 0.4. Let y = m - 0.25. Do 1 and y have the same value?
False
Let r = 2.03 + -0.03. Let j be (-3 + 2)*1 - -3. Is r smaller than j?
False
Let z be ((-7)/(-2))/1*2. Let n = 7 - z. Is n less than 1?
True
Let x = -17 + 11. Let i(w) = -3*w - 1. Let b be i(1). Let o = x - b. Is -2 != o?
False
Let m = -6 + 3. Let w be m/45 + (-3)/9. Which is smaller: w or -1?
-1
Let m = -0.34 - 0.29. Let w = 6.93 + m. Let q = -6 + w. Which is greater: q or -2?
q
Let i = -14/15 - -52/45. Which is smaller: i or 43?
i
Let l be 6/((1/(-26))/1). Let s be (-4)/10 + l/60. Let r(m) = m - 7. Let b be r(3). Which is greater: b or s?
s
Let q(u) = 3*u + 2. Let i(a) = 2*a + 1. Let t(b) = -7*i(b) + 5*q(b). Let h be t(-3). Do 1/2 and h have the same value?
False
Let b(o) = -o**2 + 3*o. Let l = 7 - 5. Let f be b(l). Suppose 4*m + 2*y = -24, -f*m + 2*y = -3*y. Is m > -6?
True
Let c = 143/6 - 1537/66. Do c and 0 have the same value?
False
Let t = 16 - 32. Which is smaller: t or -15?
t
Let s be 4/(-20) + (-278)/(-40). Which is smaller: s or 8?
s
Let a = 3552/25 + -142. Which is bigger: -1 or a?
a
Let y = -36/5 - -47/10. Which is smaller: y or -2/7?
y
Let v be ((-2)/(-10))/(1/5). Let m(k) = 3*k. Let l be m(v). Do l and 1 have the same value?
False
Suppose 6*n + 15 = n. Let a(d) = -d**2 - 4*d - 4. Let c be a(n). Suppose -2*h + g - 3 = 3*h, -3*g = -2*h + 4. Is c not equal to h?
False
Let a = -245/1408 - 1/128. Suppose -3*q - 24 = -3*r, q + 11 = 2*r - 0*q. Suppose 0*b + r*b - f + 4 = 0, 4*f - 7 = 3*b. Is b >= a?
False
Let b(d) = 13*d - 4. Let o be b(1). Which is bigger: 8 or o?
o
Let w = -5.1 - -5. Let p = -3.1 - w. Let d = -1/15 + -13/30. Which is smaller: p or d?
p
Let t be 18/(-24) - (-25)/36. Is t greater than 0?
False
Suppose a = -a. Suppose a + 4 = 4*z. Which is bigger: z or 2?
2
Let m = -0.31 - -0.31. Which is smaller: m or -0.08?
-0.08
Let d = -287 - -3160/11. Is -3/2 smaller than d?
True
Let n = 4.3 + -4. Let v = 1.5 - 1.7. Which is smaller: n or v?
v
Suppose -2*c + 21 + 21 = 0. Which is bigger: 18 or c?
c
Let n(f) = -2*f**2 + f. Let h be n(1). Let i be (h/2)/(2/4). Suppose 3*p = -0*p. Which is greater: i or p?
p
Let k(u) be the first derivative of u**4/4 + 7*u**3/3 + 4*u + 1. Let d be k(-7). Let m(n) = n - 9. Let f be m(13). Is f equal to d?
True
Let w = -0.94 + 1. Let j = -0.94 - w. Let k = 0.9 + -3.9. Which is bigger: k or j?
j
Let l = 15 - 24. Let w = l - -12. Is -0.3 > w?
False
Let t be 34*2*(-3)/12. Let k be 6/8 + t/12. Is k at most as big as -1?
False
Suppose 13 = -5*s + 3. Let n(a) = a**3 + 3*a**2 + a - 1. Let g be n(s). Let m be 0 - (2/5 - 1). Is m > g?
False
Suppose 0 = 5*v - 5*t - 25, 0 = -3*v - 2*t + 6*t + 20. Let f = v + 1. Let n = -3.15 - -3.2. Is n smaller than f?
True
Let m = 3 - 3.1. Let t = -8 - -7.1. Let p = t + m. Which is bigger: 0 or p?
0
Let s(f) = f**2 + 5*f - 7. Let x be s(-6). Does x = 3/11?
False
Let y = -13 + 9. Let c = y - -2. Let f be (-36)/15*8/32. Which is smaller: f or c?
c
Let u = -7 - -6. Let q(g) = -2*g**3 - g**2 - 2*g - 1. Let k be q(u). Which is greater: k or 3?
3
Let g be (222/9)/((-2)/(-3)). Suppose -o + g = 2*d, 5*d - 2*o - 9 = 79. Let v be d/4*4/6. Is v less than 5?
True
Let c = -69464/987 + 15/329. Let i = -71 - c. Are -0.1 and i unequal?
True
Suppose 0 = 4*k - 5*k + 7. Let j = k - 6. Which is smaller: 4/5 or j?
4/5
Let m = -2.71 + -0.29. Which is smaller: 0 or m?
m
Suppose 0*w + 3*w - 3 = 0. Let b(n) = -n**3 + n**2 + 5*n - 1. Let q be b(-3). Suppose -5*r + q = -5*z, -2*r - 4 = 4*z + 12. Which is greater: r or w?
w
Let b = 1/50 - 13/25. Is b >= 3/14?
False
Let s = -0.1 - 0.4. Let c = s + 0.6. Is c > -0.2?
True
Let n = -20 + 11. Let w = 14 + n. Which is smaller: w or 4?
4
Let k = -14 - -14.1. Is k smaller than -1?
False
Suppose n + 3 = 4*n. Suppose m - 4 = i, -2*m + 3*i + n = -12. Which is smaller: m or 0?
m
Suppose 0 = -3*m + 8 + 4. Suppose -2*n + 12 = m. Which is smaller: n or -1/4?
-1/4
Suppose 15*j = 11*j + 12. Let s be (-20)/(-6)*(-1)/(-2). Which is smaller: j or s?
s
Suppose -2*r = -0*q + 3*q - 8, 0 = -5*r + q + 20. Is 2 at least r?
False
Let r = -74 + 55. Which is smaller: r or -18?
r
Let i = -7 + 22. Let y = i + -16. Which is bigger: -2/71 or y?
-2/71
Let c(k) = k**2 + 27*k + 27. Let u be c(-26). Is 10/7 != u?
True
Let y(q) = q**2 + 9*q + 9. Let k be y(-8). Is 26 not equal to k?
True
Let o be (9/21)/3 - (-144)/(-28). Which is bigger: 14 or o?
14
Let h = 2 + 3. Suppose j - 3 = -x, -h*x + 7 = -j - x. Is 1/6 less than j?
True
Let c = 1.5 - 3.5. Let q = -52 + 205/4. Is c greater than q?
False
Let x = -63051144698190411377/117828266693743018215 + -1516471/348649955226. Let s = x + 24/4661459. Let n = 3/290 - s. Is n > 2?
False
Let g be 20/(-35)*1/4. Do 0 and g have the same value?
False
Let w be 225/(-36) + (-6)/8. Are w and -7 equal?
True
Let w = 23/8 - 485/152. Are 0 and w nonequal?
True
Let u = -0.9 - -1.3. Let m = u + -0.4. Do 2 and m have the same value?
False
Let f = 1 - 6. Let d = f + 5. Suppose -w = 2, 2*p = 2*w - d + 6. Is 1 at least p?
True
Suppose -4*o + 24 = 8. Suppose 3*t + 5*n = 10, -4*t + 4*n = 3 - 27. Which is smaller: t or o?
o
Let b be (-58)/44 - 6/(-4). Let w be 1 + (-1 - 0/1). Suppose 0*z + 5*z = w. Is z != b?
True
Let u = -1565/222 + -29/37. Are u and -8 non-equal?
True
Let w be 12*((-15)/9)/(-5). Which is smaller: -1.2 or w?
-1.2
Let r = 6 + -5.9. Let b be -2 - 3/(-66)*53. Let u = b - 10/11. Which is smaller: r or u?
u
Suppose 0*d = -3*d + 3. Suppose -4*x - 5 = -d. Let y be 7/(-12) - (-2)/8. Which is smaller: y or x?
x
Let k = 55 - 221/4. Are k and 5 non-equal?
True
Let o = 19 - 14. Suppose 3*u - 4 = h, -3*h + o - 17 = -5*u. Are u and -1 unequal?
True
Let p be (1/5)/((-8)/(-24)). Suppose 5*d - 3*d - 4 = 0. Which is smaller: d or p?
p
Let q be 948/178*(-6)/(-90). Let v = -4/89 - q. Are -2 and v unequal?
True
Let t be ((-4)/(-12))/((-1)/2). Suppose -5*r + 90 = 3*k, 0*r - 4*r = -k - 72. Let b be (-4)/3 - 12/r. Does b = t?
False
Let x be ((-189)/(-45))/((-1)/5). Is -21 at most as big as x?
True
Let k(j) = -8*j**3 + 2*j**2 + 3*j + 1. Let f be k(-1). Which is smaller: f or 10?
f
Suppose -3*x + 35 = 2*x. Suppose -x*c - 5 = -2*c. Which is bigger: -4/11 or c?
-4/11
Suppose -5*c = -c - 8. Let n be (-1)/(-4) + 82/(-8). Let q be n/(-3) + (0 - 2). Are q and c non-equal?
True
Let r(q) = 3*q**3 + 24*q**2 + 8. Let k(b) = 2*b**3 + 16*b**2 + 5. Let j(a) = 8*k(a) - 5*r(a). Let c be j(-8). Is c smaller than -2/29?
False
Let r = -53 - -35. Let k be (-30)/r*(-2)/(-5). Is k at least as big as -2?
True
Let o = 2033/244 + -5/61. Which is smaller: o or 9?
o
Let i(g) = g**2 + 4*g + 3. Let c be i(-3). Let t be 3/(-1) - (-3