 be w/(-2)*2 - o. Which is bigger: -2 or k?
-2
Suppose -3*d = -w - 96, -4 = 3*w + 4*d + 284. Let u be (18/w)/((-3)/(-2)). Are -1 and u unequal?
True
Let x = -57 + 23. Do -35 and x have the same value?
False
Let c = -0.26 - -0.06. Let j = c - 0. Which is greater: -4 or j?
j
Suppose -4 = -2*l - 0. Suppose 7 + 7 = l*v. Is 6 greater than or equal to v?
False
Suppose 0 = -2*v - 0*v. Suppose -2*s - 8 = 0, -4*h = -v*h + s - 16. Suppose 5*r - 6*c - 25 = -c, h*r = -3*c - 7. Is r bigger than 2?
False
Let c = 11 + -8. Is 0.3 at least c?
False
Let x = 25/136 + -1/17. Which is smaller: x or -1?
-1
Let c(s) = 3*s - 8. Let i be c(3). Which is greater: i or 5?
5
Suppose 31 - 34 = o. Let s be 3*(-4)/(-6)*-2. Is s equal to o?
False
Let n(j) = -j**3 + 9*j**2 + 11. Let m be n(9). Let g = -7 + m. Which is bigger: g or 1?
g
Let x = -22752537/56 - -406279. Let v = -154163/9128 - -16/1141. Let q = x - v. Is q at least as big as 2?
False
Let j be (-93)/(-51) - 3 - 4/(-4). Which is bigger: 1 or j?
1
Let z be 1 - (1 - 3/(-6)). Let o be (-1)/(66/159) + 1. Let w = 10/11 + o. Is w less than z?
False
Let r be (-6)/(-10) - (-13)/(-5). Let m be -1*(0 - (-2 - r)). Is m at least as big as -2/21?
True
Suppose -104 = -2*k + 6*k. Which is bigger: k or -2/13?
-2/13
Suppose -6*w + 2*w - 72 = 0. Let n = w - -37/2. Which is smaller: 1 or n?
n
Suppose -d = q + 2*d - 3, q = 2*d + 8. Let c be 14/q*6/21. Is -3/8 at least as big as c?
False
Let p(g) = g**3 - 7*g**2 - 6. Let h be p(7). Let n be 2/6 - 4/h. Are n and 2 equal?
False
Let y = 117 + -119. Let j be (1 + -1)/(0 - -2). Is y at most j?
True
Let k be 0 + -1 + (2 - 1). Suppose -3*f - 4 + 10 = k. Is f smaller than 2?
False
Let m = 31 + -34. Which is greater: m or -4?
m
Let n be 3/((-1)/3*3 + 4). Are -1/143 and n equal?
False
Suppose g = 2 - 0. Is g smaller than 4?
True
Let g = -0.12 + 0.05. Let w = -5.6 - -0.6. Let h = 4.9 + w. Which is smaller: g or h?
h
Let u = 148/5 - 1169/40. Let n = 6 - 0. Let w be (-10)/6 - (-4)/n. Which is greater: w or u?
u
Let l be -2 - 0 - 0/3. Let x = -0.06 + 0.36. Does x = l?
False
Let j = -68474/1625 + 548/13. Which is greater: 0 or j?
j
Let b be 1/((-246)/(-8)*(-10)/3). Which is greater: 0 or b?
0
Let c be (84/(-15))/(-4) - 2. Let l = -9 - -10. Let j be 3/l*(-2)/3. Which is bigger: j or c?
c
Let m(o) = -o**2 - 5*o + 3. Let v be m(-6). Let k be (6/(-30))/(v/5). Let y be (1 - 20/9) + 1. Which is greater: k or y?
k
Let x = 5 + -5. Suppose -d - 4*j = j - 10, 3*d + 3*j - 6 = x. Which is smaller: d or -2?
-2
Suppose 5*z + a - 12 = -0*a, 0 = z - 5*a + 8. Suppose -z*s + 1 = -3*s. Let g(h) = -3*h**3 - h**2 - 2*h - 1. Let k be g(s). Which is smaller: k or 4?
k
Let c = -19 + 18.9. Which is bigger: 0 or c?
0
Let k(t) = -9*t**3 + t**2 + 17*t + 1. Let o(d) = -4*d**3 + 8*d + 1. Let i(w) = 3*k(w) - 7*o(w). Let f be i(-4). Is f less than or equal to -4/5?
False
Let i(v) = -3*v**2 - v - 1. Let l be i(-1). Let w = l + 3. Is -1 > w?
False
Let b = -11 - -223/20. Which is greater: 1 or b?
1
Suppose 7*s = 10*s. Is s <= -4/13?
False
Let n = -1.2 + 1. Which is greater: 3 or n?
3
Suppose -4*b + 3 = -17, -5*f + 4*b = 5. Suppose -2*y + 4 = 3*n + 3, -4*n + f = y. Which is bigger: 0 or y?
0
Let c = 1/8 + -43/24. Do c and 1/4 have different values?
True
Let d be (1 - -1)/((-27)/9). Which is smaller: d or 0.09?
d
Suppose z - 4 = -1. Let a(m) = -m**3 - 6*m**2 + m + 2. Let h be a(-6). Let n = h + z. Which is bigger: -1/4 or n?
-1/4
Let g = -0.65 - -0.55. Suppose 5*m + 8 + 9 = y, -5*m - 26 = 2*y. Is y less than g?
True
Let i = -1.3 + 0.3. Let m = 26 - 38. Let r = m - -13. Is i smaller than r?
True
Let k be 4/14 + 216/(-1050). Let m(w) = w**3 + 11*w**2 + 9*w - 13. Let b be m(-10). Let d = b + 2. Are k and d unequal?
True
Let k(c) = -c**2 - 10*c + 3. Let g be k(-10). Is g bigger than 2?
True
Let g(x) = -x**3 + 7*x**2 - 3*x - 4. Let n be g(3). Let w = n + -31. Which is bigger: w or -10?
w
Let y = -5.9 + 6. Which is smaller: 1.5 or y?
y
Suppose 4*n = 0, -7*w + 2*w + 4*n = -25. Let h be 5*3/(w + -2). Is 3 <= h?
True
Let d = -14 + 14.1. Is 0 greater than d?
False
Suppose n - 2 = -5. Let m be (n/6)/(3/(-48)). Is m less than or equal to 7?
False
Let s be (-6)/4*(-340)/(-30). Let y = s + 22. Are y and 6 equal?
False
Let o = -4.7 - -0.7. Let z = o + 7. Is z smaller than 1?
False
Suppose -4*s + 18*s = -546. Which is bigger: s or -40?
s
Let t = 0.47 + 2.43. Let x = -3 + t. Let p = -0.1 - -0.2. Which is smaller: x or p?
x
Let y be 3 - (0 - 2*-1). Let c(k) = -3*k + 5. Let o be c(-8). Suppose -5*z + 5*w + 40 = 0, 2*z - 4*w - o + 3 = 0. Which is greater: y or z?
z
Suppose -2 = -3*n - 20. Let v be (2/1 + 5)/(-1). Which is smaller: n or v?
v
Suppose 153 = 5*o + 53. Suppose -o = 2*m - 0*m. Let j be ((-2)/5)/((-2)/m). Do -1 and j have different values?
True
Let h(o) = o**2 + 3*o - 6. Let t be h(-6). Let r(m) = -m**3 + m**2 + 2*m. Let d be r(2). Suppose d = -0*a + a + 3*j + t, 5*a + 4 = -j. Is 0 equal to a?
True
Let t = 85 - 86. Are t and 2/103 nonequal?
True
Let z(u) = -u**2 + u + 1. Let f be z(2). Let c be (6/27)/(f/(-3)). Let s(m) = m - 4. Let g be s(5). Which is smaller: c or g?
c
Let g = -5 + 7. Suppose -10 + g = c. Let a = -11 - c. Are -4 and a nonequal?
True
Let k = 1.6 - 2.6. Is k <= -5?
False
Suppose 9 = -5*y - 16. Suppose -30 = 3*r + 2*g + g, -4*g - 10 = -r. Is r not equal to y?
True
Let g be 9/((-36)/(-1712))*4/16. Are 107 and g unequal?
False
Let z(b) = -b**3 + 5*b**2 - 2*b + 1. Let a be z(4). Suppose -2*n = -18 + 2. Let x = a - n. Which is greater: 1/3 or x?
x
Let t be ((-8)/10)/((-2)/(-5)). Is t smaller than 5?
True
Let d = -8 - -6. Suppose 13 = 2*p - 5*v, -7 = p + v + v. Let b be p - (-3 - (-1 - 0)). Is b != d?
True
Let d = 0.12 - -0.58. Let c = d - 0.6. Which is bigger: 3/4 or c?
3/4
Suppose -1 - 1 = v. Let x = 22 + -25. Are v and x non-equal?
True
Suppose -2*m + 12 = 5*g, g + 2 - 14 = 2*m. Suppose -5*y - g = -y. Let s be 0/(-2) - 1 - y. Is s > -2?
True
Let y = -22 + -23. Which is greater: y or 2/7?
2/7
Let c = 0.58 + -0.28. Is -9 at most c?
True
Let f = -5 - -9. Suppose f*m - 9 = -5*z, -2*m = z - 3*z. Is z >= -2/5?
True
Suppose -x = 2*l + 2*x - 6, -5*l + 5*x = -15. Which is smaller: l or 4?
l
Suppose i + 3*p + 7 = -p, -i - 3*p - 5 = 0. Let y be (i/(-3))/(22/99). Is -1 at least as big as y?
True
Let t be ((-1)/2)/(51/12). Let o = 5.8 + -15.9. Let l = -10 - o. Which is greater: l or t?
l
Let r(o) = -o**3 + 5*o**2 + 10*o - 8. Let v be r(6). Let u = -7 + v. Is u at most as big as 9?
True
Suppose 0*h + 26 = -h - 5*g, 24 = h - 5*g. Suppose -2*x - 1 = o, 3*x - 6*x + 5*o - 8 = 0. Do h and x have the same value?
True
Let w = -15 + 17. Which is smaller: 3 or w?
w
Let k = 45 - 18. Suppose k = 5*r + 2. Suppose -z - 4*p = 10, -38 = -2*z - z + 5*p. Is r less than z?
True
Let n = -8 + -1. Let s = n + 9. Which is greater: s or 2/9?
2/9
Let d = -300 + 5698/19. Which is smaller: d or 0?
d
Let d(s) = -s**2 - 5*s - 7. Let y be d(-3). Let i = 2 + -2. Suppose i = n - 0*n + 2. Which is bigger: y or n?
y
Suppose 6*x - 12 = 3*x. Suppose 2*z + x = -4. Are z and 1 unequal?
True
Let i be 3 + -1 + 1 - 2. Let n be 5/(15/(-24)) - -2. Let c = n + 7. Is i less than or equal to c?
True
Let n be 1 - (1 + (-6)/(-33)). Are -1 and n nonequal?
True
Let p be ((-9)/15)/(18/(-45)). Is 0.4 at least p?
False
Let x = 576 + -36865/64. Which is bigger: x or 0?
0
Let w = -0.07 - 0.06. Is w less than 1/4?
True
Let x be 32/14 - 6/21. Suppose -x*y = 3*k + 6, -2*y = -0*k + k + 2. Is y <= -2?
False
Suppose 5*m + 2 - 17 = 0. Let f be m/3 + -1 + 0. Let h be (0 + (-1)/(-6))*(-13 - -12). Is h greater than f?
False
Suppose 2*p + p = f + 6, -4*f = 3*p - 6. Suppose 4 = -4*c - f. Let s be 3 + (c - 0/(-3)). Which is smaller: s or 4/5?
4/5
Let j = 472/21 + -67/3. Is j smaller than -1?
False
Let o be (-8)/3 - (-1)/(-3). Let i be ((-15)/50)/(o/(-4)). Which is greater: 1/6 or i?
1/6
Let x = 52 + -49. Let m = -3.2 - -3. Which is bigger: x or m?
x
Let x = -68 - -87. Is 18 smaller than x?
True
Suppose 4*f - 21 = b, 3*b + 2 = 11. Is f smaller than 6?
False
Let d be 8/108*2/(-20). Does 0 = d?
False
Let i = 302/123 + -5/41. Is -1 bigger than i?
False
Suppose 11 + 37 = -4*w + 4*p, 2*p = -2*w - 4. Is w less than or equal to -7?
True
Suppose 5*r - 267 = c + 3*c, -2*r - 10 = 0. Is -74 greater than or equal to c?
F