ppose 0 = 4*r - 3*h + 8, 6*h - 20 = -4*r + 2*h. Let l be -4 - 1/r - -3. Do -5/9 and l have the same value?
False
Let m(h) = h**2 + 2*h - 25. Let z be m(-6). Is z greater than 5/13?
False
Let o = -5.6 - -5.4. Let c = -6.1 - -6. Which is greater: o or c?
c
Suppose j + 5 = -3. Let n be 2/j + (1 - 1). Let y be 1 + (-20)/5 + 2. Is y <= n?
True
Suppose 3*y = -0*l - 5*l + 1, y = l + 11. Suppose 17 = 4*b - y. Let w(j) = -j**3 + 6*j**2 + j - 7. Let k be w(b). Which is smaller: 2/23 or k?
k
Let d be (-2)/5 + (-6)/30. Which is greater: d or -0.1?
-0.1
Let w = -17 - -5. Let a = 2/31 + 27/62. Which is smaller: a or w?
w
Let j be (-6)/15 + (-13)/5. Which is greater: j or -4?
j
Let q be 1 + (-1)/(1/5). Let h be 12/(-16)*q/(-6). Let k = -0.19 + 0.09. Do h and k have the same value?
False
Let c = -6.5 - -6.6. Which is smaller: -0.5 or c?
-0.5
Let q be 4/(-14) + 18/14. Suppose 5*s = -2*l + 10, 0 = 5*s - 4*l + 5*l - 15. Is s at most as big as q?
False
Let j = 794/7 - 113. Let s be 16/(-18) - (-3)/(-27). Do j and s have different values?
True
Let c be (-2 + 140/25)/((-11)/5). Which is smaller: -1 or c?
c
Let o = -147 - -170. Is -0.1 > o?
False
Let o be 4/6 - (-4)/(-6). Let z be 2/4*o/3. Suppose -5*u - 5*i - 5 = z, -5 = -5*u - 2*i - 4. Is u at least 1/7?
True
Let u(n) = -n**2 + 5*n - 2. Let z be u(4). Suppose z*b + 4*i = -2*b - 56, 49 = -5*b + 2*i. Is b less than -10?
True
Let k be (-28)/4*((-20)/238)/5. Let m be 1/(2/(-2) - -2). Which is bigger: k or m?
m
Suppose 5*v + 3*l - 12 + 1 = 0, -4*l + 6 = -2*v. Are v and 8 unequal?
True
Let l = -18 + 12. Suppose 0 = 3*v + 6. Let m be 105/(-14)*v/(-3). Which is greater: l or m?
m
Let q(m) = 4*m**2 - 1. Let l be q(1). Suppose 0 = l*h + 3 - 0. Is 3/7 equal to h?
False
Let o be (0/(2/2))/1. Let m = o + 2. Let a be (1/6)/((-1)/m). Which is smaller: a or -2/5?
-2/5
Let p be (-3)/(-5)*1/(-4). Are -0.1 and p equal?
False
Let u be ((-3)/18)/((-1)/4). Is 1 greater than u?
True
Let s be 4/(-8)*(8 - 2). Is -1/5 greater than s?
True
Let c be ((-1)/4)/(1/(-12)). Suppose -3 = c*a - 3*b + 6, 4*a = b. Let x = -568/5 + 114. Is x <= a?
True
Let u be (20/16 - 4/16)/1. Are 3 and u nonequal?
True
Let r(x) be the second derivative of x**6/120 - x**5/60 - x**4/24 + x**2 - 3*x. Let q(n) be the first derivative of r(n). Let m be q(0). Is m smaller than 0?
False
Let r be ((-45)/12 + 4)*8. Suppose l = -r + 6. Which is smaller: -1/4 or l?
-1/4
Suppose 4*d + 44 - 8 = 0. Are -31/3 and d equal?
False
Let o = 0.034 - 0.134. Let h = -2 - 2. Is h greater than or equal to o?
False
Let g be 5/2*(-16)/(-20). Suppose 3*q - 7 = y, -17 = -3*q + 3*y - g. Let c be 8*(-6)/20 - -2. Which is bigger: c or q?
q
Let c(j) be the first derivative of -j**4/4 + 4. Let y be c(-1). Let a = -0.2 - 1.8. Is y less than or equal to a?
False
Suppose 0 = m - 0 + 3. Let b be 0 + (m - -2)*-1. Are 0.2 and b nonequal?
True
Let m be (-100)/(-22)*(-20)/75. Let q = m + -16/11. Which is smaller: -4 or q?
-4
Let m = 2 - -1. Let c be ((-1)/3)/(1/m). Do c and -1 have the same value?
True
Suppose 26 - 18 = 2*f. Let n = 2 - 0. Let w = f - n. Is 2 less than w?
False
Let c = -0.1 + 0. Let l = -8.54 - -0.54. Which is bigger: c or l?
c
Suppose -4*x + 5 = 2*b - 29, -5*b = 5*x - 55. Suppose -x = z - 4*z. Which is bigger: z or 7/3?
7/3
Let x = 2698235/318 - 8485. Let p = -2263/106 + x. Let v = p + 521/24. Is v smaller than 1?
True
Let j(w) = -2*w - 2. Let m be j(-2). Suppose 8*o - 12 = 4*o. Suppose v + o = 4*v. Is m greater than v?
True
Let i = -39 + 64. Which is greater: i or -1?
i
Let r = -1245/28 + 179/4. Suppose 0 = 2*i - 7*i. Is i smaller than r?
True
Let d be (-126)/88 + (-2)/(-11). Let l(m) = m - 6. Let u be l(6). Are d and u nonequal?
True
Let u be (-3 - 0) + (-35)/(-12). Which is smaller: 0 or u?
u
Let g be ((-2)/40)/((-1)/18). Let b = g - 2/5. Is b at least 1?
False
Let o(c) = -2*c**2 - 3. Let y(t) = t**2 + t + 3. Let q(n) = -2*o(n) - 3*y(n). Let k be q(4). Let z = 2 - k. Which is bigger: 1/4 or z?
z
Let d = -42 - -26. Is d at most as big as -18?
False
Let p = 132 + -1450/11. Suppose 2*b - 16 = -2*b. Suppose -b*r = 4*c + 8, -6*c - 4 = -5*r - 4*c. Which is greater: p or r?
p
Let h = -119701/13131 - -7/1459. Let a = -428/45 - h. Is 0 > a?
True
Let m = 9/4 + -3. Let x(g) = g - 7. Let c be x(5). Which is bigger: m or c?
m
Suppose z + 1 = 0, -3*g - z + 1 - 2 = 0. Let r be (8/(-14))/(g - -2). Let c = -229/390 + -1/78. Which is greater: c or r?
r
Let k = 56 + -225/4. Which is bigger: k or 0?
0
Let w = 0.01 - 0.12. Let x = w - -0.71. Do x and 2 have different values?
True
Suppose -4*j = -16, -6*w + 4*j + 14 = -w. Let u = w - 7. Is -5/4 less than u?
True
Let f = -3557/752 + 75/16. Which is bigger: f or 1?
1
Let y = -42 - -40. Which is greater: -9/14 or y?
-9/14
Suppose 10 = -4*p - p. Suppose 2*l - 2*q = -14 + 6, -5*l - 12 = -q. Are p and l unequal?
False
Let t be (1 + -5)*(-2)/4. Suppose -t*x + 42 = -0*x. Let y be (-4)/14 - 15/x. Do -1 and y have the same value?
True
Let v be (-6)/(-6)*2/30. Let s = 13/45 - v. Let p = -5 + 4.6. Is s less than or equal to p?
False
Let p be (155/(-10))/((-4)/6). Let b = 25 - p. Suppose -2*d + 0 + 4 = 0. Which is smaller: b or d?
b
Suppose -2*z - 3*z = 2*k + 111, 134 = -3*k - z. Which is greater: -42 or k?
-42
Let l = 5 - 13. Which is smaller: -13/2 or l?
l
Suppose -2*t + 0*y - y = 8, -22 = 3*t + 4*y. Let r be (4/(-16)*0)/t. Does 1 = r?
False
Let s = -7 - -9.5. Let p = s - 0.5. Which is smaller: p or 0?
0
Suppose 3*q + 96 = 7*q. Let m = q - 95/4. Which is greater: m or 1?
1
Suppose 0 = 5*h + 4*n - 73 + 11, 0 = -5*n - 10. Suppose -3*b + 30 = -b. Which is greater: h or b?
b
Suppose -3 = -p - 2. Let u be p/(-3)*(-2 + 23). Which is bigger: -6 or u?
-6
Let s = 0.04 - -0.06. Let n = 98 + -492/5. Do s and n have the same value?
False
Suppose -4*c = -4*l, 4*c + 0*c = 2*l + 4. Let i be (1 - (-1)/l) + -2. Let x be ((-1)/(-5))/((-18)/(-45)). Which is bigger: i or x?
x
Let s(v) = -v**2 - 5*v + 6. Let y be s(-7). Is -16 at least y?
False
Let s = 0 + -0.2. Let d = 0.12 - -1.88. Is d equal to s?
False
Suppose 5*c - 10 = a, -3*a = 3*c - c - 4. Which is greater: a or -2/7?
a
Let d(z) = -z + 7. Let w be d(5). Let l = -2 + w. Let b = l - -1. Are 0 and b non-equal?
True
Let h(m) = -m**3 - m**2 + 1. Let a be h(-2). Let q(b) = -b**2 + 5*b. Let l be q(a). Suppose 0 = -6*y + y + 10. Is l bigger than y?
False
Let i be 1/(-4) - 18/(-8). Let a be (-1 - -3) + 6 - i. Let l = -2 + a. Is l bigger than 4?
False
Let w be (1/(-1) + 0)/(8/72). Is -43/5 greater than or equal to w?
True
Let o be (-4 + 10)*(32/18 - 2). Does o = 0?
False
Suppose 10*t - 6*t - 76 = 0. Let z = 19 - t. Is z != -3/5?
True
Let o(t) be the second derivative of -t**4/12 - t**3/3 + t. Let p be o(-2). Suppose p = 5*y + 3*n - 23, -1 = 3*y - 2*y + 2*n. Does 7 = y?
True
Let c = -14.7 + 2.7. Let h = -10 - c. Let w = 189/4 + -47. Is h bigger than w?
True
Let d(s) = s**3 - 3*s**2 - 4*s - 12. Let a be d(5). Is 18 != a?
False
Let r = -7 - -13. Let n be 2/4 - 3/r. Suppose -c + 21 = 4*z - 6*c, -4*c = 4*z + 24. Are z and n non-equal?
True
Let n = -0.3 - -2.3. Let x = n - 2.1. Which is smaller: x or -0.07?
x
Let w = -80 - -1361/17. Is 0 <= w?
True
Let z(d) = d**2 - 4*d + 5. Let y be z(7). Let p be -3 - y/(-2)*1. Suppose p = 4*x + x. Is 1 <= x?
True
Let w = 2 - 0. Let l = w - 5. Let y = 6.2 + -6. Is y less than or equal to l?
False
Suppose 0 = 2*a + 34 - 18. Which is bigger: a or -2/21?
-2/21
Let g(k) = -10*k + 10. Let w be g(2). Which is smaller: -34/3 or w?
-34/3
Suppose 4*j + 5*x - 1 = 0, 3*j - 4*x - 27 = x. Let y be ((-104)/(-12))/(j - 6). Which is smaller: y or -5?
-5
Let p = -4 + 11. Let l = p + -7. Suppose 3*u = -2*v + 16, l*u - 14 = -3*v - 2*u. Which is bigger: 0 or v?
v
Let b(p) = p + 7. Let z be b(-7). Which is smaller: -4/5 or z?
-4/5
Let r(h) = -h**3 + 7*h**2 - 6*h - 3. Let w be r(6). Let x be (2/(-3))/((-2)/w). Which is greater: -2/15 or x?
-2/15
Let g be 96/(-64)*(-16)/486. Is 0 at most as big as g?
True
Let f = -229/3 - -77. Let a = 287 + -2015/7. Which is greater: f or a?
f
Let w = 1 - 1. Let p = -14 + 44/3. Do p and w have the same value?
False
Let p(n) = n + 6. Let d be p(7). Which is smaller: d or 12?
12
Let s(v) = -v**3 + v**2 - 2. Suppose 0 = -4*c + c. Let u be s(c). Let t be ((-8)/(-132))/(u/6). Which is smaller: t or 0