ave the same value?
False
Let n = -7 - -6. Let o = n - -0.8. Is 1 > o?
True
Suppose -w - 5 = 4*w. Let f = -45 - -31. Let m be 4/8*(-8)/f. Which is greater: m or w?
m
Let u(w) be the second derivative of w**3/6 - 4*w**2 + 4*w. Let y be u(10). Which is bigger: 0 or y?
y
Let j be (8/(-12))/((-3)/(-5)). Suppose 0 = 6*p + 5 + 1. Is p > j?
True
Suppose 2*m + 4 = -4. Suppose -5*w = 2*i + 27, 4*w - 2*i + 7 = -11. Is w at least m?
False
Let u(m) = -m**2 + 5*m + 9. Let d be u(7). Let z = -6 - d. Is -1 greater than or equal to z?
True
Suppose -u + 0*k - 5 = 2*k, -4*u - 2 = -k. Is 4/9 > u?
True
Let b = -8 - -13. Suppose 0 = s - 3, b*z + 0*z - 4*s = 8. Suppose w - 3*k = 2, -3*k - z = w - 0*k. Which is smaller: 0 or w?
w
Let h(o) = -o**2 + o + 9. Let p be h(4). Suppose 3 = -2*b - 1. Which is smaller: b or p?
p
Let m = -5 - -6. Let k(a) = a - 1. Let p be k(m). Is p at most as big as 0?
True
Let u(l) = 2*l**2 - 3*l + 2. Let x be (3/9 - 0)*6. Let j be u(x). Let z be ((-3)/2)/(2/j). Are -3 and z unequal?
False
Suppose 137 = 4*d - 87. Let u be (-72)/d*(-1)/(-3). Which is smaller: -1 or u?
-1
Let c be (-12)/3 + 279/66. Is 0 less than or equal to c?
True
Let f = 1797/476 + -3/119. Are f and 3 non-equal?
True
Let n(g) = g - 22. Let i be n(11). Let f(b) = -b - 12. Let t be f(i). Are 2/5 and t equal?
False
Let z = -95 - -100. Which is smaller: z or 6?
z
Suppose 0 = -5*u - 4*a - 26, -3*u - a + 2*a = 2. Let q = 51 - 53. Is u equal to q?
True
Let k be (-2 + 21/9)*6. Suppose s + 2*v + 3 = 0, k*v = -3*v. Let y be 10/(-8) - (s - -2). Is y greater than 0?
False
Let f = 19 - 19. Is 2/17 at least as big as f?
True
Let a(q) = 3*q**2 - 4*q + 3. Let h be a(2). Suppose -h*u + 5 = -2*u. Is u greater than or equal to 2/5?
True
Let v = -9695/7531 + -3/443. Is v bigger than 0?
False
Let d be (3/(-1))/(-2 + 1). Suppose -2*u - 4 - 5 = -z, d*z + 3*u = 18. Let q = 47/7 - z. Which is greater: q or 2?
2
Let r(b) = b**2 - 13*b - 13. Let l be r(14). Is l >= 6?
False
Suppose -4*k - 3 = 4*h - k, 0 = 4*h - 5*k - 37. Suppose 0*w = -h*w. Is w bigger than 0?
False
Suppose 0 = -8*n + 3*n + 15. Which is smaller: 1 or n?
1
Let r(b) = 7*b**2 + 5*b + 5. Let m be r(-2). Let u = m - 24. Is -3 smaller than u?
True
Let z(g) = g**3 + 6*g**2 + 3*g + 9. Let f be z(-6). Is f at most as big as -10?
False
Let m = 26 + -19. Which is smaller: 5 or m?
5
Let v = 81/2 + -43. Let a be ((-3)/(-1))/(1*-1). Which is greater: v or a?
v
Let x(h) = h**2 - 3*h - 9. Let k be x(5). Suppose 0 = -8*s + 9*s. Are s and k non-equal?
True
Let c = -46 + 12. Are -34 and c equal?
True
Suppose 2*b + 2*b + 20 = 4*d, 0 = 5*d - b - 21. Let r = 3 - d. Let i be 1/(-28) - r/(-4). Is -1 > i?
False
Let w = -0.7 - 5.5. Let y = 8 + w. Let a = y + -2. Is -1 > a?
False
Let z = -0.05 + -0.95. Are -6 and z nonequal?
True
Let g be (0 - 0) + 198/174 + -1. Which is smaller: 1 or g?
g
Let l be ((-36)/14)/(2/14). Let t = -13 - l. Suppose -t*k = -3*k - 8. Do 0.1 and k have the same value?
False
Let n = 20.03 - 20. Do n and -1/6 have the same value?
False
Let x = -20 - -19.97. Let g = -0.03 - x. Is 16 at most g?
False
Let j be -1 + 4/(-5)*12/(-16). Which is greater: j or -1?
j
Let g(c) = 7*c**3 - c. Let s be g(1). Suppose -s = -5*o + i, 2*o = -i - i. Which is smaller: o or -0.8?
-0.8
Let h = -14 - -12. Let b = 0.5 - 0.8. Let n = 1.3 + b. Is h greater than n?
False
Suppose 0 = 10*d + d - 22. Is -15 less than d?
True
Suppose 4*r - 62 - 30 = 0. Which is bigger: 22 or r?
r
Let c = 3 - 2. Let j be -2 + (c - 0 - -1). Suppose j*w + 5*w = 0. Is -1/6 greater than w?
False
Suppose 2*m - 3*m - 2 = -r, 0 = -3*r - 3. Is m equal to 0?
False
Let n = 6 + -5. Let b = 1.6 + -0.6. Let v = n + b. Is v at most 2?
True
Let g be 84/70*10/(-26). Does g = 0?
False
Let n be (-10)/4*(-28)/10. Which is bigger: 6 or n?
n
Let b = 20 + -941/47. Suppose -3 = -s, -16 = 8*l - 4*l - 4*s. Is l != b?
True
Let f(n) = n + 1. Let w be f(0). Let z = w + -7. Is -6 at most z?
True
Let o be 15/6*4/5. Let s(u) be the second derivative of -u**3/3 + u**2 - 8*u. Let y be s(o). Which is smaller: y or 0?
y
Suppose 4*z + z = 15. Let l be z*(24/63)/4. Is l at least -1?
True
Suppose 3*s - 2 = 2*s. Suppose 0*l + 4*b - 7 = -5*l, 5*l + 8 = b. Let d be 3*l/(-2)*2. Which is bigger: s or d?
d
Suppose -287 = -3*i - 2*v, -3*i + 8*i = -v + 476. Is i at least 95?
True
Let h = 1683/244 + -9/61. Let d = 7 - h. Which is smaller: 0 or d?
0
Suppose 5*y = 4*q - 1 - 1, -2*y - 2*q - 8 = 0. Let s = -5 - y. Let l = -2 + 2. Is s less than l?
True
Suppose -11*d + 10*d = 2*d. Let l = 0 - 1. Is d <= l?
False
Suppose -11*m - 14 = -3. Let f(x) = -x + 1. Let g be f(0). Which is smaller: g or m?
m
Suppose -2*x = -2*p + x, 0 = 2*p - 2*x - 2. Let i(l) = 5*l**3 - l**2 - 2*l - 1. Let r be i(-1). Let j = 8 + r. Is j >= p?
True
Let n be ((-6)/(-9))/((-3)/9). Let x be ((-4)/(-8))/(n/4). Is x at most as big as 1/7?
True
Let v(w) = 5*w - 64. Let d be v(19). Which is bigger: d or 32?
32
Suppose -15*t + 13*t - 4 = 0. Let n = 2 + -2.2. Is t at most as big as n?
True
Let w be 2/(-3)*3/5. Let l be (1 + 2 + -2)*4. Is w smaller than l?
True
Let w = -17 + 16. Is w at most -9?
False
Suppose -2*u - t - 33 = -0*u, -5*u + 5*t = 60. Are u and -15 equal?
True
Let c = -4.4 - -0.4. Let d = 5 - 7. Which is smaller: c or d?
c
Let h = -1 - 3. Let a(y) = 2*y**3 + 12*y**2 - y - 4. Let f be a(-6). Let q be (-4)/f*(h - -3). Is 3 less than or equal to q?
False
Let v(q) = -q + 24. Let n be v(5). Is 19 less than n?
False
Let o(t) = -t - 6. Suppose -12 = -4*a, -2*q + 6 = -q + 4*a. Let l be o(q). Suppose -4*f + 3 = -1. Is l equal to f?
False
Let o = -2963/530 + 28/5. Is o != 1?
True
Let v = 37 + -40. Let j(u) = -u**2 + 9*u - 4. Let c be ((-2)/6)/(1/(-27)). Let w be j(c). Is v <= w?
False
Let d be 1*-5*4/(-10). Suppose d*x + 5 = 7*x. Is x smaller than 2/65?
False
Let q be -1*((1 - 1) + 20). Let b be 5/q - 15/(-28). Is -3 less than b?
True
Let p(c) = c**2 - 4*c - 7. Let z be p(6). Suppose 4*y + y = z. Is 5/4 at most as big as y?
False
Suppose 4*q - 5 = j, -2*j - 3*j + 4*q - 41 = 0. Let a = j + 7. Let s = 2 - 6. Which is smaller: s or a?
s
Let c(f) = -f**2 + f + 6. Let y be c(3). Are y and -10/7 nonequal?
True
Let g = 2.3 + 5.7. Let n = -15 + g. Which is bigger: n or 1?
1
Let c be (-2*1)/(-2) - -5. Suppose -5 = -o - c. Suppose 5*g + 0 + 10 = -k, -g + 4*k = -19. Is g at least o?
True
Let d = -0.01 - 0. Do 2/5 and d have the same value?
False
Let t be 0 - 0 - (0 + -1). Let o(f) = f**2 + 6*f + 2. Let k be o(-3). Let u(x) = x + 9. Let y be u(k). Which is smaller: y or t?
t
Let z = 11 + -7. Suppose -z*g + 29 = -3. Is g less than 7?
False
Let f(o) = 6*o - 13. Let y be f(2). Suppose 0 = -0*m - 4*m. Which is bigger: y or m?
m
Let j = 65 + -42. Let p = j - 35. Let v = -11.93 - p. Does v = 1/2?
False
Let g = 0.115 - 0.015. Let z = 0.8 + 0.1. Let a = z - -0.1. Which is greater: a or g?
a
Let n = -154/713 - -4/31. Suppose 3*m + 7 = -2*g, -5*m = -4*g - 0 - 3. Are m and n unequal?
True
Let f = -19 + 15.2. Let v = f + 1.9. Let y = v - -2. Which is smaller: -0.1 or y?
-0.1
Suppose -5*m - p = 4*p + 65, 0 = 5*p + 20. Let f be 3 + (-1)/(-2)*m. Suppose 2*a + 2 = a. Which is smaller: f or a?
a
Let r = 0.3 + 0.7. Let y(k) = -3*k**2 - 4. Let a be y(-3). Let n = 31 + a. Which is smaller: n or r?
n
Let b be 1/(-3)*26330/20. Let r = b - -441. Which is smaller: 1 or r?
1
Let g = 32.2 - 32. Are -2/99 and g equal?
False
Let k(n) = n**2 - 3*n - 27. Let y be k(8). Which is greater: 27/2 or y?
27/2
Let z be (2/3 + -3)*-3. Is z != 7?
False
Suppose -3*a + 48 - 33 = 0. Let u be 1/a + 17/(-35). Does 0 = u?
False
Let u = -17 - -16. Do u and -9/13 have the same value?
False
Let r = 5 - 2. Suppose -j - 4 = -3*t, 3*j + 19 - 7 = 2*t. Let d = r + j. Which is greater: 2/9 or d?
2/9
Let k(w) = w**2 + w + 59. Let m be k(0). Let y = m + -39. Is y bigger than 20?
False
Let i be (-1590)/84*(-4)/6. Let n be (-1 - 0)/((-6)/74). Let t = n - i. Is t > 1/2?
False
Let t be 6/(-15) - (-16)/(-35). Let i = -0.4 + 0.3. Is t greater than i?
False
Suppose -5 = r - n, -23 = 3*r - 0*r + 5*n. Let y = 5 + r. Which is smaller: y or 4/11?
y
Let s = -0.064 + 0.064. Is s != -1.2?
True
Let b = 0.047 + -0.047. Which is greater: 1/3 or b?
1/3
Let y = -2 - -3. Let c = y + -3. Let v be -1 - (c + 0/(-1)). Is -2/7 less than v?
True
Let x(d) = -