equal?
True
Suppose -6*u = 3*u - 9. Which is greater: -0.036 or u?
u
Let u = -190 + 371/2. Is -4 at most as big as u?
False
Let r = -0.35 + 0.05. Let b = r + 0.4. Let q = 3.1 + -3. Is b bigger than q?
False
Let j = -0.04 - 0.56. Let c = 0.5 + j. Is c at least -1?
True
Let d be 4/(-4) + (2 - -4). Suppose 3*u - 1 = d. Which is smaller: 3 or u?
u
Let h be (1 + 3/(-1))/1. Which is greater: -0.4 or h?
-0.4
Let l be (-21)/(-15) - 2/5. Let w = 2 - l. Suppose -3*v + 7 = -0*v + 4*h, 3*v - 2*h - w = 0. Which is bigger: -2/7 or v?
v
Suppose -4*g = -b - 21, -4*g + 2 = -4*b - 34. Suppose 3*q = -c + g*q - 12, -4*c + 3*q = 51. Is -15 at least c?
True
Let j(r) = -r**2 + 2*r + 4. Let s(v) = 2*v - 3. Let b be s(3). Let f be j(b). Let m be 0 - 2/(f - 3). Is 5/4 < m?
False
Suppose 0 = -g - 0*g - 4*c + 13, -2*c + 1 = -5*g. Suppose 0 = s - 5 + g. Which is smaller: 5 or s?
s
Suppose 23 = -3*b + 2. Which is greater: b or -3?
-3
Suppose 2*b - 22 = 4. Let n = -7 + b. Suppose 0 = n*x - 2*x + 4. Which is greater: x or -2?
x
Let l = 53 - 30. Is l equal to 24?
False
Let z(d) = -d**2 + 5*d + 10. Let o be z(7). Let k be o/(-10) + (-67)/5. Is k not equal to -14?
True
Suppose 5*z - 4*z + 10 = 5*k, -3*k - 4*z - 17 = 0. Let w be 2/(-5)*(-21 + 1). Suppose 2*v = -2*x - 3*x + w, 0 = -4*x - 3*v + 5. Is k at most as big as x?
True
Let p(n) = -43*n - 5. Let v be p(-5). Let d be (-85)/v - (-2)/4. Which is smaller: 0 or d?
0
Let l be 2 + 54/(-15) + 1. Which is greater: l or -1/4?
-1/4
Let o = -0.5 - 0.5. Do -4/5 and o have the same value?
False
Let f be -2*1/2 + 3. Is f greater than 4?
False
Let q be (20/(-10))/(1/2). Let k be (-4)/8*q + -2. Let y = 46/3 - 313/21. Which is smaller: k or y?
k
Let q = -349/58 + 6. Let w be ((-105)/75)/((-348)/170). Let g = q + w. Which is bigger: g or 0.1?
g
Let b = -1 + 1.2. Let y = 4 - 4.8. Let r = b - y. Which is smaller: r or 0?
0
Let c(f) = -f**2 - 5*f - 6. Let l be c(-4). Let v be 3/2*l/6. Let p = -230 - -229.9. Are v and p nonequal?
True
Let n = 1 - 3. Let l be (n/(-4))/(6/(-8)). Which is greater: l or -3?
l
Suppose -4*w + 18 = -w. Suppose 7 - 2 = l. Suppose 4*g = -3*u - l - 11, -5*g - 25 = 5*u. Is g <= w?
True
Let i = -1 - -5. Is -1 >= i?
False
Let p be 1 - (-2 + 656/214). Let h = p + -9811/2140. Let a = h + 22/5. Which is bigger: a or 1?
1
Let j = 23/5 + -11/10. Which is bigger: 3 or j?
j
Suppose -5*v + 16 = -139. Which is smaller: v or -2?
-2
Let i(q) = 12*q**3 - q**2 + 2*q - 2. Suppose 3*m + 17 = 5*k, 2*k + 16 = -2*k - 5*m. Let h be i(k). Which is smaller: 2 or h?
2
Let j be 3*((-3 - -5) + -1). Suppose -2*s + 28 = j*s - 2*t, -2*s - 12 = 5*t. Is s >= 5/2?
True
Suppose -11 = -2*b + 3. Let o(n) = -n**2 + 6*n + 9. Let g be o(b). Is 2 bigger than g?
False
Suppose -5*v = k + 75, 4*k - 5*v + 27 + 173 = 0. Is -57 at least as big as k?
False
Let k(o) = -2*o**2 - 2*o - 2. Let h be k(-2). Is h < -5?
True
Let f(w) = -w**2 + 4*w + 5. Let y be f(5). Which is greater: -10/11 or y?
y
Let w = 6 + 0. Suppose 8 = -2*a + w*a. Let q = 27 - 26. Which is bigger: a or q?
a
Let t(a) = a - 5. Let g be t(3). Let s be -3 + ((-12)/(-21) - g). Let j = 1 - 0. Which is bigger: s or j?
j
Let w(k) = -11 + 2*k + 1 - k. Let h be w(10). Which is greater: -5 or h?
h
Let o = -191/5 - -18703/490. Is 1 at least as big as o?
True
Let d be (0 + -4)/(6/9). Is -24/5 greater than or equal to d?
True
Suppose 3*u = 3*i - 15, 0 = 5*i + 2*u - 1 - 3. Let n(p) be the first derivative of -p**2/2 - 12*p - 4. Let l be n(-13). Is i less than l?
False
Let z be (-3)/(-3) - (-4332)/15. Let o = z + -292. Which is bigger: -3 or o?
o
Let y = 6 + -8. Let v = 20 - 19.9. Is v equal to y?
False
Suppose -s = 4*q + s + 26, 0 = -q + s - 5. Let m(d) = d - 2. Let k be m(6). Let i be (3/k)/((-6)/2). Are i and q unequal?
True
Let o be (-1)/(-4)*-2 + 0. Let i(m) = 3*m**2 + m - 2. Let v be i(2). Let j be 5/v*(-3)/10. Which is smaller: o or j?
o
Let z = 2.06 + -0.06. Let v = z - 1.7. Let l = v - 0.1. Which is bigger: l or 2/9?
2/9
Let g = 0.009 + -0.009. Is -0.11 bigger than g?
False
Suppose 190 = -4*n - 14. Are -51 and n non-equal?
False
Let s = 160/493 + -6/29. Let g be -7 + 5 + (-222)/(-136). Let k = g + s. Which is smaller: k or 0?
k
Suppose r = 5*r - 4. Let u be (0 - r)/(6 + -1). Is u >= 1?
False
Let r = -4 + 1. Let c(b) = -b**3 - 3*b**2 + 3. Let j be c(r). Which is smaller: j or 2?
2
Let t = -0.2 + 0.1. Let h = t - 0.1. Is h greater than 0.1?
False
Let a = 2 + -1.8. Is a less than or equal to -4/9?
False
Suppose -2*m - 4*a = -2, -3*m - 2*a + 5*a = 6. Suppose -2 = f - 0*f. Let w = f - -1. Is m greater than w?
False
Let u = -6 + 6.4. Let h = -0.1 + u. Do -0.2 and h have the same value?
False
Let s = -3 + 7. Let n = 0 + s. Let j be ((-6)/n)/(30/(-5)). Is j <= -0.1?
False
Let z(g) = g - 7. Let l be z(7). Let i = -25/287 + -14/41. Is i at most l?
True
Let h = 17 - 17. Let k = 2.951 + -0.051. Let z = k - 3. Do z and h have different values?
True
Let t be -9 - -1*2 - (8 - 7). Is -8 not equal to t?
False
Let s(y) = -y**2 - 3*y + 2. Let m be s(-2). Let a be 20/76*2/5. Let i = -23/38 + a. Is m smaller than i?
False
Suppose 5*y + 15 = 0, -3*u = -y + 1 - 4. Are -3/11 and u equal?
False
Let h(d) = -d - 2. Suppose 2*z = -u - 11, 2*z - 4*u - 2 = 2. Let a be h(z). Let g = a + -5. Which is smaller: g or -1?
g
Let s = 0 - 0.3. Let r = -13 - -12.9. Is r smaller than s?
False
Let q = -74 + 73. Let t = -9 + 1. Let b = t + 7.2. Is b greater than q?
True
Let u be -2*((-5)/(-2))/5. Let o be 0/1 + -3 + u. Which is bigger: o or -6?
o
Let f be 24/(-14) + (-14)/49. Let i = -4 - -2. Let a be (-11)/3 + i/(-3). Is f at most as big as a?
False
Let g = 3 + -4. Let m be 213 - 3/(3/3). Let x be (-2)/12 - (-161)/m. Is x less than g?
False
Let f = 2 - 0. Let i = 2/203 + -8739/1015. Let r = i + 101/10. Is r < f?
True
Suppose -g + 2 = -o, -3*g - 4 + 14 = o. Suppose 2*x - g*y = -2*x + 13, 4*x = -5*y + 21. Which is smaller: 5 or x?
x
Let f(r) = -r**3 + r**2 + r + 203960. Let n be f(0). Let x = 7139212/35 - n. Let t = x - 86/5. Are t and 1 equal?
False
Let a = -23.17 - -23. Do a and 1 have the same value?
False
Let b = -23/2 - -11. Suppose -3*u - 17 = -5*k, 0 = 2*u - 5 + 3. Suppose -2*f + 2*y = -4, -f - 4*y = k + 4. Which is greater: b or f?
f
Let x be 4 - (0/5 + 4). Is x >= -17?
True
Let n be (-3422)/(-42) + 2/3. Let w = -82 + n. Let q(k) = k**3 - 5*k**2 - 14*k + 1. Let m be q(-2). Is w equal to m?
False
Let p = -52.3 + 52. Let a be (1/2)/(-2 + 1). Is a at most p?
True
Suppose -3*r + 0*r = -3. Suppose r + 1 = w. Suppose 0 = 4*y - 6 - w. Which is greater: 0 or y?
y
Let j = -3 - -2. Let l = 1 - j. Suppose 0 = i + l*i - 9. Which is smaller: i or 2?
2
Let i = 6.6 + -11.6. Which is greater: -1/8 or i?
-1/8
Let q = 95 - 112. Suppose g = -4*g - 80. Which is smaller: g or q?
q
Let v = -4.96 - 0.04. Let d = v + 3. Which is greater: 2/3 or d?
2/3
Let d be -1 - (6/3 + -3). Let j be (-2)/(2/(1*-2)). Let v be 1*j/(-1 + -7). Which is smaller: d or v?
v
Let z be 6/10*-2*5/(-75). Which is greater: z or 1?
1
Let q = -13.17 + 13. Let g = q + 0.17. Is -7 < g?
True
Let c(w) = -w**2 + 7*w + 26. Let j be c(17). Is j != -145?
True
Let n be 3/(2 - (-7)/(-3)). Suppose 3*k = 2*k - 10. Which is greater: n or k?
n
Let d = 27 + -28. Which is greater: d or -2/7?
-2/7
Let s be -2 + (5 - (6 + -4)). Is -10/41 < s?
True
Suppose -9*l = -4*l - 2*v + 95, 20 = 4*v. Let f = 32 + l. Let z be (4/(-20))/(9/f). Which is smaller: z or -0.1?
z
Let m = -189 - -187. Let b(j) = j - 8. Let u be b(7). Which is greater: m or u?
u
Let m = 3 - 2.7. Let u = m + 0.1. Which is smaller: u or 2?
u
Let w(p) = p**3 + 4*p**2 + 4*p - 1. Let d be w(-3). Let u be (-200)/8 - (-1 + 0). Let s = u - -21. Which is smaller: d or s?
d
Let b be -1 - (0 + 10/(-27)). Let f = b - 1/27. Let z = 1/6 + f. Is -1 at least as big as z?
False
Let a = 2719/462 + -65/11. Do -1 and a have different values?
True
Let y = -49 + 244/5. Suppose 5*q - 15 = 5*b, -3*q - 2*q - 2*b = -15. Suppose -3*r + t = -1, 5*r + q*t = 4*r - 13. Are y and r unequal?
True
Suppose 0 = 4*y - 203 - 25. Suppose y = 3*k - 3. Let l be (2/k)/((-1)/6). Is l smaller than 0?
True
Let t be 13/11 - (-6 + 7). Suppose l + 3*l = 0. Suppose -x + 2 - 3 = l. Is x at most t?
True
Let g be 3172/(-1896) - 10/(-6). Are g and 0 non-equal?
True
Let a be 4/(-6) + (-35)/(-3). Is 9