f not equal to -1?
True
Let k be (-11)/(-33) + (-20)/(-3). Let f be 0 + ((-7)/4)/k. Which is smaller: -1/2 or f?
-1/2
Let j = 1 + -0.8. Which is greater: j or -5?
j
Let z(v) = v**2 - 10*v + 6. Let u be z(9). Let l = -10 - -6. Which is smaller: l or u?
l
Suppose 25*u - 33*u - 528 = 0. Which is bigger: -65 or u?
-65
Suppose 0 = 4*o - 13 + 25. Is -2 greater than or equal to o?
True
Suppose 0 = -l + 2*l + 5. Suppose y + 2*y - 96 = -5*j, -12 = -y + 5*j. Suppose 4*t + 50 = -5*q, q + 3*t + y = -q. Is q at most as big as l?
True
Let b be 11/(-3) + 2/(-6). Let a be (b/15)/(2/5). Is a bigger than 0?
False
Let u(g) = 7 + 2*g - g + 3*g - 3*g. Let l be u(-5). Let z be 2/(-8) - (-11)/12. Are l and z equal?
False
Let f = -27 - -17. Are f and -7 non-equal?
True
Let b = -15 + 14. Do b and 15 have different values?
True
Let d = -4 - -11. Let z = 20 + -15. Which is smaller: d or z?
z
Let m be (11/6 - 2)*(-16)/(-164). Is m > -1?
True
Suppose 3*c = -7*w + 2*w - 12, -w - 5*c = 20. Which is smaller: w or 1?
w
Let d be (3 + -2)*(-20)/16. Let n = 0 + 0. Suppose -x + 0*x = n. Which is smaller: x or d?
d
Let t(b) = b**3 + 20*b**2 - 43*b + 20. Let q be t(-22). Let o = -45/2 - -21. Is o >= q?
True
Let q = -7 - -5. Let m = -1171/71 - 1/142. Let j = 16 + m. Which is bigger: j or q?
j
Suppose 2*c - 3*c = 3*c. Let s be -1 + 0 + (-7)/(-3). Which is smaller: s or c?
c
Suppose k + 4*b - 16 = 0, 0 = -4*k - 0*k + 2*b - 8. Is -0.04 greater than or equal to k?
False
Let s = 0.1 + -0.1. Let o = 2.65 + -2.45. Is s smaller than o?
True
Let x(o) = -o + 4. Let m be x(6). Let v be (-1 - -3)/((-4)/m). Are v and 1 equal?
True
Suppose -40 = -2*p - 2*q, -5*q + 70 = -0*p + 3*p. Suppose 22 = 4*j - 3*f - 46, 3*j - 46 = f. Which is greater: p or j?
p
Suppose 3 = 2*i + i. Do -1/107 and i have the same value?
False
Let c(b) = b + 20. Let m be c(0). Suppose 23*g = 19*g + 8. Suppose x - 4*v = -18, -x - g*v = 4*x - m. Is 0 at most as big as x?
True
Let z = 5 + -4. Which is bigger: z or -0.4?
z
Let f(m) = 4*m**2 - 3*m**2 + m**3 + 4 - 4*m - 3*m**2. Let l be f(3). Which is bigger: 1/5 or l?
l
Let c = 820 + -30338/37. Which is bigger: c or 0?
c
Let t = -0.04 + -0.96. Let h = t + 0.9. Let x be (-21)/9 - (-2)/1. Which is smaller: h or x?
x
Let v be (-16)/(-33) - 6/9. Do -2 and v have the same value?
False
Suppose -2*w + 10 + 9 = s, 0 = -4*s - 5*w + 61. Let f = 3 - s. Which is smaller: -5 or f?
f
Let y(d) = -d**3 - d**2 + d - 1. Let p be -1 + (-2 - (-3)/3). Let r be y(p). Which is greater: 2/17 or r?
r
Let r = 47 - 49. Are r and -9/5 non-equal?
True
Let f(b) = b**2 + 2*b - 2. Let j be f(-5). Is 57/4 at least j?
True
Let h be -2*(-1)/(-2)*-2. Let u be (14/8 - h)*4. Do u and -1 have the same value?
True
Let p = -5 - -7. Suppose 0 = -2*v - 8, -5*a + 2*v = -1 - 2. Let u be (16/(-28))/(a*p). Do u and -0.1 have different values?
True
Let x = -98 + 157. Which is smaller: 60 or x?
x
Let g(n) = -n**2 + 11*n. Let d be g(10). Suppose 0*i + 2*i = d. Is i != 5?
False
Let s = -4.18 - -0.18. Is -17 greater than or equal to s?
False
Let u(i) = 13*i + 3. Let r be u(-9). Let d = -16/277 + -125417/1108. Let p = d - r. Are 0 and p equal?
False
Suppose 0 = 2*h + 5*n - 18 - 27, 0 = -4*h + 4*n + 20. Suppose 2*r = -0*r - h. Let k = -7 - r. Which is smaller: k or -1?
k
Let s = 12 - 8. Let w = 2.05 + -0.05. Let m = 1 - w. Which is smaller: s or m?
m
Suppose -3 + 11 = 4*r + 4*w, -r = -5*w + 10. Let d = -4 + 8. Suppose -3*y - y = -d. Which is smaller: r or y?
r
Let y be 86/4 + 3/6. Let q be 12/y*1/(-3). Which is smaller: 1 or q?
q
Let d = -7.8 - 0.1. Let x = 8 + d. Is x < -2?
False
Let i(s) = -4*s - 13. Let h be i(-6). Let t(v) = -v**3 + 11*v**2. Let w be t(h). Let d be (-9)/12 - 1/(-2). Is d greater than w?
False
Let n = 19 - 16. Which is smaller: n or 0?
0
Let f = -1.5 - -1.4. Which is smaller: -2 or f?
-2
Let x = -6 - -7. Let d be x/5*1 - 0. Is d > 0?
True
Let h(p) be the first derivative of -p**2/2 + 3. Let u be h(-1). Which is smaller: u or 7/4?
u
Let y = -43 - -43.03. Which is bigger: y or 5?
5
Let x(n) = n**2 + 13*n + 15. Let a be x(-11). Which is smaller: -8 or a?
-8
Let j = 8 + -4. Let z = -2 + j. Let b = z + -2.1. Is -2 greater than b?
False
Let b be 1 - (144/(-375) - -1). Let a = -2/125 - b. Is -2 less than or equal to a?
True
Let j = 0.1 + -0.1. Is j bigger than -10?
True
Let a(i) be the second derivative of 3/4*i**4 - 1/20*i**5 + 0 + 2*i + 0*i**2 + 0*i**3. Let s be a(9). Are s and -1 non-equal?
True
Let x = 59/3 + -19. Suppose -4*d = 3*t - 26, d + 1 = 4*t - 2. Is x at least as big as t?
False
Suppose 3*b - 8*b = 0. Suppose b = -m + 4*m. Which is bigger: -3/19 or m?
m
Let g be 3/15 + (-28)/(-10). Let y(k) = -k + 3. Let v be y(g). Let a(x) = -x**3 + 1. Let f be a(1). Is v bigger than f?
False
Suppose 4*o - 2*d = 6, 3*o - 24 = -8*d + 3*d. Suppose -12 = -y - o*y. Let b be 0 + (25/(-35) - -1). Is b > y?
False
Let o(q) = -q**3 + 9*q**2 + q - 6. Let l be o(9). Suppose -l*v = 3*g, -5*g + 0*g + 2*v = 0. Which is smaller: 1 or g?
g
Let k = 1.1 - 1.03. Let f = -0.07 + k. Let w = 1 - -1. Is f != w?
True
Let u = -19 + -45. Is -64 greater than u?
False
Suppose -2*b = -6*b + 116. Is b not equal to 30?
True
Let q = -4123/33 + 125. Is 1 greater than or equal to q?
True
Suppose -2*v - 142 = 3*v - 4*q, 0 = 5*q - 15. Which is greater: v or -24?
-24
Let k be 9/6*(-2)/12. Suppose 5*b - 1 = 4*b + 3*q, -b = -5*q + 1. Suppose 2 = -b*g + 6*g. Are k and g nonequal?
True
Let t(q) = -q**3 - 16*q**2 - 16*q - 14. Let w be t(-15). Let a be (-994)/(-490) - 2/w. Does a = 0?
False
Let n(c) = -c**3 + c**2 - 2*c - 1. Let z be n(0). Suppose -4*s + 0*s - 3*o = 10, -s + 2*o + 3 = 0. Is z at least s?
True
Let a(s) = -3*s + 11. Let n be 13/3 - 6/(-9). Let p be a(n). Suppose 2*x - h + 8 = 0, 0 = 2*x + x + h + 17. Do x and p have the same value?
False
Let q = -6.5 - -11.38. Let d = 0.12 + q. Let r = -5.05 + d. Which is smaller: r or 1?
r
Let u = -2/3 - -1. Let z = 1.51 + -1.6. Which is bigger: u or z?
u
Suppose 4*l = -4*i + 9*l + 26, -4*i = 2*l - 12. Let x be i/(-5) - 39/(-30). Let s = 2 + 0. Is s > x?
True
Let f = 1 + -1.2. Let z = 0.5 + f. Let o = -0.006 + -0.194. Which is smaller: o or z?
o
Suppose -h = -3*k + 1 + 5, 2*h - 3 = k. Suppose d - k = -0*d. Is d less than 2?
False
Let u(p) = 2*p**2 - 7*p - 6. Let v be u(4). Which is smaller: -4 or v?
-4
Let a(t) = t + 4. Let d be a(6). Let q be (-145)/(-150) - (-2)/d. Let n = 8/3 - q. Which is smaller: 1 or n?
1
Suppose 4*j = a - 0*a - 11, j + 5 = a. Which is greater: -7/5 or j?
-7/5
Let i(y) = 2 - y + 0 + 9. Let p be i(8). Suppose c = p*c - 4. Which is bigger: c or 2/3?
c
Suppose 7*g + 35 + 28 = 0. Which is bigger: g or -5?
-5
Let l(y) = -y + 7. Let z be l(6). Let q be (2/(-4))/((-4)/8). Suppose 0 = -3*i + 2*m - q, i - 5*m = -0*m - 9. Are z and i nonequal?
False
Let r = 91/36 + -11/4. Is r equal to 1/11?
False
Let q = -0.976 + -0.024. Are -1 and q equal?
True
Let s(o) = -o**2 + 10*o - 1. Let x(t) = t + 1. Suppose -3 + 1 = -2*w. Let n(p) = w*s(p) - 5*x(p). Let q be n(4). Is q less than -0.1?
True
Let d = -2 - 0. Let s = -2 - -1. Are s and d equal?
False
Let c be 16/(-56) + (-2 + 4 - 2). Which is bigger: c or -11?
c
Suppose -5*h = 8 + 7. Let d be (-28)/h - 8/(-12). Suppose -8*o + 13*o = d. Which is bigger: 7/5 or o?
o
Suppose -10 = g + 17. Which is bigger: -28 or g?
g
Let u(q) = -3*q - 1 - 2*q - q + 7*q. Let n be u(4). Suppose 0 = n*t - 15, 0*t - 3*t + 24 = -3*z. Which is bigger: z or -2?
-2
Let l(g) = g - 4. Let h be l(5). Let t be (-1 - (-4)/5)*(-40)/(-40). Which is smaller: h or t?
t
Let k = -237/7 + 249/7. Which is greater: 2 or k?
2
Let k = -121 + 114. Do -8 and k have the same value?
False
Suppose 4 = -2*m + 3*m. Suppose 3*r + 19 = m. Is r not equal to -6?
True
Suppose 0 = -14*s - 107 - 229. Which is greater: s or -91/4?
-91/4
Let s = -28 + 19. Let m be -6*(0 - -1 - 0). Let p be (m/s)/((-10)/(-6)). Is -1 greater than or equal to p?
False
Let d = 5 + -7. Let g = 1.8 + d. Let o = 0 + g. Which is smaller: o or 1?
o
Let s = 14431/3 - 4851. Let r = 41 + s. Which is greater: -1/3 or r?
r
Let y be 3/3*(-15 - -12). Are -3 and y non-equal?
False
Let m = 4831922017/5375139 - -66/162883. Let q = m + -899. Which is smaller: -1 or q?
-1
Let l be 5/2440*(-4)/2. Is l bigger than 0?
False
Let h be (-21)/35 + (-58)/(-130). Wh