 0*d = -d. Is n bigger than w?
False
Let w = -8 + 8. Suppose w = -2*r - k, -26 = -5*r - 0*r + 4*k. Suppose 7 - r = -5*o. Is o > 5?
False
Let u be 18*(-1 - 1)/4. Let x be 20/u - (-6)/27. Let l be (-33)/36 - 1/(-4). Does x = l?
False
Suppose 0*g - 4 = 2*g. Let c be 230/8*7/35. Let a = -29/4 + c. Which is smaller: a or g?
g
Let d be (-40)/(-24) + 2/6. Suppose d*v = -2*m - 3*m + 10, 5*m - 10 = 4*v. Which is greater: 2/5 or v?
2/5
Suppose 0 = 2*g - 8 + 10. Suppose 3*z - 3*u = 7*z - 4, 0 = 2*z + u. Let p be 2/(2*1/z). Is g <= p?
False
Suppose -3*a + 3*d - 18 = -a, -a = 3*d - 9. Let b be a/6*-1*6. Suppose -4*n + 39 = 9*n. Is b > n?
False
Let g = 36 - -11. Which is greater: g or 2/5?
g
Let z = 12 + -23. Which is bigger: -10 or z?
-10
Let h be (-9)/3 + 297/59 + -2. Which is smaller: 1 or h?
h
Suppose -2*l + 0*o = -5*o + 27, -4*o + 19 = l. Let q be l*(-1 - (-9)/15). Let m = 1/39 - -71/273. Is q less than m?
False
Let j = -5 - -3.6. Let t = j + 2.4. Which is greater: t or 6?
6
Let g = 9 + -3. Let v = -4 + g. Let l be v - (2 - 0)/4. Which is bigger: l or 3?
3
Let z = -0.05 - -0.05. Which is bigger: z or -2?
z
Let r be 0*(25/10 + -2). Which is greater: 5/6 or r?
5/6
Let o = 15.7 - 17.7. Which is bigger: o or -22/9?
o
Let r = 0.9 - 0.5. Let x = -0.5 + r. Which is bigger: x or -0.2?
x
Let d be -1*(0 - 246/3)/(-2). Which is bigger: -42 or d?
d
Let u = 0.05 - 18.05. Let o = -17 - u. Is o < 0.02?
False
Let r be -3*1*4/3. Let b = r - 0. Is -4 at most b?
True
Let j be -3 - ((-3)/21)/(2/38). Is 0 at most j?
False
Let b be ((-16)/(-28))/((-4)/(-28)). Which is smaller: 5 or b?
b
Let f(y) = 4*y + 5. Let t(w) = w**3 + 4*w**2 - 5. Let c be t(-4). Let m be f(c). Let n be m/(-36) + (-2)/(-8). Is n less than or equal to 0?
False
Suppose -5 = -3*l + 8*l. Let q be (0 - (2 + -3))/(-1). Let x = l + q. Is x bigger than -3?
True
Suppose 3*a - 11 = -14. Do a and 4/31 have different values?
True
Let p(c) = -c**3 + 10*c**2 - 17*c + 4. Let x be p(8). Which is greater: x or -7/2?
-7/2
Let s be (4/65)/(1/(30/(-372))). Are s and 0 equal?
False
Suppose 0 = -b - b. Let s be ((-2)/(-3) + 2)*6/4. Suppose 0 = -s*v - b*v - 4. Which is smaller: v or 7?
v
Let p be 7/(1/(-12)*(2 + -4)). Which is smaller: 41 or p?
41
Let f = -6 - -2. Let l = f - -6. Let h be 2/(-6) - (-2)/(-3). Which is smaller: l or h?
h
Let j be (52/28 + -2)*3. Which is smaller: j or -2/7?
j
Let w be (-2)/8 + 2/8. Let n be (-1)/(w - (1 + 0)). Suppose -5*p - 4*h + 17 = 0, -4*p - 5*h + 15 + 4 = 0. Is p < n?
False
Let l be (-21)/9 - (-4 + 1). Let n = -2 - -2. Is l > n?
True
Let y(v) = 9*v**2 + 8*v + 5*v**3 + 15 - 4*v**3 - 5. Let j be y(-8). Let c be 2/3 - j/6. Which is smaller: -3/7 or c?
c
Suppose 0*m = -2*m + 10. Suppose 4*b - f - 9 = -0*f, 0 = -m*b - f. Which is smaller: 3/4 or b?
3/4
Suppose 16 = -4*f - 16. Let u = 41 + -47. Which is greater: f or u?
u
Let t = -5.18 - -0.18. Let b be (-18)/24 - 1/(-2). Is b less than or equal to t?
False
Let t = 1.6 - 1.5. Let p = 1 - 2. Let f = p + 0.9. Is f < t?
True
Suppose 3*i = 245 + 100. Let l be (-28)/i + (-3)/(-15). Which is greater: l or -1?
l
Let o be -7*2/4*2. Let k = 10 + o. Suppose -4*s - 3 = -3*t, 0 = -k*t + 2*t + 3*s + 1. Is t < -2/7?
False
Let u = 277/9 + -31. Is -1 equal to u?
False
Suppose -6 = -5*v + 4*k - 4, -2*k = v + 8. Are v and -2 non-equal?
False
Let r be ((-16)/6)/((-6)/(-18)). Let b be (-27)/60 + (-2)/r. Let c = 0 + b. Which is smaller: -1 or c?
-1
Suppose -4*p = 5*u - 92, -2*u + 4*p + 0*p + 48 = 0. Which is greater: 21 or u?
21
Let y(p) = 2 - 2*p**2 - 5 + 2*p**2 - p**3. Let m be y(0). Let q = 2 - 6. Which is smaller: q or m?
q
Let t be (1/2)/(9/(-2)). Suppose -2*x + 0*c = -2*c + 4, 4*c = x + 8. Is x greater than or equal to t?
True
Let v = 16 + -6. Let s = v - 14. Let x = -7 - s. Is x > -3?
False
Suppose -4*f - 5 = f, 5*n - 5*f + 550 = 0. Is -110 at most n?
False
Let y = 123/5 + -2839/115. Are -1 and y unequal?
True
Let a be 5/(-50) + (-3)/20. Let h be 16/(-10) - (0 + -1). Which is greater: a or h?
a
Let i = -117/2 + 323/6. Does i = -5?
False
Let o(k) = 2*k**3 + k**2 - k - 1. Let z be o(-1). Let p(r) = -3*r - 12. Let c be p(-5). Is z greater than c?
False
Let n = 1213/60 - 79/4. Let z be 2 + -4 - 6/(-5). Let x = z + n. Are 1 and x equal?
False
Let v = 0.2 - 0.4. Let c = -0.1 - v. Let i(z) = z**2 - 5*z + 3. Let l be i(3). Is l not equal to c?
True
Suppose n - 4*x - 11 = 0, -18 + 1 = 2*n + 5*x. Are -1 and n unequal?
False
Let n = 0 - 0.1. Let j be (6/8*16/(-20))/(-3). Which is smaller: j or n?
n
Let r(p) = p**3 + 9*p**2 + 5*p + 3. Let o be r(-9). Let h = o + 30. Is h <= -12?
True
Let s = 13.3 + -12.6. Are 0.01 and s unequal?
True
Let z be ((-6)/2)/(-3) - 1. Suppose z = -0*c - 2*c. Let q = 1 + c. Are q and 4/7 nonequal?
True
Let l be (-36)/15 - (2 + -4). Which is smaller: l or -1?
-1
Let t = -9 - -15. Which is smaller: t or 5?
5
Suppose 0*c = c. Let b = 1 + c. Is b bigger than 3/5?
True
Suppose -5*w + n + 172 = -2*n, 2*n = w - 40. Which is greater: 31 or w?
w
Let q be (2/(-4) - -1)*-2. Let p be (-2)/q*(-2)/16. Suppose -3*k = -4*s + s - 3, -4*k - 3 = 3*s. Which is smaller: k or p?
p
Suppose v = 8*v. Suppose -b + 0 - 1 = 0. Which is greater: b or v?
v
Let x = -4 - -7. Let h be (x/15)/((-4)/30). Is -1 at least as big as h?
True
Let w be (-3 - (-39)/15)*15/(-6). Which is bigger: 4 or w?
4
Suppose 0 = -2*w - 3*w. Let b be (-6)/(-21) + 2 + -2. Are w and b unequal?
True
Let p = 165 - 87. Let f be (-2)/(-7) + p/21. Suppose -2*q = -10 + 4. Which is bigger: f or q?
f
Let h be (168/16)/((-2)/(-8)). Suppose -18 = -45*p + h*p. Suppose k - 7 = -2. Is k less than p?
True
Let q be (72/16)/((-3)/1). Is -3 greater than q?
False
Let d be (-13)/3 - 1/(-3). Suppose 21 = -2*h + 3. Let a = d - h. Is 5 less than or equal to a?
True
Suppose -7*p + 5 = -2. Is p bigger than 3/8?
True
Let r = 5.1 + -5. Let y = -15.08 - -15. Is y greater than r?
False
Let o be 184/20*(-35)/(-63). Which is bigger: 6 or o?
6
Suppose -3*q - 2*r = -7*q - 8, 3*q = -2*r - 13. Let b be -1*(-8)/6*-3. Which is greater: b or q?
q
Let v = 216615/31 + -6987. Let b = v + -224/279. Is -1 greater than or equal to b?
False
Let f = -1.82 - -0.02. Let s = f + 1.5. Which is bigger: 0.3 or s?
0.3
Suppose -o = -3*i + 16, 6 - 18 = 4*o + i. Is -4 greater than o?
False
Let p(w) = w**3 - 25*w**2 + 24*w. Let z be p(24). Let a be (2/7)/(9/7). Which is smaller: a or z?
z
Let g = -24.1 - -24. Is 2 >= g?
True
Let x = -22 - -6. Let n = x - -18. Which is smaller: n or -1?
-1
Suppose -4 = -c + 4. Let q be (8/6)/(c/(-924)). Let b = 1384/9 + q. Which is smaller: -1 or b?
-1
Suppose m + 4 = q + 18, 0 = -4*q - 5*m - 11. Is -8 at least as big as q?
True
Let v be -3 - -1 - (10 - -8). Which is smaller: -21 or v?
-21
Let a = 114 - 243/2. Which is smaller: a or 1/3?
a
Let p(g) = g**3 - 7*g**2 + 17*g - 29. Let s be p(5). Let m be 1*7*12/14. Do s and m have different values?
False
Let s = 1.93 - -0.07. Let j = -1.97 + s. Let q = 4/5 - 2/5. Which is greater: q or j?
q
Let k = 28 - 26.1. Is k at least -0.2?
True
Let t = -16.2 + 1.2. Let y = t + 15. Which is smaller: -13 or y?
-13
Let v = -53 + 1273/24. Let l(q) = q**2 + 8*q + 1. Let w be l(-8). Which is smaller: v or w?
v
Let m = -12 + 7. Let c be m*(-1 + (-3)/(-5)). Suppose 2*l + 2*l + 5*t + 3 = 0, -c*l + t = 5. Are l and 0 equal?
False
Let b = 1/424 - -101/2120. Is b at most 0?
False
Let b = -3/2303 - 98414/472115. Let t = 2/205 + b. Is t at most as big as 0.2?
True
Suppose 0*x - 15 = -x. Suppose -5*i + 11 + 2 = -3*g, x = 3*i. Let k(a) = a**2 - 6*a + 5. Let h be k(g). Which is smaller: h or -4?
-4
Suppose -3*p + 412 = p. Suppose p = 2*c - 23. Let u be 2 + 3/(c/(-30)). Is 0 <= u?
True
Suppose -2*t + 7 - 2 = -q, 5*t + 2*q - 35 = 0. Suppose -5 = -t*a + 5. Suppose -h - 3 = a*h. Is h <= 2/7?
True
Let m be 288/147 - (5 + -3). Does m = -1?
False
Suppose -2*y + 4 = -4. Is y less than or equal to 0.06?
False
Let b be 1/((-8)/(-2) + 2). Let a be 4/(-10) + (-156)/(-15). Let d be a/8 + (-3)/12. Is b less than d?
True
Suppose -2*r + 3 = -5*r. Do r and -2/19 have the same value?
False
Let h = -3 - -9. Let p(x) = x**3 - 8*x**2 - x - 7. Let d be p(h). Let s be d/(-30) - (-1)/(-3). Is s greater than 3?
False
Let k be ((3 - 1) + -3)*1. Let b be 151/12 + k/4. Let v = b - 12. Is v > -1/6?
True
Let x = 60 + -239/4. Which