 -q**2 - 6*q - 5. Let o be w(-5). Suppose o = c - 6*c - 25. Is c < -4?
True
Suppose 3 = -a, 4*g + 4*a = g. Suppose g*r = r + 6. Is 1 at least as big as r?
False
Let r = 3 + -2. Let w = 6 - 0. Does r = w?
False
Let u = -4 - 28. Let h = u - -65/2. Which is bigger: 1 or h?
1
Suppose -d = -0*d - 5. Let h = 9 - d. Let u be (12/18)/(h/6). Do -2/9 and u have the same value?
False
Suppose -5*a - 2*s = -0*a - 30, -a + 5*s + 6 = 0. Do a and -1/6 have the same value?
False
Suppose v - 2*k = -0*v + 1, 5*v = 3*k + 12. Suppose -2*w = v*w - 40. Let i be (6/w)/((-2)/8). Which is smaller: 1 or i?
i
Suppose 5*q + 0*q - 45 = 0. Suppose 0 = 4*u - 3*m, -4*m + 29 = -3*u - q*m. Which is smaller: u or -4?
-4
Let u = -4.7 - -2.7. Which is greater: -2/7 or u?
-2/7
Suppose 0*t - t = 32. Let q = 191/6 + t. Is -1 at most q?
True
Let q be 4*(-2)/(-6) + -1. Suppose 13 = -4*z + 3*p, 2*z + 10 = -6*p + 4*p. Let o = z + 3. Which is smaller: o or q?
o
Let m = -0.22 + 0.15. Let q = m + -0.03. Is -0.03 <= q?
False
Suppose -2*s + y + 22 = 0, 0 = -4*s - 4*y + y + 34. Is 10 at most s?
True
Let n(l) = -l**3 - 30*l**2 - 29*l - 43. Let i be n(-29). Which is smaller: i or -1?
i
Let h(a) = -a**2 + 27*a - 112. Let r be h(21). Suppose 0*m = 5*m - 75. Is m less than r?
False
Let p(x) = 5*x**3 - 5*x**2 + 13*x + 5. Let g(u) = -u**3 + u**2 - 3*u - 1. Let z(s) = 9*g(s) + 2*p(s). Let d be z(1). Which is greater: d or 2/13?
2/13
Suppose -u + 2*l = -12, 4*u - 42 = 2*l - 0*l. Suppose -4*i + f - 8 = -i, 4*i = f - u. Let t(z) = -z**3 + z**2 - 2. Let m be t(0). Is i <= m?
True
Let o = 0 - -2. Let z = 2.01 - 0.01. Let l = z - 3. Is l bigger than o?
False
Let w = 4 + -8. Let j be -2 + w - -2 - -1. Let t = 0.2 - 0.2. Is j greater than t?
False
Let q = 0 + 3. Let z be 27/6 + q/(-6). Let f be (z/10)/((-1)/5). Is f smaller than -3/2?
True
Let l be (-590)/(-348) - 4/(-24) - 2. Are l and 1 unequal?
True
Let a(n) = n**3 - 11*n**2 - 4*n - 14. Let k be a(11). Which is smaller: k or -59?
-59
Suppose 11 + 13 = 4*b. Let o be (5/20)/(b/(-8)). Let j be 1/(1/(-1)) + 2. Which is bigger: o or j?
j
Let x = 0.28 - -11.02. Let w = -12 + x. Let o = w + -0.3. Which is greater: o or -3?
o
Suppose -3*v + 86 = 4*l - 34, 0 = -2*v - 3*l + 81. Let h be (-26)/v + (-4)/(-18). Is 2/3 greater than or equal to h?
True
Let i = -2 + 2. Let d = 1 - i. Let g = -22/13 + 172/117. Which is smaller: g or d?
g
Let v be -4 + 1 - 771/(-195). Let g = -15/13 + v. Is 0 <= g?
False
Let t(r) = r**3 + 14*r**2 - 3*r + 14. Let d be t(-14). Let b be -3 + (-68)/d*-2. Is b at most as big as -1?
False
Let w = -8 - -4. Let c = -17 + 9. Let p be ((-3)/(-2))/(w/c). Which is bigger: p or 2?
p
Let c = 6 - 3. Which is bigger: c or 2?
c
Suppose -4*x - 4*r = -216, -134 = -4*x - 2*r + 88. Which is smaller: x or 58?
x
Let x(u) = -u - 1. Let j be (0 - -2)/(4/6). Suppose 0 = -5*t + j*t. Let l be x(t). Which is bigger: -2/17 or l?
-2/17
Let g = -143/2 - -995/14. Let u = 29 - 29. Suppose u = -5*f - 4 + 9. Which is smaller: f or g?
g
Let r be 38/78 + (-1)/3. Let w(h) = h**2 + 3*h - 7. Let x be w(-5). Suppose x*n = -0*n. Is n > r?
False
Let p be 8/12 + (-10)/6. Let c be (0/p)/((-8)/(-4)). Let g be (-1)/4 + 5/(-12). Is g at least as big as c?
False
Let f be (-13)/(-26) - 2/12. Is f less than 1/4?
False
Let f(j) = j**2 + 6*j + 3. Let n be f(-5). Let z = 1 + -3. Is n bigger than z?
False
Suppose u = -2*u - 15. Let y(i) = -i**3 + 4*i**2 - 3*i - 2. Let s = 24 - 21. Let k be y(s). Is u smaller than k?
True
Let n be ((-4)/8*9)/((-3)/(-4)). Do -6 and n have the same value?
True
Suppose -4*m - 5*y = 14, 7 = -5*m - 2*y - 2. Let o = -395 - -8291/21. Let x = -37/84 - o. Is x at most as big as m?
False
Suppose -4*n - 4*o = -36, -2*o - 3 = -2*n + 7. Let y(k) = 2*k - 10. Let f be y(n). Suppose -q + f*q - 19 = 5*t, 5*t + 16 = 2*q. Is -3 less than t?
True
Let x be 4/(-20) + 4/(-5). Let s be 3/(-4)*(19 + 4). Let b = 17 + s. Is b > x?
True
Let b = 10 - 2. Let n(i) = i**2 - 2*i + 1 - 7*i + 5. Let u be n(b). Is -1 < u?
False
Let z = -5.1 - -5. Let g = 8 + -3. Suppose 0 = 4*f + u - g, -4*f + 2*u = 4*u - 10. Is f greater than or equal to z?
True
Let u = 0.2 + -0.24. Let o = u - -0.3. Let b = 0.04 + o. Which is greater: b or -0.1?
b
Let c be 4/(-6) + (-42)/(-9). Suppose -33 + 9 = c*b. Let i = b + 8. Are 0 and i nonequal?
True
Let h be (-7)/((-28)/(-12)) - -2. Which is smaller: h or 3?
h
Let s = -0.11 + -5.89. Is s not equal to -0.1?
True
Suppose 0 = 4*h - 4, -m - 2*h = 3*h - 7. Let r be m - (-2 + (2 - 3)). Which is smaller: r or 4?
4
Suppose 2*l - 80 = -6*l. Is 7 greater than l?
False
Let y = -3 - -21/8. Which is smaller: -1 or y?
-1
Let n = -2.9 + 3. Let g = 2 - -6. Suppose i = 2*t + g, 0 = i + 2*t - t - 2. Is i > n?
True
Let l = -1.6 - -1.44. Let j = 0.04 - l. Are 0 and j equal?
False
Let k be ((-63)/28)/(6/32). Let v be (-1)/1*(k + 13). Let n = 0.1 - 0.2. Which is smaller: v or n?
v
Let n = -44 + 27. Let c = -16.8 - n. Which is smaller: c or -0.1?
-0.1
Let z = 93 + -192. Let y be z/154*(0 + 2). Is 0 equal to y?
False
Let v = 0.5 - 0.7. Let x = 5 - 4.7. Let a = v + x. Is a <= -0.2?
False
Suppose -3*m = 2*m - 60. Suppose -4*d + 0 = -m. Suppose 0 = 3*w - 4*j + 8, d*j - 6*j = -4*w + 1. Which is smaller: w or 3?
3
Let k = -3 + 3. Let u = -1 + k. Do u and -1/15 have the same value?
False
Let m(y) = -y + 10. Let q be m(12). Let w be 0 - (-1 + -1) - q. Is w at most as big as 5?
True
Let d be 4/(-24) + (-119)/(-30). Which is greater: 3 or d?
d
Let r = 220/1071 + 2/119. Is r at most as big as 0?
False
Let t = 20 + -12. Is -2 greater than t?
False
Suppose 4*c - 15 = -h, 3*h - 3*c - 13 = c. Let m = 17 + -11. Is m > h?
False
Let b(s) = s**2 - 1. Let n be b(2). Suppose -4*a - 2 = u, n*u + 4 + 2 = -5*a. Which is greater: a or -2/7?
a
Let t(p) = 1 + p + p + 2*p - p**2 - 2*p. Let s be t(2). Which is bigger: s or 2?
2
Suppose k = -4*h + 19, 4*k = -h + 2*k + 3. Let r = 1 + 2. Let u = h - r. Is u smaller than 1?
False
Suppose 0 = -16*x + 17*x - 70. Let b = -489/7 + x. Which is smaller: b or -2/3?
-2/3
Let y = 3 - 4. Let w = 1.1 + y. Which is greater: 0 or w?
w
Let v(q) = q + 1. Let z(k) = -4*k - 7. Let a(p) = 5*v(p) + z(p). Let w be a(4). Which is smaller: 1 or w?
1
Let s = -45 - -38. Which is smaller: -37/5 or s?
-37/5
Let l = -4.2 + 4.26. Is l less than -1?
False
Let p = 5 + 3. Suppose a + p = -3*a. Suppose 12 = -4*s - 0. Is a at least s?
True
Let c = 4.14 - 0.14. Are 0.1 and c non-equal?
True
Let p = 7 - 10. Let r = p - -6. Suppose -j + r = 4. Is j > -2?
True
Let c = 11 + -7. Suppose 2*z = 2 + c. Let n(h) = 2*h**2 - 4*h + 3. Let i be n(2). Do z and i have different values?
False
Suppose 873 + 597 = -6*z. Let v be (-6)/15 - 7334/30. Let b = z - v. Which is smaller: 0.1 or b?
b
Suppose 2*p - 5 = 17. Let a be (-9)/2*32/(-12). Does p = a?
False
Let t = -3 - -3. Suppose d + t = -6. Let p be d/40 - (-4)/10. Which is bigger: p or 1?
1
Let r = 7 - 12. Let w be (3/10)/((-6)/r). Let s = 1 - 1. Which is greater: w or s?
w
Let a be 4/(-8) + -1 - -2. Is 2 greater than a?
True
Let a = 0.28 + -0.28. Is a <= -2?
False
Let g(i) = i**3 + 5*i**2 + 3. Let k be g(-5). Let w = k + -2. Are w and 2/13 unequal?
True
Suppose k = 2*j + 172, j - 164 = 3*j + k. Let y = 505/6 + j. Is 0 at most as big as y?
True
Let u(q) = -17*q**2 - q - 1. Let b be u(1). Is b smaller than 1/4?
True
Let t be -1 + 3 + (-2)/2. Let k be t/(-1) - (-20)/15. Which is greater: -0.1 or k?
k
Suppose 22 = d - 3*d. Let o = d + 8. Which is bigger: -1 or o?
-1
Let r = -8.18 - 0.82. Is r > -1?
False
Suppose -2*m = -3*m. Suppose 3*n + 2*n = m. Suppose n*k = k - 1. Is k not equal to 1?
False
Let y = 0.23 + 0.05. Let h = y + -0.22. Is 1 greater than or equal to h?
True
Suppose -3*x + 15 = 2*x. Let w(d) = d - 5. Let z be w(5). Suppose -3*g + x = -z*g. Which is greater: 0 or g?
g
Suppose 0 = -6*i + 3*i - 15. Let s(v) = v**3 + 6*v**2 + 4*v - 5. Let k be s(i). Does k = -1/2?
False
Let t = 287/3 + -2006/21. Let r = 3 - 2.8. Is r equal to t?
False
Let f be (-513)/(-630) - 5/((-25)/(-3)). Is -1 != f?
True
Suppose y + g = 7, 5*y + 0*g + g = 15. Do 45 and y have different values?
True
Let c = 26 + -76/3. Which is greater: 1 or c?
1
Let u = -0.3 + 0.7. Is u at least 1?
False
Let n(o) = -o - 6. Let q be n(-5). Let p(r) = r**2 + 2*r + 1. Let f be p(q). Are f and 1 nonequal?
True
Let