7 - 1 - k. Let o be 0*(0 + 0 - -1). Which is greater: v or o?
o
Let z = 4 + -9. Which is smaller: z or -9?
-9
Let o(i) = 0*i + 7 + 0*i + 3*i - 2*i. Let d be o(-7). Is -3/4 smaller than d?
True
Let c(b) = 2*b - 1. Let x(a) = 1. Let n(g) = -c(g) + 4*x(g). Let q be n(3). Is q at most as big as -1?
True
Suppose -103 + 435 = 4*r. Is r greater than or equal to 84?
False
Let d = -135/209 - 917/19. Let b = d + 49. Are b and 0 nonequal?
True
Suppose 15 = 5*q - 5*d, -2 = -q - q + 3*d. Is 7 >= q?
True
Let t = -0.4 + -0.6. Let s = -115.22 + 115. Is t > s?
False
Suppose 10*q - 6*q = 20. Do 4 and q have different values?
True
Let l = -0.4 - -0.3. Let x = l + 2.1. Let y = 0.9 - 1. Is y >= x?
False
Let a = -0.7 + 0.58. Let m = -0.02 - a. Suppose -5*j - 3 = -8. Which is greater: m or j?
j
Suppose 10 = -3*v - 11. Which is smaller: -0.1 or v?
v
Let w be 2*1 - 1 - -1. Let k(p) = p**3 - 4*p**2 + 4*p - 3. Suppose 0 = 2*z - 3*z + 3. Let i be k(z). Is i less than w?
True
Let q = -187 - -177. Does -6 = q?
False
Suppose 3*l - 4*c - 69 - 21 = 0, -3*c = -3*l + 87. Is 27 greater than l?
True
Let q be 26*(((-9)/(-6))/3 + -1). Which is bigger: -14 or q?
q
Suppose 8 = 5*j - 137. Suppose -4*w + n = j, 4*w + 0*w = 3*n - 39. Is w at least as big as -7?
True
Let s(g) = g - 11. Let a(c) be the second derivative of -c**4/12 + 3*c**3/2 + c**2/2 - 2*c. Let w be a(8). Let n be s(w). Is n at most -1?
True
Suppose 3*z = -2*c + 13, 2*c - 3*z + 12 = -z. Which is greater: -1/21 or c?
-1/21
Suppose 3*t + t + 12 = -4*o, 0 = -5*o + 3*t + 1. Let y be ((-2)/(-2)*1)/o. Is y greater than 4/9?
False
Suppose -t = -5*t - 28. Do t and -1 have different values?
True
Let k be 39/(-6) + 7/14 + 0. Suppose -4*i - 5 - 23 = 0. Is k != i?
True
Let a(h) be the second derivative of -h**4/12 - h**3 + h**2/2 - 3*h. Let z be a(-6). Are 4/5 and z equal?
False
Let n = 1 - -7. Let i be (-4)/(0 + 20/n). Which is bigger: -1 or i?
-1
Let z(s) = s**2 + 6*s - 4. Let q be z(-9). Suppose -2*j + 9 - q = -4*u, -4*u = -4*j - 12. Is 1 smaller than j?
False
Let j be ((-3)/4)/(72/64). Is 0.2 greater than or equal to j?
True
Suppose 4*c - 6*c - 14 = 0. Are -5 and c non-equal?
True
Let q(s) = 2*s - 2. Let t be q(-2). Is t smaller than -1?
True
Suppose -6*h - 54 = -3*h. Is h bigger than -18?
False
Suppose -p = -14 + 13. Which is greater: -1/115 or p?
p
Let b(p) = 3*p + 1. Let t be b(-8). Is t < -23?
False
Let i = 3 + 0. Suppose -h - s - 3 = -5, 0 = -4*h - s + 8. Which is smaller: h or i?
h
Let t = 0 - -3. Which is smaller: -7 or t?
-7
Let d = -27 + 26.9. Is d less than 16?
True
Let n = -78 - -75. Is -11 at most as big as n?
True
Let j(y) = y**3 - 4*y**2 - 6*y + 7. Let a be j(5). Suppose -7 = 3*m - h, -h + 13 = -5*m + h. Let n be (1 - (0 + 2))*m. Is a greater than n?
True
Let i = 2 + 6. Suppose -5*q + 20 = -k, -3*q + 0*q = k - 12. Suppose -8*o + q*o - i = 0. Are -4 and o nonequal?
True
Let r = 91/190 + 2/95. Let b = -0.7 - -0.3. Let w = b - -0.4. Is w greater than or equal to r?
False
Suppose -2*w - 24 = 2*w + 5*b, 0 = -b + 4. Let h = w - -9. Are h and -2/3 equal?
False
Let a = 48 - 84. Is -34 >= a?
True
Let f(w) = -w**3 - 7*w**2 + 2*w - 11. Let o be f(-8). Is o smaller than 37?
False
Let j = -5.3 + 3.3. Which is smaller: 0.1 or j?
j
Let y = -97 + 95. Is y != -41?
True
Let y = -54 - -16. Is y bigger than -38?
False
Let m be (-8)/3 + 3 - 1. Let n = 1 - 1. Suppose -4*b + b - 3 = n. Is b at most m?
True
Let r = 4 + 18. Suppose 4*c - r = -3*l, -2*c + 16 = 2*c. Which is greater: l or 3?
3
Let y = -104 + 103. Let o = 2 + -2.2. Is y greater than o?
False
Let a be (1 - 0 - 1)/2. Let d = 299/5 - 59. Which is bigger: d or a?
d
Let c = -7959/10 + 60913/70. Let p = c - 74. Let r = 14 - 13. Which is smaller: r or p?
p
Let j = 4/29 - 53/174. Which is smaller: j or 3?
j
Let d(m) = m**3 + 5*m**2 + 5*m + 2. Let t be d(-3). Let v = -13 - -21. Let n be v/20 + 32/(-30). Is t smaller than n?
False
Let x = 8/13 - 19/52. Let k be 3 + 4 + -2 - 4. Is x bigger than k?
False
Suppose -5*j + 39 = -4*g, -j + 0 = g - 6. Suppose -2*d = -j + 1. Suppose -s - d*s = -4. Are s and 0 nonequal?
True
Let s be (-1 - -3)/(8/12). Is s not equal to 5?
True
Let f = 0.4 - 0. Suppose -5*o - 4*x = -2*x - 2, -2*o = -3*x - 16. Let h = o - 1. Which is bigger: h or f?
h
Let c = -1184 + 126690/107. Is c > 1?
False
Let n(i) = 5*i - i - 5*i. Let b be n(4). Is -3 less than b?
False
Let a(s) = -5*s**2 + 4*s**2 + 8*s - 3 - 2. Let x be a(8). Is -5 smaller than x?
False
Suppose -4*u - 14 - 34 = 0. Let b = 13 + u. Are -2/11 and b nonequal?
True
Let p = 48 - 45. Let l(x) = x**3 - 10*x**2 + x - 9. Let y be l(10). Which is bigger: p or y?
p
Let w = -3.4 - -3. Which is greater: -1/6 or w?
-1/6
Let q(h) = h**2 - h - 1. Let m be q(2). Let j be (m - 1)/(7 + -8). Is j not equal to 4/7?
True
Let r be (-1)/((7 + -3)/340). Let h = 1871/22 + r. Is 1 at most as big as h?
False
Let i = -0.1 - 0. Let b = 0 - i. Let w = b + 0. Is w bigger than -4?
True
Let x(j) = j**3 - 5*j**2 + 6*j - 6. Let k be x(4). Let n = k - 3. Let c be (12/(-30))/(-3 + 18/5). Is c >= n?
True
Suppose 105*f - 107*f = -86. Which is greater: f or 0.1?
f
Suppose 2*l = -l + 9. Suppose 0 = 2*m - l*m + 1. Let q be (-2)/(-8)*(1 - 0). Is m > q?
True
Let f = 204 + -5305/26. Let c = f - 45/182. Let j = -45 - -46. Which is smaller: c or j?
c
Let o be 112/8*7/(-2). Let i = -439/9 - o. Is 0 greater than or equal to i?
False
Suppose -2*t = -4*f - 4, 2*f + 0*t - 2 = -t. Suppose -2*d + 5*d = f. Which is smaller: -1/24 or d?
-1/24
Suppose 0 = -2*z - 2*z. Let s = -9 - -10. Do s and z have the same value?
False
Let l = 55 - 44. Is l less than or equal to -0.01?
False
Let w be ((-8)/7 - -2)/((-5)/(-105)). Is w < 18?
False
Let d = -0.09 - -1.09. Are d and 0.03 unequal?
True
Let v be ((0 + 0)/1)/(-1). Suppose 0 = o + 3*a - v*a + 11, -13 = -o + 5*a. Is -2 < o?
False
Let m(q) = q**3 + 3*q**2 - q - 1. Let h be m(-2). Suppose h*w - 1 = 9. Let z be (-4)/(-14)*-8 + w. Which is smaller: -1 or z?
-1
Suppose 0 = -r - 0*r. Suppose r = 3*a + a. Let j be 1*(a/(-2) + -2). Is j < -1?
True
Let m be 476/(-36) - (-2)/9. Let w be (-4)/(-6)*(-54)/3. Which is smaller: m or w?
m
Let n = 23 + -19. Let v be (2/6)/(5 - n). Is 2/11 <= v?
True
Let m(u) = -u**2 - 5*u + 2. Let b be m(-5). Suppose 15 = 3*n + b*n. Is n at most 3?
True
Let q = 21.3 - 20. Let n = 0.1 - q. Let k = n - -0.2. Which is bigger: -2/11 or k?
-2/11
Suppose 5*n - 9 = 1. Suppose 0 = 2*d + 2*c - 14, 4*c - 1 - 29 = -5*d. Suppose n*i = -d*i - 4. Which is bigger: i or -2?
i
Suppose -j - 3 = 1. Let m be (5 + 1)*(-2)/j. Suppose 5*p - m = 4*v + 1, 0 = v - 2*p + 1. Which is smaller: 0 or v?
v
Let r(j) = j**3 - 1. Let s be r(-2). Is s greater than or equal to -9?
True
Let z = -38 - -39. Which is smaller: -1.2 or z?
-1.2
Let w be 3 - 2/((-4)/(-2)). Suppose 0 = 4*s + w*o + 12, -2*s + 4*o + 2 + 2 = 0. Let n be ((-9)/6)/(-3)*s. Is -3/7 > n?
True
Let u be (4/6)/(2/(-3)). Let r(s) = -2*s - 1. Let p be r(u). Let w be (-4)/(48/15) + 2. Is p smaller than w?
False
Let f = -290 - -1427/5. Let t = -5 - f. Let r = -1461/11 + 133. Is r < t?
False
Let l = -10 + 16. Is l at most -0.1?
False
Let z = 38 - 21. Suppose -2 = c + 2*g + 3, 0 = -3*c + 2*g + z. Suppose -9 = -4*i - c*q - 31, 2*q + 4 = 0. Which is smaller: -3 or i?
i
Let c = 26 + -22. Is 3 smaller than c?
True
Let l = 5 + -2. Suppose -22 = -5*z + l. Is z greater than or equal to 5?
True
Let l(i) = i**2 + 6*i + 2. Let o be l(-8). Let c = 13 - o. Which is smaller: c or -4?
c
Suppose 0 = -2*d + 4*h - 8, -2*d + 14 = 2*d + 2*h. Suppose 2*w + 0*r + d*r = -6, -4*r - 4 = -4*w. Which is smaller: 3/7 or w?
w
Let t = 4/11 + 2/55. Is -1 < t?
True
Let h = 0 - 1. Let d be (4/(-14))/(2/(-14)). Which is smaller: h or d?
h
Let b(l) = -l**2 - 8*l + 4. Let c be b(-8). Suppose -2*y - c*t - 12 = 0, -2*t - t - 15 = 0. Is 4 not equal to y?
False
Let p = 0.047 - -31.953. Is p less than 2?
False
Suppose 0 = 5*p + 5*k + 5, 0 = -2*p - 0*p + 3*k - 17. Let l be 70/56 - (-6)/p. Is -1 smaller than l?
True
Let c(v) = -v + 13. Let r be c(13). Let x = 0 - 1. Let n = r - x. Which is smaller: n or 2?
n
Let o = -23 + 15. Is o less than -0.1?
True
Let s(r) = r**3 + 3*r**2 - 5*r - 2. Let j(v) = -v - 3. Let w be j(0). Let p be 4/6 - (-14)/w. Let m be s(p). Is 2 at least m?
True
Let q = -207/4 + 52. Which is smaller: 0