 or -1?
-1
Suppose 4*m = 5*m - 40. Is m greater than 39?
True
Let w = -716 + 25062/35. Let a be ((-3)/2)/(30/16). Let f = w - a. Which is bigger: f or 0?
f
Let x = -18 - -8. Let d be 8/x*10/(-4). Is 3 bigger than d?
True
Suppose -5*t = -4*b - 25, -5*t - 1 + 26 = -2*b. Let y = -27/5 + t. Which is greater: -2 or y?
y
Let t be 6/8*48/6. Suppose 11*c - t*c - 2 = -w, 4*c - 6 = -3*w. Let f = -235/6 + 39. Is c equal to f?
False
Let f be (-3)/(-6) - (-14)/(-4). Let y(g) = -4*g - 5. Let p be y(f). Is 7 > p?
False
Suppose 2*h + 2*l + 18 = 6, 5*h + 2*l = -15. Let o = -2.44 + 0.14. Let g = -0.3 - o. Which is smaller: h or g?
h
Let p = -0.21 - -5.21. Is 0 >= p?
False
Let g be -1 + -1*(-4 + -2). Let y be 0 - (g + -2)/(-1). Let i(b) = -b**2 + 4*b. Let v be i(y). Which is bigger: v or 0?
v
Let w = -0.1 - 0. Let x(k) be the third derivative of -k**6/120 - k**5/15 + k**4/2 - k**3/6 + 6*k**2. Let d be x(-6). Are w and d equal?
False
Let v = 44 + -11. Let t = -67/2 + v. Let u = 362 + -364. Which is smaller: t or u?
u
Let w(v) be the first derivative of -v**4/4 + v**3/3 - v**2/2 + v + 2. Let k be w(1). Let f be -5*(16/90)/(-4). Is k <= f?
True
Let g be 7/(-14) + 1223/8. Let q = 152 - g. Is q less than 1?
True
Let h = 12 - 7. Suppose 0*d = -h*d + 10. Let q be (6/63)/(d/9). Is q >= 1?
False
Let s(b) = -b**2 + b + 6. Let f be s(5). Let k be 3/9 - f/(-24). Is 1 greater than k?
True
Let v = 0.093 - -4.907. Is v less than or equal to 2?
False
Let f = -5 - 0. Let j(h) = -h**3 - 5*h**2 + 3. Let n be j(f). Is 1 at most n?
True
Let n(a) = a**3 - 8*a**2 + 7*a + 8. Let q be n(7). Let k be ((-4)/q)/(6/4). Which is bigger: -2 or k?
k
Let m = -826/3 + 281. Are 7 and m non-equal?
True
Let f = -26 - -47. Let i be (f/9 - -1) + -3. Which is smaller: 6 or i?
i
Let q be 6/1*9/6. Are q and 10 nonequal?
True
Suppose -5*c + 4*o = 24, 3*c + 32 = -0*o - 2*o. Let h be 61/4 + 2/c. Suppose 0 = -5*x + 4*w - 0*w - 20, -2*x - 3*w = -h. Do 2/11 and x have the same value?
False
Let z(r) = -r**2 + 4*r - 1 + 2*r**2 + 5 + r. Let y be z(-3). Is y at most -1?
True
Suppose -3*l - 3 + 14 = -2*r, 2*r - 10 = -4*l. Suppose -2*d = 1 + 3. Is d greater than or equal to r?
False
Suppose l + m = 3*m - 5, -6 = -2*m. Let j be (0 - -1) + -1 - l. Let o(z) = -z**3 - 4*z**2 - 2*z + 1. Let b be o(-3). Is b not equal to j?
True
Let w = 47 + -44. Do 2/5 and w have the same value?
False
Let i = 67 + -65.7. Is i >= -2?
True
Suppose -5 = -4*b + 19. Which is greater: -0.2 or b?
b
Let h = -5/3 + 7/3. Suppose -4*p + 0 = -2*u - 8, p - 2 = -4*u. Suppose 5*a = p*a + 3. Is h less than a?
True
Suppose -5*l - 2 = -3*v + 28, 0 = -v. Let b = l - -11. Is 5 bigger than b?
False
Suppose -2*w - g = -8, 3*g = 3*w + 5*g - 14. Suppose z = -2*v + 11, -3*z = -4*z + w*v - 1. Is z less than or equal to 2?
False
Let m be (-36)/(-17) - (12 - 10). Which is smaller: 1 or m?
m
Let o = -10 + 93. Let z = o - 583/7. Which is greater: 0 or z?
0
Suppose -6 - 12 = 6*f. Is f > -8?
True
Let v = -0.7 + 0.8. Let u = -151/9 - -17. Is v bigger than u?
False
Let v = 0.12 + -0.22. Do v and 1/6 have the same value?
False
Let k = -75 + 89. Is k != 14?
False
Let p be -3*(1 - 14/12)*26. Which is bigger: p or 11?
p
Let t(h) = 2*h**3 + h**2. Let w be t(1). Let m = -4 + 6. Is m less than or equal to w?
True
Suppose 5*h - 1 - 4 = 0. Let t be (6/(-4))/(2/h). Is t smaller than -1?
False
Let s be (10/(-20))/(6/4). Which is smaller: s or -1?
-1
Let d(j) = -j + 2. Let l be d(0). Suppose -l*m + 1 = -1. Is m smaller than 2?
True
Let q be ((-1)/(-5))/((-6)/5). Which is bigger: q or 1?
1
Suppose 0 = -5*g - 5 + 35. Is g > 5?
True
Let n be 2/9 - (4 + 100/(-36)). Suppose 0*y - 4*y + 8 = 0. Let a be (-1)/(-4) - y/(-24). Is a greater than n?
True
Let d be ((-136)/(-18))/((-2)/(-3)). Let i = d + -11. Let m = 0 - -1. Which is smaller: m or i?
i
Let t be (-4)/42*(-1 + -5). Is -1/2 at most as big as t?
True
Let q(l) = -2*l**2 + l - 1. Let x be q(1). Suppose t = -2*t - 6. Let j be -5 - (1*4)/t. Are j and x unequal?
True
Let k = 6.3 - -18.7. Let a = -17 + k. Let y = 7.7 - a. Is y less than or equal to -2/7?
True
Let o = 32 - 33. Let t be ((-1)/6)/(2/4). Which is smaller: t or o?
o
Let w = 1.1 - 0.1. Let m = -3 + w. Let g = 2.1 + m. Which is smaller: g or 1?
g
Suppose 3*h = b - 20, -30 = -5*b - 2*h + 3*h. Let a = 6 + -2. Suppose 0 = 2*d + 3*p + 11 - 0, -a*d = -b*p - 33. Is 4/5 at least as big as d?
False
Let h be (-3)/4 + (-1)/4. Let l be (h/2)/((-4)/16). Let t be (1/1)/(l - -3). Does 0 = t?
False
Let l = -7 + 15/2. Let m = 1 + -1. Is l at least m?
True
Let i = -5 - -11. Let o = i + -14. Let p be o/15 - (-1)/3. Is 1 > p?
True
Let y = -18 + -15. Is y at most -32?
True
Let b = 2 - 6. Let x = -1 - b. Let t = x + -3. Is -1/4 < t?
True
Let x be (-4)/12*-6*2. Let p = -6 + x. Let m be ((-3)/6*p)/(-4). Is m at least 2?
False
Let g be (-2)/(-6) + 1/(-3). Suppose -2*y - 3*y + 10 = g. Suppose 4*d - y = 2*u, -4*d + 0*u + 9 = 5*u. Are 4/3 and d equal?
False
Let o(r) = 10*r. Let j(d) = -3*d. Let f(l) = 7*j(l) + 2*o(l). Let x be f(-2). Let t be x*3/6*0. Which is bigger: t or 2/9?
2/9
Let k = 11 + -12. Which is smaller: 1/4 or k?
k
Let z = -27 - -41. Are 15 and z unequal?
True
Suppose -2*m = 2*m - 184. Suppose 0 = -3*r - 16 + m. Let h = r + -14. Are h and -2 nonequal?
True
Suppose -4*g - 4*n = n - 16, -2*g = n - 2. Let h be g/(-3) + 4/(-6). Let t = -100 - -100. Which is greater: t or h?
t
Let c be 0 - -3 - (-57 + 28). Is 32 bigger than c?
False
Let u(d) = -d**3 - 4*d**2 + 1. Let c be u(-4). Let x(w) = -w**3 - 4*w**2 - 4*w - 4. Let y be x(-3). Let r be (y - 32/(-36))*-6. Is c > r?
True
Let a(d) = d**3 + 7*d**2 + 7*d + 3. Let h be a(-6). Let k be 4/(-8)*1 - (-69)/(-6). Let z be h*(-2)/k*-4. Which is smaller: 1 or z?
1
Let x be 6/(-3)*2/2. Is 0 at most x?
False
Let i = 849/476 - 4/119. Let v be (-18)/(-10) + (-1)/(-5). Let f = v - i. Which is bigger: 1 or f?
1
Let d = 205/3 + -69. Suppose 5*b + 0*b = 25. Suppose -o - 2 = 2*f, -b*o = -7*f + 4*f + 10. Which is bigger: d or o?
d
Let k = 671/6328 - -1/904. Let p = -17/28 + k. Suppose -2*o - 5 = -3*o. Is o greater than or equal to p?
True
Let t(a) = 13*a**2 + 4*a - 4. Let l be t(-4). Let k = l + -559/3. Let d(u) = u**2 + u. Let y be d(-2). Are y and k non-equal?
True
Let l = -0.1 - -0.1. Let b = -0.8 - -1.5. Let z = -1 + b. Do l and z have different values?
True
Suppose 4*r - 3*r = -2*j - 13, 4*r = 4*j - 16. Let m be -3 + 87/(-12) + 3. Let g = m - r. Which is smaller: -1 or g?
-1
Let s = 5 + -2. Let y = s - 2.7. Do y and -1 have different values?
True
Suppose 1 = -x - 0. Does x = -4?
False
Let y(m) be the third derivative of 0*m + m**2 + 0 + 4/3*m**3 - 1/24*m**4. Let x be y(9). Which is bigger: x or -0.2?
-0.2
Suppose -3*l - 9 = -3*f - 3, 3*f + 2*l = -14. Is -6/5 bigger than f?
True
Let j = -9 - -8.1. Let m = -0.09 + -0.01. Let d = j + m. Is -1/3 bigger than d?
True
Suppose 0 = l - 5*s - 8, -9 + 1 = -2*l + 2*s. Suppose l*f + 4 = -2*f + 4*g, 2*g = 5*f + 2. Is -1 != f?
True
Let r = 0.04 - 15.04. Let h = r - -9. Let f = -6 - h. Is 1 bigger than f?
True
Let j(g) = -g - 5. Let n be j(28). Which is smaller: n or -34?
-34
Let g be 4/10*(5 - 0). Do 4 and g have the same value?
False
Let s be (-1 + 1)/(-5 - -4). Let z be (-4)/2 + (-178)/(-130). Let k = -3/13 - z. Which is greater: s or k?
k
Let h = 1.99 - -0.01. Let p = -0.1 - 0. Is h < p?
False
Let n = 6.9 - 5. Let d = n - 2. Which is smaller: d or 0?
d
Let w be (-25)/(-4) + (-2)/8. Suppose 0 = c - w - 5. Suppose -3*y + d = 3*d + 9, -c = 5*y + 2*d. Which is greater: y or 2/13?
2/13
Let i = 42 - 32.6. Let j = i + -9. Which is smaller: 0.1 or j?
0.1
Let g = 77 + -157/2. Which is smaller: g or -0.4?
g
Let n = -12 + 27. Let r be (-56)/(-35) - 9/n. Which is smaller: r or 4?
r
Let x(m) = 24*m**2 - 4*m + 4. Let z be x(1). Are 1 and z equal?
False
Let c = -189 - -1325/7. Which is greater: c or -0.7?
c
Let i = 13 - 9. Let k be ((-6)/i)/((-6)/4). Let a be ((-4)/6)/(k/(-6)). Which is smaller: a or 3?
3
Let g = 71 + -71.6. Is g at least 2?
False
Let l be (0 - 0)/(6/(-3)). Which is bigger: 2/3 or l?
2/3
Let s = -5 + 4.96. Let x = s + -1.96. Let n = -2 - -3. Are n and x equal?
False
Let t = 1.1 - 0.1. Suppose 2*g = -0*i + i - 4, 0 = 5*i - 5*g. Let s = -4 - i. Do s and t have the same value?
False
Suppose -81 = -4*s + 35. Which is sm